Hide Workspace Manager tool banner until selection

PR Details:
- Hides detached Tool banner on initial game-launched Workspace Manager load.
- Shows Workspace Manager shell/status surface first.
- Shows tool controls only after explicit tool selection.
- Preserves explicit gameId context and memory clear behavior.
- Does not restore default/fallback tool selection.
- 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 Workspace Manager tool selector placement.
+Fix only the initial Workspace Manager tool-banner visibility.
 
 Allowed:
-- targeted Workspace Manager render/markup/CSS placement changes
+- targeted Workspace Manager render/visibility/CSS changes
 - validation report
 
 Forbidden:
@@ -21,15 +21,20 @@ Forbidden:
 - start_of_day changes
 - roadmap text rewrite outside status markers
 
-## Required UI Placement
+## Required Initial State
 
-The tool selector controls must render inside the Workspace Manager first-class tools surface.
+On game-launched Workspace Manager open:
+- show Workspace Manager shell/status
+- show Game Source and workspace status
+- do not show detached Tool banner
+- do not mount a tool
+- do not auto-select a tool
 
-They must not render as a detached top banner above the Workspace Manager shell/title.
+## Tool Controls Visibility Rule
 
-## Required Behavior
+Tool controls may appear only after explicit tool selection or explicit valid tool context.
 
-Explicit selection is required.
+## Forbidden Restorations
 
 Do not restore:
 - `gameId || game`
@@ -51,6 +56,7 @@ 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_hide_tool_banner_validation.md

@@ -0,0 +1,149 @@
+# Workspace Manager Hide Tool Banner Validation
+
+## Changed Files
+
+- `tools/Workspace Manager/index.html`
+- `tools/Workspace Manager/main.js`
+- `tools/Workspace Manager/toolHost.css`
+- `docs/dev/reports/workspace_manager_hide_tool_banner_validation.md`
+
+## Proof Initial Game-Launched Page Shows Workspace Manager Shell/Status
+
+Required URL path remains valid:
+
+```text
+/tools/Workspace%20Manager/index.html?gameId=SolarSystem&mount=game
+```
+
+Resolver check output:
+
+```text
+{
+  href: '/tools/Workspace%20Manager/index.html?gameId=SolarSystem&mount=game',
+  error: ''
+}
+```
+
+Initial shell/status elements are present in page markup:
+
+- title: `tools/Workspace Manager/index.html:11`
+- first-class tools surface copy: `tools/Workspace Manager/index.html:21`
+- game source: `tools/Workspace Manager/index.html:12`
+- workspace actions: `tools/Workspace Manager/index.html:23-25`
+- workspace loaded status: `tools/Workspace Manager/index.html:27`
+- shared palette/assets status: `tools/Workspace Manager/index.html:28`
+
+## Proof Detached Tool Banner Is Not Visible Before Tool Selection
+
+The tool-controls panel is hidden in HTML by default:
+
+- `tools/Workspace Manager/index.html:29` includes `data-tool-host-controls-panel hidden`
+
+Init path keeps controls hidden when no explicit tool query exists:
+
+- `tools/Workspace Manager/main.js:749` (`setControlsPanelVisible(false)`)
+- `tools/Workspace Manager/main.js:806-809` (`!requestedToolId` keeps controls hidden and returns)
+
+Game popstate path with no explicit tool also keeps controls hidden:
+
+- `tools/Workspace Manager/main.js:707-713`
+
+## Proof Tool Controls Appear Only After Explicit Tool Selection
+
+Explicit selection path via workspace action:
+
+- `tools/Workspace Manager/main.js:607-627`
+- `tools/Workspace Manager/main.js:620` (`setControlsPanelVisible(true)` only after valid selected tool)
+- `tools/Workspace Manager/main.js:630-633` (action button invokes explicit selection handler)
+
+Explicit valid tool context path:
+
+- `tools/Workspace Manager/main.js:811-812` (`setControlsPanelVisible(true)` then `mountSelectedTool("init")` when query has valid tool)
+- `tools/Workspace Manager/main.js:715-716` (`setControlsPanelVisible(true)` then `mountSelectedTool("popstate")` when query has valid tool)
+
+## Proof No First-Tool/Default Selection Restored
+
+- no first-item fallback code path was reintroduced.
+- game/init paths with no explicit tool return without mounting (`tools/Workspace Manager/main.js:707-713`, `tools/Workspace Manager/main.js:806-809`).
+
+## Proof `toolIds[0]` Not Restored
+
+Command output:
+
+```text
+toolIds0 0
+```
+
+## Proof `gameId || game` Not Restored
+
+Command output:
+
+```text
+gameIdOrGame 0
+legacyGameParamRead 0
+```
+
+## Proof Valid `gameId` Still Loads Game Context
+
+When game context is valid, game source and workspace loaded status are populated:
+
+- `tools/Workspace Manager/main.js:699-701` (popstate valid game entry)
+- `tools/Workspace Manager/main.js:784-786` (init valid game entry)
+
+## Proof Invalid/Missing Context Renders Visible Diagnostic
+
+Missing `gameId` diagnostics:
+
+- `tools/Workspace Manager/main.js:684`
+- `tools/Workspace Manager/main.js:767`
+
+Invalid `gameId` diagnostics:
+
+- `tools/Workspace Manager/main.js:695`
+- `tools/Workspace Manager/main.js:777`
+
+Diagnostic panel remains visible-capable in markup:
+
+- `tools/Workspace Manager/index.html:14-17`
+
+## Proof External Memory Clear Remains Intact
+
+Runtime check output:
+
+```text
+clearResult true
+localAfterClear [ [ 'keep.one', 'x' ] ]
+sessionAfterClear [ [ 'keep.two', 'y' ] ]
+launchResult true
+assignCalls [
+  '/tools/Workspace%20Manager/index.html?gameId=SolarSystem&mount=game'
+]
+localAfterLaunch [ [ 'keep.one', 'x' ] ]
+sessionAfterLaunch [ [ 'keep.two', 'y' ] ]
+```
+
+## Proof Samples `Open <tool>` Remain Untouched
+
+- sample label remains `Open <tool>`: `samples/index.render.js:104`
+- sample external launch reset path unchanged: `samples/index.render.js:539`
+
+## 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 sample behavior or labels changed.
+- No `gameId || game` fallback restored.
+- No `toolIds[0]` fallback restored.
+- No first-tool auto-selection restored.
+- No tool mount on initial game launch without explicit tool context.
+- No second SSoT introduced.
+- No broad Workspace Manager refactor performed.
+- No start_of_day files changed.

docs/operations/dev/codex_commands.md

@@ -1,4 +1,4 @@
-# Codex Commands — BUILD_PR_LEVEL_20_16_EMBED_TOOL_SELECTOR_IN_WORKSPACE_SURFACE
+# Codex Commands — BUILD_PR_LEVEL_20_17_HIDE_TOOL_BANNER_UNTIL_TOOL_SELECTED
 
 ## Model
 GPT-5.4 or GPT-5.3-codex
@@ -10,58 +10,65 @@ High
 
 ```text
 Read docs/dev/codex_rules.md first.
-Read docs/dev/reports/workspace_manager_blank_game_launch_repair_validation.md if present.
+Read docs/dev/reports/workspace_manager_tool_selector_surface_validation.md if present.
 Read docs/dev/specs/TOOL_LAUNCH_SSOT.md if present.
 
-Execute BUILD_PR_LEVEL_20_16_EMBED_TOOL_SELECTOR_IN_WORKSPACE_SURFACE.
+Execute BUILD_PR_LEVEL_20_17_HIDE_TOOL_BANNER_UNTIL_TOOL_SELECTED.
 
 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.
+- Detached Tool banner is still visible.
+- User wants the banner removed/hidden until a tool is selected.
+- Initial Workspace Manager page should show the Workspace Manager shell/status page with:
+  - Workspace Manager title
+  - First-Class Tools Surface copy
+  - Game Source
+  - workspace actions
+  - Workspace loaded status
+  - shared palette/assets status
 
 Goal:
-Move/contain the explicit tool selector controls inside the Workspace Manager first-class tools surface.
+Hide/remove the detached Tool banner until explicit tool selection.
 
-Required behavior:
-- 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/main.js
-- tools/Workspace Manager/index.html
-- Workspace Manager CSS only if existing layout requires it
+Required initial behavior:
+- URL tools/Workspace Manager/index.html?gameId=SolarSystem&mount=game renders visible Workspace Manager shell/status page.
+- Do not show Tool / Prev / Next / Mount / Unmount / Open Standalone / Optional JSON state / No tool mounted banner on initial load.
+- Do not mount or auto-select a tool on initial load.
+- Tool controls may appear only after explicit tool selection or explicit valid tool context.
+- Keep game context loaded.
+- Keep external memory clear.
+- Keep visible diagnostics for invalid/missing context.
 
 Forbidden:
 - changing samples
 - changing labels
+- restoring gameId || game
+- restoring toolIds[0]
+- auto-selecting first tool
+- mounting a tool on initial game launch
 - broad Workspace Manager refactor
 - second SSoT
 - fallback/default behavior
 - start_of_day changes
 
+Likely files:
+- tools/Workspace Manager/main.js
+- tools/Workspace Manager/index.html
+- Workspace Manager CSS only if needed
+
 Validation:
-Create docs/dev/reports/workspace_manager_tool_selector_surface_validation.md with:
+Create docs/dev/reports/workspace_manager_hide_tool_banner_validation.md with:
 - changed files
-- 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
+- proof initial game-launched page shows Workspace Manager shell/status
+- proof detached tool banner is not visible before tool selection
+- proof tool controls appear only after explicit tool selection
+- proof no first-tool/default selection restored
+- proof toolIds[0] not restored
+- proof gameId || game not restored
+- proof valid gameId still loads game context
+- proof invalid/missing context renders visible diagnostic
+- proof samples Open <tool> remain untouched
 - anti-pattern self-check
 
 Return ZIP at:
-tmp/BUILD_PR_LEVEL_20_16_EMBED_TOOL_SELECTOR_IN_WORKSPACE_SURFACE.zip
+tmp/BUILD_PR_LEVEL_20_17_HIDE_TOOL_BANNER_UNTIL_TOOL_SELECTED.zip
 ```

docs/operations/dev/commit_comment.txt

@@ -1,9 +1,9 @@
-Embed Workspace Manager tool selector in tools surface
+Hide Workspace Manager tool banner until selection
 
 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.
+- Hides detached Tool banner on initial game-launched Workspace Manager load.
+- Shows Workspace Manager shell/status surface first.
+- Shows tool controls only after explicit tool selection.
+- Preserves explicit gameId context and memory clear behavior.
+- Does not restore default/fallback tool selection.
 - Leaves sample Open <tool> behavior untouched.