{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.13981","arxiv_id":"2607.13981","integrity":{"available":true,"endpoint":"/pith/2607.13981/integrity.json","summary":{"critical":1,"advisory":1,"informational":0,"by_detector":{"doi_compliance":{"total":2,"critical":1,"advisory":1,"informational":0}}},"clean":false,"detectors_run":[{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-03T03:40:17.073466Z","findings_count":2},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-02T23:38:59.293350Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-07-30T08:51:47.144722Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-23T21:22:49.538753Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-22T13:09:14.365890Z","findings_count":0},{"name":"external_links","version":"1.0.0","status":"completed","ran_at":"2026-07-16T23:34:00.710184Z","findings_count":0},{"name":"shingle_duplication","version":"0.1.0","status":"skipped","ran_at":"2026-07-16T09:53:38.848644Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-07-16T03:56:57.769808Z","findings_count":0}],"findings":[{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1016/J.JLAP.2008.08.004 resolves to 'A brief account of runtime verification'. A reader following the printed text alone cannot reach it.","detected_doi":"10.1016/J.JLAP.2008.08.004","detected_arxiv_id":null,"ref_index":12,"audited_at":"2026-08-02T03:29:26.632061Z"},{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.1109/tsmca.2005' 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.1109/tsmca.2005","detected_arxiv_id":null,"ref_index":15,"audited_at":"2026-08-02T03:29:26.632061Z"}],"snapshot_sha256":"78e92be554664193c98674d3b25adff32fdb2ecf62d081acb3719891cffdbb33"},"events":[{"event_id":17138,"event_type":"pith.integrity.v1","payload_sha256":"76580f4b631e780c17dac2e57fbfc7161b9ba21b6754c69501d61be71e888194","signature_b64":"OCXWbyfT5Nh3GtNnONeTl6iXPohwqgFre0UYgDio+rmQfT2y0b1JC6FbVbolQchiKo83s8dJ2YoNgkpUSqSrBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-02T03:33:30.775816+00:00","payload":{"note":"Identifier '10.1109/tsmca.2005' 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":"doi:10.1109/TSMCA.2005. 853503. 22 Meera Sampath, Raja Sengupta, Stéphane Lafortune, Kasim Sinnamohideen, and Demosthenis Teneketzis. Diagnosability of discrete-event systems.IEEE Trans. Autom. Control., 40(9):1555– 1575, 1995.doi:10.1109/9","arxiv_id":"2607.13981","detector":"doi_compliance","evidence":{"doi":"10.1109/tsmca.2005","arxiv_id":null,"ref_index":15,"raw_excerpt":"doi:10.1109/TSMCA.2005. 853503. 22 Meera Sampath, Raja Sengupta, Stéphane Lafortune, Kasim Sinnamohideen, and Demosthenis Teneketzis. Diagnosability of discrete-event systems.IEEE Trans. Autom. Control., 40(9):1555– 1575, 1995.doi:10.1109/9.412626. 23 Walter J. Savitch. Relationships between nondeterministic and deterministic tape complexities. J. Comput. Syst. Sci., 4(2):177–192, 1970.doi:10.1016","parse_status":"well_formed","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"],"resolution_status":"hard_miss"},"severity":"critical","ref_index":15,"audited_at":"2026-08-02T03:29:26.632061Z","event_type":"pith.integrity.v1","detected_doi":"10.1109/tsmca.2005","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"3be56fffd5693f1cd8fdd0e8b5017e7510fca4d2f6b3ec2a1fbd3315e2c4592e","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":17137,"event_type":"pith.integrity.v1","payload_sha256":"c8266f9e29a0b690365052c9bcd908a26f4c5f01bc118409a37ca39eac1c9945","signature_b64":"0vCRDEQnjWO9AgZQDfGNZVOCbtK0j9sDEvNzWBuX9Kxq/rVldKsc8B01iwz2CaX5TZn+ZX7FwWT9Cqn4yaGWDw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-02T03:33:30.627447+00:00","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1016/J.JLAP.2008.08.004 resolves to 'A brief account of runtime verification'. A reader following the printed text alone cannot reach it.","snippet":"URL:https://doi.org/10.1016/j.jlap. 2008.08.004,doi:10.1016/J.JLAP.2008.08.004. 18 Alessio Lomuscio, Wojciech Penczek, and Bozena Wozna. Bounded model checking for knowledge and real time.Artif. Intell., 171(16-17):1011–1038,","arxiv_id":"2607.13981","detector":"doi_compliance","evidence":{"ref_index":12,"verdict_class":"incontrovertible","resolved_title":"A brief account of runtime verification","printed_excerpt":"10.1016/j.jlap","reconstructed_doi":"10.1016/J.JLAP.2008.08.004"},"severity":"advisory","ref_index":12,"audited_at":"2026-08-02T03:29:26.632061Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/J.JLAP.2008.08.004","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"61eaf98b1f970b6c1418956f5626278404faa685fccc315b7d24431da8762e6b","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"A brief account of runtime verification","detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.13981/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}