{"as_of":"2026-08-23T17:07:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:760c3fee378bfde7ab4fc924ba142ee164a8ef7398d6d28779d4e2e245149063","coverage":[{"denominator":41,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":41,"source":"paper_references, paper_reference_links","source_observed_at":"2026-07-10T14:11:28.502786Z","state":"measured"},{"denominator":41,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":41,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-23T06:30:58.430688+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.07987/citation-record","integrity":"/paper/2607.07987/integrity","json":"/paper/2607.07987/citation-record.json","paper":"/paper/2607.07987"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.471919Z","title":"An exploratory study of the pull-based software development model,","venue":null,"work_id":"66342493-7aaf-459a-8ed2-9382081c8c4e","year":2014},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:5bcbe72a63aaff245079c545eee84846794dbea1e877163a5e322a5c62fdaf22","observation_id":"ff7583b9-8c5a-4eb1-88d1-0d3756cddbcc","resolution":{"observed_at":"2026-07-10T14:17:10.473161Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10515-014-0151-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Balancing precision and performance in structured merge,","venue":"Automated Software Engineering","work_id":"bf2362eb-7c1b-4ae0-84ef-cceb2ddbcd76","year":2015},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:1c0168a6e3f7771f5175d226ed894db4c21d0a2b68abe6614324cad6d1da4c15","observation_id":"9719048c-42d2-4729-a1a8-28cbe7b554c3","resolution":{"observed_at":"2026-07-10T14:17:10.054835Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.465892Z","title":"Spork: Struc- tured merge for java with formatting preservation,","venue":null,"work_id":"f65cecc3-de55-4153-b75d-5cf05f5db139","year":2022},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:53fb8140f12f94d0bc94ead718533a0b605131965859f845e3a65159b4500305","observation_id":"79df6de4-0972-4468-ab62-dc71742518c9","resolution":{"observed_at":"2026-07-10T14:17:10.467304Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3360596","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Intellimerge: A refactoring-aware software merging technique,","venue":"Proceedings of the ACM on Programming Languages","work_id":"6f249f70-7bcb-4769-8c8f-f312d8037384","year":2019},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:10c099b07f324ff7dc73651ab450944212b561c8a1727f79bc483324e4cb41bb","observation_id":"f0a538ec-2ce9-4550-8daa-801dd8e62758","resolution":{"observed_at":"2026-07-10T14:17:10.031694Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"0397.103039","doi":"10.1145/1030397.1030399","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A three-way merge for XML documents,","venue":null,"work_id":"8ec0c003-b787-412f-8b2b-b01d32f034e2","year":2004},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:4ab88f3cf5afb9500ed99d67d23d2d6d8b502414d2187302af49a71728ee960d","observation_id":"482fdc71-1134-4f1e-bf17-3047f3750a0e","resolution":{"observed_at":"2026-07-10T14:17:10.061549Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.468026Z","title":"On the methodology of three-way structured merge in version control systems: Top-down, bottom-up, or both,","venue":null,"work_id":"be5facba-0706-4910-9820-9ce8d1b03775","year":2023},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:f957fd8215a24fce33cb13eabe8f0f0eaf53928d73829a1fa646880abb760ba2","observation_id":"417738aa-4d04-4365-ac33-dca7f34a2dbb","resolution":{"observed_at":"2026-07-10T14:17:10.469504Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.470124Z","title":"A formal investigation of diff3,","venue":null,"work_id":"e67fd8e3-d78a-4d91-b84d-5490a82e9b09","year":2007},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:7e5073ca60e7f8ad2b78601a59a76d91ef22c776a176f3d8a2cbca41e8895872","observation_id":"ee85139b-8b20-4144-b2f9-3d175d399ac9","resolution":{"observed_at":"2026-07-10T14:17:10.471349Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.473722Z","title":"Categorical approaches to merging software changes,","venue":null,"work_id":"e0574497-4a40-44c4-8e99-6d6fa45777e0","year":1995},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:6999698ab905a640d9e8555830dd67067e8586ee4ae822858dbda507241cc1d7","observation_id":"44aacffe-4100-4155-b7cc-07f559846bf4","resolution":{"observed_at":"2026-07-10T14:17:10.475225Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1016/j.entcs.2013.09.018","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"A categorical theory of patches,","venue":"Electronic Notes in Theoretical Computer Science","work_id":"78a26dd0-4c35-431f-a700-876c8d433175","year":2013},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:67e674ee5c62201990c49c786995cbf6598af54153190aef5d3938be8f0bae30","observation_id":"3d6f0053-6845-4293-8e3c-ab4493aa678b","resolution":{"observed_at":"2026-07-10T14:17:10.037266Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/978-3-030-64187-0","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Diaconescu,Implicit Partiality of Signature Morphisms in Institution Theory","venue":null,"work_id":"bf8e812f-265f-4faf-9240-8f0741206131","year":2021},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:7aeb88329a941c423ae081bc84f3751b8b658099b06403dd87628587d4df0085","observation_id":"9d2a857a-3ba5-4d19-8f51-fc3c949e1666","resolution":{"observed_at":"2026-07-10T14:17:10.039625Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.475783Z","title":"Moerdijk and J","venue":null,"work_id":"8f89f72d-9771-4865-96e0-d198765f8d36","year":2018},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:7f8178947df8530ec44b24edaa58605fda8b6677fdc13317b68421370e8d0e34","observation_id":"ff142a4d-014b-4980-887c-c502041f312b","resolution":{"observed_at":"2026-07-10T14:17:10.477021Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.483394Z","title":"What is Menhir?","venue":null,"work_id":"c8562acf-336e-4f33-8f34-3f1ccea591de","year":2021},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:7fbcc8a2536566a7d6f90b223bd948e9719cfb3bd524a7ad3b0eb4a20674a57c","observation_id":"80788f18-8ec6-4da1-97a5-ca8b98e897eb","resolution":{"observed_at":"2026-07-10T14:17:10.484669Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.455572Z","title":"Gosling, B","venue":null,"work_id":"c9519ed4-d977-4d5f-8160-7827bf3b364e","year":2005},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:038f1ec45a8ea9151fe6a739875c3d2a343b33df06354f2dcbb9f196c6d6fdf1","observation_id":"015de022-48a5-4ed6-820e-65bc709ad1ac","resolution":{"observed_at":"2026-07-10T14:17:10.456885Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.481307Z","title":"Gusfield,Algorithms on Strings, Trees, and Sequences: Computer Science and Computational Biology","venue":null,"work_id":"881cacd7-74fe-44ab-b485-3859a6564269","year":1997},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:892b8fa4104f5b07ae319417052ba44d1406ce5779dd71babec73bec1afa58ab","observation_id":"a0dd2dae-0a59-4132-a156-07192fa2216b","resolution":{"observed_at":"2026-07-10T14:17:10.482778Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.451545Z","title":"A survey on tree edit distance and related problems,","venue":null,"work_id":"b7c3b7c3-913e-42ef-8638-7fa1af939bf6","year":2005},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:91611f815d71de47ff6f04c2a4b6695a5533654534abad6626562e09f1022f8e","observation_id":"00ace783-0dbc-403f-a4df-fe663f67447a","resolution":{"observed_at":"2026-07-10T14:17:10.452921Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.453633Z","title":"Simple fast algorithms for the editing distance between trees and related problems,","venue":null,"work_id":"0018614e-a8c7-4ee0-830f-734a6cbb0c71","year":1989},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:c115f113aa7f46fa9ecd03501e4be97bf94ced4a7f72d648963f7c0bd861255d","observation_id":"ca1d22ba-bcc7-44f7-b37c-1766787eda63","resolution":{"observed_at":"2026-07-10T14:17:10.454991Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.477584Z","title":"Imediff - an interactive fullscreen merge tool for diff2/3,","venue":null,"work_id":"71e91583-938f-4a04-a5af-b4b95d84a856","year":null},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:88be86fab37ada6a75fca8fbea199d25448a3297d3ec8b1c92cad5e686e615bf","observation_id":"5e8e1c06-c78c-41e9-82e4-2e819668eaca","resolution":{"observed_at":"2026-07-10T14:17:10.478865Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.437271Z","title":"Available: https://github.com/osamuaoki/imediff/","venue":null,"work_id":"0b94b117-8537-4d4e-9647-75871df0d063","year":null},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":18,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:8aa38dbbf7319c865ab8cd349703ad320ea708131d128a4ba66107de29905652","observation_id":"3f8b1062-6131-4fca-b5b6-4181383d066d","resolution":{"observed_at":"2026-07-10T14:17:10.438495Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3133883","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Guilherme Cavalcanti, Paulo Borba, Leonardo dos Anjos, and Jonatas Clementino","venue":"Proceedings of the ACM on Programming Languages","work_id":"da3e404b-dc16-4e75-83f5-48181b18699d","year":2017},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":19,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:b53efe46d5e4458e1c919c3ca64f15ab4c1a451f3eed957d509c136f95d48f4b","observation_id":"cbce30b0-5790-4493-85d0-de01172727c7","resolution":{"observed_at":"2026-07-10T14:17:10.042033Z","resolver_source":"doi","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-05-23T23:22:54.312715+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T23:22:54.312715+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.445170Z","title":"Enhancing precision of structured merge by proper tree matching,","venue":null,"work_id":"8321dd6c-401b-4fe1-a486-006d9b3502bc","year":2019},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":20,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:ab0cd3df9139fb1229cbee0de6c533048c31a11dff712455a2b4ba50e3f9bf4f","observation_id":"e28ff0a6-5f87-4160-afe7-05589a222d00","resolution":{"observed_at":"2026-07-10T14:17:10.446597Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5113.202514","doi":"10.1145/2025113.2025141","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"ISBN 978-1-4503-0443-6","venue":null,"work_id":"ec12fc2a-1d5a-4a0c-b0e2-a069c9c05a7f","year":2011},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":21,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:2c9124acbb6fe6d0aa0a860731e2c69a07123bd4558884be6470892a2c28a2af","observation_id":"6c9c1fd4-ad27-4fee-9d39-fc70b7d5ab2f","resolution":{"observed_at":"2026-07-10T14:17:10.058277Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-05-23T23:22:52.705944+00:00","source":"crossref_status_cache"},{"observed_at":"2026-05-23T23:22:52.705944+00:00","source":"openalex_status_cache"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1145/3276536","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Conflict resolution for structured merge via version space algebra,","venue":"Proceedings of the ACM on Programming Languages","work_id":"56529d0d-d9b4-4dec-b4eb-5cb29afef9e4","year":2018},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:0bae22b5ecbaf619831dfc846dbdad06599db39ee82e810e2beb5ce8f7266eed","observation_id":"e966929b-82e3-45e0-b2b7-a3f2aa564996","resolution":{"observed_at":"2026-07-10T14:17:10.044472Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.449348Z","title":"Fine-grained and accurate source code differencing,","venue":null,"work_id":"92c950e0-b5d1-45e1-b98d-b295b6431a8c","year":2014},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":23,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:5d4a59e01558d6d549389b6cb4b3c162d4da15648dff6538f6eac391842df36a","observation_id":"82148c5a-364f-4ca3-9b26-eefb200ad970","resolution":{"observed_at":"2026-07-10T14:17:10.450980Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.440980Z","title":"Meaningful change detection in structured data,","venue":null,"work_id":"b188b21a-ea2d-448b-9545-715f3abfae31","year":1997},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:2f5b341c1180d2d353864dd69724e1c6cd90f3c68f8b1e52fa78e7fbd07b4982","observation_id":"898b20a8-867c-4e47-a548-0aefc8c6aabf","resolution":{"observed_at":"2026-07-10T14:17:10.442342Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.439051Z","title":"Spoon: A Library for Implementing Analyses and Transformations of Java Source Code,","venue":null,"work_id":"afed4c7c-9c1b-4e72-a128-8af223f9e067","year":2015},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":25,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:e8413edca875b2bea93d74d5556de4d741357df94136caa616ae6b05a09ed4a9","observation_id":"c6b61e4c-79b8-477e-98c6-c1868118f213","resolution":{"observed_at":"2026-07-10T14:17:10.440412Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.462215Z","title":"Type-safe generic differencing of mutually recursive families,","venue":null,"work_id":"13e42fe5-00c2-4ad1-b43b-ba2803a8429c","year":2020},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:f6bfdbbe9d22d2c7b4dd560fc049fd7a48c98604fc16f1c3520950a015d5e850","observation_id":"04b62756-cf09-4f66-ad20-2926883cab5c","resolution":{"observed_at":"2026-07-10T14:17:10.463503Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.457414Z","title":"On the nature of merge conflicts: A study of 2,731 open source java projects hosted by GitHub,","venue":null,"work_id":"024b75ec-db8a-4bcd-8d69-7c20a2d1549a","year":2020},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:3859819915b930b6022883de685556caee3d3a1b54522f41ffb87390340024c9","observation_id":"ec7fb635-803b-4c6c-bc4a-1e09f2894f76","resolution":{"observed_at":"2026-07-10T14:17:10.458786Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2022.31839","doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.089658Z","title":"DeepMerge: Learning to Merge Programs ,","venue":null,"work_id":"3a7d9290-b1b2-4142-aea1-572ddbde550a","year":2023},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:3eaf796a0b71df11fdeb472d18d3fa9acd2f7ccbdf6d4cd8afba476e63735842","observation_id":"2822e60b-3c13-466f-b747-134d410222d2","resolution":{"observed_at":"2026-07-10T14:17:10.091197Z","resolver_source":"arxiv_id","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.435282Z","title":"Are refactorings to blame? an empirical study of refactorings in merge conflicts,","venue":null,"work_id":"07c89fba-3855-40a2-906b-1f4a18d8b751","year":2019},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:853dea7b4faf7b802e401d1b626366bc697c9e35c6576434326c7da4b36c406d","observation_id":"dc91330d-3428-4b6f-bf44-54f963a6d436","resolution":{"observed_at":"2026-07-10T14:17:10.436719Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.442964Z","title":"Refactoringminer 2.0,","venue":null,"work_id":"6ed0b979-cdd3-4f95-84b5-e241e32e00cc","year":2022},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":30,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:41d36eec5b477b8d2fe787e373171ca5b4a1ecf2fc7f63afb612e979aef00223","observation_id":"7e572158-a501-4eaa-bcb5-6579b4b7eb4a","resolution":{"observed_at":"2026-07-10T14:17:10.444195Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.447358Z","title":"Operation-based refactoring-aware merging: An empirical evaluation,","venue":null,"work_id":"a6d7f032-b321-4eec-b15e-8bf359b8e92a","year":2023},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":31,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:93a606351910e3329bedb28b7648ff1b55e09fd4adf49c6ba12e116a9a0e504d","observation_id":"7c2f5eb4-72c7-4f2d-94c9-b6438fb01850","resolution":{"observed_at":"2026-07-10T14:17:10.448764Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.460002Z","title":"A state-of-the-art survey on software merging,","venue":null,"work_id":"ad525c92-29b2-43f0-b974-885bb60e9ecf","year":2002},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":32,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:53bea75c27b9d6571b32e5c8684e251e7bf171629f9e65a84e8ec2cc7df7ba01","observation_id":"8322d78f-2b1a-4d1e-a2b4-abfb488b1165","resolution":{"observed_at":"2026-07-10T14:17:10.461320Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1062.111071","doi":"10.1145/111062.111071","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Structure-oriented merging of revisions of software documents,","venue":null,"work_id":"265e2827-01dc-48fb-9c6e-56bf1a885e25","year":1991},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":33,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:7f0533ba61f5088f71cdd05254ded985dbf0e6c96e331104a2e62d952e1d9908","observation_id":"7202db06-79c0-46c2-97e3-da6a3c550345","resolution":{"observed_at":"2026-07-10T14:17:10.048198Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.464085Z","title":"Syntactic software merging,","venue":null,"work_id":"8aebd8a9-eef4-4340-b998-8d5486de3bbd","year":1995},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":34,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:a1039d5375ede0c9b5e9d01d80d96019e3f911984ef33aabac9cbadbf535a098","observation_id":"3a0d6931-ea6d-4337-acd9-3c2b822bee85","resolution":{"observed_at":"2026-07-10T14:17:10.465292Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1248.260127","doi":"10.1145/2601248.2601275","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Evaluating software merge quality,","venue":null,"work_id":"ae5255cf-1529-4af9-8f40-ea54871e095f","year":2014},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":35,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:10e8c3d69b3513dc065198b235edd5413809cfea4830496cbecccd550bbe5779","observation_id":"538ccf23-1fbc-4c67-9016-4fb3cc3e9a3f","resolution":{"observed_at":"2026-07-10T14:17:10.035152Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.433328Z","title":"Precise version control of trees with line-based version control systems,","venue":null,"work_id":"8742cc00-680d-4cba-a34b-c3cd428c145a","year":2017},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":36,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:110e15690d13a51801e6f1e8de64bff3acae58455e503acc38c21e20c61b7f79","observation_id":"bb05c81b-4970-4c41-9119-f30ea23cb3f3","resolution":{"observed_at":"2026-07-10T14:17:10.434705Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.479465Z","title":"Verified three-way program merge,","venue":null,"work_id":"945b50cd-fc76-4c38-9f05-bda22a4ec1f6","year":2018},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":37,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:52f3a209fd615a817732eebaece58c5eb4a45bc80f0409ae53e1f62674996094","observation_id":"be3534d5-9dab-4b0b-9f91-48f25ab77c5d","resolution":{"observed_at":"2026-07-10T14:17:10.480743Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"1237.281129","doi":"10.1145/2811237.2811299","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Deltaimpactfinder: Assessing semantic merge conflicts with dependency analysis,","venue":null,"work_id":"613d5702-5a6b-483c-912c-7a0a97c5dbe1","year":2015},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":38,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:85daa71eae327de272d98b7f33b178dcf438eda583cf3ee06b2351b6f8e2cf86","observation_id":"36440d63-94ac-42c0-924c-aa570ba3b55f","resolution":{"observed_at":"2026-07-10T14:17:10.064777Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"6805.280320","doi":"10.1145/2786805.2803208","metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-05T02:28:24.338817Z","title":"Detecting semantic merge conflicts with variability-aware execution,","venue":null,"work_id":"ecc326e4-4be7-4005-a5b1-363c13bb851a","year":2015},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":39,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:ed5a6c1a4b89c98c1e0450e910eff8760481f94e5db459b8cd92ede214f25950","observation_id":"ba8f7d4c-1946-4e96-8d61-a4878ad50b42","resolution":{"observed_at":"2026-07-10T14:17:10.052215Z","resolver_source":"arxiv_id","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.431270Z","title":"Diff/TS: A tool for fine-grained structural change analysis,","venue":null,"work_id":"470098dd-c4dc-4ca9-8199-5e97cead5a74","year":2008},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":40,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:437966cbeb28a889dbe1e3a92c476453fe480cadd7228478729cc7d236db27d2","observation_id":"4b77a3cc-5f77-40dc-ba3a-b455b705565a","resolution":{"observed_at":"2026-07-10T14:17:10.432718Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-07-10T14:17:10.429346Z","title":"Change distilling: Tree differencing for fine-grained source code change extraction,","venue":null,"work_id":"1b99c94d-5eb1-4116-96cf-41b7eac700ff","year":2007},"citing_paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge","version":1},"reference_index":41,"source":"pdf_text","source_observed_at":"2026-07-10T14:11:28.502786Z"},"links":{"citing_paper":"/paper/2607.07987"},"observation_digest":"sha256:365639378a4d0592760dc7253ce2b645908c7eaa7b6c1a326c4e44ba29f06ad2","observation_id":"5b85e8d3-10f3-433a-99e7-9a0a14c8b15f","resolution":{"observed_at":"2026-07-10T14:17:10.430694Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2607.07987","last_updated":"2026-07-08T23:27:47Z","latest_version":1,"primary_category":"cs.SE","snapshot_observed_at":"2026-08-12T01:07:48.125859Z","submitted_at":"2026-07-08T23:27:47Z","title":"On the Correctness of Software Merge"},"reference_resolution":{"displayed":41,"state_counts":{"malformed_identifier":0,"metadata_mismatch":3,"parse_uncertain":0,"unresolved":0,"verified_exact":10,"verified_fuzzy":28},"total_outbound_references":41},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-23T06:30:58.430688+00:00","source":"crossref"},{"observed_at":"2026-08-23T06:30:53.778098+00:00","source":"retraction_watch"}],"thesis":"As of 23 August 2026, this Paper Citation Record lists 41 of 41 outbound references and 0 inbound Pith citation observations for arXiv:2607.07987."}