[gHashTag]

Adds a bounded design note and test matrix for slice-capable gen-rust lowering.

Defines the initial supported subset:

• []const T -> &[T]
• []T out-parameters -> &mut [T]
• -> []bool -> Vec
• function parameters -> impl Fn / impl FnMut

Establishes lowering rules, an eight-case test matrix, byte-identical
regression requirements, and acceptance criteria. No compiler behavior
is changed in this PR.

---

Note

Low Risk
Documentation-only; no runtime, compiler, or cache-format changes.

Overview
Adds docs/gen-rust-slice-capable.md, a design note for future t27c gen-rust work (no compiler changes in this PR).

The doc spells out target lowering for generic slices ([]const T → &[T], []T → &mut [T], []bool returns → Vec<bool>), function-typed params → impl Fn / impl FnMut, and keeps today's explicit-reject policy for unsupported constructs. It includes an 8-case test matrix, acceptance criteria (rustc/cargo parity with Zig oracle, byte-identical regression), and how this would unblock retry-suppression activation by avoiding a hand-written enum↔bytes adapter.

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

[github-actions]

PR Dashboard

Generated at: 2026-11-04 18:00:48 UTC

• 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 | 17 failing / 30 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 | 10 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	30
PRs with Failing Checks	28
PRs with All Checks Green	2
READY	2
FAILING	28
PENDING	0
NO CHECKS YET	0

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).