{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.27387","arxiv_id":"2607.27387","integrity":{"available":true,"endpoint":"/pith/2607.27387/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":"skipped","ran_at":"2026-08-07T05:09:37.787845Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-06T11:38:52.988373Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-06T09:30:24.396311Z","findings_count":1},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-05T20:28:15.241385Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-31T01:21:07.984746Z","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.46298/lmcs-20(2:16)2024) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.46298/lmcs-20(2:16)2024","detected_arxiv_id":null,"ref_index":50,"audited_at":"2026-08-01T08:38:15.480708Z"}],"snapshot_sha256":"909e2e385022d5420885eedfc3131a59eddded9ad962200c8767b8a351149b7a"},"events":[{"event_id":15486,"event_type":"pith.integrity.v1","payload_sha256":"8979209607689f5d0d95d241013e3067db3a1e74e4582ccfaaa61710b085b4e8","signature_b64":"LofLsmyFhQYrmlYH9mL5JMMOq3L00LapQxcHspFPtByRcHdzyYXnKUKyWrYsfjJfRytzjSeEeUUrESxjimg8Cw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T08:38:32.706977+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.46298/lmcs-20(2:16)2024) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Andreas Nuyts and Dominique Devriese. Transpension: The right adjoint to the pi-type. Logical Methods in Computer Science, 20(2):16:1–16:54, 2024. doi: 10.46298/lmcs-20(2: 16)2024","arxiv_id":"2607.27387","detector":"doi_compliance","evidence":{"ref_index":50,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.46298/lmcs-20(2:","reconstructed_doi":"10.46298/lmcs-20(2:16)2024"},"severity":"advisory","ref_index":50,"audited_at":"2026-08-01T08:38:15.480708Z","event_type":"pith.integrity.v1","detected_doi":"10.46298/lmcs-20(2:16)2024","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"327a174900a01d5ac0a7a3f172c5332a60702f9d791bb81a97734ac1f4bc7447","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.27387/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}