Function incircle_filter 

pub fn incircle_filter(a: DVec2, b: DVec2, c: DVec2, d: DVec2) -> 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.