Uncharted Waters: Thirteen Rules for Not Trusting an AI's Proofs

TL;DR I want to hand an AI agent a multi-day job and have it run to completion. This post collects the rules for that — thirteen of them. Never let the loop rewrite its own spec. Enumerate up front w