Constant HARAKA_TABLE_LANE_LUT 

pub const HARAKA_TABLE_LANE_LUT: f64 = _; // 7456.916666666667f64

One Haraka chain-step lane with T-tables in rounds 3–8 (from synthesis): what is left of a v5 slice after the parts a v3 slice also has.

v5 slice  = (358,614 − Ed25519 25,383 − glue 20,564) / 4      = 78,167
rest      = v3 slice 127,502 − 3 × 23,902 − BLAKE3 16,422      = 39,374
lane      = (78,167 − 39,374 − 16,422) / 3                     ≈  7,457

Unit: CLB LUTs per lane (versus 23,902 with LUT S-boxes).