{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.16533","arxiv_id":"2607.16533","integrity":{"available":true,"endpoint":"/pith/2607.16533/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_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-03T22:50:22.507701Z","findings_count":1},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-02T21:38:40.258914Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-07-28T00:52:21.349780Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-26T18:11:53.280036Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-22T22:22:27.512160Z","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-540-28644-8_2) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-540-28644-8_2","detected_arxiv_id":null,"ref_index":2004,"audited_at":"2026-08-01T20:59:00.320824Z"}],"snapshot_sha256":"3c27259b19d828ca278d6e960cb7372905eb39fca093ef4ee2f28028967a58ff"},"events":[{"event_id":16609,"event_type":"pith.integrity.v1","payload_sha256":"d18a3269b446df50d5f019f2351d8b1d58736a1658804808977a0f651a5c845d","signature_b64":"vz2Kgr1QfpXkd7/SFFHRzJ3qNZFCgfefKdZEuCPp4blq54o2M67975qGcbATooJAFw3HY28E3oFSZVrSdslqAQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T21:03:28.219847+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-540-28644-8_2) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"A Semantics for Concurrent Separation Logic. InCONCUR 2004 - Concurrency Theory, Philippa Gardner and Nobuko Yoshida (Eds.). Springer Berlin Heidelberg, Berlin, Heidelberg, 16–34. doi:10.1007/978-3-540-28644- 8_2 Benny Chor, Amos Israeli, a","arxiv_id":"2607.16533","detector":"doi_compliance","evidence":{"ref_index":2004,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-540-28644-","reconstructed_doi":"10.1007/978-3-540-28644-8_2"},"severity":"advisory","ref_index":2004,"audited_at":"2026-08-01T20:59:00.320824Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-540-28644-8_2","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"7b2071b5b39cbac6f55d72416b5790c5a0f90862213de43b52c93e66f9f5ce57","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.16533/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}