Antigravity のエージェントが「完了しました」と報告したのに未完了だった事故を、完了判定をコードへ外部化する設計で潰してきました。完了契約・3層の自動検証・無人実行での扱い・CI 統合までを実装で示します。