{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.02132","arxiv_id":"2605.02132","integrity":{"available":true,"endpoint":"/pith/2605.02132/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":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-20T16:37:26.474818Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-20T04:01:22.581133Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-19T16:39:16.868572Z","findings_count":1}],"findings":[{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.5555/271101.271124' 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/271101.271124","detected_arxiv_id":null,"ref_index":53,"audited_at":"2026-05-19T16:39:16.868572Z"}],"snapshot_sha256":"a6bc477c9ea9a0611f7f63b174aa35c12cb6d64afbbb58b8a2a1bb4545a9c46f"},"events":[{"event_id":2086,"event_type":"pith.integrity.v1","payload_sha256":"53b3f444cdbc3730d59816af83dd980e00fb7b44fab3d2d2129a0515bc7caa18","signature_b64":"G9cUT7siCx2LPLFpTgchHdBiytUrkp/KG0Gg7L7i0oE0LS52C0EXRbsmtWeLvsR4Q+1/fD/MnuGBHNpBPgopDA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T16:42:13.452869+00:00","payload":{"note":"Identifier '10.5555/271101.271124' 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":"H. Zhang, Specifying Latin square problems in propositional logic, in: Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, MIT Press, Cambridge, MA, USA, 1997, p. 115–146. URL: https://dl.acm.org/doi/10.5555/271101.27112","arxiv_id":"2605.02132","detector":"doi_compliance","evidence":{"doi":"10.5555/271101.271124","arxiv_id":null,"ref_index":53,"raw_excerpt":"H. Zhang, Specifying Latin square problems in propositional logic, in: Automated Reasoning and Its Applications: Essays in Honor of Larry Wos, MIT Press, Cambridge, MA, USA, 1997, p. 115–146. URL: https://dl.acm.org/doi/10.5555/271101.271124","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":53,"audited_at":"2026-05-19T16:39:16.868572Z","event_type":"pith.integrity.v1","detected_doi":"10.5555/271101.271124","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"2e0eeeb694a39af4c7697215c9ef4f2a5c556462f6546e6bae2dd40c2da4f799","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.02132/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}