Stay on the Donut: DeepSeek's Manifold Constraints Explained