SonarQube + OpenAI：代理式開發 — Killian Carlsen-Phelan，Sonar

本集的核心論點是：AI 程式碼代理（coding agent）已把軟體開發的瓶頸從「產生程式碼」轉移到「驗證程式碼」，而要彌補這個落差，就必須把「完成」當成一種必須有證據支撐的主張，而不是一句斷言。標題「SonarQube + OpenAI」忠實反映了這場議程的內容：這是一場聯合演講加上現場示範，把 OpenAI 的 Codex 代理與 Sonar 的驗證工具配對起來；不過實質論證集中在開場前五分鐘的框架說明，其餘則是實際動手把兩者串接起來的操作演練。 框架說明由一位自稱隸屬 Codex 部署工程團隊的講者主講（介紹時也提到一位稍後致謝的「Tony」），他提出三項主張：完成，代表任務在具備證