{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.21199","arxiv_id":"2607.21199","integrity":{"available":true,"endpoint":"/pith/2607.21199/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":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-03T10:08:41.018804Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-03T08:41:42.656472Z","findings_count":4},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-08-02T12:38:15.152506Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-07-31T04:51:35.194760Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-30T20:31:04.278761Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-07-26T09:57:43.320674Z","findings_count":0},{"name":"shingle_duplication","version":"0.1.0","status":"skipped","ran_at":"2026-07-25T05:53:58.782484Z","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/s10817-018-09502-y) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/s10817-018-09502-y","detected_arxiv_id":null,"ref_index":4,"audited_at":"2026-08-01T08:19:58.377654Z"},{"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-319-08587-6_7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-319-08587-6_7","detected_arxiv_id":null,"ref_index":22,"audited_at":"2026-08-01T08:19:58.377654Z"},{"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/3-540-45241-9_12) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/3-540-45241-9_12","detected_arxiv_id":null,"ref_index":35,"audited_at":"2026-08-01T08:19:58.377654Z"},{"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.34727/2022/isbn.978-3-85448-053-2_10) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.34727/2022/isbn.978-3-85448-053-2_10","detected_arxiv_id":null,"ref_index":36,"audited_at":"2026-08-01T08:19:58.377654Z"}],"snapshot_sha256":"76f26a454694277006eb8c8d0c3e1167495fc7e104b17d22276d930be3db37ce"},"events":[{"event_id":15458,"event_type":"pith.integrity.v1","payload_sha256":"d000d2e473637b9b658899d6157d5f40fbce4b068aade5feee80eed05aaef676","signature_b64":"Eytx7OFbAsEFnEeXLFWeu09V8wkUvvV0mTZHG7Kh1qhf/QuDkBHc0gJQiafnnYocebcgvPRj3ZPsCN5bNsDEBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T08:23:35.829007+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.34727/2022/isbn.978-3-85448-053-2_10) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Andres Nötzli, Haniel Barbosa, Aina Niemetz, Mathias Preiner, Andrew Reynolds, Clark W. Barrett & Cesare Tinelli (2022): Reconstructing Fine-Grained Proofs of Rewrites Using a Domain-Specific Language . In: Formal Methods in Computer-Aided ","arxiv_id":"2607.21199","detector":"doi_compliance","evidence":{"ref_index":36,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.34727/2022/isbn.978-3-85448-","reconstructed_doi":"10.34727/2022/isbn.978-3-85448-053-2_10"},"severity":"advisory","ref_index":36,"audited_at":"2026-08-01T08:19:58.377654Z","event_type":"pith.integrity.v1","detected_doi":"10.34727/2022/isbn.978-3-85448-053-2_10","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"f61ba80afb1ea64f947892580befd3e0112d82f89794dfe18886428906992cde","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":15457,"event_type":"pith.integrity.v1","payload_sha256":"99b635ed27d07e5c57ffb26fe8d69d7ba7640cbf60a4110fc82f99fd40d0d4b9","signature_b64":"YxakSmMKaLg5uZb3IrEINq7aRl4oLxA7JYleC72Qv6gRfCj/nUf+zxutEO92wDXWYUU7HDIjntJnz8aDx3ZyDw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T08:23:35.683853+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/3-540-45241-9_12) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Monica L. Nogueira, Marcello Balduccini, Michael Gelfond, Richard Watson & Matthew Barry (2001): An A-Prolog Decision Support System for the Space Shuttle . In I. V . Ramakrishnan, editor: Practical Aspects of Declarative Languages, Third I","arxiv_id":"2607.21199","detector":"doi_compliance","evidence":{"ref_index":35,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/3-","reconstructed_doi":"10.1007/3-540-45241-9_12"},"severity":"advisory","ref_index":35,"audited_at":"2026-08-01T08:19:58.377654Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/3-540-45241-9_12","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"8caea765dd883dbf384b2c0dbba313a502055b1e3daf51941bde26299a9f01ab","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":15456,"event_type":"pith.integrity.v1","payload_sha256":"e30bcb0e81fdf38d118503a46d41c637b302e32fc25b14b48cf1d446532c9bcc","signature_b64":"qiXJ/yEx9SKxglmRoWDjQ7+WZtL5CKW7loffPINmyx9j2nCIkFr3reyF0whz2+FXCz4WplEkmWiiV/giMjmjBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T08:23:35.543912+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-08587-6_7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Marijn Heule, Martina Seidl & Armin Biere (2014): A Unified Proof System for QBF Preprocessing . In Stéphane Demri, Deepak Kapur & Christoph Weidenbach, editors: Automated Reasoning - 7th International Joint Conference, IJCAR 2014, Held as ","arxiv_id":"2607.21199","detector":"doi_compliance","evidence":{"ref_index":22,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-","reconstructed_doi":"10.1007/978-3-319-08587-6_7"},"severity":"advisory","ref_index":22,"audited_at":"2026-08-01T08:19:58.377654Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-319-08587-6_7","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"af3da91d7bb0f14b47973baafbaeae5659a7ffc14aae667104c1209b1c4459f1","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":15455,"event_type":"pith.integrity.v1","payload_sha256":"bf17f81d81efe8561d5a6fa054cb7ede9d4b018bdaadc7818ab4d8d302ac6500","signature_b64":"bcRZ6gYCnptt/xYKI82tV2rkdFu6PC2RSxEKIboF2KjnT0FQ9tEBkor2890LzcmsriCrZ2yJ5jUMNv36mnLOBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T08:23:35.239036+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/s10817-018-09502-y) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Haniel Barbosa, Jasmin Christian Blanchette, Mathias Fleury & Pascal Fontaine (2020): Scalable Fine- Grained Proofs for Formula Processing. J. Autom. Reason. 64(3), pp. 485–510, doi:10.1007/s10817-018- 09502-y","arxiv_id":"2607.21199","detector":"doi_compliance","evidence":{"ref_index":4,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/s10817-018-","reconstructed_doi":"10.1007/s10817-018-09502-y"},"severity":"advisory","ref_index":4,"audited_at":"2026-08-01T08:19:58.377654Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/s10817-018-09502-y","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"c271c4d4136bfe89c11a83a474c5dd9995d2316fef42b8874ff79340c3c56d10","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.21199/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}