{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.15390","arxiv_id":"2605.15390","integrity":{"available":true,"endpoint":"/pith/2605.15390/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":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-20T15:34:12.505598Z","findings_count":1},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-20T15:31:25.488975Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-20T14:22:04.758354Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"completed","ran_at":"2026-05-19T15:50:57.408336Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-05-19T13:33:22.723293Z","findings_count":0}],"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.2168/LMCS-10(4:13) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.2168/LMCS-10(4:13","detected_arxiv_id":null,"ref_index":54,"audited_at":"2026-05-19T15:22:36.528543Z"}],"snapshot_sha256":"aaf32095052e0db865775175d37b0e4c2b2c38f82b8624129433e79cd8eb243e"},"events":[{"event_id":1842,"event_type":"pith.integrity.v1","payload_sha256":"67266a8e41c96ad1ac1bb09b15977fffe7763f15021bfc76264e43556cabdae6","signature_b64":"0dh7vHNejuWAybV8EGLY4lo+8TCpNUVyyAVILRGspv7ZmXe6bYhxTNEYVLUlcrKIAHUUy9K+ZcO+S/2N9pHbBg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T15:27:10.264721+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.2168/LMCS-10(4:13) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Tsai, M., Fogarty, S., Vardi, M.Y., Tsay, Y.: State of B¨ uchi complementation. Log. Methods Comput. Sci.10(4) (2014).https://doi.org/10.2168/LMCS-10(4: 13)2014,https://doi.org/10.2168/LMCS-10(4:13)2014 17","arxiv_id":"2605.15390","detector":"doi_compliance","evidence":{"ref_index":54,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Tsai, M., Fogarty, S., Vardi, M.Y., Tsay, Y.: State of B¨ uchi complementation. Log. Methods Comput. Sci.10(4) (2014).https://doi.org/10.2168/LMCS-10(4: 13)2014,https://doi.org/10.2168/LMCS-10(4:13)2014 17","reconstructed_doi":"10.2168/LMCS-10(4:13"},"severity":"advisory","ref_index":54,"audited_at":"2026-05-19T15:22:36.528543Z","event_type":"pith.integrity.v1","detected_doi":"10.2168/LMCS-10(4:13","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"2103f767cc042ab8c38d459ff14f6249f415fd7c71b1dac8277d78da14a37236","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.15390/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}