{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.07151","arxiv_id":"2607.07151","integrity":{"available":true,"endpoint":"/pith/2607.07151/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_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-07-19T21:34:53.861339Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-07-16T09:02:16.993488Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-07-15T20:26:26.344785Z","findings_count":1},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-15T15:44:44.161682Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"completed","ran_at":"2026-07-09T19:58:10.391858Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-09T16:18:31.351342Z","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.46298/LMCS-21(1:28) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.46298/LMCS-21(1:28","detected_arxiv_id":null,"ref_index":7,"audited_at":"2026-07-09T19:49:12.289259Z"}],"snapshot_sha256":"eea739e56013dd3afc0ccac55d097d7baec101091c717f724297c39fd4399505"},"events":[{"event_id":10541,"event_type":"pith.integrity.v1","payload_sha256":"b69e32e6e0e5f21d7d76c33bb2d92c32567d61f8b9c7b6de6456d64b81d84b30","signature_b64":"iIbn0fbFMfkObKknzlffASzJYMWvT7sr9FkY0zUks/dfoHPHcxX/8osBlOskVDgoOCbh9TnL31RkeJSSIYj4Cw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-09T19:53:12.194562+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.46298/LMCS-21(1:28) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"URL:https://doi.org/10.46298/lmcs-21(1: 28)2025,doi:10.46298/LMCS-21(1:28)2025. 14 Krishnendu Chatterjee. Optimal strategy synthesis in stochastic Müller games. In Helmut Seidl, editor,Proceedings of the 10th International Conference on Fou","arxiv_id":"2607.07151","detector":"doi_compliance","evidence":{"ref_index":7,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"URL:https://doi.org/10.46298/lmcs-21(1: 28)2025,doi:10.46298/LMCS-21(1:28)2025. 14 Krishnendu Chatterjee. Optimal strategy synthesis in stochastic Müller games. In Helmut Seidl, editor,Proceedings of the 10th International Conference on Fou","reconstructed_doi":"10.46298/LMCS-21(1:28"},"severity":"advisory","ref_index":7,"audited_at":"2026-07-09T19:49:12.289259Z","event_type":"pith.integrity.v1","detected_doi":"10.46298/LMCS-21(1:28","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"8fde81f838400912ac4230c8ab54c5f02b144f71eed86aa6112cbae8adf44248","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.07151/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}