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.