This reverts commit 54cc5263fb (the proof-2 throwaway). Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
54cc5263fb