Skip to content

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

Open
gHashTag wants to merge 20 commits into
masterfrom
wave-loop-898
Open

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

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

Closes #1859

Wave Loop 898 mechanical witness for the packed-vector array-of-struct ladder.

  • Adds specs/scratch/w898_bench_module_615x2p6_aos_var_call_write.t27
  • 39,360 elements, 1,259,520-bit packed vector, ~1.202 MiBit
  • t27c parse, icarus-lowerable, icarus-simulate, icarus-cocotb, seal --save, seal --verify all PASS
  • Adds targeted integration test accepts_w898_bench_module_615x2p6_aos_var_call_write
  • Full suite expected: 357 passed; 1 pre-existing corpus_classifier_matches_lean_completeness mismatch for specs/cloud/railway_deploy.t27 remains tracked separately
  • Zero compiler / reference-model / FROZEN_HASH changes

phi^2 + 1/phi^2 = 3 | TRINITY

Dmitrii Vasilev and others added 19 commits August 7, 2026 14:07
Dmitrii Vasilev @claude
feat(igla): Wave Loop 889 — module-scope [597][2]^6 Pt non-power-of-t…
c1cb2d1 
…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>
Dmitrii Vasilev @claude
docs(igla): Wave Loop 889 close-out — finalize W890 issue #1841
b81affa 
- 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>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-t…
6cf27cc 
…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>
Dmitrii Vasilev @claude
docs(igla): Wave Loop 890 close-out — finalize W891 issue #1843
9834631 
- 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>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-t…
9c7c859 
…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>
Dmitrii Vasilev @claude
docs(igla): Wave Loop 891 close-out — finalize W892 issue #1845
af6f47b 
- 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>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-t…
20344b3 
…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>
Dmitrii Vasilev
docs(igla): Wave Loop 892 close-out + W893 plan (Closes #1845)
5de2bc7
Dmitrii Vasilev
feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-t…
b4c4221 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1848
Dmitrii Vasilev
docs(igla): Wave Loop 893 close-out — [605][2]^6 Pt packed AoS witnes…
0300b76 
…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
Dmitrii Vasilev
feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-t…
de32fd6 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1851
Dmitrii Vasilev
docs(igla): Wave Loop 894 close-out — [607][2]^6 Pt packed AoS witnes…
fe343d4 
…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
Dmitrii Vasilev
feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-t…
fc9c479 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1853
Dmitrii Vasilev
docs(igla): Wave Loop 895 close-out — [609][2]^6 Pt packed AoS witnes…
c7f2310 
…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
Dmitrii Vasilev
feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-t…
7116964 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1855
Dmitrii Vasilev
docs(igla): Wave Loop 896 close-out — [611][2]^6 Pt packed AoS witnes…
8563348 
…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
Dmitrii Vasilev
feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-t…
ddf8700 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1857

phi^2 + 1/phi^2 = 3 | TRINITY
Dmitrii Vasilev
docs(igla): Wave Loop 897 close-out — update trackers, plan, NOW, exp…
20aa02c 
…erience, skills, memory

Refs #1857

phi^2 + 1/phi^2 = 3 | TRINITY
Dmitrii Vasilev
feat(igla): Wave Loop 898 — module-scope [615][2]^6 Pt non-power-of-t…
76f9cd8 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1859

phi^2 + 1/phi^2 = 3 | TRINITY
@gHashTag
gHashTag enabled auto-merge (squash) August 7, 2026 19:48
@github-actions github-actions Bot mentioned this pull request Aug 7, 2026
Merged
Dmitrii Vasilev
docs(igla): Wave Loop 898 close-out — update trackers, plan, NOW, exp…
b8fd638 
…erience, skills, memory

Refs #1859

phi^2 + 1/phi^2 = 3 | TRINITY
This was referenced Aug 7, 2026
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
This was referenced Aug 8, 2026
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Merged
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

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

1 participant

@gHashTag