The workflow whose defining arrow points backward: one call generates a candidate, an evaluator (ideally a real verifier—a test suite, a schema check) grades it, and the failures feed back for revision, looping until the check passes or a cap fires. Also heard as generator–critic (Chapter 10).