tangent_projection_idempotent