{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.19668","arxiv_id":"2605.19668","integrity":{"available":true,"endpoint":"/pith/2605.19668/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-21T04:02:20.351002Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"completed","ran_at":"2026-05-20T13:50:04.673523Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-05-20T09:52:15.240968Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-20T05:01:22.048863Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-20T04:58:54.333746Z","findings_count":1},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-05-20T01:33:29.530517Z","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.18429/JACoW-ICALEPCS2015-WEPGF092.URLhttps://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.18429/JACoW-ICALEPCS2015-WEPGF092.URLhttps://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf","detected_arxiv_id":null,"ref_index":37,"audited_at":"2026-05-20T04:58:54.333746Z"}],"snapshot_sha256":"5583109e5503d0be594577696c4249799696859c803085bfa29309c171c2196b"},"events":[{"event_id":4801,"event_type":"pith.integrity.v1","payload_sha256":"d97cddc4e7122c43899ba9ea55aa5acb1d5248cc487fbbb3694ca22e5745e2ca","signature_b64":"A2fb1pHCW1BpEpBvHzdiykyQNh4HnmNU8E94av5RlwB8w5oX7msQJLuo0/rkF6yQbqNyFomAJiJ8RQSzSRzyDA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-20T05:02:43.386951+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.18429/JACoW-ICALEPCS2015-WEPGF092.URLhttps://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Dániel Darvas, Enrique Blanco Viñuela, and Borja Fernández Adiego. PLCverif: A tool to verify PLC programs based on model checking techniques. InProceedings of the 15th International Conference on Accelerator and Large Experimental Physics ","arxiv_id":"2605.19668","detector":"doi_compliance","evidence":{"ref_index":37,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Dániel Darvas, Enrique Blanco Viñuela, and Borja Fernández Adiego. PLCverif: A tool to verify PLC programs based on model checking techniques. InProceedings of the 15th International Conference on Accelerator and Large Experimental Physics ","reconstructed_doi":"10.18429/JACoW-ICALEPCS2015-WEPGF092.URLhttps://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf"},"severity":"advisory","ref_index":37,"audited_at":"2026-05-20T04:58:54.333746Z","event_type":"pith.integrity.v1","detected_doi":"10.18429/JACoW-ICALEPCS2015-WEPGF092.URLhttps://jacow.org/ICALEPCS2015/papers/WEPGF092.pdf","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"b7375a4ec198aa40a12e0cfdb3c0f31c813abc0818860faebdf42f9b1eb1799f","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.19668/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}