Skip to content

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

Open
gHashTag wants to merge 4 commits into
masterfrom
wave-loop-890
Open

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

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

Closes #1841

Continuation of the mechanical packed-vector array-of-struct ladder.

  • Adds specs/scratch/w890_bench_module_599x2p6_aos_var_call_write.t27 (38,336 elements, 1,226,752-bit packed vector, ~1.170 MiBit).
  • Generator scripts/gen_w890.py copied from W889 with copy-hazard checklist cleared (OUTER=599, MID_IDX=299).
  • Seal and integration test added; zero compiler / FROZEN_HASH changes.

Validation matrix:

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

🤖 Generated with Claude Code

Dmitrii Vasilev and others added 3 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>
@gHashTag
gHashTag enabled auto-merge (squash) August 7, 2026 07:16
- 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>
This was referenced Aug 7, 2026
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.

Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes

1 participant