Skip to content

Wave Loop 785: module-scope [389][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable#1500

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

Wave Loop 785: module-scope [389][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable#1500
gHashTag wants to merge 18 commits into
masterfrom
wave-loop-785

Conversation

@gHashTag

@gHashTag gHashTag commented Jul 24, 2026

Copy link
Copy Markdown
Owner

Closes #1499

What
Wave Loop 785 validates the next rung of the module-scope packed-array-of-struct ladder: [389][2]^6 Pt.

Witness

  • specs/scratch/w785_bench_module_389x2p6_aos_var_call_write.t27 — 24,896 elements, 796,672-bit packed vector (~0.760 MiBit).
  • Module-scope pub var dst : [389][2]^6 Pt initialized from a function call and exercised with indexed signed field writes.
  • assert_eq read-back in a bench block.

Not changed

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

Validation

  • 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: 245/0.
  • cargo test -p t27c --test verilog_const_array: 2/0.
  • t27c parse|icarus-lowerable|icarus-simulate|icarus-cocotb|seal --save W785: PASS.

Closeout report
docs/reports/FPGA_LOOP_CLOSEOUT_W785_2026-07-24.md

Next wave
.claude/plans/wave-loop-786.md recommends Variant A: [391][2]^6 Pt.

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

🤖 Generated with Claude Code

Dmitrii Vasilev and others added 18 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>
@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 16:43:37 UTC

Summary

Status Count
Total Open PRs 41
PRs with Failing Checks 31
PRs with All Checks Green 10
READY 9
FAILING 31
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
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 785 — module-scope [389][2]^6 Pt packed array-of-struct variable from call with indexed signed writes

1 participant

@gHashTag