{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.02113","arxiv_id":"2605.02113","integrity":{"available":true,"endpoint":"/pith/2605.02113/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":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-20T16:37:43.568836Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-20T04:01:22.656262Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-19T16:39:51.109909Z","findings_count":1}],"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.1016/j.tcs.2005.06.002appliedSemantics) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1016/j.tcs.2005.06.002appliedSemantics","detected_arxiv_id":null,"ref_index":1,"audited_at":"2026-05-19T16:39:51.109909Z"}],"snapshot_sha256":"fba80c66be051bcbf72f7f00e41c09e2a89017011b4a963aacc7c857a0ba541a"},"events":[{"event_id":2087,"event_type":"pith.integrity.v1","payload_sha256":"4cc446bf07e43bef75da95cd369cf16862c990907f759bed6d683aa8e8a4b33f","signature_b64":"YtynctmRBB+ulfGEk1Ei+LqLy9bEz9QWJm6mjNcvL62TsgEHXsCfi4jDZbhK8ATXAUtHqxhPb6AgUX0dyx9YAQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T16:42:13.453969+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/j.tcs.2005.06.002appliedSemantics) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Michael Abbott, Thorsten Altenkirch, and Neil Ghani. 2005. Contain- ers: Constructing strictly positive types.Theoretical Computer Science 342, 1 (2005), 3 – 27. doi:10.1016/j.tcs.2005.06.002Applied Semantics: Selected Topics","arxiv_id":"2605.02113","detector":"doi_compliance","evidence":{"ref_index":1,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Michael Abbott, Thorsten Altenkirch, and Neil Ghani. 2005. Contain- ers: Constructing strictly positive types.Theoretical Computer Science 342, 1 (2005), 3 – 27. doi:10.1016/j.tcs.2005.06.002Applied Semantics: Selected Topics","reconstructed_doi":"10.1016/j.tcs.2005.06.002appliedSemantics"},"severity":"advisory","ref_index":1,"audited_at":"2026-05-19T16:39:51.109909Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/j.tcs.2005.06.002appliedSemantics","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"dad236799a3cb9a3367c89b765ed44d23e692d26e991d608ee083d72d71e4f2e","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.02113/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}