Skip to content

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

Open
gHashTag wants to merge 1 commit into
wave-loop-798from
wave-loop-799
Open

feat(igla): Wave Loop 799 — module-scope [417][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes#1528
gHashTag wants to merge 1 commit into
wave-loop-798from
wave-loop-799

Conversation

@gHashTag

@gHashTag gHashTag commented Jul 25, 2026

Copy link
Copy Markdown
Owner

Closes #1527

Summary

  • Adds specs/scratch/w799_bench_module_417x2p6_aos_var_call_write.t27 (26,688 elements, 854,016-bit packed vector, ~0.814 MiBit).
  • Adds generator scripts/gen_w799.py with copy-hazard fixed before regeneration.
  • Adds bootstrap/tests/icarus_lowerable.rs integration test accepts_w799_bench_module_417x2p6_aos_var_call_write.
  • Seals witness and keeps bootstrap/stage0/FROZEN_HASH unchanged.
  • Validation matrix all green; icarus_lowerable now 259/0.
  • Closeout report + Wave Loop 800 plan with three cooperation variants; skills, experience, and persistent memory updated.

φ² + φ⁻² = 3 | TRINITY

🤖 Generated with Claude Code

…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1527

- Witness: specs/scratch/w799_bench_module_417x2p6_aos_var_call_write.t27 (26,688 elements, 854,016-bit packed vector, ~0.814 MiBit)

- Generator: scripts/gen_w799.py (copy-hazard fixed before regeneration)

- Seal, Icarus lowerable/simulate/cocotb all green; FROZEN_HASH unchanged

- Validation matrix: cargo build/clippy/test suites green; icarus_lowerable 259/0

- Closeout report + Wave Loop 800 plan with three cooperation variants

- Skills, experience, and persistent memory updated

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
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.

1 participant