{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.13616","arxiv_id":"2605.13616","integrity":{"available":true,"endpoint":"/pith/2605.13616/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-20T22:42:15.914043Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-20T08:01:23.428957Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-20T06:52:08.363831Z","findings_count":1},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-19T08:33:38.201117Z","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.1007/978-3-030-81685-8_1722) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-030-81685-8_1722","detected_arxiv_id":null,"ref_index":26,"audited_at":"2026-05-19T06:21:27.538078Z"}],"snapshot_sha256":"7e66f45f8e5a63c0ec5ee3c7b21dfdb8d72636075c47565ebc64b1727f3dde59"},"events":[{"event_id":126,"event_type":"pith.integrity.v1","payload_sha256":"f30f7898b9bf13f90687d000374eab770532712bb7f0c624aabb1974d4036c51","signature_b64":"AnH8ug7kMeqDf3xMNedpq0VHgGjXZiKsILzM050VgHnHn5WH9lTQ+0ka0EZIfvrPvAuWKqsA89m5Rc+jCP11Ag==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T06:21:52.838032+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-81685-8_1722) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Wolf, F.A., Arquint, L., Clochard, M., Oortwijn, W., Pereira, J.C., Müller, P.: Go- bra: Modular Specification and Verification of Go Programs. In: Silva, A., Leino, K.R.M. (eds.) Computer Aided Verification, vol. 12759, pp. 367–379. Spring","arxiv_id":"2605.13616","detector":"doi_compliance","evidence":{"ref_index":26,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Wolf, F.A., Arquint, L., Clochard, M., Oortwijn, W., Pereira, J.C., Müller, P.: Go- bra: Modular Specification and Verification of Go Programs. In: Silva, A., Leino, K.R.M. (eds.) Computer Aided Verification, vol. 12759, pp. 367–379. Spring","reconstructed_doi":"10.1007/978-3-030-81685-8_1722"},"severity":"advisory","ref_index":26,"audited_at":"2026-05-19T06:21:27.538078Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-030-81685-8_1722","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"2a4f6be291796bb2cc3a3367d848f34737d12141c68176ec566d6d87a42aa6fb","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.13616/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}