{"schema":"https://pith.science/schemas/pith-integrity/v1.json","pith_number":"2607.09564","arxiv_id":"2607.09564","integrity":{"available":true,"endpoint":"/pith/2607.09564/integrity.json","summary":{"critical":1,"advisory":3,"informational":0,"by_detector":{"external_links":{"total":4,"critical":1,"advisory":3,"informational":0}}},"clean":false,"detectors_run":[{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-07-31T11:21:53.002933Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-07-27T02:19:51.427076Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"completed","ran_at":"2026-07-26T23:54:20.078344Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-20T23:51:55.212957Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-17T00:05:16.844154Z","findings_count":0},{"name":"external_links","version":"1.0.0","status":"completed","ran_at":"2026-07-13T17:37:29.864320Z","findings_count":4},{"name":"shingle_duplication","version":"0.1.0","status":"completed","ran_at":"2026-07-13T05:55:06.828821Z","findings_count":0},{"name":"citation_quote_validity","version":"0.1.0","status":"completed","ran_at":"2026-07-13T03:57:03.543225Z","findings_count":0},{"name":"cited_work_retraction","version":"1.0.0","status":"completed","ran_at":"2026-07-13T03:20:25.393679Z","findings_count":0},{"name":"doi_title_agreement","version":"1.0.0","status":"completed","ran_at":"2026-07-13T02:32:12.738685Z","findings_count":0},{"name":"doi_compliance","version":"1.0.0","status":"completed","ran_at":"2026-07-13T02:12:04.248840Z","findings_count":0},{"name":"ai_meta_artifact","version":"1.0.0","status":"skipped","ran_at":"2026-07-13T01:50:26.434029Z","findings_count":0},{"name":"claim_evidence","version":"1.0.0","status":"completed","ran_at":"2026-07-13T01:23:41.201617Z","findings_count":0}],"findings":[{"detector":"external_links","finding_type":"dead_url","severity":"advisory","verdict_class":"incontrovertible","note":"URL 'https://bentnib.org/posts/2015-04-19-' returned status 404 (Not Found) at last check.","detected_doi":null,"detected_arxiv_id":null,"ref_index":null,"audited_at":"2026-07-13T05:38:05.979653Z"},{"detector":"external_links","finding_type":"dead_url","severity":"advisory","verdict_class":"incontrovertible","note":"URL 'https://lean-lang.org/doc/reference/latest/The-Type-' returned status 404 (Not Found) at last check.","detected_doi":null,"detected_arxiv_id":null,"ref_index":null,"audited_at":"2026-07-13T05:38:05.979653Z"},{"detector":"external_links","finding_type":"dead_url","severity":"advisory","verdict_class":"incontrovertible","note":"URL 'https://www2.mathematik.tu-' returned status transport error (transport error: [Errno -2] Name or service not known) at last check.","detected_doi":null,"detected_arxiv_id":null,"ref_index":null,"audited_at":"2026-07-13T05:38:05.979653Z"},{"detector":"external_links","finding_type":"dead_code_link","severity":"critical","verdict_class":"incontrovertible","note":"URL 'https://github.com/AndrasKovacs/2ltt-impl/blob/' returned status 404 (Not Found) at last check.","detected_doi":null,"detected_arxiv_id":null,"ref_index":null,"audited_at":"2026-07-13T05:38:05.979653Z"}],"snapshot_sha256":"5c6f4ad61e56b5810f6d1eb65a21741c2cdb5e90630cb39681ee2265b9e546c3"},"events":[{"event_id":12972,"event_type":"pith.integrity.v1","payload_sha256":"4f9306e857a7e9d5b55ee3e0a0707f9c7e7d6a847c1ec90dd54e8ab53a1e4f3d","signature_b64":"s5ocXI+f0mdCbeUld8dBuorJSJmpT9N3L7/kXStrq7ptsV0J/GIE7hfacMl3gUrok3A4DCfNGX9XBp3zPyPKCw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-13T05:38:52.314916+00:00","payload":{"note":"URL 'https://github.com/AndrasKovacs/2ltt-impl/blob/' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2607.09564","detector":"external_links","evidence":{"url":"https://github.com/AndrasKovacs/2ltt-impl/blob/","final_url":"https://github.com/AndrasKovacs/2ltt-impl/blob/","host_kind":"github","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1783921079.7829876},"severity":"critical","ref_index":null,"audited_at":"2026-07-13T05:38:05.979653Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://github.com/AndrasKovacs/2ltt-impl/blob/","finding_type":"dead_code_link","evidence_hash":"c3313349fc9b3798529a647ace2be6bab99ad68c2657b1465ef07755e6012525","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":12971,"event_type":"pith.integrity.v1","payload_sha256":"2932fa6ec1cae62ca2eef0862213d7300be58381a55cd1b21c864762fef54d4f","signature_b64":"xoFtrjRFwik2fzMj6DdAnQzW8bNHC+pQDuZ9bBOtrppKn0kHDA9Pv7uuFb/uSdbd0USpYkCrIcfGxfJlidSLDQ==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-13T05:38:52.312552+00:00","payload":{"note":"URL 'https://www2.mathematik.tu-' returned status transport error (transport error: [Errno -2] Name or service not known) at last check.","snippet":null,"arxiv_id":"2607.09564","detector":"external_links","evidence":{"url":"https://www2.mathematik.tu-","final_url":null,"host_kind":"website","status_code":0,"status_text":"transport error: [Errno -2] Name or service not known","verdict_class":"incontrovertible","checked_at_unix":1783921079.771821},"severity":"advisory","ref_index":null,"audited_at":"2026-07-13T05:38:05.979653Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://www2.mathematik.tu-","finding_type":"dead_url","evidence_hash":"1a2dafa9aceb24582d66db8f962cc6f763db96777ae08d6a13c173e63bc26f2b","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":12970,"event_type":"pith.integrity.v1","payload_sha256":"fef71f6a2ea4de0325dc9634aff9065943ab8c8f25999902b6ad833a684d5e51","signature_b64":"th4afvgHZsBb9tfhG0Z428FpZAF6M/umkVlfJAYSvkFntgNhFPQ7G//eXzB9zAkYokr3miyHodPuT2aEFx7jAA==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-13T05:38:52.310268+00:00","payload":{"note":"URL 'https://lean-lang.org/doc/reference/latest/The-Type-' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2607.09564","detector":"external_links","evidence":{"url":"https://lean-lang.org/doc/reference/latest/The-Type-","final_url":"https://lean-lang.org/doc/reference/latest/The-Type-","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1783921079.6219695},"severity":"advisory","ref_index":null,"audited_at":"2026-07-13T05:38:05.979653Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://lean-lang.org/doc/reference/latest/The-Type-","finding_type":"dead_url","evidence_hash":"3d1a8d0297403331a4a1fd19e4dbb13a3a99b89c22ce75026348223d95a71208","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}},{"event_id":12969,"event_type":"pith.integrity.v1","payload_sha256":"bd139cb7cf293ef6cfb5d48645924fbfedf41c26b6dc2ef4e8a32e7dcce85dea","signature_b64":"Gc0QEbu/54YmB2NqCjRyzczBnAb/awfwOVjpIH3PmO0rc5OnSY7p1Rgapof0ZHcniRqqlWNSiRHazsKFu78eAw==","signing_key_id":"pith-v1-2026-05","created_at":"2026-07-13T05:38:52.307871+00:00","payload":{"note":"URL 'https://bentnib.org/posts/2015-04-19-' returned status 404 (Not Found) at last check.","snippet":null,"arxiv_id":"2607.09564","detector":"external_links","evidence":{"url":"https://bentnib.org/posts/2015-04-19-","final_url":"https://bentnib.org/posts/2015-04-19-","host_kind":"website","status_code":404,"status_text":"Not Found","verdict_class":"incontrovertible","checked_at_unix":1783921078.6558557},"severity":"advisory","ref_index":null,"audited_at":"2026-07-13T05:38:05.979653Z","event_type":"pith.integrity.v1","detected_doi":null,"detector_url":"https://pith.science/pith-integrity-protocol#external_links","external_url":"https://bentnib.org/posts/2015-04-19-","finding_type":"dead_url","evidence_hash":"7154abf558364f9aaf6d9dbf118c5f307a62039b830e93dd2575e5b714b998b6","paper_version":1,"verdict_class":"incontrovertible","resolved_title":null,"detector_version":"1.0.0","detected_arxiv_id":null}}],"endpoint_self":"/pith/2607.09564/integrity.json","protocol_url":"https://pith.science/pith-integrity-protocol"}