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

[gHashTag]

Wave Loop 887 mechanical stress ladder.

Witness: specs/scratch/w887_bench_module_593x2p6_aos_var_call_write.t27

• [593][2]^6 Pt packed array-of-struct module variable
• non-power-of-two outer dimension 593
• initialized from a pure helper call
• indexed signed field reads and writes in bench

Validation matrix

Step	Tool	Result
Parse	t27c parse	✅ OK
Lowerability	t27c icarus-lowerable	✅ lowerable
Simulation	t27c icarus-simulate	✅ PASSED
CoCoTB	t27c icarus-cocotb	✅ OK
Seal	t27c seal --save / --verify	✅ all MATCH
Rust test	cargo test --test icarus_lowerable	346 passed, 1 pre-existing railway_deploy.t27 mismatch

Invariants

• No compiler, reference-model, or FROZEN_HASH changes.
• gen/ untouched (L2).
• Spec + generator + seal + integration test only.

Closes #1834

🤖 Generated with Claude Code

[github-actions]

PR Dashboard

Generated at: 2026-08-07 04:13:24 UTC

• feat(igla): Wave Loop 887 — module-scope [593][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1835 feat(igla): Wave Loop 887 — module-scope [593][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 | 7 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	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:52:06 UTC

• feat(igla): Wave Loop 887 — module-scope [593][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1835 feat(igla): Wave Loop 887 — module-scope [593][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 | 13 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.