{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:IUBJNPEIW5ECZKER73KLSVFB4G","short_pith_number":"pith:IUBJNPEI","canonical_record":{"source":{"id":"2607.24604","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2026-07-27T16:05:23Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"918128732853394ffb540042bcce1527079fb12ddafb4f702bdc5e8d476068c1","abstract_canon_sha256":"ec890f23a09f1651e132e726f12e329979c3534ec7000d087faa09002a3558c8"},"schema_version":"1.0"},"canonical_sha256":"450296bc88b7482ca891fed4b954a1e198670538a9872ed83014b9f0300a06c8","source":{"kind":"arxiv","id":"2607.24604","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.24604","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"arxiv_version","alias_value":"2607.24604v1","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24604","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"pith_short_12","alias_value":"IUBJNPEIW5EC","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"pith_short_16","alias_value":"IUBJNPEIW5ECZKER","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"pith_short_8","alias_value":"IUBJNPEI","created_at":"2026-07-28T02:24:12Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:IUBJNPEIW5ECZKER73KLSVFB4G","target":"record","payload":{"canonical_record":{"source":{"id":"2607.24604","kind":"arxiv","version":1},"metadata":{"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2026-07-27T16:05:23Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"918128732853394ffb540042bcce1527079fb12ddafb4f702bdc5e8d476068c1","abstract_canon_sha256":"ec890f23a09f1651e132e726f12e329979c3534ec7000d087faa09002a3558c8"},"schema_version":"1.0"},"canonical_sha256":"450296bc88b7482ca891fed4b954a1e198670538a9872ed83014b9f0300a06c8","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-28T02:24:12.553827Z","signature_b64":"krGz2Tr7B5R3yxqIyWKxBwW7ciyzcfYUlOuOs1TMSOEtYwlRV4uN4bfOjldQpsfGeYsvGwe2W+b7LLTqPBhjDQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"450296bc88b7482ca891fed4b954a1e198670538a9872ed83014b9f0300a06c8","last_reissued_at":"2026-07-28T02:24:12.552993Z","signature_status":"signed_v1","first_computed_at":"2026-07-28T02:24:12.552993Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.24604","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-28T02:24:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"aS/rB6/8hxEct/C60kIVB5mR1nJaAWDzUReh6wizjcqbWWdDq11I6MO93V1XUaUdn3dDLVojVHWcN69pG0WPAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T17:42:07.753751Z"},"content_sha256":"9ff01b2361d2825b4250f187d6ac6b2892356b24b0f883b0d878575cf028b387","schema_version":"1.0","event_id":"sha256:9ff01b2361d2825b4250f187d6ac6b2892356b24b0f883b0d878575cf028b387"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:IUBJNPEIW5ECZKER73KLSVFB4G","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.CL","authors_text":"Jianwei Yang, Qiang Yang, Xueping Gao","submitted_at":"2026-07-27T16:05:23Z","abstract_excerpt":"Generate--test--revise loops are common in coding agents, but repetition alone provides no reliability guarantee. We study the gap between finding a correct patch and retaining, verifying, and submitting it. A sealed five-seed study over 30 HumanEval repairs produces 900 three-revision trajectories. Under forced revision, current correctness with current traces falls from 0.820 after one revision to 0.673 after two, although ever-correct rises to 0.847. Two common-state studies use 2,430 branches from identical frozen programs to remove post-treatment risk-set bias. In a prespecified 14B repli"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24604","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.24604/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-28T02:24:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"dw1B+MgnByKuQV9BY4r1+gsZ9QmGE5SpGKLHXQ2RJHAmJVsU8lhzYRjYxv8VyIpkELfpyDv2mxmkCt1A0x2aBQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T17:42:07.754280Z"},"content_sha256":"c24f9f98e0bc47f046d13e905bc467a981da50afbf3cb8c4dcf0e62c2ca90bc5","schema_version":"1.0","event_id":"sha256:c24f9f98e0bc47f046d13e905bc467a981da50afbf3cb8c4dcf0e62c2ca90bc5"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:IUBJNPEIW5ECZKER73KLSVFB4G","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.826) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Gladys Tyen, Hassan Mansoor, Victor Carbune, Peter Chen, and Tony Mak. 2024. LLMs Cannot Find Reasoning Errors, but Can Correct Them Given the Error Location. InFindings of the Association for Computational Linguistics: ACL 2024. Associatio","arxiv_id":"2607.24604","detector":"doi_compliance","evidence":{"ref_index":25,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.18653/v1/2024","reconstructed_doi":"10.18653/v1/2024.findings-acl.826"},"severity":"advisory","ref_index":25,"audited_at":"2026-07-31T11:01:41.914882Z","event_type":"pith.integrity.v1","detected_doi":"10.18653/v1/2024.findings-acl.826","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"c610a6b558d1b474a2958767a7aa0cb79ebcea7369b56434b32e10a6d74424d1","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null,"integrity_event_id":14329,"payload_sha256":"21d43e83bcb355eb1f4b6daedf9d15bc652552e4c49feeb15a715d57dabb50d4","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-31T11:06:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"WL/fw5JD5H9w/1Y0SCqFWAp2SYpRcx3qtkUaKXmkgYNlxWjqoiw9tVrOXpk56D81PDGSqBPjXB9k8HV+3c9cCg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-01T17:42:07.757826Z"},"content_sha256":"cd847f4df9cab2b84365ceb9769b2bdc50682a4c2cc1882088b4225c733ba3b7","schema_version":"1.0","event_id":"sha256:cd847f4df9cab2b84365ceb9769b2bdc50682a4c2cc1882088b4225c733ba3b7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IUBJNPEIW5ECZKER73KLSVFB4G/bundle.json","state_url":"https://pith.science/pith/IUBJNPEIW5ECZKER73KLSVFB4G/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IUBJNPEIW5ECZKER73KLSVFB4G/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-01T17:42:07Z","links":{"resolver":"https://pith.science/pith/IUBJNPEIW5ECZKER73KLSVFB4G","bundle":"https://pith.science/pith/IUBJNPEIW5ECZKER73KLSVFB4G/bundle.json","state":"https://pith.science/pith/IUBJNPEIW5ECZKER73KLSVFB4G/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IUBJNPEIW5ECZKER73KLSVFB4G/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:IUBJNPEIW5ECZKER73KLSVFB4G","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":"ec890f23a09f1651e132e726f12e329979c3534ec7000d087faa09002a3558c8","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2026-07-27T16:05:23Z","title_canon_sha256":"918128732853394ffb540042bcce1527079fb12ddafb4f702bdc5e8d476068c1"},"schema_version":"1.0","source":{"id":"2607.24604","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.24604","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"arxiv_version","alias_value":"2607.24604v1","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.24604","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"pith_short_12","alias_value":"IUBJNPEIW5EC","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"pith_short_16","alias_value":"IUBJNPEIW5ECZKER","created_at":"2026-07-28T02:24:12Z"},{"alias_kind":"pith_short_8","alias_value":"IUBJNPEI","created_at":"2026-07-28T02:24:12Z"}],"graph_snapshots":[{"event_id":"sha256:c24f9f98e0bc47f046d13e905bc467a981da50afbf3cb8c4dcf0e62c2ca90bc5","target":"graph","created_at":"2026-07-28T02:24:12Z","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.24604/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Generate--test--revise loops are common in coding agents, but repetition alone provides no reliability guarantee. We study the gap between finding a correct patch and retaining, verifying, and submitting it. A sealed five-seed study over 30 HumanEval repairs produces 900 three-revision trajectories. Under forced revision, current correctness with current traces falls from 0.820 after one revision to 0.673 after two, although ever-correct rises to 0.847. Two common-state studies use 2,430 branches from identical frozen programs to remove post-treatment risk-set bias. In a prespecified 14B repli","authors_text":"Jianwei Yang, Qiang Yang, Xueping Gao","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2026-07-27T16:05:23Z","title":"Looping Is Not Reliability: State-Bound Evidence and Typed Revision Contracts for Agentic Code Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.24604","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:9ff01b2361d2825b4250f187d6ac6b2892356b24b0f883b0d878575cf028b387","target":"record","created_at":"2026-07-28T02:24:12Z","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":"ec890f23a09f1651e132e726f12e329979c3534ec7000d087faa09002a3558c8","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"cs.CL","submitted_at":"2026-07-27T16:05:23Z","title_canon_sha256":"918128732853394ffb540042bcce1527079fb12ddafb4f702bdc5e8d476068c1"},"schema_version":"1.0","source":{"id":"2607.24604","kind":"arxiv","version":1}},"canonical_sha256":"450296bc88b7482ca891fed4b954a1e198670538a9872ed83014b9f0300a06c8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"450296bc88b7482ca891fed4b954a1e198670538a9872ed83014b9f0300a06c8","first_computed_at":"2026-07-28T02:24:12.552993Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-28T02:24:12.552993Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"krGz2Tr7B5R3yxqIyWKxBwW7ciyzcfYUlOuOs1TMSOEtYwlRV4uN4bfOjldQpsfGeYsvGwe2W+b7LLTqPBhjDQ==","signature_status":"signed_v1","signed_at":"2026-07-28T02:24:12.553827Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.24604","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9ff01b2361d2825b4250f187d6ac6b2892356b24b0f883b0d878575cf028b387","sha256:c24f9f98e0bc47f046d13e905bc467a981da50afbf3cb8c4dcf0e62c2ca90bc5","sha256:cd847f4df9cab2b84365ceb9769b2bdc50682a4c2cc1882088b4225c733ba3b7"],"state_sha256":"fe6cde4fd16b0bf8155403ebb29aeaff7c1319f938341acf114d8b4a537faa79"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"RULQNFRnDtDdsds32aqTg92m0e8w6WgZNz5iq4A8znPnHV8GBnd4aYpxWOpI5sfOiHyS5O/BZKYZHZD/l9O+AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-01T17:42:07.760142Z","bundle_sha256":"b73d12dd4b658012bfb98aaf23c9327d333186028a94daabb1be515a90ecd126"}}