{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.07758","arxiv_id":"2605.07758","integrity":{"available":true,"endpoint":"/pith/2605.07758/integrity.json","summary":{"critical":1,"advisory":0,"informational":0,"by_detector":{"doi_compliance":{"total":1,"critical":1,"advisory":0,"informational":0}}},"clean":false,"detectors_run":[{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-20T10:22:02.789283Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-20T05:34:25.005174Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-19T16:01:18.313010Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-19T11:33:32.424601Z","findings_count":1}],"findings":[{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.1145/3808318' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","detected_doi":"10.1145/3808318","detected_arxiv_id":null,"ref_index":34,"audited_at":"2026-05-19T11:33:32.424601Z"}],"snapshot_sha256":"404dc81860d684882b285cdd80c7e299f1a6790bf2d67c45cb7fa5f7df79ffa4"},"events":[{"event_id":1100,"event_type":"pith.integrity.v1","payload_sha256":"1b456f5c895e04f12b5ad008a41127dfd5a51e044d9156f27f45b8632f519697","signature_b64":"xmXz6zNFdtrDNrMVHvA3/e7utdcj3TkHj3p1IXrPjS3xJ0zujiQsygPyoLTEvDaoQ2Rh5VCBw7Nlw3Aq+pgrCg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T11:37:01.976290+00:00","payload":{"note":"Identifier '10.1145/3808318' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"Suárez Acevedo, E., Ferreira, T., Batz, K., Bøving, O., Foster, N., Silva, A.: Weighted NetKAT: A programming language for quantitative network verifica- tion. Proceedings of the ACM on Programming Languages10(PLDI) (Jun 2026). https://doi.","arxiv_id":"2605.07758","detector":"doi_compliance","evidence":{"doi":"10.1145/3808318","arxiv_id":null,"ref_index":34,"raw_excerpt":"Suárez Acevedo, E., Ferreira, T., Batz, K., Bøving, O., Foster, N., Silva, A.: Weighted NetKAT: A programming language for quantitative network verifica- tion. Proceedings of the ACM on Programming Languages10(PLDI) (Jun 2026). https://doi.org/10.1145/3808318","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":34,"audited_at":"2026-05-19T11:33:32.424601Z","event_type":"pith.integrity.v1","detected_doi":"10.1145/3808318","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"4c21e97046e46dff757f9b6dfd91ad6c75614726732b99c65d855f3e739b1dd6","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.07758/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}