Function insphere_filter 

pub fn insphere_filter(
    a: DVec3,
    b: DVec3,
    c: DVec3,
    d: DVec3,
    e: DVec3,
) -> Certified

The fast filter alone, exposed so escalation can be measured.

Returns Certified::Uncertain when a nonzero coordinate difference is outside [2^-128, 2^128), where a product may overflow or underflow.