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

Introducing machine‑checkable assertions in acceptance criteria removes subjectivity from reviews, enabling CI to automatically verify results and capture disag