feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes - #1844
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>
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 891'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 #1843
Continuation of the mechanical packed-vector array-of-struct ladder.
specs/scratch/w891_bench_module_601x2p6_aos_var_call_write.t27(38,464 elements, 1,230,848-bit packed vector, ~1.174 MiBit).scripts/gen_w891.pycopied from W890 with copy-hazard checklist cleared (OUTER=601, MID_IDX=300).FROZEN_HASHchanges.Validation matrix:
t27c parse/icarus-lowerable/icarus-simulate(17 cycles) /icarus-cocotb/seal --verify— all PASS.icarus_lowerablesuite: 350 passed; 1 pre-existingcorpus_classifier_matches_lean_completenessfailure forspecs/cloud/railway_deploy.t27.🤖 Generated with Claude Code