{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:45QIHH2I4XDXYR7E5C2LLTTJ76","short_pith_number":"pith:45QIHH2I","canonical_record":{"source":{"id":"2607.07987","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-08T23:27:47Z","cross_cats_sorted":[],"title_canon_sha256":"84e5df873a772596e1cdf68f2df031b69656fb87725c62ec94a851d9e54d2c15","abstract_canon_sha256":"005074ff39596de88bb9f48c06254c4449385acbf6c7fec6cd5b6e90aa287141"},"schema_version":"1.0"},"canonical_sha256":"e760839f48e5c77c47e4e8b4b5ce69ff9ca4be86f8b77ba05da6d3662edd91c5","source":{"kind":"arxiv","id":"2607.07987","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"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:45QIHH2I4XDXYR7E5C2LLTTJ76","target":"record","payload":{"canonical_record":{"source":{"id":"2607.07987","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.SE","submitted_at":"2026-07-08T23:27:47Z","cross_cats_sorted":[],"title_canon_sha256":"84e5df873a772596e1cdf68f2df031b69656fb87725c62ec94a851d9e54d2c15","abstract_canon_sha256":"005074ff39596de88bb9f48c06254c4449385acbf6c7fec6cd5b6e90aa287141"},"schema_version":"1.0"},"canonical_sha256":"e760839f48e5c77c47e4e8b4b5ce69ff9ca4be86f8b77ba05da6d3662edd91c5","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-10T00:19:06.667815Z","signature_b64":"T8f+Cxg1jMuMVGxy3T5RP00aXYx6/jfrHsOMPOG/PVxXKpaGPhAu15CJQ+je+sXCPq9svxoD13GgmsHpFVOzBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"e760839f48e5c77c47e4e8b4b5ce69ff9ca4be86f8b77ba05da6d3662edd91c5","last_reissued_at":"2026-07-10T00:19:06.667412Z","signature_status":"signed_v1","first_computed_at":"2026-07-10T00:19:06.667412Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2607.07987","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-10T00:19:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pvaalLZVl2Pf7WY+u4AWMCHtMuPBKEy50Nb7bp3IzACYi5cCf3slrV4OKaN5cAJRXc9Do4unDRJcT5uFM1k6Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:37:53.069776Z"},"content_sha256":"7e820431b29dbe71abb40c7e4676ee9dfa21b1222bf166b594c5b94d7b8f1b29","schema_version":"1.0","event_id":"sha256:7e820431b29dbe71abb40c7e4676ee9dfa21b1222bf166b594c5b94d7b8f1b29"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:45QIHH2I4XDXYR7E5C2LLTTJ76","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Correctness of Software Merge","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"Akira Mori, Masatomo Hashimoto","submitted_at":"2026-07-08T23:27:47Z","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"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2607.07987","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/2607.07987/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-10T00:19:06Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"A96HhDw53fH3kNMkmPHkT9gC/InchSmejq/LafWYxxSAWlMmlF85MQ/jY4ztuq6yNT13ewgIf6fOmbdQ5MHmBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:37:53.070294Z"},"content_sha256":"b79384cd981f2ce705906bb9d397479c38f3245a4d3d351779634f7b69ae15b9","schema_version":"1.0","event_id":"sha256:b79384cd981f2ce705906bb9d397479c38f3245a4d3d351779634f7b69ae15b9"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:45QIHH2I4XDXYR7E5C2LLTTJ76","target":"integrity","payload":{"note":"This paper contains a 40-token span identical to one in arXiv:2605.21350. The two papers share no author per Pith records and neither cites the other. The duplication is the verbatim shared span; the framing makes no claim about intent or directionality.","snippet":"all other uses in any current or future media including reprinting republishing this material for advertising or promotional purposes creating new collective works for resale or redistribution to servers or lists or reuse of any copyrighted","arxiv_id":"2607.07987","detector":"shingle_duplication","evidence":{"shared_text":"all other uses in any current or future media including reprinting republishing this material for advertising or promotional purposes creating new collective works for resale or redistribution to servers or lists or reuse of any copyrighted component of this work","verdict_class":"incontrovertible","shared_arxiv_id":"2605.21350","shared_token_count":40,"shared_paper_version":1,"shared_offset_in_citing_paper":424},"severity":"advisory","ref_index":null,"audited_at":"2026-07-12T13:54:02.122400Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#shingle_duplication","external_url":null,"finding_type":"prose_duplication","evidence_hash":"3c949a8c15fdde0fdb9144e207b457804b9be66d024ed41b0a6a50dc34182849","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"0.1.0","detected_arxiv_id":"2605.21350","integrity_event_id":12629,"payload_sha256":"d9e72026b5274cc6799b9b8ebcb76c442fd8fddfea5aa5463c6fc72c157dc166","signature_b64":"69KSIrHxzW8fuclfFHxJCmzunxjjt/MCCzUHh4o1dSTmm8ni1w3Wd0wrOKiZaztC/rQKOIHOrzVblW3/ErPuCg==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-12T13:57:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GumT4Urxi5Dy82jP4pf8jzmUclirjxYlyRIAenoYzyArbZWj5ZW6Mw9PLgF6YJhgIduV510rtkoPG0GiWrUkDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:37:53.074529Z"},"content_sha256":"5be3c521062c2d63f20b75f7fb0260abe55813b1b57289548a9584395c3079c9","schema_version":"1.0","event_id":"sha256:5be3c521062c2d63f20b75f7fb0260abe55813b1b57289548a9584395c3079c9"},{"event_type":"integrity_finding","subject_pith_number":"pith:2026:45QIHH2I4XDXYR7E5C2LLTTJ76","target":"integrity","payload":{"note":"This paper contains a 40-token span identical to one in arXiv:2605.20136. The two papers share no author per Pith records and neither cites the other. The duplication is the verbatim shared span; the framing makes no claim about intent or directionality.","snippet":"be obtained for all other uses in any current or future media including reprinting republishing this material for advertising or promotional purposes creating new collective works for resale or redistribution to servers or lists or reuse of","arxiv_id":"2607.07987","detector":"shingle_duplication","evidence":{"shared_text":"be obtained for all other uses in any current or future media including reprinting republishing this material for advertising or promotional purposes creating new collective works for resale or redistribution to servers or lists or reuse of any copyrighted component","verdict_class":"incontrovertible","shared_arxiv_id":"2605.20136","shared_token_count":40,"shared_paper_version":1,"shared_offset_in_citing_paper":421},"severity":"advisory","ref_index":null,"audited_at":"2026-07-12T13:54:02.122400Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#shingle_duplication","external_url":null,"finding_type":"prose_duplication","evidence_hash":"9c8350f66800e9a53f1c34901b4a543e525ea1d218e697b53037db324a6b80e3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"0.1.0","detected_arxiv_id":"2605.20136","integrity_event_id":12628,"payload_sha256":"e23bfece3516fec953524a81b39b9bf2d05a3816942677b4d2ec60ec078eea40","signature_b64":"y+QBHY+Lh6bGUGfvTbWn2F1lCe1cHHAW5Qm4Du7u+E6rVoSDtxI5n/szTg6O6FON51rW1VdJi/Pl5w8pb1qSAA==","signing_key_id":"pith-v1-2026-05"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-12T13:57:43Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"BjW+GKMxbCw1UNOwUi4MLlm5VffHrTo3vq46Zt1OcaPGQSlx/GSJBX/O19xnD5+3mZg3srsNSp6xXp9jU/0QAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-23T11:37:53.074931Z"},"content_sha256":"095355ea1c98158240f049ec7a5d58e96e441c88ebfbf037e048607f4551f26e","schema_version":"1.0","event_id":"sha256:095355ea1c98158240f049ec7a5d58e96e441c88ebfbf037e048607f4551f26e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/45QIHH2I4XDXYR7E5C2LLTTJ76/bundle.json","state_url":"https://pith.science/pith/45QIHH2I4XDXYR7E5C2LLTTJ76/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/45QIHH2I4XDXYR7E5C2LLTTJ76/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-23T11:37:53Z","links":{"resolver":"https://pith.science/pith/45QIHH2I4XDXYR7E5C2LLTTJ76","bundle":"https://pith.science/pith/45QIHH2I4XDXYR7E5C2LLTTJ76/bundle.json","state":"https://pith.science/pith/45QIHH2I4XDXYR7E5C2LLTTJ76/state.json","well_known_bundle":"https://pith.science/.well-known/pith/45QIHH2I4XDXYR7E5C2LLTTJ76/bundle.json"},"state":{"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"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"LWFilj2jiCEn57GKQzLDjptVAakdLYclvmHTJIRgK667p7d/oDu98cDyLJnTfA7kRT4r+/egMzy8xEAjgWL/Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-23T11:37:53.077311Z","bundle_sha256":"c7ca6c000de1b1d241b14721195376dd3d05f9ce3c3afca47015958007fb680c"}}