Fix tool selector population and enable interaction

Author: DavidQ

docs/dev/codex_rules.md

@@ -1,57 +1 @@
-# Codex Rules (MANDATORY — HARD CONSTRAINTS)
-
-These rules OVERRIDE all other instructions.
-
-## This PR
-
-Fix only Workspace Manager pager button events using delegated click handling.
-
-Allowed:
-- targeted event handling changes
-- targeted diagnostics for pager clicks/state failures
-- validation report
-
-Forbidden:
-- moving pager location
-- duplicate pager
-- new header/banner
-- dropdown + Select Tool + Mount flow
-- requiring `tool=`
-- restoring `gameId || game`
-- samples changes
-- broad refactor
-- start_of_day changes
-
-## Required Event Pattern
-
-Use delegated click handling from a stable parent.
-
-Do not rely only on direct button listeners on nodes that are recreated.
-
-## Required Selectors
-
-Use:
-- `[data-tool-host-prev]`
-- `[data-tool-host-next]`
-
-Do not use button text as logic.
-
-## Required Diagnostics
-
-Silent no-op is forbidden.
-
-If click handler cannot proceed:
-- console diagnostic
-- visible diagnostic if state/tool list is missing
-
-## Anti-Patterns Forbidden
-
-- stale DOM references
-- duplicate event listeners on repeated render
-- DOM text as state source
-- variable aliasing
-- pass-through variables
-- duplicate state
-- silent caught errors
-- broad refactor
-- scope expansion
+Enable and populate existing select. No duplication.

docs/dev/reports/tool_select_population_validation.md

@@ -0,0 +1 @@
+validation placeholder

docs/operations/dev/codex_commands.md

@@ -1,69 +1,8 @@
-# Codex Commands — BUILD_PR_LEVEL_20_27_FORCE_DELEGATED_WORKSPACE_PAGER_EVENTS
 
-## Model
-GPT-5.4 or GPT-5.3-codex
+Execute:
 
-## Reasoning
-High
-
-## Command
-
-```text
-Read docs/dev/codex_rules.md first.
-
-Execute BUILD_PR_LEVEL_20_27_FORCE_DELEGATED_WORKSPACE_PAGER_EVENTS.
-
-Current UAT:
-- Pager renders.
-- Label resolves.
-- Buttons still do not work.
-
-Goal:
-Force pager buttons to work using delegated click handling from a stable parent.
-
-Required:
-1. Find the live pager render path.
-2. Ensure buttons have:
-   - data-tool-host-prev
-   - data-tool-host-next
-3. Bind one delegated click handler from a stable parent that survives re-render:
-   - preferably data-tool-host-mount-container or tool-host-workspace.
-4. Handler must detect clicks via closest("[data-tool-host-prev]") and closest("[data-tool-host-next]") or equivalent.
-5. Handler must update selected tool from the authoritative available tool list/current index.
-6. Handler must update the pager label.
-7. Handler must remount/activate selected tool content.
-8. Add console diagnostics showing PREV/NEXT handler fired.
-9. If state/tool list is missing, render visible diagnostic instead of silent no-op.
-10. Avoid duplicate listeners on repeated render.
-
-Forbidden:
-- moving pager
-- duplicate pager
-- relying on button text
-- requiring tool=
-- restoring gameId || game
-- changing samples
-- broad Workspace Manager refactor
-- start_of_day changes
-
-Validation:
-Create docs/dev/reports/workspace_pager_delegated_events_validation.md with:
-- changed files
-- explanation why previous binding failed
-- stable parent used for delegated listener
-- proof data-tool-host-prev and data-tool-host-next exist
-- proof delegated handler is bound once
-- proof repeated render does not duplicate listener
-- proof NEXT handler fires
-- proof NEXT changes label and mounted tool
-- proof PREV handler fires
-- proof PREV changes label and mounted tool
-- proof no click path depends on button text
-- proof game launch works without tool=
-- proof gameId || game fallback not restored
-- proof samples remain untouched
-- anti-pattern self-check
-
-Return ZIP at:
-tmp/BUILD_PR_LEVEL_20_27_FORCE_DELEGATED_WORKSPACE_PAGER_EVENTS.zip
-```
+- populate select from tool registry
+- remove tabindex -1
+- remove aria-hidden
+- bind change event
+- sync with pager

docs/operations/dev/commit_comment.txt

@@ -1,9 +1 @@
-Force delegated Workspace Manager pager events
-
-PR Details:
-- Replaces stale/direct pager button binding with delegated click handling from a stable parent.
-- Ensures PREV/NEXT handlers fire for rendered pager buttons.
-- Updates selected tool, label, and mounted content.
-- Adds diagnostics for pager click/state failures.
-- Avoids duplicate listeners on repeated render.
-- Does not restore legacy game query fallback.
+Fix tool selector population and enable interaction

docs/pr/BUILD_PR_LEVEL_20_28_POPULATE_TOOL_SELECT_AND_ENABLE.md

@@ -0,0 +1,38 @@
+
+# BUILD_PR_LEVEL_20_28_POPULATE_TOOL_SELECT_AND_ENABLE
+
+## Purpose
+
+Fix the tool selector dropdown so it is populated, usable, and synced with pager state.
+
+## Current UAT
+
+- PREV/NEXT works ✅
+- selector empty ❌
+- tabindex=-1 ❌
+- aria-hidden ❌
+
+## Required Behavior
+
+- populate select with tools
+- remove tabindex and aria-hidden
+- sync with pager
+- selecting tool mounts it
+
+## Implementation
+
+Populate:
+
+tools.forEach(tool => {
+  const opt = document.createElement('option')
+  opt.value = tool.id
+  opt.textContent = tool.displayName
+  select.appendChild(opt)
+})
+
+Bind:
+
+select.addEventListener('change', e => {
+  setCurrentToolById(e.target.value)
+  mountTool(e.target.value)
+})

tools/Workspace Manager/main.js

@@ -584,7 +584,7 @@ function bindPagerMessageBridge() {
       return;
     }
 
-    const action = payload.action === "prev" || payload.action === "next"
+    const action = payload.action === "prev" || payload.action === "next" || payload.action === "select"
       ? payload.action
       : "";
     if (!action) {
@@ -603,6 +603,26 @@ function bindPagerMessageBridge() {
       return;
     }
 
+    if (action === "select") {
+      const selectedToolId = typeof payload.toolId === "string"
+        ? payload.toolId.trim()
+        : "";
+      if (!selectedToolId || !toolIds.includes(selectedToolId) || !getToolHostEntryById(manifest, selectedToolId)) {
+        writeStatus(`Tool "${selectedToolId || "(missing)"}" is not available for Workspace Manager launch.`);
+        renderMountDiagnostic(
+          `Tool "${selectedToolId || "(missing)"}" is not available for delegated pager selection.`,
+          "Select a valid tool id from the active registry."
+        );
+        syncControlState();
+        return;
+      }
+      writeSelectedToolId(selectedToolId);
+      updateSwitchMeta();
+      updateStandaloneHref(selectedToolId);
+      mountSelectedTool("select");
+      return;
+    }
+
     const offset = action === "prev" ? -1 : 1;
     if (!selectToolByOffset(offset)) {
       writeStatus(`Unable to select ${action === "prev" ? "previous" : "next"} tool.`);

tools/shared/platformShell.js

@@ -853,6 +853,15 @@ function renderWorkspaceSummary(currentTool) {
     return "";
   }
 
+  const workspacePagerOptions = getToolRegistry()
+    .filter((entry) => entry?.active === true && entry?.visibleInToolsList === true)
+    .map((entry) => {
+      const displayName = normalizeTextValue(entry.displayName || entry.name || entry.id);
+      const selected = entry.id === currentTool.id ? " selected" : "";
+      return `<option value="${escapeHtml(entry.id)}"${selected}>${escapeHtml(displayName || entry.id)}</option>`;
+    })
+    .join("");
+
   const lockState = resolveWorkspaceToolLockState();
   const workspaceActionDisabled = !lockState.workspaceReady
     ? ' disabled aria-disabled="true"'
@@ -879,7 +888,7 @@ function renderWorkspaceSummary(currentTool) {
         <strong class="tools-platform-frame__project-name">${escapeHtml(workspaceName)}${escapeHtml(dirtyMark)}</strong>
         <span class="tools-platform-frame__project-meta">${escapeHtml(readiness)}</span>
       </div>       
-      <section class="tool-host-pager" aria-label="Workspace tool pager" data-tool-host-pager><button type="button" class="tool-host-pager__button" data-tool-host-prev>[PREV]</button><span class="tool-host-pager__name" data-tool-host-current-label>${escapeHtml(currentTool?.displayName || "Tool")}</span><button type="button" class="tool-host-pager__button" data-tool-host-next>[NEXT]</button><select id="tool-host-select" class="tool-host-pager__select" tabindex="-1" aria-hidden="true" data-tool-host-select></select></section>
+      <section class="tool-host-pager" aria-label="Workspace tool pager" data-tool-host-pager><button type="button" class="tool-host-pager__button" data-tool-host-prev>[PREV]</button><span class="tool-host-pager__name" data-tool-host-current-label>${escapeHtml(currentTool?.displayName || "Tool")}</span><button type="button" class="tool-host-pager__button" data-tool-host-next>[NEXT]</button><select id="tool-host-select" class="tool-host-pager__select" data-tool-host-select>${workspacePagerOptions}</select></section>
     </div>
   `;
 }
@@ -1215,6 +1224,36 @@ function bindWorkspacePagerDelegatedEvents() {
       console.warn("[WorkspacePager] Failed to dispatch delegated pager action.", error);
     }
   });
+
+  headerHost.addEventListener("change", (event) => {
+    const select = event.target instanceof HTMLSelectElement
+      ? event.target
+      : null;
+    if (!select || !select.matches("[data-tool-host-select]")) {
+      return;
+    }
+    const toolId = normalizeTextValue(select.value);
+    if (!toolId) {
+      console.warn("[WorkspacePager] Select change ignored because tool id is missing.");
+      return;
+    }
+    console.info(`[WorkspacePager] SELECT handler fired (${toolId}).`);
+
+    if (typeof window === "undefined" || window.top === window) {
+      console.warn("[WorkspacePager] No parent host available for delegated pager select.");
+      return;
+    }
+
+    try {
+      window.top.postMessage({
+        type: "workspace-pager-action",
+        action: "select",
+        toolId
+      }, window.location.origin);
+    } catch (error) {
+      console.warn("[WorkspacePager] Failed to dispatch delegated pager select.", error);
+    }
+  });
 }
 
 function renderShell(currentTool) {