{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:IM5WBG3REXY7R2CPUK4VBPFIU2","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":"70be2e0d42ee3a45766cec3f4100630acc2a28e0364618c4ed8b51ec5b57adf3","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-30T11:21:09Z","title_canon_sha256":"86a3516655825640a933677fbd8b0c8468d49f0f44016439884ce81b935e7478"},"schema_version":"1.0","source":{"id":"2507.22580","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.22580","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"arxiv_version","alias_value":"2507.22580v1","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.22580","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_12","alias_value":"IM5WBG3REXY7","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_16","alias_value":"IM5WBG3REXY7R2CP","created_at":"2026-07-05T11:45:44Z"},{"alias_kind":"pith_short_8","alias_value":"IM5WBG3R","created_at":"2026-07-05T11:45:44Z"}],"graph_snapshots":[{"event_id":"sha256:f2ec477c440ec9dc6b138ec9c99e5aa3d0bc8d204baad338799920481f4df544","target":"graph","created_at":"2026-07-05T11:45:44Z","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/2507.22580/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Automated Program Repair (APR) seeks to automatically correct software bugs without requiring human intervention. However, existing tools tend to generate patches that satisfy test cases without fixing the underlying bug, those are known as overfitting patches. To address this issue, Automated Patch Correctness Assessment (APCA) attempts to identify overfitting patches generated by APR tools. It can be solved as a static approach, meaning that no additional information is needed beyond the original and fixed code snippets. Current static techniques often struggle with reliability, flexibility ","authors_text":"Antonio Garcia-Cabot, David de-Fitero-Dominguez, Eva Garcia-Lopez, Marcos Fuster-Pena","cross_cats":["cs.AI"],"headline":"","license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-30T11:21:09Z","title":"RePaCA: Leveraging Reasoning Large Language Models for Static Automated Patch Correctness Assessment"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.22580","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:a08cf827750aaaf2593377a51b8b1c57e18ec2abcc5dbaa8505eefa1b6d1d581","target":"record","created_at":"2026-07-05T11:45:44Z","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":"70be2e0d42ee3a45766cec3f4100630acc2a28e0364618c4ed8b51ec5b57adf3","cross_cats_sorted":["cs.AI"],"license":"http://creativecommons.org/licenses/by-nc-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-30T11:21:09Z","title_canon_sha256":"86a3516655825640a933677fbd8b0c8468d49f0f44016439884ce81b935e7478"},"schema_version":"1.0","source":{"id":"2507.22580","kind":"arxiv","version":1}},"canonical_sha256":"433b609b7125f1f8e84fa2b950bca8a684750ff073c767e3fb72e5a1906a194f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"433b609b7125f1f8e84fa2b950bca8a684750ff073c767e3fb72e5a1906a194f","first_computed_at":"2026-07-05T11:45:44.883760Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:45:44.883760Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8hbcoZ0+XPa+lasPN2BY0rHlGtAHmhN0upknUb/dIDXVXKv3Ft62FojYQALvx32Lwwu49oGjMFFT5NGPthQNAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:45:44.884286Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.22580","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:a08cf827750aaaf2593377a51b8b1c57e18ec2abcc5dbaa8505eefa1b6d1d581","sha256:f2ec477c440ec9dc6b138ec9c99e5aa3d0bc8d204baad338799920481f4df544"],"state_sha256":"b7a35774e4e1ff7a5405aee99313f17a3e096e7e0df7442e0a28f01f22ff58ad"}