Skip to content

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

Open
gHashTag wants to merge 18 commits into
masterfrom
wave-loop-897
Open

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

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

Closes #1857

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

  • Adds specs/scratch/w897_bench_module_613x2p6_aos_var_call_write.t27
  • 39,232 elements, 1,255,424-bit packed vector, ~1.198 MiBit
  • t27c parse, icarus-lowerable, icarus-simulate, icarus-cocotb, seal --save, seal --verify all PASS
  • Adds targeted integration test accepts_w897_bench_module_613x2p6_aos_var_call_write
  • Full suite: 356 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

gHashTag and others added 17 commits August 7, 2026 14:07
@gHashTag @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>
@gHashTag @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>
@gHashTag @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>
@gHashTag @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>
@gHashTag @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>
@gHashTag @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>
@gHashTag @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>
@gHashTag
docs(igla): Wave Loop 892 close-out + W893 plan (Closes #1845)
5de2bc7
@gHashTag
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
@gHashTag
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
@gHashTag
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
@gHashTag
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
@gHashTag
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
@gHashTag
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
@gHashTag
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
@gHashTag
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
@gHashTag
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
@gHashTag
gHashTag enabled auto-merge (squash) August 7, 2026 08:34
@gHashTag
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
This was referenced Aug 7, 2026
Merged
Merged
Merged
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 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes

1 participant

@gHashTag