{
  "checked_at_utc": "2026-10-13T01:22:11.300302+00:00",
  "requested_toolchain": "leanprover/lean4:v4.34.1",
  "default_toolchain": "leanprover/lean4:v4.34.1",
  "upstream_release": "https://github.com/leanprover/lean4/releases/tag/v4.34.1",
  "installation_path": "leanprover--lean4---v4.34.1",
  "smoke_source": "outputs/lean-4.34.1-smoke.lean",
  "smoke_source_sha256": "3c25060ae3a4a6cad935ecf903b2391ffa44d56961900051ba0ed7f3798529e6",
  "verification": [
    {
      "command": [
        "lean",
        "--version"
      ],
      "cwd": "heretic",
      "exit_status": 0,
      "stdout": "Lean (version 4.34.1, aarch64-unknown-linux-gnu, commit 5045d0056413266e57c625dcd7c365b10e377c52, Release)",
      "stderr": ""
    },
    {
      "command": [
        "lake",
        "--version"
      ],
      "cwd": "heretic",
      "exit_status": 0,
      "stdout": "Lake version 5.0.0-src+5045d00 (Lean version 4.34.1)",
      "stderr": ""
    },
    {
      "command": [
        "lean",
        "--version"
      ],
      "cwd": "lean",
      "exit_status": 0,
      "stdout": "Lean (version 4.34.1, aarch64-unknown-linux-gnu, commit 5045d0056413266e57c625dcd7c365b10e377c52, Release)",
      "stderr": ""
    },
    {
      "command": [
        "lean",
        "-o",
        "lean4341-smoke.olean",
        "lean4341-smoke.lean"
      ],
      "cwd": "/tmp",
      "exit_status": 0,
      "stdout": "'toolchain_smoke' does not depend on any axioms",
      "stderr": ""
    }
  ],
  "additional_tools_on_path": {
    "comparator": null,
    "landrun": null,
    "lean4export": null
  },
  "paper_build_performed": false,
  "strict_comparator_performed": false,
  "existing_project_toolchain_pins_changed": false
}