@mrciphersmith/keryx 0.2.34 → 0.2.36

package/dist/cli.js

@@ -34772,9 +34772,10 @@ function traceRefFor(traceId) {
 }
 
 // src/sac/index.ts
-import { readFile as readFile62, realpath as realpath3 } from "fs/promises";
+import { access as access3, readFile as readFile62, realpath as realpath3 } from "fs/promises";
 import { createHash as createHash10 } from "crypto";
 import path115 from "path";
+import { fileURLToPath as fileURLToPath6 } from "url";
 var idPattern = /^[a-z][a-z0-9-]{2,63}$/;
 var subjectPattern = /^(?:user|team|service|agent):[a-z0-9][a-z0-9._-]{0,127}$/;
 var revisionPattern = /^[A-Za-z0-9][A-Za-z0-9._:-]{0,255}$/;
@@ -34791,6 +34792,28 @@ var normativeSchemaFiles = {
   "review-decision": "review-decision.schema.json"
 };
 var normativeSchemas = new Map;
+var NORMATIVE_SCHEMA_DIR = path115.join("docs", "requirements", "shared-agent-context", "schemas");
+async function resolveSacNormativeSchemaPath(fileName, searchFrom = [fileURLToPath6(new URL(".", import.meta.url)), process.cwd()]) {
+  const seen = new Set;
+  for (const start of searchFrom) {
+    let dir = path115.resolve(start);
+    for (let i = 0;i < 10; i++) {
+      if (seen.has(dir))
+        break;
+      seen.add(dir);
+      const candidate = path115.join(dir, NORMATIVE_SCHEMA_DIR, fileName);
+      try {
+        await access3(candidate);
+        return candidate;
+      } catch {}
+      const parent = path115.dirname(dir);
+      if (parent === dir)
+        break;
+      dir = parent;
+    }
+  }
+  throw new Error(`SAC normative schema not found: ${fileName}`);
+}
 function parseStrictRfc3339Utc(value) {
   if (typeof value !== "string")
     return;
@@ -34829,7 +34852,7 @@ function isRecord2(value) {
 async function loadNormativeSchema(schema) {
   let pending = normativeSchemas.get(schema);
   if (!pending) {
-    pending = readFile62(new URL(`../../docs/requirements/shared-agent-context/schemas/${normativeSchemaFiles[schema]}`, import.meta.url), "utf8").then((source) => JSON.parse(source));
+    pending = resolveSacNormativeSchemaPath(normativeSchemaFiles[schema]).then((file) => readFile62(file, "utf8")).then((source) => JSON.parse(source));
     normativeSchemas.set(schema, pending);
   }
   return pending;
@@ -44773,6 +44796,492 @@ class LiveMarkdownBlock {
 
 // src/tui/tui-shell.ts
 import { spawnSync as spawnSync2 } from "child_process";
+// package.json
+var package_default = {
+  name: "@mrciphersmith/keryx",
+  version: "0.2.36",
+  description: "Version-controlled project context for AI coding agents: code graph, architecture wiki, project memory, relevant tests, quality signals, and task flows.",
+  private: false,
+  publishConfig: {
+    access: "public"
+  },
+  license: "MIT",
+  type: "module",
+  repository: {
+    type: "git",
+    url: "git+ssh://git@github.com/MrCipherSmith/keryx.git"
+  },
+  keywords: [
+    "ai-agents",
+    "coding-agents",
+    "agent-harness",
+    "agent-context",
+    "repository-context",
+    "code-graph",
+    "project-memory",
+    "test-impact-analysis",
+    "developer-tools",
+    "model-context-protocol",
+    "mcp",
+    "claude-code",
+    "cursor",
+    "codex",
+    "cli",
+    "bun"
+  ],
+  bin: {
+    keryx: "./dist/cli.js"
+  },
+  scripts: {
+    keryx: "bun ./src/cli.ts",
+    build: "bun build ./src/cli.ts --outdir ./dist --target bun --external @modelcontextprotocol/sdk --external web-tree-sitter --external @opentui/core && bun build ./src/harness/process/sandbox/proxy-worker.ts --outdir ./dist --target bun --external @modelcontextprotocol/sdk --external web-tree-sitter --external @opentui/core",
+    prepare: "bun run build",
+    typecheck: "tsc --noEmit",
+    test: "bun test",
+    check: "tsc --noEmit && bun test",
+    "check:doc-links": "bun scripts/check-doc-links.ts",
+    "test:guards": "bun test src/lib/config-dir.ast.test.ts src/lib/config-dir.readers.test.ts src/lib/production-graph.test.ts src/harness/policy/profiles.test.ts src/lib/serve-server.test.ts"
+  },
+  files: [
+    "dist",
+    "docs/requirements/shared-agent-context/schemas",
+    "src/gdgraph",
+    "src/gdskills/bundled",
+    "src/gdskills/contracts",
+    "LICENSE",
+    "README.md",
+    "package.json"
+  ],
+  dependencies: {},
+  optionalDependencies: {
+    "@modelcontextprotocol/sdk": "^1.0.0",
+    "@opentui/core": "^0.4.5",
+    "web-tree-sitter": "^0.22.0"
+  },
+  devDependencies: {
+    "@types/bun": "latest",
+    "@xenova/transformers": "^2.17.2",
+    "bun-types": "latest",
+    typescript: "^5"
+  },
+  engines: {
+    bun: ">=1.1.0"
+  },
+  trustedDependencies: [
+    "protobufjs",
+    "sharp"
+  ]
+};
+
+// src/tui/modal-host.ts
+function onKeypress(r, handler) {
+  r._internalKeyInput.onInternal("keypress", handler);
+  return () => r._internalKeyInput.offInternal("keypress", handler);
+}
+var BACKDROP_ID = "modal-backdrop";
+var PANEL_ID = "modal-panel";
+var BACKDROP_OPACITY = 0.45;
+var hosts = new WeakMap;
+function clearChildren(box) {
+  for (const child of [...box.getChildren()]) {
+    box.remove(child);
+  }
+}
+function containsNode(root, node) {
+  if (root === node) {
+    return true;
+  }
+  for (const child of root.getChildren()) {
+    if (containsNode(child, node)) {
+      return true;
+    }
+  }
+  return false;
+}
+function resolveInitialTab(tabs, initialTab) {
+  const first = tabs[0];
+  if (first === undefined) {
+    return "";
+  }
+  if (initialTab !== undefined && tabs.some((tab) => tab.id === initialTab)) {
+    return initialTab;
+  }
+  return first.id;
+}
+function paintTabs(state) {
+  clearChildren(state.tabStrip);
+  const labels = state.tabs.map((tab) => tab.id === state.active ? `[${tab.label}]` : ` ${tab.label} `).join(" ");
+  state.tabStrip.add(new state.otui.TextRenderable(state.chrome.renderer, {
+    id: "modal-tabs",
+    content: state.otui.t`${state.otui.dim(labels)}`
+  }));
+}
+function unmountActiveTab(state) {
+  const cleanup = state.tabCleanup;
+  state.tabCleanup = undefined;
+  if (cleanup !== undefined) {
+    cleanup();
+  }
+  clearChildren(state.body);
+}
+function mountTab(state, input2, tabId) {
+  unmountActiveTab(state);
+  state.active = tabId;
+  paintTabs(state);
+  const cleanup = input2.renderTab(tabId, state.body);
+  state.tabCleanup = typeof cleanup === "function" ? cleanup : undefined;
+}
+function closeHost(state, opts) {
+  if (!state.open) {
+    return;
+  }
+  unmountActiveTab(state);
+  state.open = false;
+  state.input = undefined;
+  state.backdrop.visible = false;
+  const onClose = state.onClose;
+  state.onClose = undefined;
+  if (opts.restoreFocus) {
+    const scroll = state.chrome.scroll;
+    if (state.savedScrollTop !== undefined && scroll !== undefined) {
+      scroll.scrollTop = state.savedScrollTop;
+    }
+    state.chrome.focusComposer();
+  }
+  if (opts.runOnClose && onClose !== undefined) {
+    onClose();
+  }
+}
+function ensureHost(otui, chrome) {
+  const existing = hosts.get(chrome.renderer);
+  if (existing !== undefined) {
+    return existing;
+  }
+  const r = chrome.renderer;
+  const backdrop = new otui.BoxRenderable(r, {
+    id: BACKDROP_ID,
+    position: "absolute",
+    top: 0,
+    left: 0,
+    width: "100%",
+    height: "100%",
+    backgroundColor: "#000000",
+    opacity: BACKDROP_OPACITY,
+    zIndex: 100,
+    flexDirection: "column",
+    justifyContent: "center",
+    alignItems: "center",
+    visible: false
+  });
+  const panel = new otui.BoxRenderable(r, {
+    id: PANEL_ID,
+    width: "80%",
+    maxWidth: 72,
+    maxHeight: "80%",
+    flexShrink: 0,
+    flexDirection: "column",
+    borderStyle: "rounded",
+    border: true,
+    borderColor: "#3a4a4a",
+    backgroundColor: "#0f1b1b",
+    paddingLeft: 1,
+    paddingRight: 1,
+    zIndex: 101
+  });
+  const titleText = new otui.TextRenderable(r, {
+    id: "modal-title",
+    content: ""
+  });
+  const tabStrip = new otui.BoxRenderable(r, {
+    id: "modal-tab-strip",
+    flexShrink: 0,
+    width: "100%",
+    flexDirection: "row",
+    focusable: true
+  });
+  const body = new otui.BoxRenderable(r, {
+    id: "modal-body",
+    width: "100%",
+    minHeight: 1,
+    flexDirection: "column"
+  });
+  panel.add(titleText);
+  panel.add(tabStrip);
+  panel.add(body);
+  backdrop.add(panel);
+  r.root.add(backdrop);
+  const state = {
+    otui,
+    chrome,
+    backdrop,
+    panel,
+    titleText,
+    tabStrip,
+    body,
+    open: false,
+    generation: 0,
+    tabs: [],
+    active: "",
+    tabCleanup: undefined,
+    onClose: undefined,
+    input: undefined,
+    releaseOverlay: undefined,
+    unsubKeys: undefined,
+    savedScrollTop: undefined
+  };
+  state.releaseOverlay = chrome.addOverlaySource(() => state.open);
+  state.unsubKeys = onKeypress(r, (key) => {
+    if (!state.open || state.input === undefined) {
+      return;
+    }
+    if (key.name === "escape") {
+      closeHost(state, { restoreFocus: true, runOnClose: true });
+      key.preventDefault();
+      key.stopPropagation();
+      return;
+    }
+    const idx = state.tabs.findIndex((tab) => tab.id === state.active);
+    const focused = r.currentFocusedRenderable;
+    const onStrip = focused !== null && containsNode(state.tabStrip, focused);
+    if (key.name === "left" || onStrip && key.name === "tab" && key.shift === true) {
+      const prev = idx > 0 ? state.tabs[idx - 1] : undefined;
+      if (prev !== undefined) {
+        mountTab(state, state.input, prev.id);
+      }
+      key.preventDefault();
+      key.stopPropagation();
+      return;
+    }
+    if (key.name === "right" || onStrip && key.name === "tab") {
+      const next = state.tabs[idx + 1];
+      if (next !== undefined) {
+        mountTab(state, state.input, next.id);
+      }
+      key.preventDefault();
+      key.stopPropagation();
+      return;
+    }
+    if (focused !== null && containsNode(state.body, focused)) {
+      return;
+    }
+    const digit = key.sequence.length === 1 ? key.sequence : key.name;
+    if (digit.length === 1 && digit >= "1" && digit <= "9") {
+      const jump = state.tabs[Number(digit) - 1];
+      if (jump !== undefined) {
+        mountTab(state, state.input, jump.id);
+        key.preventDefault();
+        key.stopPropagation();
+      }
+    }
+  });
+  hosts.set(r, state);
+  return state;
+}
+function makeHandle(state, generation) {
+  return {
+    close() {
+      if (state.generation !== generation) {
+        return;
+      }
+      closeHost(state, { restoreFocus: true, runOnClose: true });
+    },
+    setTab(id) {
+      if (state.generation !== generation || !state.open || state.input === undefined) {
+        return;
+      }
+      if (!state.tabs.some((tab) => tab.id === id) || id === state.active) {
+        return;
+      }
+      mountTab(state, state.input, id);
+    },
+    activeTab() {
+      return state.active;
+    }
+  };
+}
+function openModal(otui, chrome, input2) {
+  if (otui === undefined || chrome === undefined || input2.tabs.length < 1) {
+    return;
+  }
+  const state = ensureHost(otui, chrome);
+  if (state.open) {
+    unmountActiveTab(state);
+    const previousClose = state.onClose;
+    state.onClose = undefined;
+    previousClose?.();
+  } else {
+    state.savedScrollTop = chrome.scroll.scrollTop;
+    chrome.hideMenu();
+    chrome.blurComposer();
+    state.backdrop.visible = true;
+    state.open = true;
+  }
+  state.generation += 1;
+  const generation = state.generation;
+  state.input = input2;
+  state.tabs = input2.tabs;
+  state.onClose = input2.onClose;
+  state.titleText.content = otui.t`${otui.bold(input2.title)}`;
+  mountTab(state, input2, resolveInitialTab(input2.tabs, input2.initialTab));
+  state.tabStrip.focus();
+  return makeHandle(state, generation);
+}
+
+// src/tui/session-info.ts
+var SESSION_INFO_COMMANDS = ["/session-info", "/status", "/info"];
+var MISSING = "\u2014";
+function isSessionInfoCommand(line) {
+  const token = line.trim().split(/\s+/)[0] ?? "";
+  return SESSION_INFO_COMMANDS.includes(token);
+}
+function displayOrMissing(value) {
+  return value !== undefined && value.length > 0 ? value : MISSING;
+}
+function formatUtc(iso) {
+  if (iso === undefined || iso.length === 0) {
+    return MISSING;
+  }
+  const date = new Date(iso);
+  if (Number.isNaN(date.getTime())) {
+    return MISSING;
+  }
+  return `${date.toISOString()} UTC`;
+}
+function formatCount(value) {
+  return value === undefined ? MISSING : String(value);
+}
+function usageUsed(usage) {
+  if (usage === undefined) {
+    return;
+  }
+  if (usage.totalTokens !== undefined) {
+    return usage.totalTokens;
+  }
+  if (usage.inputTokens === undefined && usage.outputTokens === undefined) {
+    return;
+  }
+  return (usage.inputTokens ?? 0) + (usage.outputTokens ?? 0);
+}
+function contextRow(source) {
+  const used = usageUsed(source.usage);
+  if (used !== undefined) {
+    return `${used} tokens`;
+  }
+  if (source.estimateTokens !== undefined) {
+    return `${source.estimateTokens} tokens (estimate)`;
+  }
+  return MISSING;
+}
+function buildSessionInfoSnapshot(source) {
+  const id = source.summary?.id ?? "";
+  const provider = source.selection?.provider ?? source.summary?.provider;
+  const model = source.selection?.model ?? source.summary?.model;
+  const sessionRows = [
+    { label: "Title", value: displayOrMissing(source.summary?.title) },
+    { label: "Version", value: displayOrMissing(source.version) },
+    { label: "Session id", value: displayOrMissing(source.summary?.id) },
+    { label: "Project", value: displayOrMissing(source.summary?.projectPath) },
+    { label: "Provider", value: displayOrMissing(provider) },
+    { label: "Model", value: displayOrMissing(model) }
+  ];
+  if (source.summary?.parentSessionId !== undefined && source.summary.parentSessionId.length > 0) {
+    sessionRows.push({ label: "Parent", value: source.summary.parentSessionId });
+  }
+  const messages = source.summary?.messageCount === undefined && source.summary?.archiveMessageCount === undefined ? MISSING : `${formatCount(source.summary.messageCount)} / ${formatCount(source.summary.archiveMessageCount)}`;
+  sessionRows.push({ label: "Created", value: formatUtc(source.summary?.createdAt) }, { label: "Updated", value: formatUtc(source.summary?.updatedAt) }, { label: "Messages", value: messages }, { label: "Compactions", value: formatCount(source.summary?.compactCount) }, { label: "Context", value: contextRow(source) });
+  const estimate = source.estimateTokens === undefined ? MISSING : `${source.estimateTokens} tokens (estimate)`;
+  const usageRows = [
+    {
+      label: "Last turn input",
+      value: source.usage?.inputTokens === undefined ? MISSING : String(source.usage.inputTokens)
+    },
+    {
+      label: "Last turn output",
+      value: source.usage?.outputTokens === undefined ? MISSING : String(source.usage.outputTokens)
+    },
+    { label: "Context estimate", value: estimate }
+  ];
+  return { sessionId: id, sessionRows, usageRows };
+}
+function formatSection(title, rows) {
+  const width = rows.reduce((max, row) => Math.max(max, row.label.length), 0);
+  return [title, ...rows.map((row) => `  ${row.label.padEnd(width)}  ${row.value}`)].join(`
+`);
+}
+function formatSessionInfoText(snapshot) {
+  return `${formatSection("Session", snapshot.sessionRows)}
+
+${formatSection("Usage", snapshot.usageRows)}
+`;
+}
+function sessionIdCopyText(snapshot) {
+  return snapshot.sessionId;
+}
+function sessionBlockCopyText(snapshot) {
+  return formatSessionInfoText(snapshot);
+}
+function paintRows(otui, renderer, body, rows) {
+  if (otui === undefined || otui === null || body === undefined || body === null) {
+    return;
+  }
+  const parent = body;
+  const ctor = otui.TextRenderable;
+  if (parent.add === undefined || ctor === undefined) {
+    return;
+  }
+  const width = rows.reduce((max, row) => Math.max(max, row.label.length), 0);
+  parent.add(new ctor(renderer, {
+    id: "session-info-body",
+    content: rows.map((row) => `${row.label.padEnd(width)}  ${row.value}`).join(`
+`)
+  }));
+}
+function presentSessionInfo(openModal2, otui, chrome, options) {
+  const { snapshot, toast } = options;
+  const copy = (text) => {
+    if (text.length === 0) {
+      return;
+    }
+    try {
+      options.copyText(text);
+      toast("Copied to clipboard");
+    } catch {}
+  };
+  let unsubscribeKey;
+  const handle = openModal2(otui, chrome, {
+    title: "Session",
+    tabs: [
+      { id: "session", label: "Session" },
+      { id: "usage", label: "Usage" }
+    ],
+    initialTab: "session",
+    renderTab: (tabId, body) => {
+      const rows = tabId === "usage" ? snapshot.usageRows : snapshot.sessionRows;
+      const renderer = options.renderer ?? chrome?.renderer;
+      paintRows(otui, renderer, body, rows);
+    },
+    onClose: () => {
+      unsubscribeKey?.();
+    }
+  });
+  if (handle === undefined) {
+    return;
+  }
+  if (options.onKeypress !== undefined) {
+    unsubscribeKey = options.onKeypress((key) => {
+      const token = key.name || key.sequence;
+      if (token === "c") {
+        copy(sessionIdCopyText(snapshot));
+      } else if (token === "y") {
+        copy(sessionBlockCopyText(snapshot));
+      }
+    });
+  }
+  return handle;
+}
+function openSessionInfo(otui, chrome, options) {
+  return presentSessionInfo((hostOtui, hostChrome, input2) => openModal(hostOtui, hostChrome, input2), otui, chrome, options);
+}
 
 // src/commands/agent-commands.ts
 var CHAT_ONLY = ["chat"];
@@ -44800,7 +45309,7 @@ var AGENT_SLASH_COMMANDS = [
     modes: BOTH,
     modeDescriptions: {
       agent: "Connect to an already configured provider (interactive picker)",
-      chat: "Show how to set a provider API key in the environment"
+      chat: "Switch to a connected provider (picker when available)"
     }
   },
   {
@@ -44831,6 +45340,13 @@ var AGENT_SLASH_COMMANDS = [
   { name: "/new", description: "Start a new session (old kept on disk)", modes: BOTH },
   { name: "/resume", description: "Resume a prior session in this project", modes: AGENT_ONLY },
   { name: "/sessions", description: "Open the session list and switch to one", modes: AGENT_ONLY },
+  {
+    name: "/session-info",
+    description: "Show session identity and context usage",
+    modes: BOTH
+  },
+  { name: "/status", description: "Alias of /session-info", modes: BOTH },
+  { name: "/info", description: "Alias of /session-info", modes: BOTH },
   {
     name: "/compact",
     description: "Compact model context \u2014 /compact [focus] (archive kept)",
@@ -45311,7 +45827,7 @@ function selectBoxHeight(count, withDescription) {
   const per = withDescription ? 2 : 1;
   return Math.min(Math.max(count * per, per), 16);
 }
-function onKeypress(r, handler) {
+function onKeypress2(r, handler) {
   r._internalKeyInput.onInternal("keypress", handler);
   return () => r._internalKeyInput.offInternal("keypress", handler);
 }
@@ -45412,7 +45928,7 @@ function showComposerChoice(otui, r, dock, request) {
         key.stopPropagation();
       }
     };
-    const unsub = onKeypress(r, onKey);
+    const unsub = onKeypress2(r, onKey);
     sel.on(otui.SelectRenderableEvents.ITEM_SELECTED, () => {
       const chosen = sel.getSelectedOption();
       const value = chosen?.value;
@@ -45700,12 +46216,13 @@ async function checkVersion(options) {
 }
 
 // src/tui/shell-chrome.ts
-function onKeypress2(r, handler) {
+function onKeypress3(r, handler) {
   r._internalKeyInput.onInternal("keypress", handler);
   return () => r._internalKeyInput.offInternal("keypress", handler);
 }
 var COMPOSER_MIN_ROWS = 1;
 var COMPOSER_MAX_ROWS = 6;
+var COMPOSER_BORDER_ROWS = 2;
 var MENU_HEIGHT = 10;
 var SIDEBAR_WIDTH = 30;
 var SIDEBAR_BORDER_LEFT = 1;
@@ -45723,9 +46240,29 @@ ${result.installCommand.slice(split)}`);
 var SPINNER = ["\u280B", "\u2819", "\u2839", "\u2838", "\u283C", "\u2834", "\u2826", "\u2827", "\u2807", "\u280F"];
 var SPINNER_MS = 120;
 var TOAST_MS = 5000;
-function composerHeightForLines(visualLines) {
+function composerHeightForLines(visualLines, maxRows = COMPOSER_MAX_ROWS) {
+  const cap = Number.isFinite(maxRows) && maxRows >= COMPOSER_MIN_ROWS ? Math.floor(maxRows) : COMPOSER_MAX_ROWS;
   const n = Number.isFinite(visualLines) ? Math.floor(visualLines) : COMPOSER_MIN_ROWS;
-  return Math.min(COMPOSER_MAX_ROWS, Math.max(COMPOSER_MIN_ROWS, n < 1 ? COMPOSER_MIN_ROWS : n));
+  return Math.min(cap, Math.max(COMPOSER_MIN_ROWS, n < 1 ? COMPOSER_MIN_ROWS : n));
+}
+function composerMaxRowsForViewport(viewportRows) {
+  if (!Number.isFinite(viewportRows) || viewportRows < 1) {
+    return COMPOSER_MAX_ROWS;
+  }
+  return Math.max(COMPOSER_MIN_ROWS, Math.floor(viewportRows / 3));
+}
+function wrappedLineCount(text, width) {
+  const inner = Number.isFinite(width) ? Math.floor(width) : 0;
+  const paragraphs = text.length === 0 ? [""] : text.split(`
+`);
+  if (inner < 1) {
+    return Math.max(COMPOSER_MIN_ROWS, paragraphs.length);
+  }
+  let total = 0;
+  for (const paragraph of paragraphs) {
+    total += Math.max(1, Math.ceil(Math.max(paragraph.length, 1) / inner));
+  }
+  return total;
 }
 function prefixFilter(commands, query) {
   const q = query.trim().toLowerCase();
@@ -45903,6 +46440,9 @@ async function createShellChrome(otui, renderer, opts) {
   const composer = new otui.BoxRenderable(r, {
     id: "composer",
     flexShrink: 0,
+    minWidth: 0,
+    width: "100%",
+    flexDirection: "column",
     borderStyle: "rounded",
     border: true,
     paddingLeft: 1,
@@ -45912,10 +46452,12 @@ async function createShellChrome(otui, renderer, opts) {
     id: "prompt",
     placeholder: opts.placeholder,
     wrapMode: "word",
+    minWidth: 0,
+    width: "100%",
     minHeight: COMPOSER_MIN_ROWS,
-    maxHeight: COMPOSER_MAX_ROWS,
     height: COMPOSER_MIN_ROWS,
-    width: "100%",
+    flexShrink: 0,
+    overflow: "scroll",
     keyBindings: [
       { name: "return", action: "submit" },
       { name: "kpenter", action: "submit" },
@@ -45929,17 +46471,28 @@ async function createShellChrome(otui, renderer, opts) {
   });
   composer.add(textarea);
   main.add(composer);
+  const viewportRows = () => {
+    const h = r.height;
+    return typeof h === "number" && h > 0 ? h : COMPOSER_MAX_ROWS * 3;
+  };
   const syncComposerHeight = () => {
+    const cap = composerMaxRowsForViewport(viewportRows());
     let lines = 1;
     try {
-      lines = Math.max(textarea.virtualLineCount || 0, textarea.lineCount || 0, 1);
+      const wrapWidth = typeof textarea.width === "number" && textarea.width > 0 ? textarea.width : 0;
+      lines = Math.max(textarea.virtualLineCount || 0, textarea.lineCount || 0, wrappedLineCount(textarea.plainText, wrapWidth), 1);
     } catch {
-      lines = Math.max(1, (textarea.plainText.match(/\n/g)?.length ?? 0) + 1);
+      lines = wrappedLineCount(textarea.plainText, 0);
     }
-    const h = composerHeightForLines(lines);
+    const h = composerHeightForLines(lines, cap);
     if (textarea.height !== h) {
       textarea.height = h;
     }
+    const boxH = h + COMPOSER_BORDER_ROWS;
+    if (composer.height !== boxH) {
+      composer.height = boxH;
+    }
+    textarea.maxHeight = cap;
   };
   const input2 = {
     get value() {
@@ -46067,6 +46620,10 @@ async function createShellChrome(otui, renderer, opts) {
     syncComposerHeight();
     refilter();
   };
+  const onComposerResized = () => {
+    syncComposerHeight();
+  };
+  textarea.on(otui.LayoutEvents.RESIZED, onComposerResized);
   textarea.focus();
   syncComposerHeight();
   const submitHandlers = new Set;
@@ -46089,7 +46646,7 @@ async function createShellChrome(otui, renderer, opts) {
     syncComposerHeight();
     emitSubmit(line);
   };
-  const unsubscribeMenuKeys = onKeypress2(r, (key) => {
+  const unsubscribeMenuKeys = onKeypress3(r, (key) => {
     if (!menu.visible || !menuNav || overlayActive()) {
       return;
     }
@@ -46167,6 +46724,9 @@ async function createShellChrome(otui, renderer, opts) {
       clearBusyTimer();
       clearToastTimer();
       unsubscribeMenuKeys();
+      try {
+        textarea.off(otui.LayoutEvents.RESIZED, onComposerResized);
+      } catch {}
       try {
         r.off(otui.CliRenderEvents.SELECTION, onSelection);
       } catch {}
@@ -47266,12 +47826,8 @@ async function filterConnectedDetectedProviders(detected, options = {}) {
     }
     const requiresApiKey = registry.requiresApiKey ?? true;
     const envKey = prov.envKey ?? registry.envKey;
-    if (!requiresApiKey || envKey === undefined) {
-      connected.push(prov);
-      continue;
-    }
-    const raw = env[envKey];
-    if (raw === undefined || raw.length === 0) {
+    const raw = envKey !== undefined ? env[envKey] : undefined;
+    if (requiresApiKey && (raw === undefined || raw.length === 0)) {
       continue;
     }
     const compat = {
@@ -47280,13 +47836,13 @@ async function filterConnectedDetectedProviders(detected, options = {}) {
       ...prov.chatPath !== undefined ? { chatPath: prov.chatPath } : {},
       ...prov.modelsPath !== undefined ? { modelsPath: prov.modelsPath } : {}
     };
-    const result = await fetchOpenAiCompatModelsDetailed(fetchFn, compat, raw, {
+    const result = await fetchOpenAiCompatModelsDetailed(fetchFn, compat, raw ?? "", {
       timeoutMs: MODELS_FETCH_TIMEOUT_MS
     });
     if (result.source !== "live" || result.models.length === 0) {
       continue;
     }
-    connected.push(prov);
+    connected.push({ ...prov, models: result.models });
   }
   return connected;
 }
@@ -47538,7 +48094,7 @@ function overlayBox(otui, r, id) {
     padding: 1
   });
 }
-function onKeypress3(r, handler) {
+function onKeypress4(r, handler) {
   r._internalKeyInput.onInternal("keypress", handler);
   return () => r._internalKeyInput.offInternal("keypress", handler);
 }
@@ -47583,7 +48139,7 @@ function promptBaseUrlStep(otui, r, label, baseUrl2) {
       unsub();
       r.root.remove(box);
     };
-    const unsub = onKeypress3(r, (key) => {
+    const unsub = onKeypress4(r, (key) => {
       if (key.name === "escape") {
         cleanup();
         resolve3(undefined);
@@ -47619,7 +48175,7 @@ function promptApiKeyStep(otui, r, opts) {
         key.stopPropagation();
       }
     };
-    const unsub = onKeypress3(r, onKey);
+    const unsub = onKeypress4(r, onKey);
     const cleanup = () => {
       unsub();
       r.root.remove(box);
@@ -47659,7 +48215,7 @@ function pickProviderStep(otui, r, detected) {
         key.stopPropagation();
       }
     };
-    const unsub = onKeypress3(r, onKey);
+    const unsub = onKeypress4(r, onKey);
     const cleanup = () => {
       unsub();
       r.root.remove(box);
@@ -47693,11 +48249,11 @@ function selectProviderModelInTui(otui, r, detected, options = {}) {
           resolve3(undefined);
           return;
         }
-        const selectedBaseUrl = prov.baseUrl !== undefined ? await promptBaseUrlStep(otui, r, prov.label ?? prov.name, prov.baseUrl) : prov.baseUrl;
-        if (prov.baseUrl !== undefined && selectedBaseUrl === undefined) {
+        const selectedBaseUrl = options.onlyConnected || prov.baseUrl === undefined ? prov.baseUrl : await promptBaseUrlStep(otui, r, prov.label ?? prov.name, prov.baseUrl);
+        if (!options.onlyConnected && prov.baseUrl !== undefined && selectedBaseUrl === undefined) {
           continue;
         }
-        if (selectedBaseUrl !== undefined)
+        if (!options.onlyConnected && selectedBaseUrl !== undefined)
           saveProviderBaseUrl(prov.name, selectedBaseUrl);
         const selectedProvider = selectedBaseUrl === undefined ? prov : { ...prov, baseUrl: selectedBaseUrl };
         const envKey = prov.envKey;
@@ -47777,7 +48333,7 @@ function pickModelInTui(otui, r, models) {
         key.stopPropagation();
       }
     };
-    const unsub = onKeypress3(r, onKey);
+    const unsub = onKeypress4(r, onKey);
     const cleanup = () => {
       unsub();
       r.root.remove(box);
@@ -47869,7 +48425,7 @@ function pickSessionInTui(otui, r, sessions) {
         key.stopPropagation();
       }
     };
-    const unsub = onKeypress3(r, onKey);
+    const unsub = onKeypress4(r, onKey);
     const cleanup = () => {
       unsub();
       r.root.remove(box);
@@ -48054,6 +48610,12 @@ async function launchTuiAgentShell(opts) {
         hasExactUsage = true;
       }
     });
+    let lastUsage;
+    const recordedUsage = io.onUsage?.bind(io);
+    io.onUsage = (usage) => {
+      lastUsage = usage;
+      recordedUsage?.(usage);
+    };
     attachBlockIo(io, addBlock, {
       onReasoning: () => {
         setBusyPhase("thinking");
@@ -48450,6 +49012,22 @@ Staying in the current session.
 `);
     };
     paintSessionHeader();
+    const showSessionInfo = () => {
+      const snapshot = buildSessionInfoSnapshot({
+        summary: liveSession.summary,
+        selection: currentSel,
+        version: package_default.version,
+        usage: lastUsage,
+        estimateTokens: estimateContextTokens(history)
+      });
+      openSessionInfo(otui, chrome, {
+        snapshot,
+        copyText: (text) => r.copyToClipboardOSC52(text),
+        toast: (message2) => chrome.showToast(message2),
+        renderer: r,
+        onKeypress: (handler) => onKeypress4(r, (key) => handler(key))
+      });
+    };
     const updateModelLabels = () => {
       paintSessionHeader();
       const label = `${currentSel.provider}/${currentSel.model}`;
@@ -48655,6 +49233,10 @@ Staying in the current session.
 `);
           return;
         }
+        if (command2 !== undefined && isSessionInfoCommand(command2.name)) {
+          showSessionInfo();
+          return;
+        }
         if (command2 !== undefined || line.startsWith("/")) {
           transcript.add(new otui.TextRenderable(r, {
             id: `c${uid++}`,
@@ -48796,6 +49378,10 @@ Staying in the current session.
           }
           return;
         }
+        if (isSessionInfoCommand(command.name)) {
+          showSessionInfo();
+          return;
+        }
         if (command.name === "/copy") {
           const target = newestBlock();
           if (target === undefined || !copyBlock(target.id)) {
@@ -49015,7 +49601,7 @@ Staying in the current session.
         focusComposer();
       });
     };
-    onKeypress3(r, (key) => {
+    onKeypress4(r, (key) => {
       nav.handleKey(key);
     });
     chrome.onSubmit((line) => {
@@ -49141,6 +49727,9 @@ function createChatBridge(hooks = {}) {
         close();
         return "exit";
       }
+      if (isSessionInfoCommand(value)) {
+        return "local";
+      }
       if ((turn || queue.length > 0) && value.startsWith("/")) {
         return "deferred";
       }
@@ -49264,6 +49853,22 @@ async function mountChatShell(otui, renderer, opts) {
       opts.onExit?.();
       return;
     }
+    if (result === "local") {
+      const snapshot = buildSessionInfoSnapshot({
+        summary: opts.deps.session !== undefined ? latestSession(opts.deps.session.cwd) : undefined,
+        selection,
+        version: package_default.version,
+        estimateTokens: estimateContextTokens(seen)
+      });
+      openSessionInfo(otui, chrome, {
+        snapshot,
+        copyText: (text) => r.copyToClipboardOSC52(text),
+        toast: (message2) => chrome.showToast(message2),
+        renderer: r,
+        onKeypress: (handler) => onKeypress4(r, (key) => handler(key))
+      });
+      return;
+    }
     if (result === "deferred") {
       append(otui.t`${otui.yellow("\u25C7 a reply is still streaming \u2014 command deferred. Wait for it to finish.")}`);
     }
@@ -49315,6 +49920,12 @@ async function launchTuiChatShell(opts) {
       runShell: opts.runShell,
       pickSelection: async (pickOpts) => {
         const detected = opts.redetect !== undefined ? await opts.redetect() : opts.detected;
+        if (pickOpts?.onlyConnected === true) {
+          return await selectProviderModelInTui(otui, r, detected, {
+            onlyConnected: true,
+            env: process.env
+          });
+        }
         const only = pickOpts?.onlyProvider;
         if (only === undefined) {
           return await selectProviderModelInTui(otui, r, detected);
@@ -49344,76 +49955,6 @@ async function launchTuiChatShell(opts) {
 
 // src/commands/shell.ts
 init_shell_config();
-// package.json
-var package_default = {
-  name: "@mrciphersmith/keryx",
-  version: "0.2.34",
-  description: "Version-controlled project context for AI coding agents: code graph, architecture wiki, project memory, relevant tests, quality signals, and task flows.",
-  private: false,
-  publishConfig: {
-    access: "public"
-  },
-  license: "MIT",
-  type: "module",
-  repository: {
-    type: "git",
-    url: "git+ssh://git@github.com/MrCipherSmith/keryx.git"
-  },
-  keywords: [
-    "ai-agents",
-    "coding-agents",
-    "agent-harness",
-    "agent-context",
-    "repository-context",
-    "code-graph",
-    "project-memory",
-    "test-impact-analysis",
-    "developer-tools",
-    "model-context-protocol",
-    "mcp",
-    "claude-code",
-    "cursor",
-    "codex",
-    "cli",
-    "bun"
-  ],
-  bin: {
-    keryx: "./dist/cli.js"
-  },
-  scripts: {
-    keryx: "bun ./src/cli.ts",
-    build: "bun build ./src/cli.ts --outdir ./dist --target bun --external @modelcontextprotocol/sdk --external web-tree-sitter --external @opentui/core && bun build ./src/harness/process/sandbox/proxy-worker.ts --outdir ./dist --target bun --external @modelcontextprotocol/sdk --external web-tree-sitter --external @opentui/core",
-    prepare: "bun run build",
-    typecheck: "tsc --noEmit",
-    test: "bun test",
-    check: "tsc --noEmit && bun test",
-    "check:doc-links": "bun scripts/check-doc-links.ts",
-    "test:guards": "bun test src/lib/config-dir.ast.test.ts src/lib/config-dir.readers.test.ts src/lib/production-graph.test.ts src/harness/policy/profiles.test.ts src/lib/serve-server.test.ts"
-  },
-  files: [
-    "dist",
-    "src/gdgraph",
-    "src/gdskills/bundled",
-    "src/gdskills/contracts",
-    "LICENSE",
-    "README.md",
-    "package.json"
-  ],
-  dependencies: {},
-  optionalDependencies: {
-    "@modelcontextprotocol/sdk": "^1.0.0",
-    "@opentui/core": "^0.4.5",
-    "web-tree-sitter": "^0.22.0"
-  },
-  devDependencies: {
-    "@types/bun": "latest",
-    "bun-types": "latest",
-    typescript: "^5"
-  },
-  engines: {
-    bun: ">=1.1.0"
-  }
-};
 
 // src/commands/select.ts
 init_guard2();
@@ -49652,6 +50193,9 @@ var READLINE_AGENT_COMMANDS = [
   "/new",
   "/clear",
   "/compact",
+  "/session-info",
+  "/status",
+  "/info",
   "/exit"
 ];
 function readlineAgentHelpText() {
@@ -49740,6 +50284,15 @@ Starting a new session.
         system(HELP_TEXT);
         continue;
       }
+      if (isSessionInfoCommand(command)) {
+        system(formatSessionInfoText(buildSessionInfoSnapshot({
+          summary: live?.summary,
+          selection: { provider: providerName, model: modelName },
+          version: package_default.version,
+          estimateTokens: estimateContextTokens(history)
+        })));
+        continue;
+      }
       if (command === "/clear" || command === "/new") {
         if (sessionsOn) {
           live = createSession({ cwd: sessionCwd, provider: providerName, model: modelName });
@@ -49809,7 +50362,12 @@ Starting a new session.
         continue;
       }
       if (command === "/connect") {
-        system(CONNECT_GUIDANCE);
+        if (deps.selectProviderModel === undefined) {
+          system(CONNECT_GUIDANCE);
+          continue;
+        }
+        const picked = await deps.selectProviderModel(io, { onlyConnected: true });
+        applySelection(picked);
         continue;
       }
       const wrongMode = describeUnavailableCommand(command, "chat");
@@ -50382,6 +50940,14 @@ New session ${shortSessionId(live.summary.id)}.
       }
       if (command === "/help") {
         agentIo.onSystem?.(readlineAgentHelpText());
+      } else if (isSessionInfoCommand(command)) {
+        agentIo.onSystem?.(formatSessionInfoText(buildSessionInfoSnapshot({
+          summary: live?.summary,
+          selection: { provider: deps.providerId, model: deps.modelId },
+          version: package_default.version,
+          usage: lastUsage,
+          estimateTokens: estimateContextTokens(history)
+        })));
       } else if (command === "/expand") {
         const expanded = expandedToolOutput(lastToolName, lastToolOutput);
         if (expanded !== undefined) {
@@ -53020,9 +53586,9 @@ function printHelp17() {
 // src/commands/update.ts
 import { spawn as spawn5 } from "child_process";
 import { chmod as chmod4, mkdir as mkdir52, readFile as readFile75, readdir as readdir22, writeFile as writeFile47 } from "fs/promises";
-import { access as access3, constants as constants2, existsSync as existsSync29 } from "fs";
+import { access as access4, constants as constants2, existsSync as existsSync29 } from "fs";
 import path141 from "path";
-import { fileURLToPath as fileURLToPath6 } from "url";
+import { fileURLToPath as fileURLToPath7 } from "url";
 init_config();
 init_config2();
 init_templates2();
@@ -54118,7 +54684,7 @@ async function runPostUpdateHooks(projectRoot) {
 }
 async function accessExecutable(filePath) {
   await new Promise((resolve3, reject) => {
-    access3(filePath, constants2.X_OK, (error2) => {
+    access4(filePath, constants2.X_OK, (error2) => {
       if (error2) {
         reject(error2);
         return;
@@ -54166,12 +54732,12 @@ async function copyFileIfChanged2(from, to) {
   await writeFile47(to, next, "utf8");
 }
 function runtimeSourcePath2(relativePath) {
-  const directPath = fileURLToPath6(new URL(relativePath, import.meta.url));
+  const directPath = fileURLToPath7(new URL(relativePath, import.meta.url));
   if (existsSync29(directPath)) {
     return directPath;
   }
   if (relativePath.startsWith("../")) {
-    const packagedSourcePath = path141.join(path141.dirname(fileURLToPath6(import.meta.url)), "..", "src", relativePath.slice(3));
+    const packagedSourcePath = path141.join(path141.dirname(fileURLToPath7(import.meta.url)), "..", "src", relativePath.slice(3));
     if (existsSync29(packagedSourcePath)) {
       return packagedSourcePath;
     }
@@ -56564,6 +57130,53 @@ async function versionCommand(args2, deps = {}) {
 init_args();
 import { randomUUID as randomUUID21 } from "crypto";
 import { writeFile as writeFile50 } from "fs/promises";
+
+// src/sac/fwk-explain.ts
+function isOverflow(result) {
+  return "code" in result;
+}
+function formatFwkExplain(result) {
+  if (isOverflow(result)) {
+    return [`SAC explain: context_overflow (${result.code})`, "No successful manifest/receipt. Shrink the scope or raise the budget."].join(`
+`);
+  }
+  const facts = Array.isArray(result.manifest.facts) ? result.manifest.facts : [];
+  const knowHow = Array.isArray(result.manifest.knowHow) ? result.manifest.knowHow : [];
+  const work = result.manifest.work;
+  const byKind = { wiki: 0, memory: 0, skill: 0, other: 0 };
+  const knowHowLines = knowHow.map((item) => {
+    const row = item;
+    const kind = row.kind === "wiki" || row.kind === "memory" || row.kind === "skill" ? row.kind : "other";
+    byKind[kind] += 1;
+    return `    - ${kind} ${row.uri ?? "?"}  revision=${row.revision ?? "?"}  status=${row.status ?? "?"}`;
+  });
+  const workState = work?.state ?? "unbound";
+  const lines = [
+    "SAC explain (FWK \u2014 Facts / Work / Know-how)",
+    `  freshness: ${result.manifest.freshness}`,
+    `  receipt: ${result.receipt.id}  decision=${result.receipt.decision}`,
+    `  Facts (${facts.length}) \u2014 evidence-linked, task-local; not durable knowledge`,
+    ...facts.map((fact) => {
+      const row = fact;
+      const ev = row.evidence?.[0];
+      return `    - ${row.statement ?? "(no statement)"}  uri=${ev?.uri ?? "?"}  revision=${ev?.revision ?? "?"}  freshness=${row.freshness ?? "?"}`;
+    }),
+    `  Work (${workState}) \u2014 Flow projection only; SAC does not write flow.json`,
+    ...workState === "bound" ? [
+      `    - flow=${work?.flowRef?.uri ?? "?"}  snapshot=${work?.flowRef?.snapshot ?? "?"}  revision=${work?.flowRef?.revision ?? "?"}`,
+      `    - completed=${(work?.completed ?? []).join(",") || "(none)"}  next=${(work?.next ?? []).join(",") || "(none)"}  blocked=${(work?.blocked ?? []).join(",") || "(none)"}`
+    ] : ["    - no flow resource bound on this workspace"],
+    `  Know-how (${knowHow.length}: wiki=${byKind.wiki} memory=${byKind.memory} skill=${byKind.skill}) \u2014 references to owning stores, not SAC copies`,
+    ...knowHowLines.length > 0 ? knowHowLines : ["    - (none accepted/visible in this budget)"],
+    "  Not written here: graph nodes/edges (navigation only), session transcripts, hidden reasoning."
+  ];
+  if (result.partial)
+    lines.push(`  partial: omitted optional ${result.omittedOptional.join(", ") || "(none)"}`);
+  return lines.join(`
+`);
+}
+
+// src/commands/workspace.ts
 var PROPOSAL_KINDS = ["decision", "wiki-update", "memory-entry", "follow-up", "contract-change", "risk"];
 function service4() {
   return new WorkspaceService({
@@ -56612,30 +57225,36 @@ async function workspaceCommand(args2) {
       return;
     }
     if (subcommand === "overview") {
-      rejectUnknownOptions(args2.slice(2), new Set(["--max-items", "--max-tokens"]));
+      rejectUnknownOptions(args2.slice(2), new Set(["--max-items", "--max-tokens", "--explain"]));
       const workspaceId = args2[1];
       if (!workspaceId)
-        throw new Error("Usage: keryx workspace overview <workspace-id> [--max-items N] [--max-tokens N]");
+        throw new Error("Usage: keryx workspace overview <workspace-id> [--max-items N] [--max-tokens N] [--explain]");
       const maxItems = Number(optionValue(args2, "--max-items") ?? "32");
       const maxTokens = Number(optionValue(args2, "--max-tokens") ?? "4096");
       if (!Number.isInteger(maxItems) || !Number.isInteger(maxTokens) || maxItems < 0 || maxTokens < 0)
         throw new Error("--max-items and --max-tokens must be non-negative integers");
       const result = await createLocalFwkReadService(process.cwd()).overview({ workspaceId, request: undefined, requestCorrelationId: randomUUID21(), budget: { maxItems, maxTokens } });
-      console.log(JSON.stringify(normalizeFwkResult(result), null, 2));
+      const normalized = normalizeFwkResult(result);
+      console.log(JSON.stringify(normalized, null, 2));
+      if (args2.includes("--explain"))
+        console.error(formatFwkExplain(normalized));
       return;
     }
     if (subcommand === "read") {
-      rejectUnknownOptions(args2.slice(3), new Set(["--max-items", "--max-tokens"]));
+      rejectUnknownOptions(args2.slice(3), new Set(["--max-items", "--max-tokens", "--explain"]));
       const workspaceId = args2[1];
       const itemId = args2[2];
       if (!workspaceId || !itemId)
-        throw new Error("Usage: keryx workspace read <workspace-id> <item-id> [--max-items N] [--max-tokens N]");
+        throw new Error("Usage: keryx workspace read <workspace-id> <item-id> [--max-items N] [--max-tokens N] [--explain]");
       const maxItems = Number(optionValue(args2, "--max-items") ?? "1");
       const maxTokens = Number(optionValue(args2, "--max-tokens") ?? "4096");
       if (!Number.isInteger(maxItems) || !Number.isInteger(maxTokens) || maxItems < 0 || maxTokens < 0)
         throw new Error("--max-items and --max-tokens must be non-negative integers");
       const result = await createLocalFwkReadService(process.cwd()).read({ workspaceId, itemId, request: undefined, requestCorrelationId: randomUUID21(), budget: { maxItems, maxTokens } });
-      console.log(JSON.stringify(normalizeFwkResult(result), null, 2));
+      const normalized = normalizeFwkResult(result);
+      console.log(JSON.stringify(normalized, null, 2));
+      if (args2.includes("--explain"))
+        console.error(formatFwkExplain(normalized));
       return;
     }
     if (subcommand === "propose") {
@@ -56714,8 +57333,8 @@ function printHelp20() {
 keryx workspace list
 keryx workspace show <workspace-id>
 keryx workspace add-resource <workspace-id> --kind <kind> --uri <workspace-relative-ref> [--revision <revision>]
-keryx workspace overview <workspace-id> [--max-items N] [--max-tokens N]
-keryx workspace read <workspace-id> <item-id> [--max-items N] [--max-tokens N]
+keryx workspace overview <workspace-id> [--max-items N] [--max-tokens N] [--explain]
+keryx workspace read <workspace-id> <item-id> [--max-items N] [--max-tokens N] [--explain]
 keryx workspace propose <workspace-id> --kind <` + PROPOSAL_KINDS.join("|") + `> --session <session-id> [--note <one-line note>]
 keryx workspace review <workspace-id> <proposal-id> --decision <accepted|rejected|dismissed> [--reason <reason>] [--idempotency-key <key>]
 keryx workspace collaboration <workspace-id>