Found while working on #255. `deviation::stretch` scales a body's bound by (1+96ε), even for an identity or rigid transform. An instanced curved surface whose bound equals its budget therefore reports a bit over it, and `meets_requested()` returns false although the mesh is within budget. Consumers read that as a miss. #255 fixed the same pattern for curve-bounded planes, where the frame stretch's (1+1e-12) factor is now absorbed by flattening to budget / stretch.
Done when
- A rigid instance (identity, rotation, translation) of a proven or certified body reports a bound ≤ the requested budget, either by flattening its source to budget / stretch or by treating rigid transforms as stretch 1 when that can be justified exactly.
- Scaled instances stay sound.
- Tests cover instanced tori, curved boundaries and pipes.
Found while working on #255. `deviation::stretch` scales a body's bound by (1+96ε), even for an identity or rigid transform. An instanced curved surface whose bound equals its budget therefore reports a bit over it, and `meets_requested()` returns false although the mesh is within budget. Consumers read that as a miss. #255 fixed the same pattern for curve-bounded planes, where the frame stretch's (1+1e-12) factor is now absorbed by flattening to budget / stretch.
Done when