{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.16061","arxiv_id":"2607.16061","integrity":{"available":true,"endpoint":"/pith/2607.16061/integrity.json","summary":{"critical":1,"advisory":1,"informational":0,"by_detector":{"doi_compliance":{"total":2,"critical":1,"advisory":1,"informational":0}}},"clean":false,"detectors_run":[{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-08-03T06:09:22.367422Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-08-02T22:08:51.844830Z","findings_count":0},{"name":"doi_compliance","version":"1.1.0","status":"completed","ran_at":"2026-08-02T21:49:47.106151Z","findings_count":2},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-27T17:23:53.920216Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-24T19:10:27.790238Z","findings_count":0},{"name":"external_links","version":"1.0.0","status":"completed","ran_at":"2026-07-20T23:34:20.386909Z","findings_count":0},{"name":"shingle_duplication","version":"0.1.0","status":"skipped","ran_at":"2026-07-20T13:53:49.374016Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"skipped","ran_at":"2026-07-20T05:57:15.179824Z","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/3-540-44503-X_20) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/3-540-44503-X_20","detected_arxiv_id":null,"ref_index":5,"audited_at":"2026-08-01T21:39:45.675763Z"},{"detector":"doi_compliance","finding_type":"unresolvable_identifier","severity":"critical","verdict_class":"cross_source","note":"Identifier '10.1145/3828702' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","detected_doi":"10.1145/3828702","detected_arxiv_id":null,"ref_index":26,"audited_at":"2026-08-01T21:39:45.675763Z"}],"snapshot_sha256":"edb5962a3dc1fe3e8c24a0d7c5ae51e889ee6d5cac0e1507cdcf6592ccfc06c1"},"events":[{"event_id":16679,"event_type":"pith.integrity.v1","payload_sha256":"ff09b2fa40ca0d8c03b645f87e77b6613d75a87511d0b416b5c95dd91b3b08c4","signature_b64":"Ss67mtsmDAbBSM4RMGDdXVDOogDEacjti5D/Glieg+PTqVq/tOpF/WuqrRNKR98u3Y+PqrujDn54qIOeMIVwBw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T21:43:38.144082+00:00","payload":{"note":"Identifier '10.1145/3828702' is syntactically valid but the DOI registry (doi.org) returned 404, and Crossref / OpenAlex / internal corpus also have no record. The cited work could not be located through any authoritative source.","snippet":"J. Garrett Morris. 2026. Another Type Inference Algorithm for First-Class Implicit Polymorphism.Proc. ACM Program. Lang.10, ICFP (2026), 304:1–304:29. doi:10.1145/3828702","arxiv_id":"2607.16061","detector":"doi_compliance","evidence":{"doi":"10.1145/3828702","arxiv_id":null,"ref_index":26,"raw_excerpt":"J. Garrett Morris. 2026. Another Type Inference Algorithm for First-Class Implicit Polymorphism.Proc. ACM Program. Lang.10, ICFP (2026), 304:1–304:29. doi:10.1145/3828702","parse_status":"well_formed","verdict_class":"cross_source","checked_sources":["crossref_by_doi","openalex_by_doi","doi_org_head"],"resolution_status":"hard_miss"},"severity":"critical","ref_index":26,"audited_at":"2026-08-01T21:39:45.675763Z","event_type":"pith.integrity.v1","detected_doi":"10.1145/3828702","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"unresolvable_identifier","evidence_hash":"f1611ff648c2ca63cbb8af7141142a13595899fdd91e7dad03820ff6cffa1037","paper_version":1,"verdict_class":"cross_source","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}},{"event_id":16678,"event_type":"pith.integrity.v1","payload_sha256":"d8ad96185583209533a7d19cb860420147c53b2a42cc8f2298e19de69161c793","signature_b64":"y/t4zwuDr4oNv/DnHKib/o2Z95MDo/tzEVowQMR7yRlJtaMMeeQZNWioJPWYV9nteVtwU6y5jkf+LgmUft61DQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-08-01T21:43:37.985508+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/3-540-44503-X_20) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"Peter Buneman, Sanjeev Khanna, and Wang Chiew Tan. 2001. Why and Where: A Characterization of Data Provenance. InDatabase Theory - ICDT 2001, 8th International Conference, London, UK, January 4-6, 2001, Proceedings (Lecture Notes in Compute","arxiv_id":"2607.16061","detector":"doi_compliance","evidence":{"ref_index":5,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"10.1007/3-540-","reconstructed_doi":"10.1007/3-540-44503-X_20"},"severity":"advisory","ref_index":5,"audited_at":"2026-08-01T21:39:45.675763Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/3-540-44503-X_20","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"415eab2ea9c8138546c8806bd53749cf70c7731712e53350c33e2ec217c227a3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.1.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.16061/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}