“The "/goal" primitive is fundamentally different from a standard prompt, acting as a "finish line contract" that defines what should be true, how success is checked, and what must remain intact.”