{
  "kind": "verifier_reference_control",
  "isModelTrial": false,
  "contractVersion": "1.0.0",
  "outcome": {
    "file": "evals/work-units/math/reference.lean",
    "sha256": "0ffdda9474ed340642b8f06a469a35f1bc26d7f195055fa69af8866a68ae9c7c",
    "expectedAccepted": true,
    "accepted": true,
    "checks": [
      "immutable statement",
      "Lean kernel compilation",
      "transitive axiom allowlist"
    ],
    "axioms": [
      "propext",
      "Classical.choice",
      "Quot.sound"
    ],
    "compilerOutput": "'work_unit_bound' depends on axioms: [propext, Classical.choice, Quot.sound]",
    "leanVersion": "Lean (version 4.19.0, x86_64-unknown-linux-gnu, commit 6caaee842e94, Release)",
    "mathlibRevision": "c44e0c8ee63ca166450922a373c7409c5d26b00b"
  }
}