Next mechanical rung of the packed-vector array-of-struct ladder.
- Shape: module-scope
[599][2]^6 Pt variable.
- Outer dimension
599 is non-power-of-two.
- Initialized from a pure helper call (e.g.
make_grid(0)).
- Mutated via indexed signed field writes and read back with
assert_eq inside a bench block.
- Expected packed vector width:
599 × 64 × 32 = 1,226,752 bits (~1.170 MiBit).
Acceptance criteria:
t27c parse, icarus-lowerable, icarus-simulate, icarus-cocotb, seal --save all pass.
- Integration test added to
bootstrap/tests/icarus_lowerable.rs.
- Zero changes to compiler, reference model, or
FROZEN_HASH.
- PR opened with auto-merge.
Next mechanical rung of the packed-vector array-of-struct ladder.
[599][2]^6 Ptvariable.599is non-power-of-two.make_grid(0)).assert_eqinside abenchblock.599 × 64 × 32 = 1,226,752bits (~1.170 MiBit).Acceptance criteria:
t27c parse,icarus-lowerable,icarus-simulate,icarus-cocotb,seal --saveall pass.bootstrap/tests/icarus_lowerable.rs.FROZEN_HASH.