From prose to assertions: making 'done' checkable when an AI agent writes the code

Acceptance criteria written in prose let an AI agent grade its own homework. Here is how I turned them into machine-checkable assertions that a gate recomputes — and what still has to stay human.