Wave Loop 888 — module-scope [595][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes

[gHashTag]

Closes #1836

This wave continues the mechanical packed-vector array-of-struct ladder one step past the 1.16 MiBit line.

• New spec: specs/scratch/w888_bench_module_595x2p6_aos_var_call_write.t27 — module-scope [595][2]^6 Pt variable initialized from a pure helper call, with indexed signed field writes and assert_eq read-back in a bench block.
• Generator: scripts/gen_w888.py copied from gen_w887.py with the copy-hazard checklist cleared (destination path, module header, MID_IDX).
• Integration test: accepts_w888_bench_module_595x2p6_aos_var_call_write added to bootstrap/tests/icarus_lowerable.rs.
• Seal: .trinity/seals/scratch_w888_bench_module_595x2p6_aos_var_call_write.json saved and verified.

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 --verify — all MATCH
• Targeted cargo test --release --test icarus_lowerable accepts_w888... — PASS
• Full suite: 347 passed; 1 pre-existing corpus_classifier_matches_lean_completeness mismatch for specs/cloud/railway_deploy.t27 tracked separately.

Zero changes to compiler, reference model, or FROZEN_HASH.

🤖 Generated with Claude Code

[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:55:39 UTC

• Wave Loop 888 — module-scope [595][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1837 Wave Loop 888 — module-scope [595][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).

[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:57:11 UTC

• Wave Loop 888 — module-scope [595][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1837 Wave Loop 888 — module-scope [595][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 | 11 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:59:41 UTC

• Wave Loop 888 — module-scope [595][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1837 Wave Loop 888 — module-scope [595][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).