Skip to content

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

Closed
gHashTag wants to merge 14 commits into
masterfrom
wave-loop-895
Closed

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

Conversation

@gHashTag

@gHashTag gHashTag commented Aug 7, 2026

Copy link
Copy Markdown
Owner

Closes #1853

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

gHashTag and others added 13 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
@gHashTag
gHashTag enabled auto-merge (squash) August 7, 2026 08:04
…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
This was referenced Aug 20, 2026
@gHashTag

Copy link
Copy Markdown
Owner Author

Closing — nothing left to land once this is measured against current master

Checked with the GitHub API against master at 10e3d5e71a970351d5d1c63f0dd88b77210dbffc. Every durable file in this PR is already on master, byte-identical (same git blob SHA):

  • .claude/plans/wave-loop-*.md, docs/reports/FPGA_LOOP_CLOSEOUT_W*.md, scripts/gen_w*.py — all SAME-BLOB with master. The accumulated W890–W898 record landed via 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, merge commit e756e8c3300e96b35682f8394b405f529683e78c.
  • .trinity/experience.md and .claude/skills/t27-wave-loop.md additions — already present on master verbatim.
  • bootstrap/tests/icarus_lowerable.rsmaster's copy already carries all 352 accepts_w* tests, including accepts_w895_bench_module_*_aos_var_call_write. The large +1872-style line count here is an artifact of an ~848-commit-old merge base, not new content. No test is removed by this close, and the branch is left in place.

What is genuinely unique to this PR is not landable:

Path Why not
specs/scratch/w*_bench_module_*.t27 specs/scratch/ is gitignored (.gitignore:113) and does not exist on master at all
.trinity/seals/scratch_*.json gitignored (.gitignore:120); master carries zero scratch_* seals, so re-adding one would red the seal gate
docs/NOW.md frozen archive since #2298 — new entries go to docs/now/<date>-<slug>.md. This PR prepends to the frozen file, and that prose is in Russian, against the English-only rule
.trinity/current-issue.md, .claude/skills/t27-master-executor.md, .claude/skills/wave-loop-autopilot.md live status pointers, superseded by wave 898/899

Wave 895's work is on master; only gitignored scratch material remains here, so this closes rather than being rebased.

Series close-out: #1810, #1813, #1842, #1844, #1847, #1850, #1852, #1854, #1856 and #1858 are all closed for this reason. #1815 was the only PR in the series with unique durable content — the Wave Loop 883 experience entry and skill example, the .claude/plans/wave-loop-884.md plan, and the W883 close-out and W884 cooperation reports, none of which exist on master. It was rebuilt on top of master (scratch spec and scratch seals dropped) and left open with auto-merge armed.

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 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes

1 participant