diff --git a/Codex/Agent/CURRENT_STATE.md b/Codex/Agent/CURRENT_STATE.md
index f799b36..cc9296b 100644
--- a/Codex/Agent/CURRENT_STATE.md
+++ b/Codex/Agent/CURRENT_STATE.md
@@ -31,6 +31,10 @@ This file records what is believed to be implemented now.
 - code-server install/start baseline exists.
 - dev provisioning treats requested code-server as desired state when either `enable_code_server` is true or `addons` contains `codeserver`.
 - dev `ensureProvisioned` installs code-server if missing, starts it if stopped, verifies it, and fails if it does not stay running.
+- code-server install/config and service start are split:
+  - `addons/codeserver/install.sh` installs the artifact and writes config only.
+  - `addons/codeserver/start.sh` starts the already-installed service and validates it stays running.
+- code-server config no longer writes an empty `proxy-domain`; start rewrites a valid config so existing dev servers recover from the bad config.
 - code-server controls exist as POST endpoints:
   - `/dev/codeserver/start`
   - `/dev/codeserver/stop`