pub const MAX_F16_TWIN_K: usize = 16;Expand description
2026-09-25: The widest chain-verify K with an FP16 h-state twin
(gated_delta_rule_wy{5..16}_f16).
K=17, the DFlash arm at gamma 16, dispatches the FP32 gated_delta_rule_wy17,
which has no twin, and an FP32 kernel over an FP16 h-state produces wrong
output rather than an error. The DFlash verify width is gamma + 1, so the
argument validator and the serve preflight gate on
MAX_F16_TWIN_DFLASH_GAMMA, derived from this.