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

[gHashTag]

Continue the mechanical packed-vector array-of-struct ladder past the 1-MiBit line.

• Selected Variant A: module-scope [587][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes.
• Shape: Pt = pub struct Pt { x : i16, y : i16 }.
• Total elements: 587 × 64 = 37,568.
• Packed vector width: 37,568 × 32 = 1,202,176 bits (~1.147 MiBit).
• MID_IDX = 293; frame-condition element [293][1][0][0][0][0][0] is element 293·64 + 32 = 18,784.

Validation matrix:

• t27c parse → PASS
• t27c icarus-lowerable → lowerable
• t27c icarus-simulate → PASSED (17 cycles)
• t27c icarus-cocotb → reference-model OK
• t27c seal --save → seal saved (sha256:ed5a44bf...)
• cargo test --release --test icarus_lowerable accepts_w884_bench_module_587x2p6_aos_var_call_write → passed
• Full suite: targeted pass; pre-existing corpus_classifier_matches_lean_completeness mismatch for specs/cloud/railway_deploy.t27 is tracked separately.

Zero compiler / reference-model / FROZEN_HASH changes.

Co-Authored-By: Claude Opus 4.8 noreply@anthropic.com

[github-actions]

📓 NotebookLM Notebook linked to this PR

• Notebook ID: b83263109fb055dc
• URL: https://notebooklm.google.com/notebook/b83263109fb055dc

This notebook contains session context, decisions, and artifacts for this work.

[github-actions]

PR Dashboard

Generated at: 2026-08-07 03:50:41 UTC

• feat(igla): Wave Loop 884 — module-scope [587][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1829 feat(igla): Wave Loop 884 — module-scope [587][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-07 | Updated: 2026-08-07 | 8 failing / 17 total
• feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1815 feat(igla): Wave Loop 883 — module-scope [585][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 1 total
• feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1813 feat(igla): Wave Loop 882 — module-scope [583][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total
• feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1810 feat(igla): Wave Loop 881 — module-scope [581][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes | Created: 2026-08-06 | Updated: 2026-08-06 | 0 failing / 12 total

Summary

Status	Count
Total Open PRs	4
PRs with Failing Checks	1
PRs with All Checks Green	3
READY	3
FAILING	1
PENDING	0

Seal Status

• ⚠️ STALE -- sha256(compiler.rs)=4c1aaad5309a != 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).