A geometric regularity condition ensuring two manifolds intersect cleanly without tangency, enabling tractable optimization.