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

[gHashTag]

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

• Selected Variant A: module-scope [585][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: 585 × 64 = 37,440.
• Packed vector width: 37,440 × 32 = 1,198,080 bits (~1.143 MiBit).
• MID_IDX = 292; frame-condition element [292][1][0][0][0][0][0] is element 292·64 + 32 = 18,720.

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:80d27981...)
• cargo test --release --test icarus_lowerable accepts_w883_bench_module_585x2p6_aos_var_call_write → passed
• Full suite: targeted pass; a pre-existing corpus_classifier_matches_lean_completeness mismatch for specs/cloud/railway_deploy.t27 is under investigation (not introduced by this wave).

Zero compiler / reference-model / FROZEN_HASH changes.

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

---

Rebuilt on master 2026-08-21. The original branch was ~848 commits behind and CONFLICTING; every conflict was content master had already taken. It is now a single commit on master (10e3d5e) carrying only what master does not already have: 6 files, +255/-0.

Kept:

• .claude/plans/wave-loop-884.md, docs/reports/FPGA_LOOP_CLOSEOUT_W883_2026-08-06.md, docs/reports/FPGA_LOOP_COOPERATION_W884_2026-08-06.md — none of the three exist on master
• .trinity/experience.md — the W883 entry, inserted between W884 and W777 where the log jumped from 2026-08-06 back to 2026-07-24
• .claude/skills/t27-wave-loop.md — "Worked example — Wave Loop 883", inserted between the W884 and W880 examples
• docs/now/2026-08-21-wave-loop-883-record.md — the coordination entry the now-sync gate requires

Dropped:

• specs/scratch/w883_*.t27 and .trinity/seals/scratch_w882_*.json, scratch_w883_*.json — gitignored since chore(specs): untrack specs/scratch -- 455 files, 578 MB, 64.5% of the tracked tree #2283 (.gitignore:113, .gitignore:120); a scratch seal is exactly the phantom class the seal gate says to resolve by dropping the seal
• docs/NOW.md — frozen archive since fix(ci): one NOW entry per file, and retire merge=union #2298; the docs/now/ entry above replaces that hunk
• scripts/gen_w882.py, scripts/gen_w883.py, and the bootstrap/tests/icarus_lowerable.rs hunk — already on master, byte-identical. No test is removed; master carries all 352 accepts_w* tests
• .trinity/current-issue.md, .claude/skills/t27-master-executor.md — live-status pointers superseded by wave 898

Sibling PRs #1810, #1813, #1842, #1844, #1847, #1850, #1852, #1854, #1856 and #1858 were closed, not merged: measured against master each had zero durable unique content.

Refs #1814

[github-actions]

PR Dashboard

Generated at: 2026-08-21 08:20:23 UTC

• ci: eleven merge-critical gates were silent on stacked PRs #2169 ci: eleven merge-critical gates were silent on stacked PRs | Created: 2026-08-14 | Updated: 2026-08-21 | 6 failing / 31 total
• corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161 corpus: freeze the damage, patch one class at a time, and say where one rule stops | Created: 2026-08-14 | Updated: 2026-08-20 | 0 failing / 9 total
• Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-20 | 5 failing / 27 total
• feat(igla): Wave Loop 897 — module-scope [613][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1858 feat(igla): Wave Loop 897 — module-scope [613][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 | 1 failing / 3 total
• feat(igla): Wave Loop 896 — module-scope [611][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1856 feat(igla): Wave Loop 896 — module-scope [611][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 | 1 failing / 3 total
• feat(igla): Wave Loop 895 — module-scope [609][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1854 feat(igla): Wave Loop 895 — module-scope [609][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 | 1 failing / 3 total
• feat(igla): Wave Loop 894 — module-scope [607][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1852 feat(igla): Wave Loop 894 — module-scope [607][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 | 1 failing / 3 total
• feat(igla): Wave Loop 893 — module-scope [605][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1850 feat(igla): Wave Loop 893 — module-scope [605][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 | 1 failing / 3 total
• feat(igla): Wave Loop 892 — module-scope [603][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1847 feat(igla): Wave Loop 892 — module-scope [603][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 | 1 failing / 3 total
• feat(igla): Wave Loop 891 — module-scope [601][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1844 feat(igla): Wave Loop 891 — module-scope [601][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 | 0 failing / 4 total
• feat(igla): Wave Loop 890 — module-scope [599][2]^6 Pt non-power-of-two outer-dimension array-of-struct variable from call with indexed signed writes #1842 feat(igla): Wave Loop 890 — module-scope [599][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 | 0 failing / 4 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-21 | 13 failing / 20 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	14
PRs with Failing Checks	2
PRs with All Checks Green	12
READY	5
FAILING	2
PENDING	0

Seal Status

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

📓 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-21 08:27:13 UTC

• ci: eleven merge-critical gates were silent on stacked PRs #2169 ci: eleven merge-critical gates were silent on stacked PRs | Created: 2026-08-14 | Updated: 2026-08-21 | 5 failing / 32 total
• corpus: freeze the damage, patch one class at a time, and say where one rule stops #2161 corpus: freeze the damage, patch one class at a time, and say where one rule stops | Created: 2026-08-14 | Updated: 2026-08-20 | 0 failing / 9 total
• Unbreak FPGA CI and correct two unbacked hardware claims #2081 Unbreak FPGA CI and correct two unbacked hardware claims | Created: 2026-08-11 | Updated: 2026-08-20 | 5 failing / 27 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-21 | 15 failing / 19 total

Summary

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

Seal Status

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