{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.27270","arxiv_id":"2607.27270","integrity":{"available":true,"endpoint":"/pith/2607.27270/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-07T06:08:57.612081Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-06T13:39:01.370985Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-05T11:40:42.678390Z","findings_count":2},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-04T10:48:17.998995Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-31T22:21:11.510704Z","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-25543-5_10) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-030-25543-5_10","detected_arxiv_id":null,"ref_index":1,"audited_at":"2026-08-01T10:59:06.823091Z"},{"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-319-89960-2_15) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-319-89960-2_15","detected_arxiv_id":null,"ref_index":8,"audited_at":"2026-08-01T10:59:06.823091Z"}],"snapshot_sha256":"2e50691de388759f7a0d4589092808cf327d3110fb2d54d4011f0526736c01d3"},"events":[{"event_id":15648,"event_type":"pith.integrity.v1","payload_sha256":"cd5bd38ca202bea7411725fbf00c1cd570e9a2bef3d6a9d40aee9248975e1982","signature_b64":"0vmcxwHUHACovalkR5ZIBjp0vbmOYa9PSYavbGX8KZdKKSBHatiPsNLsRHdQpZOrwrUCLAsYn9wHCvSYYpcACg==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T11:03:34.160906+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-319-89960-2_15) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Eva Darulova, Anastasiia Izycheva, Fariha Nasir, Fabian Ritter, Heiko Becker, and Robert Bastian. 2018. Daisy: Framework for Analysis and Optimization of Numerical Programs. InTools and Algorithms for the Construction and Analysis of System","arxiv_id":"2607.27270","detector":"doi_compliance","evidence":{"ref_index":8,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-3-319-","reconstructed_doi":"10.1007/978-3-319-89960-2_15"},"severity":"advisory","ref_index":8,"audited_at":"2026-08-01T10:59:06.823091Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-319-89960-2_15","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"6b5b25e993babba1ee007303a6c49b8b8601515a380fdd447dd6a79130c65792","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":15647,"event_type":"pith.integrity.v1","payload_sha256":"9f1e26fbd7404ad27081b40ade01c1abe8ede17faa72211b29a798f102daff55","signature_b64":"duUXpgsT8ksPySAKWpOOr8pc/yq/Cn1NkKsDlJI/1n4Fto+SdiSOpiKnTPlcB+Fn6fo9aGMLzn9q16fNpM3vCQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T11:03:34.026569+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-030-25543-5_10) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Heiko Becker, Eva Darulova, Magnus O. Myreen, and Zachary Tatlock. 2019. Icing: Supporting Fast-Math Style Optimizations in a Verified Compiler. InComputer Aided Verification (CA V). Springer, Cham, Switzerland, 155–173. doi:10.1007/978- 3-","arxiv_id":"2607.27270","detector":"doi_compliance","evidence":{"ref_index":1,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-","reconstructed_doi":"10.1007/978-3-030-25543-5_10"},"severity":"advisory","ref_index":1,"audited_at":"2026-08-01T10:59:06.823091Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-030-25543-5_10","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"d2818942c99c58854a06dffb15fd35a31470953652a7870b38d93233805581f5","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.27270/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}