INVARIANTS.md

In docs/