diff --git a/Codex/Agent/CURRENT_STATE.md b/Codex/Agent/CURRENT_STATE.md
index 4a6a107..f799b36 100644
--- a/Codex/Agent/CURRENT_STATE.md
+++ b/Codex/Agent/CURRENT_STATE.md
@@ -1,4 +1,4 @@
-# Agent — Current State
+# Agent - Current State
 
 This file records what is believed to be implemented now.
 
@@ -29,6 +29,13 @@ This file records what is believed to be implemented now.
 - runtime installs are artifact-backed.
 - dev user/workspace model exists.
 - 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 controls exist as POST endpoints:
+  - `/dev/codeserver/start`
+  - `/dev/codeserver/stop`
+  - `/dev/codeserver/restart`
+- `/status` reports code-server installed/running state for enabled dev containers.
 
 ## Important boundary
 - agent does not own remote/offsite backup syncing.