OAI/Geometry/SurfaceImmersion/Whitney/ControlledCollarLoop.lean

Assemble the velocity angle with its prescribed collar density: a small translation with large turn jets, an actual positive density, the exact prescribed vector mean, and exactly two turns. No density or transverse-correction solvability is assumed.