{
  "schema_version": 1,
  "status": "passed",
  "checked_at": "2026-10-11T03:35:39.209230Z",
  "description": "Lean and nanoda passed; permitted-axiom audit passed",
  "receipt_url": "https://github.com/bigospeedrun/verifier/actions/runs/38106559475",
  "artifact_path": "sources/maintainer-dft-e8-38106559475.zip",
  "artifact_sha256": "a7fe70f75edbb536c8dfb4310c1a1ec5b44920bb4a63fc3b9d20a9cbda04f259",
  "source_receipt_path": "sources/maintainer-dft-e8-38106559475-source.json"
}