TRIGGER
EXECUTE
VERIFY
STATE
Loop Engineering
AGENT LOOP • VERIFIER • MEMORY
RUN UNTIL PROVEN DONE
BUDGET • STOP CONDITION