ZONE 1: INPUT ZONE 2: TEST MODEL ZONE 3: OUTPUT parse draft inject ctx resolve review & edit SOURCE CODE class Graph: def traverse():... > def target_fn(x): return x * 2 1. GENERATE CANDIDATES LLM configures test setup/teardown 2. COMPLETE ASSERTIONS LLM evaluates execution paths TEST SKELETON def test_target_fn(): res = target_fn(5) assert res == ??? FINISHED TEST def test_target_fn(): res = target_fn(5) assert res == 10