pub fn offset_surface_measured(
face: &FaceRecord,
distance: f64,
planar_extension: f64,
band: f64,
) -> Result<MeasuredOffsetSurface, String>Expand description
offset_surface, plus the deviation MEASURED between the carrier it built
and the pointwise offset that carrier approximates.
The surface is bit-identical to offset_surface’s — this calls the same
body and adds a read-only pass afterwards. Nothing here can change the
carrier: measuring the deviation AFTER the carrier is built records what
happened; the size-derived band stays the floor and the bar it is judged
against. A measurement never widens a band.