Function dot_f16 

pub fn dot_f16(a: &[u16], b: &[u16]) -> f32

Computes an f32 dot product from equal-length IEEE f16 bit vectors.

Callers must pre-validate equal lengths; the hot path performs a debug_assert! check only. Subnormals, infinities, and NaNs follow IEEE conversion and f32 arithmetic behavior.