Skip to content

feat(igla): Wave Loop 774 — module-scope [367][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes#1484

Open
gHashTag wants to merge 3 commits into
masterfrom
wave-loop-774
Open

feat(igla): Wave Loop 774 — module-scope [367][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes#1484
gHashTag wants to merge 3 commits into
masterfrom
wave-loop-774

Conversation

@gHashTag

Copy link
Copy Markdown
Owner

Closes #1483.

Wave Loop 774 continues the odd outer-dimension packed AoS ladder with a module-scope [367][2]^6 Pt variable initialized from a function call and exercised with indexed signed field writes.

What changed

  • Added scripts/gen_w774.py and generated specs/scratch/w774_bench_module_367x2p6_aos_var_call_write.t27 (23,488 elements, 751,616-bit packed vector, ~0.717 MiBit).
  • Added integration test accepts_w774_bench_module_367x2p6_aos_var_call_write.
  • Sealed the witness; bootstrap/stage0/FROZEN_HASH unchanged.
  • Wrote docs/reports/FPGA_LOOP_CLOSEOUT_W774_2026-07-24.md with weak-point audit, literature scan, and three W775 cooperation variants.
  • Updated .trinity/experience.md, .trinity/current-issue.md, .claude/skills/t27-wave-loop.md, and .claude/plans/loop-w774-full-cycle.md.

Validation

  • cargo build --release -p t27c: OK
  • cargo test -p t27c --bin t27c: 1494 passed; 0 failed; 2 ignored
  • cargo test -p tri: 78 passed; 0 failed
  • cargo test -p t27c --test icarus_lowerable: 234 passed; 0 failed
  • t27c parse / icarus-lowerable / icarus-simulate (17 cycles, PASSED) / icarus-cocotb (reference-model OK): all PASS

φ² + φ⁻² = 3 | TRINITY

Dmitrii Vasilev and others added 2 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>
@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 11:10:20 UTC

Summary

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

@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 11:10:44 UTC

Summary

Status Count
Total Open PRs 33
PRs with Failing Checks 23
PRs with All Checks Green 10
READY 9
FAILING 23
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 774 — module-scope [367][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes

1 participant