{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.18049","arxiv_id":"2607.18049","integrity":{"available":true,"endpoint":"/pith/2607.18049/integrity.json","summary":{"critical":0,"advisory":4,"informational":0,"by_detector":{"doi_compliance":{"total":4,"critical":0,"advisory":4,"informational":0}}},"clean":false,"detectors_run":[{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-04T13:09:21.201463Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-03T23:09:00.550480Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-03T17:01:06.995024Z","findings_count":4},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-27T09:12:17.321945Z","findings_count":0},{"name":"shingle_duplication","version":"0.1.0","status":"skipped","ran_at":"2026-07-21T17:53:51.366865Z","findings_count":0},{"name":"external_links","version":"1.0.0","status":"completed","ran_at":"2026-07-21T11:34:29.670415Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-07-21T07:57:19.091079Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-21T05:51:59.935795Z","findings_count":0}],"findings":[{"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-99524-9_24) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-030-99524-9_24","detected_arxiv_id":null,"ref_index":1,"audited_at":"2026-08-01T16:29:41.684394Z"},{"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-540-75416-9_44) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-540-75416-9_44","detected_arxiv_id":null,"ref_index":22,"audited_at":"2026-08-01T16:29:41.684394Z"},{"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-031-55608-1) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-031-55608-1","detected_arxiv_id":null,"ref_index":11,"audited_at":"2026-08-01T16:29:41.684394Z"},{"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-642-11957-6_22) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-642-11957-6_22","detected_arxiv_id":null,"ref_index":13,"audited_at":"2026-08-01T16:29:41.684394Z"}],"snapshot_sha256":"3fa42887e8f63c3e929c7125fb6f5ff78e7c45a2876731724cdc416a1451e076"},"events":[{"event_id":16196,"event_type":"pith.integrity.v1","payload_sha256":"16b67792e5037340e3fd1e360897ad3345b264cf9ef8ba0b81f9b0dc7897c3d6","signature_b64":"eMoT3IhMAFt6jXebTIsbiKrzAudXA51G4zloNYRDfLfUtbUuEJNtVpwwt0zjgfWIoWrmCiNh68RImKpWQIh5Dw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T16:33:30.487998+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-75416-9_44) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Stephen F. Siegel and George S. Avrunin. 2007. Verification of Halting Properties for MPI Programs Using Nonblocking Operations. InRecent Advances in Parallel Virtual Machine and Message Passing Interface, 14th European PVM/MPI User’s Group","arxiv_id":"2607.18049","detector":"doi_compliance","evidence":{"ref_index":22,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-540-","reconstructed_doi":"10.1007/978-3-540-75416-9_44"},"severity":"advisory","ref_index":22,"audited_at":"2026-08-01T16:29:41.684394Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-540-75416-9_44","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"bdeb1e7e614aa2ece450c1d9bf3b9c5e4bef48648bc4084321ee2a1bd21e159f","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":16195,"event_type":"pith.integrity.v1","payload_sha256":"ba5b927d36f844c17a34d73ac7b7c47501e62a567b1774ba9e65314642fdd342","signature_b64":"EpqDREW6v13iF+5MCM1kMSb0haw5eyiw5yh3PacIeNv5UYGz3lxxyOkaJTWYPkoy+orirqf2pl/NyNpvEPRyDw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T16:33:30.328761+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-99524-9_24) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Haniel Barbosa, Clark Barrett, Martin Brain, Gereon Kremer, Hanna Lachnitt, Makai Mann, Abdalrhman Mohamed, Mudathir Mohamed, Aina Niemetz, Andres Nötzli, Alex Ozdemir, Mathias Preiner, Andrew Reynolds, Ying Sheng, Cesare Tinelli, and Yoni ","arxiv_id":"2607.18049","detector":"doi_compliance","evidence":{"ref_index":1,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/97","reconstructed_doi":"10.1007/978-3-030-99524-9_24"},"severity":"advisory","ref_index":1,"audited_at":"2026-08-01T16:29:41.684394Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-030-99524-9_24","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"11b447dffe92bd5535a858566d774aa7286aed22e9d73c5860d2077337ee1163","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":16194,"event_type":"pith.integrity.v1","payload_sha256":"86a09b9294aaec1fbe1c2719742eb1b73ffc6ec69e2488f8664c4ac2eb94d2ec","signature_b64":"98HBbNFmb/HSiHQTR515Szvm2bBQ2OEB4zl1zl+JOw41EH8XRi9DFyC0ikrCSS2ohS1NPG/7djMKc3KkkcZuAQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T16:33:30.216720+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-642-11957-6_22) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"K. Rustan M. Leino, Peter Müller, and Jan Smans. 2010. Deadlock-Free chan- nels and locks. InProceedings of the 19th European Conference on Programming Languages and Systems (ESOP’10)(Paphos, Cyprus)(Lecture Notes in Computer Science, Vol. ","arxiv_id":"2607.18049","detector":"doi_compliance","evidence":{"ref_index":13,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-","reconstructed_doi":"10.1007/978-3-642-11957-6_22"},"severity":"advisory","ref_index":13,"audited_at":"2026-08-01T16:29:41.684394Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-642-11957-6_22","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"8558844f6197a7c2b39bdb5a6b4dfa098249c26a87d191e51ec93076154ed3c4","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":16193,"event_type":"pith.integrity.v1","payload_sha256":"7924f3e2abc6a4f22c28c3817f4a9f5340118a57085080cad4fa3e431c6ded38","signature_b64":"LVKgR2/EqI+VppeMFBd5JC0wYKgh1So4W1doOLGC9iJfSyYp2LHM1tKfLOqyflP0bB3BGLF/4M5rz4bxeAxkBQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T16:33:30.091125+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-031-55608-1) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Nikolai Kosmatov, Virgile Prevosto, and Julien Signoles (Eds.). 2024.Guide to Software Verification with Frama-C. Springer, Cham. doi:10.1007/978-3-031- 55608-1","arxiv_id":"2607.18049","detector":"doi_compliance","evidence":{"ref_index":11,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-031-","reconstructed_doi":"10.1007/978-3-031-55608-1"},"severity":"advisory","ref_index":11,"audited_at":"2026-08-01T16:29:41.684394Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-031-55608-1","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"eed4927831b3b0f83b7590918fa3e2cd40e645f295806d7749d7fcb371a7ae18","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.18049/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}