create-pmos 0.53.0 → 0.53.2

package/workspace/lib/sync.js

@@ -18,6 +18,10 @@ const { execFile } = require('child_process');
 const RECORD_PATHS = ['planning', 'pmos', '.pmos-profile', '.gitattributes'];
 const NET_TIMEOUT_MS = 60000;
 const LOCAL_TIMEOUT_MS = 10000;
+// A reading compares HEAD with the remote-tracking ref the LAST fetch left, so it can say nothing about what another
+// machine pushed since. Past this age (or with no fetch on record) the reading is `remote_stale`: the bar offers Sync
+// rather than claim the repository is in sync on old evidence. Still no network: the age is the mtime of FETCH_HEAD.
+const REMOTE_FRESH_MS = 10 * 60 * 1000;
 
 function run(root, args, { net = false, raw = false } = {}) {
   return new Promise((resolve) => {
@@ -28,6 +32,23 @@ function run(root, args, { net = false, raw = false } = {}) {
   });
 }
 
+// When this clone last heard from its remote: the mtime of FETCH_HEAD, which every fetch rewrites. null = never.
+async function remoteCheckedAt(root) {
+  const p = await run(root, ['rev-parse', '--git-path', 'FETCH_HEAD']);
+  if (!p.ok || !p.out) return null;
+  try { return fs.statSync(path.resolve(root, p.out)).mtime; } catch { return null; }
+}
+
+// A document repository (`.pmos-profile` says pm-artifacts, D68) holds nothing but the PM's documents, so every file
+// in it is a record. A code repository's records are RECORD_PATHS only.
+function profileOf(root) {
+  try {
+    const prof = fs.readFileSync(path.join(root, '.pmos-profile'), 'utf8').split('\n').map((l) => l.replace(/#.*$/, '').trim()).find(Boolean);
+    return prof === 'pm-artifacts' ? 'pm-artifacts' : 'product-code';
+  } catch { return 'product-code'; }
+}
+const recordTestFor = (root) => (profileOf(root) === 'pm-artifacts' ? () => true : isRecord);
+
 const isRecord = (rel) => RECORD_PATHS.some((p) => rel === p || rel.startsWith(`${p}/`));
 
 // PM repositories append ledgers from several machines; `merge=union` keeps both sides' lines instead
@@ -55,8 +76,9 @@ async function status(root) {
   const up = await run(root, ['rev-parse', '--abbrev-ref', `${branch}@{upstream}`]);
   const porcelain = await run(root, ['status', '--porcelain', '--untracked-files=all'], { raw: true });
   const files = porcelain.out ? porcelain.out.split('\n').filter(Boolean).map((l) => l.slice(3).replace(/^"|"$/g, '').replace(/.* -> /, '')) : [];
-  const dirtyRecords = files.filter(isRecord);
-  const dirtyOther = files.filter((f) => !isRecord(f));
+  const rec = recordTestFor(root);
+  const dirtyRecords = files.filter(rec);
+  const dirtyOther = files.filter((f) => !rec(f));
   let ahead = null; let behind = null;
   if (up.ok) {
     const c = await run(root, ['rev-list', '--left-right', '--count', `HEAD...${up.out}`]);
@@ -64,11 +86,14 @@ async function status(root) {
   }
   const mid = ['MERGE_HEAD', 'rebase-merge', 'rebase-apply', 'CHERRY_PICK_HEAD']
     .some((f) => fs.existsSync(path.join(root, '.git', f)));
+  const checked = up.ok ? await remoteCheckedAt(root) : null;
+  const remoteStale = up.ok && (!checked || Date.now() - checked.getTime() > REMOTE_FRESH_MS);
   const state = mid ? 'mid-operation' : !up.ok ? 'no-upstream'
     : ahead && behind ? 'diverged' : behind ? 'behind' : ahead ? 'ahead'
-      : dirtyRecords.length ? 'dirty' : 'in-sync';
+      : dirtyRecords.length ? 'dirty' : remoteStale ? 'unchecked' : 'in-sync';
   return { ok: true, branch, upstream: up.ok ? up.out : null, ahead, behind,
     dirty_records: dirtyRecords.length, dirty_other: dirtyOther.length, state,
+    remote_checked_at: checked ? checked.toISOString() : null, remote_stale: remoteStale,
     network_used: false };
 }
 
@@ -93,8 +118,9 @@ async function sync(root, { label } = {}) {
   const addedAttr = ensureUnionAttribute(root);
   const s1 = await status(root);
   if (s1.dirty_records || addedAttr) {
-    const present = RECORD_PATHS.filter((p) => fs.existsSync(path.join(root, p)));
-    const add = await run(root, ['add', '--', ...present]);
+    // a document repository records every change; a code repository its record paths only
+    const present = profileOf(root) === 'pm-artifacts' ? ['-A'] : ['--', ...RECORD_PATHS.filter((p) => fs.existsSync(path.join(root, p)))];
+    const add = await run(root, ['add', ...present]);
     if (!add.ok) return stop('commit', `could not stage records — ${add.err}`);
     const staged = await run(root, ['diff', '--cached', '--name-only']);
     if (staged.out) {
@@ -129,4 +155,33 @@ async function sync(root, { label } = {}) {
   return { ok: true, steps, message: 'in sync', after: await status(root) };
 }
 
-module.exports = { status, sync, ensureUnionAttribute, RECORD_PATHS, isRecord };
+// ── facts the idle auto-sync needs (D70 as amended 2026-10-06). All local: no network. ──────────
+
+// The paths this machine's unpushed commits touch, or null when they cannot be read.
+async function unpushedPaths(root, upstream) {
+  const d = await run(root, ['diff', '--name-only', `${upstream}...HEAD`]);
+  return d.ok ? d.out.split('\n').filter(Boolean) : null;
+}
+
+// The newest mtime (ms) among the uncommitted record files, or 0 when none is dirty.
+async function newestDirtyRecordMs(root) {
+  const porcelain = await run(root, ['status', '--porcelain', '--untracked-files=all'], { raw: true });
+  const files = porcelain.out ? porcelain.out.split('\n').filter(Boolean).map((l) => l.slice(3).replace(/^"|"$/g, '').replace(/.* -> /, '')) : [];
+  let newest = 0;
+  for (const f of files.filter(recordTestFor(root))) {
+    try { newest = Math.max(newest, fs.statSync(path.join(root, f)).mtimeMs); } catch { /* deleted: no time to read */ }
+  }
+  return newest;
+}
+
+// The remote's default branch as this clone last saw it (refs/remotes/<remote>/HEAD), else main or master if the
+// remote has one. null when none of these is known.
+async function defaultBranchOf(root, remote) {
+  const h = await run(root, ['symbolic-ref', '--short', `refs/remotes/${remote}/HEAD`]);
+  if (h.ok && h.out.startsWith(`${remote}/`)) return h.out.slice(remote.length + 1);
+  for (const b of ['main', 'master']) if ((await run(root, ['rev-parse', '--verify', '--quiet', `refs/remotes/${remote}/${b}`])).ok) return b;
+  return null;
+}
+
+module.exports = { status, sync, ensureUnionAttribute, RECORD_PATHS, isRecord, REMOTE_FRESH_MS,
+  unpushedPaths, newestDirtyRecordMs, defaultBranchOf, profileOf };

package/workspace/package-lock.json

@@ -1,6 +1,6 @@
 {
   "name": "pmos-workspace",
-  "version": "0.53.0",
+  "version": "0.53.2",
   "lockfileVersion": 3,
   "requires": true,
   "packages": {

package/workspace/package.json

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

package/workspace/public/index.html

@@ -5,6 +5,17 @@
 <meta name="viewport" content="width=device-width, initial-scale=1, viewport-fit=cover" />
 <meta name="pmos-nonce" content="" />
 <title>PMOS workspace</title>
+<!-- workspace-phone-app: Add to Home Screen. The manifest is fetched WITH credentials because over the
+     tailnet every request needs the session cookie, and a manifest fetch sends none by default. The
+     apple-* tags are what iOS reads instead of the manifest. "black" keeps the page below the status
+     bar; the top bar does not pad for a translucent one. -->
+<link rel="manifest" href="/manifest.webmanifest" crossorigin="use-credentials" />
+<meta name="theme-color" content="#090b0c" />
+<meta name="mobile-web-app-capable" content="yes" />
+<meta name="apple-mobile-web-app-capable" content="yes" />
+<meta name="apple-mobile-web-app-title" content="PMOS" />
+<meta name="apple-mobile-web-app-status-bar-style" content="black" />
+<link rel="apple-touch-icon" href="/icons/apple-touch-icon.png" />
 <!-- The terminal's face is preloaded, not left to be discovered. An @font-face is only fetched when
      something first RENDERS in it, which for Plex Mono is about the same moment a tab constructs
      the first xterm — and xterm measures its cell from whatever face is resolved at construction.

package/workspace/public/pm/app.js

@@ -413,7 +413,7 @@ function readFrame() {
 }
 const fr = (() => {
   const s = readFrame();
-  return { dest: FRAME_DESTS.includes(s.dest) ? s.dest : 'today', scope: s.scope === 'all' ? 'all' : 'repo', params: {}, dock: {}, syncing: false, reg: null, gAt: 0, needs: 0 };
+  return { dest: FRAME_DESTS.includes(s.dest) ? s.dest : 'today', scope: s.scope === 'all' ? 'all' : 'repo', params: {}, dock: {}, dockMax: false, dockW: null, syncing: false, reg: null, gAt: 0, needs: 0 };
 })();
 function writeFrame() {
   try { localStorage.setItem(FRAME_KEY, JSON.stringify({ dest: fr.dest, scope: fr.scope })); } catch { /* private mode: the default stands */ }
@@ -421,7 +421,7 @@ function writeFrame() {
 
 const activeRepo = () => (mods.repos && typeof mods.repos.activeProduct === 'function' ? mods.repos.activeProduct() : state.product || null);
 /** The dock on the current destination: what the PM chose here with ⌘J or the rail, else open on Today only. */
-const dockOpen = () => (Object.prototype.hasOwnProperty.call(fr.dock, fr.dest) ? fr.dock[fr.dest] : fr.dest === 'today');
+const dockOpen = () => !!fr.dockMax || (Object.prototype.hasOwnProperty.call(fr.dock, fr.dest) ? fr.dock[fr.dest] : fr.dest === 'today');
 
 function go(id, params) {
   if (!FRAME_DESTS.includes(id)) return false;
@@ -433,10 +433,39 @@ function go(id, params) {
   setState({ menuOpen: false, paletteOpen: false });
   return true;
 }
-function setDock(open) { fr.dock[fr.dest] = !!open; setState({}); }
+function setDock(open) { fr.dock[fr.dest] = !!open; if (!open) fr.dockMax = false; setState({}); }
 const toggleDock = () => setDock(!dockOpen());
 const foldDock = () => setDock(false);
 const openDock = () => setDock(true);
+/* Focus (0.53.1): the dock takes the whole window, on every destination, until the PM leaves it. It opens the dock. */
+function toggleFocus() {
+  fr.dockMax = !fr.dockMax;
+  if (fr.dockMax) fr.dock[fr.dest] = true;
+  setState({});
+}
+/* The dock's width, chosen with the grip (0.53.1). Kept in this browser like the dock's other per-window choices;
+ * null is the default width. */
+const DOCK_W_KEY = 'pmos.workspace.pm.dock-width';
+function readDockW() {
+  if (!FRAME) return null;
+  let v = null;
+  try { v = Number(localStorage.getItem(DOCK_W_KEY)); } catch { v = null; }
+  return Number.isFinite(v) && v > 0 ? v : null;
+}
+const dockWidth = {
+  get: () => fr.dockW,
+  set: (px) => {
+    fr.dockW = Number.isFinite(px) && px > 0 ? Math.round(px) : null;
+    try { if (fr.dockW) localStorage.setItem(DOCK_W_KEY, String(fr.dockW)); else localStorage.removeItem(DOCK_W_KEY); } catch { /* private mode */ }
+    paintDockWidth();
+  },
+};
+function paintDockWidth() {
+  const v = fr.dockW ? fr.dockW + 'px' : '';
+  if (bodyGrid.style.getPropertyValue('--fr-dock-w') !== v) {
+    if (v) bodyGrid.style.setProperty('--fr-dock-w', v); else bodyGrid.style.removeProperty('--fr-dock-w');
+  }
+}
 function chooseRepo(name) {
   fr.scope = 'repo';
   writeFrame();
@@ -480,10 +509,25 @@ async function runSync() {
   try { res = await mods.data.syncRepository(repo); } catch (e) { res = { ok: false, message: String((e && e.message) || e) }; }
   fr.syncing = false;
   syncSeen.delete(repo);
-  toast({ text: res && res.ok ? FC.sync.done : FC.sync.stopped((res && res.step) || FC.sync.label, (res && (res.message || res.error)) || '') });
+  toast({ text: res && res.ok ? FC.sync.done : FC.sync.stopped((res && (res.stopped_at || res.step)) || FC.sync.label, (res && (res.message || res.error)) || '') });
   setState({});
 }
 
+/* Closing the tab with work that is not yet pushed asks first (D70 as amended 2026-10-06): idle auto-sync waits for a
+ * few quiet minutes, and a laptop closed inside that window would carry the work away unsynced. The reading is the
+ * last local one for each repository; a stale or unread reading never asks. */
+function unpushedOf(st) {
+  // only a repository with an upstream: one with none has nowhere to push, and would ask on every close for ever
+  return !!st && st.ok !== false && !!st.upstream && ((st.ahead | 0) > 0 || (st.dirty_records | 0) > 0);
+}
+if (FRAME) {
+  window.addEventListener('beforeunload', (e) => {
+    if (![...syncSeen.values()].some((v) => unpushedOf(v.st))) return;
+    e.preventDefault();
+    e.returnValue = '';
+  });
+}
+
 let bar = null;
 let dockRail = null;
 let frDetail = null;
@@ -498,7 +542,8 @@ function setupFrame() {
   ensureSprite();
   bar = createTopbar({ go, openPalette, repoMenu, sync: runSync });
   document.addEventListener('pointerdown', (e) => { fr.downAt = e.target; }, true);
-  dockRail = createDockRail({ open: openDock });
+  dockRail = createDockRail({ open: openDock, resize: dockWidth });
+  fr.dockW = readDockW();
   frDetail = el('div', { class: 'fr-detail', 'data-fr': 'detail' },
     el('div', { class: 'fr-detail__bar' }, iconButton({ icon: 'x', ariaLabel: FC.detail.close, onClick: closeDetail, attrs: { 'data-fr': 'detail-close' } })),
     hostDetail);
@@ -546,7 +591,8 @@ function renderFrame() {
   fr.unsynced = unsyncedOf(st);   // the phone bar (mobile.js) shows Sync on the same reading
   bar.update({ dest: fr.dest, repoLabel: fr.scope === 'all' ? FC.repo.all : repo, needs, unsynced: fr.unsynced, syncing: fr.syncing });
   const open = dockOpen();
-  bodyGrid.setAttribute('data-fr-dock', phone ? 'phone' : open ? 'open' : 'rail');
+  bodyGrid.setAttribute('data-fr-dock', phone ? 'phone' : open ? (fr.dockMax ? 'max' : 'open') : 'rail');
+  paintDockWidth();
   const detail = !!state.col2;
   // Four children in every arrangement, hostTabs the fourth and last, so setChildren never moves it (a moved xterm loses
   // its grid) and a reader of the body's fourth child still finds panel 4. A closed detail stays mounted, hidden.
@@ -584,7 +630,7 @@ const G_KEYS = { t: 'today', i: 'initiatives', b: 'board', r: 'reports' };
 function frameKey(e) {
   const mod = e.metaKey || e.ctrlKey;
   if (mod && (e.key === 'k' || e.key === 'K')) { e.preventDefault(); setState({ paletteOpen: !state.paletteOpen, menuOpen: false }); return; }
-  if (mod && (e.key === 'j' || e.key === 'J')) { e.preventDefault(); if (!isMobile()) toggleDock(); return; }
+  if (mod && (e.key === 'j' || e.key === 'J')) { e.preventDefault(); if (!isMobile()) { if (e.shiftKey) toggleFocus(); else toggleDock(); } return; }
   if (e.key === 'Escape') {
     if (state.paletteOpen) { setState({ paletteOpen: false }); return; }
     if (state.menuOpen) { setState({ menuOpen: false }); return; }
@@ -635,9 +681,9 @@ function frameKey(e) {
 
 /* What the suites and the phone chrome reach the frame by. */
 const frameApi = {
-  on: true, go, toggleDock, foldDock, openDock, chooseRepo, chooseAll, openPalette, repoMenu, closeDetail, sync: runSync,
+  on: true, go, toggleDock, foldDock, openDock, toggleFocus, dockWidth, chooseRepo, chooseAll, openPalette, repoMenu, closeDetail, sync: runSync,
   get unsynced() { return !!fr.unsynced; },
-  get dest() { return fr.dest; }, get scope() { return fr.scope; }, get dockOpen() { return dockOpen(); },
+  get dest() { return fr.dest; }, get scope() { return fr.scope; }, get dockOpen() { return dockOpen(); }, get dockMax() { return !!fr.dockMax; },
   get detailOpen() { return !!state.col2; }, get syncing() { return fr.syncing; }, get needs() { return fr.needs || 0; },
 };