{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:6HEEZ55C3NZTX2QAVFZJ2AMBSS","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"6af1c256c11ad40da4856ebcc876cc6938fb090b9539179d6028a2a8026bbcdf","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-02T09:02:08Z","title_canon_sha256":"878006463a9fc1302327a4f3c3385361479f9b01352f6d5d4fca487caab434d3"},"schema_version":"1.0","source":{"id":"2607.01903","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.01903","created_at":"2026-07-03T01:17:32Z"},{"alias_kind":"arxiv_version","alias_value":"2607.01903v1","created_at":"2026-07-03T01:17:32Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.01903","created_at":"2026-07-03T01:17:32Z"},{"alias_kind":"pith_short_12","alias_value":"6HEEZ55C3NZT","created_at":"2026-07-03T01:17:32Z"},{"alias_kind":"pith_short_16","alias_value":"6HEEZ55C3NZTX2QA","created_at":"2026-07-03T01:17:32Z"},{"alias_kind":"pith_short_8","alias_value":"6HEEZ55C","created_at":"2026-07-03T01:17:32Z"}],"graph_snapshots":[{"event_id":"sha256:1d26becffa65a55c4c64b20cc8ce9fbe5c3125c1e334bcccbd1e7444261a5e70","target":"graph","created_at":"2026-07-03T01:17:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2607.01903/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"LLM-integrated applications blend natural language prompts with program code, and much of their runtime behavior originates in the prompt layer rather than in the code itself. Existing complexity metrics, however, operate solely at the code level and therefore overlook this behavioral logic entirely. We present HECATE, the first tool designed to assess complexity in both the prompt and code layers of such applications. Central to HECATE is Prompt-as-Specification, a Hoare-logic-inspired formalism that interprets every prompt as a specification of intended behavior. Grounded in 25 complexity di","authors_text":"Gelei Deng, Yi Liu, Yuekang Li, Zhenchang Xing, Zihao Xu","cross_cats":["cs.SE"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-02T09:02:08Z","title":"Rethinking Complexity Metrics for LLM-Integrated Applications: Beyond Source Code"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.01903","kind":"arxiv","version":1},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:4d14c07e392a3b018385d03597f3ec41ade54d51e2784e1064d4ab10f4f5494d","target":"record","created_at":"2026-07-03T01:17:32Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"6af1c256c11ad40da4856ebcc876cc6938fb090b9539179d6028a2a8026bbcdf","cross_cats_sorted":["cs.SE"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.AI","submitted_at":"2026-07-02T09:02:08Z","title_canon_sha256":"878006463a9fc1302327a4f3c3385361479f9b01352f6d5d4fca487caab434d3"},"schema_version":"1.0","source":{"id":"2607.01903","kind":"arxiv","version":1}},"canonical_sha256":"f1c84cf7a2db733bea00a9729d018194ad632be35e287517fd95b8a21ad5989a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1c84cf7a2db733bea00a9729d018194ad632be35e287517fd95b8a21ad5989a","first_computed_at":"2026-07-03T01:17:32.969258Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-03T01:17:32.969258Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"XPvly13O1BX6KUpcB//6HbYZlKg7gSKCvoc0CxFDEJHfgjinCuxxeYFGmP0zZGtUIkiwce7znorpWAlqQ5+9Bg==","signature_status":"signed_v1","signed_at":"2026-07-03T01:17:32.969694Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.01903","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4d14c07e392a3b018385d03597f3ec41ade54d51e2784e1064d4ab10f4f5494d","sha256:1d26becffa65a55c4c64b20cc8ce9fbe5c3125c1e334bcccbd1e7444261a5e70"],"state_sha256":"7b3671f97948dfdb222bfa453f551b84693825021f636eaaead48bb8edb8c4d1"}