gates: drop the code font from the planned tri boiler (Closes #12488) by gHashTag · Pull Request #12489 · Trinity-S-AI-DNA/t27

gHashTag · 2026-10-25T16:18:05Z

What

.claude/skills/boilerplate-loop/SKILL.md line 77: the planned command tri boiler loses its backticks. One line, prose only.

Why

Documented t27c subcommands exist has been red on master since 4f1c99a (#12458): "dead tri mentions rose 86 -> 87". The matcher (HIT in tools/check_documented_commands_exist.py) keys on a backtick before the command; the line starts with prose, so the anchored matcher does not read it either. The plan item stays readable; the ceiling MAX_DEAD_TRI = 86 is unchanged. The PR that adds tri boiler restores the code font.

Measured

The failing log of master run 40208825572 names exactly one new mention (.claude/skills/boilerplate-loop/SKILL.md:77, tri boiler). Added doc lines between the last green master run (bd3fd64) and 4f1c99a contain no other dead tri name. The check itself is the proof: it runs on this PR.

🤖 Generated with Claude Code

…ate-loop skill (Closes #12488) The check "Documented t27c subcommands exist" has been red on master since 4f1c99a (#12458): dead tri mentions rose 86 -> 87. The one new mention is the backticked tri boiler on line 77 of .claude/skills/boilerplate-loop/SKILL.md, a command the epic plans (item F) but that does not exist yet. The matcher keys on a backtick before the command, so the plain words keep the plan readable and stop counting. Restore the backticks in the PR that adds the command. One line changed, prose only; the ceiling MAX_DEAD_TRI stays 86. Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-25T16:40:39Z

PR Dashboard

Generated at: 2026-10-25 16:40:31 UTC

ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) #12492 ci(elab): baseline rows for the five specs/fpga modules the #12430 merge started emitting (Closes #12491) | Created: 2026-10-25 | Updated: 2026-10-25 | 19 failing / 31 total
gates: drop the code font from the planned tri boiler (Closes #12488) #12489 gates: drop the code font from the planned tri boiler (Closes #12488) | Created: 2026-10-25 | Updated: 2026-10-25 | 13 failing / 31 total
fix(seal): re-save the T27osFrameGate seal that #12467 left stale (Closes #12486) #12487 fix(seal): re-save the T27osFrameGate seal that #12467 left stale (Closes #12486) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 32 total
policy: foreign exception for the AX7203 WASM board top (Refs #12456) #12483 policy: foreign exception for the AX7203 WASM board top (Refs #12456) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 31 total
spec(t27os): the release leg card and its law, dispatch-only, owner yes gate (Refs #12479) #12480 spec(t27os): the release leg card and its law, dispatch-only, owner yes gate (Refs #12479) | Created: 2026-10-25 | Updated: 2026-10-25 | 35 failing / 38 total
spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) #12472 spec(t27os): lab_legs names the scheduled run's specs through one fallback (Closes #12469) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
numeric: drop the dead braceless invariant the parser discarded in zphi_alu.t27, reseal (Closes #12464) #12465 numeric: drop the dead braceless invariant the parser discarded in zphi_alu.t27, reseal (Closes #12464) | Created: 2026-10-25 | Updated: 2026-10-25 | 9 failing / 37 total
ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) #12457 ci(fpga-build): synthesise the AX7203 WASM cell with a utilisation receipt (Closes #12411) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 38 total
ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) #12455 ci: regenerate gen/rust sha256.rs and bench_boards.rs, the specs moved last (Closes #12435) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 41 total
dupe: trigit verbs write through handoff's put_lit, one copy of the loop (Closes #12419) #12429 dupe: trigit verbs write through handoff's put_lit, one copy of the loop (Closes #12419) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 36 total
spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) #12414 spec(crons): QUEUE-STEP queue_verdict -- drop superseded lab pairs, own night/ first (Closes #12412) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) #12408 spec(t27f): the graph view backdrop is brand black #000000 (Closes #12406) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 36 total
feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) #12405 feat(fpga): wasm_board_ax7203 P7 -- i64 pairs on the operand stack for DOOM's FixedMul (Closes #12371) | Created: 2026-10-25 | Updated: 2026-10-25 | 30 failing / 34 total
spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) #12402 spec(t27os): Info.plist opts out of App Nap so the heartbeat keeps its 300 s period (Closes #12400) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) #12398 spec(tri): preflight push rule -- a push runs the nine labs gates first (Refs #11783) | Created: 2026-10-25 | Updated: 2026-10-25 | 1 failing / 45 total
spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) #12397 spec(crons): SELF-CRITICAL closes an own night PR already on master before repairing it (Closes #12396) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 36 total
feat(gen-verilog): a module array whose start value is a repeat literal gets its fill, not an empty initial (Closes #12298) #12394 feat(gen-verilog): a module array whose start value is a repeat literal gets its fill, not an empty initial (Closes #12298) | Created: 2026-10-25 | Updated: 2026-10-25 | 7 failing / 48 total
crons: the t27os queen-feed card -- batch-pull export of the Queen actor events (Refs #12384.) #12393 crons: the t27os queen-feed card -- batch-pull export of the Queen actor events (Refs #12384.) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
spec(t27f): live_fleet.t27 -- the /t27f/live/ fleet panel reads /queen/public-activity (Closes #12382) #12383 spec(t27f): live_fleet.t27 -- the /t27f/live/ fleet panel reads /queen/public-activity (Closes #12382) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 36 total
t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) #12378 t27b(wasm): floor 17 -- the LOCALS MOUNT (statement bodies lower, fact word 11 feeds the walk) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) #12373 spec(t27os): version digits from the release constants; seal the 35 never-sealed specs (Closes #12372) | Created: 2026-10-25 | Updated: 2026-10-25 | 22 failing / 36 total
feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) #12364 feat(gen-verilog): a 64 KiB byte array with one read and one write site gets its own clocked process (Closes #12297) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 49 total
feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames #12356 feat(fpga): wasm_board_ax7203 P6 -- if/else, call/return, call_indirect, globals on the existing frames | Created: 2026-10-25 | Updated: 2026-10-25 | 29 failing / 34 total
fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) #12338 fix(gen-verilog): a cast to a wider integer widens the Verilog expression (Closes #12296) | Created: 2026-10-25 | Updated: 2026-10-25 | 7 failing / 47 total
spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) #12333 spec(t27os): the t27b leg runs after a red t27c gate, so an @extern spec gets its compiler (Closes #12332) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 37 total
spec(tri/t27b): wasm floor 17 grafted + its two QUESTIONs answered + the live_gx_wasm card (the mount's adapter patch preserved) #12308 spec(tri/t27b): wasm floor 17 grafted + its two QUESTIONs answered + the live_gx_wasm card (the mount's adapter patch preserved) | Created: 2026-10-25 | Updated: 2026-10-25 | 4 failing / 38 total
fpga: wasm_board_ax7203 P5 -- one 64 KiB linear memory page, ten memory opcodes (Closes #12202) #12304 fpga: wasm_board_ax7203 P5 -- one 64 KiB linear memory page, ten memory opcodes (Closes #12202) | Created: 2026-10-25 | Updated: 2026-10-25 | 29 failing / 34 total
spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) #12181 spec(fpga): wasm board P5 -- float arithmetic on the words (0x92/0x93/0x94, the truncation floor) | Created: 2026-10-25 | Updated: 2026-10-25 | 5 failing / 45 total
bees README: the 2026-10-25 key and model probe matrix #12177 bees README: the 2026-10-25 key and model probe matrix | Created: 2026-10-25 | Updated: 2026-10-25 | 2 failing / 30 total
t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) #12172 t27b(wasm): M-D -- and/or/xor/shl/shr lower; the law's floor 13 (Refs #11983 #11840 Trinity-S-AI-DNA/t27os#3) | Created: 2026-10-25 | Updated: 2026-10-25 | 0 failing / 2 total
crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee #12169 crons: the trinity auto-merge card -- ten-minute sweep, dispatch half live, merge half waiting for the bee | Created: 2026-10-25 | Updated: 2026-10-25 | 6 failing / 45 total
spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) #12167 spec(fpga): wasm board P6 -- the 64-bit datapath design floor (STACK_2x32, OP_RUN_USER64) | Created: 2026-10-25 | Updated: 2026-10-25 | 3 failing / 46 total
fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) #12061 fpga(wasm): block/loop/br/br_if/br_table and the label stack in the board cell -- scan submachine, fuel guard, five baked control-flow programs (Closes #12010) | Created: 2026-10-24 | Updated: 2026-10-25 | 29 failing / 34 total
fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) #12060 fpga(wasm): the 24 single-clock i32 ALU opcodes have one home -- alu_arity/alu_eval in the cell, the table oracle calls them (Closes #12011) | Created: 2026-10-24 | Updated: 2026-10-25 | 25 failing / 34 total
T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) #12035 T27 OS: calls, chat, cabinet, LAN self-update, H.264 30 fps video, IPv6 calls and reach U1-U2 (Closes #12034) | Created: 2026-10-24 | Updated: 2026-10-24 | 7 failing / 37 total
spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) #12025 spec(widgets): analog-v01-acceptance, the SAR ADC acceptance scoreboard of t27 analog v0.1 as a spec-generated widget (Refs #11972) | Created: 2026-10-24 | Updated: 2026-10-24 | 5 failing / 40 total
t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) #12013 t27f: live_chat -- talk to the Queen on the live screen, tokens over the one wire (Closes #12006) | Created: 2026-10-24 | Updated: 2026-10-24 | 4 failing / 39 total
gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) #12004 gen-rust: E0381 undefined-array zero-init -- one emission copy (Refs #5980) | Created: 2026-10-24 | Updated: 2026-10-24 | 8 failing / 51 total
spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) #11948 spec(t27os): hive canvas render-path tests (t27os#19 criterion 1) | Created: 2026-10-24 | Updated: 2026-10-24 | 2 failing / 37 total
test(t27f): frame_render clears the raster before it blends (Refs #3) #11922 test(t27f): frame_render clears the raster before it blends (Refs #3) | Created: 2026-10-23 | Updated: 2026-10-24 | 4 failing / 28 total
spec(crons): the lab.yml verdict step as t27 law (t27os#9) #11894 spec(crons): the lab.yml verdict step as t27 law (t27os#9) | Created: 2026-10-23 | Updated: 2026-10-23 | 8 failing / 33 total
spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) #11891 spec(crons): the lab.yml encoder step as t27 law -- M6 only, distro ffmpeg first, never fatal (Refs #11873) | Created: 2026-10-23 | Updated: 2026-10-25 | 4 failing / 36 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-24 | 7 failing / 45 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-24 | 7 failing / 57 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-24 | 7 failing / 45 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-24 | 4 failing / 41 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-24 | 3 failing / 47 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-24 | 6 failing / 40 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

Summary

Status	Count
Total Open PRs	50
PRs with Failing Checks	41
PRs with All Checks Green	9
READY	2
FAILING	41
PENDING	0
NO CHECKS YET	0

These columns do not partition: 2 + 41 + 0 + 0 = 43, and there are 50 open PRs. A PR is being counted twice or not at all.

Seal Status

⚠️ STALE -- sha256(compiler.rs)=75249fe1efad != 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).

gHashTag · 2026-10-25T16:51:00Z

Merge basis (hand-merge under the rule of 2026-10-25 16:50, owner veto default from 2026-10-26 12:00 +07), head bdbeed4:

The four required checks of ruleset t27-master-protection are green on this head: validate, check-linked-issue, parse-ratchet, own-language. Documented t27c subcommands exist (the check this PR exists to fix) is green too.
Diff: one line in .claude/skills/boilerplate-loop/SKILL.md (1 insertion, 1 deletion), markdown only. It cannot change how any spec parses or whether any seal holds.
The two reds were read in their logs and are inherited:
- coverage: "2 seal(s) newly do not hold" = fpga_FpgaHdmiGrab.json (seal-coverage and spec-guards red on master: stale FpgaHdmiGrab seal re-added by #12430 #12461, fix PR 12462) and t27os_T27osFrameGate.json (seal: T27osFrameGate stale on master after e376a06e99 (spec-guards red on every PR) #12485, spec-guards red on master: stale T27osFrameGate seal after #12467 changed frame_gate.t27 #12486), both [stale].
- Corpus ratchet: "UNEXPECTED FAILURES: 30", among them specs/numeric/zphi_alu.t27 (Corpus Ratchet red on master: zphi_alu.t27 discards a braceless invariant body (parse-no-discard, 61 tokens) #12464, fix PR 12465) and specs/port/scripts/gen_w631.t27 / gen_w632.t27 [parse-no-discard]; gen_w631.t27 arrived on master with 4f1c99a, not with this branch.
Not complete: L1 Traceability Summary (pending; Check L1 TRACEABILITY itself passed). Precedent: PRs 12468, 12475, 12482.
Not done: the 30 ratchet failures other than zphi_alu were not individually traced to an issue; they are not caused by this diff.

🤖 Addressed by Claude Code

gHashTag mentioned this pull request Oct 25, 2026

test(analog): accept_sar mutation gaps closed, gate passed (Closes #12431) #12482

Merged

gHashTag merged commit 407a081 into master Oct 25, 2026
29 of 31 checks passed

This was referenced Oct 25, 2026

docs(analog): census note covers all 17 specs -- six measured runs written up (Refs #12241) #12501

Merged

epic(fpga): DOOM on the AX7203 -- status and progress dashboard of the WASM board stack #12387

Closed

gHashTag deleted the lane/gate-dead-tri-boiler-12488 branch October 26, 2026 03:40

Navigation Menu

Repository navigation

gates: drop the code font from the planned tri boiler (Closes #12488) - #12489

gates: drop the code font from the planned tri boiler (Closes #12488)#12489
gHashTag merged 1 commit into
masterfrom
lane/gate-dead-tri-boiler-12488

gHashTag commented Oct 25, 2026

Uh oh!

github-actions Bot commented Oct 25, 2026

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 25, 2026

What

Why

Measured

Uh oh!

github-actions Bot commented Oct 25, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

gHashTag commented Oct 25, 2026

Uh oh!

Uh oh!

Reviewers

Uh oh!

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant