Formal Root Invariant Layer: CONTRACT.md

· Dev.to