Function karatsuba_expand 

pub fn karatsuba_expand() -> bool

(a + b)(c + d) = ac + ad + bc + bd — the Karatsuba/gauss product expansion, the identity the 3-multiply NTT butterfly and complex-multiply reshaping rely on, certified at full word width.