{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:LDTTFUQVE4CQESZK65SYQLSRJV","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":"c7c1e8ce2d45efb9116b8e41c66e15752728e8949c5e1c022d0d3dd46bef99c8","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-05-11T18:38:58Z","title_canon_sha256":"4355bf7f5219dbf817f047071b42c854815ca7774b0e0e7e8f49e9692f0e6a2a"},"schema_version":"1.0","source":{"id":"2605.13885","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2605.13885","created_at":"2026-05-17T23:39:19Z"},{"alias_kind":"arxiv_version","alias_value":"2605.13885v1","created_at":"2026-05-17T23:39:19Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2605.13885","created_at":"2026-05-17T23:39:19Z"},{"alias_kind":"pith_short_12","alias_value":"LDTTFUQVE4CQ","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_16","alias_value":"LDTTFUQVE4CQESZK","created_at":"2026-05-18T12:33:37Z"},{"alias_kind":"pith_short_8","alias_value":"LDTTFUQV","created_at":"2026-05-18T12:33:37Z"}],"graph_snapshots":[{"event_id":"sha256:63a449b1211d8f85051f2be1dda61efde72c191cc72e86e0cc92839751e73da1","target":"graph","created_at":"2026-05-17T23:39:19Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Our results show that quantitative partial equivalence analysis effectively characterizes and quantifies patch impact. Additionally, experiments on the EqBench benchmark reveal five C program pairs that are mislabeled as equivalent, and we identify the input conditions under which their behaviors diverge."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The range-based search heuristic provides a sound lower bound on equivalence and that symbolic analysis can accurately identify all relevant input conditions for divergence without missing significant cases."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Quantitative partial equivalence analysis quantifies behavioral differences between original and patched programs via symbolic analysis and a range-based heuristic for numerical domains."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Quantitative partial equivalence analysis measures the fraction of inputs where a patch changes program behavior."}],"snapshot_sha256":"834939c7d44433103872e03b465339ed34c97ff2fa08a6eeb3ffde5181b46d34"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"Traditional equivalence checking classifies programs as equivalent or non-equivalent, providing insufficient information for tasks like patch impact analysis where it is expected the patched version of the program to be non-equivalent to the original program. When two program versions are non-equivalent, determining under what conditions they differ and what percentage of inputs are affected remains an open challenge. In this work, we introduce quantitative partial equivalence analysis, an approach for assessing software patches by quantifying behavioral differences between the original (vulne","authors_text":"Abdus Satter, Laboni Sarker, Tevfik Bultan","cross_cats":["cs.SE"],"headline":"Quantitative partial equivalence analysis measures the fraction of inputs where a patch changes program behavior.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-05-11T18:38:58Z","title":"Quantitative Symbolic Patch Impact Analysis"},"references":{"count":64,"internal_anchors":0,"resolved_work":64,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"Ffmpeg.https://github.com/FFmpeg/FFmpeg.git, accessed: 2025-03-10","work_id":"6433e542-ffab-4ca5-ba0b-9a32e9d5f36b","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"Linux.https://github.com/torvalds/linux.git, accessed: 2025-03-10","work_id":"8c2b843e-0f28-437f-95d9-f3a614b92b43","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"Qemu.https://github.com/qemu/qemu.git, accessed: 2025-03-10 4.https://github.com/laboni68/PatchImpactAnalysis.git(2026)","work_id":"293898ff-a878-4f1d-a001-871797effdf4","year":2025},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"In: 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME)","work_id":"5ea64a48-2cee-4704-a29c-8f2319049938","year":2019},{"cited_arxiv_id":"","doi":"10.1109/icsme.2019.00050","is_internal_anchor":false,"ref_index":5,"title":"In: 2019 IEEE International Conference on Software Maintenance and Evolution (ICSME)","work_id":"75741f27-dfe5-4f36-a763-a665f14e7938","year":2019}],"snapshot_sha256":"f5a6a7b9b086b6eab2da64ef42b46c0c1c7fc0efebd80e6b24327821cf52ac2f"},"source":{"id":"2605.13885","kind":"arxiv","version":1},"verdict":{"created_at":"2026-05-15T04:57:20.154650Z","id":"5a370a49-2c94-4f36-9a04-8659bad7edb4","model_set":{"reader":"grok-4.3"},"one_line_summary":"Quantitative partial equivalence analysis quantifies behavioral differences between original and patched programs via symbolic analysis and a range-based heuristic for numerical domains.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Quantitative partial equivalence analysis measures the fraction of inputs where a patch changes program behavior.","strongest_claim":"Our results show that quantitative partial equivalence analysis effectively characterizes and quantifies patch impact. Additionally, experiments on the EqBench benchmark reveal five C program pairs that are mislabeled as equivalent, and we identify the input conditions under which their behaviors diverge.","weakest_assumption":"The range-based search heuristic provides a sound lower bound on equivalence and that symbolic analysis can accurately identify all relevant input conditions for divergence without missing significant cases."}},"verdict_id":"5a370a49-2c94-4f36-9a04-8659bad7edb4"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:6300512027be190f680a474927610df448bfd71c374d99e4a578073dbbeb2717","target":"record","created_at":"2026-05-17T23:39:19Z","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":"c7c1e8ce2d45efb9116b8e41c66e15752728e8949c5e1c022d0d3dd46bef99c8","cross_cats_sorted":["cs.SE"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.PL","submitted_at":"2026-05-11T18:38:58Z","title_canon_sha256":"4355bf7f5219dbf817f047071b42c854815ca7774b0e0e7e8f49e9692f0e6a2a"},"schema_version":"1.0","source":{"id":"2605.13885","kind":"arxiv","version":1}},"canonical_sha256":"58e732d2152705024b2af765882e514d6cba4f486c109648b341ce185007af47","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"58e732d2152705024b2af765882e514d6cba4f486c109648b341ce185007af47","first_computed_at":"2026-05-17T23:39:19.141948Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:39:19.141948Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"s6+u6U+z+anJtF4hg1iUr44Y+Hv5oRVbNj1cAX3wG81Nqqqr/0Q95x7UiujCUGJ0DFPGYFDa0K/LUhoRaZHpCg==","signature_status":"signed_v1","signed_at":"2026-05-17T23:39:19.142657Z","signed_message":"canonical_sha256_bytes"},"source_id":"2605.13885","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6300512027be190f680a474927610df448bfd71c374d99e4a578073dbbeb2717","sha256:63a449b1211d8f85051f2be1dda61efde72c191cc72e86e0cc92839751e73da1"],"state_sha256":"4d1255047395d2dbf8e657b345b7e6985efb4e4360ea3e7a7cbcb96e56503f92"}