{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.02057","arxiv_id":"2607.02057","integrity":{"available":true,"endpoint":"/pith/2607.02057/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":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-07-17T05:58:29.934541Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-07-13T12:32:20.281126Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-07-13T10:18:01.026457Z","findings_count":1},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-12T19:23:33.947146Z","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/1152684137) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/1152684137","detected_arxiv_id":null,"ref_index":26,"audited_at":"2026-07-09T08:36:34.620347Z"}],"snapshot_sha256":"42fa1961b2eae781278a850cc94069c72eae7fe54d9c9b6f7e323bc2c03c456f"},"events":[{"event_id":8047,"event_type":"pith.integrity.v1","payload_sha256":"dec7c65d3bd48ea6fc81ced5613bc6d51d71368fd619ac1885c986b7c5a9c8ae","signature_b64":"80G+X4KKwGVzWpc3YGHNf2hXaAgfvwi+u/DhznP164ehP0r5LZov+/d4SXMUtuFuZaGh887vRBucYfzb2IBgDQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-09T08:37:30.083481+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/1152684137) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"A. Pretschner, “Model-based testing in practice,” inFM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, ser. Lecture Notes in Computer Science, J. S. Fitzgerald, I. J. Hay","arxiv_id":"2607.02057","detector":"doi_compliance","evidence":{"ref_index":26,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"A. Pretschner, “Model-based testing in practice,” inFM 2005: Formal Methods, International Symposium of Formal Methods Europe, Newcastle, UK, July 18-22, 2005, Proceedings, ser. Lecture Notes in Computer Science, J. S. Fitzgerald, I. J. Hay","reconstructed_doi":"10.1007/1152684137"},"severity":"advisory","ref_index":26,"audited_at":"2026-07-09T08:36:34.620347Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/1152684137","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"861b770cf060ff2b339ea776443533ee6d5595f31125873fe8e52152e9030ee5","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.02057/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}