{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2608.13459","arxiv_id":"2608.13459","integrity":{"available":true,"endpoint":"/pith/2608.13459/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-08-15T11:08:27.537721Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-15T10:58:08.394334Z","findings_count":1},{"name":"external_links","version":"1.0.0","status":"completed","ran_at":"2026-08-15T09:08:26.390588Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-15T01:28:03.650493Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-08-15T01:08:38.604749Z","findings_count":0},{"name":"shingle_duplication","version":"0.1.0","status":"skipped","ran_at":"2026-08-14T11:08:13.412423Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-14T01:08:39.379012Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-08-14T01:08:08.144089Z","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.1016/j.scico.2020.102510 resolves to 'Unifying semantic foundations for automated verification tools in Isabelle/UTP'. A reader following the printed text alone cannot reach it.","detected_doi":"10.1016/j.scico.2020.102510","detected_arxiv_id":null,"ref_index":2,"audited_at":"2026-08-14T10:58:05.382900Z"}],"snapshot_sha256":"931a08e7d4880836325318ed53343aa58edb6d1a91a2f07597bd6a4d69af9407"},"events":[{"event_id":19701,"event_type":"pith.integrity.v1","payload_sha256":"8bc71eda9527e91d59989607a2fb4bc061760caf5e0406ed447dac1be22d60d3","signature_b64":"HcKqdzwmzHN8ZDy+MWw4va+lt3N8OhHvIvuoYlL7JQphLXWN/sFMpyqEY1mkT7No/22kM+x+UBaV4SLfFWG9CA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-14T10:58:33.611215+00:00","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1016/j.scico.2020.102510 resolves to 'Unifying semantic foundations for automated verification tools in Isabelle/UTP'. A reader following the printed text alone cannot reach it.","snippet":"Foster, S., Baxter, J., Cavalcanti, A., Woodcock, J., Zeyda, F.: Unifying semantic foundations for automated verification tools in Isabelle/UTP. Science of Com- puterProgramming197,102510(2020). https://doi.org/10.1016/j.scico.2020. 102510","arxiv_id":"2608.13459","detector":"doi_compliance","evidence":{"ref_index":2,"verdict_class":"incontrovertible","resolved_title":"Unifying semantic foundations for automated verification tools in Isabelle/UTP","printed_excerpt":"10.1016/j.scico.2020","reconstructed_doi":"10.1016/j.scico.2020.102510"},"severity":"advisory","ref_index":2,"audited_at":"2026-08-14T10:58:05.382900Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/j.scico.2020.102510","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"2883092b048d778454a74c8897728b751d7244c82de26ed4b4ec7f96fc5957ac","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Unifying semantic foundations for automated verification tools in Isabelle/UTP","detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2608.13459/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}