…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>

…op 774 (Refs #1483)

…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>

…op 776 (Refs #1487)

…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.

Refs #1495

…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.

Refs #1497

…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>