{
  "state": "passed",
  "checked_at": "2026-10-10T14:25:46.083751Z",
  "observed_at": "2026-10-10T14:57:54Z",
  "summary": "Both kernel checks passed: Lean and nanoda.",
  "run_url": "https://github.com/bigospeedrun/verifier/actions/runs/38050668997",
  "source_commit": "837dc3130adc79f7b7ab4ddd56c15576bbd766b0",
  "verifier_commit": "6551945e441b57c1b14f9ad8942ee5db1e05eb96",
  "score": "47171/62500000",
  "score_relation": "attained",
  "scope": "All-positive-length exact DFT and convolution in the OpenAI family-130 exact scalar/index RAM model; transform_mainY and convolution_mainY.",
  "lean_kernel": "passed",
  "axiom_audit": {
    "OAI.PowerSaving.convolution_mainY": [
      "propext",
      "Classical.choice",
      "Quot.sound"
    ],
    "OAI.PowerSaving.transform_mainY": [
      "propext",
      "Classical.choice",
      "Quot.sound"
    ]
  },
  "second_kernel": {
    "name": "nanoda",
    "state": "passed"
  },
  "upstream_workflow_conclusion": "success",
  "upstream_receipt_status": "passed",
  "site_tier_basis": "Both independent kernel checks and the permitted-axiom audit passed for the exact DFT and convolution statements.",
  "artifact_path": "sources/sussman-boukhalfa-dft-upstream-receipt.json",
  "artifact_sha256": "e8486e564d7efd2259a3186688d6d88077a6976fa82d30ca41753bebdad6d5c0",
  "log_path": "sources/sussman-boukhalfa-dft-verification.log",
  "log_sha256": "ba3d471e7d222d1a76363954d845ab65288a495c40ab80ded85557d3ebe1905a",
  "log_description": "Combined unchanged lean.log, audit.log and nanoda.log, with file-name separators; original hashes remain in the upstream receipt."
}