A cam profile is an envelope, and its curvature obeys the same law

The dashed curve is the pitch curve — where the roller's centre travels — and the solid one is the surface that has to be cut, which is the pitch curve offset inward by the roller radius. That offset is the conjugate law of this field with one centre of curvature sent to infinity, and it says ρ_cut = ρ_pitch − r. Measured off the drawn polyline at six angles, the worst departure is 4.8e-7: at 95° the pitch curve has radius 29.52 and the cut profile 21.52, against 21.52 predicted. It is also why undercutting is a curvature condition rather than an accident: where ρ_pitch falls below the roller radius the offset turns itself inside out.