Proof architect.md