docs(trinity): Wave Loop 792 closeout — [403][2]^6 Pt module-scope AoS (Closes #1513) - #1514
Open
gHashTag wants to merge 25 commits into
Open
docs(trinity): Wave Loop 792 closeout — [403][2]^6 Pt module-scope AoS (Closes #1513)#1514gHashTag wants to merge 25 commits into
gHashTag wants to merge 25 commits into
Conversation
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>
…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.
…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.
…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>
…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>
…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>
…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>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1507
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1509
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1511 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…ariants Closes #1513 - Generate and seal specs/scratch/w792_bench_module_403x2p6_aos_var_call_write.t27 (25,792 elements, 825,344-bit packed vector, ~0.787 MiBit). - Add scripts/gen_w792.py and integration test accepts_w792_*. - Full validation matrix green: cargo build/clippy/test suites, icarus_lowerable 252/0, t27c parse|icarus-lowerable|icarus-simulate|icarus-cocotb|seal --save all PASS. - Zero compiler/reference-model/FROZEN_HASH changes for the witness. - Write docs/reports/FPGA_LOOP_CLOSEOUT_W792_2026-07-24.md, .claude/plans/wave-loop-793.md, update docs/NOW.md, .trinity/experience.md, .claude/skills/t27-wave-loop.md, and .trinity/current-issue.md. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
This was referenced Jul 24, 2026
This was referenced Jul 25, 2026
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Wave Loop 792 extends the odd outer-dimension packed-array-of-struct ladder to
[403][2]^6 Pt(25,792 elements, 825,344-bit packed vector, ~0.787 MiBit) with zero compiler, reference-model, or FROZEN_HASH changes.Validation
cargo build --release -p t27c: OKcargo clippy -p t27c: OK (780 warnings, 0 errors)cargo test -p t27c --bin t27c: 1494/0/2cargo test -p tri: 78/0cargo test -p flash-spi: 2/0cargo test -p t27c --test bitnet_pipeline: 20/0cargo test -p t27c --test bitnet_top: 17/0cargo test -p t27c --test icarus_lowerable: 252/0cargo test -p t27c --test verilog_const_array: 2/0t27c parse|icarus-lowerable|icarus-simulate|icarus-cocotb|seal --saveW792: PASSDeliverables
specs/scratch/w792_bench_module_403x2p6_aos_var_call_write.t27scripts/gen_w792.pybootstrap/tests/icarus_lowerable.rs: new testaccepts_w792_bench_module_403x2p6_aos_var_call_write.trinity/seals/scratch_w792_bench_module_403x2p6_aos_var_call_write.jsondocs/reports/FPGA_LOOP_CLOSEOUT_W792_2026-07-24.md.claude/plans/wave-loop-793.mddocs/NOW.md,.trinity/experience.md,.claude/skills/t27-wave-loop.md,.trinity/current-issue.mdCloses #1513
🤖 Generated with Claude Code