{"as_of":"2026-07-18T11:14:00Z","canonical_paper_id":"JMTHKUJQ","canonical_url":"https://pith.science/paper/JMTHKUJQ/integrity","context_digest":"sha256:8269b692a3b196b548d2ef6a3d6f5f42c8ee2ce73b7e83a3ea2bfcefb23828fa","coverage_summary":[{"count":2,"denominator":4,"note":"Counted as completed checks in the claim sentence numerator.","state":"completed"},{"count":2,"denominator":4,"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.02007","bundle_json":"/pith/JMTHKUJQ2K3ITC2WALMWYCOBAQ/bundle.json","citation_record":"/paper/JMTHKUJQ/citation-record","evidence":"/evidence","html":"/paper/JMTHKUJQ/integrity","integrity_json":"/paper/JMTHKUJQ/integrity.json","json":"/paper/JMTHKUJQ/integrity.json","legacy_integrity_json":"/pith/JMTHKUJQ/integrity.json","paper":"/paper/JMTHKUJQ","reference_changes":"/flags?citing=JMTHKUJQ"},"paper":{"arxiv_id":"2606.02007","latest_version":1,"primary_cat":"cs.DC","title":"TAPAAL SMC: Statistical Model Checking of Stochastic Timed-Arc Petri Nets"},"pith_number":"pith:2026:JMTHKUJQ2K3ITC2WALMWYCOBAQ","pith_short":"JMTHKUJQ2K3ITC2WALMWYCOBAQ","record":{"arxiv_id":"2606.02007","claim":"As of 5 June 2026, Pith completed 2 of 4 listed checks against arXiv:2606.02007. The completed checks produced no public findings within their stated scope. 2 checks were skipped and produced no result.","counts":{"completed":2,"failed":0,"listed":4,"not_collected":0,"not_requested":0,"partial":0,"public_findings_from_completed":0,"skipped":2,"unavailable":0,"withheld":0},"coverage":[{"counts_as_completed":true,"duration_ms":0,"findings_count":0,"name":"claim_evidence","ran_at":"2026-06-05T09:49:22.545828Z","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":"citation_quote_validity","ran_at":"2026-06-02T17:50:56.245359Z","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-02T11:56:16.676366Z","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-02T02:35:14.109199Z","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-05T09:49:22.545828Z","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"}