← BACK TO SPEC
L2: HARNESS
PLAN-EXECUTE-VERIFY LOOP, CHECKPOINTING, SUBTASKS