Found while working on #254. A B-rep face with straight edges, no declared surface and corners that aren't coplanar is triangulated, but its deviation report says `Proven(0)`. Its warp is never measured, so the report can claim an exact mesh for a face that has no unique flat surface. That is a soundness gap in `compile_mesh_with_deviation`.
Done when
Such faces either report their warp as `Certified(w)`, using the #254 definition (the largest corner distance from the fit plane they're triangulated in), or are refused by name. A test covers a B-rep box with one warped plane face. Truly planar faces keep `Proven(0)`.
Found while working on #254. A B-rep face with straight edges, no declared surface and corners that aren't coplanar is triangulated, but its deviation report says `Proven(0)`. Its warp is never measured, so the report can claim an exact mesh for a face that has no unique flat surface. That is a soundness gap in `compile_mesh_with_deviation`.
Done when
Such faces either report their warp as `Certified(w)`, using the #254 definition (the largest corner distance from the fit plane they're triangulated in), or are refused by name. A test covers a B-rep box with one warped plane face. Truly planar faces keep `Proven(0)`.