{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2608.01982","arxiv_id":"2608.01982","integrity":{"available":true,"endpoint":"/pith/2608.01982/integrity.json","summary":{"critical":0,"advisory":2,"informational":0,"by_detector":{"doi_compliance":{"total":2,"critical":0,"advisory":2,"informational":0}}},"clean":false,"detectors_run":[{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-06T18:08:48.472426Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-06T17:48:25.158531Z","findings_count":2},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-06T06:28:04.804662Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-08-04T17:08:43.602371Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-08-04T12:38:05.827436Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-04T04:08:45.690064Z","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.JLAP.2010.03.012 resolves to 'An overview of the K semantic framework'. A reader following the printed text alone cannot reach it.","detected_doi":"10.1016/J.JLAP.2010.03.012","detected_arxiv_id":null,"ref_index":20,"audited_at":"2026-08-04T17:28:10.339534Z"},{"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.2205.08762) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.48550/arXiv.2205.08762","detected_arxiv_id":null,"ref_index":9,"audited_at":"2026-08-04T17:28:10.339534Z"}],"snapshot_sha256":"9e07e8d281295fb55dff14d5d73419ea6ba44f4c50243b52ecdc7e6d5daf33a0"},"events":[{"event_id":17919,"event_type":"pith.integrity.v1","payload_sha256":"4f1b786bab401465983facb4bef6d09917b6a71f5e15890112c5678d6e5fd0f6","signature_b64":"nEFvSfUMgeod7dbdV6EsJvhkRiQXPxQXp41K/17G7ggdxoU4k7pMDRGyq3asvvarrq7o2gxAYhzbLSnBgmcIDQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-04T17:28:32.780162+00:00","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1016/J.JLAP.2010.03.012 resolves to 'An overview of the K semantic framework'. A reader following the printed text alone cannot reach it.","snippet":"Rosu, G., Serbanuta, T.: An overview of the K semantic framework. J. Log. Alge- braic Methods Program.79(6), 397–434 (2010). https://doi.org/10.1016/J.JLAP. 2010.03.012","arxiv_id":"2608.01982","detector":"doi_compliance","evidence":{"ref_index":20,"verdict_class":"incontrovertible","resolved_title":"An overview of the K semantic framework","printed_excerpt":"10.1016/j.jlap","reconstructed_doi":"10.1016/J.JLAP.2010.03.012"},"severity":"advisory","ref_index":20,"audited_at":"2026-08-04T17:28:10.339534Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/J.JLAP.2010.03.012","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"aaf5d154272a4579eb69f99a0428ebcf92793a2a5c801b22887cc4ed27d58f2d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"An overview of the K semantic framework","detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":17918,"event_type":"pith.integrity.v1","payload_sha256":"951164dab9f7f28267973982b22961361f8e96bfedbb72eefc3b54c0059b869f","signature_b64":"lMOe4CXn+gBarhM5/I7L3s43vsaAAheaNoANeLrznEgnXKDGhcdNQSzM0kujkdx+b2ScT6Gs9qH9W6ljzfwLAg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-04T17:28:32.457702+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.48550/arXiv.2205.08762) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Doenges, R., Kappé, T., Sarracino, J., Foster, N., Morrisett, G.: Leapfrog: certi- fied equivalence for protocol parsers (2022). https://doi.org/10.48550/arXiv.2205. 08762, full version including proofs","arxiv_id":"2608.01982","detector":"doi_compliance","evidence":{"ref_index":9,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.48550/arxiv.2205","reconstructed_doi":"10.48550/arXiv.2205.08762"},"severity":"advisory","ref_index":9,"audited_at":"2026-08-04T17:28:10.339534Z","event_type":"pith.integrity.v1","detected_doi":"10.48550/arXiv.2205.08762","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"ea4cd503c0e895ca066cd244cd81c34dfadc86468f1edcf69659f5ca512eff5c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2608.01982/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}