[gHashTag]

Records the lesson that a compiler capability cannot land as hand-written Rust seed growth (#8236).

The legal pattern is: represent capability in .t27 -> generate Rust -> remove
equivalent hand-written Rust. Documents the three blocked attempts (activation
+19, cache-format port ~0, gen-rust Milestone 1a +24) and the #5980 t27core
route. Docs-only; no code change.

---

Note

Low Risk
Documentation-only; no runtime, build, or compiler behavior changes.

Overview
Adds docs/now/2026-11-05-no-hand-written-rust-growth.md, capturing why three t27b/compiler landing attempts failed under #8236 (net growth of hand-written Rust) and the required landing path.

The note contrasts legal work (implement in .t27 → generate Rust → remove the matching hand-written Rust) with illegal “compensation accounting” (new Rust offset by unrelated deletions). It tabulates the blocked attempts (activation +19, cache-format ~0, gen-rust 1a +24) and points compiler backend shrinkage at #5980 / t27core.t27 vs the L0 seed bootstrap/src/compiler.rs.

^{Reviewed by Cursor Bugbot for commit 42d686f. Bugbot is set up for automated code reviews on this repo. Configure here.}

[github-actions]

PR Dashboard

Generated at: 2026-11-04 18:35:44 UTC

• docs: record no-hand-written-rust-growth lesson #13185 docs: record no-hand-written-rust-growth lesson | Created: 2026-11-04 | Updated: 2026-11-04 | 25 failing / 30 total
• claw: type_conflict_sweep -- a resolved name leaves both ledgers in one commit (Closes #13182) #13183 claw: type_conflict_sweep -- a resolved name leaves both ledgers in one commit (Closes #13182) | Created: 2026-11-04 | Updated: 2026-11-04 | 5 failing / 37 total
• docs: add slice-capable gen-rust design note #13181 docs: add slice-capable gen-rust design note | Created: 2026-11-04 | Updated: 2026-11-04 | 4 failing / 32 total
• t27b: add cache_format decoding/tag policy spec #13180 t27b: add cache_format decoding/tag policy spec | Created: 2026-11-04 | Updated: 2026-11-04 | 7 failing / 40 total
• spec(t27os): router dispatch law - one composed entry per walk attempt (Closes #13163) #13176 spec(t27os): router dispatch law - one composed entry per walk attempt (Closes #13163) | Created: 2026-11-04 | Updated: 2026-11-04 | 1 failing / 38 total
• T27 Model Control: MODEL panel (epic #13172) #13173 T27 Model Control: MODEL panel (epic #13172) | Created: 2026-11-04 | Updated: 2026-11-04 | 2 failing / 38 total
• ml: resume equivalence proven to the bit + portable host IO shim #13168 ml: resume equivalence proven to the bit + portable host IO shim | Created: 2026-11-03 | Updated: 2026-11-03 | 2 failing / 49 total
• fix(use_resolve): splice module-level vars; portable prof_now - the meter runs again #13161 fix(use_resolve): splice module-level vars; portable prof_now - the meter runs again | Created: 2026-11-03 | Updated: 2026-11-03 | 9 failing / 49 total
• spec(shootout): move the measured AOT baseline row out of the bench module #13128 spec(shootout): move the measured AOT baseline row out of the bench module | Created: 2026-11-02 | Updated: 2026-11-02 | 5 failing / 38 total
• spec: clear the two new Corpus ratchet regressions (sha256_round0, glass_window) #13121 spec: clear the two new Corpus ratchet regressions (sha256_round0, glass_window) | Created: 2026-11-02 | Updated: 2026-11-02 | 4 failing / 39 total
• spec(t27os): ladder_task.t27, the state of one task while the ladder walks its rungs (Refs #13036) #13116 spec(t27os): ladder_task.t27, the state of one task while the ladder walks its rungs (Refs #13036) | Created: 2026-11-02 | Updated: 2026-11-02 | 3 failing / 38 total
• fix(t27b): regenerate steward.c so is_pass knows pass_ct; the ledger test asks is_pass (Refs #12751) #13097 fix(t27b): regenerate steward.c so is_pass knows pass_ct; the ledger test asks is_pass (Refs #12751) | Created: 2026-11-02 | Updated: 2026-11-02 | 4 failing / 40 total
• spec(t27os,queen): next_step feed observation, an idle edge asks a check, no decisions or launches (Refs #12884) #13091 spec(t27os,queen): next_step feed observation, an idle edge asks a check, no decisions or launches (Refs #12884) | Created: 2026-11-02 | Updated: 2026-11-03 | 1 failing / 39 total
• spec(automation): token-wallet v3 -- the TRINET 1:1:1 split (Closes #13084) #13085 spec(automation): token-wallet v3 -- the TRINET 1:1:1 split (Closes #13084) | Created: 2026-11-02 | Updated: 2026-11-02 | 3 failing / 39 total
• chore(ci)(deps): bump actions/checkout from 4 to 7 #13050 chore(ci)(deps): bump actions/checkout from 4 to 7 | Created: 2026-11-01 | Updated: 2026-11-03 | 4 failing / 83 total
• feat(compiler): t27c gen-text writes the bytes of a spec str const (Refs #13011) #13014 feat(compiler): t27c gen-text writes the bytes of a spec str const (Refs #13011) | Created: 2026-10-31 | Updated: 2026-10-31 | 5 failing / 50 total
• feat(t27os): the Queen band draws the recorded log, labelled 'source: recorded log, not live' (Refs #12806) #13009 feat(t27os): the Queen band draws the recorded log, labelled 'source: recorded log, not live' (Refs #12806) | Created: 2026-10-31 | Updated: 2026-11-01 | 6 failing / 41 total
• spec(t27b): move zig_like_optimization_plan.t27 to docs #12997 spec(t27b): move zig_like_optimization_plan.t27 to docs | Created: 2026-10-31 | Updated: 2026-10-31 | 1 failing / 3 total
• spec(t27b): split compile_time_optimizations.t27 into docs + executable rules #12996 spec(t27b): split compile_time_optimizations.t27 into docs + executable rules | Created: 2026-10-31 | Updated: 2026-10-31 | 1 failing / 3 total
• fix(backend-api): make backend-api.t27 an executable contract #12995 fix(backend-api): make backend-api.t27 an executable contract | Created: 2026-10-31 | Updated: 2026-11-03 | 2 failing / 39 total
• feat(t27os): NVIDIA profile for OpenCode panes in the key master (Refs #12983) #12986 feat(t27os): NVIDIA profile for OpenCode panes in the key master (Refs #12983) | Created: 2026-10-31 | Updated: 2026-10-31 | 0 failing / 37 total
• feat(t27os): OpenCode free pool as a second executor, law in .t27 (Refs #12975) #12977 feat(t27os): OpenCode free pool as a second executor, law in .t27 (Refs #12975) | Created: 2026-10-31 | Updated: 2026-10-31 | 0 failing / 37 total
• ci(fpga): fpga-synth-ax7203 places with the heap placer and names a kill as placement (Closes #12966) #12969 ci(fpga): fpga-synth-ax7203 places with the heap placer and names a kill as placement (Closes #12966) | Created: 2026-10-31 | Updated: 2026-11-02 | 3 failing / 40 total
• spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-01/src/lib.t27 #12932 spec(port): trios lib to specs/port/trios/crates/trios-ui/rings/UR-01/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-11-03 | 1 failing / 37 total
• spec(port): trios KDF label domain separation to specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/kdf_label_domain_separation.t27 #12929 spec(port): trios KDF label domain separation to specs/port/trios/crates/trios-chat/rings/CR-CHAT-02/src/kdf_label_domain_separation.t27 | Created: 2026-10-30 | Updated: 2026-11-03 | 1 failing / 37 total
• spec(port): trios agents to specs/port/trios/crates/trios-server/src/mcp_endpoints/agents.t27 #12928 spec(port): trios agents to specs/port/trios/crates/trios-server/src/mcp_endpoints/agents.t27 | Created: 2026-10-30 | Updated: 2026-11-03 | 1 failing / 37 total
• spec(port): trios lib to specs/port/trios/crates/trios-doctor/rings/SILVER-RING-DR-03/src/lib.t27 #12925 spec(port): trios lib to specs/port/trios/crates/trios-doctor/rings/SILVER-RING-DR-03/src/lib.t27 | Created: 2026-10-30 | Updated: 2026-11-03 | 1 failing / 37 total
• spec(xilinx7): pin packet constants to Vivado sources #12901 spec(xilinx7): pin packet constants to Vivado sources | Created: 2026-10-30 | Updated: 2026-11-03 | 2 failing / 38 total
• hosting: Railway retired as a carrier -- the retirement law (owner, 2026-10-27) #12811 hosting: Railway retired as a carrier -- the retirement law (owner, 2026-10-27) | Created: 2026-10-27 | Updated: 2026-11-03 | 2 failing / 37 total
• parser: a bracketed single element with a declared [1]T annotation is a list, not a dimension (Refs #5980) #12695 parser: a bracketed single element with a declared [1]T annotation is a list, not a dimension (Refs #5980) | Created: 2026-10-26 | Updated: 2026-10-27 | 10 failing / 48 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-30 | 7 failing / 37 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-11-01 | 7 failing / 32 total

Summary

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

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

Seal Status

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