Embed Workspace Manager tool selector in tools surface

PR Details:
- Moves explicit tool selector controls into the Workspace Manager first-class tools surface.
- Preserves explicit selection requirement.
- Keeps Game Source and workspace status visible.
- Does not restore first-tool/default selection.
- Does not restore legacy gameId fallback.
- Leaves sample Open <tool> behavior untouched.

Author: DavidQ

docs/dev/codex_rules.md

@@ -4,10 +4,10 @@ These rules OVERRIDE all other instructions.
 
 ## This PR
 
-Fix only the Workspace Manager blank-page blocker for game-launched context.
+Fix only Workspace Manager tool selector placement.
 
 Allowed:
-- targeted Workspace Manager boot/render/view diagnostics repair
+- targeted Workspace Manager render/markup/CSS placement changes
 - validation report
 
 Forbidden:
@@ -21,24 +21,17 @@ Forbidden:
 - start_of_day changes
 - roadmap text rewrite outside status markers
 
-## Required URL
+## Required UI Placement
 
-This URL must render visible Workspace Manager content:
+The tool selector controls must render inside the Workspace Manager first-class tools surface.
 
-```text
-tools/Workspace Manager/index.html?gameId=Breakout&mount=game
-```
+They must not render as a detached top banner above the Workspace Manager shell/title.
 
-## Diagnostic Requirement
+## Required Behavior
 
-Blank page is forbidden.
-
-Any boot/context/view failure must render visible diagnostic text on the page.
-
-## Forbidden Restorations
+Explicit selection is required.
 
 Do not restore:
-
 - `gameId || game`
 - `toolIds[0]`
 - first-item selection
@@ -58,7 +51,6 @@ Do not restore:
 - hidden fallback behavior
 - duplicated launch paths
 - silent redirects
-- silent caught errors
 - broad truthy/falsy behavior changes
 - magic strings outside existing SSoT/config pattern
 - duplicate event listeners

docs/dev/reports/workspace_manager_tool_selector_surface_validation.md

@@ -0,0 +1,111 @@
+# Workspace Manager Tool Selector Surface Validation
+
+## Changed Files
+
+- `tools/Workspace Manager/index.html`
+- `tools/Workspace Manager/main.js`
+- `tools/Workspace Manager/toolHost.css`
+- `docs/dev/reports/workspace_manager_tool_selector_surface_validation.md`
+
+## Proof Tool Selector No Longer Renders As Top Detached Banner
+
+Header now contains shell/title + source + status, not selector controls:
+
+- `tools/Workspace Manager/index.html:10-13`
+
+Key evidence lines:
+
+- `tools/Workspace Manager/index.html:11` (`Workspace Manager` shell title)
+- `tools/Workspace Manager/index.html:12` (`data-tool-host-game-source`)
+- `tools/Workspace Manager/index.html:13` (`data-tool-host-status`)
+
+Selector controls were removed from header and relocated to main surface.
+
+## Proof Tool Selector Appears Inside First-Class Tools Surface
+
+Main tools surface contains selector and controls:
+
+- `tools/Workspace Manager/index.html:19` (`<main class="tool-host-workspace">`)
+- `tools/Workspace Manager/index.html:20` (`<section class="tool-host-surface" ...>`)
+- `tools/Workspace Manager/index.html:21` (`tool-host-surface__controls`)
+- `tools/Workspace Manager/index.html:23` (`data-tool-host-select`)
+- `tools/Workspace Manager/index.html:31-32` (`data-tool-host-current-label`, `data-tool-host-switch-meta`)
+
+Layout styling binds this section as embedded surface:
+
+- `tools/Workspace Manager/toolHost.css:77` (`.tool-host-surface`)
+- `tools/Workspace Manager/toolHost.css:84` (`.tool-host-surface__controls`)
+- `tools/Workspace Manager/toolHost.css:91` (`.tool-host-workspace__mount`)
+
+## Proof Explicit Tool Selection Is Still Required
+
+Explicit selection guard remains intact:
+
+- `tools/Workspace Manager/main.js:528-529`
+- `tools/Workspace Manager/main.js:706-707`
+
+Behavior still writes visible status `Select a tool to mount.` when no explicit tool is selected.
+
+## Proof No First-Tool Selection Is Restored
+
+- No first-item selection fallback logic was reintroduced.
+- Game-launch and init paths still return with explicit status when no requested tool exists (`tools/Workspace Manager/main.js:628-631`, `tools/Workspace Manager/main.js:706-707`).
+
+## Proof `toolIds[0]` Is Not Restored
+
+Command output:
+
+```text
+toolIds0 0
+```
+
+## Proof `gameId || game` Is Not Restored
+
+Command output:
+
+```text
+gameIdOrGame 0
+legacyGameParamRead 0
+```
+
+## Proof Game Source/Status Still Render
+
+Header shell keeps source + status visible:
+
+- `tools/Workspace Manager/index.html:12` (`data-tool-host-game-source`)
+- `tools/Workspace Manager/index.html:13` (`data-tool-host-status`)
+
+Runtime writes explicit game source values:
+
+- `tools/Workspace Manager/main.js:199` (`writeGameSource`)
+- `tools/Workspace Manager/main.js:609` (`missing gameId`)
+- `tools/Workspace Manager/main.js:617` (`invalid gameId`)
+- `tools/Workspace Manager/main.js:622` (`valid game source`)
+- `tools/Workspace Manager/main.js:639` (`none`)
+
+## Proof Sample `Open <tool>` Remains Untouched
+
+Sample launch label and launch behavior remain unchanged:
+
+- `samples/index.render.js:104` (`Open <tool>` label)
+- `samples/index.render.js:539` (`launchWithExternalToolWorkspaceReset(launchHref)`)
+
+## Static Validation
+
+Commands run successfully:
+
+```bash
+node --check tools/Workspace\ Manager/main.js
+node --check games/index.render.js
+node --check samples/index.render.js
+```
+
+## Anti-Pattern Self-Check
+
+- No samples behavior/labels changed.
+- No second SSoT introduced.
+- No default/fallback route/view/tool/workspace behavior restored.
+- No `gameId || game` restoration.
+- No `toolIds[0]` restoration.
+- No first-item auto-selection restoration.
+- Changes remain scoped to Workspace Manager markup/CSS placement and minimal status/source wiring.

docs/operations/dev/codex_commands.md

@@ -1,4 +1,4 @@
-# Codex Commands — BUILD_PR_LEVEL_20_15_REPAIR_WORKSPACE_MANAGER_BLANK_GAME_LAUNCH
+# Codex Commands — BUILD_PR_LEVEL_20_16_EMBED_TOOL_SELECTOR_IN_WORKSPACE_SURFACE
 
 ## Model
 GPT-5.4 or GPT-5.3-codex
@@ -10,37 +10,36 @@ High
 
 ```text
 Read docs/dev/codex_rules.md first.
-Read docs/dev/reports/workspace_manager_game_launch_tools_view_validation.md if present.
-Read docs/dev/reports/workspace_manager_default_query_fallback_removal_validation.md if present.
+Read docs/dev/reports/workspace_manager_blank_game_launch_repair_validation.md if present.
 Read docs/dev/specs/TOOL_LAUNCH_SSOT.md if present.
 
-Execute BUILD_PR_LEVEL_20_15_REPAIR_WORKSPACE_MANAGER_BLANK_GAME_LAUNCH.
+Execute BUILD_PR_LEVEL_20_16_EMBED_TOOL_SELECTOR_IN_WORKSPACE_SURFACE.
 
-User UAT failure:
-- URL renders blank page with no visible error:
-  tools/Workspace Manager/index.html?gameId=Breakout&mount=game
-- Blank occurs for multiple Open with Workspace Manager launches.
+User UAT finding:
+- Workspace Manager now renders.
+- Tool selector controls appear at the top as a detached banner:
+  Tool / Prev / Next / Mount / Unmount / Open Standalone / Optional JSON state / No tool mounted / Switch target / Select a tool to mount.
+- This explicit selection behavior is OK.
+- But it must be part of the Workspace Manager first-class tools surface, not a top banner.
 
 Goal:
-Repair Workspace Manager so valid game-launched URLs render visible Workspace Manager content and invalid context renders visible diagnostics.
+Move/contain the explicit tool selector controls inside the Workspace Manager first-class tools surface.
 
 Required behavior:
-- URL tools/Workspace Manager/index.html?gameId=Breakout&mount=game renders visible Workspace Manager page
-- explicit gameId context is loaded
-- external launch memory is cleared
-- tools/workspace surface is visible for selected game context
-- blank page is forbidden
-- if boot/context/view fails, render visible diagnostic panel on page
-- do not restore gameId || game
-- do not restore toolIds[0]
-- do not auto-select first tool
-- do not fallback to default route/view/tool/workspace
-- do not reuse stale memory
+- Workspace Manager header/shell remains visible.
+- Game Source and workspace status remain visible.
+- Tool selector controls render inside the first-class tools surface.
+- User still must explicitly select/mount a tool.
+- No default/fallback behavior is restored.
+- Do not restore gameId || game.
+- Do not restore toolIds[0].
+- Do not auto-select first tool.
+- Do not alter samples.
 
 Likely files:
-- tools/Workspace Manager/index.html
 - tools/Workspace Manager/main.js
-- directly imported Workspace Manager boot/view helper files only if needed
+- tools/Workspace Manager/index.html
+- Workspace Manager CSS only if existing layout requires it
 
 Forbidden:
 - changing samples
@@ -51,19 +50,18 @@ Forbidden:
 - start_of_day changes
 
 Validation:
-Create docs/dev/reports/workspace_manager_blank_game_launch_repair_validation.md with:
+Create docs/dev/reports/workspace_manager_tool_selector_surface_validation.md with:
 - changed files
-- root cause of blank page
-- proof Breakout URL renders visible content
-- proof multiple gameIds do not blank
-- proof invalid/missing gameId renders visible diagnostic
-- proof gameId || game fallback is not restored
-- proof toolIds[0] first-tool selection is not restored
-- proof no fallback/default route/view was added
-- proof external memory clear remains intact
-- proof sample Open <tool> behavior remains untouched
+- proof tool selector no longer renders as top detached banner
+- proof tool selector appears inside first-class tools surface
+- proof explicit tool selection is still required
+- proof no first-tool selection is restored
+- proof toolIds[0] is not restored
+- proof gameId || game is not restored
+- proof game source/status still render
+- proof sample Open <tool> remains untouched
 - anti-pattern self-check
 
 Return ZIP at:
-tmp/BUILD_PR_LEVEL_20_15_REPAIR_WORKSPACE_MANAGER_BLANK_GAME_LAUNCH.zip
+tmp/BUILD_PR_LEVEL_20_16_EMBED_TOOL_SELECTOR_IN_WORKSPACE_SURFACE.zip
 ```

docs/operations/dev/commit_comment.txt

@@ -1,9 +1,9 @@
-Repair Workspace Manager blank game launch
+Embed Workspace Manager tool selector in tools surface
 
 PR Details:
-- Fixes blank Workspace Manager page for game-launched URLs.
-- Requires visible diagnostics for invalid boot/context/view state.
-- Preserves explicit gameId behavior.
-- Does not restore legacy gameId || game fallback.
+- Moves explicit tool selector controls into the Workspace Manager first-class tools surface.
+- Preserves explicit selection requirement.
+- Keeps Game Source and workspace status visible.
 - Does not restore first-tool/default selection.
+- Does not restore legacy gameId fallback.
 - Leaves sample Open <tool> behavior untouched.