{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:KXMKOUOP7POHZAUJNMKY4PKHQI","short_pith_number":"pith:KXMKOUOP","canonical_record":{"source":{"id":"2607.26777","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-29T11:20:49Z","cross_cats_sorted":[],"title_canon_sha256":"b300ff76581d22296d8d0387991100007bd51b1f6b74da763698ab0831cebe6f","abstract_canon_sha256":"9aec24a834e23369c9193ac2432067be21a7d8e3dae4197eee2a521d7c3dd922"},"schema_version":"1.0"},"canonical_sha256":"55d8a751cffbdc7c82896b158e3d47820138803589f611830b6eb1e30c51a0f0","source":{"kind":"arxiv","id":"2607.26777","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.26777","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"arxiv_version","alias_value":"2607.26777v1","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.26777","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"pith_short_12","alias_value":"KXMKOUOP7POH","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"pith_short_16","alias_value":"KXMKOUOP7POHZAUJ","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"pith_short_8","alias_value":"KXMKOUOP","created_at":"2026-07-30T01:22:16Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:KXMKOUOP7POHZAUJNMKY4PKHQI","target":"record","payload":{"canonical_record":{"source":{"id":"2607.26777","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-29T11:20:49Z","cross_cats_sorted":[],"title_canon_sha256":"b300ff76581d22296d8d0387991100007bd51b1f6b74da763698ab0831cebe6f","abstract_canon_sha256":"9aec24a834e23369c9193ac2432067be21a7d8e3dae4197eee2a521d7c3dd922"},"schema_version":"1.0"},"canonical_sha256":"55d8a751cffbdc7c82896b158e3d47820138803589f611830b6eb1e30c51a0f0","receipt":{"kind":"pith_receipt","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"55d8a751cffbdc7c82896b158e3d47820138803589f611830b6eb1e30c51a0f0","last_reissued_at":"2026-07-30T01:22:16.520067Z","signature_status":"unsigned_v0","first_computed_at":"2026-07-30T01:22:16.520067Z"},"source_kind":"arxiv","source_id":"2607.26777","source_version":1,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-30T01:22:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"uwjD7m9b0lkXbl8Z6qgdAsjkbciUR81l7IfHLgrZJhgOEXhyq+R0FzDCKzSHuUhuN/4T1fQnkr+s/lOnNtcWBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T20:49:41.762059Z"},"content_sha256":"def8235e8e3e54fa5a7816aca7698013dab5c774c52d459aaa91ca23ee4b35ab","schema_version":"1.0","event_id":"sha256:def8235e8e3e54fa5a7816aca7698013dab5c774c52d459aaa91ca23ee4b35ab"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:KXMKOUOP7POHZAUJNMKY4PKHQI","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Fang Liu, Li Zhang, Peiding Wang, Taichuan Li, Yinghao Zhu","submitted_at":"2026-07-29T11:20:49Z","abstract_excerpt":"LLM-based code agents have advanced repository-level software development through iterative interaction with codebases and tools. However, feature development requires integrating new behaviors into existing architectures through coherent cross-component functional chains. Existing agents typically derive such chains through free-form reasoning, often producing unreliable feature designs with incomplete functional chains. Moreover, textual designs are difficult to verify and enforce, making it challenging to maintain design-implementation consistency throughout long-horizon development. We pro"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.26777","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2607.26777/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-30T01:22:16Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FKJ1a531ec3/HY0oqKVa/izoAOep8qpHARm4jcE03vkirFGHgfMO67CssLx8zZhS0YUZ590YM70JUvsSi5+tBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T20:49:41.762527Z"},"content_sha256":"80c42060e3e6958e12181ac5a3464692b0cf818c16558653cf2b890b14110f29","schema_version":"1.0","event_id":"sha256:80c42060e3e6958e12181ac5a3464692b0cf818c16558653cf2b890b14110f29"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:KXMKOUOP7POHZAUJNMKY4PKHQI","target":"integrity","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.18653/v1/2024.findings-acl.214) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Li, Jia and Li, Ge and Zhao, Yunfei and Li, Yongmin and Liu, Huanyu and Zhu, Hao and Wang, Lecheng and Liu, Kaibo and Fang, Zheng and Wang, Lanshen and Ding, Jiazheng and Zhang, Xuanming and Zhu, Yuqi and Dong, Yihong and Jin, Zhi and Li, B","arxiv_id":"2607.26777","detector":"doi_compliance","evidence":{"ref_index":4,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.18653/v1","reconstructed_doi":"10.18653/v1/2024.findings-acl.214"},"severity":"advisory","ref_index":4,"audited_at":"2026-07-30T21:31:39.390211Z","event_type":"pith.integrity.v1","detected_doi":"10.18653/v1/2024.findings-acl.214","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"fb44cc9c15e50c7dc7f0d35af36860e5da3533d6e496adab6a195afdcd39bb4e","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":14094,"payload_sha256":"3122f4c74655bb1dbedfc14b674f573b914f7d2487c3675891e464d4618b6a0c","signature_b64":null,"signing_key_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-30T21:36:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ii58dNOXwvt9FOQW58LEiy8j/mhvivDjHUa01mom+ziUPZdTF7D+0I2hBojy76wlOcJX08DYwUUCCjQb68J2DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T20:49:41.764747Z"},"content_sha256":"7297af6f330bec4d875c896499a146ef3ae82a3a7e27b2559827fa204307403e","schema_version":"1.0","event_id":"sha256:7297af6f330bec4d875c896499a146ef3ae82a3a7e27b2559827fa204307403e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KXMKOUOP7POHZAUJNMKY4PKHQI/bundle.json","state_url":"https://pith.science/pith/KXMKOUOP7POHZAUJNMKY4PKHQI/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KXMKOUOP7POHZAUJNMKY4PKHQI/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-20T20:49:41Z","links":{"resolver":"https://pith.science/pith/KXMKOUOP7POHZAUJNMKY4PKHQI","bundle":"https://pith.science/pith/KXMKOUOP7POHZAUJNMKY4PKHQI/bundle.json","state":"https://pith.science/pith/KXMKOUOP7POHZAUJNMKY4PKHQI/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KXMKOUOP7POHZAUJNMKY4PKHQI/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:KXMKOUOP7POHZAUJNMKY4PKHQI","merge_version":"pith-open-graph-merge-v1","event_count":3,"valid_event_count":3,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"9aec24a834e23369c9193ac2432067be21a7d8e3dae4197eee2a521d7c3dd922","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-29T11:20:49Z","title_canon_sha256":"b300ff76581d22296d8d0387991100007bd51b1f6b74da763698ab0831cebe6f"},"schema_version":"1.0","source":{"id":"2607.26777","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.26777","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"arxiv_version","alias_value":"2607.26777v1","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.26777","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"pith_short_12","alias_value":"KXMKOUOP7POH","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"pith_short_16","alias_value":"KXMKOUOP7POHZAUJ","created_at":"2026-07-30T01:22:16Z"},{"alias_kind":"pith_short_8","alias_value":"KXMKOUOP","created_at":"2026-07-30T01:22:16Z"}],"graph_snapshots":[{"event_id":"sha256:80c42060e3e6958e12181ac5a3464692b0cf818c16558653cf2b890b14110f29","target":"graph","created_at":"2026-07-30T01:22:16Z","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.26777/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"LLM-based code agents have advanced repository-level software development through iterative interaction with codebases and tools. However, feature development requires integrating new behaviors into existing architectures through coherent cross-component functional chains. Existing agents typically derive such chains through free-form reasoning, often producing unreliable feature designs with incomplete functional chains. Moreover, textual designs are difficult to verify and enforce, making it challenging to maintain design-implementation consistency throughout long-horizon development. We pro","authors_text":"Fang Liu, Li Zhang, Peiding Wang, Taichuan Li, Yinghao Zhu","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-29T11:20:49Z","title":"CodeSpec: Dual Executable Specifications for Agentic Long-Horizon Feature Development"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.26777","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:def8235e8e3e54fa5a7816aca7698013dab5c774c52d459aaa91ca23ee4b35ab","target":"record","created_at":"2026-07-30T01:22:16Z","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":"9aec24a834e23369c9193ac2432067be21a7d8e3dae4197eee2a521d7c3dd922","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-29T11:20:49Z","title_canon_sha256":"b300ff76581d22296d8d0387991100007bd51b1f6b74da763698ab0831cebe6f"},"schema_version":"1.0","source":{"id":"2607.26777","kind":"arxiv","version":1}},"canonical_sha256":"55d8a751cffbdc7c82896b158e3d47820138803589f611830b6eb1e30c51a0f0","receipt":{"builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"55d8a751cffbdc7c82896b158e3d47820138803589f611830b6eb1e30c51a0f0","first_computed_at":"2026-07-30T01:22:16.520067Z","kind":"pith_receipt","last_reissued_at":"2026-07-30T01:22:16.520067Z","receipt_version":"0.3","signature_status":"unsigned_v0"},"source_id":"2607.26777","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:def8235e8e3e54fa5a7816aca7698013dab5c774c52d459aaa91ca23ee4b35ab","sha256:80c42060e3e6958e12181ac5a3464692b0cf818c16558653cf2b890b14110f29","sha256:7297af6f330bec4d875c896499a146ef3ae82a3a7e27b2559827fa204307403e"],"state_sha256":"f07de92256f509f5fec1dd58ad35adadfb3b1493588585e6405883a4241cdafa"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"JnMmeNkp0YxPN8PUyihaUdtRGbBfYeQaggAWU/NmTynhp4fyjWMWotNp+kayVPX3lca7BzddtBqGubDjklDEDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T20:49:41.766181Z","bundle_sha256":"657b856a56c3900b6f92f2804cb6e35664f317d50f390ece865296a45ce2115a"}}