Skip to content

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

Open
gHashTag wants to merge 16 commits into
masterfrom
wave-loop-896
Open

feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes#1856
gHashTag wants to merge 16 commits into
masterfrom
wave-loop-896

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

Closes #1855

Validation: t27c parse, icarus-lowerable, icarus-simulate, icarus-cocotb, and seal all pass; cargo test --release --test icarus_lowerable reports 355 passed / 1 pre-existing corpus_classifier_matches_lean_completeness failure for specs/cloud/railway_deploy.t27.

Dmitrii Vasilev and others added 15 commits August 7, 2026 14:07
…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>
- Closeout report for W889 [597][2]^6 Pt packed AoS witness.
- Update skills, autopilot, master executor, NOW, experience, current-issue.
- Add Wave Loop 890 plan (issue #1841).

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>
- Closeout report for W890 [599][2]^6 Pt packed AoS witness.
- Update skills, autopilot, master executor, NOW, experience, current-issue.
- Add Wave Loop 891 plan (issue #1843).

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>
- Closeout report for W891 [601][2]^6 Pt packed AoS witness.
- Update skills, autopilot, master executor, NOW, experience, current-issue.
- Add Wave Loop 892 plan (issue #1845).

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
@gHashTag
gHashTag enabled auto-merge (squash) August 7, 2026 08:22
…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
This was referenced Aug 8, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

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

1 participant