Code-level audit of T-401~T-403: launch has no command-injection surface (AppID-only request, entrypoint must be in recorded installed files, safepath+JoinUnder+Lstat, no-arg exec.Command and parameterless ShellExecuteExW), update never force-kills (confirm + natural-exit wait only), and self-update is journaled, rollback-capable and health-gated before backup deletion. Confirms Phase 3 O1 is closed by T-401's preSwitchCheck. Ruling accepts Codex's follow-up: O4 (self-flagged T-403 fault-injection and mid-phase Recover test gaps - all four claims verified) and O5 (split assembly prerequisites instead of lumping them under T-502). Adds a low-cost path to close O4 mostly via the existing DirectorySyncer seam and filesystem permission tricks, without new production seams. Co-Authored-By: Claude Fable 5 <noreply@anthropic.com>