@staix/agent-hub 0.14.0 → 0.16.0

package/src/memory/recall.ts

@@ -1,11 +1,10 @@
-import { ADAPTERS, definitionOf } from "../adapters/registry.ts";
 import type { PeerId } from "../hub/envelope.ts";
 import type { MemoryClient } from "./client.ts";
 import type { View as MemoryView } from "@staix/agent-mem";
 
 
 const HEADER =
-  "Shared project memory (claude-mem): recent work by the agents in this project. Reference only, not a request. " +
+  "Shared project memory (amem): curated recent notes by the agents in this project. Reference only, not a request. " +
   "Fetch details by id with your memory tools if you need them.";
 
 /** Cut at a line boundary. */
@@ -17,29 +16,21 @@ export function trimToTokens(text: string, tokens: number): string {
   return `${cut >= 0 ? text.slice(0, cut) : ""}\n(trimmed)`;
 }
 
-/** The worker answers unknown projects and empty filters with a status page, not context. */
+/** The project client supplies a screened context block; unavailable/empty views have no preface. */
 const hasContext = (text: string | undefined): text is string => !!text && text.startsWith("# [");
 
-/** Observation lines only: every block repeats the same legend, which would eat the token budget. */
-const entries = (text: string) => text.slice(Math.max(text.indexOf("\n### "), 0)).trim();
+/** Drop only the redundant source heading. Keep coverage/truncation notices before section headings. */
+const entries = (text: string) => {
+  const start = text.indexOf("\n");
+  return start < 0 ? "" : text.slice(start + 1).trim();
+};
 
-export async function recallFor(peer: PeerId, client: MemoryClient, chain: string[], tokens: number): Promise<string | undefined> {
-  const hooks = definitionOf(peer)?.hooks;
-  const own = hooks?.recallInjected ? hooks.recallPlatform : undefined;
-  // Everyone else gets all platforms in one call; claude and codex get the other platforms only.
-  const blocks = own
-    ? await Promise.all(
-        [...ADAPTERS.flatMap(adapter => adapter.hooks?.recallSource ? [adapter.hooks.recallSource] : []), "agent-hub"].filter((p) => p !== own).map(async (p) => {
-          const text = await client.contextInject(chain, p);
-          return hasContext(text) ? `## from ${p} sessions\n${entries(text)}` : undefined;
-        }),
-      )
-    : [await client.contextInject(chain).then((text) => (hasContext(text) ? entries(text) : undefined))];
-  const found = blocks.filter((b): b is string => !!b);
-  if (!found.length) return undefined;
-  // The budget is split per block, or the first platform could crowd the others out of a cross-platform recall.
-  const share = Math.floor(tokens / found.length);
-  return `${HEADER}\n\n${found.map((b) => trimToTokens(b, share)).join("\n\n")}`;
+export async function recallFor(_peer: PeerId, client: MemoryClient, chain: string[], tokens: number): Promise<string | undefined> {
+  // Curated amem notes are one project source, regardless of which native peer originally authored them.
+  const text = await client.contextInject(chain);
+  if (!hasContext(text)) return undefined;
+  const body = entries(text);
+  return body ? `${HEADER}\n\n${trimToTokens(body, tokens)}` : undefined;
 }
 
 /**

package/src/ui/index.html

@@ -151,6 +151,13 @@ progress.critical::-moz-progress-bar{background:var(--red)}
 /* Memory */
 .memory-controls{display:flex;gap:var(--space-2);flex-wrap:wrap;padding:var(--space-3) var(--space-4);border-bottom:1px solid var(--line)}
 .memory-controls input,.memory-controls select{width:auto;flex:1 1 130px}
+.memory-code-toggle{display:flex;align-items:center;gap:var(--space-2);flex:1 1 210px;min-height:44px}
+.memory-controls .memory-code-toggle input{flex:0 0 auto;width:auto;accent-color:var(--accent)}
+#memory-code-help{flex:1 1 220px;align-self:center}
+.memory-row.code-neighbour-note .label{text-decoration:underline dotted;text-underline-offset:3px}
+.mnode.code-neighbour-note circle{stroke:var(--focus);stroke-width:3}
+.medge.derived{stroke:var(--ink);stroke-dasharray:6 4}
+.memory-code-coverage{margin:0;padding:var(--space-2) var(--space-4);overflow-wrap:anywhere}
 .memory-row{display:block;width:100%;text-align:left;border:0;border-bottom:1px solid var(--line);border-radius:0;padding:var(--space-3) var(--space-4);background:var(--panel)}
 .memory-row[aria-pressed="true"]{background:var(--accent-soft);box-shadow:inset 3px 0 0 var(--accent)}
 .memory-row:hover{background:var(--hover)}
@@ -201,6 +208,15 @@ details.settings-group{border-bottom:1px solid var(--line)}
 details.settings-group>summary{background:var(--panel-soft)}
 details.settings-group .row{border-bottom:1px dashed var(--line)}
 details.settings-group .row:last-child{border-bottom:0}
+/* Structure (#689): instances, lifecycle and the executable keys. Tier 3 is text only: no control, a command to run in the console. */
+.structure-group .row{padding:var(--space-3) var(--space-4)}
+.structure-instance,.structure-sdlc,.structure-add,.structure-backups{border-bottom:1px dashed var(--line)}
+.structure-tier3{background:var(--panel-soft);color:var(--ink);border:1px solid var(--line);border-radius:var(--radius-surface);padding:var(--space-3) var(--space-4);margin:var(--space-3) var(--space-4)}
+.structure-tier3 code{display:block;overflow-wrap:anywhere;color:var(--muted)}
+.structure-group button,.structure-group input,.structure-group select{min-height:44px}
+.structure-field{display:grid;grid-template-columns:minmax(0,12rem) minmax(0,1fr);gap:var(--space-2);align-items:center;margin:var(--space-2) 0}
+.structure-diff{white-space:pre-wrap;overflow-wrap:anywhere;background:var(--panel-soft);color:var(--ink);border:1px solid var(--line);border-radius:var(--radius-control);padding:var(--space-2) var(--space-3);margin:var(--space-2) 0}
+.structure-error{color:var(--red);background:var(--red-soft);border:1px solid var(--red);border-radius:var(--radius-control);padding:var(--space-2) var(--space-3);margin:var(--space-2) 0}
 /* Peer colours: the registry's hue, one variant per theme, generated by peer-palette.ts */
 /* PEER_PALETTE_CSS */
 
@@ -233,7 +249,7 @@ details.settings-group .row:last-child{border-bottom:0}
 .board-unknown{padding:var(--space-3) var(--space-4);color:var(--amber)}
 @media(max-width:1100px){.board-columns{grid-template-columns:repeat(2,minmax(0,1fr))}}
 @media(max-width:900px){.stack{gap:var(--space-4)}.stream{height:300px}footer{padding:var(--space-4)}}
-@media(max-width:600px){.split{grid-template-columns:minmax(0,1fr)}.board-columns{grid-template-columns:1fr;padding:var(--space-3)}.board-toolbar{align-items:stretch}.board-toolbar select{max-width:none;width:100%}.board-toolbar label{width:100%}}
+@media(max-width:600px){.structure-field{grid-template-columns:minmax(0,1fr)}.structure-tier3{margin:var(--space-3)}.split{grid-template-columns:minmax(0,1fr)}.board-columns{grid-template-columns:1fr;padding:var(--space-3)}.board-toolbar{align-items:stretch}.board-toolbar select{max-width:none;width:100%}.board-toolbar label{width:100%}}
 /* Reduced motion (#469 R6): one rule for the whole page. Every transition and animation is off, whatever rule declares it. */
 @media(prefers-reduced-motion:reduce){*,*::before,*::after{transition:none!important;animation:none!important;scroll-behavior:auto!important}}
 
@@ -431,7 +447,7 @@ main[data-stale]>:not(#notice):not(#disconnected){opacity:.6;transition:opacity
 <section id="office-section" aria-labelledby="office-title" data-view="office" hidden><div class="section-head"><h2 id="office-title">Office</h2><div class="filters"><label for="office-view">Office mode</label><select id="office-view"><option value="off">Off</option><option value="flat">Flat</option><option value="isometric">Isometric</option></select></div></div><div id="office" class="content"></div></section>
 <section aria-labelledby="stream-title" data-view="stream" hidden><div class="section-head"><h2 id="stream-title">Live stream</h2><div class="filters"><div id="stream-filters" class="chips" role="group" aria-label="Filter events by kind"></div><label><input id="follow" type="checkbox" checked> Follow latest</label></div></div><div id="stream" class="stream" tabindex="0" aria-label="Recent hub events"><p class="empty">Waiting for hub activity...</p></div><p id="stream-empty" class="empty" hidden>No events match this filter.</p></section>
 
-<section aria-labelledby="memory-title" data-view="memory" hidden><div class="section-head"><h2 id="memory-title">Memory</h2><div class="filters"><div id="memory-tiers" class="chips" role="group" aria-label="Memory tier"></div><span id="memory-count" class="meta"></span></div></div><div class="memory-controls"><input id="memory-q" type="search" maxlength="200" placeholder="Search memory" aria-label="Search memory"><select id="memory-kind" aria-label="Filter memory by kind"><option value="">All kinds</option><option value="decision">Decisions</option><option value="contract">Contracts</option><option value="fail">Fails</option><option value="finding">Findings</option></select><select id="memory-peer" aria-label="Filter memory by peer"><option value="">All peers</option></select><select id="memory-machine" aria-label="Filter memory by machine"><option value="">All machines</option></select><select id="memory-since" aria-label="Filter memory by time"><option value="">Any time</option><option value="1">Last day</option><option value="7">Last week</option><option value="30">Last 30 days</option></select><select id="memory-hops" aria-label="Graph neighbourhood depth"><option value="1">1 hop</option><option value="2">2 hops</option></select></div><div id="memory-list" class="task-list" aria-label="Memory entries"></div><div id="memory-graph" class="memory-graph"></div><div id="memory-detail"></div></section>
+<section aria-labelledby="memory-title" data-view="memory" hidden><div class="section-head"><h2 id="memory-title">Memory</h2><div class="filters"><div id="memory-tiers" class="chips" role="group" aria-label="Memory tier"></div><span id="memory-count" class="meta"></span></div></div><div class="memory-controls"><input id="memory-q" type="search" maxlength="200" placeholder="Search memory" aria-label="Search memory"><select id="memory-kind" aria-label="Filter memory by kind"><option value="">All kinds</option><option value="decision">Decisions</option><option value="contract">Contracts</option><option value="fail">Fails</option><option value="finding">Findings</option></select><select id="memory-peer" aria-label="Filter memory by peer"><option value="">All peers</option></select><select id="memory-machine" aria-label="Filter memory by machine"><option value="">All machines</option></select><select id="memory-since" aria-label="Filter memory by time"><option value="">Any time</option><option value="1">Last day</option><option value="7">Last week</option><option value="30">Last 30 days</option></select><select id="memory-hops" aria-label="Graph neighbourhood depth"><option value="1">1 hop</option><option value="2">2 hops</option></select><label class="memory-code-toggle"><input id="memory-code-neighbours" type="checkbox" aria-describedby="memory-code-help" disabled>Code neighbours (1 hop)</label><span id="memory-code-help" class="meta">Select a symbol to inspect derived code neighbours.</span></div><div id="memory-list" class="task-list" aria-label="Memory entries"></div><div id="memory-graph" class="memory-graph"></div><div id="memory-detail"></div></section>
 <section aria-labelledby="compose-title" data-view="message" hidden><div class="section-head"><h2 id="compose-title">Console message</h2></div><form id="send" class="content"><div class="field"><label for="recipient">Recipient</label><select id="recipient" name="recipient"><option value="">All peers</option></select></div><div class="field"><label for="message">Message</label><textarea id="message" name="body" required maxlength="8000" placeholder="Send an instruction to the team..."></textarea></div><button class="primary" data-mutation="project" type="submit">Send message</button></form></section>
 <section aria-labelledby="settings-title" data-view="settings" hidden><div class="section-head"><h2 id="settings-title">Settings</h2><span id="settings-session" class="meta" role="status"></span></div><div id="settings"><p class="empty">Waiting for the hub...</p></div></section>
 </div>
@@ -825,7 +841,7 @@ function settingRow(row, raise) {
     const input=el('input');input.type='number';input.id=id;input.step=row.type === 'number' ? 'any' : '1';input.min=String(row.min ?? 0);input.max=String(row.max ?? Number.MAX_SAFE_INTEGER);const current=fileValue;input.value=current===null ? '' : String(current);input.placeholder='Empty inherits';
     read=()=>input.value==='' ? null : Number(input.value);actions.append(input);
   } else if (row.type === 'peers') {
-    const input = el('input'); input.type = 'text'; input.id = id; input.value = Array.isArray(fileValue) ? fileValue.join(', ') : ''; input.placeholder = 'peer ids, comma-separated; empty inherits'; input.autocomplete = 'off'; input.spellcheck = false;
+    const input = el('input'); input.type = 'text'; input.id = id; input.value = Array.isArray(fileValue) ? fileValue.join(', ') : typeof fileValue === 'string' ? fileValue : ''; input.placeholder = 'peer ids, comma-separated; empty inherits'; input.autocomplete = 'off'; input.spellcheck = false;
     read = () => { const list = input.value.split(',').map((value) => value.trim()).filter(Boolean); return list.length ? list : null; };
     actions.append(input);
   } else {
@@ -863,6 +879,105 @@ function settingRow(row, raise) {
   actions.append(save); if (row.type === 'roles') { const inherit = el('button', 'Use profile/shared roles'); inherit.type = 'button'; inherit.dataset.mutation = 'project'; inherit.disabled = managerMode && !snapshotValid; inherit.setAttribute('aria-label', 'Inherit ' + row.label); inherit.addEventListener('click', async () => { out.textContent = 'Restoring inherited role guidance...'; const accepted = await action({action:'setting',key:row.key,value:null}, inherit); out.textContent = accepted ? 'Inherited selection saved. Applies at the next peer start.' : $('notice').textContent; }); actions.append(inherit); } node.append(actions, out);
   return node;
 }
+/* Structure (#689): tier 2 edits inside a settings session; tier 3 keys are text only, with the console command that changes them. */
+const STRUCTURE_FIELDS = [['kind', 'text'], ['roles', 'text'], ['start_mode', 'text'], ['review_mode', 'text'], ['worktree', 'text'], ['permission_mode', 'text'], ['readOnly', 'text']];
+const structureState = {revision: {}, lines: [], error: '', field: '', tier: 0, preview: null};
+const structureList = (text) => String(text).split(',').map((item) => item.trim()).filter(Boolean);
+function structureField(form, name, label, placeholder) {
+  const row = el('div', undefined, 'structure-field'), input = el('input'), id = 'structure-' + name;
+  const title = el('label', label, 'meta'); title.htmlFor = id; input.id = id; input.type = 'text'; input.placeholder = placeholder || ''; input.setAttribute('aria-label', label);
+  row.append(title, input); form.append(row); return input;
+}
+function structureResult(box, out) {
+  box.replaceChildren();
+  if (structureState.error) box.append(el('p', structureState.error + (structureState.field ? ' (' + structureState.field + ')' : ''), 'structure-error'));
+  if (structureState.lines.length) box.append(el('pre', structureState.lines.join('\n'), 'structure-diff'));
+  if (out) out(box);
+}
+function structureForm(cls, title, build, file, edit, raise) {
+  const form = el('div', undefined, cls), head = el('p', title, 'label'), fields = {}, result = el('div');
+  form.append(head);
+  build(form, fields);
+  const preview = el('button', 'Preview change', 'primary'); preview.type = 'button'; preview.dataset.mutation = 'project';
+  const reason = structureField(form, 'reason', 'Reason (recorded with the change)', 'why this change');
+  const actions = el('div', undefined, 'actions'); actions.append(preview);
+  form.append(actions, result);
+  const body = () => { const set = fields.set(); return set ? {file, revision: edit.revisions[file], set} : null; };
+  preview.addEventListener('click', async () => {
+    structureState.error = ''; structureState.field = ''; structureState.lines = [];
+    const request = body();
+    if (!request) { if (!structureState.error) structureState.error = 'Give a mode or the required checks.'; structureResult(result); return; }
+    try {
+      const reply = await post('/action', {action:'config_edit_preview', edit: request});
+      if (reply.ok === false) { structureState.error = reply.error || 'The hub refused this change.'; structureState.field = reply.field || ''; }
+      else { structureState.lines = (reply.lines || []).map(String); structureState.tier = reply.tier || 2; }
+    } catch (error) { structureState.error = error.message; }
+    structureResult(result, (box) => {
+      if (structureState.error || structureState.tier === 3) { if (!structureState.error) box.append(el('p', 'This key runs code or locates secrets: change it in the console, never here.', 'structure-error')); return; }
+      const write = el('button', 'Write change', 'primary'); write.type = 'button'; write.dataset.mutation = 'project';
+      write.addEventListener('click', async () => {
+        if (!reason.value.trim()) { notice('Give a reason before writing.', true); return; }
+        const done = await action({action:'config_edit_apply', edit: request, reason: reason.value.trim()}, write);
+        if (done) { structureState.lines = []; structureResult(result); }
+      });
+      box.append(write);
+    });
+  });
+  return form;
+}
+function renderStructure(target, edit, raise) {
+  const group = el('div', undefined, 'structure-group'), head = el('div', undefined, 'row-head');
+  head.append(el('span', 'Structure', 'label'));
+  if (edit.sdlc && edit.sdlc.pending) head.append(badge('restart pending', 'warn'));
+  group.append(head);
+  if (!raise) group.append(el('p', 'Read only here. Open a settings session with ahub ui --settings to change instances, review, snapshots, approvals and the lifecycle.', 'meta'));
+  for (const instance of edit.instances || []) {
+    const row = el('div', undefined, 'structure-instance'), line = Object.entries(instance.fields).map(([key, value]) => key + ': ' + (Array.isArray(value) ? value.join(', ') : String(value))).join(' / ');
+    row.append(el('p', instance.id, 'label'), el('p', line || 'no tier 2 fields set', 'meta'));
+    if (instance.tier3.length) row.append(el('p', instance.tier3.join(', ') + ': set in the console', 'meta'));
+    group.append(row);
+  }
+  for (const block of edit.blocks || []) group.append(el('p', block.path + ': ' + settingText(block.value), 'meta'));
+  const lifecycle = el('div', undefined, 'structure-sdlc');
+  lifecycle.append(el('p', 'Lifecycle (sdlc.toml): ' + edit.sdlc.mode + '; required checks: ' + (edit.sdlc.requiredChecks.length ? edit.sdlc.requiredChecks.join(', ') : 'none'), 'meta'));
+  group.append(lifecycle);
+  if (raise) {
+    lifecycle.append(structureForm('structure-sdlc-form', 'Change the lifecycle', (form, fields) => {
+      const mode = structureField(form, 'sdlc-mode', 'sdlc mode (off, advise, enforce)', edit.sdlc.mode), checks = structureField(form, 'sdlc-checks', 'required checks, comma list', edit.sdlc.requiredChecks.join(', '));
+      fields.set = () => { const set = []; if (mode.value.trim()) set.push({path:['mode'], value: mode.value.trim()}); if (checks.value.trim()) set.push({path:['required_checks'], value: structureList(checks.value)}); return set.length ? set : null; };
+    }, 'sdlc.toml', edit, raise));
+    const add = structureForm('structure-add', 'Add an instance, or change one field of an existing one (type clear to remove a field)', (form, fields) => {
+      const id = structureField(form, 'id', 'instance id, <kind>-<name>', 'codex-review');
+      const inputs = {}; for (const [name] of STRUCTURE_FIELDS) inputs[name] = structureField(form, name, name + (name === 'roles' ? ' (comma list)' : name === 'readOnly' ? ' (true or false)' : ''), '');
+      const convert = (name, text) => name === 'roles' ? structureList(text) : name === 'readOnly' ? text === 'true' : text;
+      fields.set = () => {
+        const name = id.value.trim(), known = (edit.known || []).includes(name), typed = [];
+        for (const [field] of STRUCTURE_FIELDS) { const text = inputs[field].value.trim(); if (text) typed.push([field, text]); }
+        if (!name) { structureState.error = 'An instance needs an id and a kind.'; return null; }
+        // readOnly is exactly true or false: anything else is the person's typo, never a silent false.
+        if (typed.some(([field, text]) => field === 'readOnly' && text !== 'true' && text !== 'false' && text !== 'clear')) { structureState.error = 'readOnly is true or false.'; return null; }
+        if (known) {
+          // An existing instance changes leaf by leaf: a field left blank keeps its value, and a tier 3 field it holds is never part of the request.
+          if (!typed.length) { structureState.error = 'Type the field to change, or clear to remove it.'; return null; }
+          return typed.map(([field, text]) => ({path:['instances', name, field], value: text === 'clear' ? null : convert(field, text)}));
+        }
+        const value = {}; for (const [field, text] of typed) { if (text !== 'clear') value[field] = convert(field, text); }
+        if (!value.kind) { structureState.error = 'An instance needs an id and a kind.'; return null; }
+        return [{path:['instances', name], value}];
+      };
+    }, 'config.local.json', edit, raise);
+    group.append(add);
+  }
+  const tier3 = el('div', undefined, 'structure-tier3');
+  tier3.append(el('p', 'Executable and secret-locating keys', 'label'), el('p', "Changing one runs code with the daemon's rights or chooses where secrets are read from. It is never done from a browser: use the console command.", 'meta'));
+  for (const item of edit.tier3 || []) { tier3.append(el('p', item.key + (item.set ? ' (set)' : ' (not set)'), 'meta'), el('code', item.command)); }
+  group.append(tier3);
+  const backups = el('div', undefined, 'structure-backups');
+  backups.append(el('p', 'Backups (the last ' + (edit.backups || []).length + ')', 'label'));
+  for (const item of edit.backups || []) backups.append(el('p', new Date(item.at).toISOString() + ' ' + item.file + ' ' + item.bytes + ' bytes', 'meta'));
+  group.append(backups);
+  target.append(group);
+}
 const settingSlots = new Map();
 function setText(node, text) { if (node.textContent !== text) node.textContent = text; }
 function renderSettings(settings, roster = []) {
@@ -876,6 +991,7 @@ function renderSettings(settings, roster = []) {
     settingSlots.clear();
     const reload = el('div', undefined, 'settings-reload'); settingSlots.set('$reload', { node: reload, signature: null }); target.append(reload);
     const undo = el('div'); settingSlots.set('', { node: undo, signature: null }); target.append(undo);
+    const structure = el('div'); settingSlots.set('$structure', { node: structure, signature: null }); target.append(structure);
     for (const group of SETTING_GROUPS) {
       const rows = settings.rows.filter((row) => row.group === group);
       if (!rows.length) continue;
@@ -903,6 +1019,11 @@ function renderSettings(settings, roster = []) {
       }
     }
   }
+  const structureSlot = settingSlots.get('$structure'), structureSignature = JSON.stringify([settings.configEdit, raise]);
+  if (structureSlot && structureSlot.signature !== structureSignature) {
+    structureSlot.signature = structureSignature; structureSlot.node.replaceChildren();
+    if (settings.configEdit && Array.isArray(settings.configEdit.instances)) renderStructure(structureSlot.node, settings.configEdit, raise);
+  }
   const undoSlot = settingSlots.get(''), undoKey = settings.undo || '';
   if (undoSlot && undoSlot.signature !== undoKey) {
     undoSlot.signature = undoKey; undoSlot.node.replaceChildren();
@@ -1132,6 +1253,24 @@ function openMemoryAt(node) {
   memoryQuery.node = node; memoryQuery.q = ''; $('memory-q').value = '';
   closeTaskDetail(); switchView('memory'); rerenderMemory();
 }
+// #317: the task's deliverables as the board holds them (ids, hashes, sizes; a path only where the hub's PII screen allowed it). "changed since review" is shown only when the hub measured
+// exactly these records; the snapshot never hashes a file, so without a measurement the page says nothing about change.
+function deliverableLabel(d) {
+  if (!d) return '';
+  const n = d.files.length, base = n + (n === 1 ? ' file ' : ' files ') + d.state;
+  if (!d.checked) return base;
+  // Only a measurement in which every file was unchanged says so: a missing or unreadable file is shown as such, never as unchanged.
+  const says = { changed: ', changed since review', missing: ', a file is missing', unknown: ', could not be measured', unchanged: ', unchanged when last checked' };
+  return base + (says[d.checked.result] ?? says.unknown);
+}
+function deliverablesSection(task) {
+  const d = task.deliverables; if (!d?.files?.length) return null;
+  const section = el('section', undefined, 'detail-group'); section.append(el('h4', 'Deliverables', 'detail-heading'));
+  section.append(el('p', deliverableLabel(d) + (d.checked ? '' : ' (not measured now: run ahub deliverables --check)'), d.checked && d.checked.result !== 'unchanged' ? 'meta warn' : 'meta'));
+  const list = el('ul', undefined, 'deliverable-list');
+  for (const file of d.files) list.append(el('li', (file.path || 'private file') + ' [' + file.format + (file.version ? ' ' + file.version : '') + '] ' + file.bytes + ' B, sha256 ' + file.sha256.slice(0, 12), 'meta'));
+  section.append(list); return section;
+}
 function taskDetail(task, card, stage, ids, overdue) {
   const row = el('article', undefined, 'task-detail'), head = el('div', undefined, 'row-head');
   row.setAttribute('aria-label', '#' + task.id + ' ' + task.title + ', ' + task.state.replaceAll('_', ' ') + ', owner ' + (task.owner || 'unassigned') + ', priority P' + card.priority);
@@ -1163,6 +1302,7 @@ function taskDetail(task, card, stage, ids, overdue) {
   if(task.pinned)links.append(el('p','Pinned','meta'));
   if (links.children.length > 1) row.append(links);
   const code = codeGroupSection(task); if (code) row.append(code);
+  const delivered = deliverablesSection(task); if (delivered) row.append(delivered);
   const controls = el('div', undefined, 'actions');
   if (card.pull && boardViewState?.snapshot.boardCapabilities?.backlog===true) controls.append(boardButton('Pull into To Do', {action:'backlog_pull',id:task.id}));
   if (card.pull && boardViewState?.snapshot.planningCapabilities?.wipPull===true) controls.append(boardButton('Pull within WIP', {action:'planner_pull',id:task.id,revision:task.planningRevision ?? 0,reason:'person requested a WIP-constrained pull'}));
@@ -1194,6 +1334,7 @@ function taskCard(task, card, stage, ids, overdue, compact = true) {
     if (card.starred) { const star = el('span', undefined, 'star'); star.title = 'starred'; star.append(icon('i-star', 'starred')); head.append(star); }
     const meta = el('div', undefined, 'card-meta'); meta.append(cardBadge(task, card, overdue));
     if (task.release != null) { const release=boardViewState?.snapshot.releases?.find(release=>release.id===task.release); meta.append(el('span', 'Release #' + task.release + (release?.name ? ' ' + release.name : ''), 'release-chip')); }
+    if (task.deliverables?.files?.length) { const chip = el('span', 'Deliverables ' + task.deliverables.files.length + (task.deliverables.state === 'approved' ? ' approved' : '') + (task.deliverables.checked?.result === 'changed' ? ', changed' : task.deliverables.checked && task.deliverables.checked.result !== 'unchanged' ? ', ' + task.deliverables.checked.result : ''), 'release-chip deliverable-chip'); chip.title = deliverableLabel(task.deliverables); meta.append(chip); row.setAttribute('aria-label', row.getAttribute('aria-label') + ', ' + deliverableLabel(task.deliverables)); }
     row.append(head, meta);
     row.addEventListener('click', () => openTaskDetail(task.id));
     row.addEventListener('keydown', event => { if (event.key === 'Enter' || event.key === ' ') { event.preventDefault(); openTaskDetail(task.id); } });
@@ -1498,6 +1639,8 @@ function renderUsage(usage, tasks, budget) {
   }
   $('usage-task-count').textContent = taskCount + ' tasks';
 }
+// Mirrors windowKind in src/hub/window-kind.ts (the page imports nothing): a window from an older hub has no kind. test/ui.test.ts keeps the two equal.
+function windowKindOf(w) { return w.kind || (w.id === 'tokens' ? 'count' : w.source === 'ahub budget set' ? 'manual' : 'native'); }
 function render(snapshot) {
   renderNeedsAttention(snapshot);
   const peers = Object.fromEntries(Object.entries(snapshot.status.peers || {}).map(([id, peer]) => [id, {...peer, ...(snapshot.status.roleInfo || {})[id]}])), ids = Object.keys(peers), starts = Array.isArray(snapshot.starts) ? snapshot.starts : [];
@@ -1563,13 +1706,14 @@ function render(snapshot) {
         if (pct !== null) { const bar = el('progress'); bar.max = 1; bar.value = context.used; bar.setAttribute('aria-label', peer + ' context usage'); row.append(bar); }
       }
       if (budget.paused) { const line = el('p', 'Paused: ' + budget.paused.reason + ' / resets ', 'meta'), stamp = el('span'); stamp.dataset.ts = budget.paused.resetsAt; stamp.title = time(budget.paused.resetsAt); stamp.textContent = rel(budget.paused.resetsAt); line.append(stamp); row.append(line); }
-      if (!budget.windows.length) row.append(el('p', 'No usage windows reported.', 'meta'));
+      if (!budget.windows.length) row.append(el('p', budget.note || 'No usage windows reported.', 'meta'));
+      else if (budget.note) row.append(el('p', budget.note, 'meta'));
       for (const window of budget.windows) {
         const item = el('div', undefined, 'budget-window'), percent = Math.round(window.used * 100);
-        item.append(el('p', window.id + ': ' + percent + '% used' + (window.stale ? ' (stale)' : ''), 'meta'));
+        item.append(el('p', window.id + ': ' + percent + '% used' + (window.stale ? ' (stale)' : window.superseded ? ' (information only)' : ''), 'meta'));
         const bar = el('progress'); bar.max = 1; bar.value = window.used; bar.className = percent >= 90 ? 'critical' : percent >= 70 ? 'warn' : '';
         bar.setAttribute('aria-label', peer + ' ' + window.id + ' usage'); item.append(bar);
-        const meta = el('p', window.source + (window.resetsAt ? ' / resets ' : ''), 'meta');
+        const meta = el('p', windowKindOf(window) + ' / ' + window.source + (window.resetsAt ? ' / resets ' : ''), 'meta');
         if (window.resetsAt) { const stamp = el('span'); stamp.dataset.ts = window.resetsAt; stamp.title = time(window.resetsAt); stamp.textContent = rel(window.resetsAt); meta.append(stamp); }
         item.append(meta); row.append(item);
       }
@@ -2105,21 +2249,22 @@ function renderBench(bench) {
 }
 // #258: the hub's memory, read-only. A tier at a time, filtered; selecting an entry or a node shows its neighbourhood
 // (inline SVG, a small force layout computed here) with the same edges as a list, and its detail.
-const memoryQuery = {tier:'long', q:'', kind:'', peer:'', machine:'', since:'', node:'', hops:1};
+const memoryQuery = {tier:'long', q:'', kind:'', peer:'', machine:'', since:'', node:'', hops:1, codeNeighbours:false};
 let memoryGeneration = -1;
 function memoryInput() {
   if (memoryGeneration !== viewGeneration) { // another project: its own nodes, peers and machines
-    memoryGeneration = viewGeneration; memoryQuery.node = ''; memoryQuery.peer = ''; memoryQuery.machine = '';
+    memoryGeneration = viewGeneration; memoryQuery.node = ''; memoryQuery.peer = ''; memoryQuery.machine = ''; memoryQuery.codeNeighbours = false;
     for (const id of ['memory-peer', 'memory-machine']) $(id).value = '';
   }
   const out = {tier:memoryQuery.tier, hops:memoryQuery.hops};
   for (const key of ['q', 'kind', 'peer', 'machine', 'node']) if (memoryQuery[key]) out[key] = memoryQuery[key];
+  if (memoryQuery.codeNeighbours === true && memoryQuery.node.startsWith('symbol:') && currentView === 'memory' && !document.hidden) out.codeNeighbours = true;
   // A whole timestamp, floored to the hour so the query stays the same between polls.
   if (memoryQuery.since) out.since = new Date(Math.floor((Date.now() - Number(memoryQuery.since) * 86400000) / 3600000) * 3600000).toISOString();
   return out;
 }
 // The next poll (at most a second away) carries the changed query; polling is never started twice.
-function rerenderMemory() { for (const chip of $('memory-tiers').children) chip.setAttribute('aria-pressed', String(chip.dataset.tier === memoryQuery.tier)); }
+function rerenderMemory() { memoryCodeToggle(); for (const chip of $('memory-tiers').children) chip.setAttribute('aria-pressed', String(chip.dataset.tier === memoryQuery.tier)); }
 function memoryOptions(id, values, all, key) {
   const select = $(id), keep = select.value;
   const want = [''].concat(values);
@@ -2128,6 +2273,51 @@ function memoryOptions(id, values, all, key) {
   select.value = want.includes(keep) ? keep : '';
   memoryQuery[key] = select.value; // a filter whose value is gone reads as none, on the page and in the next query
 }
+// Render-only union: stored edges remain stored; code facts are separately SHA-stamped and never persisted here.
+function memoryPresentation(memory) {
+  const stored = memory.graph || {nodes:[], edges:[]}, entries = memory.entries || [];
+  const enabled = memoryQuery.codeNeighbours === true && memoryQuery.node.startsWith('symbol:') && memory.node === memoryQuery.node;
+  if (!enabled) return {graph:stored, entries, noteIds:[], coverage:''};
+  const code = memory.code, head = code?.head;
+  if (!code || !/^[a-f0-9]{40}$/.test(head || '')) return {graph:stored, entries, noteIds:[], coverage:'Code neighbours: unknown (no current code facts).'};
+  let coverage = 'Code neighbours: ' + (code.state === 'known' ? 'known' : 'unknown') + (code.truncated ? '; truncated' : '')
+    + (code.countsFloor ? '; lower-bound counts' : '') + ' at ' + head + '; dashed edges are derived, never stored.';
+  const nodes = new Map(stored.nodes.map(node => [node.id, node]));
+  const candidateNodes = new Map((code.nodes || []).filter(node => node.derived === true && node.head === head && node.type === 'symbol' && typeof node.id === 'string' && node.id.startsWith('symbol:')).map(node => [node.id, node]));
+  const edges = new Map(stored.edges.map(edge => [JSON.stringify([edge.from, edge.to, edge.rel]), edge]));
+  const connected = new Set();
+  for (const edge of code.edges || []) {
+    if (edge.derived !== true || edge.head !== head || edge.rel !== 'calls' || !candidateNodes.has(edge.from) || !candidateNodes.has(edge.to)) continue;
+    const key = JSON.stringify([edge.from, edge.to, edge.rel]);
+    if (!edges.has(key)) edges.set(key, edge);
+    connected.add(edge.from); connected.add(edge.to);
+  }
+  for (const [id, node] of candidateNodes) if ((connected.has(id) || id === memory.node) && !nodes.has(id)) nodes.set(id, node);
+  const notes = (code.notes || []).filter(note => (!memoryQuery.kind || note.kind === memoryQuery.kind) && (!memoryQuery.tier || note.tier === memoryQuery.tier) && (!memoryQuery.peer || note.peer === memoryQuery.peer) && (!memoryQuery.machine || note.machine === memoryQuery.machine) && /^mem:[a-f0-9]{32}$/.test(note.id) && typeof note.line === 'string' && Array.isArray(note.about) && note.about.some(id => connected.has(id)));
+  const noteIds = [...new Set(notes.map(note => note.id))], highlightIds = new Set(noteIds), byId = new Map(entries.map(entry => [entry.id, entry]));
+  for (const note of notes) {
+    const id = note.id.slice(4), existing = byId.get(id);
+    byId.set(id, existing ? {...existing, codeNeighbour:true} : {id, title:null, text:note.line, kind:note.kind || 'finding', codeNeighbour:true, codeFallback:true, head});
+    if (!nodes.has(note.id)) nodes.set(note.id, {id:note.id, type:'memory', label:note.line, kind:note.kind});
+    for (const about of note.about) if (candidateNodes.has(about) && connected.has(about)) {
+      highlightIds.add(about);
+      const rel = note.kind === 'fail' ? 'rules_out' : 'about', key = JSON.stringify([note.id, about, rel]);
+      if (!edges.has(key)) edges.set(key, {from:note.id, to:about, rel});
+    }
+  }
+  const ordered = [...byId.values()].sort((a, b) => Number(b.kind === 'fail') - Number(a.kind === 'fail') || Number(b.codeNeighbour === true) - Number(a.codeNeighbour === true));
+  const rank = node => node.kind === 'fail' ? 0 : node.id === memory.node ? 1 : highlightIds.has(node.id) ? 2 : node.derived ? 3 : 4;
+  const orderedNodes = [...nodes.values()].sort((a, b) => rank(a) - rank(b)), keptNodes = orderedNodes.slice(0, 200), keptIds = new Set(keptNodes.map(node => node.id));
+  const nodeOmitted = orderedNodes.length - keptNodes.length, noteOmitted = ordered.length - Math.min(ordered.length, 50);
+  if (nodeOmitted || noteOmitted) coverage += '; display truncated: ' + nodeOmitted + ' nodes and ' + noteOmitted + ' entries omitted';
+  return {graph:{nodes:keptNodes, edges:[...edges.values()].filter(edge => keptIds.has(edge.from) && keptIds.has(edge.to))}, entries:ordered.slice(0, 50), noteIds:[...highlightIds], coverage};
+}
+function memoryCodeToggle() {
+  const toggle = $('memory-code-neighbours'), eligible = memoryQuery.node.startsWith('symbol:');
+  if (!eligible) memoryQuery.codeNeighbours = false;
+  toggle.disabled = !eligible; toggle.checked = memoryQuery.codeNeighbours === true;
+  $('memory-code-help').textContent = eligible ? 'Optional current-head caller/callee context; dashed edges are derived.' : 'Select a symbol to inspect derived code neighbours.';
+}
 function layout(graph) {
   // Deterministic: start on a circle in node order, then a fixed number of spring steps; no animation loop.
   const W = 640, H = 320, n = graph.nodes.length, pos = new Map();
@@ -2150,6 +2340,7 @@ function layout(graph) {
 }
 function selectMemoryNode(node) { memoryQuery.node = memoryQuery.node === node ? '' : node; rerenderMemory(); }
 function renderMemory(memory) {
+  memoryCodeToggle();
   const tiers = $('memory-tiers');
   if (!tiers.children.length) for (const [tier, label] of [['short', 'Short-term'], ['long', 'Long-term'], ['goals', 'Long-term tasks']]) {
     const chip = el('button', label, 'chip'); chip.type = 'button'; chip.dataset.tier = tier;
@@ -2158,6 +2349,7 @@ function renderMemory(memory) {
   }
   for (const chip of tiers.children) chip.setAttribute('aria-pressed', String(chip.dataset.tier === memoryQuery.tier));
   if (!memory) { $('memory-count').textContent = ''; update('memory-list', null, (target) => empty(target, 'Hub memory is off for this project, or nothing is stored yet. Save a note with ahub remember <text>.')); update('memory-graph', null, () => {}); update('memory-detail', null, () => {}); return; }
+  const presentation = memoryPresentation(memory);
   $('memory-count').textContent = memory.counts.long + ' long-term / ' + memory.counts.short + ' short-term / ' + (memory.counts.goals || 0) + ' open tasks';
   if (memory.goals) {
     // Long-term tasks: state, who holds the lease and until when (a conflict when two machines claimed it), linked board tasks.
@@ -2183,15 +2375,16 @@ function renderMemory(memory) {
   }
   memoryOptions('memory-peer', memory.peers, 'All peers', 'peer');
   memoryOptions('memory-machine', memory.machines, 'All machines', 'machine');
-  if (!memory.goals) update('memory-list', {entries: memory.entries, node: memoryQuery.node}, (target) => {
-    if (!memory.entries.length) return empty(target, 'No ' + memory.tier + '-term entries match. Save one with ahub remember <text>.');
+  if (!memory.goals) update('memory-list', {entries: presentation.entries, node: memoryQuery.node}, (target) => {
+    if (!presentation.entries.length) return empty(target, 'No ' + memory.tier + '-term entries match. Save one with ahub remember <text>.');
     const keyed = keyedStart('memory');
-    for (const entry of memory.entries) {
+    for (const entry of presentation.entries) {
       const row = keyed('mem:' + entry.id, JSON.stringify([entry, memoryQuery.node === 'mem:' + entry.id]), () => {
-      const row = el('button', undefined, 'memory-row'); row.type = 'button'; row.setAttribute('aria-pressed', String(memoryQuery.node === 'mem:' + entry.id));
+      const row = el('button', undefined, 'memory-row' + (entry.codeNeighbour ? ' code-neighbour-note' : '')); row.type = 'button'; row.setAttribute('aria-pressed', String(memoryQuery.node === 'mem:' + entry.id));
       const head = el('div', undefined, 'row-head');
       head.append(el('span', (entry.title ? entry.title + ': ' : '') + entry.text.split('\n')[0].slice(0, 140), 'label'), badge(entry.kind, entry.kind === 'fail' ? 'err' : entry.kind === 'decision' ? 'ok' : entry.kind === 'contract' ? 'warn' : ''));
-      row.append(head, el('div', entry.id.slice(0, 8) + ' / ' + entry.peer + ' / ' + time(entry.at) + (entry.scope === 'shared' ? ' / shared' : '') + (entry.supersededBy ? ' / superseded' : '') + (entry.machine !== memory.machine ? ' / from machine ' + entry.machine.slice(0, 6) : ''), 'meta'));
+      if (entry.codeNeighbour) head.append(badge('Code neighbour', 'info'));
+      row.append(head, el('div', entry.codeFallback ? entry.id.slice(0, 8) + ' / via code neighbour at ' + entry.head : entry.id.slice(0, 8) + ' / ' + entry.peer + ' / ' + time(entry.at) + (entry.scope === 'shared' ? ' / shared' : '') + (entry.supersededBy ? ' / superseded' : '') + (entry.machine !== memory.machine ? ' / from machine ' + entry.machine.slice(0, 6) : ''), 'meta'));
       row.addEventListener('click', () => selectMemoryNode('mem:' + entry.id));
       return row;
       });
@@ -2199,19 +2392,21 @@ function renderMemory(memory) {
     }
     keyed.end();
   });
-  update('memory-graph', memory.graph || null, (target) => {
-    const graph = memory.graph;
+  update('memory-graph', {graph:presentation.graph, coverage:presentation.coverage, noteIds:presentation.noteIds}, (target) => {
+    const graph = presentation.graph;
+    if (presentation.coverage) target.append(el('p', presentation.coverage, 'memory-code-coverage meta'));
     if (!graph || !graph.nodes.length) return;
     const NS = 'http://www.w3.org/2000/svg', svg = document.createElementNS(NS, 'svg'), pos = layout(graph);
     svg.setAttribute('viewBox', '0 0 640 320'); svg.setAttribute('role', 'img'); svg.setAttribute('aria-label', 'Neighbourhood of ' + memory.node + ': ' + graph.nodes.length + ' nodes, ' + graph.edges.length + ' edges; the list below has the same edges');
     for (const e of graph.edges) {
       const p = pos.get(e.from), q = pos.get(e.to); if (!p || !q) continue;
-      const line = document.createElementNS(NS, 'line'); line.setAttribute('x1', p.x); line.setAttribute('y1', p.y); line.setAttribute('x2', q.x); line.setAttribute('y2', q.y); line.setAttribute('class', 'medge ' + e.rel);
+      const line = document.createElementNS(NS, 'line'); line.setAttribute('x1', p.x); line.setAttribute('y1', p.y); line.setAttribute('x2', q.x); line.setAttribute('y2', q.y); line.setAttribute('class', 'medge ' + e.rel + (e.derived ? ' derived' : ''));
+      if (e.derived) { const title = document.createElementNS(NS, 'title'); title.textContent = 'Derived ' + e.rel + ' at ' + e.head; line.append(title); }
       svg.append(line);
     }
     for (const node of graph.nodes) {
       const p = pos.get(node.id), g = document.createElementNS(NS, 'g'), c = document.createElementNS(NS, 'circle'), t = document.createElementNS(NS, 'text');
-      g.setAttribute('class', 'mnode ' + node.type + (node.kind ? ' ' + node.kind : '') + (node.id === memory.node ? ' selected' : '')); g.setAttribute('tabindex', '0'); g.setAttribute('role', 'button'); g.setAttribute('aria-label', node.type + ' ' + node.label);
+      g.setAttribute('class', 'mnode ' + node.type + (node.kind ? ' ' + node.kind : '') + (node.id === memory.node ? ' selected' : '') + (presentation.noteIds.includes(node.id) ? ' code-neighbour-note' : '')); g.setAttribute('tabindex', '0'); g.setAttribute('role', 'button'); g.setAttribute('aria-label', node.type + ' ' + node.label);
       c.setAttribute('cx', p.x); c.setAttribute('cy', p.y); c.setAttribute('r', node.type === 'memory' ? 9 : 6);
       t.setAttribute('x', p.x + 11); t.setAttribute('y', p.y + 4); t.textContent = node.label.slice(0, 28);
       g.append(c, t);
@@ -2220,7 +2415,7 @@ function renderMemory(memory) {
       svg.append(g);
     }
     const list = el('ul', undefined, 'memory-edges');
-    for (const e of graph.edges) list.append(el('li', e.from + ' ' + e.rel + ' ' + e.to));
+    for (const e of graph.edges) list.append(el('li', e.from + ' ' + e.rel + ' ' + e.to + (e.derived ? ' (derived at ' + e.head + ')' : '')));
     target.append(svg, list);
   });
   update('memory-detail', memory.detail || null, (target) => {
@@ -2236,6 +2431,7 @@ function renderMemory(memory) {
   });
 }
 for (const [id, key] of [['memory-kind', 'kind'], ['memory-peer', 'peer'], ['memory-machine', 'machine'], ['memory-since', 'since']]) $(id).addEventListener('change', () => { memoryQuery[key] = $(id).value; rerenderMemory(); });
+$('memory-code-neighbours').addEventListener('change', () => { memoryQuery.codeNeighbours = $('memory-code-neighbours').checked === true; rerenderMemory(); });
 $('memory-hops').addEventListener('change', () => { memoryQuery.hops = Number($('memory-hops').value); rerenderMemory(); });
 let memorySearch;
 $('memory-q').addEventListener('input', () => { clearTimeout(memorySearch); memorySearch = setTimeout(() => { memoryQuery.q = $('memory-q').value.trim(); rerenderMemory(); }, 300); });