t27t: profile the t27c CPU trainer -- 94.2% of a train_hslm step is matmul, 42.4% outer_add; four levers bounded (Closes #10850)

[gHashTag]

Closes #10850

What

• specs/ml/train_hslm.t27 gets a profile mode. It is off by default.
  • profile=1 reads the monotonic clock; profile=2 reads the thread's CPU clock.
  • Every interval between two clock reads is charged to one of 13 parts of a training step.
  • The four local kernels mark their own entry and exit. The gaps between kernel calls are attributed by the call order of nn/hslm.t27: the gap before each O matmul is the attention core.
  • Two new tests:
    • one k=27 step with the profile on and off gives the same parameter digest, so the profile moves no bit;
    • a two-window step's marks match the call order (1026 calls per kernel, 162 attention gaps each way).
• specs/t27t/t27t.t27 gets a second runner, the t27c --backend ml binary of train_hslm.
  • It holds the measured ns, the mark counts and the cost of one clock read.
  • Tests recompute every share and every lever bound from those figures.
  • What was not measured is listed in NOT_MEASURED.
• .trinity/seals/ml_train_hslm.json is re-sealed on the lab: 22/22 tests, 0 vacuous.

Measured

Railway lab, 48 cores, shared host at load 56–86, 2026-10-19. 20 steps at speed 2, loss_positions 27 (1782 scored positions per step). CPU clock, net of the clock reads:

part	share
backward outer_add (weight gradients)	42.4%
forward matmul	27.4%
backward t_add (input gradients)	24.5%
three matmul kernels together	94.2%
attention cores, fwd + bwd	1.7%
serial tail (zero, gather+clip, LAMB, requantize)	0.6%

• The wall clock (profile=1) gives the same matmul share, 94.1%, and the same biggest part. Its total closes on train_s (133.79 s).
• profile=2 costs 0.05% of s_per_step: 7.6970 s against 7.6935 s with the profile off. The losses are identical.

Lever bounds (Amdahl on the split; ceilings, not measurements)

lever	bound	new t27c --backend ml support?
(a) 66 windows on N threads, fixed-order gradient sum	7.05x at N=8, 27.5x at N=48, 46.8x at N=66; 158.8x limit (99.4% parallel)	yes: spawn/join, per-thread state
(b) f32 instead of f64 (2x on the matmuls)	1.89x	no
(c) one GEMM over 27 positions instead of a GEMV per position (27x on the matmuls)	10.75x; outer_add alone 1.69x	no
(d) int8 activations against packed trits, forward (8x)	1.31x; 1.38x if the forward matmul were free	yes: packed trits, int8 SIMD dot

• Biggest share: the backward matmuls at 66.8%; outer_add alone is 42.4%.
• Biggest lever without new backend support: (c).
• Biggest lever overall: (a), but it needs a thread primitive.

Checks (lab)

• t27c test-report on specs/t27t/t27t.t27: 17/17 pass, 5 invariants, 0 vacuous.
• t27b test on specs/t27t/t27t.t27 (arm64 under qemu): 17/17 pass, 5 invariants held.
• t27c test-report on specs/ml/train_hslm.t27: 22/22 pass, 0 vacuous.
• Mutation: one forward-matmul ns changed by 1 stops t27t from compiling at its sum invariant.

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-10-19 05:21:29 UTC

• feat(t27b): watch -- rebuild the object when a spec or its use closure is saved #10874 feat(t27b): watch -- rebuild the object when a spec or its use closure is saved | Created: 2026-10-19 | Updated: 2026-10-19 | 30 failing / 38 total
• spec(ml): train_hslm speed=3 -- one matrix over the 27 positions, bit-identical to speed=2 (Closes #10849) #10866 spec(ml): train_hslm speed=3 -- one matrix over the 27 positions, bit-identical to speed=2 (Closes #10849) | Created: 2026-10-19 | Updated: 2026-10-19 | 27 failing / 35 total
• t27b: @truncate lowers, utf8 passes; ledger rows for 8 unlisted specs, cap stays 129 (Closes #10837) #10862 t27b: @truncate + bare sqrt free 12 ledger slots; all 10 drifted specs listed, cap 139 -> 130 (Closes #10837) | Created: 2026-10-19 | Updated: 2026-10-19 | 27 failing / 35 total
• t27t: profile the t27c CPU trainer -- 94.2% of a train_hslm step is matmul, 42.4% outer_add; four levers bounded (Closes #10850) #10857 t27t: profile the t27c CPU trainer -- 94.2% of a train_hslm step is matmul, 42.4% outer_add; four levers bounded (Closes #10850) | Created: 2026-10-19 | Updated: 2026-10-19 | 12 failing / 35 total
• spec(igla): hslm_bwd_ptx -- HSLM backward dX and dW as int8 tensor-core PTX written by t27 (Closes #10847) #10855 spec(igla): hslm_bwd_ptx -- HSLM backward dX and dW as int8 tensor-core PTX written by t27 (Closes #10847) | Created: 2026-10-19 | Updated: 2026-10-19 | 24 failing / 38 total
• igla cell 25 published: the whole-model HSLM trained by t27c --backend ml is on Hugging Face (Closes #10833) #10836 igla cell 25 published: the whole-model HSLM trained by t27c --backend ml is on Hugging Face (Closes #10833) | Created: 2026-10-19 | Updated: 2026-10-19 | 6 failing / 35 total
• t27f: idea factory cover still -- COVER=1 writes the reel's settled title frame, byte for byte (Closes #10828) #10830 t27f: idea factory cover still -- COVER=1 writes the reel's settled title frame, byte for byte (Closes #10828) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 36 total
• t27f: idea factory pre-flight -- refuse an idea the font cannot draw before writing a frame #10822 t27f: idea factory pre-flight -- refuse an idea the font cannot draw before writing a frame | Created: 2026-10-19 | Updated: 2026-10-19 | 4 failing / 36 total
• t27o: Zig front end, step 1 -- zig_convert.t27 converts tier-1 fns and containers and translates the file's own tests into the oracle (Closes #10765) #10819 t27o: Zig front end, step 1 -- zig_convert.t27 converts tier-1 fns and containers and translates the file's own tests into the oracle (Closes #10765) | Created: 2026-10-19 | Updated: 2026-10-19 | 14 failing / 48 total
• t27f: idea factory batch -- five ideas cover all five presets, and the compiled binary agrees with the spec (Closes #10815) #10816 t27f: idea factory batch -- five ideas cover all five presets, and the compiled binary agrees with the spec (Closes #10815) | Created: 2026-10-19 | Updated: 2026-10-19 | 4 failing / 36 total
• t27f: idea factory picks its style preset from a hash of the idea, PRESET_AUTO (Closes #10803) #10806 t27f: idea factory picks its style preset from a hash of the idea, PRESET_AUTO (Closes #10803) | Created: 2026-10-19 | Updated: 2026-10-19 | 4 failing / 36 total
• spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) #10802 spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) | Created: 2026-10-19 | Updated: 2026-10-19 | 9 failing / 38 total
• skills: t27/idea-factory card -- TRI CLAW unpacks any idea in any particle preset (Closes #10796) #10800 skills: t27/idea-factory card -- TRI CLAW unpacks any idea in any particle preset (Closes #10796) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 36 total
• t27f: Russian ideas in the factory -- UTF-8 and a 5x7 Latin and Cyrillic font of particles (Closes #10788) #10792 t27f: Russian ideas in the factory -- UTF-8 and a 5x7 Latin and Cyrillic font of particles (Closes #10788) | Created: 2026-10-19 | Updated: 2026-10-19 | 4 failing / 36 total
• feat(t27f): T27 OS home -- the 27-petal triangle menu as one spec #10783 feat(t27f): T27 OS home -- the 27-petal triangle menu as one spec | Created: 2026-10-19 | Updated: 2026-10-19 | 1 failing / 2 total
• queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) #10591 queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) | Created: 2026-10-18 | Updated: 2026-10-19 | 1 failing / 38 total
• claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) #10572 claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) | Created: 2026-10-18 | Updated: 2026-10-18 | 0 failing / 30 total
• queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) #10567 queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) | Created: 2026-10-18 | Updated: 2026-10-19 | 1 failing / 38 total
• ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) #10557 ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) | Created: 2026-10-18 | Updated: 2026-10-19 | 3 failing / 42 total
• claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still #10548 claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still | Created: 2026-10-18 | Updated: 2026-10-19 | 0 failing / 28 total
• fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) #10481 fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) | Created: 2026-10-18 | Updated: 2026-10-18 | 2 failing / 46 total
• fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename #10464 fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename | Created: 2026-10-18 | Updated: 2026-10-18 | 7 failing / 48 total
• igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) #10456 igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 46 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-18 | 5 failing / 44 total
• demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) #10381 demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 33 total
• t27b: repair crypto and rust_convert; distinguish PR ledger lag #9637 t27b: repair crypto and rust_convert; distinguish PR ledger lag | Created: 2026-10-15 | Updated: 2026-10-15 | 3 failing / 33 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-17 | 3 failing / 33 total
• Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 #9549 Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 #9548 Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb #9485 Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 #9484 Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 #9463 Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 3 failing / 29 total
• Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 #9427 Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ #9426 Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 #9407 Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf #9345 Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t #9321 Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth #9263 Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth | Created: 2026-10-12 | Updated: 2026-10-12 | 7 failing / 29 total
• spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) #9214 spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-12 | Updated: 2026-10-12 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri #9200 Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri | Created: 2026-10-12 | Updated: 2026-10-12 | 6 failing / 29 total
• Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te #9178 Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 29 total
• Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 #9177 Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 5 failing / 32 total
• Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 #9150 Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 7 failing / 30 total
• spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) #8879 spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-11 | Updated: 2026-10-18 | 4 failing / 30 total
• Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 #8874 Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 30 total
• Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p #8873 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-02/src/ratchet_replay_window_guard.rs (Rust, 2 functions) to specs/p | Created: 2026-10-11 | Updated: 2026-10-12 | 9 failing / 31 total
• Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 #8850 Port scripts/tri-doc-sync.py (Python, 1 function) to specs/port/scripts/tri-doc-sync.t27 | Created: 2026-10-10 | Updated: 2026-10-12 | 7 failing / 33 total
• gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) #8844 gen-verilog: an entry parameter named clk/rst_n/en is declared once; a void body's last call stays a statement (Closes #5649, Closes #5650, Closes #5651) | Created: 2026-10-10 | Updated: 2026-10-19 | 11 failing / 45 total
• Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node #8834 Port gHashTag/trios:crates/trios-mesh-node/src/persist.rs (Rust, 5 functions) to specs/port/trios/crates/trios-mesh-node | Created: 2026-10-10 | Updated: 2026-10-12 | 5 failing / 32 total
• Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp #8822 Port gHashTag/trios:crates/trios-chat/rings/CR-CHAT-06/src/agent_context_window_budget_guard.rs (Rust, 1 function) to sp | Created: 2026-10-10 | Updated: 2026-10-12 | 6 failing / 32 total

Summary

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

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

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=88b8cb73ceda != 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).

[github-actions]

PR Dashboard

Generated at: 2026-10-19 06:32:25 UTC

• ledger(t27b): rows for five specs master carries unlisted (Closes #10912) #10913 ledger(t27b): rows for six specs master carries unlisted, max_not_pass 129 -> 130 (Closes #10912) | Created: 2026-10-19 | Updated: 2026-10-19 | 27 failing / 35 total
• spec(ml): train_hslm speed=4 -- int8 trit forward, error bounded against speed=2 (Closes #10875) #10908 spec(ml): train_hslm speed=4 -- int8 trit forward, error bounded against speed=2 (Closes #10875) | Created: 2026-10-19 | Updated: 2026-10-19 | 27 failing / 35 total
• spec(ml): eval_hslm mirrors train_hslm's 31 b3_* speed=3 scratch arrays (Closes #10906) #10907 spec(ml): eval_hslm mirrors train_hslm's 31 b3_* speed=3 scratch arrays (Closes #10906) | Created: 2026-10-19 | Updated: 2026-10-19 | 27 failing / 35 total
• analog M4d-b: the delay cell remembers its last edge -- repeated clkc falls within 1.8 % of ngspice PSP103, CK edges within 1 % (Closes #10848) #10898 analog M4d-b: the delay cell remembers its last edge -- repeated clkc falls within 1.8 % of ngspice PSP103, CK edges within 1 % (Closes #10848) | Created: 2026-10-19 | Updated: 2026-10-19 | 24 failing / 35 total
• feat(ml): thread primitive + train_hslm windows on N threads, bit-identical at any count (#10876) #10896 feat(ml): thread primitive + train_hslm windows on N threads, bit-identical at any count (#10876) | Created: 2026-10-19 | Updated: 2026-10-19 | 28 failing / 42 total
• t27b-loop skill: merge-tree against origin/master, FETCH_HEAD and stacked-row traps (Refs #10858) #10894 t27b-loop skill: merge-tree against origin/master, FETCH_HEAD and stacked-row traps (Refs #10858) | Created: 2026-10-19 | Updated: 2026-10-19 | 22 failing / 28 total
• analog: PSP103 drain and gate charge tables (tt, ss), the charge-aware table solver, the 500 fF inverter within 0.02 % of ngspice (Closes #10880) #10893 analog: PSP103 drain and gate charge tables (tt, ss), the charge-aware table solver, the 500 fF inverter within 0.02 % of ngspice (Closes #10880) | Created: 2026-10-19 | Updated: 2026-10-19 | 11 failing / 38 total
• feat(t27b): build record -- skip a build when nothing that feeds the object changed; --force #10890 feat(t27b): build record -- skip a build when nothing that feeds the object changed; --force | Created: 2026-10-19 | Updated: 2026-10-19 | 7 failing / 40 total
• ledger: the five rows master lacks -- sar_adc, sar_comparator_psp, mos_psp103_50c_data, worktrees/reap pass, ngram_hslm blocked; cap equals reality at 129 (Closes #10887) #10889 ledger: the five rows master lacks -- sar_adc, sar_comparator_psp, mos_psp103_50c_data, worktrees/reap pass, ngram_hslm blocked; cap equals reality at 129 (Closes #10887) | Created: 2026-10-19 | Updated: 2026-10-19 | 28 failing / 34 total
• t27t: profile the t27c CPU trainer -- 94.2% of a train_hslm step is matmul, 42.4% outer_add; four levers bounded (Closes #10850) #10857 t27t: profile the t27c CPU trainer -- 94.2% of a train_hslm step is matmul, 42.4% outer_add; four levers bounded (Closes #10850) | Created: 2026-10-19 | Updated: 2026-10-19 | 14 failing / 37 total
• spec(igla): hslm_bwd_ptx -- HSLM backward dX and dW as int8 tensor-core PTX written by t27 (Closes #10847) #10855 spec(igla): hslm_bwd_ptx -- HSLM backward dX and dW as int8 tensor-core PTX written by t27 (Closes #10847) | Created: 2026-10-19 | Updated: 2026-10-19 | 17 failing / 40 total
• igla cell 25 published: the whole-model HSLM trained by t27c --backend ml is on Hugging Face (Closes #10833) #10836 igla cell 25 published: the whole-model HSLM trained by t27c --backend ml is on Hugging Face (Closes #10833) | Created: 2026-10-19 | Updated: 2026-10-19 | 4 failing / 36 total
• t27f: idea factory cover still -- COVER=1 writes the reel's settled title frame, byte for byte (Closes #10828) #10830 t27f: idea factory cover still -- COVER=1 writes the reel's settled title frame, byte for byte (Closes #10828) | Created: 2026-10-19 | Updated: 2026-10-19 | 6 failing / 37 total
• t27f: idea factory pre-flight -- refuse an idea the font cannot draw before writing a frame #10822 t27f: idea factory pre-flight -- refuse an idea the font cannot draw before writing a frame | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 37 total
• t27o: Zig front end, step 1 -- zig_convert.t27 converts tier-1 fns and containers and translates the file's own tests into the oracle (Closes #10765) #10819 t27o: Zig front end, step 1 -- zig_convert.t27 converts tier-1 fns and containers and translates the file's own tests into the oracle (Closes #10765) | Created: 2026-10-19 | Updated: 2026-10-19 | 13 failing / 49 total
• t27f: idea factory batch -- five ideas cover all five presets, and the compiled binary agrees with the spec (Closes #10815) #10816 t27f: idea factory batch -- five ideas cover all five presets, and the compiled binary agrees with the spec (Closes #10815) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 37 total
• t27f: idea factory picks its style preset from a hash of the idea, PRESET_AUTO (Closes #10803) #10806 t27f: idea factory picks its style preset from a hash of the idea, PRESET_AUTO (Closes #10803) | Created: 2026-10-19 | Updated: 2026-10-19 | 26 failing / 34 total
• spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) #10802 spec(port): land the CR-CHAT-03 wave 3 batch -- 23 targets (Refs #8883) | Created: 2026-10-19 | Updated: 2026-10-19 | 10 failing / 36 total
• skills: t27/idea-factory card -- TRI CLAW unpacks any idea in any particle preset (Closes #10796) #10800 skills: t27/idea-factory card -- TRI CLAW unpacks any idea in any particle preset (Closes #10796) | Created: 2026-10-19 | Updated: 2026-10-19 | 8 failing / 38 total
• feat(t27f): T27 OS home -- the 27-petal triangle menu as one spec #10783 feat(t27f): T27 OS home -- the 27-petal triangle menu as one spec | Created: 2026-10-19 | Updated: 2026-10-19 | 1 failing / 2 total
• queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) #10591 queen: key_credit.t27 -- a leased contributor key earns credit only for .t27 that landed (Closes #10589) | Created: 2026-10-18 | Updated: 2026-10-19 | 1 failing / 38 total
• claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) #10572 claw: criteria.t27 + claw/criteria check -- commands settle the criteria they can (Closes #10549) | Created: 2026-10-18 | Updated: 2026-10-18 | 0 failing / 30 total
• queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) #10567 queen: key_vault.t27 -- one key store, every consumer leases, review lanes first (Closes #10564) | Created: 2026-10-18 | Updated: 2026-10-19 | 1 failing / 38 total
• ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) #10557 ci: per-PR cancel groups on 9 uncancelled workflows, one provable paths filter (Closes #10552) | Created: 2026-10-18 | Updated: 2026-10-19 | 3 failing / 42 total
• claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still #10548 claw: reel_still.t27 -- the TRI CLAW /mcp tool that renders one particle still | Created: 2026-10-18 | Updated: 2026-10-19 | 0 failing / 28 total
• fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) #10481 fix(t27c): seal --verify reads the committed gen file; compile refuses a hand-written output (draft, needs owner-approved-foreign) | Created: 2026-10-18 | Updated: 2026-10-18 | 2 failing / 46 total
• fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename #10464 fix(seal): refuse a seal file another spec owns, re-check the hash after the write, land it by rename | Created: 2026-10-18 | Updated: 2026-10-18 | 7 failing / 48 total
• igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) #10456 igla ptx v2: cp.async ring, 128x128xBK64 tile, prmt-decoded W; within 1.33x of CUTLASS s8 (Refs #10404) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 46 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-18 | 5 failing / 44 total
• demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) #10381 demo: claw/sarif alert on a spec that does not parse (DO NOT MERGE, Refs #10356) | Created: 2026-10-18 | Updated: 2026-10-18 | 6 failing / 33 total
• t27b: repair crypto and rust_convert; distinguish PR ledger lag #9637 t27b: repair crypto and rust_convert; distinguish PR ledger lag | Created: 2026-10-15 | Updated: 2026-10-15 | 3 failing / 33 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-17 | 3 failing / 33 total
• Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 #9549 Port fpga/verilog/gft_xorpercep_jtag.v (Verilog, 1 module) to specs/port/fpga/verilog/gft_xorpercep_jtag.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 #9548 Port gHashTag/trios:crates/trios-git/src/stage.rs (Rust, 2 functions) to specs/port/trios/crates/trios-git/src/stage.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb #9485 Port gHashTag/trios:crates/trios-rainbow-bridge/src/bridge.rs (Rust, 5 functions) to specs/port/trios/crates/trios-rainb | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 #9484 Port scripts/gen_w734.py (Python, 3 functions) to specs/port/scripts/gen_w734.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 4 failing / 29 total
• Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 #9463 Port scripts/gen_w726.py (Python, 3 functions) to specs/port/scripts/gen_w726.t27 | Created: 2026-10-14 | Updated: 2026-10-14 | 3 failing / 29 total
• Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 #9427 Port gHashTag/trinity:src/tri/sacred_alu.zig (Zig, 4 functions) to specs/port/trinity/src/tri/sacred_alu.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ #9426 Port gHashTag/trios:crates/trios-phd/src/bin/rag_search.rs (Rust, 3 functions) to specs/port/trios/crates/trios-phd/src/ | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 #9407 Port gHashTag/trinity:src/vibeec/spec_loader.zig (Zig, 2 functions) to specs/port/trinity/src/vibeec/spec_loader.t27 | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf #9345 Port gHashTag/trinity:src/background_agent/config.zig (Zig, 5 functions) to specs/port/trinity/src/background_agent/conf | Created: 2026-10-13 | Updated: 2026-10-13 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t #9321 Port gHashTag/trios:crates/trios-cli/src/cmd/train.rs (Rust, 6 functions) to specs/port/trios/crates/trios-cli/src/cmd/t | Created: 2026-10-13 | Updated: 2026-10-13 | 4 failing / 29 total
• Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth #9263 Port gHashTag/trinity:fpga/openxc7-synth/spi_flash_master.v (Verilog, 1 module) to specs/port/trinity/fpga/openxc7-synth | Created: 2026-10-12 | Updated: 2026-10-12 | 7 failing / 29 total
• spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) #9214 spec fix: 4 specs in specs/tri/net the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-12 | Updated: 2026-10-12 | 5 failing / 29 total
• Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri #9200 Port gHashTag/trios:crates/trios-agent-harness/rings/AH-00/src/lib.rs (Rust, 3 functions) to specs/port/trios/crates/tri | Created: 2026-10-12 | Updated: 2026-10-12 | 6 failing / 29 total
• Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te #9178 Port bootstrap/src/compiler.rs lines 30977-31050 (Rust, 6 functions) to specs/port/bootstrap/src/compiler/LinkSegment_te | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 29 total
• Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 #9177 Port gHashTag/trinity:src/storm/links/vibee.zig (Zig, 1 function) to specs/port/trinity/src/storm/links/vibee.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 5 failing / 32 total
• Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 #9150 Port scripts/gen_w706.py (Python, 3 functions) to specs/port/scripts/gen_w706.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 7 failing / 30 total
• spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) #8879 spec fix: 1 specs in specs/queen the reference blocks -- rewrite them in t27 (1 of 1) | Created: 2026-10-11 | Updated: 2026-10-18 | 4 failing / 30 total
• Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 #8874 Port gHashTag/trinity:src/vibeec/updated_codex.zig (Zig, 5 functions) to specs/port/trinity/src/vibeec/updated_codex.t27 | Created: 2026-10-11 | Updated: 2026-10-12 | 6 failing / 30 total

Summary

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

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

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=88b8cb73ceda != 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).