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

[gHashTag]

Wave Loop 886 mechanical witness.\n\n### What\n- Module-scope packed AoS variable of shape [591][2]^6 Pt (~37,824 elements, 1,210,368 bits, ~1.155 MiBit).\n- Non-power-of-two outer dimension, initialized from a function call, with indexed signed field writes and assert_eq read-back in a bench block.\n- Adds generator scripts/gen_w886.py, spec, seal, and integration test.\n\n### Validation\n- t27c parse: PASS\n- t27c icarus-lowerable: lowerable\n- t27c icarus-simulate: PASSED (17 cycles)\n- t27c icarus-cocotb: reference-model OK\n- t27c seal --save / --verify: MATCH\n- cargo test --release --test icarus_lowerable accepts_w886_bench_module_591x2p6_aos_var_call_write: PASS\n- Full suite: 345 passed; 1 pre-existing corpus_classifier_matches_lean_completeness mismatch for specs/cloud/railway_deploy.t27 tracked separately.\n\n### Invariants\n- Zero compiler / reference-model / FROZEN_HASH changes.\n\nCloses #1832

[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 04:03:42 UTC

• feat(igla): Wave Loop 886 — module-scope [591][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1833 feat(igla): Wave Loop 886 — module-scope [591][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 | 12 failing / 16 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	0
PRs with All Checks Green	4
READY	3
FAILING	0
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).

[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 04:07:54 UTC

• feat(igla): Wave Loop 886 — module-scope [591][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1833 feat(igla): Wave Loop 886 — module-scope [591][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 | 10 failing / 16 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	0
PRs with All Checks Green	4
READY	3
FAILING	0
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).