spec(hslm): train_hslm counts 1948617 ternary trits in 19 matrices, with a test (Closes #10839) by gHashTag · Pull Request #10840 · gHashTag/t27

gHashTag · 2026-10-19T04:18:19Z

The header of specs/ml/train_hslm.t27 said "19 matrices, 1771470 trits". 1771470 is only the 18 block matrices; with the 243 x 729 output head (177147) the 19 ternary matrices hold 1,948,617 trits, the number specs/hf/model_card_hslm.t27 asserts as PARAMS_TERNARY (#10836).

Header comment now states 19 matrices: the 18 block matrices hold 1771470 trits, the head adds 177147, 1948617 in all. It was the only place in the file that stated the count.
New tr_ternary_count / tr_ternary_matrices sum the spec's own segment table; new test the_ternary_matrices_hold_1948617_trits asserts 19 matrices, 1948617 trits, and the closed form 3 x (4 x 243 x 243 + 2 x 243 x 729) + 243 x 729.
ml_train_hslm seal refreshed.

Measured on the Railway fs-lab, not the Mac: test-report on specs/ml/train_hslm.t27 is 21/21 pass, vacuous passes 0 of 21; seal --save run there, and the seal file was checked by sha256 at both ends. specs/ml/eval_hslm.t27 is not on master yet, so there is no second seal to refresh; it must be resealed when it lands on top of this change.

🤖 Generated with Claude Code

…ices, with a test summed from the segment table (Closes #10839) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…est (Refs #10839) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

…uilt from master 78e57be (Refs #10839) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

github-actions · 2026-10-19T04:50:32Z

PR Dashboard

Generated at: 2026-10-19 04:50:23 UTC

analog M4e: the whole SAR converter -- our own ngspice + PSP103 codes of the golden deck pinned, a behavioural converter compared conversion by conversion (Closes #10818) #10854 analog M4e: the whole SAR converter -- our own ngspice + PSP103 codes of the golden deck pinned, a behavioural converter compared conversion by conversion (Closes #10818) | Created: 2026-10-19 | Updated: 2026-10-19 | 30 failing / 34 total
t27b: bare sqrt lowers as @sqrt; ledger rows for hslm_tokenizer and hslm_corpus, cap 139 -> 129 (Closes #10837) #10853 t27b: bare sqrt lowers as @sqrt; ledger rows for hslm_tokenizer and hslm_corpus, cap 139 -> 129 (Closes #10837) | Created: 2026-10-19 | Updated: 2026-10-19 | 29 failing / 36 total
skills: self-cleanup derives the main checkout from git, not a developer home path (Closes #10851) #10852 skills: self-cleanup derives the main checkout from git, not a developer home path (Closes #10851) | Created: 2026-10-19 | Updated: 2026-10-19 | 23 failing / 29 total
analog M4d: the SAR ADC logic and asynchronous clock -- gate level from the netlist, against ngspice PSP103 edges (Closes #10754) #10845 analog M4d: the SAR ADC logic and asynchronous clock -- gate level from the netlist, against ngspice PSP103 edges (Closes #10754) | Created: 2026-10-19 | Updated: 2026-10-19 | 26 failing / 34 total
feat(course-access): every course free for everyone (rules VERSION 3) #10842 feat(course-access): every course free for everyone (rules VERSION 3) | Created: 2026-10-19 | Updated: 2026-10-19 | 15 failing / 31 total
spec(hslm): train_hslm counts 1948617 ternary trits in 19 matrices, with a test (Closes #10839) #10840 spec(hslm): train_hslm counts 1948617 ternary trits in 19 matrices, with a test (Closes #10839) | Created: 2026-10-19 | Updated: 2026-10-19 | 23 failing / 33 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 | 26 failing / 34 total
tri worktrees --reap-plan: a REMOVABLE verdict for merged, clean lane trees, ruled in .t27 (Closes #10805) #10832 tri worktrees --reap-plan: a REMOVABLE verdict for merged, clean lane trees, ruled in .t27 (Closes #10805) | Created: 2026-10-19 | Updated: 2026-10-19 | 27 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 | 6 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 | 8 failing / 35 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 | 16 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 | 6 failing / 35 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 | 6 failing / 35 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 | 29 failing / 37 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 | 6 failing / 34 total
spec(port): the landed CR-CHAT ring files use the shared helpers (Closes #10841; Refs #8883, #8884) #10795 spec(port): the landed CR-CHAT ring files use the shared helpers (Closes #10841; Refs #8883, #8884) | Created: 2026-10-19 | Updated: 2026-10-19 | 15 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 | 5 failing / 35 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

Summary

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

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

Seal Status

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

This was referenced Oct 19, 2026

tri worktrees --reap-plan: a REMOVABLE verdict for merged, clean lane trees, ruled in .t27 (Closes #10805) #10832

Merged

skills: t27o -- the night lessons: review checklist, drafts hold PRs, sweep and Zig front end, build traps (Closes #10826) #10827

Merged

gHashTag and others added 2 commits October 19, 2026 11:27

spec(hslm): train_hslm header counts 1948617 trits in 19 ternary matr…

6353a85

…ices, with a test summed from the segment table (Closes #10839) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

seal(hslm): reseal ml/train_hslm on the lab after the ternary-count t…

6cd4882

…est (Refs #10839) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag force-pushed the fix/hslm-train-ternary-count branch from 2b87b5b to 6cd4882 Compare October 19, 2026 04:27

github-actions Bot mentioned this pull request Oct 19, 2026

lexer: \xNN in a string lowers to one byte, and every backend writes the byte back #10812

Merged

seal(hslm): reseal train_hslm, eval_hslm and ngram_hslm with a t27c b…

b0015aa

…uilt from master 78e57be (Refs #10839) Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>

gHashTag enabled auto-merge (squash) October 19, 2026 05:02

gHashTag merged commit d04c0d5 into master Oct 19, 2026
31 of 33 checks passed

This was referenced Oct 19, 2026

spec(ml): train_hslm speed=3 -- one matrix over the 27 positions, bit-identical to speed=2 (Closes #10849) #10866

Merged

epic: our own model -- IGLA CODER, HSLM in t27 and the harness, one 27-part map #10024

Closed

Navigation Menu

Repository navigation

spec(hslm): train_hslm counts 1948617 ternary trits in 19 matrices, with a test (Closes #10839) - #10840

spec(hslm): train_hslm counts 1948617 ternary trits in 19 matrices, with a test (Closes #10839)#10840
gHashTag merged 3 commits into
masterfrom
fix/hslm-train-ternary-count

gHashTag commented Oct 19, 2026

Uh oh!

github-actions Bot commented Oct 19, 2026

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant

Conversation

gHashTag commented Oct 19, 2026

Uh oh!

github-actions Bot commented Oct 19, 2026

PR Dashboard

Summary

Seal Status

Uh oh!

Uh oh!

Reviewers

Assignees

Labels

Projects

Milestone

Development

Uh oh!

1 participant