{"as_of":"2026-07-19T18:23:00Z","canonical_paper_id":"OBDSSZ6Z","canonical_url":"https://pith.science/paper/OBDSSZ6Z/integrity","context_digest":"sha256:bf3fc84f9b100c74dc69ba72a5abbb9e3522641f726e397249b647c552e1fb8d","coverage_summary":[{"count":3,"denominator":6,"note":"Counted as completed checks in the claim sentence numerator.","state":"completed"},{"count":3,"denominator":6,"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.06468","bundle_json":"/pith/OBDSSZ6ZKU7NVAMAFNR3NBJFRV/bundle.json","citation_record":"/paper/OBDSSZ6Z/citation-record","evidence":"/evidence","html":"/paper/OBDSSZ6Z/integrity","integrity_json":"/paper/OBDSSZ6Z/integrity.json","json":"/paper/OBDSSZ6Z/integrity.json","legacy_integrity_json":"/pith/OBDSSZ6Z/integrity.json","paper":"/paper/OBDSSZ6Z","reference_changes":"/flags?citing=OBDSSZ6Z"},"paper":{"arxiv_id":"2606.06468","latest_version":1,"primary_cat":"cs.AI","title":"Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement"},"pith_number":"pith:2026:OBDSSZ6ZKU7NVAMAFNR3NBJFRV","pith_short":"OBDSSZ6ZKU7NVAMAFNR3NBJFRV","record":{"arxiv_id":"2606.06468","claim":"As of 5 June 2026, Pith completed 3 of 6 listed checks against arXiv:2606.06468. The completed checks produced no public findings within their stated scope. 3 checks were skipped and produced no result.","counts":{"completed":3,"failed":0,"listed":6,"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":"external_links","ran_at":"2026-06-05T17:32:04.210951Z","reason":null,"reason_code":null,"refs_checked":0,"scope":"External URLs extracted from paper text checked at the stated time.","status":"completed","version":"1.0.0"},{"counts_as_completed":false,"duration_ms":0,"findings_count":0,"name":"citation_quote_validity","ran_at":"2026-06-05T01:51:10.980222Z","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":false,"duration_ms":0,"findings_count":0,"name":"shingle_duplication","ran_at":"2026-06-05T01:50:34.015352Z","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":"ai_meta_artifact","ran_at":"2026-06-05T01:35:49.250767Z","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"},{"counts_as_completed":true,"duration_ms":0,"findings_count":0,"name":"claim_evidence","ran_at":"2026-06-05T01:29:12.993784Z","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":0,"findings_count":0,"name":"cited_work_retraction","ran_at":"2026-06-05T01:27:40.018836Z","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-06-05T17:32:04.210951Z","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"}