{
  "branches": [
    "genc-local-nested-array"
  ],
  "finished": "2026-10-07T10:50:11Z",
  "gates": [
    {
      "cmd": "sha256 bootstrap/src/compiler.rs vs bootstrap/stage0/FROZEN_HASH",
      "exit": 0,
      "log": "/runs/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/frozen-hash.log",
      "name": "frozen-hash",
      "seconds": 0.0,
      "summary": "FROZEN_HASH matches compiler.rs (e79cea066fe3)"
    },
    {
      "cmd": "cargo build --release -p t27c -p tri",
      "exit": 0,
      "log": "/runs/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/build.log",
      "name": "build",
      "seconds": 27.1,
      "summary": "Finished `release` profile [optimized] target(s) in 27.06s"
    },
    {
      "cmd": "./target/release/t27c suite --repo-root . --corpus-only --ratchet --json {run}/suite.json",
      "exit": 1,
      "log": "/runs/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/suite.log",
      "name": "suite",
      "seconds": 152.1,
      "summary": "Error: RATCHET FAILED"
    },
    {
      "cmd": "cargo test --release -p t27c --test icarus_lowerable corpus_classifier_matches_lean_completeness",
      "exit": 0,
      "log": "/runs/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/lean.log",
      "name": "lean",
      "seconds": 28.4,
      "summary": "test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 358 filtered out; finished in 0.59s"
    },
    {
      "cmd": "python3 tools/check_seal_currency.py",
      "exit": 0,
      "log": "/runs/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/seal-currency.log",
      "name": "seal-currency",
      "seconds": 15.2,
      "summary": "NOTE: 2 seal(s) ledgered `stale` now hold for their generated code: TriBellmanFord.json, graph_TriBellmanFord.json. Shrink the ledger with tools/check_seal_coverage.py --update-baseline."
    },
    {
      "cmd": "python3 tools/check_seal_coverage.py",
      "exit": 0,
      "log": "/runs/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/seal-coverage.log",
      "name": "seal-coverage",
      "seconds": 37.2,
      "summary": "OK: 1484 seals, 1343 hold, 141 known-broken (74 dangling, 5 no-spec-path, 15 phantom, 26 stale, 21 tests-fail) listed in seal_baseline.txt"
    },
    {
      "cmd": "python3 tools/ci/check_specs_still_parse.py --base origin/master",
      "exit": 0,
      "log": "/runs/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/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/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/specs-generate.log",
      "name": "specs-generate",
      "seconds": 13.1,
      "summary": "OK: 1657 specs, 1651 generate, 6 known-broken in specs_generate_baseline.txt"
    },
    {
      "cmd": "./target/release/tri misread --list",
      "counts": {
        "pairs": 0,
        "refused": 0,
        "silent": 0
      },
      "exit": 0,
      "log": "/runs/bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14/misread.log",
      "name": "misread",
      "report_only": true,
      "seconds": 24.9,
      "summary": "0 of 0 pair(s) silent, 0 refused by typecheck"
    }
  ],
  "host": {
    "cpus": 24,
    "mem_gb": 24.0
  },
  "red_gates": [
    "suite"
  ],
  "repo": "https://github.com/gHashTag/t27.git",
  "sha": "bd8a2d1d45e8017874ccb480ea6a8e8c9a7c8a14",
  "started": "2026-10-07T10:45:11Z",
  "verdict": "red"
}