pub const EDGE_CAP_FRACTION: f64 = 0.10;Expand description
Fraction of an edge’s own length that bounds its measured band.
The band is spent deciding whether two points ON the edge are the same point, so it must stay far below the edge’s extent or a genuine short feature could be collapsed. A tenth leaves an order of magnitude between “the vendor’s representations disagree here” and “this edge is one point”.