{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.06823","arxiv_id":"2607.06823","integrity":{"available":true,"endpoint":"/pith/2607.06823/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":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-07-16T21:03:30.589449Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-07-16T09:55:45.247684Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-07-15T21:07:00.331245Z","findings_count":2},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-15T19:24:48.138941Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-09T21:48:34.186964Z","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-642-99902-4_2.81) was visible in the surrounding text but could not be confirmed against doi.org as printed.","detected_doi":"10.1007/978-3-642-99902-4_2.81","detected_arxiv_id":null,"ref_index":3,"audited_at":"2026-07-10T20:39:32.320334Z"},{"detector":"doi_compliance","finding_type":"broken_identifier","severity":"critical","verdict_class":"incontrovertible","note":"DOI '10.1142/11406' as printed in the bibliography is syntactically invalid and cannot resolve.","detected_doi":"10.1142/11406","detected_arxiv_id":null,"ref_index":2,"audited_at":"2026-07-10T20:39:32.320334Z"}],"snapshot_sha256":"05f1a6bb47da1ef6c5e399fe598b5965cadaaf7a601433c9ba7d671707af46b4"},"events":[{"event_id":12048,"event_type":"pith.integrity.v1","payload_sha256":"74bebed708f7204d3289ce6789d3fbdd879a36681b8d0ab392243065d4383663","signature_b64":"Lf8Xfb8fAQffZg8D41seL/iC/LhkTUabVtNCwNloQ9Nib8+jCGAvzV56eqNaGEVkcWRbHcy7QjYy9cXICTZ2DA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-10T20:39:55.493529+00:00","payload":{"note":"DOI in the printed bibliography is fragmented by whitespace or line breaks. A longer candidate (10.1007/978-3-642-99902-4_2.81) was visible in the surrounding text but could not be confirmed against doi.org as printed.","snippet":"1966, pp. 21–83.doi:10.1007/978-3-642-99902- 4_2. 81 [Jac99] Bart Jacobs.Categorical logic and type theory. Elsevier, 1999.doi:10.1016/S0049- 237X(98)80028-1. [Joh02] Peter T. Johnstone.Sketches of an elephant: A topos theory compendium. Ox","arxiv_id":"2607.06823","detector":"doi_compliance","evidence":{"ref_index":3,"verdict_class":"incontrovertible","resolved_title":null,"printed_excerpt":"1966, pp. 21–83.doi:10.1007/978-3-642-99902- 4_2. 81 [Jac99] Bart Jacobs.Categorical logic and type theory. Elsevier, 1999.doi:10.1016/S0049- 237X(98)80028-1. [Joh02] Peter T. Johnstone.Sketches of an elephant: A topos theory compendium. Ox","reconstructed_doi":"10.1007/978-3-642-99902-4_2.81"},"severity":"advisory","ref_index":3,"audited_at":"2026-07-10T20:39:32.320334Z","event_type":"pith.integrity.v1","detected_doi":"10.1007/978-3-642-99902-4_2.81","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"recoverable_identifier","evidence_hash":"4d177eef296aca5d760e6750294a471be48ac9c9d69d6bc8c3e17f44e596159a","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":12047,"event_type":"pith.integrity.v1","payload_sha256":"c3db084eea251852691b90cdadf34dde3bd851a34307ff2c40057ea8bb8ea6b7","signature_b64":"jT076w2UeAfTgb7BPOVjrEsITNHwfefWXkpXjth+qF+x/O/gHBrtjPKQc5hYBjdg+v9LqTlrR7cdxWq1Jy2KDQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-10T20:39:55.489393+00:00","payload":{"note":"DOI '10.1142/11406' as printed in the bibliography is syntactically invalid and cannot resolve.","snippet":"arXiv: 2506.23651. [GP04] Marco Grandis and Robert Paré. “Adjoint for double categories”.Cahiers de topologie et géométrie différentielle catégoriques45.3 (2004), pp. 193–240. [Gra19] Marco Grandis.Higher dimensional categories: From double","arxiv_id":"2607.06823","detector":"doi_compliance","evidence":{"ref_index":2,"raw_excerpt":"arXiv: 2506.23651. [GP04] Marco Grandis and Robert Paré. “Adjoint for double categories”.Cahiers de topologie et géométrie différentielle catégoriques45.3 (2004), pp. 193–240. [Gra19] Marco Grandis.Higher dimensional categories: From double to multiple categories. World Scientific, 2019.doi:10.1142/11406. [Gra66] John W. Gray. “Fibred and cofibred categories”.Proceedings of the Conference on Categ","verdict_class":"incontrovertible","doi_as_printed":"10.1142/11406"},"severity":"critical","ref_index":2,"audited_at":"2026-07-10T20:39:32.320334Z","event_type":"pith.integrity.v1","detected_doi":"10.1142/11406","detector_url":"https://pith.science/pith-integrity-protocol#doi_compliance","external_url":null,"finding_type":"broken_identifier","evidence_hash":"f254b20988d2a1e5c3b06cc10e8d5c638c96dee8017a082490141b0497b235c3","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.06823/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}