{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.12372","arxiv_id":"2605.12372","integrity":{"available":true,"endpoint":"/pith/2605.12372/integrity.json","summary":{"critical":2,"advisory":1,"informational":0,"by_detector":{"doi_compliance":{"total":3,"critical":2,"advisory":1,"informational":0}}},"clean":false,"detectors_run":[{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-20T13:31:25.130763Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-20T09:47:20.476725Z","findings_count":3},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-19T22:41:58.234651Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-19T10:37:07.866739Z","findings_count":0}],"findings":[{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.5555/2540128.2540252' 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/2540128.2540252","detected_arxiv_id":null,"ref_index":17,"audited_at":"2026-05-19T07:36:49.925220Z"},{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.5555/2832415.2832466' 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/2832415.2832466","detected_arxiv_id":null,"ref_index":18,"audited_at":"2026-05-19T07:36:49.925220Z"},{"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.1007/978-3-540-45138-926) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-540-45138-926","detected_arxiv_id":null,"ref_index":10,"audited_at":"2026-05-19T07:36:49.925220Z"}],"snapshot_sha256":"3f96d1a4da89073d6f6aea8b0aa663487532a6a9910dab709c3715cb34b3e775"},"events":[{"event_id":323,"event_type":"pith.integrity.v1","payload_sha256":"b6482e402060c19cdc31aa0769ac3c69541567900997fc6b8f3c2d647e18dc64","signature_b64":"djh7zT1KwXQaVAIS32fmZUFraURu8qP17PS2C3DmBhD2lHweSJdTxRxYhr3rsNaYQlZc/lC3TnmrpkMtUsXsAA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T07:36:54.914708+00:00","payload":{"note":"Identifier '10.5555/2832415.2832466' 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":"De Giacomo, G., Vardi, M.Y .: Synthesis for LTL and LDL on finite traces. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI’15). pp. 1558–1564. AAAI Press (2015). https://doi.org/10.5555/2832415.28","arxiv_id":"2605.12372","detector":"doi_compliance","evidence":{"doi":"10.5555/2832415.2832466","arxiv_id":null,"ref_index":18,"raw_excerpt":"De Giacomo, G., Vardi, M.Y .: Synthesis for LTL and LDL on finite traces. In: Proceedings of the 24th International Joint Conference on Artificial Intelligence (IJCAI’15). pp. 1558–1564. AAAI Press (2015). https://doi.org/10.5555/2832415.2832466","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":18,"audited_at":"2026-05-19T07:36:49.925220Z","event_type":"pith.integrity.v1","detected_doi":"10.5555/2832415.2832466","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"62f3ac8115ccf9b39bfd9b5927518a515c3d293db9ea8087c06f73538ff6ebc4","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":322,"event_type":"pith.integrity.v1","payload_sha256":"c6f65f10406f7f5ab36cafdc063733fb47ac25a15fc54a300a43b890bf7f3e29","signature_b64":"7uk3sAxzaBZtAO9nsmk++EkXvhk3+FtdyohNCMGLKllAJ8KXtuCbSrnSkIjfj+RAoYq0v7rWOxBds4zQGmPCCQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T07:36:54.909872+00:00","payload":{"note":"Identifier '10.5555/2540128.2540252' 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":"De Giacomo, G., Vardi, M.Y .: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJ- CAI’13). pp. 854–860. AAAI Press (Aug 2013). https://d","arxiv_id":"2605.12372","detector":"doi_compliance","evidence":{"doi":"10.5555/2540128.2540252","arxiv_id":null,"ref_index":17,"raw_excerpt":"De Giacomo, G., Vardi, M.Y .: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the 23rd International Joint Conference on Artificial Intelligence (IJ- CAI’13). pp. 854–860. AAAI Press (Aug 2013). https://doi.org/10.5555/2540128.2540252","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"]},"severity":"critical","ref_index":17,"audited_at":"2026-05-19T07:36:49.925220Z","event_type":"pith.integrity.v1","detected_doi":"10.5555/2540128.2540252","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"e00133d89ebf31ec8864ced0315038c88c13e2df6c20be649d1b6d9ada1918e4","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":321,"event_type":"pith.integrity.v1","payload_sha256":"b8b115c19fb157209955d847cbfec547a85b43aec16329c71cd836affbf6285d","signature_b64":"P+xPDdJ+1VxzAdUoTlWSqSAFeepNiyy1vH3wFWutvKu7t+dULCCKt5FP3ol6nvSzqqhyPjvNIDkRwhCsfnT3Ag==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T07:36:54.906125+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-45138-926) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"ˇCern´a, I., Pel ´anek, R.: Relating hierarchy of temporal properties to model checking. In: Rovan, B., V ojt´aˇa, P. (eds.) Proceedings of the 28th International Symposium on Math- ematical Foundations of Computer Science (MFCS’03). Lectur","arxiv_id":"2605.12372","detector":"doi_compliance","evidence":{"ref_index":10,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"ˇCern´a, I., Pel ´anek, R.: Relating hierarchy of temporal properties to model checking. In: Rovan, B., V ojt´aˇa, P. (eds.) Proceedings of the 28th International Symposium on Math- ematical Foundations of Computer Science (MFCS’03). Lectur","reconstructed_doi":"10.1007/978-3-540-45138-926"},"severity":"advisory","ref_index":10,"audited_at":"2026-05-19T07:36:49.925220Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-540-45138-926","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"20850e82f9a98e3b8004f896e7ff18a81632ec4efbb0fa0e3022d0397744608d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.12372/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}