pub const VERIFY_WY_TABLES_PER_LAYER: usize = 4;
Tables per GDN layer: h_state + Hi0..Hi2 (K=4 verify → 3 intermediates).