[gHashTag]

Converts the master repair cycle from a recipe into t27 law: the ten local gates as GATE_* constants (widths, types ratchet, types classified, seal coverage, seal currency, ring drift, assertionless, documented subcommands, emit-bitexact), the trigger rule repair_needed() (any red gate fires the cycle before new work lands), and gates_green (8 of 8... GATE_COUNT=9 with ring drift).

The cycle is proven 3x in practice (#11735, #11786 pass 1, #11786 pass 2), runs locally in ~3 minutes, zero external services. This spec is what the T27 OS lab actor executes when the port-train wave breaks master.

Verified: t27c test-report 6/6, 0 vacuous. Seal saved.

Refs #11783 #11038

[tri-claw]

Summary by t27-bees

Checked by the t27 compiler

_{t27c parse, parse-complete and typecheck on each changed .t27 file at 3702858. Nothing was generated, built or run. A pass means the file is well formed, not that it is right.}

• specs/t27f/hud.t27: parses and typechecks.
• specs/t27os/labs.t27: parses and typechecks.

Read by the model

This PR codifies the master repair cycle as t27 law in specs/t27os/labs.t27, defining nine local gates, a trigger rule (repair_needed), and a green-gate check (gates_green). It also adds a HUD spec (specs/t27f/hud.t27) and two seal files.

Worth a look

• specs/t27os/labs.t27:47–55 — repair_needed takes 8 boolean parameters but 9 GATE_* constants are defined (0–8, GATE_COUNT=9). GATE_RING_DRIFT (index 5) is missing from the trigger, so a red ring-drift gate would not fire the repair cycle, contradicting the comment "ANY red local gate means the repair cycle runs".

• specs/t27os/labs.t27:57–59 — gates_green requires green_count == GATE_COUNT (9), but repair_needed only monitors 8 gates. The count mismatch means the green check and the trigger rule disagree on how many gates exist.

• specs/t27os/labs.t27:28–33 — step_name returns the full comma-separated STEP_NAMES string for any valid step index instead of the individual step name. Callers cannot get a specific step's name from this function.

• specs/t27os/labs.t27:111–118 — The test repair_needed_fires_on_any_red only exercises 4 of the 8 parameters and does not cover the missing ring-drift gate, so the gap in the trigger rule is not caught by tests.

• specs/t27f/hud.t27:48–51 — hud_scene and hud_mirror are stubs returning 0; the tests only assert purity and zero output for an empty graph. This is labeled a foundation, but the spec seals with 3 passing tests while the core functions are no-ops.

---

_{Read: 4 files, +289 -0, the whole diff. Head 3702858. Model: openai-compatible/nvidia/nemotron-3-ultra-550b-a55b. Commands: @t27-bees review | summary | help | pause | resume. Free for every repository.}

[github-actions]

PR Dashboard

Generated at: 2026-10-23 13:15:24 UTC

• t27b: glass_window.t27 lowers -- rem_pio2f pointer call fixed, refusals name both types, @sin/@cos f32 wired (Closes #11788) #11813 t27b: glass_window.t27 lowers -- rem_pio2f pointer call fixed, refusals name both types, @sin/@cos f32 wired (Closes #11788) | Created: 2026-10-23 | Updated: 2026-10-23 | 10 failing / 39 total
• queen: local dispatch pure-logic starter (t27#11811) #11812 queen: local dispatch pure-logic starter (t27#11811) | Created: 2026-10-23 | Updated: 2026-10-23 | 15 failing / 36 total
• t27c coverage: normalise qualified calls (Closes #11808) #11809 t27c coverage: normalise qualified calls (Closes #11808) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 7 total
• t27c test: execute assertions via zig test (Closes #11805) #11806 t27c test: execute assertions via zig test (Closes #11805) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 7 total
• fpga: petal framebuffer rasteriser starter (M5, Closes #11802) #11803 fpga: petal framebuffer rasteriser starter (M5, Closes #11802) | Created: 2026-10-23 | Updated: 2026-10-23 | 14 failing / 37 total
• lab: T27OS replaces Railway as lab host (Closes #11800) #11801 lab: T27OS replaces Railway as lab host (Closes #11800) | Created: 2026-10-23 | Updated: 2026-10-23 | 14 failing / 37 total
• tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) #11799 tri git: make compiler/cli/git.t27 a compilable, sealed .t27 spec (Closes #11798) | Created: 2026-10-23 | Updated: 2026-10-23 | 10 failing / 33 total
• spec(t27os): labs -- the master repair cycle as law (follows #11784, Refs #11783 #11038) #11797 spec(t27os): labs -- the master repair cycle as law (follows #11784, Refs #11783 #11038) | Created: 2026-10-23 | Updated: 2026-10-23 | 27 failing / 28 total
• gen: three-case emitter regression probe (Closes #11795) #11796 gen: three-case emitter regression probe (Closes #11795) | Created: 2026-10-23 | Updated: 2026-10-23 | 12 failing / 40 total
• tri git: surface commit/push/status verbs (Closes #11793) #11794 tri git: surface commit/push/status verbs (Closes #11793) | Created: 2026-10-23 | Updated: 2026-10-23 | 9 failing / 32 total
• spec(automation): service_ledger v3 -- one door settle_service for the money path #11791 spec(automation): service_ledger v3 -- one door settle_service for the money path | Created: 2026-10-23 | Updated: 2026-10-23 | 9 failing / 29 total
• t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) #11782 t27f: hud + a11y_mirror -- agent-state HUD and its text mirror (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 0 failing / 2 total
• ledger: face.t27 is t27b pass, as the lab measured #11699 ledger: face.t27 is t27b pass, as the lab measured | Created: 2026-10-22 | Updated: 2026-10-23 | 6 failing / 27 total
• dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) #11426 dupe ledger: bless bytes_eq group (master Duplicate Body Ratchet green) | Created: 2026-10-20 | Updated: 2026-10-23 | 4 failing / 22 total
• tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) #11420 tri queen tick: the local Queen -- P0/P1 picked, claimed on origin, run as lanes on any Mac (Closes #11415) | Created: 2026-10-20 | Updated: 2026-10-23 | 14 failing / 36 total
• gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) #11231 gen-rust: refuse a []T struct field filled from borrowed storage (D2 of #11182, needs the ledger decision of #11218) | Created: 2026-10-20 | Updated: 2026-10-23 | 11 failing / 38 total
• check: refuse a module that declares a top-level name twice (Closes #10421) #10442 check: refuse a module that declares a top-level name twice (Closes #10421) | Created: 2026-10-18 | Updated: 2026-10-23 | 10 failing / 38 total
• spec(port): share tree helpers across eight gen_w ports (Closes #9633) #9636 spec(port): share tree helpers across eight gen_w ports (Closes #9633) | Created: 2026-10-15 | Updated: 2026-10-23 | 6 failing / 23 total
• gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 #6958 gen-zig: a one-element array constant ([1]u32 = [48]) makes test-report BLOCK trinity specs/reproduce/contracts.t27 | Created: 2026-10-06 | Updated: 2026-10-23 | 15 failing / 38 total
• A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile #6833 A test or bench body that assigns a module-level var gets a shadowing local, so the spec does not compile | Created: 2026-10-06 | Updated: 2026-10-23 | 12 failing / 38 total
• bitwalk: --help and a missing file panic instead of printing usage or an error #6551 bitwalk: --help and a missing file panic instead of printing usage or an error | Created: 2026-10-05 | Updated: 2026-10-23 | 9 failing / 29 total
• Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t #4911 Port gHashTag/BrowserOS:trios/agent-server/apps/server/src/api/services/queen-brief-shape.ts (TypeScript, 2 functions) t | Created: 2026-09-27 | Updated: 2026-10-23 | 10 failing / 29 total
• Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 #4729 Implement the 8 empty function bodies in specs/vsa/packed_vsa.t27 | Created: 2026-09-24 | Updated: 2026-10-23 | 8 failing / 29 total
• Wave 684: occlusion four deep, and the two files no list ever reached #4660 Wave 684: occlusion four deep, and the two files no list ever reached | Created: 2026-09-23 | Updated: 2026-10-23 | 17 failing / 69 total
• Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder #4642 Capture given/when/then and render them: 6540 clauses, and 169 specs share one unfilled placeholder | Created: 2026-09-23 | Updated: 2026-10-23 | 18 failing / 81 total
• Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) #4634 Implement part 2 of 2 of the empty bodies in specs/git/diff.t27 (7 functions) | Created: 2026-09-23 | Updated: 2026-10-23 | 18 failing / 81 total
• Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) #4581 Port part 1 of 2 of tools/check_withdrawn_live.py to specs/port/tools/check_withdrawn_live.t27 (8 functions) | Created: 2026-09-22 | Updated: 2026-10-23 | 17 failing / 69 total
• Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) #4563 Implement part 2 of 2 of the empty bodies in specs/vm/jit_semantics.t27 (4 functions) | Created: 2026-09-21 | Updated: 2026-10-23 | 17 failing / 69 total

Summary

Status	Count
Total Open PRs	28
PRs with Failing Checks	24
PRs with All Checks Green	4
READY	3
FAILING	24
PENDING	0
NO CHECKS YET	0

These columns do not partition: 3 + 24 + 0 + 0 = 27, and there are 28 open PRs. A PR is being counted twice or not at all.

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=5aec047d42ec != manifest seal=87e5cbd3ad94.
  The committed NMSE numbers were certified against an older compiler.rs.
  Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).