From c22f759dfd4dff0d9663b299bd464e9003097a80 Mon Sep 17 00:00:00 2001
From: jester <admin@zerolaghub.com>
Date: Thu, 16 Apr 2026 20:43:10 +0000
Subject: [PATCH] Document Portal code-server controls

---
 Codex/Portal/CURRENT_STATE.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/Codex/Portal/CURRENT_STATE.md b/Codex/Portal/CURRENT_STATE.md
index fb15807..6454e46 100644
--- a/Codex/Portal/CURRENT_STATE.md
+++ b/Codex/Portal/CURRENT_STATE.md
@@ -1,6 +1,6 @@
 # Portal — Current State
 
-Verified against local Portal repo `jester/zpack-portal` commit `69a4c3c` on 2026-04-16.
+Verified against local Portal repo `jester/zpack-portal` commit `69a4c3c` on 2026-04-16, plus local working-tree updates for code-server controls.
 
 This file records what is implemented now.
 
@@ -38,6 +38,8 @@ This file records what is implemented now.
 ## Hosted IDE
 - console and server-list "Open IDE" actions request `/api/dev/{serverId}/ide-token`.
 - Portal opens the hosted URL returned by the API, falling back to the configured API base for relative URLs.
+- DEV server console and server-list rows expose an `IDE` menu for code-server `start`, `restart`, and `stop` actions.
+- code-server service actions call `/api/dev/{serverId}/codeserver/start`, `/api/dev/{serverId}/codeserver/restart`, and `/api/dev/{serverId}/codeserver/stop`.
 
 ## Dashboard / IA
 - spotlight server card/dashboard refresh landed.