{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2608.09769","arxiv_id":"2608.09769","integrity":{"available":true,"endpoint":"/pith/2608.09769/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-13T12:38:23.779936Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-13T11:38:11.208422Z","findings_count":2},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-08-13T04:28:05.535260Z","findings_count":0},{"name":"external_links","version":"1.0.0","status":"completed","ran_at":"2026-08-11T21:08:40.615028Z","findings_count":0},{"name":"shingle_duplication","version":"0.1.0","status":"skipped","ran_at":"2026-08-11T15:08:14.014685Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-08-11T07:08:36.663200Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-08-11T05:08:07.979774Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-11T03:08:34.572863Z","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-031-74776-2_14) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-031-74776-2_14","detected_arxiv_id":null,"ref_index":80,"audited_at":"2026-08-11T11:18:11.517003Z"},{"detector":"doi_compliance","finding_type":"recoverable_identifier","severity":"advisory","verdict_class":"incontrovertible","note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1145/361002.361016 resolves to 'Mechanical program analysis'. A reader following the printed text alone cannot reach it.","detected_doi":"10.1145/361002.361016","detected_arxiv_id":null,"ref_index":89,"audited_at":"2026-08-11T11:18:11.517003Z"}],"snapshot_sha256":"cbb80808bcae0a0e9c57d2a68b370ae45f34f6b104361c8eb8384e3db0cd677b"},"events":[{"event_id":18996,"event_type":"pith.integrity.v1","payload_sha256":"8eeca2fa1e1d47bec055bb9a358c02f9e6ab3c1f7e5572507195e64689e3deae","signature_b64":"KyHhMN6vpISR0DMJOyuxBkKSZHfrHuaqk+aX9WBoSFniZiMF5UL1rKqpmgMb2uocVoHZNrSKZqWaNxsO+7y4Bw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-11T11:18:36.136356+00:00","payload":{"note":"DOI is split by whitespace or line breaks in the printed bibliography. Reconstructed DOI 10.1145/361002.361016 resolves to 'Mechanical program analysis'. A reader following the printed text alone cannot reach it.","snippet":"B. Wegbreit. 1975. Mechanical Program Analysis.Commun. ACM18, 9 (September 1975), 528–539. doi:10.1145/361002. 361016 Abstract Compilation as Abstraction of Operator Semantics, applied to Cost Analysis 31 A Additional Preliminary Material T","arxiv_id":"2608.09769","detector":"doi_compliance","evidence":{"ref_index":89,"verdict_class":"incontrovertible","resolved_title":"Mechanical program analysis","printed_excerpt":"10.1145/361002","reconstructed_doi":"10.1145/361002.361016"},"severity":"advisory","ref_index":89,"audited_at":"2026-08-11T11:18:11.517003Z","event_type":"pith.integrity.v1","detected_doi":"10.1145/361002.361016","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"ca9f5d8a1d30bece05436592aaca4b4c65ee7cf18231a486f34abd7629592c28","paper_version":1,"verdict_class":"incontrovertible","resolved_title":"Mechanical program analysis","detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":18995,"event_type":"pith.integrity.v1","payload_sha256":"e94c35734b8bfb86020a01020f0b825ab0328d520a7eddaeacfeea06dfb1616f","signature_b64":"lng51z7Upu8pdJG+NS2vk46lFC13i57Fp6UVnz3TJPwV9tFIzW1dk4xfiilMke87I+xfyV/fgcDSfL/s0pQdBA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-11T11:18:35.943108+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-031-74776-2_14) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Louis Rustenholz, Pedro Lopez-Garcia, José F. Morales, and Manuel V. Hermenegildo. 2024. An Order Theory Framework of Recurrence Equations for Static Cost Analysis - Dynamic Inference of Non-Linear Inequality Invariants. InProceedings of th","arxiv_id":"2608.09769","detector":"doi_compliance","evidence":{"ref_index":80,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/978-","reconstructed_doi":"10.1007/978-3-031-74776-2_14"},"severity":"advisory","ref_index":80,"audited_at":"2026-08-11T11:18:11.517003Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-031-74776-2_14","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"e562119ce8840a0b00c8a8d1341ca6a9e84f8787a7d6bad263288ab311a50d86","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2608.09769/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}