{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2605.10712","arxiv_id":"2605.10712","integrity":{"available":true,"endpoint":"/pith/2605.10712/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":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-05-20T05:22:00.446354Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-05-19T14:37:46.097297Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-05-19T11:01:17.027249Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-05-19T09:02:20.778413Z","findings_count":1}],"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.1145/3744916.3773178) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1145/3744916.3773178","detected_arxiv_id":null,"ref_index":48,"audited_at":"2026-05-19T09:02:20.778413Z"}],"snapshot_sha256":"62f8aaec5d33c3c7f7b3be12d41edeef3ceb47843c9c5568b50ccb86c380dd95"},"events":[{"event_id":565,"event_type":"pith.integrity.v1","payload_sha256":"d0e458189c1ad3a30aeb07a9626a36a38fb3ce65cb203d7adb1ed000717a0ec8","signature_b64":"xko51EApwCBNBO+ZY9aCdexYTgGQhM74YLeJ/zh7SwG/4QqbL0L/nl/WVbEF519nQntDnMYfRmRLHLM7/ZO8Dg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-05-19T09:06:57.472034+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1145/3744916.3773178) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, and Emily First. Cobblestone: A divide-and-conquer approach for automating formal verification. URL: https://arxiv.org/abs/2410.19940v4, doi:10.1145/3744916. 37731","arxiv_id":"2605.10712","detector":"doi_compliance","evidence":{"ref_index":48,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"Saketh Ram Kasibatla, Arpan Agarwal, Yuriy Brun, Sorin Lerner, Talia Ringer, and Emily First. Cobblestone: A divide-and-conquer approach for automating formal verification. URL: https://arxiv.org/abs/2410.19940v4, doi:10.1145/3744916. 37731","reconstructed_doi":"10.1145/3744916.3773178"},"severity":"advisory","ref_index":48,"audited_at":"2026-05-19T09:02:20.778413Z","event_type":"pith.integrity.v1","detected_doi":"10.1145/3744916.3773178","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"5305ffad736f7a6d551eeb3aabd2f2406a48353953aaf3ed861606674781be7d","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2605.10712/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}