A smooth map that projects points back onto a manifold, used to maintain feasibility during optimization.