Skip to content

feat(igla): Wave Loop 782 — module-scope [383][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes#1494

Open
gHashTag wants to merge 13 commits into
masterfrom
wave-loop-782
Open

feat(igla): Wave Loop 782 — module-scope [383][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes#1494
gHashTag wants to merge 13 commits into
masterfrom
wave-loop-782

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Wave Loop 782 closes issue #1493.

What changed

  • Added scripts/gen_w782.py with OUTER = 383, MID_IDX = 191.
  • Generated specs/scratch/w782_bench_module_383x2p6_aos_var_call_write.t27 (24,512 elements, 784,384-bit packed vector, ~0.748 MiBit).
  • Added integration test accepts_w782_bench_module_383x2p6_aos_var_call_write in bootstrap/tests/icarus_lowerable.rs.
  • Sealed witness; FROZEN_HASH unchanged.
  • Fixed bootstrap/src/host/telemetry.rs:242 literal 3.14std::f64::consts::PI.
  • Wrote closeout report docs/reports/FPGA_LOOP_CLOSEOUT_W782_2026-07-24.md and next-wave plan .claude/plans/wave-loop-783.md.
  • Updated .trinity/experience.md, .trinity/current-issue.md, .claude/skills/t27-wave-loop.md, docs/NOW.md.

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: 242/0
  • Direct t27c parse W782: PASS
  • Direct t27c icarus-lowerable W782: PASS
  • Direct t27c icarus-simulate W782: PASS (17 cycles)
  • Direct t27c icarus-cocotb W782: PASS
  • t27c seal --save W782: PASS

Remaining weak points (pre-existing, out of scope)

  • bootstrap/tests/verilog_array_literal_expr.rs regression
  • bootstrap/tests/verilog_const_array.rs regression
  • 627 release warnings (unused/dead code)
  • Vivado-in-Docker CI gap

Closes #1493

🤖 Generated with Claude Code

Dmitrii Vasilev and others added 13 commits July 24, 2026 02:34
Refs #1481

Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…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>
…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>
…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>
…wo outer-dimension array-of-struct variable from call with indexed signed writes

Closes #1490
…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.
…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.
…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
…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>
…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>
…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>
@github-actions

Copy link
Copy Markdown
Contributor

📓 NotebookLM Notebook linked to this PR

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

@github-actions

Copy link
Copy Markdown
Contributor

PR Dashboard

Generated at: 2026-07-24 15:21:05 UTC

Summary

Status Count
Total Open PRs 38
PRs with Failing Checks 28
PRs with All Checks Green 10
READY 9
FAILING 28
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
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.

Wave Loop 782 — module-scope [383][2]^6 Pt non-power-of-two outer-dimension AoS variable from call with indexed signed writes

1 participant