{
  "schema_version": 1,
  "status": "passed",
  "checked_at": "2026-10-12T23:40:53.460955Z",
  "description": "Lean and nanoda passed; permitted-axiom audit passed",
  "receipt_url": "https://github.com/bigospeedrun/verifier/actions/runs/38318642758",
  "artifact_path": "sources/direct-pr-7-38318642758-1-final.zip",
  "artifact_sha256": "b82083f57ff239525863193aa1e2a453f7cf1f277074c0b21e5dd67318e6d856",
  "source_receipt_path": "sources/direct-pr-7-38318642758-1-final-source.json"
}