{
  "branches": [
    "claude/gen-rust-assert-bang"
  ],
  "finished": "2026-10-04T14:49:00Z",
  "gates": [
    {
      "cmd": "sha256 bootstrap/src/compiler.rs vs bootstrap/stage0/FROZEN_HASH",
      "exit": 0,
      "log": "/runs/9835bee1165c38227dc4f509ff0696af8396cfde/frozen-hash.log",
      "name": "frozen-hash",
      "seconds": 0.0,
      "summary": "FROZEN_HASH matches compiler.rs (9ecc318c5583)"
    },
    {
      "cmd": "cargo build --release -p t27c -p tri",
      "exit": 0,
      "log": "/runs/9835bee1165c38227dc4f509ff0696af8396cfde/build.log",
      "name": "build",
      "seconds": 25.0,
      "summary": "Finished `release` profile [optimized] target(s) in 24.97s"
    },
    {
      "cmd": "./target/release/t27c suite --repo-root . --corpus-only --ratchet --json {run}/suite.json",
      "exit": 0,
      "log": "/runs/9835bee1165c38227dc4f509ff0696af8396cfde/suite.log",
      "name": "suite",
      "seconds": 92.6,
      "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/9835bee1165c38227dc4f509ff0696af8396cfde/lean.log",
      "name": "lean",
      "seconds": 25.2,
      "summary": "test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 358 filtered out; finished in 0.56s"
    },
    {
      "cmd": "python3 tools/check_seal_currency.py",
      "exit": 0,
      "log": "/runs/9835bee1165c38227dc4f509ff0696af8396cfde/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": 0,
      "log": "/runs/9835bee1165c38227dc4f509ff0696af8396cfde/seal-coverage.log",
      "name": "seal-coverage",
      "seconds": 29.0,
      "summary": "OK: 1449 seals, 1325 hold, 124 known-broken (74 dangling, 5 no-spec-path, 15 phantom, 30 stale) listed in seal_baseline.txt"
    },
    {
      "cmd": "python3 tools/ci/check_specs_still_parse.py --base origin/master",
      "exit": 0,
      "log": "/runs/9835bee1165c38227dc4f509ff0696af8396cfde/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/9835bee1165c38227dc4f509ff0696af8396cfde/specs-generate.log",
      "name": "specs-generate",
      "seconds": 6.3,
      "summary": "OK: 1253 specs, 1239 generate, 14 known-broken in specs_generate_baseline.txt"
    }
  ],
  "host": {
    "cpus": 24,
    "mem_gb": 24.0
  },
  "red_gates": [],
  "repo": "https://github.com/gHashTag/t27.git",
  "sha": "9835bee1165c38227dc4f509ff0696af8396cfde",
  "started": "2026-10-04T14:45:53Z",
  "verdict": "green"
}
