{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:VLOPI4W73PSQDPBHIXPPDLWLDJ","short_pith_number":"pith:VLOPI4W7","canonical_record":{"source":{"id":"2509.16187","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-19T17:46:13Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ca222f18eda68f609c5eae0808394ded9539e8dd3a3d9035792cf95c56b413fd","abstract_canon_sha256":"ff0c8bb03cca9bb6274ed9354b1d30c11d5b37ffe944d79444cd565b7e763d9d"},"schema_version":"1.0"},"canonical_sha256":"aadcf472dfdbe501bc2745def1aecb1a74234315da5edc355768e4ebee9f553e","source":{"kind":"arxiv","id":"2509.16187","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.16187","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"arxiv_version","alias_value":"2509.16187v3","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.16187","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"pith_short_12","alias_value":"VLOPI4W73PSQ","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"pith_short_16","alias_value":"VLOPI4W73PSQDPBH","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"pith_short_8","alias_value":"VLOPI4W7","created_at":"2026-06-01T01:02:20Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:VLOPI4W73PSQDPBHIXPPDLWLDJ","target":"record","payload":{"canonical_record":{"source":{"id":"2509.16187","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-19T17:46:13Z","cross_cats_sorted":["cs.LG"],"title_canon_sha256":"ca222f18eda68f609c5eae0808394ded9539e8dd3a3d9035792cf95c56b413fd","abstract_canon_sha256":"ff0c8bb03cca9bb6274ed9354b1d30c11d5b37ffe944d79444cd565b7e763d9d"},"schema_version":"1.0"},"canonical_sha256":"aadcf472dfdbe501bc2745def1aecb1a74234315da5edc355768e4ebee9f553e","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-01T01:02:20.940074Z","signature_b64":"xI7QbzDK0gg/5DSg8QqxHRWEIUmE3iqq80qSOegeqY1MKKTUwkqlPPQeIw+EzR/n2exY5W943rzuduG8H657DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"aadcf472dfdbe501bc2745def1aecb1a74234315da5edc355768e4ebee9f553e","last_reissued_at":"2026-06-01T01:02:20.939211Z","signature_status":"signed_v1","first_computed_at":"2026-06-01T01:02:20.939211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2509.16187","source_version":3,"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-06-01T01:02:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"trb2Bfv67pDhrts/drdq+dBGFI62yNkft9VLdT3Y6NlY8+5/UTD4+npt10xSgMmKkRrtj1MmjZ+GQUVCreL6Dw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T18:47:02.538064Z"},"content_sha256":"ed4e50ae0e736a2edbffc4d97251720410ea62d0c3e7b0d215c7cba1cc669e3e","schema_version":"1.0","event_id":"sha256:ed4e50ae0e736a2edbffc4d97251720410ea62d0c3e7b0d215c7cba1cc669e3e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:VLOPI4W73PSQDPBHIXPPDLWLDJ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair","license":"http://creativecommons.org/licenses/by-sa/4.0/","headline":"","cross_cats":["cs.LG"],"primary_cat":"cs.SE","authors_text":"Ali Reza Ibrahimzada, Brandon Paulsen, Daniel Kroening, Joey Dodds, Reyhaneh Jabbarvand","submitted_at":"2025-09-19T17:46:13Z","abstract_excerpt":"Code translation transforms source code from one programming language (PL) to another. Validating the functional equivalence of translation and repairing, if necessary, are critical steps in code translation. Existing automated validation and repair approaches struggle to generalize to many PLs due to high engineering overhead, and they rely on existing and often inadequate test suites, which results in false claims of equivalence and ineffective translation repair. To bridge this gap, we develop MatchFixAgent, a large language model (LLM)-based, PL-agnostic framework for equivalence validatio"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.16187","kind":"arxiv","version":3},"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/2509.16187/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-06-01T01:02:20Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"lRNuZ+NBvKL1aqc9X0HGgBKRIp110LBT0GJn5xohXpY1AQjU0fA2NeXSqfnoWC+sbFAym3XKngdTYARa2tv3Bg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-05T18:47:02.538779Z"},"content_sha256":"8fe1a91d839a96141db2a6aaf17044f0b42bb6a6d1127fccdfeb0625fff6ae32","schema_version":"1.0","event_id":"sha256:8fe1a91d839a96141db2a6aaf17044f0b42bb6a6d1127fccdfeb0625fff6ae32"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/bundle.json","state_url":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/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-06-05T18:47:02Z","links":{"resolver":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ","bundle":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/bundle.json","state":"https://pith.science/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/VLOPI4W73PSQDPBHIXPPDLWLDJ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:VLOPI4W73PSQDPBHIXPPDLWLDJ","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":"ff0c8bb03cca9bb6274ed9354b1d30c11d5b37ffe944d79444cd565b7e763d9d","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-19T17:46:13Z","title_canon_sha256":"ca222f18eda68f609c5eae0808394ded9539e8dd3a3d9035792cf95c56b413fd"},"schema_version":"1.0","source":{"id":"2509.16187","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2509.16187","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"arxiv_version","alias_value":"2509.16187v3","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2509.16187","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"pith_short_12","alias_value":"VLOPI4W73PSQ","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"pith_short_16","alias_value":"VLOPI4W73PSQDPBH","created_at":"2026-06-01T01:02:20Z"},{"alias_kind":"pith_short_8","alias_value":"VLOPI4W7","created_at":"2026-06-01T01:02:20Z"}],"graph_snapshots":[{"event_id":"sha256:8fe1a91d839a96141db2a6aaf17044f0b42bb6a6d1127fccdfeb0625fff6ae32","target":"graph","created_at":"2026-06-01T01:02:20Z","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/2509.16187/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Code translation transforms source code from one programming language (PL) to another. Validating the functional equivalence of translation and repairing, if necessary, are critical steps in code translation. Existing automated validation and repair approaches struggle to generalize to many PLs due to high engineering overhead, and they rely on existing and often inadequate test suites, which results in false claims of equivalence and ineffective translation repair. To bridge this gap, we develop MatchFixAgent, a large language model (LLM)-based, PL-agnostic framework for equivalence validatio","authors_text":"Ali Reza Ibrahimzada, Brandon Paulsen, Daniel Kroening, Joey Dodds, Reyhaneh Jabbarvand","cross_cats":["cs.LG"],"headline":"","license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-19T17:46:13Z","title":"MatchFixAgent: Language-Agnostic Autonomous Repository-Level Code Translation Validation and Repair"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2509.16187","kind":"arxiv","version":3},"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:ed4e50ae0e736a2edbffc4d97251720410ea62d0c3e7b0d215c7cba1cc669e3e","target":"record","created_at":"2026-06-01T01:02:20Z","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":"ff0c8bb03cca9bb6274ed9354b1d30c11d5b37ffe944d79444cd565b7e763d9d","cross_cats_sorted":["cs.LG"],"license":"http://creativecommons.org/licenses/by-sa/4.0/","primary_cat":"cs.SE","submitted_at":"2025-09-19T17:46:13Z","title_canon_sha256":"ca222f18eda68f609c5eae0808394ded9539e8dd3a3d9035792cf95c56b413fd"},"schema_version":"1.0","source":{"id":"2509.16187","kind":"arxiv","version":3}},"canonical_sha256":"aadcf472dfdbe501bc2745def1aecb1a74234315da5edc355768e4ebee9f553e","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"aadcf472dfdbe501bc2745def1aecb1a74234315da5edc355768e4ebee9f553e","first_computed_at":"2026-06-01T01:02:20.939211Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-01T01:02:20.939211Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"xI7QbzDK0gg/5DSg8QqxHRWEIUmE3iqq80qSOegeqY1MKKTUwkqlPPQeIw+EzR/n2exY5W943rzuduG8H657DQ==","signature_status":"signed_v1","signed_at":"2026-06-01T01:02:20.940074Z","signed_message":"canonical_sha256_bytes"},"source_id":"2509.16187","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ed4e50ae0e736a2edbffc4d97251720410ea62d0c3e7b0d215c7cba1cc669e3e","sha256:8fe1a91d839a96141db2a6aaf17044f0b42bb6a6d1127fccdfeb0625fff6ae32"],"state_sha256":"52ac7818621400ce98c7c996fdbb65b329192ebbb3366dc0f3c1e5542ee937fd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"I63nBDonk3mHtDl6U3K1kauLEVwmyD9q1PRAAPjAZF5os/AjYQ41sWDUtrrq3AnNi/vnW40jm6IoHYz2qeAcCg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-05T18:47:02.542128Z","bundle_sha256":"e048e5dd49326306839b1e4d406a6d5ffffd2eda0276100bb39a998f8ccd5e35"}}