{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.10314","arxiv_id":"2607.10314","integrity":{"available":true,"endpoint":"/pith/2607.10314/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-07-31T17:21:54.969682Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-07-30T15:12:08.145673Z","findings_count":3},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-07-21T07:59:40.751255Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-16T09:05:01.348720Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-15T22:20:28.433991Z","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/3-540-45931-6_24) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/3-540-45931-6_24","detected_arxiv_id":null,"ref_index":32,"audited_at":"2026-07-29T14:22:16.009525Z"},{"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.48550/arXiv.1603.08949) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.48550/arXiv.1603.08949","detected_arxiv_id":null,"ref_index":38,"audited_at":"2026-07-29T14:22:16.009525Z"},{"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.7551/mitpress/3054.001.0001 resolves to 'The Formal Semantics of Programming Languages'. A reader following the printed text alone cannot reach it.","detected_doi":"10.7551/mitpress/3054.001.0001","detected_arxiv_id":null,"ref_index":46,"audited_at":"2026-07-29T14:22:16.009525Z"},{"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/0022-0000(81) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1016/0022-0000(81","detected_arxiv_id":null,"ref_index":19,"audited_at":"2026-07-14T12:48:46.022779Z"}],"snapshot_sha256":"4a0bf8c13276b73087039986666d58e5257dd794984f66c4d1465770733c0324"},"events":[{"event_id":13725,"event_type":"pith.integrity.v1","payload_sha256":"6e6b5ca610c0e687af7f2f55b12cc25727a36ff3c3148babde350aec102fd93e","signature_b64":null,"signing_key_id":null,"created_at":"2026-07-29T14:26:14.546428+00:00","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.7551/mitpress/3054.001.0001 resolves to 'The Formal Semantics of Programming Languages'. A reader following the printed text alone cannot reach it.","snippet":"Glynn Winskel. 1993.The Formal Semantics of Programming Languages. The MIT Press. doi:10.7551/mitpress/3054.001. 0001","arxiv_id":"2607.10314","detector":"doi_compliance","evidence":{"ref_index":46,"verdict_class":"incontrovertible","resolved_title":"The Formal Semantics of Programming Languages","printed_excerpt":"10.7551/mitpress/3054.001","reconstructed_doi":"10.7551/mitpress/3054.001.0001"},"severity":"advisory","ref_index":46,"audited_at":"2026-07-29T14:22:16.009525Z","event_type":"pith.integrity.v1","detected_doi":"10.7551/mitpress/3054.001.0001","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"24d74b375eec9f30cf3f93dcf20bb2411b448ab253f99ab07fbf0b19c4aef0d7","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"The Formal Semantics of Programming Languages","detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":13724,"event_type":"pith.integrity.v1","payload_sha256":"0fa27dcca7bd5e78e98dc47e4dc2ded99e943656e7599d7e4b4292499fa20e4b","signature_b64":null,"signing_key_id":null,"created_at":"2026-07-29T14:26:14.468068+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.48550/arXiv.1603.08949) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Cláudio Vasconcelos and António Ravara. 2016. The While language. arXiv:1603.08949 [cs.PL] doi:10.48550/arXiv. 1603.08949","arxiv_id":"2607.10314","detector":"doi_compliance","evidence":{"ref_index":38,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.48550/arxiv","reconstructed_doi":"10.48550/arXiv.1603.08949"},"severity":"advisory","ref_index":38,"audited_at":"2026-07-29T14:22:16.009525Z","event_type":"pith.integrity.v1","detected_doi":"10.48550/arXiv.1603.08949","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"fb05b11b7eefe5dab6060b448a3ece7a731516d2e026b1cec692ec87fd5c4355","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":13723,"event_type":"pith.integrity.v1","payload_sha256":"21da143f99c741bec9865014b4fa5eb673373a7be7a8dedd16e4063cbacf5080","signature_b64":null,"signing_key_id":null,"created_at":"2026-07-29T14:26:14.359097+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/3-540-45931-6_24) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Gordon Plotkin and John Power. 2002. Notions of Computation Determine Monads. InFoundations of Software Science and Computation Structures (Lecture Notes in Computer Science, Vol. 2303). Springer, 373–393. doi:10.1007/3-540-45931- 6_24","arxiv_id":"2607.10314","detector":"doi_compliance","evidence":{"ref_index":32,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/3-540-45931-","reconstructed_doi":"10.1007/3-540-45931-6_24"},"severity":"advisory","ref_index":32,"audited_at":"2026-07-29T14:22:16.009525Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/3-540-45931-6_24","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"ab61bf952d61b2a85ddb8cd7c90e6c518b22f33a511abf09767f57603c63476d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":13334,"event_type":"pith.integrity.v1","payload_sha256":"479bf654ee9bacf5f7846c44654bdb47d09de3469e4a62a52e8f657ff49aeae8","signature_b64":"PBLnWjmFBT0422WFO8xtu5iY+gNmV5Wd6DY8VRhkxSQI4pB9/xbA7K9qDcZkrXlEi8ovUwJxm9BsHsQYPx8KAQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-14T12:51:14.312941+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/0022-0000(81) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Dexter Kozen. 1981. Semantics of Probabilistic Programs.J. Comput. System Sci.22, 3 (1981), 328–350. doi:10.1016/0022- 0000(81)90036-2","arxiv_id":"2607.10314","detector":"doi_compliance","evidence":{"ref_index":19,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Dexter Kozen. 1981. Semantics of Probabilistic Programs.J. Comput. System Sci.22, 3 (1981), 328–350. doi:10.1016/0022- 0000(81)90036-2","reconstructed_doi":"10.1016/0022-0000(81"},"severity":"advisory","ref_index":19,"audited_at":"2026-07-14T12:48:46.022779Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/0022-0000(81","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"bb22d08eff51b1b655fdc1dec13e9a04245db995d929aff7179b50b444ac601b","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.10314/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}