pub fn fa_split_keys_pub(t_kv: usize, n_head_kv: usize) -> usize
Public twin of the crate-private split ladder (kernel-check builds the seqs-vs-loop pin).