Invariant-preserving documents for agents that modify persistent state - View it on GitHub