{
  "schema_version": 1,
  "status": "passed",
  "checked_at": "2026-10-11T14:04:34.709092Z",
  "description": "Lean and nanoda passed; permitted-axiom audit passed",
  "receipt_url": "https://github.com/bigospeedrun/verifier/actions/runs/38142057874",
  "artifact_path": "sources/direct-pr-3-38142057874-1-final.zip",
  "artifact_sha256": "a62ef829dcd438d2fae8d7441d836e82840b2a7ad26a1c05a68876091332b6e9",
  "source_receipt_path": "sources/direct-pr-3-38142057874-1-final-source.json"
}