RunProof Docs

• freeze_v1.md