{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:45QIHH2I4XDXYR7E5C2LLTTJ76","merge_version":"pith-open-graph-merge-v1","event_count":4,"valid_event_count":4,"invalid_event_count":0,"equivocation_count":1,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"005074ff39596de88bb9f48c06254c4449385acbf6c7fec6cd5b6e90aa287141","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-08T23:27:47Z","title_canon_sha256":"84e5df873a772596e1cdf68f2df031b69656fb87725c62ec94a851d9e54d2c15"},"schema_version":"1.0","source":{"id":"2607.07987","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2607.07987","created_at":"2026-07-10T00:19:06Z"},{"alias_kind":"arxiv_version","alias_value":"2607.07987v1","created_at":"2026-07-10T00:19:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2607.07987","created_at":"2026-07-10T00:19:06Z"},{"alias_kind":"pith_short_12","alias_value":"45QIHH2I4XDX","created_at":"2026-07-10T00:19:06Z"},{"alias_kind":"pith_short_16","alias_value":"45QIHH2I4XDXYR7E","created_at":"2026-07-10T00:19:06Z"},{"alias_kind":"pith_short_8","alias_value":"45QIHH2I","created_at":"2026-07-10T00:19:06Z"}],"graph_snapshots":[{"event_id":"sha256:b79384cd981f2ce705906bb9d397479c38f3245a4d3d351779634f7b69ae15b9","target":"graph","created_at":"2026-07-10T00:19:06Z","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/2607.07987/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Three-way merge tools play crucial roles in modern software development, where a developer forks a branch to make local modifications and requests it to be merged into the main branch via a \"pull request.\" Despite its importance, the task has traditionally been defined in an intuitive manner, and the results of merge tools are often accepted without scrutiny. In this paper, we present a new structural merge tool in comparison with existing tools based on the syntactic criteria we propose for evaluating the merge results. We require the merge result to be both parsable and universal. Being pars","authors_text":"Akira Mori, Masatomo Hashimoto","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.07987","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:7e820431b29dbe71abb40c7e4676ee9dfa21b1222bf166b594c5b94d7b8f1b29","target":"record","created_at":"2026-07-10T00:19:06Z","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":"005074ff39596de88bb9f48c06254c4449385acbf6c7fec6cd5b6e90aa287141","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-08T23:27:47Z","title_canon_sha256":"84e5df873a772596e1cdf68f2df031b69656fb87725c62ec94a851d9e54d2c15"},"schema_version":"1.0","source":{"id":"2607.07987","kind":"arxiv","version":1}},"canonical_sha256":"e760839f48e5c77c47e4e8b4b5ce69ff9ca4be86f8b77ba05da6d3662edd91c5","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"e760839f48e5c77c47e4e8b4b5ce69ff9ca4be86f8b77ba05da6d3662edd91c5","first_computed_at":"2026-07-10T00:19:06.667412Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-10T00:19:06.667412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"T8f+Cxg1jMuMVGxy3T5RP00aXYx6/jfrHsOMPOG/PVxXKpaGPhAu15CJQ+je+sXCPq9svxoD13GgmsHpFVOzBg==","signature_status":"signed_v1","signed_at":"2026-07-10T00:19:06.667815Z","signed_message":"canonical_sha256_bytes"},"source_id":"2607.07987","source_kind":"arxiv","source_version":1}}},"equivocations":[{"signer_id":"pith.science","event_type":"integrity_finding","target":"integrity","event_ids":["sha256:095355ea1c98158240f049ec7a5d58e96e441c88ebfbf037e048607f4551f26e","sha256:5be3c521062c2d63f20b75f7fb0260abe55813b1b57289548a9584395c3079c9"]}],"invalid_events":[],"applied_event_ids":["sha256:7e820431b29dbe71abb40c7e4676ee9dfa21b1222bf166b594c5b94d7b8f1b29","sha256:b79384cd981f2ce705906bb9d397479c38f3245a4d3d351779634f7b69ae15b9"],"state_sha256":"0adc7bab2b3a3e6e8efd08f8f4696e571270f9aad7e220d416fccdc88c747095"}