{"as_of":"2026-07-15T22:33:00Z","canonical_paper_id":"NCP4LMTY","canonical_url":"https://pith.science/paper/NCP4LMTY/integrity","context_digest":"sha256:a4eb7340483b4309845b99691703276771b2ca97f2badaac908f2576ec0f1d7d","coverage_summary":[{"count":2,"denominator":5,"note":"Counted as completed checks in the claim sentence numerator.","state":"completed"},{"count":3,"denominator":5,"note":"Skipped checks produced no result and say nothing about absence.","state":"skipped"}],"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/2606.04883","bundle_json":"/pith/NCP4LMTYLCCNBGZGVVZ5ETWMZD/bundle.json","citation_record":"/paper/NCP4LMTY/citation-record","evidence":"/evidence","html":"/paper/NCP4LMTY/integrity","integrity_json":"/paper/NCP4LMTY/integrity.json","json":"/paper/NCP4LMTY/integrity.json","legacy_integrity_json":"/pith/NCP4LMTY/integrity.json","paper":"/paper/NCP4LMTY","reference_changes":"/flags?citing=NCP4LMTY"},"paper":{"arxiv_id":"2606.04883","latest_version":3,"primary_cat":"cs.CL","title":"Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean"},"pith_number":"pith:2026:NCP4LMTYLCCNBGZGVVZ5ETWMZD","pith_short":"NCP4LMTYLCCNBGZGVVZ5ETWMZD","record":{"arxiv_id":"2606.04883","claim":"As of 5 June 2026, Pith completed 2 of 5 listed checks against arXiv:2606.04883. The completed checks produced no public findings within their stated scope. 3 checks were skipped and produced no result.","counts":{"completed":2,"failed":0,"listed":5,"not_collected":0,"not_requested":0,"partial":0,"public_findings_from_completed":0,"skipped":3,"unavailable":0,"withheld":0},"coverage":[{"counts_as_completed":true,"duration_ms":0,"findings_count":0,"name":"claim_evidence","ran_at":"2026-06-05T03:29:14.054934Z","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":false,"duration_ms":0,"findings_count":0,"name":"shingle_duplication","ran_at":"2026-06-04T21:50:33.329904Z","reason":"Usable body text was absent or too short for this check.","reason_code":"no_text_or_too_short","refs_checked":0,"scope":"Available paper body text compared for identical 40-token sequences under the detector's stated exclusions.","status":"skipped","version":"0.1.0"},{"counts_as_completed":false,"duration_ms":0,"findings_count":0,"name":"citation_quote_validity","ran_at":"2026-06-04T07:51:06.611252Z","reason":"Paper body text was unavailable.","reason_code":"no_pdf_text","refs_checked":0,"scope":"Specific factual attributions checked against cited-paper text available in Pith.","status":"skipped","version":"0.1.0"},{"counts_as_completed":true,"duration_ms":1,"findings_count":0,"name":"cited_work_retraction","ran_at":"2026-06-04T05:57:19.973388Z","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"},{"counts_as_completed":false,"duration_ms":0,"findings_count":0,"name":"ai_meta_artifact","ran_at":"2026-06-04T01:35:37.373196Z","reason":"Paper body text was unavailable.","reason_code":"pdf_text_unavailable","refs_checked":0,"scope":"Paper body text scanned for literal AI-assistant artifacts.","status":"skipped","version":"1.0.0"}],"observed_at":"2026-06-05T03:29:14.054934Z","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"}