{"as_of":"2026-07-22T02:31:00Z","canonical_paper_id":"QOTC7V2X","canonical_url":"https://pith.science/paper/QOTC7V2X/integrity","context_digest":"sha256:f055bbd344ed2910e5612d88aff2a5534db81832e8a29689e56423b82a306ca7","coverage_summary":[{"count":6,"denominator":6,"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.20531","bundle_json":"/pith/QOTC7V2XPR6SIB2C76XOJQQFQR/bundle.json","citation_record":"/paper/QOTC7V2X/citation-record","evidence":"/evidence","html":"/paper/QOTC7V2X/integrity","integrity_json":"/paper/QOTC7V2X/integrity.json","json":"/paper/QOTC7V2X/integrity.json","legacy_integrity_json":"/pith/QOTC7V2X/integrity.json","paper":"/paper/QOTC7V2X","reference_changes":"/flags?citing=QOTC7V2X"},"paper":{"arxiv_id":"2605.20531","latest_version":2,"primary_cat":"cs.LO","title":"Pseudo-Formalization for Automatic Proof Verification"},"pith_number":"pith:2026:QOTC7V2XPR6SIB2C76XOJQQFQR","pith_short":"QOTC7V2XPR6SIB2C76XOJQQFQR","record":{"arxiv_id":"2605.20531","claim":"As of 31 May 2026, Pith completed 6 of 6 listed checks against arXiv:2605.20531. The completed checks produced no public findings within their stated scope.","counts":{"completed":6,"failed":0,"listed":6,"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":15,"findings_count":0,"name":"doi_title_agreement","ran_at":"2026-05-31T18:34:34.752428Z","reason":null,"reason_code":null,"refs_checked":52,"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":854,"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-05-28T05:39:17.861261Z","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-26T15:04:09.640759Z","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":3,"findings_count":0,"name":"doi_compliance","ran_at":"2026-05-26T07:54:56.228850Z","reason":null,"reason_code":null,"refs_checked":0,"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":1138,"findings_count":0,"name":"citation_quote_validity","ran_at":"2026-05-21T23:50:56.900560Z","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"},{"counts_as_completed":true,"duration_ms":1,"findings_count":0,"name":"cited_work_retraction","ran_at":"2026-05-21T16:53:26.316494Z","reason":null,"reason_code":null,"refs_checked":0,"scope":"Cited references checked for source-reported retractions or expressions of concern.","status":"completed","version":"1.0.0"}],"observed_at":"2026-05-31T18:34:34.752428Z","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"}