{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2026:6DIPLW5U6R7SQ5GA2FLDNWLXLM","short_pith_number":"pith:6DIPLW5U","schema_version":"1.0","canonical_sha256":"f0d0f5dbb4f47f2874c0d15636d9775b1a438d336a36cd0d1d5ca07a3bd3a4a2","source":{"kind":"arxiv","id":"2608.08950","version":1},"attestation_state":"computed","paper":{"title":"Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chenglin Li, Shin Hwei Tan, Tse-Hsun (Peter) Chen, Yisen Xu, Zehao Wang","submitted_at":"2026-08-09T22:59:13Z","abstract_excerpt":"Autonomous coding agents powered by large language models can now generate code patches directly from bug reports, but a fundamental gap remains: once a patch is produced, no mechanism independently verifies whether it truly resolves the reported problem. Prior work has sought to address this through iterative self-refinement and inference-time scaling, but these approaches either review the patch under the same interpretation that produced it or broaden candidate generation without verifying individual patches, and neither provides an explicit verification signal for assessing patch correctne"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"2608.08950","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-08-09T22:59:13Z","cross_cats_sorted":[],"title_canon_sha256":"ac132c1bc33bc67c5bd953153ffaf6f7a700cb24c4eb87b701f44c1f6218e325","abstract_canon_sha256":"5290000d43f6cdeb1d460ea735c43359482c09b4b0a8dffe478595d180abc77c"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-08-11T01:25:49.060460Z","signature_b64":"cYznGHDnXYbdSd4TIVmPy+0gWW7FaNzGJQ54qKdlPL8Qx3g3jr6ylMx+JfD+0AbOuiEgoQKjzZiT9adH4hpmCg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f0d0f5dbb4f47f2874c0d15636d9775b1a438d336a36cd0d1d5ca07a3bd3a4a2","last_reissued_at":"2026-08-11T01:25:49.057967Z","signature_status":"signed_v1","first_computed_at":"2026-08-11T01:25:49.057967Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Independent Patch Verification for Coding Agents with a Bidirectional Reconstruct-and-Verify Framework","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Chenglin Li, Shin Hwei Tan, Tse-Hsun (Peter) Chen, Yisen Xu, Zehao Wang","submitted_at":"2026-08-09T22:59:13Z","abstract_excerpt":"Autonomous coding agents powered by large language models can now generate code patches directly from bug reports, but a fundamental gap remains: once a patch is produced, no mechanism independently verifies whether it truly resolves the reported problem. Prior work has sought to address this through iterative self-refinement and inference-time scaling, but these approaches either review the patch under the same interpretation that produced it or broaden candidate generation without verifying individual patches, and neither provides an explicit verification signal for assessing patch correctne"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2608.08950","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/2608.08950/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"},"aliases":[{"alias_kind":"arxiv","alias_value":"2608.08950","created_at":"2026-08-11T01:25:49.058912+00:00"},{"alias_kind":"arxiv_version","alias_value":"2608.08950v1","created_at":"2026-08-11T01:25:49.058912+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2608.08950","created_at":"2026-08-11T01:25:49.058912+00:00"},{"alias_kind":"pith_short_12","alias_value":"6DIPLW5U6R7S","created_at":"2026-08-11T01:25:49.058912+00:00"},{"alias_kind":"pith_short_16","alias_value":"6DIPLW5U6R7SQ5GA","created_at":"2026-08-11T01:25:49.058912+00:00"},{"alias_kind":"pith_short_8","alias_value":"6DIPLW5U","created_at":"2026-08-11T01:25:49.058912+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM","json":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM.json","graph_json":"https://pith.science/api/pith-number/6DIPLW5U6R7SQ5GA2FLDNWLXLM/graph.json","events_json":"https://pith.science/api/pith-number/6DIPLW5U6R7SQ5GA2FLDNWLXLM/events.json","paper":"https://pith.science/paper/6DIPLW5U"},"agent_actions":{"view_html":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM","download_json":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM.json","view_paper":"https://pith.science/paper/6DIPLW5U","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=2608.08950&json=true","fetch_graph":"https://pith.science/api/pith-number/6DIPLW5U6R7SQ5GA2FLDNWLXLM/graph.json","fetch_events":"https://pith.science/api/pith-number/6DIPLW5U6R7SQ5GA2FLDNWLXLM/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM/action/timestamp_anchor","attest_storage":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM/action/storage_attestation","attest_author":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM/action/author_attestation","sign_citation":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM/action/citation_signature","submit_replication":"https://pith.science/pith/6DIPLW5U6R7SQ5GA2FLDNWLXLM/action/replication_record"}},"created_at":"2026-08-11T01:25:49.058912+00:00","updated_at":"2026-08-11T01:25:49.058912+00:00"}