/rules / manifold-tangent-sanity
RULE 0.7 Manifold-SDE Tangent Sanity
Before committing an SDE drift on a manifold: verify the drift is not in the normal space.
Drift purely along the normal projects to zero on the tangent space → SDE doesn't move on the manifold.
5-line checklist: state manifold, T_p M, N_p M, compute P_T(b), assert ≠ 0.
| id | RULE 0.7 |
| scope | topic |
| file | ~/.claude/rules/manifold-tangent-sanity.md |