{
  "schema_version": 1,
  "status": "passed",
  "checked_at": "2026-10-21T00:36:13.342413Z",
  "description": "Lean and nanoda passed; permitted-axiom audit passed",
  "receipt_url": "https://github.com/bigospeedrun/verifier/actions/runs/39515983587",
  "artifact_path": "sources/direct-issue-30-39515983587-1.zip",
  "artifact_sha256": "906396a07f54667451c812cd9304ffe523e96258f990e3011147cc639bef5828",
  "source_receipt_path": "sources/direct-issue-30-39515983587-1-source.json"
}