{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.18285","arxiv_id":"2605.18285","integrity":{"available":true,"endpoint":"/pith/2605.18285/integrity.json","summary":{"critical":0,"advisory":2,"informational":0,"by_detector":{"doi_compliance":{"total":2,"critical":0,"advisory":2,"informational":0}}},"clean":false,"detectors_run":[{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-21T00:13:14.484063Z","findings_count":2},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-21T00:01:30.710257Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-20T23:22:16.209002Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-05-19T23:33:35.228849Z","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.1016/j.tcs.2016.01.012.40) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1016/j.tcs.2016.01.012.40","detected_arxiv_id":null,"ref_index":14,"audited_at":"2026-05-20T00:02:58.653787Z"},{"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.4230/LIPIcs.FSCD.2022.30.24) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.4230/LIPIcs.FSCD.2022.30.24","detected_arxiv_id":null,"ref_index":9,"audited_at":"2026-05-20T00:02:58.653787Z"}],"snapshot_sha256":"95437edfaa10c6593373b5669b4b72c22ba8fc407cdf0c612fd622de1419f347"},"events":[{"event_id":3752,"event_type":"pith.integrity.v1","payload_sha256":"f5e3aaeea2554364f5950f5396761dd10ef8c3e5d67f036c24af29fe2ab2782f","signature_b64":"pYW546ZvoNa8RjA7xfUsspC7WMEm/firGaf7esnbfp612EmyYWBecHGjdVWJPLFZkNZubwMhF48fnnyk302eDQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-20T00:07:28.366202+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1016/j.tcs.2016.01.012.40) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"URL: http://link.springer.com/10.1007/ 978-1-4757-4721-8. 39 Marino Miculan and Marco Peressotti. Structural operational semantics for non-deterministic processes with quantitative aspects.Theor. Comput. Sci., 655:135–154, 2016.doi:10.1016/","arxiv_id":"2605.18285","detector":"doi_compliance","evidence":{"ref_index":14,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"URL: http://link.springer.com/10.1007/ 978-1-4757-4721-8. 39 Marino Miculan and Marco Peressotti. Structural operational semantics for non-deterministic processes with quantitative aspects.Theor. Comput. Sci., 655:135–154, 2016.doi:10.1016/","reconstructed_doi":"10.1016/j.tcs.2016.01.012.40"},"severity":"advisory","ref_index":14,"audited_at":"2026-05-20T00:02:58.653787Z","event_type":"pith.integrity.v1","detected_doi":"10.1016/j.tcs.2016.01.012.40","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"94a9fa8c51de2a62543c01ae6e938cfa34c09e4998ed0409f515d1da1ec2fd71","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":3751,"event_type":"pith.integrity.v1","payload_sha256":"157758b90aedc896134f468dbbfd8fd30bd1c509dd35dbe85e977da1a5c3ca8a","signature_b64":"FTuvaoCQSppzCZaSPwNS54KIAj6t54UAGfyTdR0EHX1Nb/bbEmJler177Fy82lQZ40mlNgM46cNnjM0wj2CcDA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-20T00:07:28.363351+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.4230/LIPIcs.FSCD.2022.30.24) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"arXiv:1908.07021.doi:10.1016/ j.aim.2020.107239. 23 Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat. Stateful structural operational semantics. In Amy P. Felty, editor,7th International Conference on Forma","arxiv_id":"2605.18285","detector":"doi_compliance","evidence":{"ref_index":9,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"arXiv:1908.07021.doi:10.1016/ j.aim.2020.107239. 23 Sergey Goncharov, Stefan Milius, Lutz Schröder, Stelios Tsampas, and Henning Urbat. Stateful structural operational semantics. In Amy P. Felty, editor,7th International Conference on Forma","reconstructed_doi":"10.4230/LIPIcs.FSCD.2022.30.24"},"severity":"advisory","ref_index":9,"audited_at":"2026-05-20T00:02:58.653787Z","event_type":"pith.integrity.v1","detected_doi":"10.4230/LIPIcs.FSCD.2022.30.24","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"f8103c7a792f0ce754409a88a61d67c44d127aa4f17c388c5d7195ff72ccfeca","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.18285/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}