{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:PZF6AEG2VOAAP5WEBHHLNQY5YE","short_pith_number":"pith:PZF6AEG2","canonical_record":{"source":{"id":"2507.06762","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-09T11:38:53Z","cross_cats_sorted":[],"title_canon_sha256":"5e849cc2e5d80036421407b936dcfc7f522d83d0896e36ddc54728d0668bb5b6","abstract_canon_sha256":"2df2cee9aa9498f3ebdc082ded299a0f0f4b426a8fa8a56b8ddbec40f8e45191"},"schema_version":"1.0"},"canonical_sha256":"7e4be010daab8007f6c409ceb6c31dc10d10e4e8ed655047e64b76e8f6cbf520","source":{"kind":"arxiv","id":"2507.06762","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.06762","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"arxiv_version","alias_value":"2507.06762v2","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.06762","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"pith_short_12","alias_value":"PZF6AEG2VOAA","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"pith_short_16","alias_value":"PZF6AEG2VOAAP5WE","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"pith_short_8","alias_value":"PZF6AEG2","created_at":"2026-07-05T11:53:27Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:PZF6AEG2VOAAP5WEBHHLNQY5YE","target":"record","payload":{"canonical_record":{"source":{"id":"2507.06762","kind":"arxiv","version":2},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-09T11:38:53Z","cross_cats_sorted":[],"title_canon_sha256":"5e849cc2e5d80036421407b936dcfc7f522d83d0896e36ddc54728d0668bb5b6","abstract_canon_sha256":"2df2cee9aa9498f3ebdc082ded299a0f0f4b426a8fa8a56b8ddbec40f8e45191"},"schema_version":"1.0"},"canonical_sha256":"7e4be010daab8007f6c409ceb6c31dc10d10e4e8ed655047e64b76e8f6cbf520","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T11:53:27.925299Z","signature_b64":"yAiS5+3HjQO3H5VXb6y+l3Vjy8uQqzhaYOCgO9UkPP9VvHH1Le3hXu2Km3KI7lXK/zAxPmmfgLtd3j9QtDuJBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"7e4be010daab8007f6c409ceb6c31dc10d10e4e8ed655047e64b76e8f6cbf520","last_reissued_at":"2026-07-05T11:53:27.924785Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T11:53:27.924785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.06762","source_version":2,"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:53:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"w0j1gzqSWogB0e+DsPh2b+rcbdWPCob/CLgypwXXzAg1+lD7xtiMJs3Ufo6h3HEtbascrCSgibwQyjbY23GfAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T00:50:58.397381Z"},"content_sha256":"9dc3be894254843f3b0a2ed8eb0ed27189eaa9a17e41ed7afb4b81afff4c0fa7","schema_version":"1.0","event_id":"sha256:9dc3be894254843f3b0a2ed8eb0ed27189eaa9a17e41ed7afb4b81afff4c0fa7"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:PZF6AEG2VOAAP5WEBHHLNQY5YE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Detec\\c{c}\\~ao de Conflitos Sem\\^anticos com Testes Gerados por LLM","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":[],"primary_cat":"cs.SE","authors_text":"(2) Polytechnique Montreal, Brasil, Canad\\'a), L\\'euson Da Silva (2) ((1) Centro de Inform\\'atica, Nathalia Barbosa (1), Paulo Borba (1), Universidade Federal de Pernambuco","submitted_at":"2025-07-09T11:38:53Z","abstract_excerpt":"Semantic conflicts arise when a developer introduces changes to a codebase that unintentionally affect the behavior of changes integrated in parallel by other developers. Traditional merge tools are unable to detect such conflicts, so complementary tools like SMAT have been proposed. SMAT relies on generating and executing unit tests: if a test fails on the base version, passes on a developer's modified version, but fails again after merging with another developer's changes, a semantic conflict is indicated. While SMAT is effective at detecting conflicts, it suffers from a high rate of false n"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.06762","kind":"arxiv","version":2},"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/2507.06762/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:53:27Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Xp1pZ4Ec/RLK3JTksqefPC1ymRLl4lkOOOmPiVr0VHvTSRY6MSHJ2Xxlz229SpQbrYoQitAH6tF+oLNQESPgCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T00:50:58.397880Z"},"content_sha256":"fc4902fdc9e2df6d93d508f6725d61904cfbd06d445404d0de4f065f91e0b081","schema_version":"1.0","event_id":"sha256:fc4902fdc9e2df6d93d508f6725d61904cfbd06d445404d0de4f065f91e0b081"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PZF6AEG2VOAAP5WEBHHLNQY5YE/bundle.json","state_url":"https://pith.science/pith/PZF6AEG2VOAAP5WEBHHLNQY5YE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PZF6AEG2VOAAP5WEBHHLNQY5YE/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-18T00:50:58Z","links":{"resolver":"https://pith.science/pith/PZF6AEG2VOAAP5WEBHHLNQY5YE","bundle":"https://pith.science/pith/PZF6AEG2VOAAP5WEBHHLNQY5YE/bundle.json","state":"https://pith.science/pith/PZF6AEG2VOAAP5WEBHHLNQY5YE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PZF6AEG2VOAAP5WEBHHLNQY5YE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:PZF6AEG2VOAAP5WEBHHLNQY5YE","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":"2df2cee9aa9498f3ebdc082ded299a0f0f4b426a8fa8a56b8ddbec40f8e45191","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-09T11:38:53Z","title_canon_sha256":"5e849cc2e5d80036421407b936dcfc7f522d83d0896e36ddc54728d0668bb5b6"},"schema_version":"1.0","source":{"id":"2507.06762","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.06762","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"arxiv_version","alias_value":"2507.06762v2","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.06762","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"pith_short_12","alias_value":"PZF6AEG2VOAA","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"pith_short_16","alias_value":"PZF6AEG2VOAAP5WE","created_at":"2026-07-05T11:53:27Z"},{"alias_kind":"pith_short_8","alias_value":"PZF6AEG2","created_at":"2026-07-05T11:53:27Z"}],"graph_snapshots":[{"event_id":"sha256:fc4902fdc9e2df6d93d508f6725d61904cfbd06d445404d0de4f065f91e0b081","target":"graph","created_at":"2026-07-05T11:53:27Z","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/2507.06762/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Semantic conflicts arise when a developer introduces changes to a codebase that unintentionally affect the behavior of changes integrated in parallel by other developers. Traditional merge tools are unable to detect such conflicts, so complementary tools like SMAT have been proposed. SMAT relies on generating and executing unit tests: if a test fails on the base version, passes on a developer's modified version, but fails again after merging with another developer's changes, a semantic conflict is indicated. While SMAT is effective at detecting conflicts, it suffers from a high rate of false n","authors_text":"(2) Polytechnique Montreal, Brasil, Canad\\'a), L\\'euson Da Silva (2) ((1) Centro de Inform\\'atica, Nathalia Barbosa (1), Paulo Borba (1), Universidade Federal de Pernambuco","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-09T11:38:53Z","title":"Detec\\c{c}\\~ao de Conflitos Sem\\^anticos com Testes Gerados por LLM"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2507.06762","kind":"arxiv","version":2},"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:9dc3be894254843f3b0a2ed8eb0ed27189eaa9a17e41ed7afb4b81afff4c0fa7","target":"record","created_at":"2026-07-05T11:53:27Z","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":"2df2cee9aa9498f3ebdc082ded299a0f0f4b426a8fa8a56b8ddbec40f8e45191","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.SE","submitted_at":"2025-07-09T11:38:53Z","title_canon_sha256":"5e849cc2e5d80036421407b936dcfc7f522d83d0896e36ddc54728d0668bb5b6"},"schema_version":"1.0","source":{"id":"2507.06762","kind":"arxiv","version":2}},"canonical_sha256":"7e4be010daab8007f6c409ceb6c31dc10d10e4e8ed655047e64b76e8f6cbf520","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"7e4be010daab8007f6c409ceb6c31dc10d10e4e8ed655047e64b76e8f6cbf520","first_computed_at":"2026-07-05T11:53:27.924785Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:53:27.924785Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yAiS5+3HjQO3H5VXb6y+l3Vjy8uQqzhaYOCgO9UkPP9VvHH1Le3hXu2Km3KI7lXK/zAxPmmfgLtd3j9QtDuJBg==","signature_status":"signed_v1","signed_at":"2026-07-05T11:53:27.925299Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.06762","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:9dc3be894254843f3b0a2ed8eb0ed27189eaa9a17e41ed7afb4b81afff4c0fa7","sha256:fc4902fdc9e2df6d93d508f6725d61904cfbd06d445404d0de4f065f91e0b081"],"state_sha256":"ab8504cf2a4a2cca61dc9b8374e40527fc95ca9855ac47e6eee33ce69b11d8d8"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"AapPlWCLmj+TN4IEib2y4gJ6Xk/TQPTDZ4Sw+4ROXMR9QX3IMHH2oZ3Lg/mVCSoeSPYIxtAuuvCIUtL+xiK7AA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T00:50:58.401693Z","bundle_sha256":"6a47dc45e57cf9cf628a66433c41addfc5083eb962fdc47e2c73aee76dfa6587"}}