create-pmos 0.67.1 → 0.68.0

package/workspace/public/pm/tab-doc.js

@@ -32,6 +32,12 @@
  * 4-second session poll included — took a half-read document back to the top. `scrollPane` keeps one
  * element per tab and mode; see the block comment above it.
  *
+ * ── In live mode, a markdown file the PM can edit is edited in place (workspace-tabs-declutter) ─────────────
+ * The four modes are the prototype's, and the fixture keeps them. In live mode a markdown file the PM can write is
+ * drawn by doc-editor.js: read and edited in one surface, block by block, in the layout it is read in. `edit` stays as
+ * the whole file as markdown (the Markdown toggle) and `diff` as the Changes toggle; `raw` is the Source toggle of a
+ * file that cannot be edited. Beside the document, doc-rail.js holds its outline and its Connections.
+ *
  * ── What `view` renders it through ──────────────────────────────────────────────────────────
  * `markdown.js`, not `fixture.js`'s `mdParse`. The latter is a transcription of the design
  * prototype's four-branch stand-in (`# `/`## `/`- `/paragraph) pinned byte-for-byte by
@@ -43,7 +49,10 @@ import { state, setState, FIXTURE } from './state.js';
 import * as FX from './fixture.js';
 import { mdRender } from './markdown.js';
 import { openDoc } from './panel-initiatives.js';
-import { button } from './primitives.js';
+import { button, iconButton, menu } from './primitives.js';
+import { editorNode, disposeEditor, headsOf, goToBlock, isEditing } from './doc-editor.js';
+import { railNode, disposeRail, refreshGraph } from './doc-rail.js';
+import { copyChip, refreshCopies } from './doc-remote.js';
 
 /** `{{ expr }}` — one interpolated value in its own span, as the prototype's runtime emits it. */
 const iv = (v) => el('span', null, v === null || v === undefined ? '' : String(v));
@@ -165,6 +174,8 @@ function save(tab, text) {
       const final = out && typeof out.text === 'string' ? out.text : text;
       disk.set(path, final);
       claims.delete(wsOf(tab));          // the consistency record may move with the file; read it again
+      refreshCopies(wsOf(tab));          // …and so may the copy's state, and the file's ties
+      refreshGraph(wsOf(tab), tab.path);
       commit(final);
     },
     (e) => { saveErr.set(path, (e && e.message) || 'could not reach the workspace server'); setState({}); },
@@ -388,35 +399,26 @@ function editBox(tab) {
 /** Release what a closed doc tab held. Called by panel-tabs.js when the tab goes away. */
 export function disposeDoc(id) {
   boxes.delete(id);
+  docBars.delete(id);
   normNote.delete(id);
   frames.delete(id);
   scrollers.delete(id);
   running.delete(id);         // the grant belonged to this open document, and it is closed
-  alignOpen.delete(id);
-  alignSkip.delete(id);
-  alignNodes.delete(id);
+  disposeEditor(id);
+  disposeRail(id);
+  places.delete(id);
+  railHidden.delete(id);
 }
 
 
-/* ── the Alignment drawer (workspace-cockpit-nav Run 3, ViewAlignment.dc.html) ──────────────────
+/* ── the findings beside a document (was the Alignment drawer) ─────────────────────────────────────────────────────
  *
- * The board shows a drawer beside a document: the other documents with a CONCRETE tie to this one,
- * and what to do about each. Everything in it here is read from the consistency record the Validate
- * view already reads (`/api/claims`): which files a document is compared with, and which findings
- * name a source. Nothing is guessed from similarity, and nothing is drafted:
- *   · a tie is drawn only from `compared_with` and a finding's `source` — never from wording;
- *   · the board's "Apply" (a proposed edit to the other file, with its diff) has no backing — PMOS
- *     drafts no edit to another file — so it is not drawn, and the drawer says so;
- *   · a file the last check did not read is said to be unread, not shown as clean.
- * The drawer is closed by default, and closed it adds nothing to the pane: the pane is exactly
- * [mode bar, body] as before. Open, it is a third child laid over the right of the pane, and the
- * mode bar and body give it room with a margin. No node is re-parented, so a textarea keeps its
- * caret, a scroller its offset and a sandboxed frame its document. */
-const alignOpen = new Set();      // tab ids whose drawer is open
-const alignSkip = new Map();      // tab id -> Set of rels the PM skipped for this tab
+ * The Alignment drawer (workspace-cockpit-nav Run 3) listed the documents with a concrete tie to this one, from the
+ * consistency record the Validate view reads (`/api/claims`). The Connections rail (doc-rail.js) now draws every stated
+ * tie, so what the record adds is its FINDINGS: the ones in this file, and the ones in another file that name this
+ * file as their source. A tie is still never drawn from wording, and a file the last check did not read is not shown as
+ * clean: it has no findings to show, and the rail says only what was read. */
 const claims = new Map();         // ws -> { state: 'loading' | 'ok' | 'error', data?, error? }
-const ALIGN_W = 'min(420px, 50%)';
-const alignNodes = new Map();     // tab id -> the drawer element, kept so its scroll survives a repaint
 
 function readClaims(ws) {
   let c = claims.get(ws);
@@ -430,132 +432,24 @@ function readClaims(ws) {
   return c;
 }
 
-/** Whether a tab can have the drawer at all: a file in the checked-out tree, in real mode. */
-const canAlign = (tab) => !FIXTURE && !tab.guide && !tab.ref && !isReference(tab.path);
-
-const A_LBL = 'font-family:var(--mono);font-size:10px;font-weight:500;letter-spacing:.1em;text-transform:uppercase;color:var(--muted-foreground)';
-const A_NOTE = 'font-size:12px;line-height:1.5;color:var(--muted-foreground)';
-const A_BADGE = 'font-family:var(--sans);font-size:11px;font-weight:500;border:1px solid var(--border);border-radius:999px;padding:0 8px;line-height:18px;white-space:nowrap;color:var(--foreground)';
-const A_CARD = 'border:1px solid var(--border);background:var(--background);border-radius:10px;padding:12px 14px;display:flex;flex-direction:column;gap:8px';
-const A_BTN = 'font-family:var(--sans);font-size:12.5px;font-weight:500;padding:0 12px;min-height:30px;border-radius:8px;background:transparent;border:1px solid var(--input);color:var(--foreground)';
-const STATUS_TONE = { contradicted: 'var(--destructive)', stale: 'var(--warning)', suspected: 'var(--muted-foreground)', undecided: 'var(--muted-foreground)' };
-const STATUS_WORD = { contradicted: 'contradicted', stale: 'stale', suspected: 'suspected by Jev', undecided: 'worth a look' };
-
-const statusBadge = (st) => el('span', {
-  style: A_BADGE + ';border-color:transparent;color:' + (STATUS_TONE[st] || 'var(--muted-foreground)')
-    + ';background:color-mix(in oklab, ' + (STATUS_TONE[st] || 'var(--muted-foreground)') + ' 14%, transparent)',
-}, iv(STATUS_WORD[st] || st));
-
-/**
- * The documents tied to `rel`, each with the ties that put it there. Three kinds, all read:
- *   · this file is compared with it        (this file's `compared_with`)
- *   · it is compared with this file        (its `compared_with` names this file)
- *   · a finding in it names this file      (a finding whose `source` is this file)
- */
-function tiesFor(rel, docs) {
-  const out = new Map();
-  const add = (r, tie, finding) => {
-    if (!r || r === rel) return;
-    let c = out.get(r);
-    if (!c) { c = { rel: r, ties: new Set(), findings: [] }; out.set(r, c); }
-    c.ties.add(tie);
-    if (finding) c.findings.push(finding);
-  };
-  const self = docs.find((x) => x.rel === rel) || null;
-  if (self) for (const r of self.compared_with || []) add(r, 'this file checks against it');
+/** The findings that concern `rel`: its own, then each other file's finding whose source is `rel` (with that file). */
+function findingsFor(ws, rel) {
+  const c = readClaims(ws);
+  if (c.state !== 'ok') return [];
+  const docs = Array.isArray(c.data && c.data.docs) ? c.data.docs : [];
+  const out = [];
+  const self = docs.find((x) => x.rel === rel);
+  if (self) for (const f of self.findings || []) out.push({ status: f.status, sentence: f.sentence });
   for (const x of docs) {
     if (x.rel === rel) continue;
-    if ((x.compared_with || []).includes(rel)) add(x.rel, 'checks against this file');
-    for (const f of x.findings || []) if (f && f.source === rel) add(x.rel, 'a finding names this file', f);
-  }
-  return { self, list: [...out.values()] };
-}
-
-function alignDrawer(tab) {
-  const ws = wsOf(tab);
-  const rel = String(tab.path || '');
-  const close = () => { alignOpen.delete(tab.id); setState({}); };
-  const kids = [
-    el('div', { style: 'display:flex;align-items:center;justify-content:space-between;gap:8px' },
-      el('span', { style: 'font-weight:600;font-size:15px;font-family:var(--sans)', 'data-r29': 'align-title' }, 'Alignment'),
-      el('button', { onClick: close, 'data-r29': 'align-close', 'aria-label': 'close alignment', title: 'close the drawer',
-        style: 'background:transparent;border:0;color:var(--muted-foreground);font-size:15px;padding:2px 6px', hover: 'color:var(--foreground)' }, '⟩')),
-    el('div', { style: A_NOTE, 'data-r29': 'align-rule' }, 'Only documents with a concrete tie to this file are listed. No similarity guesses.'),
-  ];
-  const c = readClaims(ws);
-  if (c.state === 'loading') {
-    kids.push(el('div', { style: A_NOTE, 'data-r29': 'align-status', 'data-state': 'loading' }, 'Reading the consistency record…'));
-  } else if (c.state === 'error') {
-    kids.push(el('div', { style: A_NOTE + ';color:var(--destructive)', 'data-r29': 'align-status', 'data-state': 'error' },
-      iv('The consistency record could not be read: ' + c.error + '. Nothing is listed.')));
-  } else {
-    const d = c.data || {};
-    const docs = Array.isArray(d.docs) ? d.docs : [];
-    const openValidate = () => import('./panel-cockpit.js').then((m) => m.openView('validate')).catch(() => {});
-    if (d.verdict === 'not-checked' || !docs.length) {
-      kids.push(el('div', { style: A_NOTE, 'data-r29': 'align-status', 'data-state': 'not-checked' },
-        'This repository has not been checked yet, so no tie is known. Open Validate and press “check now”.'));
-      kids.push(el('div', null, el('button', { style: A_BTN, hover: 'border-color:var(--ring)', onClick: openValidate, 'data-r29': 'align-validate' }, 'open Validate')));
-    } else {
-      const { self, list } = tiesFor(rel, docs);
-      const skipped = alignSkip.get(tab.id) || new Set();
-      const shown = list.filter((x) => !skipped.has(x.rel));
-      kids.push(el('div', { style: A_NOTE, 'data-r29': 'align-status', 'data-state': self ? 'read' : 'unread' },
-        iv(self
-          ? 'This file: ' + (self.classified ? self.type : 'not classified') + ' · ' + self.verified + ' statement(s) verified'
-            + (self.findings.length ? ' · ' + self.findings.length + ' finding(s)' : ' · no open findings')
-          : 'The last check did not read this file, so its own findings are unknown. Ties from other files are still listed.')));
-      if (self && self.findings.length) {
-        kids.push(el('div', { style: A_LBL }, 'findings in this file'));
-        kids.push(el('div', { style: 'display:flex;flex-direction:column;gap:6px', 'data-r29': 'align-self' },
-          self.findings.map((f) => el('div', { 'data-r29': 'align-finding', 'data-status': f.status, style: 'display:flex;flex-direction:column;gap:3px' },
-            el('span', null, statusBadge(f.status)),
-            el('span', { style: 'font-size:12px;line-height:1.5;color:var(--foreground)' }, iv(f.sentence))))));
-      }
-      if (state.savedDocs[docKey(tab)] != null && list.length) {
-        kids.push(el('div', { style: A_NOTE + ';color:var(--warning)', 'data-r29': 'align-saved' },
-          iv('Saved. ' + list.length + ' other document' + (list.length === 1 ? '' : 's') + ' may now disagree with this change.')));
-      }
-      kids.push(el('div', { style: A_LBL }, iv('tied documents · ' + list.length)));
-      if (!list.length) kids.push(el('div', { style: A_NOTE, 'data-r29': 'align-none' }, 'No other document has a concrete tie to this file.'));
-      for (const x of shown) {
-        kids.push(el('div', { style: A_CARD, 'data-r29': 'align-cand', 'data-rel': x.rel },
-          el('b', { style: 'font-family:var(--mono);font-size:12px;font-weight:600;overflow-wrap:anywhere' }, iv(x.rel)),
-          el('div', { style: 'display:flex;gap:6px;flex-wrap:wrap' }, [...x.ties].map((t) => el('span', { style: A_BADGE, 'data-r29': 'align-tie' }, iv(t)))),
-          x.findings.map((f) => el('div', { style: 'display:flex;flex-direction:column;gap:3px' },
-            el('span', null, statusBadge(f.status)),
-            el('span', { style: A_NOTE }, iv(f.sentence)))),
-          el('div', { style: 'display:flex;gap:6px' },
-            el('button', { style: A_BTN, hover: 'border-color:var(--ring)', 'data-r29': 'align-open', onClick: () => openDoc(tab.slug, x.rel, 'FILE', tab.ws ? { ws: tab.ws, branch: tab.branch || null, linked: true } : undefined) }, 'Open to edit'),
-            el('button', { style: A_BTN, hover: 'border-color:var(--ring)', 'data-r29': 'align-skip',
-              onClick: () => { const s2 = new Set(skipped); s2.add(x.rel); alignSkip.set(tab.id, s2); setState({}); } }, 'Skip'))));
-      }
-      if (skipped.size) {
-        kids.push(el('button', { style: A_BTN + ';align-self:flex-start', hover: 'border-color:var(--ring)', 'data-r29': 'align-unskip',
-          onClick: () => { alignSkip.delete(tab.id); setState({}); } }, iv('show ' + skipped.size + ' skipped')));
-      }
-    }
-    kids.push(el('div', { style: 'display:flex;gap:6px' },
-      el('button', { style: A_BTN, hover: 'border-color:var(--ring)', 'data-r29': 'align-reread', onClick: () => { claims.delete(ws); setState({}); } }, 're-read')));
+    for (const f of x.findings || []) if (f && f.source === rel) out.push({ status: f.status, sentence: f.sentence, rel: x.rel });
   }
-  kids.push(el('div', { style: A_NOTE, 'data-r29': 'align-foot' },
-    'Ties come from the last consistency check. PMOS drafts no edit to another file: open it to change it. Git keeps the history.'));
-  /* One node per tab, kept like the scrollers above, so a repaint does not take the drawer's own
-   * scroll back to the top. */
-  let node = alignNodes.get(tab.id);
-  if (!node) { node = makeDrawerNode(); alignNodes.set(tab.id, node); }
-  setChildren(node, kids);
-  return node;
+  return out;
 }
 
-function makeDrawerNode() {
-  return el('div', {
-    'data-r29': 'align-drawer', 'data-board': 'alignment',
-    style: 'position:absolute;top:0;right:0;bottom:0;width:' + ALIGN_W + ';box-sizing:border-box;overflow-y:auto;'
-      + 'border-left:1px solid var(--border);background:var(--sidebar);color:var(--foreground);padding:16px;'
-      + 'display:flex;flex-direction:column;gap:12px;font-family:var(--sans);font-size:13px;line-height:1.5',
-  });
-}
+/** Whether a tab can have the rail at all: a file in the checked-out tree, in real mode. */
+const canRail = (tab) => !FIXTURE && !tab.guide && !tab.ref && !isReference(tab.path);
+const railHidden = new Set();     // tab ids whose outline and connections the PM put away
 
 /* ── mount ─────────────────────────────────────────────────────────────────────────────────── */
 
@@ -724,7 +618,10 @@ export function mountDoc(host, tab) {
   const raw = docText(tab);
   const text = state.docEdits[docKey(tab)] ?? raw;
   const nonMd = !FIXTURE && isSourcePath(tab.path);   // file-viewer-any-text: read-only, shown as source
-  const dm = ((tab.readonly || nonMd) && (state.docModes[tab.id] === 'edit' || state.docModes[tab.id] === 'diff')) ? 'view' : (state.docModes[tab.id] ?? 'view');
+  const writable = canWrite(tab, nonMd);
+  let dm = ((tab.readonly || nonMd) && (state.docModes[tab.id] === 'edit' || state.docModes[tab.id] === 'diff')) ? 'view' : (state.docModes[tab.id] ?? 'view');
+  if (writable && dm === 'raw') dm = 'view';          // in place, the file you can write IS its source: no read-only copy of it
+  if (!FIXTURE && !writable && (dm === 'edit' || dm === 'diff')) dm = 'view';   // only a markdown file can be saved
   const dirty = text !== raw;
   const err = saveErr.get(docKey(tab));
 
@@ -780,14 +677,7 @@ export function mountDoc(host, tab) {
   const canNormalize = !!(norm && typeof norm.normalize === 'function')
     && !isHtmlDoc(tab.path) && !isReference(tab.path) && !unread.has(docKey(tab)) && !nonMd;
   const normBtn = canNormalize ? el('button', {
-    onClick: () => {
-      const r = norm.normalize(text);
-      normNote.set(tab.id, r.changed
-        ? r.joins + ' line(s) joined' + (r.blanks ? ', ' + r.blanks + ' blank inserted' : '')
-        : 'already normalized — every paragraph is one line');
-      if (!r.changed) { setState({}); return; }
-      setState((s) => ({ docEdits: { ...s.docEdits, [docKey(tab)]: r.text } }));
-    },
+    onClick: () => normalizeBuffer(tab, norm),
     style: 'margin-left:8px;font-family:var(--mono);font-size:10.5px;padding:4px 10px;min-height:26px;background:var(--secondary);border:1px solid var(--border);color:var(--muted-foreground)',
     hover: 'border-color:var(--ring)',
     title: 'Join hard-wrapped paragraphs into one line each — what a Jira issue, a Google Doc or any'
@@ -812,21 +702,19 @@ export function mountDoc(host, tab) {
       hover: 'color:var(--foreground)', 'data-r1': 'measure',
       title: narrowOf(tab) ? 'use the full width of the tab' : 'limit lines to a 72-character reading measure',
     }, iv(narrowOf(tab) ? '↔ full width' : '⇥ 72ch')),
-    canAlign(tab) ? el('button', {
-      onClick: () => {
-        if (alignOpen.has(tab.id)) alignOpen.delete(tab.id);
-        else { alignOpen.add(tab.id); claims.delete(wsOf(tab)); }    // opening reads the record afresh
-        setState({});
-      },
-      style: 'margin-left:8px;font-family:var(--mono);font-size:10.5px;padding:4px 10px;min-height:26px;background:'
-        + (alignOpen.has(tab.id) ? 'var(--secondary)' : 'transparent') + ';border:1px solid '
-        + (alignOpen.has(tab.id) ? 'var(--brand)' : 'var(--border)') + ';color:var(--foreground)',
-      hover: 'border-color:var(--ring)', 'data-r29': 'align-toggle', 'data-open': alignOpen.has(tab.id) ? 'yes' : 'no',
-      title: 'Show the documents with a concrete tie to this one, from the last consistency check.',
-    }, 'alignment') : null,
     el('span', { style: 'margin-left:auto;font-family:var(--mono);font-size:10px;color:' + dirtyColor }, iv(dirtyLabel)),
   );
 
+  /* Live mode draws the bar from the design system (workspace-tabs-declutter): the four modes as one segmented control,
+   * the save state beside them, save and revert, and one ⋯ menu for what is used now and then (the reading width,
+   * normalize, alignment). Run scripts stays on the bar while a page can run: it grants a privilege, so its state is
+   * never one click away. The fixture keeps the prototype's bar above, which the parity suites pin. */
+  const bar = FIXTURE ? modeBar : docBar(tab, {
+    dm, readonly, writable, dirty, err, text, asPage, live, canNormalize, norm,
+    statusText: dirtyLabel,
+    tone: err ? 'error' : (dirty ? 'dirty' : 'clean'),
+  });
+
   let body;
   if (dm === 'raw') body = rawBody(tab, text);
   else if (dm === 'diff') body = diffBody(tab, raw, text, dirty);
@@ -839,16 +727,133 @@ export function mountDoc(host, tab) {
     if (body.defaultValue !== text) body.defaultValue = text;
     if (body.value !== text) body.value = text;
   } else if (!FIXTURE && (extOfPath(tab.path) === 'csv' || extOfPath(tab.path) === 'tsv')) body = gridBody(tab, text);
+  else if (writable) body = inPlace(tab, text, raw);
   else body = asPage ? htmlFrame(tab, text, live) : (nonMd && !unread.has(docKey(tab)) ? sourceBody(tab, text) : viewBody(tab, text));
 
-  /* The drawer, when open, lies over the right of the pane; the bar and the body give it room. The
-   * margin is written on every paint so a closed drawer leaves no gap behind on a kept node. */
-  const drawerOn = canAlign(tab) && alignOpen.has(tab.id);
-  host.style.position = drawerOn ? 'relative' : '';
-  modeBar.style.marginRight = drawerOn ? ALIGN_W : '';
-  body.style.marginRight = drawerOn ? ALIGN_W : '';
-  setChildren(host, drawerOn ? [modeBar, body, alignDrawer(tab)] : [modeBar, body]);
+  setChildren(host, [bar, body]);
   return host;
 }
 
+/* A markdown file the PM can write, in live mode: edited in place. A guide page ships with the app, a file from git is
+ * evidence, a reference names someone else's record, and a file that could not be read is a stub: none of those. */
+function canWrite(tab, nonMd) {
+  if (FIXTURE || tab.readonly || tab.guide || tab.ref || nonMd || isReference(tab.path) || isHtmlDoc(tab.path)) return false;
+  const PK = typeof window !== 'undefined' ? window.PreviewKind : null;
+  if (!PK || typeof PK.previewKind !== 'function' || PK.previewKind(String(tab.path || '')) !== 'markdown') return false;
+  const k = docKey(tab);
+  return state.savedDocs[k] != null || (disk.has(k) && !unread.has(k));
+}
+
+/* The in-place surface: the editor and, beside it, the rail. One scrolling node per tab, kept like the scrollers above,
+ * so neither a repaint nor a keystroke moves the page. */
+const places = new Map();     // tab id -> { node, grid }
+function inPlace(tab, text, raw) {
+  let pl = places.get(tab.id);
+  if (!pl) {
+    const grid = el('div', { class: 'fr-ed__grid' });
+    pl = { node: el('div', { class: 'fr-ed', 'data-ed': 'scroll' }, grid), grid };
+    places.set(tab.id, pl);
+  }
+  const ws = wsOf(tab);
+  const main = editorNode(tab, {
+    text, ctx: linkCtx(tab),
+    onChange: (t) => { saveErr.delete(docKey(tab)); setState((s) => { const de = { ...s.docEdits }; if (t === raw) delete de[docKey(tab)]; else de[docKey(tab)] = t; return { docEdits: de }; }); },
+    onSave: () => { const cur = state.docEdits[docKey(tab)]; if (cur != null && cur !== raw) save(tab, cur); },
+  });
+  const showRail = canRail(tab) && !railHidden.has(tab.id);
+  const rail = showRail ? railNode(tab, {
+    ws, rel: String(tab.path || ''), heads: headsOf(tab.id), findings: findingsFor(ws, String(tab.path || '')),
+    onGoto: (i) => goToBlock(tab.id, i),
+    onOpen: (rel) => openDoc(tab.slug, rel, 'FILE', tab.ws ? { ws: tab.ws, branch: tab.branch || null, linked: true } : undefined),
+  }) : null;
+  pl.grid.setAttribute('data-measure', narrowOf(tab) ? '72ch' : 'full');
+  pl.grid.toggleAttribute('data-rail', !!rail);
+  setChildren(pl.grid, [main, rail]);
+  if (isEditing(tab.id)) pl.node.setAttribute('data-editing', ''); else pl.node.removeAttribute('data-editing');
+  return pl.node;
+}
+
+/** normalize: the buffer's paragraphs joined into one line each. The buffer, never the file; a clean document says so. */
+function normalizeBuffer(tab, norm) {
+  const raw = docText(tab);
+  const text = state.docEdits[docKey(tab)] ?? raw;
+  const r = norm.normalize(text);
+  normNote.set(tab.id, r.changed
+    ? r.joins + ' line(s) joined' + (r.blanks ? ', ' + r.blanks + ' blank inserted' : '')
+    : 'already normalized — every paragraph is one line');
+  if (!r.changed) { setState({}); return; }
+  setState((s) => ({ docEdits: { ...s.docEdits, [docKey(tab)]: r.text } }));
+}
+
+/* ── the document bar in live mode ──────────────────────────────────────────────────────────────────────────────────
+ * One bar per tab, kept so the ⋯ control keeps its focus across a repaint; its children are rebuilt. The bar says whether
+ * the file is saved and what its copy holds, and carries what changes the view: Changes while there is something to
+ * compare, the whole file as markdown (or, for a file that cannot be edited, its source), and one ⋯ menu for what is used
+ * now and then. Run scripts stays on the bar while a page can run: it grants a privilege, so its state is never one
+ * click away. Every action is the prototype's: the same state keys, the same buffer, the same save path. */
+const docBars = new Map();     // tab id -> { node, more }
+
+function docBar(tab, o) {
+  let kept = docBars.get(tab.id);
+  if (!kept) {
+    const more = iconButton({ icon: 'ellipsis', ariaLabel: 'Document options', size: 'sm', attrs: { 'data-doc': 'more', class: 'fr-doc-bar__more' },
+      onClick: (e) => menu({ anchor: e.currentTarget, ariaLabel: 'Document options', items: docMenu(tab) }) });
+    kept = { node: el('div', { class: 'fr-doc-bar', 'data-doc': 'bar' }), more };
+    docBars.set(tab.id, kept);
+  }
+  const setMode = (m) => setState((s) => ({ docModes: { ...s.docModes, [tab.id]: m } }));
+  const status = el('span', { class: 'fr-doc-bar__status', 'data-doc': 'status', 'data-tone': o.tone }, o.statusText);
+  const copy = canRail(tab) && !o.readonly ? copyChip(wsOf(tab), String(tab.path || '')) : null;
+  const inDiff = o.dm === 'diff';
+  const changes = o.writable && (o.dirty || inDiff) ? button({
+    label: 'changes', variant: inDiff ? 'outline' : 'ghost', size: 'sm', icon: 'git-compare',
+    attrs: { 'data-doc': 'changes', 'aria-pressed': inDiff ? 'true' : 'false', title: 'What saving would change on disk, line by line' },
+    onClick: () => setMode(inDiff ? 'view' : 'diff'),
+  }) : null;
+  const srcMode = o.writable ? 'edit' : 'raw';
+  const inSrc = o.dm === srcMode;
+  const source = button({
+    label: o.writable ? 'markdown' : 'source', variant: inSrc ? 'outline' : 'ghost', size: 'sm', icon: 'file-code',
+    attrs: { 'data-doc': 'source', 'aria-pressed': inSrc ? 'true' : 'false',
+      title: o.writable ? 'Edit the whole file as markdown' : 'Show the file as it is written' },
+    onClick: () => setMode(inSrc ? 'view' : srcMode),
+  });
+  const saveB = o.dirty ? button({ label: 'save', variant: 'primary', size: 'sm', attrs: { 'data-doc': 'save', title: 'Save (Ctrl or ⌘ S)' }, onClick: () => save(tab, o.text) }) : null;
+  const revertB = o.dirty ? button({ label: 'revert', variant: 'ghost', size: 'sm', attrs: { 'data-doc': 'revert' }, onClick: () => revert(tab) }) : null;
+  const run = o.asPage && o.dm === 'view' ? button({
+    label: o.live ? 'scripts running — stop' : 'run scripts', variant: o.live ? 'danger' : 'outline', size: 'sm',
+    onClick: () => { if (o.live) running.delete(tab.id); else running.add(tab.id); setState({}); },
+    attrs: { 'data-doc': 'run', 'aria-pressed': o.live ? 'true' : 'false',
+      title: o.live
+        ? 'This document is running its own scripts, in a frame with no origin and no network. Stop discards it.'
+        : "Run this document's own scripts. It stays sandboxed: no origin, no network, nothing loaded from anywhere." },
+  }) : null;
+  const hasMenu = docMenu(tab).length > 0;
+  setChildren(kept.node, [status, copy, el('span', { class: 'fr-doc-bar__end' }, run, changes, revertB, saveB, source, hasMenu ? kept.more : null)]);
+  return kept.node;
+}
+
+/** The ⋯ menu's items, read afresh when it opens, so each one says what choosing it will do now. */
+function docMenu(tab) {
+  const items = [];
+  const dm = state.docModes[tab.id] ?? 'view';
+  if (dm === 'view' || dm === 'raw') {
+    const narrow = narrowOf(tab);
+    items.push({ label: narrow ? 'Use the full width' : 'Limit lines to 72 characters', icon: 'arrow-left-right', attrs: { 'data-r1': 'measure' },
+      onSelect: () => setState((s) => ({ docNarrow: { ...(s.docNarrow || {}), [tab.id]: !narrowOf(tab) } })) });
+  }
+  const norm = typeof window !== 'undefined' ? window.MdNormalize : null;
+  const nonMd = isSourcePath(tab.path);
+  if (norm && typeof norm.normalize === 'function' && !tab.readonly && !isHtmlDoc(tab.path) && !isReference(tab.path) && !unread.has(docKey(tab)) && !nonMd) {
+    items.push({ label: 'Normalize line breaks', icon: 'refresh-cw', attrs: { 'data-doc': 'normalize', title: 'Join hard-wrapped paragraphs into one line each. Writes the buffer, not the file: read it in Changes, then save.' },
+      onSelect: () => normalizeBuffer(tab, norm) });
+  }
+  if (canRail(tab) && canWrite(tab, nonMd)) {
+    const hidden = railHidden.has(tab.id);
+    items.push({ label: hidden ? 'Show the outline and connections' : 'Hide the outline and connections', icon: 'share-2', attrs: { 'data-doc': 'rail' },
+      onSelect: () => { if (hidden) railHidden.delete(tab.id); else railHidden.add(tab.id); setState({}); } });
+  }
+  return items;
+}
+
 export default mountDoc;

package/workspace/public/vendor/lucide-sprite.js

@@ -1,5 +1,5 @@
 /* lucide-sprite.js — GENERATED by workspace/third-party/build-lucide-sprite.js from lucide-static 1.52.0.
- * Do not edit by hand. The icons: grip-vertical, plus, check, square, square-check-big, x, undo-2, flag, bot, chevron-right, chevron-down, ellipsis, circle-alert, history, arrow-up, arrow-down, diamond, settings, search, refresh-cw, chevron-left, sun, moon, arrow-left, arrow-right, globe, columns-2, arrow-up-down, arrow-left-right, panel-top, panel-left, maximize-2, minimize-2, git-branch, clock.
+ * Do not edit by hand. The icons: grip-vertical, plus, check, square, square-check-big, x, undo-2, flag, bot, chevron-right, chevron-down, ellipsis, circle-alert, history, arrow-up, arrow-down, diamond, settings, search, refresh-cw, chevron-left, sun, moon, arrow-left, arrow-right, globe, columns-2, arrow-up-down, arrow-left-right, panel-top, panel-left, maximize-2, minimize-2, git-branch, clock, bold, italic, code, link, type, heading, list, list-checks, text-quote, file-code, git-compare, cloud, share-2.
  *
  * ISC License
  *
@@ -81,5 +81,18 @@ export const SPRITE = '<svg xmlns="http://www.w3.org/2000/svg" aria-hidden="true
   + '<symbol id="lucide-minimize-2" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="m14 10 7-7" /><path d="M20 10h-6V4" /><path d="m3 21 7-7" /><path d="M4 14h6v6" /></symbol>'
   + '<symbol id="lucide-git-branch" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M15 6a9 9 0 0 0-9 9V3" /><circle cx="18" cy="6" r="3" /><circle cx="6" cy="18" r="3" /></symbol>'
   + '<symbol id="lucide-clock" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><circle cx="12" cy="12" r="10" /><path d="M12 6v6l4 2" /></symbol>'
+  + '<symbol id="lucide-bold" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M6 12h9a4 4 0 0 1 0 8H7a1 1 0 0 1-1-1V5a1 1 0 0 1 1-1h7a4 4 0 0 1 0 8" /></symbol>'
+  + '<symbol id="lucide-italic" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><line x1="19" x2="10" y1="4" y2="4" /><line x1="14" x2="5" y1="20" y2="20" /><line x1="15" x2="9" y1="4" y2="20" /></symbol>'
+  + '<symbol id="lucide-code" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="m16 18 6-6-6-6" /><path d="m8 6-6 6 6 6" /></symbol>'
+  + '<symbol id="lucide-link" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M10 13a5 5 0 0 0 7.54.54l3-3a5 5 0 0 0-7.07-7.07l-1.72 1.71" /><path d="M14 11a5 5 0 0 0-7.54-.54l-3 3a5 5 0 0 0 7.07 7.07l1.71-1.71" /></symbol>'
+  + '<symbol id="lucide-type" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M12 4v16" /><path d="M4 7V5a1 1 0 0 1 1-1h14a1 1 0 0 1 1 1v2" /><path d="M9 20h6" /></symbol>'
+  + '<symbol id="lucide-heading" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M6 12h12" /><path d="M6 20V4" /><path d="M18 20V4" /></symbol>'
+  + '<symbol id="lucide-list" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M3 5h.01" /><path d="M3 12h.01" /><path d="M3 19h.01" /><path d="M8 5h13" /><path d="M8 12h13" /><path d="M8 19h13" /></symbol>'
+  + '<symbol id="lucide-list-checks" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M13 5h8" /><path d="M13 12h8" /><path d="M13 19h8" /><path d="m3 17 2 2 4-4" /><path d="m3 7 2 2 4-4" /></symbol>'
+  + '<symbol id="lucide-text-quote" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M17 5H3" /><path d="M21 12H8" /><path d="M21 19H8" /><path d="M3 12v7" /></symbol>'
+  + '<symbol id="lucide-file-code" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M6 22a2 2 0 0 1-2-2V4a2 2 0 0 1 2-2h8a2.4 2.4 0 0 1 1.704.706l3.588 3.588A2.4 2.4 0 0 1 20 8v12a2 2 0 0 1-2 2z" /><path d="M14 2v5a1 1 0 0 0 1 1h5" /><path d="M10 12.5 8 15l2 2.5" /><path d="m14 12.5 2 2.5-2 2.5" /></symbol>'
+  + '<symbol id="lucide-git-compare" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><circle cx="18" cy="18" r="3" /><circle cx="6" cy="6" r="3" /><path d="M13 6h3a2 2 0 0 1 2 2v7" /><path d="M11 18H8a2 2 0 0 1-2-2V9" /></symbol>'
+  + '<symbol id="lucide-cloud" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><path d="M17.5 19H9a7 7 0 1 1 6.71-9h1.79a4.5 4.5 0 1 1 0 9Z" /></symbol>'
+  + '<symbol id="lucide-share-2" viewBox="0 0 24 24" fill="none" stroke="currentColor" stroke-width="2" stroke-linecap="round" stroke-linejoin="round"><circle cx="18" cy="5" r="3" /><circle cx="6" cy="12" r="3" /><circle cx="18" cy="19" r="3" /><line x1="8.59" x2="15.42" y1="13.51" y2="17.49" /><line x1="15.41" x2="8.59" y1="6.51" y2="10.49" /></symbol>'
   + '</svg>';
-export const ICONS = ["grip-vertical","plus","check","square","square-check-big","x","undo-2","flag","bot","chevron-right","chevron-down","ellipsis","circle-alert","history","arrow-up","arrow-down","diamond","settings","search","refresh-cw","chevron-left","sun","moon","arrow-left","arrow-right","globe","columns-2","arrow-up-down","arrow-left-right","panel-top","panel-left","maximize-2","minimize-2","git-branch","clock"];
+export const ICONS = ["grip-vertical","plus","check","square","square-check-big","x","undo-2","flag","bot","chevron-right","chevron-down","ellipsis","circle-alert","history","arrow-up","arrow-down","diamond","settings","search","refresh-cw","chevron-left","sun","moon","arrow-left","arrow-right","globe","columns-2","arrow-up-down","arrow-left-right","panel-top","panel-left","maximize-2","minimize-2","git-branch","clock","bold","italic","code","link","type","heading","list","list-checks","text-quote","file-code","git-compare","cloud","share-2"];

package/workspace/replaced-tests.json

@@ -80,6 +80,49 @@
         "no-network: the server process opens no HTTP client outside the one TypeSafe module (D79)",
         "no-network: lib/typesafe.js is the ONLY file that opens an HTTP client"
       ]
+    },
+    {
+      "id": "STD-R18",
+      "file": "workspace/pm-r18-test.js",
+      "run": "workspace-tabs-declutter",
+      "ref": "planning/initiatives/workspace-tabs-declutter.md (status, amended 2026-10-07 after the PM approved the clickable mockup)",
+      "reason": "A file that cannot be edited now has one Source toggle instead of the view and raw modes. The assertion keeps its name and still checks that a git file offers no edit, diff or save; it reads the new control names (source, markdown, changes).",
+      "names": [
+        "R5: a git file offers no edit, diff or save"
+      ]
+    },
+    {
+      "id": "STD-R21",
+      "file": "workspace/pm-r21-test.js",
+      "run": "workspace-tabs-declutter",
+      "ref": "planning/initiatives/workspace-tabs-declutter.md (status, amended 2026-10-07 after the PM approved the clickable mockup)",
+      "reason": "The four document modes became toggles: a markdown file is edited in place with a Markdown toggle, and a read-only file has a Source toggle. F7 now checks that the source is one toggle away; F10 checks that a markdown tab is edited in place and offers its markdown.",
+      "names": [
+        "F7: view and raw are still offered",
+        "F10: a markdown tab still offers edit"
+      ]
+    },
+    {
+      "id": "STD-TABS",
+      "file": "workspace/pm-tabs-test.js",
+      "run": "workspace-tabs-declutter",
+      "ref": "planning/initiatives/workspace-tabs-declutter.md (status, amended 2026-10-07 after the PM approved the clickable mockup)",
+      "reason": "A markdown file has no raw mode any more: its source is the Markdown toggle, a textarea that scrolls itself. The scroll-position assertion now holds the Markdown source's position. pm-doc-inplace-test.js asserts the in-place editor.",
+      "names": [
+        "raw mode holds its position too — the fix is the pane's, not one mode's"
+      ]
+    },
+    {
+      "id": "STD-UI",
+      "file": "workspace/ui-test.js",
+      "run": "workspace-tabs-declutter",
+      "ref": "planning/initiatives/workspace-tabs-declutter.md (status, amended 2026-10-07 after the PM approved the clickable mockup)",
+      "reason": "The document round trip now goes through the in-place editor: DOC1 checks the tab is edited in place with a Markdown toggle (not four modes), DOC2 counts the Properties inputs (one per frontmatter key) instead of the old card's spans, and DOC4 reads the whole file from the Markdown toggle's textarea instead of raw. DOC5 and DOC6 keep their names and still type, diff and save the real file.",
+      "names": [
+        "DOC1: a document opens as a doc tab offering view · raw · edit · diff",
+        "DOC4: raw shows the file as written, frontmatter fence and all",
+        "DOC2: view renders the FILE ON DISK as markdown — a heading, its frontmatter card, its list"
+      ]
     }
   ],
   "entries": [

package/workspace/server.js

@@ -119,6 +119,8 @@ const startPolicy = require('./lib/start-policy');     // ONE stated rule for wh
 const treeShare = require('./lib/tree-share');         // who shares a working tree, and who is DECLARED to be driving it
 const tmuxControl = require('./lib/tmux-control');     // tmux -CC protocol: the pane's raw stream, so xterm.js keeps its scrollback
 const relatedDocs = require('./lib/related-docs');            // which documents a change puts out of step (R5/R6)
+const Kg = require('./lib/kg');                               // the stated ties between files (pmos kg)
+const kgCli = require('./lib/kg-cli');                        // …and its cached build for one repository
 const applyChange = require('./lib/apply-change');            // anchored + whole-document saves, refuse-on-stale
 const sessionState = require('./lib/session-state');   // the cadence×turn join — validated on BOTH sides
 // Bundle 2 (planning/design/bundle-2-wiring-contract.md). Four already-built pure modules. The
@@ -138,6 +140,7 @@ const docCheckSessions = new Map();
 // The session each Use … version press started (workspace id|path|kind → { session, use }), so the line says "Updating…"
 // before the session has opened its sync, and a second press on the same copy refuses.
 const docSyncSessions = new Map();
+const docGraphs = new Map();          // root -> { at, graph }: the document tab's Connections, held 15 s
 const jiraTickets = require('./lib/jira-tickets.js');   // jira-wbs — the ticket draft, the PM's selection, the push plan
 const jiraStatus = require('./lib/jira-status.js');     // …and the status snapshot an agent's read writes
 // The session each Push or Check now press started (workspace id|initiative → { session, at }), so a second press
@@ -8248,6 +8251,33 @@ async function handleRequest(req, res) {
     }
     return json(res, { ok: true, wrote: rel });
   }
+  if (p === '/api/doc/graph') {
+    // The document tab's Connections (workspace-tabs-declutter): the files this file is tied to, read from the same
+    // derived graph `pmos kg neighbors` prints. Only stated ties: a link, a frontmatter path, an initiative, an anchor
+    // or a decision id. Nothing is guessed. The graph is built from git's tracked Markdown and cached by HEAD and the
+    // dirty .md files, so a second read is a file read; a short in-memory hold keeps a repaint from asking git again.
+    const w = getWs(url.searchParams.get('ws'));
+    if (!w) return json(res, { ok: false, error: 'no workspace' }, 404);
+    const rel = String(url.searchParams.get('path') || '');
+    if (!rel || !insideRoot(w.root, path.resolve(w.root, rel))) return json(res, { ok: false, error: 'outside workspace' }, 404);
+    let held = docGraphs.get(w.root);
+    // A folder that is not a git repository, or one with no commit yet, tracks no file, so no tie is known.
+    if (!held && spawnSync('git', ['rev-parse', '--verify', '-q', 'HEAD'], { cwd: w.root, stdio: 'ignore' }).status !== 0) {
+      return json(res, { ok: true, tracked: false, ties: [] });
+    }
+    if (!held || Date.now() - held.at > 15000) {
+      try { held = { at: Date.now(), graph: kgCli.graphFor(w.root).graph }; docGraphs.set(w.root, held); }
+      catch (e) { return json(res, { ok: false, error: 'the graph could not be built: ' + ((e && e.message) || e).toString().split('\n')[0] }, 500); }
+    }
+    const g = held.graph;
+    const me = Kg.nodeById(g, rel);
+    if (!me) return json(res, { ok: true, tracked: false, ties: [] });
+    const ties = (Kg.neighbors(g, rel, { depth: 1 }) || []).slice(0, 40).map((r) => {
+      const n = Kg.nodeById(g, r.id) || {};
+      return { path: r.id, title: n.title || r.id, type: n.type || null, via: r.via, basis: r.basis, direction: r.direction };
+    });
+    return json(res, { ok: true, tracked: true, title: me.title, ties });
+  }
   if (p === '/api/doc/changes') {
     // The change log, read back (R8 — this is what an agent reads before working here).
     const w = getWs(url.searchParams.get('ws'));

package/workspace/test-lists/workspace-tabs-declutter.json

@@ -0,0 +1,13 @@
+{
+  "_comment": "workspace-tabs-declutter: the document tab edited in place (block model, browser).",
+  "modules": [
+    "doc-editor.test.mjs"
+  ],
+  "seconds": {
+    "doc-editor.test.mjs": 1,
+    "pm-doc-inplace-test.js": 25
+  },
+  "panels": [
+    "pm-doc-inplace-test.js"
+  ]
+}

package/workspace/third-party/README.md

@@ -12,7 +12,7 @@ The workspace runs with no network (D62). Two third-party browser files are comm
 | Package | Version | Licence | Tarball | Tarball sha256 | Shipped file |
 |---|---|---|---|---|---|
 | sortablejs | 1.15.7 | MIT | https://registry.npmjs.org/sortablejs/-/sortablejs-1.15.7.tgz | `66cbfc8fa18860783584fe0c346baf6cbf3399da72d23d21053425ba232abed4` | `public/vendor/Sortable.min.js`: an unmodified copy of `package/Sortable.min.js` (45 478 bytes, sha256 `bf4241bc73fef7f11c59a283a69fe8051cdd31c6d8ff5a2b9ba219e7831fcf76`; npm integrity `sha512-Kk8wLQPlS+yi1ZEf48a4+fzHa4yxjC30M/Sr2AnQu+f/MPwvvX9XjZ6OWejiz8crBsLwSq8GHqaxaET7u6ux0A==`) |
-| lucide-static | 1.52.0 | ISC, plus the Feather MIT notice | https://registry.npmjs.org/lucide-static/-/lucide-static-1.52.0.tgz | `4d2aa079171e4eba4c704844b8b0c9edb6e4cfb2fb8bd86f7b14353994f04a87` | `public/vendor/lucide-sprite.js`: generated by `build-lucide-sprite.js` (13 525 bytes, sha256 `3bb7ec3369206ff1bc8c6ae5dfd91c5d99e5ec89c4357d18b744b594ea366447`). It holds 35 icons: grip-vertical, plus, check, square, square-check-big, x, undo-2, flag, bot, chevron-right, chevron-down, ellipsis, circle-alert, history, arrow-up, arrow-down, diamond, then the eight the frame's chrome draws (Run 3): settings, search, refresh-cw, chevron-left, sun, moon, arrow-left, arrow-right, then globe, columns-2, arrow-up-down and arrow-left-right for the dock strip's web, split and orientation chips (Run 3, C6), then panel-top, panel-left, maximize-2, minimize-2, git-branch and clock for the dock's icon controls and session rows (0.54.2) |
+| lucide-static | 1.52.0 | ISC, plus the Feather MIT notice | https://registry.npmjs.org/lucide-static/-/lucide-static-1.52.0.tgz | `4d2aa079171e4eba4c704844b8b0c9edb6e4cfb2fb8bd86f7b14353994f04a87` | `public/vendor/lucide-sprite.js`: generated by `build-lucide-sprite.js` (17 352 bytes, sha256 `7f9e952399a3c1c91659a527bc1363a008b531ed6e296c2b3c819554ffb0a56f`). It holds 48 icons: grip-vertical, plus, check, square, square-check-big, x, undo-2, flag, bot, chevron-right, chevron-down, ellipsis, circle-alert, history, arrow-up, arrow-down, diamond, then the eight the frame's chrome draws (Run 3): settings, search, refresh-cw, chevron-left, sun, moon, arrow-left, arrow-right, then globe, columns-2, arrow-up-down and arrow-left-right for the dock strip's web, split and orientation chips (Run 3, C6), then panel-top, panel-left, maximize-2, minimize-2, git-branch and clock for the dock's icon controls and session rows (0.54.2), then bold, italic, code, link, type, heading, list, list-checks, text-quote, file-code, git-compare, cloud and share-2 for the document tab's in-place editor, its Confluence copy and its connections |
 
 The licences are in this folder: [sortablejs-1.15.7.LICENSE](sortablejs-1.15.7.LICENSE) and [lucide-static-1.52.0.LICENSE](lucide-static-1.52.0.LICENSE). The sprite also carries the lucide licence text as its first comment.