tri: exhaustive SealsCmd match -- master builds again (Closes #11423) by gHashTag · Pull Request #11424 · gHashTag/t27

gHashTag · 2026-10-20T16:16:17Z

Closes #11423. Hotfix: master tri did not compile since #11409.

Generated with Claude Code (https://claude.com/claude-code)

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-20T16:17:45Z

PR Dashboard

Generated at: 2026-10-20 16:17:35 UTC

tri: exhaustive SealsCmd match -- master builds again (Closes #11423) #11424 tri: exhaustive SealsCmd match -- master builds again (Closes #11423) | Created: 2026-10-20 | Updated: 2026-10-20 | 19 failing / 31 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-20 | 11 failing / 43 total
spec(ternary): pipelined dot27 -- five-stage on_clock pipeline for the 27-trit dot product (Closes #11242) #11245 spec(ternary): pipelined dot27 -- five-stage on_clock pipeline for the 27-trit dot product (Closes #11242) | Created: 2026-10-20 | Updated: 2026-10-20 | 4 failing / 36 total
spec(ternary): pipelined dot27 -- 5-stage on_clock adder tree (Closes #11237) #11244 spec(ternary): pipelined dot27 -- 5-stage on_clock adder tree (Closes #11237) | Created: 2026-10-20 | Updated: 2026-10-20 | 3 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-20 | 3 failing / 47 total
feat(t27os): key manager, KEYS tab, per-pane profile, router decisions (Refs #10782) #11228 feat(t27os): key manager, KEYS tab, per-pane profile, router decisions (Refs #10782) | Created: 2026-10-20 | Updated: 2026-10-20 | 0 failing / 36 total
spec(gen_w876): port scripts/gen_w876.py to specs/port/scripts/gen_w876.t27 #11191 spec(gen_w876): port scripts/gen_w876.py to specs/port/scripts/gen_w876.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w875): port scripts/gen_w875.py to specs/port/scripts/gen_w875.t27 #11190 spec(gen_w875): port scripts/gen_w875.py to specs/port/scripts/gen_w875.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w874): port scripts/gen_w874.py to specs/port/scripts/gen_w874.t27 #11189 spec(gen_w874): port scripts/gen_w874.py to specs/port/scripts/gen_w874.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w873): port scripts/gen_w873.py to specs/port/scripts/gen_w873.t27 #11188 spec(gen_w873): port scripts/gen_w873.py to specs/port/scripts/gen_w873.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w872): port scripts/gen_w872.py to specs/port/scripts/gen_w872.t27 #11187 spec(gen_w872): port scripts/gen_w872.py to specs/port/scripts/gen_w872.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w871): port scripts/gen_w871.py to specs/port/scripts/gen_w871.t27 #11186 spec(gen_w871): port scripts/gen_w871.py to specs/port/scripts/gen_w871.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w870): port scripts/gen_w870.py to specs/port/scripts/gen_w870.t27 #11185 spec(gen_w870): port scripts/gen_w870.py to specs/port/scripts/gen_w870.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w869): port scripts/gen_w869.py to specs/port/scripts/gen_w869.t27 #11184 spec(gen_w869): port scripts/gen_w869.py to specs/port/scripts/gen_w869.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
Trinity GitHub App: install -> t27o workflow -> golden-spec PRs, plus the golden criteria in .t27 #11154 Trinity GitHub App: install -> t27o workflow -> golden-spec PRs, plus the golden criteria in .t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 36 total
spec(gen_w861): port scripts/gen_w861.py to specs/port/scripts/gen_w861.t27 #11093 spec(gen_w861): port scripts/gen_w861.py to specs/port/scripts/gen_w861.t27 | Created: 2026-10-19 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w862): port scripts/gen_w862.py to specs/port/scripts/gen_w862.t27 #11091 spec(gen_w862): port scripts/gen_w862.py to specs/port/scripts/gen_w862.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w863): port scripts/gen_w863.py to specs/port/scripts/gen_w863.t27 #11090 spec(gen_w863): port scripts/gen_w863.py to specs/port/scripts/gen_w863.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w864): port scripts/gen_w864.py to specs/port/scripts/gen_w864.t27 #11089 spec(gen_w864): port scripts/gen_w864.py to specs/port/scripts/gen_w864.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w865): port scripts/gen_w865.py to specs/port/scripts/gen_w865.t27 #11088 spec(gen_w865): port scripts/gen_w865.py to specs/port/scripts/gen_w865.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w866): port scripts/gen_w866.py to specs/port/scripts/gen_w866.t27 #11087 spec(gen_w866): port scripts/gen_w866.py to specs/port/scripts/gen_w866.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w867): port scripts/gen_w867.py to specs/port/scripts/gen_w867.t27 #11086 spec(gen_w867): port scripts/gen_w867.py to specs/port/scripts/gen_w867.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
fix(t27os): panes no longer inherit a Claude Code host session's environment #11029 fix(t27os): panes no longer inherit a Claude Code host session's environment | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
fix(t27os): CTL verbs match whole words; escaped keys and expect; agent check table #11015 fix(t27os): CTL verbs match whole words; escaped keys and expect; agent check table | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
spec(ternary): trit codon -- perfect [4,2,3] Hamming code over GF(3), base-3 and wire forms (Closes #10969) #10970 spec(ternary): trit codon -- perfect [4,2,3] Hamming code over GF(3), base-3 and wire forms (Closes #10969) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
fpga: T27 OS over UART on the AX7203 (feasibility + shell spec) (Refs #10782) #10949 fpga: T27 OS over UART on the AX7203 (feasibility + shell spec) (Refs #10782) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 45 total
feat(igla): hslm_bwd_ptx kernel 3 -- split-K dW, 4.2-4.9x faster than kernel 2 at K=1782 (Closes #10895) #10914 feat(igla): hslm_bwd_ptx kernel 3 -- split-K dW, 4.2-4.9x faster than kernel 2 at K=1782 (Closes #10895) | Created: 2026-10-19 | Updated: 2026-10-19 | 8 failing / 46 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 | 6 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 | 6 failing / 40 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 | 3 failing / 37 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-19 | 1 failing / 31 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
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

Summary

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

These columns do not partition: 2 + 47 + 0 + 0 = 49, and there are 50 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).

…Refs #11423) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

github-actions · 2026-10-20T18:16:14Z

PR Dashboard

Generated at: 2026-10-20 18:16:02 UTC

T27 OS: header, GOD MODE switch, footer status bar (Closes #11441) #11442 T27 OS: header, GOD MODE switch, footer status bar (Closes #11441) | Created: 2026-10-20 | Updated: 2026-10-20 | 0 failing / 2 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-20 | 8 failing / 31 total
tri: exhaustive SealsCmd match -- master builds again (Closes #11423) #11424 tri: exhaustive SealsCmd match -- master builds again (Closes #11423) | Created: 2026-10-20 | Updated: 2026-10-20 | 25 failing / 30 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-20 | 9 failing / 44 total
spec(ternary): pipelined dot27 -- five-stage on_clock pipeline for the 27-trit dot product (Closes #11242) #11245 spec(ternary): pipelined dot27 -- five-stage on_clock pipeline for the 27-trit dot product (Closes #11242) | Created: 2026-10-20 | Updated: 2026-10-20 | 4 failing / 36 total
spec(ternary): pipelined dot27 -- 5-stage on_clock adder tree (Closes #11237) #11244 spec(ternary): pipelined dot27 -- 5-stage on_clock adder tree (Closes #11237) | Created: 2026-10-20 | Updated: 2026-10-20 | 3 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-20 | 3 failing / 47 total
feat(t27os): key manager, KEYS tab, per-pane profile, router decisions (Refs #10782) #11228 feat(t27os): key manager, KEYS tab, per-pane profile, router decisions (Refs #10782) | Created: 2026-10-20 | Updated: 2026-10-20 | 0 failing / 37 total
spec(gen_w876): port scripts/gen_w876.py to specs/port/scripts/gen_w876.t27 #11191 spec(gen_w876): port scripts/gen_w876.py to specs/port/scripts/gen_w876.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w875): port scripts/gen_w875.py to specs/port/scripts/gen_w875.t27 #11190 spec(gen_w875): port scripts/gen_w875.py to specs/port/scripts/gen_w875.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w874): port scripts/gen_w874.py to specs/port/scripts/gen_w874.t27 #11189 spec(gen_w874): port scripts/gen_w874.py to specs/port/scripts/gen_w874.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w873): port scripts/gen_w873.py to specs/port/scripts/gen_w873.t27 #11188 spec(gen_w873): port scripts/gen_w873.py to specs/port/scripts/gen_w873.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w872): port scripts/gen_w872.py to specs/port/scripts/gen_w872.t27 #11187 spec(gen_w872): port scripts/gen_w872.py to specs/port/scripts/gen_w872.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w871): port scripts/gen_w871.py to specs/port/scripts/gen_w871.t27 #11186 spec(gen_w871): port scripts/gen_w871.py to specs/port/scripts/gen_w871.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w870): port scripts/gen_w870.py to specs/port/scripts/gen_w870.t27 #11185 spec(gen_w870): port scripts/gen_w870.py to specs/port/scripts/gen_w870.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w869): port scripts/gen_w869.py to specs/port/scripts/gen_w869.t27 #11184 spec(gen_w869): port scripts/gen_w869.py to specs/port/scripts/gen_w869.t27 | Created: 2026-10-20 | Updated: 2026-10-20 | 3 failing / 36 total
Trinity GitHub App: install -> t27o workflow -> golden-spec PRs, plus the golden criteria in .t27 #11154 Trinity GitHub App: install -> t27o workflow -> golden-spec PRs, plus the golden criteria in .t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 36 total
spec(gen_w861): port scripts/gen_w861.py to specs/port/scripts/gen_w861.t27 #11093 spec(gen_w861): port scripts/gen_w861.py to specs/port/scripts/gen_w861.t27 | Created: 2026-10-19 | Updated: 2026-10-20 | 3 failing / 36 total
spec(gen_w862): port scripts/gen_w862.py to specs/port/scripts/gen_w862.t27 #11091 spec(gen_w862): port scripts/gen_w862.py to specs/port/scripts/gen_w862.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w863): port scripts/gen_w863.py to specs/port/scripts/gen_w863.t27 #11090 spec(gen_w863): port scripts/gen_w863.py to specs/port/scripts/gen_w863.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w864): port scripts/gen_w864.py to specs/port/scripts/gen_w864.t27 #11089 spec(gen_w864): port scripts/gen_w864.py to specs/port/scripts/gen_w864.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w865): port scripts/gen_w865.py to specs/port/scripts/gen_w865.t27 #11088 spec(gen_w865): port scripts/gen_w865.py to specs/port/scripts/gen_w865.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w866): port scripts/gen_w866.py to specs/port/scripts/gen_w866.t27 #11087 spec(gen_w866): port scripts/gen_w866.py to specs/port/scripts/gen_w866.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
spec(gen_w867): port scripts/gen_w867.py to specs/port/scripts/gen_w867.t27 #11086 spec(gen_w867): port scripts/gen_w867.py to specs/port/scripts/gen_w867.t27 | Created: 2026-10-19 | Updated: 2026-10-19 | 3 failing / 36 total
fix(t27os): panes no longer inherit a Claude Code host session's environment #11029 fix(t27os): panes no longer inherit a Claude Code host session's environment | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
fix(t27os): CTL verbs match whole words; escaped keys and expect; agent check table #11015 fix(t27os): CTL verbs match whole words; escaped keys and expect; agent check table | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
spec(ternary): trit codon -- perfect [4,2,3] Hamming code over GF(3), base-3 and wire forms (Closes #10969) #10970 spec(ternary): trit codon -- perfect [4,2,3] Hamming code over GF(3), base-3 and wire forms (Closes #10969) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 38 total
fpga: T27 OS over UART on the AX7203 (feasibility + shell spec) (Refs #10782) #10949 fpga: T27 OS over UART on the AX7203 (feasibility + shell spec) (Refs #10782) | Created: 2026-10-19 | Updated: 2026-10-19 | 5 failing / 45 total
feat(igla): hslm_bwd_ptx kernel 3 -- split-K dW, 4.2-4.9x faster than kernel 2 at K=1782 (Closes #10895) #10914 feat(igla): hslm_bwd_ptx kernel 3 -- split-K dW, 4.2-4.9x faster than kernel 2 at K=1782 (Closes #10895) | Created: 2026-10-19 | Updated: 2026-10-19 | 8 failing / 46 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 | 6 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 | 6 failing / 40 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 | 3 failing / 37 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-19 | 1 failing / 31 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
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

Summary

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

These columns do not partition: 3 + 46 + 0 + 0 = 49, and there are 50 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: exhaustive SealsCmd match -- master builds again (Closes #11423)

7a313db

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag enabled auto-merge (squash) October 20, 2026 16:16

tri: fold one comment so the match arm keeps foreign lines net zero (…

c436261

…Refs #11423) Co-Authored-By: Claude Sonnet 5.5 <noreply@anthropic.com>

gHashTag merged commit e6718f7 into master Oct 20, 2026
32 of 35 checks passed

Navigation Menu

Repository navigation

tri: exhaustive SealsCmd match -- master builds again (Closes #11423) - #11424

tri: exhaustive SealsCmd match -- master builds again (Closes #11423)#11424
gHashTag merged 2 commits into
masterfrom
claude/hotfix-tri-seals-match

gHashTag commented Oct 20, 2026

Uh oh!

github-actions Bot commented Oct 20, 2026

Uh oh!

github-actions Bot commented Oct 20, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants

Conversation

gHashTag commented Oct 20, 2026

Uh oh!

github-actions Bot commented Oct 20, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

github-actions Bot commented Oct 20, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

2 participants