{
  "branches": [
    "master"
  ],
  "finished": "2026-10-07T07:58:21Z",
  "gates": [
    {
      "cmd": "sha256 bootstrap/src/compiler.rs vs bootstrap/stage0/FROZEN_HASH",
      "exit": 0,
      "log": "/runs/e45ba566d08f5bb36de304ca7061a202d37d58de/frozen-hash.log",
      "name": "frozen-hash",
      "seconds": 0.0,
      "summary": "FROZEN_HASH matches compiler.rs (1aa228450491)"
    },
    {
      "cmd": "cargo build --release -p t27c -p tri",
      "exit": 0,
      "log": "/runs/e45ba566d08f5bb36de304ca7061a202d37d58de/build.log",
      "name": "build",
      "seconds": 0.2,
      "summary": "Finished `release` profile [optimized] target(s) in 0.17s"
    },
    {
      "cmd": "./target/release/t27c suite --repo-root . --corpus-only --ratchet --json {run}/suite.json",
      "exit": 1,
      "log": "/runs/e45ba566d08f5bb36de304ca7061a202d37d58de/suite.log",
      "name": "suite",
      "seconds": 151.4,
      "summary": "Error: RATCHET FAILED"
    },
    {
      "cmd": "cargo test --release -p t27c --test icarus_lowerable corpus_classifier_matches_lean_completeness",
      "exit": 0,
      "log": "/runs/e45ba566d08f5bb36de304ca7061a202d37d58de/lean.log",
      "name": "lean",
      "seconds": 0.8,
      "summary": "test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 358 filtered out; finished in 0.63s"
    },
    {
      "cmd": "python3 tools/check_seal_currency.py",
      "exit": 1,
      "log": "/runs/e45ba566d08f5bb36de304ca7061a202d37d58de/seal-currency.log",
      "name": "seal-currency",
      "seconds": 15.7,
      "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": 1,
      "log": "/runs/e45ba566d08f5bb36de304ca7061a202d37d58de/seal-coverage.log",
      "name": "seal-coverage",
      "seconds": 36.1,
      "summary": "produces."
    },
    {
      "cmd": "python3 tools/ci/check_specs_still_parse.py --base origin/master",
      "exit": 0,
      "log": "/runs/e45ba566d08f5bb36de304ca7061a202d37d58de/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/e45ba566d08f5bb36de304ca7061a202d37d58de/specs-generate.log",
      "name": "specs-generate",
      "seconds": 11.7,
      "summary": "OK: 1622 specs, 1616 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/e45ba566d08f5bb36de304ca7061a202d37d58de/misread.log",
      "name": "misread",
      "report_only": true,
      "seconds": 22.5,
      "summary": "0 of 0 pair(s) silent, 0 refused by typecheck"
    }
  ],
  "host": {
    "cpus": 24,
    "mem_gb": 24.0
  },
  "red_gates": [
    "suite",
    "seal-currency",
    "seal-coverage"
  ],
  "repo": "https://github.com/gHashTag/t27.git",
  "sha": "e45ba566d08f5bb36de304ca7061a202d37d58de",
  "started": "2026-10-07T07:54:21Z",
  "verdict": "red"
}