Skip to content

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 #1483

Description

@gHashTag

Wave Loop 174 implements Variant A from W773: continue the odd outer-dimension ladder with a module-scope [367][2]^6 Pt packed array-of-struct variable initialized from a function call, exercised with indexed signed field writes and assert_eq read-back in a bench block.

Acceptance criteria:

  • specs/scratch/w774_bench_module_367x2p6_aos_var_call_write.t27 generated and parses.
  • Witness is Icarus-lowerable and simulates correctly (17 cycles, PASSED).
  • cocotb reference model matches t27 semantics.
  • t27c seal --save succeeds and FROZEN_HASH remains unchanged.
  • All cargo suites remain green.
  • Integration test accepts_w774_bench_module_367x2p6_aos_var_call_write is added.
  • Closeout report docs/reports/FPGA_LOOP_CLOSEOUT_W774_2026-07-24.md is written.
  • Learning is saved to .trinity/experience.md, memory, and skills.
  • Branch merges to master with Closes #1482.

φ² + φ⁻² = 3 | TRINITY

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions