{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.21957","arxiv_id":"2607.21957","integrity":{"available":true,"endpoint":"/pith/2607.21957/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_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-03T07:38:53.423614Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-03T06:50:10.300361Z","findings_count":2},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-03T01:08:57.246784Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-30T15:50:51.844340Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-07-27T15:57:52.680310Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-27T00:53:35.384738Z","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-662-46681-0_41) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-662-46681-0_41","detected_arxiv_id":null,"ref_index":15,"audited_at":"2026-08-01T06:28:53.814388Z"},{"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/2024/ISBN.978-3-85448-065-5_19) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.34727/2024/ISBN.978-3-85448-065-5_19","detected_arxiv_id":null,"ref_index":18,"audited_at":"2026-08-01T06:28:53.814388Z"}],"snapshot_sha256":"2b50a80e742cb24edfe686130195e672ad03aa05e145728cfe6150299e18872c"},"events":[{"event_id":15268,"event_type":"pith.integrity.v1","payload_sha256":"f526bfc3477e8d94db699d8b9e945c7d87ec4261248078906eeadbb66a9052ca","signature_b64":"jEUdPAT2B4PVBlAd85zjL4509zceE3GyfWzHGAERBTjNQRgRrl4HwsC6KBlaAF7SUy2BehS8t3iaoDq+kb+ZAw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T06:33:27.769055+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.34727/2024/ISBN.978-3-85448-065-5_19) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Shuvendu K. Lahiri. 2024. Evaluating LLM-driven User-Intent Formalization for Verification-Aware Languages. doi:10.34727/2024/ISBN. 978-3-85448-065-5_19","arxiv_id":"2607.21957","detector":"doi_compliance","evidence":{"ref_index":18,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.34727/2024/isbn","reconstructed_doi":"10.34727/2024/ISBN.978-3-85448-065-5_19"},"severity":"advisory","ref_index":18,"audited_at":"2026-08-01T06:28:53.814388Z","event_type":"pith.integrity.v1","detected_doi":"10.34727/2024/ISBN.978-3-85448-065-5_19","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"158bd18ca44f042f08e190b35259679142c8715540e5e465ada96b6baf0d840c","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":15267,"event_type":"pith.integrity.v1","payload_sha256":"79115cc6c9e3b96004aa3277f9540052f4342949c7af311afb8b0aacdd8d38d2","signature_b64":"F0MmKrtD1GHJphRJF3hqaSFY3b+gW1dw1B+Ay8Atchm54gNUl1xB2+xH3U976Rse8OlBa2zZWE30VLzZBqYNBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T06:33:27.583692+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-662-46681-0_41) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Arie Gurfinkel, Temesghen Kahsai, and Jorge A Navas. 2015. SeaHorn: A framework for verifying C programs (competition contribution). InInternational Conference on Tools and Algorithms for the Construction and Analysis of Systems. Springer, ","arxiv_id":"2607.21957","detector":"doi_compliance","evidence":{"ref_index":15,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-","reconstructed_doi":"10.1007/978-3-662-46681-0_41"},"severity":"advisory","ref_index":15,"audited_at":"2026-08-01T06:28:53.814388Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-662-46681-0_41","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"158d8d338468529abc06ad9a2694d3d820e15b76e2a6560da6e313fd0fdc2403","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.21957/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}