feat(igla): Wave Loop 817 — module-scope [453][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1562

- Witness: specs/scratch/w817_bench_module_453x2p6_aos_var_call_write.t27 (29,056 elements, 929,792 bits, ~0.886 MiBit)

- Generator: scripts/gen_w817.py (OUTER=453, MID_IDX=226)

- Seal: .trinity/seals/scratch_w817_bench_module_453x2p6_aos_var_call_write.json

- Integration test: accepts_w817_bench_module_453x2p6_aos_var_call_write

- Validation: icarus_lowerable 277/0; direct t27c parse/lowerable/simulate/cocotb/seal all PASS

- Zero changes to compiler.rs, FROZEN_HASH, or cocotb reference model

- Updated docs/NOW.md, .trinity/experience.md, .trinity/current-issue.md, skills, and persistent memory

Author: Dmitrii Vasilev

.claude/plans/wave-loop-818.md

@@ -0,0 +1,45 @@
+# Wave Loop 818 Plan
+
+**Date:** 2026-07-29  
+**Issue:** #1564  
+**Branch:** `wave-loop-818`
+
+## Goal
+Continue the mechanical module-scope packed array-of-struct ladder from `[453][2]^6 Pt` to the next rung, choosing among three cooperation variants.
+
+## Variants
+
+### A — `[455][2]^6 Pt` module-scope packed array-of-struct variable from call with indexed signed writes (recommended)
+
+- Outer dimension increases by 2 to 455; inner dimensions stay `[2]^6`.
+- Expected witness: 29,120 elements, 931,840-bit packed vector (~0.889 MiBit).
+- Keeps the established mechanical generator pattern unchanged.
+- Generator `scripts/gen_w818.py` with `OUTER = 455`, `MID_IDX = 227`; fix copy hazard before first run.
+- Witness `specs/scratch/w818_bench_module_455x2p6_aos_var_call_write.t27`.
+- Add integration test `accepts_w818_bench_module_455x2p6_aos_var_call_write`.
+- Expected zero compiler / reference-model / FROZEN_HASH changes.
+
+### B — `[453][3]^6 Pt` — grow the second inner dimension to stress stride scaling
+
+- Keep outer dimension 453; change inner shape from `[2]^6` to `[3]^6`.
+- This exercises a different stride scaling direction: inner dimension 3 produces a 3^6 = 729 inner product, yielding 453 × 729 = 330,237 elements and 10,567,584 bits (~10.08 MiBit), which crosses the 4-MiBit cliff. Use only if the maintainers explicitly want to probe that boundary; otherwise it is intentionally more disruptive.
+
+### C — `[453][2]^6 Pt` with negative-index writes to exercise wrap-around addressing
+
+- Same outer/inner dimensions as variant A (453) but add negative signed index writes inside the bench block (e.g., `dst[-1][...] = ...`).
+- Verifies that the Verilog backend handles signed index wrap-around correctly.
+- Requires careful choice of negative indices so the wrapped positions are deterministic and the reference model agrees.
+
+## Recommended variant
+
+**A** — the mechanical ladder is still well below the 4-MiBit cliff at `[455][2]^6 Pt` (~0.889 MiBit), and the generator/test/seal pipeline is fully reusable. Variant A minimizes risk and keeps the ladder moving predictably.
+
+## Acceptance criteria
+
+- [ ] Generator `scripts/gen_w818.py` with `OUTER = 455`, `MID_IDX = 227`; copy hazard fixed before first run.
+- [ ] Witness `specs/scratch/w818_bench_module_455x2p6_aos_var_call_write.t27` generated and parsed.
+- [ ] `t27c icarus-lowerable`, `icarus-simulate`, `icarus-cocotb`, and `seal --save` all PASS.
+- [ ] Integration test `accepts_w818_bench_module_455x2p6_aos_var_call_write` added to `bootstrap/tests/icarus_lowerable.rs`.
+- [ ] `bootstrap/stage0/FROZEN_HASH` unchanged.
+- [ ] Closeout report, W819 cooperation plan, docs, skill tracker, autopilot skill, and persistent memory updated.
+- [ ] Commit with `Closes #1564`, push branch, open PR to `master`.

.claude/skills/t27-wave-loop.md

@@ -2348,6 +2348,48 @@ both. Continue grepping for stale wave numbers and outer dimensions after each
 copy, keep the `make_grid(32768)` period-identity check, and use `assert_eq` on
 changed elements because `assert_ne` is not emitted by the Icarus simulation path.
 
+## Worked example — Wave Loop 817
+
+Wave Loop 817 extended the module-scope packed-array-of-struct ladder with no
+compiler changes, branching from `wave-loop-816` HEAD because earlier wave PRs
+remained open awaiting review:
+
+- Generated `scripts/gen_w817.py` from `scripts/gen_w816.py` with `OUTER = 453`
+  and `MID_IDX = 226`.
+- Fixed both the generator destination path and the module header f-string from
+  stale `w816` / `451` references to `w817_bench_module_453x2p6_aos_var_call_write`
+  before regenerating; also corrected the stale `MID_IDX` comment to `226`.
+- Produced `specs/scratch/w817_bench_module_453x2p6_aos_var_call_write.t27`
+  (29,056 elements, 929,792-bit packed vector, ~0.886 MiBit).
+- Added integration test `accepts_w817_bench_module_453x2p6_aos_var_call_write`
+  after the existing W816 tests in `bootstrap/tests/icarus_lowerable.rs`.
+- Ran `t27c parse`, `icarus-lowerable`, `icarus-simulate` (17 cycles, PASSED),
+  `icarus-cocotb` (reference-model OK), and `t27c seal --save`.
+- No changes to `bootstrap/src/compiler.rs`, `bootstrap/stage0/FROZEN_HASH`, or
+  `scripts/cocotb_ref_model.py` for the witness itself.
+- Validation: `cargo build --release -p t27c` green,
+  `cargo clippy -p t27c` green (780 warnings, 0 errors),
+  `cargo test -p t27c --bin t27c` 1494/0/2, `cargo test -p tri` 78/0,
+  `cargo test -p flash-spi` 2/0,
+  `cargo test -p t27c --test bitnet_pipeline` 20/0,
+  `cargo test -p t27c --test bitnet_top` 17/0,
+  `cargo test -p t27c --test icarus_lowerable` 277/0,
+  `cargo test -p t27c --test verilog_const_array` 2/0.
+- Refreshed weak-point audit and 2025–2026 ternary/MVL literature scan.
+- Wrote `docs/reports/FPGA_LOOP_CLOSEOUT_W817_2026-07-29.md` and
+  `.claude/plans/wave-loop-818.md` with three cooperation variants.
+- Updated `.claude/skills/wave-loop-autopilot.md` run-list and status.
+- Updated this skill's Live Wave Loop Tracker to wave 818.
+
+Key learning: the mechanical ladder is now 45 waves deep (W774–W817) with zero
+compiler changes, confirming the packed-vector AoS lowering is robust up to at
+least `[453][2]^6 Pt` (29,056 elements, ~0.886 MiBit). The generator copy hazard
+remains the only manual failure mode and continues to span two text locations.
+A parameterized wave-prefix variable in the generator template would eliminate
+both. Continue grepping for stale wave numbers and outer dimensions after each
+copy, keep the `make_grid(32768)` period-identity check, and use `assert_eq` on
+changed elements because `assert_ne` is not emitted by the Icarus simulation path.
+
 ## Live Wave Loop Tracker
 
 This section is updated at the end of every completed Wave Loop. It is the
@@ -2356,13 +2398,13 @@ variants are queued."
 
 | Field | Value |
 |-------|-------|
-| **Current wave** | 817 |
-| **Issue** | #1563 (to open) |
-| **Branch** | `wave-loop-817` |
-| **Parent branch** | `wave-loop-816` HEAD because earlier wave PRs remain open |
-| **Recommended variant** | A — module-scope `[453][2]^6 Pt` packed array-of-struct variable from call with indexed signed writes |
+| **Current wave** | 818 |
+| **Issue** | #1564 (to open) |
+| **Branch** | `wave-loop-818` |
+| **Parent branch** | `wave-loop-817` HEAD because earlier wave PRs remain open |
+| **Recommended variant** | A — module-scope `[455][2]^6 Pt` packed array-of-struct variable from call with indexed signed writes |
 | **Status** | READY TO START |
-| **Next wave variants queued** | W818 Variant A `[455][2]^6 Pt`; Variant B `[453][3]^6 Pt` stride scaling; Variant C `[453][2]^6 Pt` negative-index wrap-around |
+| **Next wave variants queued** | W819 Variant A `[457][2]^6 Pt`; Variant B `[455][3]^6 Pt` stride scaling; Variant C `[455][2]^6 Pt` negative-index wrap-around |
 
 ### Open backlog (non-blocking)
 

.claude/skills/wave-loop-autopilot.md

@@ -61,10 +61,11 @@ criteria, generator copy-hazard checklist, and open backlog.
 | 814 | #1557 | wave-loop-814 | 447 | 223 | 28,608 | 915,456 | 0.873 | closed | #1556 |
 | 815 | #1559 | wave-loop-815 | 449 | 224 | 28,736 | 919,552 | 0.877 | closed | TBD |
 | 816 | #1561 | wave-loop-816 | 451 | 225 | 28,864 | 923,648 | 0.881 | closed | #1560 |
-| **817** | **#1563** | **wave-loop-817** | **453** | **226** | **28,992** | **927,744** | **0.885** | **READY** | **TBD** |
-| 818 | #1565 | wave-loop-818 | 455 | 227 | 29,120 | 931,840 | 0.889 | planned | TBD |
-| 819 | #1567 | wave-loop-819 | 457 | 228 | 29,248 | 935,936 | 0.893 | planned | TBD |
-| 820 | #1569 | wave-loop-820 | 459 | 229 | 29,376 | 940,032 | 0.897 | planned | TBD |
+| 817 | #1562 | wave-loop-817 | 453 | 226 | 28,992 | 927,744 | 0.885 | closed | TBD |
+| **818** | **#1564** | **wave-loop-818** | **455** | **227** | **29,120** | **931,840** | **0.889** | **READY** | **TBD** |
+| 819 | #1566 | wave-loop-819 | 457 | 228 | 29,248 | 935,936 | 0.893 | planned | TBD |
+| 820 | #1568 | wave-loop-820 | 459 | 229 | 29,376 | 940,032 | 0.897 | planned | TBD |
+| 821 | #1570 | wave-loop-821 | 461 | 230 | 29,504 | 944,128 | 0.900 | planned | TBD |
 
 ### Run-list notes
 - Issue numbers follow the observed pattern (issue = previous issue + 2; PR = issue + 1).
@@ -151,10 +152,10 @@ criteria, generator copy-hazard checklist, and open backlog.
 
 ## Current status
 
-- **Latest completed wave:** 816
-- **Latest issue/PR:** #1561 / #1560
-- **Current wave in progress:** 817
-- **Next wave queued:** 818
-- **Ladder depth:** W774–W816 = 44 waves
+- **Latest completed wave:** 817
+- **Latest issue/PR:** #1562 / TBD
+- **Current wave in progress:** 818
+- **Next wave queued:** 819
+- **Ladder depth:** W774–W817 = 45 waves
 
 *φ² + φ⁻² = 3 | TRINITY*

.trinity/current-issue.md

@@ -1,28 +1,28 @@
-# Current Issue — Wave Loop 817
+# Current Issue — Wave Loop 818
 
 | Field | Value |
 |-------|-------|
-| Wave | 817 |
-| Issue | #1563 |
-| Branch | `wave-loop-817` |
-| Base | `wave-loop-816` (parent branch because earlier waves' PRs remain open) |
-| Variant | `[453][2]^6 Pt` module-scope AoS variable from call with indexed signed writes |
-| Target packed vector | 29,056 elements × 32 bits = 929,792 bits (~0.886 MiBit) |
+| Wave | 818 |
+| Issue | #1564 |
+| Branch | `wave-loop-818` |
+| Base | `wave-loop-817` (parent branch because earlier waves' PRs remain open) |
+| Variant | `[455][2]^6 Pt` module-scope AoS variable from call with indexed signed writes |
+| Target packed vector | 29,120 elements × 32 bits = 931,840 bits (~0.889 MiBit) |
 | Status | planned |
 
 ## Goal
-Increment the non-power-of-two outer-dimension ladder by one rung to `[453][2]^6 Pt`, keeping the established inner-dimension (`2^6`) and struct (`Pt { x : i16, y : i16 }`) pattern. Validate that t27c still lowers, simulates, cocotb-matches, and seals the wider packed vector without compiler or FROZEN_HASH changes.
+Increment the non-power-of-two outer-dimension ladder by one rung to `[455][2]^6 Pt`, keeping the established inner-dimension (`2^6`) and struct (`Pt { x : i16, y : i16 }`) pattern. Validate that t27c still lowers, simulates, cocotb-matches, and seals the wider packed vector without compiler or FROZEN_HASH changes.
 
 ## Acceptance criteria
-- [ ] Generator `scripts/gen_w817.py` with `OUTER = 453`, `MID_IDX = 226`; copy hazard fixed before first run.
-- [ ] Witness `specs/scratch/w817_bench_module_453x2p6_aos_var_call_write.t27` generated and parsed.
+- [ ] Generator `scripts/gen_w818.py` with `OUTER = 455`, `MID_IDX = 227`; copy hazard fixed before first run.
+- [ ] Witness `specs/scratch/w818_bench_module_455x2p6_aos_var_call_write.t27` generated and parsed.
 - [ ] `t27c icarus-lowerable`, `icarus-simulate`, `icarus-cocotb`, and `seal --save` all PASS.
-- [ ] Integration test `accepts_w817_bench_module_453x2p6_aos_var_call_write` added to `bootstrap/tests/icarus_lowerable.rs`.
+- [ ] Integration test `accepts_w818_bench_module_455x2p6_aos_var_call_write` added to `bootstrap/tests/icarus_lowerable.rs`.
 - [ ] `bootstrap/stage0/FROZEN_HASH` unchanged.
 - [ ] Closeout report, next-wave plan, docs, skill tracker, autopilot skill, and persistent memory updated.
-- [ ] Commit with `Closes #1563`, push branch, open PR to `master`.
+- [ ] Commit with `Closes #1564`, push branch, open PR to `master`.
 
-## Cooperation variants for W818
-- **A (recommended):** `[455][2]^6 Pt`, outer += 2, MID_IDX = 227.
-- **B:** `[453][3]^6 Pt` — grow the second inner dimension to stress stride scaling.
-- **C:** `[453][2]^6 Pt` with negative-index writes to exercise wrap-around addressing.
+## Cooperation variants for W819
+- **A (recommended):** `[457][2]^6 Pt`, outer += 2, MID_IDX = 228.
+- **B:** `[455][3]^6 Pt` — grow the second inner dimension to stress stride scaling.
+- **C:** `[455][2]^6 Pt` with negative-index writes to exercise wrap-around addressing.

.trinity/current_task/activity.md

@@ -3948,3 +3948,7 @@
 - **Commit:** feat(igla): Wave Loop 816 — module-scope [451][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes
 - **Files:** .claude/skills/wave-loop-autopilot.md,docs/NOW.md
 
+## 2026-07-29T15:34:50Z — wave-loop-817
+- **Commit:** docs: record W816 PR #1560 in NOW.md and autopilot skill
+- **Files:** .claude/plans/wave-loop-818.md,.claude/skills/t27-wave-loop.md,.claude/skills/wave-loop-autopilot.md,.trinity/current-issue.md,.trinity/experience.md,.trinity/seals/scratch_w817_bench_module_453x2p6_aos_var_call_write.json,bootstrap/tests/icarus_lowerable.rs,docs/NOW.md,docs/reports/FPGA_LOOP_CLOSEOUT_W817_2026-07-29.md,scripts/gen_w817.py,specs/scratch/w817_bench_module_453x2p6_aos_var_call_write.t27
+

.trinity/experience.md

@@ -1,3 +1,67 @@
+## 2026-07-29 — Wave Loop 817 (module-scope `[453][2]^6 Pt` non-power-of-two outer-dimension AoS variable, issue #1562)
+
+### What worked
+- Variant A extended the module-scope packed AoS odd outer-dimension ladder to 453.
+  The `[453][2]^6 Pt` witness is 929,792 bits (~0.886 MiBit), still well under the 4-MiBit
+  cliff, and required no compiler changes.
+- A module-level `pub var dst : [453][2]^6 Pt` can be initialized from a function
+  call and exercised with indexed signed field writes, with zero compiler changes.
+- The cocotb/Python reference model correctly mirrored the row-major flattening
+  with outer stride 453, confirming the layout is preserved end-to-end.
+- Reused the corrected W632 element-index formula for mid-row expected values:
+  `[r][a5][a4][a3][a2][a1][a0]` is element `r*64 + a5*32 + a4*16 + a3*8 + a2*4 + a1*2 + a0`.
+- For `OUTER = 453`, `MID_IDX = 226`; the frame-condition element is
+  `[226][1][0][0][0][0][0]`, element number `226*64 + 32 = 14,496`.
+- The generator copy hazard struck again after copying `scripts/gen_w816.py` →
+  `scripts/gen_w817.py`. Both the destination path and the module header f-string
+  carried stale `w816` / `451` references. Fixing both before regenerating resolved it.
+  The stale `MID_IDX` comment was also corrected to `226`.
+  This is the same hazard documented in W782–W816 learnings and remains the only
+  manual step in the otherwise mechanical flow.
+- Fresh weak-point audit (2026-07-29) found no new actionable items. The W783 fix
+  for `bootstrap/tests/verilog_const_array.rs:166` remains green; the pre-existing
+  `verilog_array_literal_expr` regression is still out of scope for the witness ladder.
+- 30-day subject-line traceability remained low; the closeout commit carries
+  `Closes #1562` in the subject, but the overall rate needs improvement.
+  Continue putting issue references in commit subjects.
+- Updated the live Wave Loop Tracker in `.claude/skills/t27-wave-loop.md` to wave 818.
+- Updated `.claude/skills/wave-loop-autopilot.md` to mark W817 READY, W818 planned,
+  and refreshed the master run-list.
+
+### What changed behavior
+- No changes to `bootstrap/src/compiler.rs`.
+- No changes to `bootstrap/stage0/FROZEN_HASH` (`68a0b933c00ba5efd7facb5997f00880c3eecae55e6ac5e8cea2aee399b92adc`).
+- No changes to `scripts/cocotb_ref_model.py`.
+- Added `specs/scratch/w817_bench_module_453x2p6_aos_var_call_write.t27` (~1,989 KB /
+  ~86,131 lines) with seal and Icarus baseline.
+- Added integration test `accepts_w817_bench_module_453x2p6_aos_var_call_write`
+  in `bootstrap/tests/icarus_lowerable.rs`.
+- Added generator script `scripts/gen_w817.py`.
+- Wrote `docs/reports/FPGA_LOOP_CLOSEOUT_W817_2026-07-29.md` and
+  `.claude/plans/wave-loop-818.md` with three cooperation variants.
+- Updated `.claude/skills/t27-wave-loop.md` live tracker to wave 818.
+
+### Validation
+- `cargo build --release -p t27c`: OK.
+- `cargo clippy -p t27c`: OK (780 warnings, 0 errors).
+- `cargo test -p t27c --bin t27c`: 1494 passed; 0 failed; 2 ignored.
+- `cargo test -p tri`: 78 passed; 0 failed.
+- `cargo test -p flash-spi`: 2 passed; 0 failed.
+- `cargo test -p t27c --test bitnet_pipeline`: 20 passed; 0 failed.
+- `cargo test -p t27c --test bitnet_top`: 17 passed; 0 failed.
+- `cargo test -p t27c --test icarus_lowerable`: 277 passed; 0 failed.
+- `cargo test -p t27c --test verilog_const_array`: 2 passed; 0 failed.
+- Direct `t27c parse` W817: PASS.
+- Direct `t27c icarus-lowerable` W817: PASS (`lowerable`).
+- Direct `t27c icarus-simulate` W817: PASS (17 cycles, PASSED).
+- Direct `t27c icarus-cocotb` W817: PASS (`reference-model OK`).
+- Direct `t27c seal --save` W817: PASS.
+
+### Scientific / engineering background
+- IEEE 1800-2017 §7.4.1/7.4.3 define packed-array width as the product of packed
+  dimensions, with no power-of-two restriction. Variant A emits a single
+  929,792-bit packed vector, which is legal SystemVerilog.
+
 ## 2026-07-29 — Wave Loop 816 (module-scope `[451][2]^6 Pt` non-power-of-two outer-dimension AoS variable, issue #1561)
 
 ### What worked

.trinity/seals/scratch_w817_bench_module_453x2p6_aos_var_call_write.json

@@ -0,0 +1,11 @@
+{
+  "gen_hash_c": "sha256:56e165783d92b5a3453064e1d30ebf137b9195c0192520739fc4c468c8b8be5f",
+  "gen_hash_rust": "sha256:39e19c6cadf4032aba151c7ed6e00a0e7d23ee93b5eced0a5be836350c9f5e76",
+  "gen_hash_verilog": "sha256:0568f02c0b646a048393da132aeada5c46a49f63a1a6cae087f2bb0fe6bbe2f5",
+  "gen_hash_zig": "sha256:4bb4e6253aebaa4382f73bcd2ea5eee7e5a6f9993e0481bd94170fb03f832e77",
+  "module": "w817_bench_module_453x2p6_aos_var_call_write",
+  "ring": 12,
+  "sealed_at": "2026-07-29T15:29:41Z",
+  "spec_hash": "sha256:fa19be598582866bc84e2b403b84830a5c865a5528cec9a29465a7c61642fa81",
+  "spec_path": "/Users/playra/t27/specs/scratch/w817_bench_module_453x2p6_aos_var_call_write.t27"
+}

bootstrap/tests/icarus_lowerable.rs

@@ -4999,6 +4999,24 @@ fn accepts_w816_bench_module_451x2p6_aos_var_call_write() {
     }
 }
 
+#[test]
+fn accepts_w817_bench_module_453x2p6_aos_var_call_write() {
+    let dir = scratch_dir();
+    for name in &[
+        "w817_bench_module_453x2p6_aos_var_call_write.t27",
+    ] {
+        let p = dir.join(name);
+        assert!(p.exists(), "missing W817 witness {}", p.display());
+        let (lowerable, json) = run_icarus_lowerable(&p);
+        assert!(
+            lowerable,
+            "expected {} to be lowerable, got: {}",
+            p.display(),
+            json
+        );
+    }
+}
+
 #[test]
 fn accepts_known_lowerable_witnesses() {
     let dir = scratch_dir();