pub const WINDOW_CERTIFICATION: f64 = 1e-3 /* 0.001f64 */;
How finely a seam’s distance is certified for a window: the certified interval is at most this fraction of the window wide.