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

Merged
3 commits merged into
masterfrom
wave-loop-774
Aug 6, 2026
Merged

3 commits merged 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

gHashTag 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
This was referenced Jul 25, 2026
gHashTag added a commit that referenced this pull request Aug 6, 2026
@gHashTag gHashTag closed this pull request by merging all changes into master in 19c19d3 Aug 6, 2026
gHashTag added a commit that referenced this pull request Oct 7, 2026
…1484)

The Zig reference rejects an array literal longer than its [32]u8 parameter
(expected 32 array elements; found 36), which the wasm typecheck accepts --
caught by the t27b corpus run in CI, not by the local check. Every crc_buf
literal now carries exactly 32 elements: the first len bytes are the frame,
the rest zero padding the loop never reads. All oracle values are unchanged
because crc_buf only folds data[0..len].

Co-Authored-By: Claude Opus 5.5 (1M context) <noreply@anthropic.com>
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