{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.15877","arxiv_id":"2607.15877","integrity":{"available":true,"endpoint":"/pith/2607.15877/integrity.json","summary":{"critical":0,"advisory":2,"informational":0,"by_detector":{"doi_compliance":{"total":2,"critical":0,"advisory":2,"informational":0}}},"clean":false,"detectors_run":[{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-03T09:09:26.381986Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-02T23:08:43.524171Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-02T22:29:50.269612Z","findings_count":2},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-27T22:54:01.013795Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-23T09:49:34.650682Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-07-20T01:57:14.890347Z","findings_count":0}],"findings":[{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.14778/3583140.3583145 resolves to 'Efficient Black-Box Checking of Snapshot Isolation in Databases'. A reader following the printed text alone cannot reach it.","detected_doi":"10.14778/3583140.3583145","detected_arxiv_id":null,"ref_index":27,"audited_at":"2026-08-01T22:19:47.828627Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-44914-8_13) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-030-44914-8_13","detected_arxiv_id":null,"ref_index":2020,"audited_at":"2026-08-01T22:19:47.828627Z"}],"snapshot_sha256":"f8ebfcc2ff6a08dd57f8d4bcd3f31586d5737d0506a0134f4a21d875be17a9ed"},"events":[{"event_id":16742,"event_type":"pith.integrity.v1","payload_sha256":"c5110d6cf45a02448743e58094cfe3ccb502cb5d45b42322974039bb08e6c486","signature_b64":"Q0qrHmETITFDwenDNfCeIlzqACos8QAsJQy57bAjn69VYOAGVQ+6Aczfdwf7F8bjikTEp6O6IM3HB23G7TwMBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T22:23:28.803258+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-44914-8_13) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Aneris: A Mechanised Logic for Modular Reasoning about Distributed Systems. InProgramming Languages and Systems - 29th European Symposium on Programming, ESOP 2020, Held as Part of the European Joint Conferences on Theory and Practice of So","arxiv_id":"2607.15877","detector":"doi_compliance","evidence":{"ref_index":2020,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-","reconstructed_doi":"10.1007/978-3-030-44914-8_13"},"severity":"advisory","ref_index":2020,"audited_at":"2026-08-01T22:19:47.828627Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-030-44914-8_13","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"35f99c0a3607f907d88d3353e3591d182b174a27a44a170dbf22daf87ed5df76","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":16741,"event_type":"pith.integrity.v1","payload_sha256":"079d1848019f3f9169d6d6cd93a7e78693231929770edec46706e6297d68be8e","signature_b64":"V8l8cPNjhj5+LKGlUHyAxtb+zuBMNKdxrzFmRER8HPog+e3Ck0mUYZdKjd3bVNTqjHf3AoAyjQ88UxL4P8CEAg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T22:23:28.500154+00:00","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.14778/3583140.3583145 resolves to 'Efficient Black-Box Checking of Snapshot Isolation in Databases'. A reader following the printed text alone cannot reach it.","snippet":"Kaile Huang, Si Liu, Zhenge Chen, Hengfeng Wei, David Basin, Haixiang Li, and Anqun Pan. 2023. Efficient Black-Box Checking of Snapshot Isolation in Databases.Proc. VLDB Endow.16, 6 (Feb. 2023), 1264–1276. doi:10.14778/3583140. 3583145","arxiv_id":"2607.15877","detector":"doi_compliance","evidence":{"ref_index":27,"verdict_class":"incontrovertible","resolved_title":"Efficient Black-Box Checking of Snapshot Isolation in Databases","printed_excerpt":"10.14778/3583140","reconstructed_doi":"10.14778/3583140.3583145"},"severity":"advisory","ref_index":27,"audited_at":"2026-08-01T22:19:47.828627Z","event_type":"pith.integrity.v1","detected_doi":"10.14778/3583140.3583145","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"241d91ee0c29e630c6d8c5a7eb5dcb956973edc15649a8f98704d2796a2638a8","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Efficient Black-Box Checking of Snapshot Isolation in Databases","detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.15877/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}