GROW_PAST_DECLARED_MAX

growmax.wat (93 bytes) — memory declared 1 1; warp_run executes memory.grow(1) (which would need 2 pages) and converts the engine's grow denial (-1) into unreachable. Proves the engine enforces a module's DECLARED max at grow time — the evidence that reject-no-max is a sufficient memory ceiling.