{
  "branches": [
    "master"
  ],
  "finished": "2026-10-04T19:37:18Z",
  "gates": [
    {
      "cmd": "sha256 bootstrap/src/compiler.rs vs bootstrap/stage0/FROZEN_HASH",
      "exit": 0,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/frozen-hash.log",
      "name": "frozen-hash",
      "seconds": 0.0,
      "summary": "FROZEN_HASH matches compiler.rs (8597b6ded596)"
    },
    {
      "cmd": "cargo build --release -p t27c -p tri",
      "exit": 0,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/build.log",
      "name": "build",
      "seconds": 27.8,
      "summary": "Finished `release` profile [optimized] target(s) in 27.78s"
    },
    {
      "cmd": "./target/release/t27c suite --repo-root . --corpus-only --ratchet --json {run}/suite.json",
      "exit": 0,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/suite.log",
      "name": "suite",
      "seconds": 96.4,
      "summary": "RATCHET CLEAN -- no unexpected failures, passes, expiries, discard drift, or gate drift"
    },
    {
      "cmd": "cargo test --release -p t27c --test icarus_lowerable corpus_classifier_matches_lean_completeness",
      "exit": 0,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/lean.log",
      "name": "lean",
      "seconds": 26.2,
      "summary": "test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 358 filtered out; finished in 0.57s"
    },
    {
      "cmd": "python3 tools/check_seal_currency.py",
      "exit": 1,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/seal-currency.log",
      "name": "seal-currency",
      "seconds": 7.6,
      "summary": "verification_BuildVerify.json  (specs/fpga/verification/build_verify.t27)"
    },
    {
      "cmd": "python3 tools/check_seal_coverage.py",
      "exit": 1,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/seal-coverage.log",
      "name": "seal-coverage",
      "seconds": 23.0,
      "summary": "produces."
    },
    {
      "cmd": "python3 tools/ci/check_specs_still_parse.py --base origin/master",
      "exit": 0,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/specs-parse.log",
      "name": "specs-parse",
      "seconds": 0.0,
      "summary": "ok: this change touches no .t27 file"
    },
    {
      "cmd": "python3 tools/check_specs_generate.py",
      "exit": 0,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/specs-generate.log",
      "name": "specs-generate",
      "seconds": 6.4,
      "summary": "OK: 1313 specs, 1307 generate, 6 known-broken in specs_generate_baseline.txt"
    },
    {
      "cmd": "./target/release/tri misread --list",
      "counts": {
        "pairs": 35,
        "refused": 35,
        "silent": 0
      },
      "exit": 0,
      "log": "/runs/77e5c44c5da601c57a694e2da62e2cbf35de1539/misread.log",
      "name": "misread",
      "report_only": true,
      "seconds": 12.7,
      "summary": "0 of 35 pair(s) silent, 35 refused by typecheck"
    }
  ],
  "host": {
    "cpus": 24,
    "mem_gb": 24.0
  },
  "red_gates": [
    "seal-currency",
    "seal-coverage"
  ],
  "repo": "https://github.com/gHashTag/t27.git",
  "sha": "77e5c44c5da601c57a694e2da62e2cbf35de1539",
  "started": "2026-10-04T19:33:57Z",
  "verdict": "red"
}