{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2604.26400","arxiv_id":"2604.26400","integrity":{"available":true,"endpoint":"/pith/2604.26400/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":"completed","ran_at":"2026-05-21T00:37:25.391252Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-19T20:11:48.589342Z","findings_count":2}],"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-7091-9459-1_20.21) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-7091-9459-1_20.21","detected_arxiv_id":null,"ref_index":42,"audited_at":"2026-05-19T20:11:48.589342Z"},{"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.1016/S0747-7171(88) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1016/S0747-7171(88","detected_arxiv_id":null,"ref_index":21,"audited_at":"2026-05-19T20:11:48.589342Z"}],"snapshot_sha256":"5850dba0b3362159f67bb9346c085f96e8c85d66afc12a6bee7dda33d64c0cc0"},"events":[{"event_id":2835,"event_type":"pith.integrity.v1","payload_sha256":"2132f2597fbea26ee7964ef53cd9f514df831f5b9cc03472f516242f026e02dd","signature_b64":"YgpRAT65AG9AyWBDMLZdgpV1urlh4vo0HbGyGEPUmDdJovkcQLeJotE18HRc0/T1pQdQZB/790jrtuHitPOhAg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T20:12:20.949595+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/S0747-7171(88) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"D. Yu. Grigoriev. Complexity of deciding Tarski algebra.Journal of Sym- bolic Computation, 5(1–2):65–108, February–April 1988. doi:10.1016/S0747- 7171(88)80006-3","arxiv_id":"2604.26400","detector":"doi_compliance","evidence":{"ref_index":21,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"D. Yu. Grigoriev. Complexity of deciding Tarski algebra.Journal of Sym- bolic Computation, 5(1–2):65–108, February–April 1988. doi:10.1016/S0747- 7171(88)80006-3","reconstructed_doi":"10.1016/S0747-7171(88"},"severity":"advisory","ref_index":21,"audited_at":"2026-05-19T20:11:48.589342Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/S0747-7171(88","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"8ddcb4eba21376e2cb6da249fa65ba5097c9b863ee0a29978b566f83a10443a9","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":2834,"event_type":"pith.integrity.v1","payload_sha256":"a0a9787299295dcdf124ee2d4712adb6297907eec37dd88291594525d935c552","signature_b64":"4I5oZkAWQmLehkE/Ee4lwp7wkJHwmoFUjanksdIi1yLnoI/CA1/ObURkwLGNO0E5IVsHzB5TAmkULO9qugPjBQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T20:12:20.947999+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-7091-9459-1_20.21) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Volker Weispfenning. A new approach to quantifier elimination for real algebra. In B. F. Caviness and J. R. Johnson, editors,Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, pages","arxiv_id":"2604.26400","detector":"doi_compliance","evidence":{"ref_index":42,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Volker Weispfenning. A new approach to quantifier elimination for real algebra. In B. F. Caviness and J. R. Johnson, editors,Quantifier Elimination and Cylindrical Algebraic Decomposition, Texts and Monographs in Symbolic Computation, pages","reconstructed_doi":"10.1007/978-3-7091-9459-1_20.21"},"severity":"advisory","ref_index":42,"audited_at":"2026-05-19T20:11:48.589342Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-7091-9459-1_20.21","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"128bceb6b2cefb234aa2a62d451cef13a1feb281d73a23ec329f3b5e4831f944","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2604.26400/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}