{"as_of":"2026-07-17T01:31:00Z","canonical_paper_id":"7LYMBPRD","canonical_url":"https://pith.science/paper/7LYMBPRD/integrity","context_digest":"sha256:bcd3d8333224b966e290ef9e9f1b86702fd05b10644d1e010ff9be36ea277b1c","coverage_summary":[{"count":8,"denominator":8,"note":"Counted as completed checks in the claim sentence numerator.","state":"completed"}],"findings":[],"findings_empty_copy":"The completed checks produced no public findings within their stated scope.","findings_observation_state":"completed_zero_findings","links":{"arxiv":"https://arxiv.org/abs/2605.23772","bundle_json":"/pith/7LYMBPRDQNO2PWYKFQ4SCGWNUA/bundle.json","citation_record":"/paper/7LYMBPRD/citation-record","evidence":"/evidence","html":"/paper/7LYMBPRD/integrity","integrity_json":"/paper/7LYMBPRD/integrity.json","json":"/paper/7LYMBPRD/integrity.json","legacy_integrity_json":"/pith/7LYMBPRD/integrity.json","paper":"/paper/7LYMBPRD","reference_changes":"/flags?citing=7LYMBPRD"},"paper":{"arxiv_id":"2605.23772","latest_version":1,"primary_cat":"cs.AI","title":"Agentic Proving for Program Verification"},"pith_number":"pith:2026:7LYMBPRDQNO2PWYKFQ4SCGWNUA","pith_short":"7LYMBPRDQNO2PWYKFQ4SCGWNUA","record":{"arxiv_id":"2605.23772","claim":"As of 5 June 2026, Pith completed 8 of 8 listed checks against arXiv:2605.23772. The completed checks produced no public findings within their stated scope.","counts":{"completed":8,"failed":0,"listed":8,"not_collected":0,"not_requested":0,"partial":0,"public_findings_from_completed":0,"skipped":0,"unavailable":0,"withheld":0},"coverage":[{"counts_as_completed":true,"duration_ms":1992,"findings_count":0,"name":"doi_compliance","ran_at":"2026-06-05T04:25:14.753216Z","reason":null,"reason_code":null,"refs_checked":12,"scope":"DOI and arXiv identifiers listed in the bibliography checked against named registries.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":4,"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-06-05T04:06:07.630844Z","reason":null,"reason_code":null,"refs_checked":28,"scope":"Cited titles compared with titles resolved from their DOI or arXiv identifier.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":2823,"findings_count":0,"name":"cited_work_retraction","ran_at":"2026-06-01T22:58:13.226688Z","reason":null,"reason_code":null,"refs_checked":6,"scope":"Cited references checked for source-reported retractions or expressions of concern.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":395,"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-06-01T03:37:51.095817Z","reason":null,"reason_code":null,"refs_checked":1,"scope":"Paper body text scanned for literal AI-assistant artifacts.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":0,"findings_count":0,"name":"claim_evidence","ran_at":"2026-05-28T12:04:49.149871Z","reason":null,"reason_code":null,"refs_checked":0,"scope":"Recorded paper claims checked for the evidence artifacts they name.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":2953,"findings_count":0,"name":"external_links","ran_at":"2026-05-25T23:32:43.523112Z","reason":null,"reason_code":null,"refs_checked":4,"scope":"External URLs extracted from paper text checked at the stated time.","status":"completed","version":"1.0.0"},{"counts_as_completed":true,"duration_ms":800,"findings_count":0,"name":"shingle_duplication","ran_at":"2026-05-25T13:50:51.056423Z","reason":null,"reason_code":null,"refs_checked":600,"scope":"Available paper body text compared for identical 40-token sequences under the detector's stated exclusions.","status":"completed","version":"0.1.0"},{"counts_as_completed":true,"duration_ms":505,"findings_count":0,"name":"citation_quote_validity","ran_at":"2026-05-25T05:51:16.890090Z","reason":null,"reason_code":null,"refs_checked":0,"scope":"Specific factual attributions checked against cited-paper text available in Pith.","status":"completed","version":"0.1.0"}],"observed_at":"2026-06-05T04:25:14.753216Z","refusal":"This is a record of named checks, not a clean-status claim or a paper verdict.","schema":"pith.integrity.v1"},"schema":"pith.paper-integrity-record.v1","species":"LEDGER"}