{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.08988","arxiv_id":"2607.08988","integrity":{"available":true,"endpoint":"/pith/2607.08988/integrity.json","summary":{"critical":0,"advisory":1,"informational":0,"by_detector":{"doi_compliance":{"total":1,"critical":0,"advisory":1,"informational":0}}},"clean":false,"detectors_run":[{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-07-29T22:21:44.776329Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-07-21T02:32:44.802402Z","findings_count":1},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-07-20T00:51:45.593552Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-16T19:05:11.477414Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"completed","ran_at":"2026-07-13T17:57:03.737847Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-13T11:19:42.938338Z","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/1151398848) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/1151398848","detected_arxiv_id":null,"ref_index":8,"audited_at":"2026-07-13T01:21:27.620463Z"}],"snapshot_sha256":"17e000247c8a6f9c6de09ef271301c1032570ed19f884a412c2cf55d798b03f8"},"events":[{"event_id":12785,"event_type":"pith.integrity.v1","payload_sha256":"3e77b6b15423c4930b19b231f7bbefe72dd05a89cd80be2b637043fa53b069fe","signature_b64":"muzuVFlBQ0xEYbJzyzuWGH5Y9em6XZ4OrZ5/Q5CXxlC3mjvUCl/ELZIW5whzlBIbFylnvb0VeHehSzTi/cYjBw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-13T01:23:36.436621+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/1151398848) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"A. R. Bradley, Z. Manna, and H. B. Sipma, “Linear ranking with reachability,” inProceedings of the 17th International Conference on Computer Aided Verification, ser. CA V’05. Berlin, Heidelberg: Springer-Verlag, 2005, p. 491–504. [Online]. ","arxiv_id":"2607.08988","detector":"doi_compliance","evidence":{"ref_index":8,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"A. R. Bradley, Z. Manna, and H. B. Sipma, “Linear ranking with reachability,” inProceedings of the 17th International Conference on Computer Aided Verification, ser. CA V’05. Berlin, Heidelberg: Springer-Verlag, 2005, p. 491–504. [Online]. ","reconstructed_doi":"10.1007/1151398848"},"severity":"advisory","ref_index":8,"audited_at":"2026-07-13T01:21:27.620463Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/1151398848","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"d8abe2fc57cc0210215f016b1ecdc07db4f1d8ab7053a504b9b99c8abad5a452","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.08988/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}