create-pmos 0.174.0 → 0.175.0

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "create-pmos",
-  "version": "0.174.0",
+  "version": "0.175.0",
   "description": "Scaffold the PMOS portable kit — run the PMOS product-management workflow (initiative → lane-fit spec → contract → build → three gates, with work-type lanes for features, research, maintenance, incidents, and content) entirely inside your own repo, with all state as git-versioned files. Includes `workflow-sweep`, which audits the state every board derives from and separates real defects from work you simply have not done. `create-pmos workspace` also installs + launches the local Terminal Workspace GUI. No database, no network, no telemetry.",
   "license": "MIT",
   "bin": {

package/payload/KIT-VERSION

@@ -1,3 +1,3 @@
-kernel-source: pmos@7e5ec99
+kernel-source: pmos@128e902
 assembled: 2026-10-13
 mode: vendor

package/payload/planning/evals/eval-calibration.md

@@ -2,7 +2,7 @@
 type: Reference
 title: "Eval calibration log"
 description: "Append-only record of every PM override of an evaluator verdict."
-generated: {by: process:create-pmos, at: "2026-10-13T01:01:21Z"}
+generated: {by: process:create-pmos, at: "2026-10-13T01:08:07Z"}
 status: stable
 ---
 

package/payload/planning/okrs/health-budgets.md

@@ -2,7 +2,7 @@
 type: Reference
 title: "Health budgets"
 description: "Closed registry of health-budget anchors (D59), edited only by the PM."
-generated: {by: process:create-pmos, at: "2026-10-13T01:01:21Z"}
+generated: {by: process:create-pmos, at: "2026-10-13T01:08:07Z"}
 status: stable
 ---
 

package/payload/state/discoveries.md

@@ -2,7 +2,7 @@
 type: Reference
 title: "Discoveries and friction log"
 description: "Append-only record of what runs discovered and where the process rubbed."
-generated: {by: process:create-pmos, at: "2026-10-13T01:01:21Z"}
+generated: {by: process:create-pmos, at: "2026-10-13T01:08:07Z"}
 status: stable
 ---
 

package/workspace/c3-sessions-panel-test.js

@@ -63,6 +63,8 @@ function startShell(name) {
 
   srv = spawn(process.execPath, [path.join(__dirname, 'server.js')], { cwd: __dirname, stdio: 'ignore', env: T.env({ PMOS_WS_PORT: String(T.PORT), PMOS_CLAUDE_HOME: CLAUDE_HOME }) });
   await T.waitForServer(BASE);
+  /* an ended session the server does not hold: only its record on disk (written after the server read the folder) */
+  fs.writeFileSync(path.join(sessDir, 'sess-9901.json'), JSON.stringify({ id: 'sess-9901', name: 'old ended claude', agent: 'shell', state: 'exited', created, exitedAt: new Date(Date.now() - 864e5).toISOString(), origin: 'manual', cwd: path.resolve(__dirname, '..'), root: path.resolve(__dirname, '..') }));
 
   /* ── A: /api/runs believes the server, not a stale file ── */
   const r0 = await get('/api/runs');
@@ -153,6 +155,19 @@ function startShell(name) {
   await page.evaluate((i) => window.dispatchEvent(new CustomEvent('pmos:open-session', { detail: { id: i } })), id);
   await waitFor(page, () => !!document.querySelector('[data-c3-pad="text"]'));
   ok('G9 the pad loads its text when the terminal opens again', await waitFor(page, () => document.querySelector('[data-c3-pad="text"]').value === 'flushed-on-close'));
+  /* the grip above the pad resizes it: a drag up makes the pad taller and the terminal shorter; the height is kept */
+  const geo = () => page.evaluate(() => ({ pad: document.querySelector('[data-c3-pad="text"]').getBoundingClientRect().height, term: document.querySelector('[data-c3-session-term]').getBoundingClientRect().height }));
+  const g0h = await geo();
+  const gb = await (await page.$('[data-c3-pad="grip"]')).boundingBox();
+  await page.mouse.move(gb.x + gb.width / 2, gb.y + gb.height / 2); await page.mouse.down();
+  await page.mouse.move(gb.x + gb.width / 2, gb.y + gb.height / 2 - 120, { steps: 6 }); await page.mouse.up();
+  const g1h = await geo();
+  ok('G11 dragging the grip up makes the pad taller and the terminal shorter', g1h.pad > g0h.pad + 80 && g1h.term < g0h.term - 80, JSON.stringify([g0h, g1h]));
+  ok('G11b the height is kept in localStorage', await page.evaluate(() => Number(localStorage.getItem('pmos.workspace.c3.term-pad-h')) > 4));
+  await page.focus('[data-c3-pad="grip"]'); await page.keyboard.press('ArrowDown');
+  ok('G12 the down arrow on the grip makes the pad shorter', (await geo()).pad < g1h.pad - 8);
+  await page.dblclick('[data-c3-pad="grip"]');
+  ok('G13 double-click gives back the default size', Math.abs((await geo()).pad - g0h.pad) < 3 && await page.evaluate(() => !localStorage.getItem('pmos.workspace.c3.term-pad-h')));
   await page.click('[data-c3-pad="toggle"]');
   ok('G10 the toggle hides the pad and the terminal gets the room', await page.evaluate(() => document.querySelector('[data-c3-pad="text"]').hidden === true && localStorage.getItem('pmos.workspace.c3.term-pad') === 'closed'));
   await page.click('[data-c3-pad="toggle"]');
@@ -219,11 +234,16 @@ function startShell(name) {
   ok('F1 Started by me has a New button', await waitFor(page, () => !!document.querySelector('[data-c3t="new"]')));
   await page.click('[data-c3t="new"]');
   ok('F2 New opens the new-session sheet on this page', await waitFor(page, () => !!document.querySelector('[data-c3ns="form"]')) && page.url() === url0, page.url());
+  const boards = (await get('/api/workspaces')).workspaces || [];
+  const opts = await page.evaluate(() => [...document.querySelectorAll('[data-c3ns="board"] option')].map((o) => ({ v: o.value, on: o.selected })));
+  ok('F2b the sheet has a Board select with the workspace\'s repositories', opts.length === boards.length && boards.every((w) => opts.some((o) => o.v === w.id)), JSON.stringify(opts));
+  ok('F2c the dock\'s repository is chosen', opts.filter((o) => o.on).length === 1, JSON.stringify(opts));
   await page.fill('[data-c3ns="name"]', 'c3 new shell');
   await page.selectOption('[data-c3ns="agent"]', 'shell');
   await page.click('[data-c3ns="start"]');
   const made = await until(async () => ((await get('/api/sessions')).sessions || []).find((s) => !before.has(s.id) && s.name === 'c3 new shell'), 10000);
   ok('F3 Start starts the session on the server', !!made);
+  ok('F3b it starts on the board chosen in the sheet', !!made && made.ws === opts.find((o) => o.on).v, JSON.stringify(made && made.ws));
   ok('F4 its terminal opens in a sheet on console3', !!made && await waitFor(page, (i) => !!document.querySelector(`[data-c3-session-term="${i}"] .xterm`), made.id) && page.url() === url0, page.url());
   await page.click('[data-shell="sheet"] [aria-label="Close"]');
   await waitFor(page, () => !document.querySelector('[data-c3-session-term]'));
@@ -237,6 +257,22 @@ function startShell(name) {
     await page.click('[data-shell="sheet"] [aria-label="Close"]');
   }
 
+  /* ── P: a past session can be removed, also one the server knows only from its record on disk ── */
+  if (await page.isVisible('[data-shell="sheet"] [aria-label="Close"]').catch(() => false)) await page.click('[data-shell="sheet"] [aria-label="Close"]');
+  if (!(await page.isVisible('[data-c3t="past"]').catch(() => false))) await page.click('[data-c3pg="agent-button"]');
+  const pastSel = '[data-c3t="past"] [data-run="sess-9901"]';
+  ok('P1 the ended session is listed in Past', await waitFor(page, (s) => !!document.querySelector(s), pastSel));
+  if (!(await page.isVisible('[data-end-session="sess-9901"]').catch(() => false))) await page.click(pastSel + ' .nb');
+  ok('P2 its open row has Remove', await waitFor(page, () => /Remove/.test((document.querySelector('[data-end-session="sess-9901"]') || {}).textContent || '')));
+  ok('P3 it has no line about routes', !/GET \/api/.test(await page.evaluate((s) => document.querySelector(s).textContent, pastSel)));
+  await page.click('[data-end-session="sess-9901"]');
+  ok('P4 Remove asks first', await waitFor(page, () => !!document.querySelector('[data-end-confirm="sess-9901"]')));
+  await page.click('[data-end-yes="sess-9901"]');
+  ok('P5 the record is deleted', !!(await until(async () => !fs.existsSync(path.join(sessDir, 'sess-9901.json')), 6000)));
+  ok('P6 the row leaves Past', await waitFor(page, (s) => !document.querySelector(s), pastSel));
+  const bad = await fetch(BASE + '/api/session/remove', { method: 'POST', headers: { 'content-type': 'application/json' }, body: JSON.stringify({ id: '../x' }) }).then((r) => r.status).catch(() => 0);
+  ok('P7 an id that is not a session id is refused', bad === 404 || bad === 403, String(bad));
+
   ok('E1 the page threw no error', errors.length === 0, errors.join(' | '));
   return finish();
 })().catch((e) => { console.error(e); finish(1); });

package/workspace/guide/console3-sessions.md

@@ -2,7 +2,7 @@
 type: Guide
 title: "Sessions in console3: start, open, message, read and end your sessions"
 description: "How the Sessions panel in console3 groups your sessions, how to start a session, how to open a session's terminal without leaving console3, how to send a message to a session, and how to end a session."
-timestamp: 2026-10-12
+timestamp: 2026-10-13
 ---
 
 # Sessions in console3: start, open, message, read and end your sessions
@@ -23,11 +23,12 @@ You start a session in console3. You do not need the classic app.
    - Press **New** next to **Started by me** in the Sessions panel.
 2. The **New session** sheet opens. Type a name, or leave it empty to use `Shell` or `Claude`.
 3. Select the **Agent**: Shell or Claude. A Claude session uses the profile, the launch flags and the tier from Settings.
-4. Select where the session runs in **Runs on**:
+4. Select the **Board**: the repository that the session works in. The repository that is selected in the dock is the default.
+5. Select where the session runs in **Runs on**. The list shows the working trees of the board that you selected:
    - **Automatic**: the server selects the tree.
    - A listed tree: the session runs in that working tree.
    - **New branch**: type the branch name. The session runs in its own working copy of the new branch.
-5. Press **Start**. The session starts, and its terminal opens in a sheet on the same page.
+6. Press **Start**. The session starts, and its terminal opens in a sheet on the same page. If you selected a different board, the dock changes to that board.
 
 If the server cannot start the session, the sheet shows the reason.
 
@@ -50,6 +51,7 @@ Below the terminal is a scratchpad. It keeps text for this session only. The tex
 
 - To send the text to the session, press **Send to terminal**. The text is typed into the terminal. Enter is not pressed, so you can read it and press Enter yourself.
 - To hide the pad, press **Scratchpad** above it. The text is kept. The terminal gets the room back. The page remembers if the pad was hidden.
+- To make the pad taller or shorter, drag the grip on the line above it. Or select the grip and press the up arrow or the down arrow. The terminal gets the remaining room. The page remembers the height. To go back to the default height, double-click the grip.
 - Esc in the pad closes the panel. Esc in the terminal goes to the terminal.
 
 ### The size of the terminal
@@ -94,3 +96,13 @@ If the connection to the workspace server is down, the message is not sent. The
 When you end a session, its process stops and the session is removed. Any pending change stays a proposal. If the process does not stop immediately, press **End** again to remove it.
 
 A session that is on a card has the same **End the session** control below its card.
+
+## Remove a past session
+
+A session under **Past (7 days)** has ended. To remove it from the list:
+
+1. Press the row to open it.
+2. Press **Remove**.
+3. Press **Remove** to confirm, or press **Keep it** to cancel.
+
+The record of the session is deleted. Its commits and its branch stay.

package/workspace/guide/validate-with-typesafe.md

@@ -112,7 +112,7 @@ The workspace reads the TypeSafe key only on this machine. After you save the ke
 If you have no TypeSafe key, a model on your computer can answer the same questions. Two models are supported. Both use the same interface as Jev.
 
 - **Winnow**: in a `winnow-inference` folder, run `python3 scripts/serve.py`. It uses port 8091. Winnow-12B needs about 16 GB of memory.
-- **Laya**: in Settings, press **Set up Laya**. A terminal named Set up Laya opens over the Settings page, with the commands typed in. If you close it, open it again from the session list. Read them and press Enter. The first time, they install Laya into the PMOS data folder. Then Laya starts and uses port 8000. Laya is small and runs on a laptop. Laya stops when you close that terminal or restart the computer. Press **Set up Laya** again to start it.
+- **Laya**: in Settings, press **Set up Laya**. A terminal named Set up Laya opens over the Settings page, with the commands typed in. If you close it, open it again from the session list. Read them and press Enter. The first time, they download a private copy of Python 3.12 (with uv) and Laya into the PMOS data folder. You do not install Python yourself, and nothing outside that folder changes. This first install downloads about a gigabyte and takes a few minutes. Then Laya starts and uses port 8000. Laya is small and runs on a laptop. Laya stops when you close that terminal or restart the computer. Press **Set up Laya** again to start it.
 
 1. Start the model.
 2. Open Settings, then **Privacy and data**. Under **Local model if Jev is missing**, press **Winnow** or **Laya**.

package/workspace/lib/typesafe-settings.js

@@ -90,17 +90,34 @@ function status(stateDir, env = null) {
   return { present: false, source: null, local: null };
 }
 
+// Laya 0.4 and later need Python 3.10 and ship laya-serve; older releases install on Python 3.9 but cannot start.
+const LAYA_PKG = 'laya[serve]>=0.4';
+const LAYA_PY = '3.12';
+const UV_INSTALLER = 'https://github.com/astral-sh/uv/releases/latest/download/uv-installer';
+
 /** The commands that install Laya into its own folder under the runtime directory (once) and start it on loopback.
  *  The workspace types them into a terminal and never runs them itself: the PM reads them and presses Enter (as D91's
- *  Whisper setup does). A folder of its own avoids the system Python, which newer Macs refuse to install into. */
+ *  Whisper setup does).
+ *  They bring their own Python, so the PM installs nothing by hand (PM wawan, 2026-10-13). macOS ships Python 3.9, where
+ *  pip quietly picks Laya 0.3.4, which has no laya-serve. So the commands fetch uv into `laya-tools/` (an unmanaged
+ *  install: no PATH change and no receipt outside that folder), let uv download a private Python 3.12 into the same
+ *  folder, rebuild `laya/` with it (a folder an earlier run made with Python 3.9 goes) and install Laya there. Nothing is written outside the runtime directory. */
 function layaSetupCommand(stateDir, platform = process.platform) {
   const dir = path.join(stateDir, 'laya');
+  const tools = path.join(stateDir, 'laya-tools');
   const port = typesafe.BACKENDS.laya.port;
   if (platform === 'win32') {
-    return `if (-not (Test-Path "${dir}\\Scripts\\laya-serve.exe")) { python -m venv "${dir}"; & "${dir}\\Scripts\\python" -m pip install "laya[serve]" }; `
+    const uv = `& "${tools}\\uv.exe"`;
+    return `$env:UV_PYTHON_INSTALL_DIR="${tools}\\python"; $env:UV_CACHE_DIR="${tools}\\cache"; `
+      + `if (-not (Test-Path "${dir}\\Scripts\\laya-serve.exe")) { `
+      + `if (-not (Test-Path "${tools}\\uv.exe")) { $env:UV_UNMANAGED_INSTALL="${tools}"; irm ${UV_INSTALLER}.ps1 | iex }; `
+      + `Remove-Item -Recurse -Force -ErrorAction SilentlyContinue "${dir}"; ${uv} venv --python ${LAYA_PY} --python-preference only-managed "${dir}"; ${uv} pip install --python "${dir}\\Scripts\\python.exe" "${LAYA_PKG}" }; `
       + `$env:LAYA_HOST="127.0.0.1"; $env:LAYA_PORT="${port}"; $env:LAYA_DEVICE="cpu"; $env:LAYA_PRELOAD="1"; & "${dir}\\Scripts\\laya-serve"`;
   }
-  return `[ -x "${dir}/bin/laya-serve" ] || { python3 -m venv "${dir}" && "${dir}/bin/python" -m pip install "laya[serve]"; } && `
+  const uv = `"${tools}/uv"`;
+  return `export UV_PYTHON_INSTALL_DIR="${tools}/python" UV_CACHE_DIR="${tools}/cache"; `
+    + `[ -x "${dir}/bin/laya-serve" ] || { { [ -x ${uv} ] || curl -LsSf ${UV_INSTALLER}.sh | env UV_UNMANAGED_INSTALL="${tools}" sh; } && `
+    + `rm -rf "${dir}" && ${uv} venv --python ${LAYA_PY} --python-preference only-managed "${dir}" && ${uv} pip install --python "${dir}/bin/python" "${LAYA_PKG}"; } && `
     + `LAYA_HOST=127.0.0.1 LAYA_PORT=${port} LAYA_DEVICE=cpu LAYA_PRELOAD=1 "${dir}/bin/laya-serve"`;
 }
 

package/workspace/package-lock.json

@@ -1,12 +1,12 @@
 {
   "name": "pmos-workspace",
-  "version": "0.174.0",
+  "version": "0.175.0",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {
     "": {
       "name": "pmos-workspace",
-      "version": "0.174.0",
+      "version": "0.175.0",
       "license": "MIT",
       "dependencies": {
         "@xterm/addon-fit": "^0.11.0",

package/workspace/package.json

@@ -1,6 +1,6 @@
 {
   "name": "pmos-workspace",
-  "version": "0.174.0",
+  "version": "0.175.0",
   "private": true,
   "description": "PMOS Terminal Workspace — local companion hosting real PTYs beside the library and gates (D62)",
   "license": "MIT",

package/workspace/public/pm/c3-dock.js

@@ -61,7 +61,9 @@ export function createDock(opts) {
   const mine = () => S.sessions.filter((s) => s.ws === S.ws && !s.automatic).map(withEnd);
   const inTree = (dir) => mine().filter((s) => s.tree === dir).sort((a, b) => (a.shown === 'exited') - (b.shown === 'exited') || String(b.created).localeCompare(String(a.created)));
   /* a new session: the sheet asks name, agent and where it runs, starts it over the terminal connection and opens its terminal here (c3-new-session) */
-  const newSession = (on) => import('./c3-new-session.js').then((m) => m.openNewSession({ ws: S.ws, trees: (S.trees || []).filter((t) => t.ws === S.ws || t.main), on, onStarted: (id) => { S.sel = id; refresh(); } }));
+  const newSession = (on) => import('./c3-new-session.js').then((m) => m.openNewSession({ ws: S.ws, boards: S.boards || [], trees: (S.trees || []).filter((t) => t.ws === S.ws || t.main), on,
+    // a session started on another board: the dock moves to that board, so the new session is in the tree
+    onStarted: (id, ws) => { if (ws && ws !== S.ws && S.boards && S.boards.some((w) => w.id === ws)) setWs(ws); S.sel = id; refresh(); } }));
   const pick = (id) => { S.sel = id; S.selTree = null; S.confirm = null; drawTree(); drawDetail(); if (o.setOpen) o.setOpen(true); };
 
   function row(s) {
@@ -172,13 +174,19 @@ export function createDock(opts) {
       if (i >= 0) { e.preventDefault(); const n = items[i + (e.key === 'ArrowDown' ? 1 : -1)]; if (n) n.focus(); }
     }
   };
+  function setWs(ws) {
+    S.ws = ws; S.trees = null; S.sel = null; sel.value = ws; detail.removeAttribute('data-sel');
+    if (o.onWs) o.onWs(S.ws);
+    drawTree(); refresh();
+  }
   let timer = null;
   const api = {
     side,
     setWorkspaces(list, ws) {
       S.ws = ws;
-      sel.replaceChildren(...(list.length ? list : [{ id: ws, name: ws || 'workspace' }]).map((w) => el('option', { value: w.id, selected: w.id === ws }, w.name || w.id)));
-      sel.onchange = (e) => { S.ws = e.target.value; S.trees = null; S.sel = null; detail.removeAttribute('data-sel'); if (o.onWs) o.onWs(S.ws); drawTree(); refresh(); };
+      S.boards = list.length ? list : [{ id: ws, name: ws || 'workspace' }];
+      sel.replaceChildren(...S.boards.map((w) => el('option', { value: w.id, selected: w.id === ws }, w.name || w.id)));
+      sel.onchange = (e) => setWs(e.target.value);
     },
     start() { document.addEventListener('keydown', onKey); drawTree(); refresh(); timer = setInterval(refresh, 15000); if (source().subscribe) S.unsub = source().subscribe(refresh); },
     stop() { if (timer) clearInterval(timer); if (S.unsub) S.unsub(); document.removeEventListener('keydown', onKey); },

package/workspace/public/pm/c3-new-session.js

@@ -1,10 +1,12 @@
 /* pm/c3-new-session.js — start a session from console3, in a sheet, and open its terminal in the console (c3-new-session).
- *   openNewSession({ ws, trees, initiative, on, onStarted })   on: 'auto' (default), 'ws:<id>' (that tree) or 'new'
+ *   openNewSession({ ws, boards, trees, initiative, on, onStarted })   on: 'auto' (default), 'ws:<id>' (that tree) or 'new'
+ *   boards: the workspace's repositories ({ id, name }); the sheet's Board select picks one, and Runs on then lists that repository's trees.
+ *   onStarted(id, ws): the new session's id and the board it started on
  * Before this, every "start a session" press on console3 went to the classic app (/classic.html), because the page had no way
  * to start one. A session starts over the terminal connection, so this uses the same request as the classic dock's new-session
  * sheet (tab-term.js requestSpawn) and then opens the terminal with c3-session-term.js. Nothing opens unless the server says the
  * session started; a refusal stays in the sheet as the server's sentence.
- * Fields: name (empty: Shell or Claude, numbered when taken), agent (the Settings default first), and where it runs:
+ * Fields: name (empty: Shell or Claude, numbered when taken), agent (the Settings default first), the board (repository), and where it runs:
  *   Automatic      the server's start policy picks the tree (the initiative's own working copy, or the main tree)
  *   a listed tree  that working tree as it is
  *   New branch     a new branch in its own working copy
@@ -47,23 +49,37 @@ export function spawnOpts(f, d) {
 export function openNewSession(opts) {
   const o = opts || {};
   const d = sessionDefaults();
-  const trees = (o.trees || []).filter((t) => t && !t.missing && t.ws);
-  const F = { agent: CLIS.includes(d.cli) ? d.cli : 'shell', on: o.on && (o.on === 'new' || trees.some((t) => 'ws:' + t.ws === o.on)) ? o.on : 'auto', busy: false };
+  let trees = (o.trees || []).filter((t) => t && !t.missing && t.ws);
+  const F = { ws: o.ws, agent: CLIS.includes(d.cli) ? d.cli : 'shell', on: o.on && (o.on === 'new' || trees.some((t) => 'ws:' + t.ws === o.on)) ? o.on : 'auto', busy: false };
+  const boards = (o.boards || []).filter((w) => w && w.id);
+  if (o.ws && !boards.some((w) => w.id === o.ws)) boards.unshift({ id: o.ws, name: o.ws });
 
   const name = el('input', { type: 'text', 'aria-label': 'Name', placeholder: 'Empty: Shell or Claude', 'data-c3ns': 'name' });
   const agent = el('select', { 'aria-label': 'Agent', 'data-c3ns': 'agent', onchange: (e) => { F.agent = e.target.value; } },
     ...CLIS.map((c) => el('option', { value: c, selected: c === F.agent }, AGENT[c] || c)));
   const branch = el('input', { type: 'text', 'aria-label': 'New branch', placeholder: 'feature/…', 'data-c3ns': 'branch' });
   const branchRow = el('label', { class: 'c3ns-f', hidden: F.on !== 'new' }, el('span', { class: 'dim mono' }, 'New branch'), branch);
-  const where = el('select', { 'aria-label': 'Runs on', 'data-c3ns': 'on', onchange: (e) => { F.on = e.target.value; branchRow.hidden = F.on !== 'new'; } },
+  const where = el('select', { 'aria-label': 'Runs on', 'data-c3ns': 'on', onchange: (e) => { F.on = e.target.value; branchRow.hidden = F.on !== 'new'; } });
+  const fillWhere = () => where.replaceChildren(
     el('option', { value: 'auto', selected: F.on === 'auto' }, o.initiative ? 'Automatic: the working copy of initiative/' + o.initiative : 'Automatic: the main working tree'),
     ...trees.map((t) => el('option', { value: 'ws:' + t.ws, selected: F.on === 'ws:' + t.ws }, (t.main ? 'Main tree' : '⑂') + ' ' + (t.branch || 'detached'))),
     el('option', { value: 'new', selected: F.on === 'new' }, 'New branch'));
+  fillWhere();
+  // another board: its own working trees, read from the server; Runs on goes back to Automatic
+  const board = el('select', { 'aria-label': 'Board', 'data-c3ns': 'board', onchange: async (e) => {
+    F.ws = e.target.value; F.on = 'auto'; branchRow.hidden = true; trees = []; fillWhere();
+    const ws = F.ws;
+    const r = await pmGet('/api/git/worktrees?ws=' + encodeURIComponent(ws)).catch(() => null);
+    if (ws !== F.ws) return;
+    trees = (r && r.ok && Array.isArray(r.worktrees) ? r.worktrees : []).filter((t) => t && !t.missing && t.ws && (t.ws === ws || t.main));
+    fillWhere();
+  } }, ...boards.map((w) => el('option', { value: w.id, selected: w.id === F.ws }, w.name || w.id)));
   const err = el('p', { class: 'c3ns-err', role: 'alert', 'data-c3ns': 'error' });
   const go = button({ label: 'Start', variant: 'primary', size: 'sm', onClick: () => start(), attrs: { 'data-c3ns': 'start' } });
   const body = el('div', { class: 'c3ns', 'data-c3ns': 'form' },
     el('label', { class: 'c3ns-f' }, el('span', { class: 'dim mono' }, 'Name'), name),
     el('label', { class: 'c3ns-f' }, el('span', { class: 'dim mono' }, 'Agent'), agent),
+    boards.length ? el('label', { class: 'c3ns-f' }, el('span', { class: 'dim mono' }, 'Board'), board) : null,
     el('label', { class: 'c3ns-f' }, el('span', { class: 'dim mono' }, 'Runs on'), where),
     branchRow, err, el('div', { class: 'c3ns-go' }, go));
   const sheet = openSheet({ title: o.initiative ? 'New session for ' + o.initiative : 'New session', icon: 'term', body });
@@ -71,20 +87,20 @@ export function openNewSession(opts) {
 
   async function start() {
     if (F.busy) return;
-    if (!o.ws) { err.textContent = 'Pick a repository first.'; return; }
+    if (!F.ws) { err.textContent = 'Pick a board first.'; return; }
     F.busy = true; go.disabled = true; err.textContent = '';
     const sessions = await pmGet('/api/sessions').then((r) => (r && Array.isArray(r.sessions) ? r.sessions : []), () => []);
     const base = (AGENT[F.agent] || 'Shell') + (o.initiative ? ' · ' + o.initiative : '');
     // the default profile is the server's; this browser's copy can be old, so a Claude start reads it first
     const profile = F.agent === 'claude' ? adoptProfileDefault(await pmGet('/api/profiles').catch(() => null)) : null;
-    const req = spawnOpts({ name: name.value.trim() || freeName(base, sessions), agent: F.agent, initiative: o.initiative, profile, on: F.on, branch: branch.value, ws: o.ws }, d);
+    const req = spawnOpts({ name: name.value.trim() || freeName(base, sessions), agent: F.agent, initiative: o.initiative, profile, on: F.on, branch: branch.value, ws: F.ws }, d);
     if (req.error) { err.textContent = req.error; F.busy = false; go.disabled = false; return; }
     const term = await import('./tab-term.js').catch(() => null);
     const res = term ? await term.requestSpawn(req) : { ok: false, error: 'The terminal connection could not be loaded on this page.' };
     F.busy = false; go.disabled = false;
     if (!res || !res.ok) { err.textContent = (res && res.error) || 'The session was not started.'; return; }
     sheet.close();
-    if (o.onStarted) o.onStarted(res.id);
+    if (o.onStarted) o.onStarted(res.id, F.ws);
     const m = await import('./c3-session-term.js');
     m.openSessionTerm({ id: res.id, name: req.name });
     // a session that shares its working tree with a running one is told so: their edits land in the same files

package/workspace/public/pm/c3-session-term.js

@@ -18,6 +18,26 @@ const store = {
 };
 export const SIZE_KEY = 'pmos.workspace.c3.term-size';
 export const PAD_KEY = 'pmos.workspace.c3.term-pad';
+export const PAD_H_KEY = 'pmos.workspace.c3.term-pad-h';
+const PAD_ROWS = 4;   // the default height
+/** The pad's height in rows: at least 2, and at most what leaves the terminal its room in a column `room` px high with `lh` px rows. Pure, for Node. */
+export const clampPad = (rows, room, lh) => Math.max(2, Math.min(Math.round(rows), Math.max(2, Math.floor((room - 200) / (lh || 18)))));
+
+/* The grip above the pad: drag it (or press the up and down arrow keys on it) to give the pad or the terminal more room.
+ * The drag is read on the document, as the dock's grip is (dock.js): a press on a grip starts it, the moves and the release are the window's. */
+const padGrips = new WeakMap();   // grip -> { get(), set(px) }
+let padDrag = null;
+if (typeof document !== 'undefined') document.addEventListener('pointerdown', (e) => {
+  const g = e.button === 0 && e.target && e.target.closest ? e.target.closest('[data-c3-pad="grip"]') : null;
+  const r = g && padGrips.get(g);
+  if (!r) return;
+  e.preventDefault();
+  padDrag = { g, r, y: e.clientY, rows0: r.get() };
+  g.setAttribute('data-dragging', '');
+});
+if (typeof window !== 'undefined') window.addEventListener('pointermove', (e) => { if (padDrag) padDrag.r.set(padDrag.rows0 + (padDrag.y - e.clientY) / padDrag.r.lh()); });
+const endPadDrag = () => { if (padDrag) { padDrag.g.removeAttribute('data-dragging'); padDrag.r.done(); padDrag = null; } };
+if (typeof window !== 'undefined') { window.addEventListener('pointerup', endPadDrag); window.addEventListener('pointercancel', endPadDrag); }
 /* the sheet widths: Normal is the 600px wide sheet; the others are classes in console3.css (desktop only) */
 export const SIZES = [['normal', 'Normal', 'Normal'], ['half', 'Half', 'Half of the window'], ['two-thirds', '2/3', 'Two-thirds of the window'], ['whole', 'Whole', 'Whole window']];
 export const sizeOf = (v) => (SIZES.some((x) => x[0] === v) ? v : 'normal');
@@ -53,7 +73,7 @@ function makePad(id, term, tab) {
     const text = pending; pending = null;
     pmPost('/api/scratchpad', { session: id, text }).catch(() => { /* the text stays in the box */ });
   };
-  const ta = el('textarea', { class: 'c3t-pad-ta', rows: '4', placeholder: 'Scratchpad. One pad for each session. Saved on this machine.', 'aria-label': 'Scratchpad', 'data-c3-pad': 'text',
+  const ta = el('textarea', { class: 'c3t-pad-ta', rows: String(PAD_ROWS), placeholder: 'Scratchpad. One pad for each session. Saved on this machine.', 'aria-label': 'Scratchpad', 'data-c3-pad': 'text',
     oninput: () => { typed = true; pending = ta.value; if (timer) clearTimeout(timer); timer = setTimeout(flush, 500); sync(); } });
   const send = c3btn({ class: 'pill', 'data-c3-pad': 'send', title: 'Type the pad into this session. Enter is not pressed.' }, () => {
     if (!ta.value.trim()) return;
@@ -62,18 +82,38 @@ function makePad(id, term, tab) {
   }, c3ic('out', 'sm'), 'Send to terminal');
   const open0 = store.get(PAD_KEY) !== 'closed';
   const box = el('div', { class: 'c3t-pad', 'data-c3-pad': 'box' });
+  const grip = el('div', { class: 'c3t-pad-grip', 'data-c3-pad': 'grip', role: 'separator', 'aria-orientation': 'horizontal', tabindex: '0',
+    'aria-label': 'Resize the scratchpad', 'aria-valuemin': '2', title: 'Drag to resize the scratchpad. Double-click for the default size.' });
+  // the height is the textarea's own rows, so no inline style; 0 is the default
+  let rows = Number(store.get(PAD_H_KEY)) || 0;
+  const room = () => { const w = box.parentNode; return w && w.getBoundingClientRect ? w.getBoundingClientRect().height : window.innerHeight; };
+  const lh = () => parseFloat(getComputedStyle(ta).lineHeight) || 18;
+  const applyH = () => { ta.rows = rows || PAD_ROWS; grip.setAttribute('aria-valuenow', String(rows || PAD_ROWS)); };
+  const resize = {
+    lh,
+    get: () => rows || PAD_ROWS,
+    set: (n) => { const next = clampPad(n, room(), lh()); if (next === (rows || PAD_ROWS)) return; rows = next; applyH(); term.refitVisible(); },
+    done: () => { store.set(PAD_H_KEY, rows ? String(rows) : ''); },
+  };
+  padGrips.set(grip, resize);
+  grip.addEventListener('dblclick', () => { rows = 0; applyH(); resize.done(); requestAnimationFrame(() => term.refitVisible()); });
+  grip.addEventListener('keydown', (e) => {
+    if (e.key !== 'ArrowUp' && e.key !== 'ArrowDown') return;
+    e.preventDefault();
+    resize.set(resize.get() + (e.key === 'ArrowUp' ? 1 : -1)); resize.done();
+  });
   const toggle = c3btn({ class: 'chip2 lk', 'data-c3-pad': 'toggle' }, () => { const on = box.dataset.open !== 'true'; store.set(PAD_KEY, on ? 'open' : 'closed'); set(on); },
     c3ic('edit', 'sm'), 'Scratchpad');
   function set(on) {
     box.dataset.open = String(on);
     toggle.setAttribute('aria-expanded', String(on));
     toggle.title = on ? 'Hide the scratchpad. The text is kept.' : 'Show the scratchpad';
-    ta.hidden = !on;
+    ta.hidden = !on; grip.hidden = !on;
     requestAnimationFrame(() => term.refitVisible());
   }
   function sync() { send.disabled = !ta.value.trim(); }
-  box.append(el('div', { class: 'c3t-pad-h' }, toggle, send), ta);
-  set(open0); sync();
+  box.append(grip, el('div', { class: 'c3t-pad-h' }, toggle, send), ta);
+  set(open0); sync(); applyH();
   pmGet(url).then((r) => { if (!typed && r && typeof r.text === 'string') { ta.value = r.text; sync(); } }).catch(() => { /* an empty pad */ });
   const onHide = () => flush();
   window.addEventListener('pagehide', onHide);

package/workspace/public/pm/console3.css

@@ -1663,10 +1663,15 @@
 /* the terminal plus its scratchpad (c3-session-term.js): the terminal shrinks to make room for the pad */
 .c3 .c3t-tw{height:calc(100vh - 150px);min-height:240px;display:flex;flex-direction:column;gap:var(--sp-2);min-width:0}
 .c3 .c3t-tw .c3t-term{height:auto;flex:1 1 0;min-height:120px}
-.c3 .c3t-pad{display:grid;gap:var(--sp-2);flex:none;border-top:1px solid var(--border);padding-top:var(--sp-2)}
+.c3 .c3t-pad{display:grid;gap:var(--sp-2);flex:none;border-top:1px solid var(--border);padding-top:var(--sp-2);position:relative}
 .c3 .c3t-pad-h{display:flex;gap:var(--sp-2);align-items:center;justify-content:space-between}
 .c3 .c3t-pad-h .pill:disabled{opacity:.35;cursor:not-allowed}
-.c3 .c3t-pad-ta{width:100%;min-height:72px;max-height:40vh;resize:vertical;font:var(--fs-2) var(--mono);box-sizing:border-box}
+.c3 .c3t-pad-ta{width:100%;min-height:48px;resize:none;font:var(--fs-2) var(--mono);box-sizing:border-box}
+.c3 .c3t-pad-grip{position:absolute;left:0;right:0;top:-7px;height:10px;cursor:row-resize;touch-action:none;display:flex;align-items:center;justify-content:center}
+.c3 .c3t-pad-grip::after{content:'';width:36px;height:3px;background:var(--border)}
+.c3 .c3t-pad-grip:focus-visible::after,.c3 .c3t-pad-grip[data-dragging]::after{background:var(--ring)}
+@media (hover: hover){.c3 .c3t-pad-grip:hover::after{background:var(--ring)}}
+.c3 .c3t-pad-grip[hidden]{display:none}
 /* terminal sheet sizes, as the classic dock has them; the phone sheet is already full width */
 .c3 .c3t-size{flex:none}
 .c3 .c3t-size button{padding:4px 8px}

package/workspace/public/pm/sessions-panel.js

@@ -99,22 +99,23 @@ function pill(label, icon, onClick, attrs) {
   if (icon) b.prepend(ic(icon, 'sm'));
   return b;
 }
-function endBtn(st, s) {
-  return pill('End the session', 'stop', () => { st.confirm = st.confirm === s.id ? null : s.id; st.redraw(); },
-    { 'data-end-session': s.id, 'aria-expanded': String(st.confirm === s.id), title: 'End the session' });
+/* A past (ended) session has nothing left to end: its control is Remove, which takes it off the list (the same route deletes its record). */
+function endBtn(st, s, past) {
+  return pill(past ? 'Remove' : 'End the session', past ? 'trash' : 'stop', () => { st.confirm = st.confirm === s.id ? null : s.id; st.redraw(); },
+    { 'data-end-session': s.id, 'aria-expanded': String(st.confirm === s.id), title: past ? 'Remove this session from the list' : 'End the session' });
 }
-function endConfirm(st, s) {
-  return el('div', { class: 'c3t-tray', role: 'group', 'aria-label': 'End this session?', 'data-end-confirm': s.id },
-    dim('End it? Any pending change stays a proposal.'),
-    pill('End', 'stop', () => endSession(st, s), { class: 'rec', 'data-end-yes': s.id }),
+function endConfirm(st, s, past) {
+  return el('div', { class: 'c3t-tray', role: 'group', 'aria-label': past ? 'Remove this session?' : 'End this session?', 'data-end-confirm': s.id },
+    dim(past ? 'Remove it from the list? Its commits and branch stay.' : 'End it? Any pending change stays a proposal.'),
+    pill(past ? 'Remove' : 'End', past ? 'trash' : 'stop', () => endSession(st, s, past), { class: 'rec', 'data-end-yes': s.id }),
     pill('Keep it', null, () => { st.confirm = null; st.redraw(); }, {}));
 }
-async function endSession(st, s) {
+async function endSession(st, s, past) {
   st.confirm = null;
-  if (st.src.demo) { toast('In the real workspace this ends the session.'); st.redraw(); return; }
+  if (st.src.demo) { toast(past ? 'In the real workspace this removes the session.' : 'In the real workspace this ends the session.'); st.redraw(); return; }
   const r = await pmPost('/api/session/remove', { id: s.id });
-  if (r && r.ok) toast({ text: r.removed === false ? 'Asked it to end. Press End again to remove it.' : 'Ended. Any pending change stays a proposal.', timeout: 4200 });
-  else toast({ text: 'Not ended: ' + ((r && r.error) || 'the workspace server did not answer'), tone: 'error' });
+  if (r && r.ok) toast({ text: r.removed === false ? 'Asked it to end. Press End again to remove it.' : past ? 'Removed.' : 'Ended. Any pending change stays a proposal.', timeout: 4200 });
+  else toast({ text: (past ? 'Not removed: ' : 'Not ended: ') + ((r && r.error) || 'the workspace server did not answer'), tone: 'error' });
   st.last = ''; st.redraw(); st.refresh();
 }
 
@@ -125,10 +126,13 @@ function tlBody(st, s, card, meta) {
   if (items && items.length) {
     kids.push(el('div', { class: 'c3t-tl2', 'data-timeline': s.id }, items.map((e) => el('div', { class: 'tlr' }, el('span', { class: 'lab ' + (e.src === 'observed' ? 'l-obs' : e.src === 'you' ? 'l-you' : 'l-rep') }, e.src), el('span', null, e.text)))),
       dim('Observed is what the CLI did. Reported is what the agent said, with labels. You is what you pressed.'));
-  } else kids.push(dim('The timeline of what the CLI did, what the agent said and what you pressed is not served: GET /api/runs carries the cards only.'));
+  } else kids.push(dim('This session has ended. Open it to read its terminal.'));
   const resume = tl && tl.resume.find((r) => r.run === s.id);
-  kids.push(el('div', { class: 'c3t-tray' }, el('button', { type: 'button', class: 'pill', disabled: true, title: 'Resuming starts a session over the terminal connection. This page has no route for it.' }, ic('run', 'sm'), 'Continue this session'), openBtn({ id: s.id, openSession: st.openSession }),
+  const cont = pill('Continue this session', 'run', null, { title: 'Resuming starts a session over the terminal connection. This page has no route for it.' });
+  cont.disabled = true;
+  kids.push(el('div', { class: 'c3t-tray' }, cont, openBtn({ id: s.id, openSession: st.openSession }), endBtn(st, s, true),
     resume ? el('span', { class: 'dim mono', style: 'font-size:var(--fs-1)' }, resume.command) : null));
+  if (st.confirm === s.id) kids.push(endConfirm(st, s, true));
   return kids;
 }
 

package/workspace/server.js

@@ -5949,7 +5949,12 @@ async function handleRequest(req, res) {
     let body = {};
     try { body = JSON.parse((await readBody(req)) || '{}'); } catch { return json(res, { ok: false, error: 'invalid JSON body' }, 400); }
     const sess = sessions.get(String(body.id || ''));
-    if (!sess) return json(res, { ok: false, error: 'no such session' }, 404);
+    if (!sess) {
+      // an ended session the server no longer holds (only its record on disk is left) is still listed in Past; removing it deletes that record
+      const id = String(body.id || '');
+      if (/^sess-\d+$/.test(id) && fs.existsSync(path.join(SESS_DIR, id + '.json'))) { unpersist(id); pushSessions(); return json(res, { ok: true, removed: true }); }
+      return json(res, { ok: false, error: 'no such session' }, 404);
+    }
     if (sess.child) {
       stopHeadless(sess);
       for (let i = 0; i < 30 && sess.child; i++) await new Promise((r) => setTimeout(r, 100));