{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.09347","arxiv_id":"2605.09347","integrity":{"available":true,"endpoint":"/pith/2605.09347/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":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-20T08:02:04.178343Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-19T19:37:03.614066Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-19T13:01:18.562306Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-19T10:20:10.751391Z","findings_count":1}],"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.1109/iccad.2003.1257732doi:10.1109/ICCAD.2003.1257732) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1109/iccad.2003.1257732doi:10.1109/ICCAD.2003.1257732","detected_arxiv_id":null,"ref_index":36,"audited_at":"2026-05-19T10:20:10.751391Z"}],"snapshot_sha256":"f7f927486dbdd5f5201bb3b8afcf2d4b398296b84d9a2de443527a722297803f"},"events":[{"event_id":793,"event_type":"pith.integrity.v1","payload_sha256":"b424d486c15a2116a29fd27830ba4988f597d77226784381874daa84b3babd53","signature_b64":"RwqgzqOpyjK/OKDYfZqhYTzbn+cZdyQaaTkp/0hk7VkdoB4lon13K2ytCNJ3h0v/5aOMsyqLLdpKjwWr2iYhBQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T10:21:58.936149+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1109/iccad.2003.1257732doi:10.1109/ICCAD.2003.1257732) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Cong Liu, Andreas Kuehlmann, and Matthew W. Moskewicz. CAMA: A multi-valued satisfiability solver. In 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003 , pages 326--333. IEEE Computer","arxiv_id":"2605.09347","detector":"doi_compliance","evidence":{"ref_index":36,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Cong Liu, Andreas Kuehlmann, and Matthew W. Moskewicz. CAMA: A multi-valued satisfiability solver. In 2003 International Conference on Computer-Aided Design, ICCAD 2003, San Jose, CA, USA, November 9-13, 2003 , pages 326--333. IEEE Computer","reconstructed_doi":"10.1109/iccad.2003.1257732doi:10.1109/ICCAD.2003.1257732"},"severity":"advisory","ref_index":36,"audited_at":"2026-05-19T10:20:10.751391Z","event_type":"pith.integrity.v1","detected_doi":"10.1109/iccad.2003.1257732doi:10.1109/ICCAD.2003.1257732","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"b2e9d4d5449534c92fa044f11f7f10fd18ad18f7b8068d433f4a7355563989ac","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.09347/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}