{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.23022","arxiv_id":"2605.23022","integrity":{"available":true,"endpoint":"/pith/2605.23022/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":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-06-05T06:26:38.095389Z","findings_count":1},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-06-05T05:36:09.324615Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-06-01T05:37:14.576680Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-28T17:04:54.524184Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"completed","ran_at":"2026-05-25T23:52:12.073660Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-05-25T16:54:07.527849Z","findings_count":0}],"findings":[{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.5555/1939141.1939161' 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.5555/1939141.1939161","detected_arxiv_id":null,"ref_index":51,"audited_at":"2026-05-25T05:20:08.493970Z"}],"snapshot_sha256":"310702c94aa6117d40a318969409c1a37ebebcbcd83737a5826265d1fed42bb9"},"events":[{"event_id":7393,"event_type":"pith.integrity.v1","payload_sha256":"375b90307a470b3787bd75326c683e71b9bfd74c5de3d37dabc6763cf77c4b66","signature_b64":"rMkN4izt/7he1QvpxeQ1LPqGV8yKgpkIHZnHItX2ADL1Al9zdBp/m2ZW1hu9o8+u8FryQp9Lr0bzoslCgv3+BA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-25T05:24:53.386233+00:00","payload":{"note":"Identifier '10.5555/1939141.1939161' 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":"K. Rustan M. Leino. 2010. Dafny: An Automatic Program Verifier for Functional Correctness. InProceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(Dakar, Senegal)(LPAR’10). Springe","arxiv_id":"2605.23022","detector":"doi_compliance","evidence":{"doi":"10.5555/1939141.1939161","arxiv_id":null,"ref_index":51,"raw_excerpt":"K. Rustan M. Leino. 2010. Dafny: An Automatic Program Verifier for Functional Correctness. InProceedings of the 16th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning(Dakar, Senegal)(LPAR’10). Springer-Verlag, Berlin, Heidelberg, 348–370. doi:10.5555/1939141.1939161","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":51,"audited_at":"2026-05-25T05:20:08.493970Z","event_type":"pith.integrity.v1","detected_doi":"10.5555/1939141.1939161","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"23cbe7f0c3c81309641b506803e2668b764db22defb7ace97577c21012cb8d94","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.23022/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}