@bongos/core 1.24.79 → 1.24.80

package/modules/hall-ui/public/settings.js

@@ -937,14 +937,14 @@
     }
   }
 
-  // ---- section rail (grouped sub-nav, task 1723 → kit, task 2172) -----------
+  // ---- the options menu's native groups (task 1723 → 2172 → 1005144) ---------
   //
-  // The sections sit in six groups behind a left rail (#settings-rail), built by
-  // OTBKit.makeSectionRail in switch mode — the idiom this page originated. CSS
-  // shows only the active group (.settings-groups[data-active]); a section's own
-  // [hidden] attribute still wins, so the per-section reveal logic above is
-  // unchanged. Deep links activate their group first, so scrollIntoView lands on
-  // a visible section.
+  // The sections sit in groups; the left rail (#settings-rail) is the ONE options
+  // menu now (options-menu.js, ADR 0401), which also opens the screens that used
+  // to be pages of their own. CSS shows only the active group
+  // (.settings-groups[data-active]); a section's own [hidden] attribute still
+  // wins, so the per-section reveal logic above is unchanged. Deep links activate
+  // their group first, so scrollIntoView lands on a visible section.
 
   const RAIL_ITEMS = [
     { id: 'account', label: 'Account' },
@@ -955,7 +955,6 @@
     { id: 'update', label: 'Software update' },
   ];
   const RAIL_GROUPS = RAIL_ITEMS.map((i) => i.id).concat('extensions');
-  let rail = null;
 
   // task 2172 — stable per-panel anchors (/settings#cli, /settings#sounds, …)
   // so skills and docs can deep-link a panel without depending on internal
@@ -984,7 +983,6 @@
     const groups = document.getElementById('settings-groups');
     if (!groups) return;
     groups.dataset.active = group;
-    rail?.activate(group);
     // A panel whose read is expensive loads when its group opens, not with the page.
     if (typeof CustomEvent === 'function') document.dispatchEvent(new CustomEvent('settings:group', { detail: { group } }));
     if (!opts || opts.scroll !== false) window.scrollTo({ top: 0 });
@@ -1001,45 +999,52 @@
     return grouped ? { group: grouped.getAttribute('data-group'), el } : null;
   }
 
-  // Activate the hash's group; for a panel anchor also scroll the panel into
-  // view (rail highlight = the group). Runs on load, after data lands (late-
-  // revealed sections), and on hashchange.
+  // One of Settings' own groups, opened by the options menu (options-menu.js); a
+  // panel anchor (#cli) also scrolls its panel into view.
+  function showNative(group, anchor, opts) {
+    const t = anchor ? resolveHash(anchor) : null;
+    activateGroup(t ? t.group : group, { scroll: false });
+    if (t && t.el && (!opts || opts.scroll !== false)) t.el.scrollIntoView({ behavior: 'smooth', block: 'start' });
+    else if (!t || !t.el) window.scrollTo({ top: 0 });
+  }
+
+  // Land the address on its place. The menu reads ?open= and a menu entry's id
+  // (#account, ?open=my-agents#talk); a panel anchor (#cli) is this page's.
+  // Runs on load, after data lands (late-revealed sections), and on hashchange.
   function applyHash(opts) {
+    if (leaveIfMoved()) return;
+    const menu = window.OTBOptions;
+    if (menu && menu.openFromUrl()) return;
     const t = resolveHash(window.location.hash);
     if (!t) return;
-    activateGroup(t.group, { scroll: false });
-    if (t.el && (!opts || opts.scroll !== false)) {
-      t.el.scrollIntoView({ behavior: 'smooth', block: 'start' });
-    } else if (!t.el) {
-      window.scrollTo({ top: 0 });
-    }
+    if (menu) menu.activate(t.group, null, { url: false });
+    showNative(t.group, t.el ? window.location.hash : null, opts);
   }
 
   // task 1005044 — a link to an agent setting that moved to My agents
-  // (settings-moved.js) goes on there; replace(), so Back does not bounce here.
+  // (settings-moved.js) opens it in the menu, where My agents lives now (task 1005144).
   function leaveIfMoved() {
     const to = window.OTBSettingsMoved && window.OTBSettingsMoved.movedTarget(window.location.hash);
-    if (to) window.location.replace(to);
-    return !!to;
+    if (!to) return false;
+    const anchor = to.split('#')[1] || null;
+    if (window.OTBOptions) window.OTBOptions.activate('my-agents', anchor);
+    return true;
   }
 
-  function wireRail() {
-    const mount = document.getElementById('settings-rail');
-    if (!mount || !window.OTBKit) return;
-    rail = window.OTBKit.makeSectionRail({
-      mount,
-      items: RAIL_ITEMS,
-      mode: 'switch',
-      onSwitch: (key) => {
-        activateGroup(key);
-        // Reflect the group in the URL so the view is shareable; replaceState
-        // keeps Back for leaving the page, not retracing rail clicks.
-        history.replaceState(null, '', window.location.pathname + window.location.search + `#${key}`);
-      },
+  // The options menu (task 1005144): settings.js hands it the viewer once /me answers.
+  function wireMenu(builder, contributed) {
+    const menu = window.OTBOptions;
+    if (!menu) return;
+    menu.mount({
+      rail: document.getElementById('settings-rail'),
+      groups: document.getElementById('settings-groups'),
+      viewer: { authed: true, rank: builder && builder.rank },
+      contributed,
+      onNative: (id, anchor) => showNative(id, anchor),
     });
-    rail.activate('account');
+    if (!menu.openFromUrl() && !resolveHash(window.location.hash)) menu.activate('account', null, { url: false });
     applyHash({ scroll: false });
-    window.addEventListener('hashchange', () => { if (!leaveIfMoved()) applyHash(); });
+    window.addEventListener('hashchange', () => applyHash());
   }
 
   // Hide the rail + groups entirely while the not-signed-in gate is showing —
@@ -1104,13 +1109,10 @@
     // MODULE PANELS — render any Settings panels modules contributed via the
     // seam (BV1.R42). None today; ready for discord/art once they leave core.
     mountContributedPanels();
-    // Reveal the Extensions rail entry only when a module actually contributed:
-    // the kit rail re-renders from the item list, then re-marks the active group.
+    // THE OPTIONS MENU (task 1005144): the rail is the one menu now. The Extensions
+    // entry shows only when a module actually contributed a panel.
     const contributed = $('#contributed-panels');
-    if (rail && contributed && contributed.children.length > 0) {
-      rail.refresh([...RAIL_ITEMS, { id: 'extensions', label: 'Extensions' }]);
-      rail.activate($('#settings-groups')?.dataset.active || 'account');
-    }
+    wireMenu(builder, !!(contributed && contributed.children.length > 0));
 
     // Sounds are switched off for now (task 1004554 — .claude/sounds/play.js's
     // SOUNDS_ON). The per-sound toggles (#786) and the per-event picker (task 582)
@@ -1129,7 +1131,5 @@
     applyHash();
   }
 
-  if (leaveIfMoved()) return;
-  wireRail();
   load();
 })();

package/modules/hall-ui/public/shell-game.css

@@ -0,0 +1,65 @@
+/* shell-game.css — the game's start screen and load screen (task 1005143; shell-game.js start()).
+   Both stand over the welcome's painting, darkened by the hall's scrim. The menu and the load
+   screen are each a card of the hall's own tokens, so they follow the hall's theme and the city
+   drawn in the load card sits on its own ground. Colours, sizes, corners and spacing are tokens;
+   nothing here is typed in. Rules: modules/hall-ui/records/start-screen.md. */
+html.gs-open { overflow: hidden; }
+.gs {
+  position: fixed; inset: 0; z-index: var(--ds-z-modal, 160); overflow: auto;
+  display: flex; align-items: center; justify-content: center;
+  padding: var(--ds-space-lg) var(--ds-space-gutter-narrow);
+  background: var(--bg); color: var(--ink); font-family: var(--font-body);
+  transition: opacity .5s var(--ds-ease);
+}
+.gs--leaving { opacity: 0; pointer-events: none; }
+
+/* the still: the painting, covering the screen, under the scrim so a card reads on any part of it */
+.gs__art { position: absolute; inset: 0; }
+.gs__art::after { content: ""; position: absolute; inset: 0; background: var(--scrim); }
+.gs__img { width: 100%; height: 100%; object-fit: cover; display: block; }
+
+/* the two cards */
+.gs__menu, .gs__load {
+  position: relative; width: 100%; box-sizing: border-box; padding: var(--ds-space-md);
+  background: var(--bg-card); border-radius: var(--ds-radius-panel); box-shadow: var(--ds-shadow-pop);
+}
+.gs__menu[hidden], .gs__load[hidden] { display: none; }
+
+/* the start screen: the project's name over five choices, one column */
+.gs__menu { max-width: 24rem; }
+.gs__title {
+  margin: var(--ds-space-xs) 0 var(--ds-space-md); text-align: center; text-wrap: balance;
+  font-family: var(--font-display); font-size: var(--ds-text-title); font-weight: 700; line-height: 1.1;
+}
+.gs__items { list-style: none; margin: 0; padding: 0; display: flex; flex-direction: column; gap: var(--ds-space-xs); }
+.gs__items[hidden] { display: none; }
+.gs__items--extras { margin-top: var(--ds-space-sm); flex-direction: row; flex-wrap: wrap; justify-content: center; }
+.gs__item {
+  display: flex; align-items: center; justify-content: center; box-sizing: border-box;
+  width: 100%; min-height: 48px; padding: var(--ds-space-xs) var(--ds-space-md);
+  background: transparent; color: inherit; border: 1px solid var(--rule);
+  border-radius: var(--ds-radius-pill); font: inherit; font-size: var(--ds-text-xl); font-weight: 600;
+  text-decoration: none; cursor: pointer;
+  transition: background-color .15s var(--ds-ease), border-color .15s var(--ds-ease);
+}
+.gs__item:hover { background: var(--bg); border-color: var(--ink-soft); text-decoration: none; }
+.gs__item:focus-visible { outline: 2px solid var(--focus); outline-offset: 3px; }
+/* Start is the one filled choice, as the hall's primary pill is */
+.gs__item[data-gs="start"] { background: var(--accent); color: var(--accent-on); border-color: transparent; }
+.gs__item[data-gs="start"]:hover { background: var(--accent-lift); border-color: transparent; }
+.gs__item--extra { width: auto; min-height: 40px; font-size: var(--ds-text-md); font-weight: 500; }
+.gs__note { margin: var(--ds-space-md) 0 0; text-align: center; font-size: var(--ds-text-md); color: var(--ink-soft); }
+.gs__note[hidden] { display: none; }
+
+/* the load screen: the city building up, the week it is showing, and the tip under it */
+.gs__load { max-width: 44rem; display: flex; flex-direction: column; gap: var(--ds-space-sm); text-align: center; }
+.gs__city { display: block; width: 100%; height: auto; max-height: 56vh; }
+.gs__city[hidden], .gs__when[hidden] { display: none; }
+.gs__when { margin: 0; font-size: var(--ds-text-sm); color: var(--ink-soft); font-variant-numeric: tabular-nums; }
+.gs__tip { margin: 0; font-size: var(--ds-text-lg); line-height: 1.45; text-wrap: pretty; }
+.gs__tip b {
+  display: inline-block; margin-right: var(--ds-space-xs); padding: 0 var(--ds-space-xs);
+  border: 1px solid var(--rule); border-radius: var(--ds-radius-pill);
+  font-size: var(--ds-text-2xs); font-weight: 600; letter-spacing: .08em; text-transform: uppercase;
+  color: var(--ink-soft); vertical-align: middle;
+}

package/modules/hall-ui/public/shell-game.js

@@ -9,10 +9,10 @@
 //
 // The mode is one localStorage key (`hall-game`), so it follows the browser across
 // every hall page, and one attribute, html[data-game="on"], for a sheet or script
-// that wants to read it. Leaving full screen in game mode (the button, Escape)
+// that wants to read it. Leaving full screen in game mode (the corner button)
 // brings the bars back for THAT page load only: the next page opens without them
 // again, and a page's own remembered choice is never overwritten. `?game=on` /
-// `?game=off` on any hall URL sets it by hand until the start screen does (R03).
+// `?game=off` on any hall URL sets it by hand; the start screen's Start sets it on (R03, below).
 // Loaded BEFORE shell.js on every hall page; a page without this file is simply
 // never in game mode.
 (function () {
@@ -41,10 +41,290 @@
     write('sessionStorage', HINT_KEY, '1');
     return true;
   }
+
+  // ---------- the start screen and the load screen (task 1005143, BONGOS-V3 R03) ----------
+  // A fresh sign-in opens on the start screen: Start, Options, Achievements, Extras, Quit over a
+  // still. Start turns game mode on and passes through the load screen, where the project city
+  // builds itself up week by week under a tip, and then the world is there. welcome-boot.js calls
+  // start() on Home (where a sign-in lands) and hands in the still; this file draws both screens.
+  // Rules are in modules/hall-ui/records/start-screen.md.
+  var MENU = [
+    { id: 'start', label: 'Start' },
+    { id: 'options', label: 'Options', href: '/settings' },   // the ONE options menu (task 1005144)
+    { id: 'achievements', label: 'Achievements', href: '/profile' },
+    { id: 'extras', label: 'Extras' },
+    { id: 'quit', label: 'Quit' },
+  ];
+  var EXTRAS = [
+    { label: 'The thinking sky', href: '/thinking' },
+    { label: 'The atlas', href: '/atlas' },
+    { label: 'The docs', href: '/docs' },
+  ];
+  var TIPS = [
+    'Escape opens the options menu, where every setting lives.',
+    'Every tower is a goal. It gains a floor each time work ships under it.',
+    'A crane marks a site someone worked on this week.',
+    'A salmon dot on a tower means something there is waiting on you.',
+    'Ctrl K, or Cmd K on a Mac, jumps to any page.',
+  ];
+  var TIP_KEY = 'hall-game-tip';
+  var CITY_READ = '/api/bongos/home/city?weeks=10';
+  var STEPS = 30, STEP_MS = 90;   // the history runs in about three seconds
+  var HOLD_MS = 1400;             // how long the still and the tip stand when there is no city to build
+  var LEAVE_MS = 500;             // the fade into the world (shell-game.css)
+  var NS = 'http://www.w3.org/2000/svg';
+
+  function tipAt(n) { return TIPS[((Number(n) || 0) % TIPS.length + TIPS.length) % TIPS.length]; }
+  // The weeks the load screen stops at, oldest first, ending exactly on now.
+  function historySteps(weeks, steps) {
+    var last = Math.max(0, (Number(weeks) || 0) - 1), n = Math.max(1, Number(steps) || 1), out = [];
+    for (var i = 0; i <= n; i++) out.push(Math.round((last * i / n) * 100) / 100);
+    return out;
+  }
+  function whenLabel(weeks, t) {
+    var ago = Math.round(Math.max(0, (Number(weeks) || 0) - 1) - t);
+    return ago <= 0 ? 'The city, now' : 'The city, ' + ago + (ago === 1 ? ' week ago' : ' weeks ago');
+  }
+  function esc(v) { return window.OTB.escapeHtml(v); }
+  function itemHtml(m) {
+    var inner = ' class="gs__item" data-gs="' + m.id + '"';
+    if (m.href) return '<li><a' + inner + ' href="' + esc(m.href) + '">' + esc(m.label) + '</a></li>';
+    return '<li><button type="button"' + inner + (m.id === 'extras' ? ' aria-expanded="false" aria-controls="gs-extras"' : '') + '>' + esc(m.label) + '</button></li>';
+  }
+  function screenHtml(o) {
+    return '<div class="gs__art" aria-hidden="true">' + (o.art ? '<img class="gs__img" alt="" src="' + esc(o.art) + '" decoding="async">' : '') + '</div>' +
+      '<div class="gs__menu">' +
+        '<h2 class="gs__title" id="gs-title">' + esc(o.name || 'This project') + '</h2>' +
+        '<ul class="gs__items">' + MENU.map(itemHtml).join('') + '</ul>' +
+        '<ul class="gs__items gs__items--extras" id="gs-extras" hidden>' + EXTRAS.map(function (x) {
+          return '<li><a class="gs__item gs__item--extra" href="' + esc(x.href) + '">' + esc(x.label) + '</a></li>';
+        }).join('') + '</ul>' +
+        '<p class="gs__note" id="gs-note" role="status" hidden></p>' +
+      '</div>' +
+      '<div class="gs__load" id="gs-load" role="status" hidden>' +
+        '<svg class="gs__city" id="gs-city" role="img" aria-label="The project city building up, week by week" hidden></svg>' +
+        '<p class="gs__when" id="gs-when" hidden></p>' +
+        '<p class="gs__tip"><b>Tip</b><span id="gs-tip"></span></p>' +
+      '</div>';
+  }
+
+  var root = null, opts = null, timers = [], phase = null;
+  function later(ms, fn) { timers.push(setTimeout(fn, ms)); }
+  function stopTimers() { timers.forEach(clearTimeout); timers = []; }
+  function still() { return !!(window.matchMedia && window.matchMedia('(prefers-reduced-motion: reduce)').matches); }
+  function items() {
+    return Array.prototype.filter.call(root.querySelectorAll('.gs__item'), function (b) { return !b.closest('[hidden]'); });
+  }
+
+  function close() {
+    if (!root) return;
+    stopTimers();
+    document.removeEventListener('keydown', onKey, true);
+    if (root.parentNode) root.parentNode.removeChild(root);
+    root = null; phase = null;
+    document.documentElement.classList.remove('gs-open');
+    var done = opts && opts.done;
+    opts = null;
+    if (typeof done === 'function') done();
+  }
+  function leave() {
+    if (!root || phase === 'leaving') return;
+    phase = 'leaving';
+    stopTimers();
+    if (still()) { close(); return; }
+    root.classList.add('gs--leaving');
+    later(LEAVE_MS, close);
+  }
+
+  // ---- the load screen: the still, a tip, and the city building up through its history ----
+  function build(n) {
+    var e = document.createElementNS(NS, n.tag);
+    Object.keys(n.attrs).forEach(function (k) { e.setAttribute(k, String(n.attrs[k])); });
+    if (n.text != null) e.textContent = n.text;
+    n.kids.forEach(function (c) { e.appendChild(build(c)); });
+    return e;
+  }
+  function themeMode() {
+    var t = document.documentElement.dataset.theme;
+    if (t === 'light' || t === 'dark') return t;
+    return window.matchMedia && window.matchMedia('(prefers-color-scheme: dark)').matches ? 'dark' : 'light';
+  }
+  function drawCity(model, t) {
+    var Draw = window.OTBHomeCityDraw, svg = root && root.querySelector('#gs-city'), when = root && root.querySelector('#gs-when');
+    if (!svg) return;
+    var out = Draw.citySvg(model, t, { mode: themeMode(), gov: window.GovCity || null });
+    svg.setAttribute('viewBox', out.viewBox);
+    while (svg.firstChild) svg.removeChild(svg.firstChild);
+    out.nodes.forEach(function (n) { svg.appendChild(build(n)); });
+    svg.removeAttribute('hidden');
+    when.textContent = whenLabel(model.W, t);
+    when.hidden = false;
+  }
+  // One week after another, as state: each stop is a whole drawing, so nothing here animates.
+  function runHistory(model) {
+    if (!root || phase !== 'load') return;
+    stopTimers();
+    var stops = still() ? [model.W - 1] : historySteps(model.W, STEPS), i = 0;
+    (function step() {
+      if (!root) return;
+      drawCity(model, stops[i]);
+      i += 1;
+      if (i < stops.length) later(STEP_MS, step); else later(still() ? HOLD_MS : 700, leave);
+    })();
+  }
+  function readCity() {
+    var Draw = window.OTBHomeCityDraw;
+    if (!Draw || typeof fetch !== 'function') return;
+    fetch(CITY_READ, { credentials: 'same-origin' }).then(function (r) { return r.ok ? r.json() : null; }).then(function (data) {
+      var model = data && Draw.cityModel(data);
+      if (model && model.W && model.areas.length) runHistory(model);
+    }, function () { /* no city: the still and the tip stand, then the world */ });
+  }
+  function load() {
+    if (!root || phase !== 'menu') return;
+    phase = 'load';
+    set(true);
+    var n = Number(read('localStorage', TIP_KEY)) || 0;
+    write('localStorage', TIP_KEY, String(n + 1));
+    root.querySelector('#gs-tip').textContent = tipAt(n);
+    root.querySelector('.gs__menu').hidden = true;
+    root.querySelector('#gs-load').hidden = false;
+    root.classList.add('gs--load');
+    later(HOLD_MS, leave);   // runHistory replaces this once the city answers
+    readCity();
+  }
+
+  // Quit closes the tab. A browser only lets a script close a tab a script opened, so when the
+  // tab is still here a moment later the screen says so instead of doing nothing.
+  function quit() {
+    try { window.close(); } catch (_) { /* refused */ }
+    later(300, function () {
+      var note = root && root.querySelector('#gs-note');
+      if (!note) return;
+      note.textContent = 'Your browser kept this tab open. Close it to quit.';
+      note.hidden = false;
+    });
+  }
+  function toggleExtras(btn) {
+    var box = root.querySelector('#gs-extras'), open = box.hidden;
+    box.hidden = !open;
+    btn.setAttribute('aria-expanded', open ? 'true' : 'false');
+    if (open) box.querySelector('a').focus();
+  }
+  function onClick(e) {
+    var el = e.target.closest && e.target.closest('.gs__item');
+    if (!el || phase !== 'menu') return;
+    var id = el.getAttribute('data-gs');
+    if (id === 'start') load();
+    else if (id === 'extras') toggleExtras(el);
+    else if (id === 'quit') quit();
+  }
+  // The screen keeps every key while it is up: Escape folds Extras away and nothing else (the
+  // shell's Escape must not flip the bars underneath), the arrows and Tab stay inside the menu.
+  function onKey(e) {
+    if (!root) return;
+    if (e.key === 'Escape') {
+      e.preventDefault();
+      var box = root.querySelector('#gs-extras');
+      if (phase === 'menu' && !box.hidden) { var b = root.querySelector('[data-gs="extras"]'); toggleExtras(b); b.focus(); }
+      return;
+    }
+    if (phase !== 'menu') return;
+    var f = items(), at = f.indexOf(document.activeElement), step = 0;
+    if (e.key === 'ArrowDown') step = 1;
+    else if (e.key === 'ArrowUp') step = -1;
+    else if (e.key === 'Tab') step = e.shiftKey ? -1 : 1;
+    if (!step || !f.length) return;
+    e.preventDefault();
+    f[(at + step + f.length) % f.length].focus();
+  }
+
+  // Put the start screen up. `o`: { name, art, done } — the project's name, the still to stand
+  // behind both screens, and what to do once the world is showing. True when it is up.
+  function start(o) {
+    if (root || !document.body) return !!root;
+    opts = o || {};
+    phase = 'menu';
+    root = document.createElement('div');
+    root.className = 'gs';
+    root.id = 'game-start';
+    root.setAttribute('role', 'dialog');
+    root.setAttribute('aria-modal', 'true');
+    root.setAttribute('aria-labelledby', 'gs-title');
+    root.innerHTML = screenHtml(opts);
+    root.addEventListener('click', onClick);
+    document.addEventListener('keydown', onKey, true);
+    document.body.appendChild(root);
+    document.documentElement.classList.add('gs-open');
+    var first = root.querySelector('.gs__item');
+    if (first && first.focus) first.focus();
+    return true;
+  }
+
   try {
     var asked = new URLSearchParams(window.location.search || '').get('game');
     if (asked === 'on' || asked === 'off') write('localStorage', KEY, asked);
   } catch (_) { /* old engine: the stored value stands */ }
   stamp();
-  window.OTBShellGame = { on: on, set: set, hint: hint };
+
+  // ---------- the options menu (task 1005144, BONGOS-V3 R04, ADR 0401) ----------
+  // Every setting lives in ONE menu, the Settings page (options-menu.js). A screen
+  // that used to have its own page (My agents, Project settings, Modules, …) now
+  // opens INSIDE that menu, in a frame, with `?embed=1`. Such a page is EMBEDDED:
+  // html[data-embed="on"], no sidebar, top bar, foot or page head (style.css), no
+  // full-screen switch, a link to another page opens in the whole window, and an
+  // Escape nobody used goes to the menu. Only inside a frame: the same URL opened
+  // on its own is the page with its chrome (the server sends a plain visit of the
+  // old address to the menu, serve-internal.js).
+  var embedded = false;
+  try {
+    embedded = new URLSearchParams(window.location.search || '').get('embed') === '1'
+      && !!window.parent && window.parent !== window;
+  } catch (_) { embedded = false; }
+  if (embedded) {
+    document.documentElement.dataset.embed = 'on';
+    // The shell reads this before it draws the switch, so no button, no Escape-to-leave.
+    if (document.body && document.body.setAttribute) document.body.setAttribute('data-fullscreen-switch', 'off');
+  }
+  // The hall's address for the menu: '/settings' on the builders host, '/builders/settings' on the apex.
+  function menuPath() {
+    var p = String((window.location && window.location.pathname) || '');
+    return (p.indexOf('/builders/') === 0 || p === '/builders' ? '/builders' : '') + '/settings';
+  }
+  function inField(el) {
+    var tag = el && el.tagName ? String(el.tagName).toLowerCase() : '';
+    return tag === 'input' || tag === 'textarea' || tag === 'select' || !!(el && el.isContentEditable);
+  }
+  // ADR 0399 §2.4 row 6: in game mode, the last Escape — one no dialog, picker,
+  // palette, sheet or scene pop-up used — is the options menu's. It is judged after
+  // the dispatch (a page listener may sit later on the window), and it is marked
+  // used before the shell's own check runs, so the bars do not flash back first.
+  // On the menu itself it closes the menu; inside a frame it is the menu's too.
+  function onEscape(e) {
+    if (!e || e.key !== 'Escape' || e.defaultPrevented || inField(e.target)) return;
+    if (!embedded && !on()) return;
+    window.setTimeout(function () {
+      if (e.defaultPrevented) return;
+      try { e.preventDefault(); } catch (_) { /* already finished */ }
+      var host = embedded ? window.parent : window;
+      if (host && host.OTBOptions && typeof host.OTBOptions.escape === 'function') { host.OTBOptions.escape(); return; }
+      if (embedded) return;
+      var here = String(window.location.pathname || '') + String(window.location.search || '') + String(window.location.hash || '');
+      window.location.assign(menuPath() + '?from=' + encodeURIComponent(here));
+    }, 0);
+  }
+  if (window.addEventListener) window.addEventListener('keydown', onEscape);
+  // Inside the menu, a link to ANOTHER page leaves the menu for it; a link within the page stays.
+  if (embedded && document.addEventListener) {
+    document.addEventListener('click', function (e) {
+      var a = e.target && e.target.closest ? e.target.closest('a[href]') : null;
+      if (!a || a.getAttribute('target')) return;
+      try {
+        var to = new URL(a.getAttribute('href'), window.location.href);
+        if (to.origin !== window.location.origin || to.pathname !== window.location.pathname) a.setAttribute('target', '_top');
+      } catch (_) { /* a href the browser cannot read: leave it alone */ }
+    }, true);
+  }
+  window.OTBShellGame = { on: on, set: set, hint: hint, start: start, tipAt: tipAt, historySteps: historySteps, whenLabel: whenLabel, MENU: MENU, TIPS: TIPS,
+    embedded: function () { return embedded; }, menuPath: menuPath };
 })();

package/modules/hall-ui/public/shell.js

@@ -110,8 +110,6 @@
     // You
     accomplishments: '<path d="M6 2.5l1.6 4.2M12 2.5l-1.6 4.2"/><circle cx="9" cy="10.8" r="4.2"/><circle cx="9" cy="10.8" r="1.8"/>',
     profile: '<rect x="2.5" y="4" width="13" height="10" rx="1.5"/><circle cx="6.3" cy="8" r="1.6"/><path d="M4.1 12c.3-1.1 1.1-1.7 2.2-1.7s1.9.6 2.2 1.7"/><path d="M10.4 7.5h3M10.4 10.3h3"/>',
-    // task 1004685 (prototype): My agents — a helper's head on an antenna, not a person.
-    agents: '<rect x="4" y="6" width="10" height="8.5" rx="2.5"/><path d="M9 6V3.6"/><circle cx="9" cy="2.7" r="0.9"/><path d="M7 10.2v0.6M11 10.2v0.6"/><path d="M1.8 9v3M16.2 9v3"/>',
     // Community
     collab: '<path d="M2.5 4a1 1 0 0 1 1-1h7a1 1 0 0 1 1 1v4.5a1 1 0 0 1-1 1H6.5L4 11.5v-2h-.5a1 1 0 0 1-1-1V4Z"/><path d="M11.5 6.5h3a1 1 0 0 1 1 1V12a1 1 0 0 1-1 1H14v2l-2.5-2H8.5a1 1 0 0 1-1-1V9.5"/>',
     roster: '<circle cx="6.5" cy="6.3" r="2.3"/><path d="M2.5 15c.4-2.3 1.9-3.7 4-3.7s3.6 1.4 4 3.7"/><circle cx="12.5" cy="5.8" r="2"/><path d="M11.4 10.5c.4-.1.7-.2 1.1-.2 1.9 0 3.3 1.3 3.7 3.5"/>',
@@ -119,16 +117,13 @@
     primer: '<path d="M9 5C7.5 3.9 5.5 3.5 2.5 3.5v10c3 0 5 .4 6.5 1.5 1.5-1.1 3.5-1.5 6.5-1.5v-10c-3 0-5 .4-6.5 1.5Z"/><path d="M9 5v10"/>',
     commands: '<rect x="2.5" y="3.5" width="13" height="11" rx="1.5"/><path d="M5.5 7.3 7.7 9l-2.2 1.7M9.5 11.2h3"/>',
     atlas: '<circle cx="9" cy="9" r="6.5"/><path d="M2.5 9h13M9 2.5c1.7 1.8 2.6 4 2.6 6.5s-.9 4.7-2.6 6.5c-1.7-1.8-2.6-4-2.6-6.5S7.3 4.3 9 2.5Z"/>',
-    modules: '<rect x="2.5" y="2.5" width="5.5" height="5.5" rx="1"/><rect x="10" y="2.5" width="5.5" height="5.5" rx="1"/><rect x="2.5" y="10" width="5.5" height="5.5" rx="1"/><path d="M12.75 10.5v4.5M10.5 12.75h4.5"/>',
     apidocs: '<path d="M6.5 3C5 3 4.5 3.7 4.5 5v2c0 1-.6 2-1.5 2 .9 0 1.5 1 1.5 2v2c0 1.3.5 2 2 2M11.5 3c1.5 0 2 .7 2 2v2c0 1 .6 2 1.5 2-.9 0-1.5 1-1.5 2v2c0 1.3-.5 2-2 2"/>',
     // Government
     watch: '<path d="M1.8 9S4.5 4 9 4s7.2 5 7.2 5-2.7 5-7.2 5S1.8 9 1.8 9Z"/><circle cx="9" cy="9" r="2.2"/>',
     gate: '<path d="M9 2.5 15 5v4c0 3.5-2.4 6-6 7-3.6-1-6-3.5-6-7V5l6-2.5Z"/><path d="M6.5 9l1.8 1.8 3.4-3.6"/>',
     sessions: '<path d="M7 5h8M7 9h8M7 13h8"/><circle cx="3.8" cy="5" r=".7" fill="currentColor"/><circle cx="3.8" cy="9" r=".7" fill="currentColor"/><circle cx="3.8" cy="13" r=".7" fill="currentColor"/>',
-    settings: '<circle cx="9" cy="9" r="2.5"/><path d="M9 2.5v2m0 9v2M2.5 9h2m9 0h2M4.4 4.4l1.4 1.4m6.4 6.4 1.4 1.4m0-9.2-1.4 1.4M5.8 12.2l-1.4 1.4"/>',
     deploy: '<path d="M9 12V3M5.5 6.5 9 3l3.5 3.5M3 12.5v2a1 1 0 0 0 1 1h10a1 1 0 0 0 1-1v-2"/>',
     money: '<path d="M4 2.5h10v13l-1.7-1-1.6 1-1.7-1-1.7 1-1.6-1-1.7 1v-13Z"/><path d="M6.5 6h5M6.5 9h5M6.5 12h3"/>',
-    permissions: '<circle cx="6" cy="12" r="3.5"/><path d="M8.5 9.5 15 3M12.5 5.5l2 2M10.5 7.5l1.5 1.5"/>',
     // The governor city: a pediment over columns, the Governing mode's own glyph.
     city: '<path d="M2.5 7 9 3l6.5 4M4 7.5v6.5M7 7.5v6.5M11 7.5v6.5M14 7.5v6.5M2.5 15.5h13"/>',
     // the foot
@@ -302,9 +297,9 @@
       // /profile?id=N from the leaderboard); 'signed' just means "show this 'my
       // profile' shortcut once you're signed in".
       { id: 'profile', label: 'Profile', icon: 'profile', href: '/profile', gate: 'signed' },
-      // task 1004685 (prototype, board 6): MY AGENTS — how your own Claude works for you
-      // and which settings the project's laws lock. 'signed' is its page's real floor.
-      { id: 'my-agents', label: 'My agents', icon: 'agents', href: '/my-agents', gate: 'signed' },
+      // task 1005144 (ADR 0401): My agents, Project settings, Permissions and Modules
+      // left the sidebar — they are entries in the ONE options menu (the profile chip),
+      // and their old URLs open it (serve-internal.js RETIRED_TO_OPTIONS).
     ] },
     // task 1005071: the board's own rooms get a head of their own. Gated on the SAME
     // atom as both items (perm:, which floors below any rank), so the head can never
@@ -360,9 +355,6 @@
       // surface, so this group's gate and audience are unchanged.
       { id: 'watch', label: 'Watch', icon: 'watch', href: '/watch', gate: 'government', position: true },
       // task 1005049: Sessions and Autobongos (/gate) are tabs on Watch; both URLs redirect there.
-      // The project's own fundamentals (task 1003280, goal 1000072). Mirrors the
-      // server's requireGovernmentPage floor; cosmetic only, as every item here is.
-      { id: 'project-settings', label: 'Project settings', icon: 'settings', href: '/project-settings', gate: 'government', position: true },
       // task 1005047 (owner decision 2026-11-03, idea 1001312): the owner's one money page —
       // spend and payouts (once on Project settings), the treasury (once the Economy page)
       // and the hosting bills (once 'Fleet costs', /fleet, which now redirects to its
@@ -379,17 +371,7 @@
       // is the platform hall's page alone, and every other hall takes its update from
       // Settings → Software update, whose Update button carries the hub hand-off.
       { id: 'deploy', label: 'Deploy', icon: 'deploy', href: '/deploy', gate: 'archon', module: 'provisioning render-deploy', position: true },
-      // task 1005045: the owner's Market Watch settings (task 1004938) are an owner-only tab on
-      // /market-watch now, so the sidebar says "Market Watch" once (owner decision 2026-11-03).
-      // BV1.R113: the roles-and-permissions tab (ADR 0151). The one genuinely
-      // Archon-only item the 'government' gate comment anticipated — cosmetic
-      // only. The wall is the `government.manage` atom checked on each of the
-      // tab's nine data routes (route-rank-check.js); the page SHELL itself is
-      // metic+, because R16 made /government three rooms and only this one is
-      // the archon surface.
-      { id: 'government', label: 'Permissions', icon: 'permissions', href: '/government', gate: 'archon', position: true }  // NOT 'Ranks': the ladder is explained in the Primer, and a nav item
-      //   reading 'Ranks' beside it is the confusion this rename exists to remove. This tab
-      //   is where a rank's permissions are granted, so it says what it does.,
+      // Project settings and Permissions left this group in task 1005144: options menu entries.
     ] },
     // task 1005071: 'Docs' → 'Help', and every craft shows it (craft-mode.js ALWAYS_TABS).
     { group: 'Help', gate: 'signed', items: [
@@ -409,7 +391,6 @@
       // both reads behind it are sign-in gated, so 'signed' is the real floor here.
       { id: 'commands', label: 'Commands', icon: 'commands', href: '/commands', gate: 'signed' },
       { id: 'atlas', label: 'Repo Atlas', icon: 'atlas', href: '/atlas', gate: 'member' },
-      { id: 'modules', label: 'Modules', icon: 'modules', href: '/modules', gate: 'member' },
       // The rendered OpenAPI reference lives on the APEX (/docs), not this builders
       // subdomain — external so the rewrite shim doesn't turn it into /builders/docs.
       { id: 'apidocs', label: 'API docs', icon: 'apidocs', href: '/docs', gate: 'signed', external: true },
@@ -516,7 +497,7 @@
         // task 1831: the profile chip IS the Settings link — one spot, no separate
         // nav-item. It's an <a> so keyboard focus + Enter work for free; visibility
         // stays 'signed'-gated via applyAccess (shown only when authed + filled).
-        '<a class="shell-user" id="shell-user" href="/settings" title="Settings" aria-label="Settings" hidden>' +
+        '<a class="shell-user" id="shell-user" href="/settings" title="Options" aria-label="Options" hidden>' +
           '<span class="shell-user__avatar" id="shell-user-avatar" aria-hidden="true"></span>' +
           '<span class="shell-user__meta"><span class="shell-user__name" id="shell-user-name"></span>' +
           '<span class="shell-user__rank" id="shell-user-rank"></span></span>' +
@@ -1196,7 +1177,7 @@
     maybeRenderCoreUpdate();
     // task 1004492: a builder with no mode yet this session is asked once — unless Home's welcome (task 1004785, welcome-boot.js) greets the day's first visit instead; it marks the picker asked.
     // task 1005076: neither is drawn over the setup screen; setup comes first.
-    if (!holdForSetup(state && state.builder) && !(window.OTBWelcome && window.OTBWelcome.onAccess(access, state && state.builder)) && CRAFT) CRAFT.onAccess(access, state && state.builder);
+    if (!holdForSetup(state && state.builder) && !(CRAFT && CRAFT.characterGate && CRAFT.characterGate(access, state)) && !(window.OTBWelcome && window.OTBWelcome.onAccess(access, state && state.builder)) && CRAFT) CRAFT.onAccess(access, state && state.builder);
     var signin = document.getElementById('shell-signin');
     if (signin) signin.hidden = access.authed !== false;
     var user = document.getElementById('shell-user');
@@ -1443,7 +1424,7 @@
         positions: me.positions || null,
         // task 1005076: whether setup is complete; incomplete shows setup-gate.js.
         setup: (me.onboarding && me.onboarding.setup) || null,
-        builder: me.builder,
+        builder: me.builder, character: me.character, // task 1005147: the character held (null: pick one)
       });
     }).catch(function () { /* cosmetic only */ });
   }

package/modules/hall-ui/public/sky-interaction.js

@@ -147,4 +147,11 @@
   ].filter(([cls]) => cls !== 'unseen' || S.lenses.includes('all')).map(([cls, name, what]) => `<button type="button" class="obj" title="${esc(what)}"><span class="g"><span class="mk ${cls}"></span></span>${esc(name)}</button>`).join('');
 
   Object.assign(SKY, { card, menu, glyphHtml, ideaTitle, sizeWords, showCard, showMenu, hideMenu, pick, setLens, togglePill, updateStats, altText, TAU, hash });
+
+  // task 1005148: the sky as the visor's scene (ADR 0399 §2.2). The visor owns no camera:
+  // "Back to centre" is the camera's own fitAll, and the keys listed are the ones bound above.
+  window.__visorScene = { name: 'sky', place: '', // the sky's own heading names the place
+    actions: [{ label: 'Back to centre', key: '0', run: () => SKY.fitAll() }],
+    keys: [{ label: 'Look around', key: 'drag' }, { label: 'List view', key: 'L' }, { label: 'Search', key: '/' }, { label: 'Take the tour', key: '?' }] };
+  if (window.OTBVisor) window.OTBVisor.scene(window.__visorScene);
 })();