{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.15383","arxiv_id":"2607.15383","integrity":{"available":true,"endpoint":"/pith/2607.15383/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":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-03T22:09:42.646214Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-02T23:59:46.195517Z","findings_count":2},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-02T01:08:56.952067Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-23T12:09:37.256411Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-07-20T21:57:17.292614Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-20T13:21:49.831661Z","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_17) 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_17","detected_arxiv_id":null,"ref_index":30,"audited_at":"2026-08-01T23:49:45.784265Z"},{"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-642-39038-8_6) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-642-39038-8_6","detected_arxiv_id":null,"ref_index":28,"audited_at":"2026-08-01T23:49:45.784265Z"}],"snapshot_sha256":"ae9a81baef39927dbe7fcefc77deb0067d4613afc5204b1c962a19532652ded7"},"events":[{"event_id":16851,"event_type":"pith.integrity.v1","payload_sha256":"b0b774d7467e9843ae9c1175268b4c64555c278db7364ec3a1d817b44d74e752","signature_b64":"JV3PKXWa8s3YGjDAxTwPifx0qyMcg45TV7npsldf0vXLZaisCe4lGpm8L7VDDDHZ1cGVQS9infO0HhDv/2GtDw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T23:53:28.676495+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_17) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Felix A. Wolf, Linard Arquint, Martin Clochard, Wytse Oortwijn, João C. Pereira, and Peter Müller. 2021. Gobra: Modular Specification and Verification of Go Programs. InComputer Aided Verification: 33rd International Conference, CA V 2021, ","arxiv_id":"2607.15383","detector":"doi_compliance","evidence":{"ref_index":30,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-","reconstructed_doi":"10.1007/978-3-030-81685-8_17"},"severity":"advisory","ref_index":30,"audited_at":"2026-08-01T23:49:45.784265Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-030-81685-8_17","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"f13212a1d4df798a2589be7beed37475b79380d691f85facd856766e0a37b2ab","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":16850,"event_type":"pith.integrity.v1","payload_sha256":"d23b5a7ac5c9dc3cae8fc7fbd9e47554622c77918c02896d51a1b64d73d44800","signature_b64":"tpMfcefxB5JHz5BGkjH1vL7qt+kUe5iixgKrW0mx2d8Xbc8dAt2CLC92NDFkY3PD/7QCWZswaQhy5Ww3FDDJAw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T23:53:28.476459+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-642-39038-8_6) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Alexander J. Summers and Sophia Drossopoulou. 2013. A Formal Semantics for Isorecursive and Equirecursive State Abstractions. InECOOP 2013 – Object-Oriented Programming. Springer, Montpellier, France, 129–153. doi:10.1007/978- 3-642-39038-8","arxiv_id":"2607.15383","detector":"doi_compliance","evidence":{"ref_index":28,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-","reconstructed_doi":"10.1007/978-3-642-39038-8_6"},"severity":"advisory","ref_index":28,"audited_at":"2026-08-01T23:49:45.784265Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-642-39038-8_6","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"d1ec1e1e7eb546c3aaae37f0e6f0df4c6fd39c3a83022f126243928f2fffcf61","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.15383/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}