{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:5YBGVIZAKAQYNAGRY7MRD6IIWK","short_pith_number":"pith:5YBGVIZA","canonical_record":{"source":{"id":"2508.16071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-22T03:59:27Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9b494d63fc37b793acc7c2ab1f4be62603dd241c1d45107fa49065a4d67ae11f","abstract_canon_sha256":"fd5543a10119ebdbab0d0aa3acba469dd51b507c02a96618045039f30bce03b3"},"schema_version":"1.0"},"canonical_sha256":"ee026aa32050218680d1c7d911f908b284aaa408ef19f1644568966c86fd3188","source":{"kind":"arxiv","id":"2508.16071","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.16071","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"arxiv_version","alias_value":"2508.16071v1","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.16071","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"pith_short_12","alias_value":"5YBGVIZAKAQY","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"pith_short_16","alias_value":"5YBGVIZAKAQYNAGR","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"pith_short_8","alias_value":"5YBGVIZA","created_at":"2026-07-05T11:57:41Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:5YBGVIZAKAQYNAGRY7MRD6IIWK","target":"record","payload":{"canonical_record":{"source":{"id":"2508.16071","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-22T03:59:27Z","cross_cats_sorted":["cs.AI"],"title_canon_sha256":"9b494d63fc37b793acc7c2ab1f4be62603dd241c1d45107fa49065a4d67ae11f","abstract_canon_sha256":"fd5543a10119ebdbab0d0aa3acba469dd51b507c02a96618045039f30bce03b3"},"schema_version":"1.0"},"canonical_sha256":"ee026aa32050218680d1c7d911f908b284aaa408ef19f1644568966c86fd3188","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:57:41.263100Z","signature_b64":"u6aKSqDOWg4t3ja9yKLA0FxJBbFtFrD3VuxJLT5KfVwMjH42oDVFGYNIMz3IjubR4+thL02G/MwTvZEmWkI+Bg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ee026aa32050218680d1c7d911f908b284aaa408ef19f1644568966c86fd3188","last_reissued_at":"2026-07-05T11:57:41.262610Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:57:41.262610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2508.16071","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-05T11:57:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kRLlpFlE++T0FIGFr1GtldgSD1qDWF6mjGGyNJHN2V++pTc79kLMkI0lbZRaeGsWjvghu/eublnpBcIRR15XCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T15:52:34.501570Z"},"content_sha256":"987d53ca9a3d51d4bd7ee623a1bbe6ce5d3cb39f425c60bbcb0ce81ddb88e1c6","schema_version":"1.0","event_id":"sha256:987d53ca9a3d51d4bd7ee623a1bbe6ce5d3cb39f425c60bbcb0ce81ddb88e1c6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:5YBGVIZAKAQYNAGRY7MRD6IIWK","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"From Benchmark Data To Applicable Program Repair: An Experience Report","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.AI"],"primary_cat":"cs.SE","authors_text":"Jovan Jancic, Mahinthan Chandramohan, Padmanabhan Krishnan, Yuntong Zhang","submitted_at":"2025-08-22T03:59:27Z","abstract_excerpt":"This paper describes our approach to automated program repair. We combine various techniques from the literature to achieve this. Our experiments show that our approach performs better than other techniques on standard benchmarks. However, on closer inspection, none of these techniques work on realistic defects that we see in industry.\n  We find that augmenting code with formal specifications enables LLMs to generate higher-quality unit tests, especially for complex production code with improved coverage of edge cases and exception handling. However, specifications add little value for well-un"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.16071","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/2508.16071/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-05T11:57:41Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oH3sLe7FqvB+uxQjcqYmJUtePQyQC0mn4/qvt/RAfZYEC9mA+2Ll5kS33Okqft4LAqpMmWgehe02XOGiK57yCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-22T15:52:34.502090Z"},"content_sha256":"60936082b92a1b305669d69c967767a4a8a1d809942db77f181c8972292252d7","schema_version":"1.0","event_id":"sha256:60936082b92a1b305669d69c967767a4a8a1d809942db77f181c8972292252d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/5YBGVIZAKAQYNAGRY7MRD6IIWK/bundle.json","state_url":"https://pith.science/pith/5YBGVIZAKAQYNAGRY7MRD6IIWK/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/5YBGVIZAKAQYNAGRY7MRD6IIWK/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-22T15:52:34Z","links":{"resolver":"https://pith.science/pith/5YBGVIZAKAQYNAGRY7MRD6IIWK","bundle":"https://pith.science/pith/5YBGVIZAKAQYNAGRY7MRD6IIWK/bundle.json","state":"https://pith.science/pith/5YBGVIZAKAQYNAGRY7MRD6IIWK/state.json","well_known_bundle":"https://pith.science/.well-known/pith/5YBGVIZAKAQYNAGRY7MRD6IIWK/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:5YBGVIZAKAQYNAGRY7MRD6IIWK","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":"fd5543a10119ebdbab0d0aa3acba469dd51b507c02a96618045039f30bce03b3","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-22T03:59:27Z","title_canon_sha256":"9b494d63fc37b793acc7c2ab1f4be62603dd241c1d45107fa49065a4d67ae11f"},"schema_version":"1.0","source":{"id":"2508.16071","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2508.16071","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"arxiv_version","alias_value":"2508.16071v1","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2508.16071","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"pith_short_12","alias_value":"5YBGVIZAKAQY","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"pith_short_16","alias_value":"5YBGVIZAKAQYNAGR","created_at":"2026-07-05T11:57:41Z"},{"alias_kind":"pith_short_8","alias_value":"5YBGVIZA","created_at":"2026-07-05T11:57:41Z"}],"graph_snapshots":[{"event_id":"sha256:60936082b92a1b305669d69c967767a4a8a1d809942db77f181c8972292252d7","target":"graph","created_at":"2026-07-05T11:57:41Z","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/2508.16071/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"This paper describes our approach to automated program repair. We combine various techniques from the literature to achieve this. Our experiments show that our approach performs better than other techniques on standard benchmarks. However, on closer inspection, none of these techniques work on realistic defects that we see in industry.\n  We find that augmenting code with formal specifications enables LLMs to generate higher-quality unit tests, especially for complex production code with improved coverage of edge cases and exception handling. However, specifications add little value for well-un","authors_text":"Jovan Jancic, Mahinthan Chandramohan, Padmanabhan Krishnan, Yuntong Zhang","cross_cats":["cs.AI"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-22T03:59:27Z","title":"From Benchmark Data To Applicable Program Repair: An Experience Report"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2508.16071","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:987d53ca9a3d51d4bd7ee623a1bbe6ce5d3cb39f425c60bbcb0ce81ddb88e1c6","target":"record","created_at":"2026-07-05T11:57:41Z","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":"fd5543a10119ebdbab0d0aa3acba469dd51b507c02a96618045039f30bce03b3","cross_cats_sorted":["cs.AI"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2025-08-22T03:59:27Z","title_canon_sha256":"9b494d63fc37b793acc7c2ab1f4be62603dd241c1d45107fa49065a4d67ae11f"},"schema_version":"1.0","source":{"id":"2508.16071","kind":"arxiv","version":1}},"canonical_sha256":"ee026aa32050218680d1c7d911f908b284aaa408ef19f1644568966c86fd3188","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ee026aa32050218680d1c7d911f908b284aaa408ef19f1644568966c86fd3188","first_computed_at":"2026-07-05T11:57:41.262610Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:57:41.262610Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"u6aKSqDOWg4t3ja9yKLA0FxJBbFtFrD3VuxJLT5KfVwMjH42oDVFGYNIMz3IjubR4+thL02G/MwTvZEmWkI+Bg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:57:41.263100Z","signed_message":"canonical_sha256_bytes"},"source_id":"2508.16071","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:987d53ca9a3d51d4bd7ee623a1bbe6ce5d3cb39f425c60bbcb0ce81ddb88e1c6","sha256:60936082b92a1b305669d69c967767a4a8a1d809942db77f181c8972292252d7"],"state_sha256":"95058322e5e076a62e4d9f3b1c1b04fc73860cd119e6fc7c2f48b361b8575e23"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rLBevZZ1rE59R4xvYtp2vKaauTnbl66XqHY+oUP9IIWCSnf4OKMfkmqrZmtedl/P41SkW6wQfqw7/Fezm/NEBQ==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-22T15:52:34.506955Z","bundle_sha256":"034dbadc2601c1f7717145a4b2d4b870b43f8310e08f0ec49196ba4a0d328c63"}}