Skip to content

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

Open
gHashTag wants to merge 22 commits into
masterfrom
wave-loop-789
Open

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

Conversation

@gHashTag

@gHashTag gHashTag commented Jul 24, 2026

Copy link
Copy Markdown
Owner

Closes #1507

Wave Loop 789 witness and closeout artifacts.

What changed

  • Added specs/scratch/w789_bench_module_397x2p6_aos_var_call_write.t27 (25,408 elements, 813,056-bit packed vector, ~0.775 MiBit).
  • Added generator scripts/gen_w789.py with OUTER=397, MID_IDX=198.
  • Added accepts_w789_bench_module_397x2p6_aos_var_call_write integration test to bootstrap/tests/icarus_lowerable.rs.
  • Seal: .trinity/seals/scratch_w789_bench_module_397x2p6_aos_var_call_write.json.
  • Closeout report: docs/reports/FPGA_LOOP_CLOSEOUT_W789_2026-07-24.md.
  • W790 plan with three cooperation variants: .claude/plans/wave-loop-790.md.
  • Updated .trinity/experience.md, .trinity/current-issue.md, .claude/skills/t27-wave-loop.md, and docs/NOW.md.

Not changed

  • bootstrap/src/compiler.rs — zero compiler changes for the witness.
  • bootstrap/stage0/FROZEN_HASH — unchanged.
  • scripts/cocotb_ref_model.py — unchanged.

Verification

  • cargo build --release -p t27c: OK.
  • cargo clippy -p t27c: OK (780 warnings, 0 errors).
  • cargo test -p t27c --bin t27c: 1494/0/2.
  • cargo test -p tri: 78/0.
  • cargo test -p flash-spi: 2/0.
  • cargo test -p t27c --test bitnet_pipeline: 20/0.
  • cargo test -p t27c --test bitnet_top: 17/0.
  • cargo test -p t27c --test icarus_lowerable: 249/0.
  • cargo test -p t27c --test verilog_const_array: 2/0.
  • t27c parse|icarus-lowerable|icarus-simulate|icarus-cocotb|seal --save W789: PASS.

🤖 Generated with Claude Code

Dmitrii Vasilev and others added 22 commits July 24, 2026 02:34
Dmitrii Vasilev @claude
docs(trinity): Wave Loop 774 branch setup and cooperation variants
f2b76e5 
Refs #1481

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 774 — module-scope [367][2]^6 Pt non-power-of-t…
bcd9231 
…wo outer-dimension array-of-struct variable from call with indexed signed writes (Closes #1483)

- Add generator scripts/gen_w774.py and witness
  specs/scratch/w774_bench_module_367x2p6_aos_var_call_write.t27
  (23,488 elements, 751,616-bit packed vector, ~0.717 MiBit).
- Add integration test accepts_w774_bench_module_367x2p6_aos_var_call_write.
- Seal witness; FROZEN_HASH unchanged.
- Validation: cargo suites green, t27c parse/lowerable/simulate/cocotb PASS.
- Write closeout report, update .trinity/experience.md, current-issue.md,
  .claude/skills/t27-wave-loop.md, and .claude/plans/loop-w774-full-cycle.md.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev
docs(trinity): update current-issue.md with PR #1484 link for Wave Lo…
4331027 
…op 774 (Refs #1483)
Dmitrii Vasilev @claude
feat(igla): Wave Loop 775 — module-scope [369][2]^6 Pt non-power-of-t…
2e86eb0 
…wo outer-dimension array-of-struct variable from call with indexed signed writes (Closes #1485)

- Add generator scripts/gen_w775.py derived from gen_w774.py.
- Add witness specs/scratch/w775_bench_module_369x2p6_aos_var_call_write.t27
  (23,616 elements, 755,712-bit packed vector, ~0.721 MiBit).
- Add seal .trinity/seals/scratch_w775_bench_module_369x2p6_aos_var_call_write.json.
- Add integration test accepts_w775_bench_module_369x2p6_aos_var_call_write.
- Update docs/reports/FPGA_LOOP_CLOSEOUT_W775_2026-07-24.md with validation matrix,
  weak-point audit, literature scan, and W776 cooperation variants.
- Update .claude/plans/wave-loop-776.md, .trinity/experience.md,
  .claude/skills/t27-wave-loop.md, and .trinity/current-issue.md.
- Zero compiler / reference-model / FROZEN_HASH changes.

Validation:
- cargo build --release -p t27c: OK
- cargo test -p t27c --bin t27c: 1494/0/2
- cargo test -p tri: 78/0
- cargo test -p t27c --test icarus_lowerable: 235/0
- t27c parse/icarus-lowerable/icarus-simulate(17 cycles)/icarus-cocotb W775: PASS

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 776 — module-scope [371][2]^6 Pt non-power-of-t…
7756ef2 
…wo outer-dimension array-of-struct variable from call with indexed signed writes (Closes #1487)

- Add generator scripts/gen_w776.py derived from gen_w775.py.
- Add witness specs/scratch/w776_bench_module_371x2p6_aos_var_call_write.t27
  (23,744 elements, 759,808-bit packed vector, ~0.725 MiBit).
- Add seal .trinity/seals/scratch_w776_bench_module_371x2p6_aos_var_call_write.json.
- Add integration test accepts_w776_bench_module_371x2p6_aos_var_call_write.
- Update docs/reports/FPGA_LOOP_CLOSEOUT_W776_2026-07-24.md with validation matrix,
  weak-point audit, literature scan, and W777 cooperation variants.
- Update docs/NOW.md, .claude/plans/wave-loop-777.md, .trinity/experience.md,
  .claude/skills/t27-wave-loop.md, and .trinity/current-issue.md.
- Zero compiler / reference-model / FROZEN_HASH changes.

Validation:
- cargo build --release -p t27c: OK
- cargo test -p t27c --bin t27c: 1494/0/2
- cargo test -p tri: 78/0
- cargo test -p t27c --test icarus_lowerable: 236/0
- t27c parse/icarus-lowerable/icarus-simulate(17 cycles)/icarus-cocotb W776: PASS

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev
docs(trinity): update current-issue.md with PR #1488 link for Wave Lo…
484c417 
…op 776 (Refs #1487)
Dmitrii Vasilev
feat(igla): Wave Loop 777 — module-scope [373][2]^6 Pt non-power-of-t…
995d94f 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1490
Dmitrii Vasilev
docs(trinity): Wave Loop 777 close-out — current-issue, NOW, skill, e…
0867846 
…xperience, W778 plan/report

Closes #1490

- Advance .trinity/current-issue.md to Wave Loop 778 (issue #1492).
- Refresh docs/NOW.md with W777 landed state and W778 candidate variants.
- Append W777 worked example to .claude/skills/t27-wave-loop.md.
- Prepend W777 learnings to .trinity/experience.md.
- Add .claude/plans/wave-loop-778.md and loop-w777-full-cycle.md.
- Add closeout report docs/reports/FPGA_LOOP_CLOSEOUT_W777_2026-07-24.md.
- Save memory file wave-loop-777.md and update MEMORY.md index.

No compiler / FROZEN_HASH / reference-model changes.
Dmitrii Vasilev
feat(igla): Wave Loop 778 — module-scope [375][2]^6 Pt non-power-of-t…
0c856f5 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1492

- Add scripts/gen_w778.py generator (OUTER=375, MID_IDX=187).
- Generate specs/scratch/w778_bench_module_375x2p6_aos_var_call_write.t27
  (24,000 elements, 768,000-bit packed vector, ~0.733 MiBit).
- Seal witness; FROZEN_HASH unchanged.
- Add integration test accepts_w778_bench_module_375x2p6_aos_var_call_write.
- Update .trinity/current-issue.md, .trinity/experience.md, .claude/skills/t27-wave-loop.md,
  docs/NOW.md with W778 state and W779 plan.
- Add closeout report docs/reports/FPGA_LOOP_CLOSEOUT_W778_2026-07-24.md and
  .claude/plans/wave-loop-779.md with three cooperation variants.

Validation:
- cargo build --release -p t27c: OK
- cargo test -p t27c --bin t27c: 1494/0/2
- cargo test -p tri: 78/0
- cargo test -p t27c --test icarus_lowerable: 238/0
- t27c parse|icarus-lowerable|icarus-simulate|icarus-cocotb|seal --save W778: PASS

No compiler / reference-model / FROZEN_HASH changes.
Dmitrii Vasilev
feat(igla): Wave Loop 779 — module-scope [377][2]^6 Pt non-power-of-t…
eadd9cf 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

- Add generator scripts/gen_w779.py and witness specs/scratch/w779_bench_module_377x2p6_aos_var_call_write.t27 (24,128 elements, 772,096-bit packed vector).
- Add integration test accepts_w779_bench_module_377x2p6_aos_var_call_write.
- Seal witness; FROZEN_HASH unchanged.
- Add closeout report docs/reports/FPGA_LOOP_CLOSEOUT_W779_2026-07-24.md and W780 plan .claude/plans/wave-loop-780.md.
- Update .trinity/current-issue.md, .trinity/experience.md, .claude/skills/t27-wave-loop.md, and docs/NOW.md.

Closes #1494
Dmitrii Vasilev @claude
feat(igla): Wave Loop 780 — module-scope [379][2]^6 Pt non-power-of-t…
5828a01 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

- Add scripts/gen_w780.py and generated witness
  specs/scratch/w780_bench_module_379x2p6_aos_var_call_write.t27
  (24,256 elements, 776,192-bit packed vector, ~0.741 MiBit).
- Add integration test accepts_w780_bench_module_379x2p6_aos_var_call_write.
- Seal witness; FROZEN_HASH unchanged.
- Refresh .trinity/experience.md, docs/NOW.md, .trinity/current-issue.md,
  .claude/plans/wave-loop-781.md, docs/reports/FPGA_LOOP_CLOSEOUT_W780_*.md,
  and .claude/skills/t27-wave-loop.md.
- Weak-point audit and 2025-2026 ternary/MVL literature scan included in report.

Closes #1496

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 781 — module-scope [381][2]^6 Pt non-power-of-t…
a614656 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

- Add scripts/gen_w781.py and generated witness
  specs/scratch/w781_bench_module_381x2p6_aos_var_call_write.t27
  (24,384 elements, 780,288-bit packed vector, ~0.745 MiBit).
- Add integration test accepts_w781_bench_module_381x2p6_aos_var_call_write.
- Seal witness; FROZEN_HASH unchanged.
- Fix 2026-07-24 audit weak points:
  - cli/flash-spi/src/main.rs: wire FlashOpts bitswap/no_jprogram fields.
  - bootstrap/src/sensitivity.rs: use std::f64::consts::PI for clippy.
  - bootstrap/tests/bitnet_pipeline.rs: update IDLE-state expected substring.
  - bootstrap/tests/bitnet_top.rs: update busy/mem_addr/mem_rd_en expectations.
- Refresh .trinity/experience.md, docs/NOW.md, .trinity/current-issue.md,
  .claude/plans/wave-loop-781.md, .claude/plans/wave-loop-782.md,
  docs/reports/FPGA_LOOP_CLOSEOUT_W781_*.md, and .claude/skills/t27-wave-loop.md.
- Weak-point audit and 2025-2026 ternary/MVL literature scan included in report.

Closes #1492

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 782 — module-scope [383][2]^6 Pt non-power-of-t…
7531975 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

- Add scripts/gen_w782.py with OUTER=383, MID_IDX=191.
- Generate specs/scratch/w782_bench_module_383x2p6_aos_var_call_write.t27
  (24,512 elements, 784,384-bit packed vector, ~0.748 MiBit).
- Add integration test accepts_w782_bench_module_383x2p6_aos_var_call_write.
- Seal witness; FROZEN_HASH unchanged.
- Fix bootstrap/src/host/telemetry.rs:242 literal 3.14 → std::f64::consts::PI.
- Write closeout report, W783 plan, and update NOW/experience/skill/current-issue.

Closes #1493

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev
feat(igla): Wave Loop 783 — module-scope [385][2]^6 Pt non-power-of-t…
f06adf4 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1495

Also fixes stale TODO expectation in bootstrap/tests/verilog_const_array.rs:166 so the test accepts the current richer emitter diagnostic format.
Dmitrii Vasilev
docs(trinity): record W783 PR #1496 in current-issue.md
7f2c7af 
Refs #1495
Dmitrii Vasilev
feat(igla): Wave Loop 784 — module-scope [387][2]^6 Pt non-power-of-t…
db3e459 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1497

Extends the module-scope packed-array-of-struct ladder to OUTER = 387 (24,768 elements, 792,576-bit packed vector, ~0.756 MiBit). Zero compiler / reference-model / FROZEN_HASH changes. Adds generator, witness, integration test, seal, closeout report, and W785 cooperation variants.
Dmitrii Vasilev
docs(trinity): record W784 PR #1498 in current-issue.md
2fd1f73 
Refs #1497
Dmitrii Vasilev @claude
feat(igla): Wave Loop 785 — module-scope [389][2]^6 Pt non-power-of-t…
af5c29c 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1499

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 786 — module-scope [391][2]^6 Pt non-power-of-t…
53c5413 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1501

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 787 — module-scope [393][2]^6 Pt non-power-of-t…
f5ee041 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1503

- Adds specs/scratch/w787_bench_module_393x2p6_aos_var_call_write.t27
  (25,152 elements, 804,864-bit packed vector, ~0.767 MiBit).
- Adds generator scripts/gen_w787.py (OUTER=393, MID_IDX=196).
- Adds integration test accepts_w787_bench_module_393x2p6_aos_var_call_write
  in bootstrap/tests/icarus_lowerable.rs.
- Seals witness; FROZEN_HASH unchanged.
- Closeout report, W788 plan, skill update, experience, NOW.md.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev @claude
feat(igla): Wave Loop 788 — module-scope [395][2]^6 Pt non-power-of-t…
44fa559 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1505

- Adds specs/scratch/w788_bench_module_395x2p6_aos_var_call_write.t27
  (25,280 elements, 808,960-bit packed vector, ~0.771 MiBit).
- Adds generator scripts/gen_w788.py (OUTER=395, MID_IDX=197).
  Note: generator header had a hardcoded w787 prefix inside an f-string,
  requiring a manual fix and regeneration to match the w788 module/seal.
- Adds integration test accepts_w788_bench_module_395x2p6_aos_var_call_write
  in bootstrap/tests/icarus_lowerable.rs.
- Seals witness; FROZEN_HASH unchanged.
- Closeout report, W789 plan, skill update, experience, NOW.md.

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Dmitrii Vasilev
feat(igla): Wave Loop 789 — module-scope [397][2]^6 Pt non-power-of-t…
228e1d8 
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1507
@github-actions

github-actions Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

This notebook contains session context, decisions, and artifacts for this work.

@github-actions

github-actions Bot commented Jul 24, 2026

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-07-24 17:44:05 UTC

Summary

Status Count
Total Open PRs 45
PRs with Failing Checks 35
PRs with All Checks Green 10
READY 9
FAILING 35
PENDING 0

Seal Status

  • ⚠️ STALE -- sha256(compiler.rs)=68a0b933c00b != manifest seal=87e5cbd3ad94.
    The committed NMSE numbers were certified against an older compiler.rs.
    Run scripts/reseal-check.sh locally for the two-step reseal command (advisory; not a merge gate).

This was referenced Jul 24, 2026
Open
Open
Open
Open
Open
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.

Wave Loop 789 — module-scope [397][2]^6 Pt non-power-of-two outer-dimension AoS variable from call

1 participant

@gHashTag