nx_nofloat_moe_block_gate.nx

nx_nofloat_moe_block_gate.nx -- gates the MoE transformer BLOCK (MoE rung 2, 2026-07-15): per-token pre-norm MoE-FFN with residual at T>1 -- out[t] = x[t] + MoE(RMSNorm_gamma(x[t])). The property under test beyond rung 1: PER-TOKEN routing (each token consults the router independently). Teeth: T1 EXACT vs an independent per-token reference (rmsnorm via reversed square-sum + rung-1's reversed reference math + residual) on T=4 distinct tokens (0 mismatched cells of T*D) T2 PER-TOKEN ROUTING proven: at least two tokens select DIFFERENT expert sets (per-token cnt deltas) T3 residual REAL: block out differs from both x (transform happened) and the MoE-only output (residual added) T4 determinism: repeat call byte-identical T5 NEG-CONTROL: negated router row changes some token's selection (routing weight-driven at the block level) Synthetic Q16 weights from the fixed integer formula (no randomness, no clock). Runs in ms. expect_exit: 0 license_tier: ORIGINAL No hw writes (Rule 26).