{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2608.00965","arxiv_id":"2608.00965","integrity":{"available":true,"endpoint":"/pith/2608.00965/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-09T03:38:26.237173Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-09T02:29:26.700989Z","findings_count":1},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-08-06T22:08:09.311378Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-06T09:48:01.852256Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-04T05:08:53.497701Z","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-032-30693-7_6) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-032-30693-7_6","detected_arxiv_id":null,"ref_index":17,"audited_at":"2026-08-06T00:49:29.472867Z"}],"snapshot_sha256":"0c9f1b871b19bd192e10f37ec977ed1763aece7cfff7d427e6f8268b47705ea1"},"events":[{"event_id":18223,"event_type":"pith.integrity.v1","payload_sha256":"7eab4c60a3b856ee43c28d4e87da9e4eb1c743bf403ef9c9a2b18b76853b325d","signature_b64":"W6RVI/D3MALW49GiFHotn62unh5UJkDe5W0kPoI24MT+tLqSwpgwbxsLWx8STFJ2uZhS+GOUoZkTHYk76q2/Dw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-06T00:53:39.429567+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-032-30693-7_6) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Yuchen Zhang, Cheng Wen, Zhiwu Xu, Dugang Liu, Jialun Cao, Yuwei Liu, Shengchao Qin, and Cong Tian. “Enhancing LLM-Based Proof Synthesis for Rust Programs via Semantic Chunking and Hierarchical Context Expansion”. In:Theoretical Aspects of ","arxiv_id":"2608.00965","detector":"doi_compliance","evidence":{"ref_index":17,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-032-","reconstructed_doi":"10.1007/978-3-032-30693-7_6"},"severity":"advisory","ref_index":17,"audited_at":"2026-08-06T00:49:29.472867Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-032-30693-7_6","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"374e76079498b4f9e509596b2738ef5e881f3bd783654e2405799b26762a2f24","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2608.00965/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}