{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.28954","arxiv_id":"2607.28954","integrity":{"available":true,"endpoint":"/pith/2607.28954/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":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-07T18:38:31.893180Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-07T17:40:03.984271Z","findings_count":1},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-06T21:08:10.240371Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-08-03T21:08:38.431701Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-08-03T13:38:09.981776Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-03T03:09:04.060018Z","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.34727/2022/isbn.978-3-85448-053-2_7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.34727/2022/isbn.978-3-85448-053-2_7","detected_arxiv_id":null,"ref_index":40,"audited_at":"2026-08-03T16:48:07.285475Z"}],"snapshot_sha256":"75a2ad50fbb0b2f0eaf7c583db66f47932376218f6026d190e048143ea25c6a5"},"events":[{"event_id":17693,"event_type":"pith.integrity.v1","payload_sha256":"99713a9bc8fefd99beb71298e046acfdeb860cd4aada45028b8b4f72660bee40","signature_b64":"s4iLBLmCfUFBLVw+3+xOdc+iyAf9ae6t4hJb/p/LGlkfSDAro2RJvoYhat9sf3DwHJ1Zn6/ovClMxwl7gv/VDQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-03T16:48:27.852882+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.34727/2022/isbn.978-3-85448-053-2_7) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Zelazny, T., Wu, H., Barrett, C., Katz, G.: On optimizing back-substitution meth- ods for neural network verification. In: 2022 Formal Methods in Computer-Aided Design (FMCAD). pp. 17–26. IEEE (2022).https://doi.org/10.34727/2022/ isbn.978-","arxiv_id":"2607.28954","detector":"doi_compliance","evidence":{"ref_index":40,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.34727/2022/","reconstructed_doi":"10.34727/2022/isbn.978-3-85448-053-2_7"},"severity":"advisory","ref_index":40,"audited_at":"2026-08-03T16:48:07.285475Z","event_type":"pith.integrity.v1","detected_doi":"10.34727/2022/isbn.978-3-85448-053-2_7","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"13dcafc21f4ad8994970b61c0c1c718ba3d7b8b187ac4cda936c54bfa1ace0a8","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.28954/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}