feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes - #1858
Conversation
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1838 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes - Add generator scripts/gen_w890.py (OUTER = 599, MID_IDX = 299). - Add specs/scratch/w890_bench_module_599x2p6_aos_var_call_write.t27 (38,336 elements, 1,226,752-bit packed vector, ~1.170 MiBit). - Add seal .trinity/seals/scratch_w890_bench_module_599x2p6_aos_var_call_write.json. - Add integration test accepts_w890_bench_module_599x2p6_aos_var_call_write. - Zero compiler / FROZEN_HASH changes. Validation: - t27c parse / icarus-lowerable / icarus-simulate (17 cycles) / icarus-cocotb / seal --verify all PASS. - Targeted cargo test PASS. - Full icarus_lowerable suite: 349 passed; 1 pre-existing corpus_classifier_matches_lean_completeness failure for specs/cloud/railway_deploy.t27. Closes #1841 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes - Add generator scripts/gen_w891.py (OUTER = 601, MID_IDX = 300). - Add specs/scratch/w891_bench_module_601x2p6_aos_var_call_write.t27 (38,464 elements, 1,230,848-bit packed vector, ~1.174 MiBit). - Add seal .trinity/seals/scratch_w891_bench_module_601x2p6_aos_var_call_write.json. - Add integration test accepts_w891_bench_module_601x2p6_aos_var_call_write. - Zero compiler / FROZEN_HASH changes. Validation: - t27c parse / icarus-lowerable / icarus-simulate (17 cycles) / icarus-cocotb / seal --verify all PASS. - Targeted cargo test PASS. - Full icarus_lowerable suite: 350 passed; 1 pre-existing corpus_classifier_matches_lean_completeness failure for specs/cloud/railway_deploy.t27. Closes #1843 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes - Add generator scripts/gen_w892.py (OUTER = 603, MID_IDX = 301). - Add specs/scratch/w892_bench_module_603x2p6_aos_var_call_write.t27 (38,592 elements, 1,234,944-bit packed vector, ~1.178 MiBit). - Add seal .trinity/seals/scratch_w892_bench_module_603x2p6_aos_var_call_write.json. - Add integration test accepts_w892_bench_module_603x2p6_aos_var_call_write. - Zero compiler / FROZEN_HASH changes. Validation: - t27c parse / icarus-lowerable / icarus-simulate (17 cycles) / icarus-cocotb / seal --verify all PASS. - Targeted cargo test PASS. - Full icarus_lowerable suite: 351 passed; 1 pre-existing corpus_classifier_matches_lean_completeness failure for specs/cloud/railway_deploy.t27. Closes #1845 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1848
…s (Refs #1848) - Close-out report docs/reports/FPGA_LOOP_CLOSEOUT_W893_2026-08-06.md - Next-wave plan .claude/plans/wave-loop-894.md - Update NOW.md, current-issue.md, experience.md - Update skill trackers t27-wave-loop.md, t27-master-executor.md, wave-loop-autopilot.md
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1851
…s (Refs #1851) - Close-out report docs/reports/FPGA_LOOP_CLOSEOUT_W894_2026-08-06.md - Next-wave plan .claude/plans/wave-loop-895.md - Update NOW.md, current-issue.md, experience.md - Update skill trackers t27-wave-loop.md, t27-master-executor.md, wave-loop-autopilot.md
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1853
…s (Refs #1853) - Close-out report docs/reports/FPGA_LOOP_CLOSEOUT_W895_2026-08-06.md - Next-wave plan .claude/plans/wave-loop-896.md - Update NOW.md, current-issue.md, experience.md - Update skill trackers t27-wave-loop.md, t27-master-executor.md, wave-loop-autopilot.md
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1855
…s (Refs #1855) - Close-out report docs/reports/FPGA_LOOP_CLOSEOUT_W896_2026-08-06.md - Next-wave plan .claude/plans/wave-loop-897.md - Update NOW.md, current-issue.md, experience.md - Update skill trackers t27-wave-loop.md, t27-master-executor.md, wave-loop-autopilot.md
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1857 phi^2 + 1/phi^2 = 3 | TRINITY
…erience, skills, memory Refs #1857 phi^2 + 1/phi^2 = 3 | TRINITY
Closing — nothing left to land once this is measured against current
|
| Path | Why not |
|---|---|
specs/scratch/w*_bench_module_*.t27 |
specs/scratch/ is gitignored (.gitignore:113) and does not exist on master at all |
.trinity/seals/scratch_*.json |
gitignored (.gitignore:120); master carries zero scratch_* seals, so re-adding one would red the seal gate |
docs/NOW.md |
frozen archive since #2298 — new entries go to docs/now/<date>-<slug>.md. This PR prepends to the frozen file, and that prose is in Russian, against the English-only rule |
.trinity/current-issue.md, .claude/skills/t27-master-executor.md, .claude/skills/wave-loop-autopilot.md |
live status pointers, superseded by wave 898/899 |
Wave 897's work is on master; only gitignored scratch material remains here, so this closes rather than being rebased.
Series close-out: #1810, #1813, #1842, #1844, #1847, #1850, #1852, #1854, #1856 and #1858 are all closed for this reason. #1815 was the only PR in the series with unique durable content — the Wave Loop 883 experience entry and skill example, the .claude/plans/wave-loop-884.md plan, and the W883 close-out and W884 cooperation reports, none of which exist on master. It was rebuilt on top of master (scratch spec and scratch seals dropped) and left open with auto-merge armed.
Pull request was closed
Closes #1857
Wave Loop 897 mechanical witness for the packed-vector array-of-struct ladder.
specs/scratch/w897_bench_module_613x2p6_aos_var_call_write.t27t27c parse,icarus-lowerable,icarus-simulate,icarus-cocotb,seal --save,seal --verifyall PASSaccepts_w897_bench_module_613x2p6_aos_var_call_writecorpus_classifier_matches_lean_completenessmismatch forspecs/cloud/railway_deploy.t27remains tracked separatelyFROZEN_HASHchangesphi^2 + 1/phi^2 = 3 | TRINITY