state-complete-proof

Submits a completed proof for verification. Use when agent-prove has written a full proof and is ready for agent-check to verify it. Updates the statement with proof text and sets status to validating.