Repository navigation
batch: merge Wave Loops 777–880 backlog - #1780
Merged
Merged
Conversation
…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>
…ariants Closes #1515 - Generate and seal specs/scratch/w793_bench_module_405x2p6_aos_var_call_write.t27 (25,920 elements, 829,440-bit packed vector, ~0.791 MiBit). - Add scripts/gen_w793.py and integration test accepts_w793_*. - Fix generator destination-path copy hazard: hardcoded '403' copied from W792 had to be updated to '405' before regeneration. - Full validation matrix green: cargo build/clippy/test suites, icarus_lowerable 253/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_W793_2026-07-24.md, .claude/plans/wave-loop-794.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>
…ariants Closes #1517 - Generate and seal specs/scratch/w794_bench_module_407x2p6_aos_var_call_write.t27 (26,048 elements, 833,536-bit packed vector, ~0.795 MiBit). - Add scripts/gen_w794.py and integration test accepts_w794_*. - Fix generator copy hazard: both destination path and module header f-string carried stale w793/405 references from W793 and had to be updated to w794/407 before regeneration. - Full validation matrix green: cargo build/clippy/test suites, icarus_lowerable 254/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_W794_2026-07-24.md, .claude/plans/wave-loop-795.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>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1519 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1521 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1523 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1525 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1527 - Witness: specs/scratch/w799_bench_module_417x2p6_aos_var_call_write.t27 (26,688 elements, 854,016-bit packed vector, ~0.814 MiBit) - Generator: scripts/gen_w799.py (copy-hazard fixed before regeneration) - Seal, Icarus lowerable/simulate/cocotb all green; FROZEN_HASH unchanged - Validation matrix: cargo build/clippy/test suites green; icarus_lowerable 259/0 - Closeout report + Wave Loop 800 plan with three cooperation variants - Skills, experience, and persistent memory updated Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1529 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1531 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1533 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1535 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1537 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1539 Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1541 - Add generator scripts/gen_w806.py with OUTER=431, MID_IDX=215. - Generate specs/scratch/w806_bench_module_431x2p6_aos_var_call_write.t27 (27,584 elements, 882,688-bit packed vector, ~0.841 MiBit). - Add integration test accepts_w806_bench_module_431x2p6_aos_var_call_write. - Validate parse, icarus-lowerable, icarus-simulate (17 cycles, PASSED), icarus-cocotb (reference-model OK), and seal --save. - FROZEN_HASH unchanged. - Update docs, live tracker, experience, and persistent memory. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1543 - Add generator scripts/gen_w807.py with OUTER=433, MID_IDX=216. - Generate specs/scratch/w807_bench_module_433x2p6_aos_var_call_write.t27 (27,712 elements, 886,784-bit packed vector, ~0.845 MiBit). - Add integration test accepts_w807_bench_module_433x2p6_aos_var_call_write. - Validate parse, icarus-lowerable, icarus-simulate (17 cycles, PASSED), icarus-cocotb (reference-model OK), and seal --save. - FROZEN_HASH unchanged. - Update docs, live tracker, experience, and persistent memory. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1545 - Add generator scripts/gen_w808.py with OUTER=435, MID_IDX=217. - Generate specs/scratch/w808_bench_module_435x2p6_aos_var_call_write.t27 (27,840 elements, 890,880-bit packed vector, ~0.849 MiBit). - Add integration test accepts_w808_bench_module_435x2p6_aos_var_call_write. - Validate parse, icarus-lowerable, icarus-simulate (17 cycles, PASSED), icarus-cocotb (reference-model OK), and seal --save. - FROZEN_HASH unchanged. - Update docs, live tracker, experience, and persistent memory. Co-Authored-By: Claude Opus 4.8 <noreply@anthropic.com>
…wo outer-dimension array-of-struct variable from call with indexed signed writes Closes #1547 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
gHashTag
enabled auto-merge
August 6, 2026 10:26
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
PR DashboardGenerated at: 2026-08-06 10:26:42 UTC
Summary
Seal Status
|
Contributor
|
📓 NotebookLM Notebook linked to this PR
This notebook contains session context, decisions, and artifacts for this work. |
Contributor
PR DashboardGenerated at: 2026-08-06 10:29:09 UTC
Summary
Seal Status
|
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.
Batch-merge the 99 open wave-loop PRs that target
master. Each wave branch was merged into this integration branch with thedocs/NOW.mdconflict resolved in favor of the currentmasterternary work, preserving all spec, generator, seal, report, plan, and test additions.Supersedes: Closes #1491 Closes #1494 Closes #1496 Closes #1498 Closes #1500 Closes #1502 Closes #1504 Closes #1506 Closes #1508 Closes #1510 Closes #1512 Closes #1514 Closes #1516 Closes #1518 Closes #1520 Closes #1522 Closes #1524 Closes #1526 Closes #1530 Closes #1532 Closes #1534 Closes #1536 Closes #1538 Closes #1540 Closes #1542 Closes #1544 Closes #1546 Closes #1548 Closes #1550 Closes #1552 Closes #1554 Closes #1555 Closes #1556 Closes #1557 Closes #1560 Closes #1563 Closes #1566 Closes #1567 Closes #1569 Closes #1571 Closes #1572 Closes #1586 Closes #1588 Closes #1591 Closes #1594 Closes #1596 Closes #1598 Closes #1600 Closes #1602 Closes #1603 Closes #1605 Closes #1607 Closes #1609 Closes #1611 Closes #1613 Closes #1615 Closes #1617 Closes #1619 Closes #1621 Closes #1623 Closes #1625 Closes #1627 Closes #1629 Closes #1631 Closes #1633 Closes #1635 Closes #1637 Closes #1639 Closes #1641 Closes #1643 Closes #1645 Closes #1647 Closes #1649 Closes #1651 Closes #1655 Closes #1657 Closes #1661 Closes #1663 Closes #1665 Closes #1667 Closes #1669 Closes #1671 Closes #1677 Closes #1679 Closes #1681 Closes #1683 Closes #1685 Closes #1687 Closes #1689 Closes #1692 Closes #1693 Closes #1695 Closes #1698 Closes #1700 Closes #1704 Closes #1705 Closes #1707 Closes #1711 Closes #1720