[gHashTag]

Full HUD layout for T27F Live M3. Pure function of work_graph + frame (FR-001). Test-report: 6/6, 0 vacuous. Seal saved. Refs #10262

[github-actions]

PR Dashboard

Generated at: 2026-10-23 16:16:32 UTC

• spec(t27f): hud full layout — status bar, task cards (Closes #10262) #11846 spec(t27f): hud full layout — status bar, task cards (Closes #10262) | Created: 2026-10-23 | Updated: 2026-10-23 | 27 failing / 28 total
• fix(tri): NONE sentinels are 4294967295, not 2^64-1 -- wasm32 usize (Refs #11840) #11845 fix(tri): NONE sentinels are 4294967295, not 2^64-1 -- wasm32 usize (Refs #11840) | Created: 2026-10-23 | Updated: 2026-10-23 | 7 failing / 32 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 / 37 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
• 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).

[tri-claw]

Summary by t27-bees

Checked by the t27 compiler

_{t27c parse, parse-complete and typecheck on each changed .t27 file at fa2fd7d. 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.

Read by the model

This PR replaces the minimal hud_scene stub with a full HudScene record that captures status bar presence, per-node task cards (kind + provenance label), and element counts. The change makes the HUD a pure function of work_graph + frame (FR-001), adds comprehensive tests for card counts, status bar logic, frame independence, and kind/label fidelity, and introduces an HUD_ABSENT sentinel for the missing status bar.

Worth a look

• specs/t27f/hud.t27:62–63 — HudScene uses fixed [2048]u8 arrays for card_kind and card_label. The code asserts n <= NODE_CAP but never checks NODE_CAP <= 2048; if the work graph capacity grows past 2048, the scene will silently overflow or fail to compile.
• specs/t27f/hud.t27:84–85 — hud_new_scene() initializes arrays with [0] ** 2048. If the language expects a different repeat syntax (e.g., [0; 2048]), this will not compile; the diff shows the file typechecks, but the syntax is worth verifying against the compiler's array literal rules.
• specs/t27f/hud.t27:103–104 — hud_scene_of sets s.status_bar = HUD_ABSENT then conditionally overwrites it, but hud_status_bar_count(wg) is called after to compute element_count. The logic is consistent today, but the order is fragile: if hud_status_bar_count ever diverges from the n > 0 check, element_count will disagree with status_bar.
• specs/t27f/hud.t27:112 — hud_scene now takes *WorkGraph (pointer) whereas the original took WorkGraph by value. Call sites outside this file (if any) will need updating; the diff doesn't show other files, so this could be a breaking API change.
• specs/t27f/hud.t27:120 — hud_mirror signature changed to *WorkGraph but body still returns 0 with a TODO. The comment says mirror construction "lands in the next spec", so this is a known stub, but the pointer change propagates the same API shift as above.

---

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