@corenel/term 0.1.0 → 0.2.0

package/dist/ink/banner.d.ts

@@ -0,0 +1,36 @@
+import { type NamespacedTool } from '@corenel/harness/tools/namespaces';
+import type { Policy } from '@corenel/protocol';
+import { type PolicySource } from '../policySource';
+/** The posture phrase, derived from the same `resolveLevel()` the loop's own
+ * `PermissionService` calls before every tool check. Covers the four shapes
+ * the brief names, plus one more (shell allowed, writes denied outright) it
+ * asked to have added rather than left wrong. */
+export declare function posture(policy: Policy): string;
+export interface BannerOptions {
+    policy: Policy;
+    source: PolicySource;
+    tools: readonly NamespacedTool[];
+    cwd: string;
+    /** Terminal width. Missing/non-positive falls back to `DEFAULT_COLUMNS`. */
+    columns?: number;
+    /** Suppression gate (brief rule 5): nothing prints when this isn't `true`. */
+    isTTY: boolean;
+}
+/** Pure builder. `''` means "print nothing" -- the caller (`writeBanner`)
+ * writes only when this is non-empty. */
+export declare function buildBanner(opts: BannerOptions): string;
+export interface BannerOut {
+    readonly isTTY?: boolean;
+    readonly columns?: number;
+    write(chunk: string): void;
+}
+/** How many terminal lines `writeBanner` would emit for these options -- 0 when
+ * it would print nothing. `runTui` needs this BEFORE it primes the scroll, so
+ * the prime can reserve room for the banner instead of scrolling it away; see
+ * `primeScroll`'s `reserve` option. */
+export declare function bannerHeight(out: BannerOut, opts: Omit<BannerOptions, 'isTTY' | 'columns'>): number;
+/** The only thing here that touches a real stream -- called once, straight to
+ * stdout, AFTER `primeScroll` has reserved room for it (see `runTui` in
+ * `ink/index.tsx`, and `bannerHeight` above). */
+export declare function writeBanner(out: BannerOut, opts: Omit<BannerOptions, 'isTTY' | 'columns'>): void;
+//# sourceMappingURL=banner.d.ts.map

package/dist/ink/banner.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"banner.d.ts","sourceRoot":"","sources":["../../src/ink/banner.ts"],"names":[],"mappings":"AAcA,OAAO,EAAsC,KAAK,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAC5G,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,EAAe,KAAK,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAmCjE;;;iDAGiD;AACjD,wBAAgB,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAU9C;AAwBD,MAAM,WAAW,aAAa;IAC5B,MAAM,EAAE,MAAM,CAAC;IACf,MAAM,EAAE,YAAY,CAAC;IACrB,KAAK,EAAE,SAAS,cAAc,EAAE,CAAC;IACjC,GAAG,EAAE,MAAM,CAAC;IACZ,4EAA4E;IAC5E,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,8EAA8E;IAC9E,KAAK,EAAE,OAAO,CAAC;CAChB;AAED;yCACyC;AACzC,wBAAgB,WAAW,CAAC,IAAI,EAAE,aAAa,GAAG,MAAM,CAuCvD;AAED,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,KAAK,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CAAC;CAC5B;AAED;;;uCAGuC;AACvC,wBAAgB,YAAY,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,GAAG,SAAS,CAAC,GAAG,MAAM,CAInG;AAED;;iDAEiD;AACjD,wBAAgB,WAAW,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,aAAa,EAAE,OAAO,GAAG,SAAS,CAAC,GAAG,IAAI,CAGhG"}

package/dist/ink/index.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ink/index.tsx"],"names":[],"mappings":"AAEA,OAAO,KAAsD,MAAM,OAAO,CAAC;AAK3E,OAAO,EAAE,WAAW,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAK/D,MAAM,WAAW,OAAQ,SAAQ,eAAe;IAC9C,OAAO,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,MAAM,CAAC,EAAE;QAAE,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAC1B;AAED;;wEAEwE;AACxE,wBAAgB,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;IAAE,OAAO,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,KAAK,CAAC,YAAY,CAuHnG;AAED,wBAAsB,MAAM,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAkC3D"}
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/ink/index.tsx"],"names":[],"mappings":"AAEA,OAAO,KAAsD,MAAM,OAAO,CAAC;AAK3E,OAAO,EAAE,WAAW,EAAE,KAAK,eAAe,EAAE,MAAM,YAAY,CAAC;AAM/D,MAAM,WAAW,OAAQ,SAAQ,eAAe;IAC9C,OAAO,EAAE,MAAM,CAAC;IAChB,qDAAqD;IACrD,MAAM,CAAC,EAAE;QAAE,EAAE,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC;CAS1B;AAED;;wEAEwE;AACxE,wBAAgB,IAAI,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;IAAE,OAAO,EAAE,WAAW,CAAC;IAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,KAAK,CAAC,YAAY,CA8JnG;AAED,wBAAsB,MAAM,CAAC,IAAI,EAAE,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC,CAyD3D"}

package/dist/ink/index.js

@@ -1,108 +1,34 @@
 import {
-  STANDARD_POLICY,
   TermSession,
-  matchesAnyGlob,
   parseMarkdown
-} from "../chunk-HYWLODZT.js";
-import "../chunk-47IH6X5H.js";
+} from "../chunk-F4ENQXQQ.js";
+import "../chunk-OSJFMQCW.js";
 import {
-  filterCommands
-} from "../chunk-R6AXTD55.js";
-import "../chunk-TCVDVYMF.js";
-import "../chunk-HAQGHLW6.js";
+  filterCommands,
+  parseCommand
+} from "../chunk-VTJEWHM3.js";
+import "../chunk-M44CET5L.js";
+import {
+  formatEndingChange
+} from "../chunk-I44FC7PE.js";
+import "../chunk-IK4ZANNW.js";
+import {
+  formatOrd
+} from "../chunk-2D7G4YW2.js";
+import {
+  sourceLabel
+} from "../chunk-CB5RFNB4.js";
 
 // src/ink/index.tsx
 import { useCallback, useState as useState2, useSyncExternalStore } from "react";
 import { render, useApp, useInput } from "ink";
-
-// ../harness/guardrail/permission-service.ts
-var LEVEL_RANK = { allow: 0, ask: 1, deny: 2 };
-function subjectMatches(tool, glob) {
-  if (tool.address && matchesAnyGlob(tool.address, [glob])) return true;
-  return matchesAnyGlob(tool.name, [glob]);
-}
-function specificity(glob) {
-  const literal = glob.replace(/\*/g, "").length;
-  return (glob.includes("*") ? 0 : 1e4) + literal;
-}
-function matchLevel(tool, rules) {
-  let best;
-  let bestScore = -1;
-  for (const [glob, level] of Object.entries(rules)) {
-    if (!subjectMatches(tool, glob)) continue;
-    const score = specificity(glob);
-    if (score > bestScore) {
-      bestScore = score;
-      best = level;
-    }
-  }
-  return best;
-}
-function mostRestrictive(a, b) {
-  return LEVEL_RANK[a] >= LEVEL_RANK[b] ? a : b;
-}
-var PermissionService = class {
-  policy;
-  prompt;
-  defaultForReadOnly;
-  defaultForMutating;
-  ceiling;
-  sessionAllow = /* @__PURE__ */ new Set();
-  constructor(opts) {
-    this.policy = opts.policy;
-    if (opts.prompt) this.prompt = opts.prompt;
-    this.defaultForReadOnly = opts.defaultForReadOnly ?? "allow";
-    this.defaultForMutating = opts.defaultForMutating ?? "ask";
-    if (opts.ceiling) this.ceiling = opts.ceiling;
-  }
-  /** Pre-approve a tool-name glob for the rest of the session (an "ask" becomes "allow"). */
-  preApprove(toolGlob) {
-    this.sessionAllow.add(toolGlob);
-  }
-  reset() {
-    this.sessionAllow.clear();
-  }
-  async check(tool, input) {
-    const level = this.resolveLevel(tool);
-    return this.decide(level, tool.name, input);
-  }
-  /**
-   * Resolve the effective level. Base precedence (highest first):
-   *   policy.permissions glob > tool.permission > mutates heuristic > policy.defaultPermission.
-   * Then the ceiling clamps to the more restrictive of base and ceiling.
-   */
-  resolveLevel(tool) {
-    return mostRestrictive(this.resolveBaseLevel(tool), this.resolveCeilingLevel(tool));
-  }
-  resolveBaseLevel(tool) {
-    const matched = this.policy.permissions && matchLevel(tool, this.policy.permissions);
-    if (matched) return matched;
-    if (tool.mutates && this.policy.mutatingDefault) return this.policy.mutatingDefault;
-    if (tool.permission) return tool.permission;
-    if (this.policy.defaultPermission) return this.policy.defaultPermission;
-    if (tool.mutates) return this.defaultForMutating;
-    return this.defaultForReadOnly;
-  }
-  resolveCeilingLevel(tool) {
-    const c = this.ceiling;
-    if (!c) return "allow";
-    const matched = c.overrides && matchLevel(tool, c.overrides);
-    if (matched) return matched;
-    return c.defaultLevel ?? "allow";
-  }
-  async decide(level, name, input) {
-    if (level === "allow") return "allow";
-    if (level === "deny") return "deny";
-    if (this.sessionAllow.size && matchesAnyGlob(name, [...this.sessionAllow])) return "allow";
-    if (!this.prompt) return "deny";
-    return this.prompt.ask({ tool: name, input });
-  }
-};
+import { PermissionService as PermissionService2 } from "@corenel/harness/guardrail/permission-service";
+import { STANDARD_POLICY } from "@corenel/harness/guardrail/builtins";
 
 // src/ink/App.tsx
 import { useEffect, useState } from "react";
 import { homedir } from "node:os";
-import { Box as Box4, Static, Text as Text4, useStdout } from "ink";
+import { Box as Box5, Static, Text as Text5, useStdout } from "ink";
 import TextInput from "ink-text-input";
 
 // src/ink/items.tsx
@@ -126,7 +52,16 @@ var glyph = {
   ok: "\u2713",
   fail: "\u2717",
   bar: "\u2502",
-  sep: "\xB7"
+  sep: "\xB7",
+  /** The in-progress marker on a todo row -- the only status among
+   * pending/in_progress/completed/blocked without an existing glyph above. */
+  active: "\u25B8",
+  /** A restored tool row's outcome marker: a resumed conversation has no
+   * recorded success/failure for it (see persist.ts), so it must read as
+   * NEITHER `ok` nor `fail` -- a plain dash, not `sep`, which is this same
+   * row's own leading bullet a few columns to the left and would read as a
+   * second bullet rather than a status. */
+  unknown: "\u2013"
 };
 function tokens(n) {
   return n >= 1e3 ? `${(n / 1e3).toFixed(1)}k` : `${n}`;
@@ -145,7 +80,7 @@ function CommittedRow({ item }) {
         /* @__PURE__ */ jsx(Text, { bold: true, children: item.text })
       ] });
     case "assistant":
-      return /* @__PURE__ */ jsx(Box, { flexDirection: "column", marginTop: 1, children: parseMarkdown(item.text).map((b, i) => /* @__PURE__ */ jsx(MdLine, { block: b }, i)) });
+      return /* @__PURE__ */ jsx(Box, { flexDirection: "column", marginTop: item.leadingBlank ? 1 : 0, children: parseMarkdown(item.text).map((b, i) => /* @__PURE__ */ jsx(MdLine, { block: b }, i)) });
     case "tool":
       return /* @__PURE__ */ jsxs(Box, { flexDirection: "column", children: [
         /* @__PURE__ */ jsxs(Box, { children: [
@@ -153,18 +88,16 @@ function CommittedRow({ item }) {
             glyph.bullet,
             " "
           ] }),
+          /* @__PURE__ */ jsx(Text, { color: palette.dim, children: formatOrd(item.ord) }),
           /* @__PURE__ */ jsx(Text, { color: palette.tool, children: item.name.padEnd(11) }),
           /* @__PURE__ */ jsx(Text, { color: palette.ink, children: item.subject }),
-          /* @__PURE__ */ jsxs(Text, { color: item.isError ? palette.bad : palette.good, children: [
+          /* @__PURE__ */ jsxs(Text, { color: item.restored ? palette.dim : item.isError ? palette.bad : palette.good, children: [
             "  ",
-            item.isError ? glyph.fail : glyph.ok
+            item.restored ? glyph.unknown : item.isError ? glyph.fail : glyph.ok
           ] }),
           /* @__PURE__ */ jsxs(Text, { color: palette.dim, children: [
             item.durationMs !== void 0 ? ` ${(item.durationMs / 1e3).toFixed(1)}s` : "",
-            item.offloadedBytes !== void 0 ? ` offloaded ${Math.round(item.offloadedBytes / 1024)} KB` : "",
-            "  ",
-            "#",
-            item.ord
+            item.offloadedBytes !== void 0 ? ` offloaded ${Math.round(item.offloadedBytes / 1024)} KB` : ""
           ] })
         ] }),
         item.preview.map((line, i) => /* @__PURE__ */ jsxs(Box, { children: [
@@ -173,7 +106,7 @@ function CommittedRow({ item }) {
             glyph.bar,
             " "
           ] }),
-          /* @__PURE__ */ jsx(Text, { color: item.isError ? palette.bad : palette.soft, children: line })
+          /* @__PURE__ */ jsx(Text, { color: !item.restored && item.isError ? palette.bad : palette.soft, children: line })
         ] }, i))
       ] });
     case "note":
@@ -213,18 +146,25 @@ function MdLine({ block }) {
       return /* @__PURE__ */ jsx(Text, { color: palette.soft, children: block.text });
   }
 }
+function deltaTail(delta, max = 80) {
+  const lines = delta.split("\n").map((l) => l.trim()).filter(Boolean);
+  const last = lines.at(-1) ?? "";
+  return last.length > max ? `\u2026${last.slice(-max)}` : last;
+}
 function LiveToolRow({ tool }) {
+  const tail = tool.delta ? deltaTail(tool.delta) : "";
   return /* @__PURE__ */ jsxs(Box, { children: [
     /* @__PURE__ */ jsxs(Text, { color: palette.amber, children: [
       glyph.bullet,
       " "
     ] }),
+    /* @__PURE__ */ jsx(Text, { color: palette.dim, children: formatOrd(tool.ord) }),
     /* @__PURE__ */ jsx(Text, { color: palette.tool, children: tool.name.padEnd(11) }),
     /* @__PURE__ */ jsx(Text, { color: palette.ink, children: tool.subject }),
     /* @__PURE__ */ jsxs(Text, { color: palette.dim, children: [
       "  ",
-      "running\u2026 #",
-      tool.ord
+      "running\u2026",
+      tail ? ` ${tail}` : ""
     ] })
   ] });
 }
@@ -232,6 +172,42 @@ function LiveToolRow({ tool }) {
 // src/ink/Modal.tsx
 import { Box as Box2, Text as Text2 } from "ink";
 import { jsx as jsx2, jsxs as jsxs2 } from "react/jsx-runtime";
+function DiffPreview({ diff }) {
+  const contentUnchanged = diff.added === 0 && diff.removed === 0;
+  const endingRow = diff.endingChange && /* @__PURE__ */ jsx2(Text2, { color: palette.amber, bold: true, children: formatEndingChange(diff.endingChange, contentUnchanged) });
+  const unexplainedRow = diff.unexplainedChange && /* @__PURE__ */ jsx2(Text2, { color: palette.amber, bold: true, children: "the file changes in a way not shown above (e.g. trailing whitespace or encoding)" });
+  if (diff.noop) {
+    return /* @__PURE__ */ jsx2(Text2, { color: palette.dim, children: "(no change -- new content is identical to what's on disk)" });
+  }
+  return /* @__PURE__ */ jsxs2(Box2, { flexDirection: "column", children: [
+    endingRow,
+    unexplainedRow,
+    diff.isNewFile && /* @__PURE__ */ jsx2(Text2, { color: palette.dim, children: "(new file)" }),
+    diff.rows.map((r, i) => {
+      if (r.kind === "skip") {
+        const label = r.reason === "changes" ? `\u2026 ${r.count} more changed line${r.count === 1 ? "" : "s"}` : `\u2026 ${r.count} unchanged line${r.count === 1 ? "" : "s"}`;
+        return /* @__PURE__ */ jsx2(Text2, { color: palette.dim, children: label }, i);
+      }
+      return /* @__PURE__ */ jsxs2(
+        Text2,
+        {
+          color: r.kind === "add" ? palette.good : r.kind === "del" ? palette.bad : palette.dim,
+          children: [
+            r.kind === "add" ? "+ " : r.kind === "del" ? "- " : "  ",
+            r.text
+          ]
+        },
+        i
+      );
+    }),
+    /* @__PURE__ */ jsxs2(Text2, { color: palette.dim, children: [
+      "+",
+      diff.added,
+      " \u2212",
+      diff.removed
+    ] })
+  ] });
+}
 function ModalView({ modal }) {
   if (modal.kind === "permission") {
     return /* @__PURE__ */ jsxs2(Box2, { flexDirection: "column", borderStyle: "round", borderColor: palette.warn, paddingX: 1, children: [
@@ -240,6 +216,7 @@ function ModalView({ modal }) {
         " wants to run"
       ] }),
       /* @__PURE__ */ jsx2(Box2, { marginTop: 1, children: /* @__PURE__ */ jsx2(Text2, { bold: true, children: modal.detail }) }),
+      modal.diff && /* @__PURE__ */ jsx2(Box2, { marginTop: 1, children: /* @__PURE__ */ jsx2(DiffPreview, { diff: modal.diff }) }),
       /* @__PURE__ */ jsxs2(Box2, { marginTop: 1, children: [
         /* @__PURE__ */ jsx2(Text2, { color: palette.good, children: "[y]" }),
         /* @__PURE__ */ jsx2(Text2, { color: palette.dim, children: " run it   " }),
@@ -292,6 +269,74 @@ function PaletteView({ items, selected }) {
   ] });
 }
 
+// src/ink/TodoBlock.tsx
+import { Box as Box4, Text as Text4 } from "ink";
+
+// src/ink/todos.ts
+var DEFAULT_TODO_ROW_CAP = 4;
+function visibleTodos(todos, cap = DEFAULT_TODO_ROW_CAP) {
+  const total = todos.length;
+  const done = todos.filter((t) => t.status === "completed").length;
+  const outstanding = todos.filter((t) => t.status !== "completed");
+  if (outstanding.length === 0) return null;
+  const inProgress = outstanding.filter((t) => t.status === "in_progress");
+  const rest = outstanding.filter((t) => t.status !== "in_progress");
+  const ordered = [...inProgress, ...rest];
+  const header = `todos  ${done}/${total} done`;
+  const rowCap = Math.max(cap, 0);
+  if (ordered.length <= rowCap) {
+    return { header, rows: toRows(ordered), overflow: null };
+  }
+  const shown = Math.max(rowCap - 1, 0);
+  const remaining = ordered.length - shown;
+  return {
+    header,
+    rows: toRows(ordered.slice(0, shown)),
+    overflow: `\u2026 ${remaining} more`
+  };
+}
+function toRows(items) {
+  return items.map((t) => ({ id: t.id, title: t.title, status: t.status }));
+}
+
+// src/ink/TodoBlock.tsx
+import { jsx as jsx4, jsxs as jsxs4 } from "react/jsx-runtime";
+function marker(status) {
+  switch (status) {
+    case "in_progress":
+      return { char: glyph.active, color: palette.amber };
+    case "completed":
+      return { char: glyph.ok, color: palette.good };
+    case "blocked":
+      return { char: glyph.fail, color: palette.bad };
+    case "pending":
+    default:
+      return { char: glyph.bullet, color: palette.dim };
+  }
+}
+function TodoRowView({ row }) {
+  const { char, color } = marker(row.status);
+  return /* @__PURE__ */ jsxs4(Box4, { children: [
+    /* @__PURE__ */ jsxs4(Text4, { color, children: [
+      char,
+      " "
+    ] }),
+    /* @__PURE__ */ jsx4(Text4, { color: row.status === "in_progress" ? palette.ink : palette.soft, children: row.title })
+  ] });
+}
+function TodoBlock({ todos }) {
+  const view = visibleTodos(todos);
+  if (!view) return null;
+  return /* @__PURE__ */ jsxs4(Box4, { flexDirection: "column", marginTop: 1, children: [
+    /* @__PURE__ */ jsx4(Text4, { color: palette.dim, children: view.header }),
+    view.rows.map((row) => /* @__PURE__ */ jsx4(TodoRowView, { row }, row.id)),
+    view.overflow ? /* @__PURE__ */ jsxs4(Text4, { color: palette.dim, children: [
+      "  ",
+      view.overflow
+    ] }) : null
+  ] });
+}
+
 // src/ink/status.ts
 var DEFAULT_COLUMNS = 80;
 var MIN_GAP = 2;
@@ -335,7 +380,7 @@ function fitStatus(left, identity, columns) {
 }
 
 // src/ink/App.tsx
-import { jsx as jsx4, jsxs as jsxs4 } from "react/jsx-runtime";
+import { jsx as jsx5, jsxs as jsxs5 } from "react/jsx-runtime";
 function useColumns() {
   const { stdout } = useStdout();
   const [columns, setColumns] = useState(stdout?.columns ?? DEFAULT_COLUMNS);
@@ -366,28 +411,28 @@ function App(props) {
   const shellSeg = !busy ? ` ${glyph.sep} shell ${props.approveAll ? "auto-approved" : "asks first"}` : "";
   const statusLeft = `  ${statusWord}${roundSeg}${tokenSeg}${escSeg}${queuedSeg}${shellSeg}`;
   const { right: statusRight } = fitStatus(statusLeft, { model: props.model, cwd: props.cwd, home: homedir() }, columns);
-  return /* @__PURE__ */ jsxs4(Box4, { flexDirection: "column", children: [
-    /* @__PURE__ */ jsx4(Static, { items: state.committed, children: (item) => /* @__PURE__ */ jsx4(CommittedRow, { item }, item.id) }, `transcript-${state.transcriptGen}`),
-    state.committed.length === 0 ? /* @__PURE__ */ jsx4(Box4, { marginBottom: 1, children: /* @__PURE__ */ jsxs4(Text4, { color: palette.soft, children: [
-      "Type a request. ",
-      /* @__PURE__ */ jsxs4(Text4, { color: palette.dim, children: [
-        "/help for commands ",
+  return /* @__PURE__ */ jsxs5(Box5, { flexDirection: "column", children: [
+    /* @__PURE__ */ jsx5(Static, { items: state.committed, children: (item) => /* @__PURE__ */ jsx5(CommittedRow, { item }, item.id) }, `transcript-${state.transcriptGen}`),
+    state.live?.tools.map((t) => /* @__PURE__ */ jsx5(LiveToolRow, { tool: t }, t.callId)),
+    state.live?.streaming ? /* @__PURE__ */ jsx5(Box5, { marginTop: 1, children: /* @__PURE__ */ jsx5(Text5, { color: palette.soft, children: state.live.streaming }) }) : null,
+    /* @__PURE__ */ jsx5(TodoBlock, { todos: state.todos }),
+    state.modal ? /* @__PURE__ */ jsx5(Box5, { marginTop: 1, children: /* @__PURE__ */ jsx5(ModalView, { modal: state.modal }) }) : null,
+    paletteItems.length && !state.modal ? /* @__PURE__ */ jsx5(Box5, { marginTop: 1, children: /* @__PURE__ */ jsx5(PaletteView, { items: paletteItems, selected: paletteSelected }) }) : null,
+    state.pendingSkill ? /* @__PURE__ */ jsxs5(Box5, { marginTop: 1, children: [
+      /* @__PURE__ */ jsxs5(Text5, { color: palette.ember, children: [
         glyph.sep,
-        " Ctrl-C stops a turn ",
-        glyph.sep,
-        " Ctrl-D leaves"
-      ] })
-    ] }) }) : null,
-    state.live?.tools.map((t) => /* @__PURE__ */ jsx4(LiveToolRow, { tool: t }, t.callId)),
-    state.live?.streaming ? /* @__PURE__ */ jsx4(Box4, { marginTop: 1, children: /* @__PURE__ */ jsx4(Text4, { color: palette.soft, children: state.live.streaming }) }) : null,
-    state.modal ? /* @__PURE__ */ jsx4(Box4, { marginTop: 1, children: /* @__PURE__ */ jsx4(ModalView, { modal: state.modal }) }) : null,
-    paletteItems.length && !state.modal ? /* @__PURE__ */ jsx4(Box4, { marginTop: 1, children: /* @__PURE__ */ jsx4(PaletteView, { items: paletteItems, selected: paletteSelected }) }) : null,
-    /* @__PURE__ */ jsxs4(Box4, { borderStyle: "round", borderColor: palette.dim, paddingX: 1, marginTop: 1, children: [
-      /* @__PURE__ */ jsxs4(Text4, { color: palette.ember, children: [
+        " skill armed: ",
+        state.pendingSkill,
+        " "
+      ] }),
+      /* @__PURE__ */ jsx5(Text5, { color: palette.dim, children: "-- applies to your next message, then clears" })
+    ] }) : null,
+    /* @__PURE__ */ jsxs5(Box5, { borderStyle: "round", borderColor: palette.dim, paddingX: 1, marginTop: 1, children: [
+      /* @__PURE__ */ jsxs5(Text5, { color: palette.ember, children: [
         glyph.prompt,
         " "
       ] }),
-      /* @__PURE__ */ jsx4(
+      /* @__PURE__ */ jsx5(
         TextInput,
         {
           value: props.value,
@@ -395,24 +440,35 @@ function App(props) {
           onSubmit: state.modal ? props.onAnswer : props.onSubmit,
           placeholder: "",
           focus: props.focus
-        }
+        },
+        props.inputKey
       )
     ] }),
-    /* @__PURE__ */ jsxs4(Box4, { justifyContent: "space-between", children: [
-      /* @__PURE__ */ jsxs4(Box4, { children: [
-        /* @__PURE__ */ jsxs4(Text4, { color: busy ? palette.amber : palette.dim, children: [
+    state.committed.length === 0 ? /* @__PURE__ */ jsx5(Box5, { marginBottom: 1, children: /* @__PURE__ */ jsxs5(Text5, { color: palette.soft, children: [
+      "Type a request. ",
+      /* @__PURE__ */ jsxs5(Text5, { color: palette.dim, children: [
+        "/help for commands ",
+        glyph.sep,
+        " Ctrl-C stops a turn ",
+        glyph.sep,
+        " Ctrl-D leaves"
+      ] })
+    ] }) }) : null,
+    /* @__PURE__ */ jsxs5(Box5, { justifyContent: "space-between", children: [
+      /* @__PURE__ */ jsxs5(Box5, { children: [
+        /* @__PURE__ */ jsxs5(Text5, { color: busy ? palette.amber : palette.dim, children: [
           "  ",
           statusWord
         ] }),
-        /* @__PURE__ */ jsxs4(Text4, { color: palette.dim, children: [
+        /* @__PURE__ */ jsxs5(Text5, { color: palette.dim, children: [
           roundSeg,
           tokenSeg,
           escSeg,
           queuedSeg
         ] }),
-        !busy ? /* @__PURE__ */ jsx4(Text4, { color: props.approveAll ? palette.ember : palette.warn, children: shellSeg }) : null
+        !busy ? /* @__PURE__ */ jsx5(Text5, { color: props.approveAll ? palette.ember : palette.warn, children: shellSeg }) : null
       ] }),
-      statusRight ? /* @__PURE__ */ jsx4(Text4, { color: palette.dim, children: statusRight }) : null
+      statusRight ? /* @__PURE__ */ jsx5(Text5, { color: palette.dim, children: statusRight }) : null
     ] })
   ] });
 }
@@ -423,12 +479,84 @@ function primeScroll(out, opts) {
   if (opts.resuming) return 0;
   const rows = out.rows;
   if (typeof rows !== "number" || !Number.isFinite(rows) || rows <= 0) return 0;
-  out.write("\n".repeat(rows));
-  return rows;
+  const reserve = typeof opts.reserve === "number" && Number.isFinite(opts.reserve) && opts.reserve > 0 ? Math.floor(opts.reserve) : 0;
+  const lines = Math.max(0, rows - reserve);
+  if (lines > 0) out.write("\n".repeat(lines));
+  return lines;
+}
+
+// src/ink/banner.ts
+import { PermissionService } from "@corenel/harness/guardrail/permission-service";
+import { NAMESPACE_LABELS, resolveNamespace } from "@corenel/harness/tools/namespaces";
+var ART = [
+  " \u2588\u2588\u2588\u2588\u2588\u2588  \u2588\u2588\u2588\u2588\u2588\u2588  \u2588\u2588\u2588\u2588\u2588\u2588  \u2588\u2588\u2588\u2588\u2588\u2588\u2588 \u2588\u2588\u2588    \u2588\u2588 \u2588\u2588\u2588\u2588\u2588\u2588\u2588 \u2588\u2588",
+  "\u2588\u2588      \u2588\u2588    \u2588\u2588 \u2588\u2588   \u2588\u2588 \u2588\u2588      \u2588\u2588\u2588\u2588   \u2588\u2588 \u2588\u2588      \u2588\u2588",
+  "\u2588\u2588      \u2588\u2588    \u2588\u2588 \u2588\u2588\u2588\u2588\u2588\u2588  \u2588\u2588\u2588\u2588\u2588   \u2588\u2588 \u2588\u2588  \u2588\u2588 \u2588\u2588\u2588\u2588\u2588   \u2588\u2588",
+  "\u2588\u2588      \u2588\u2588    \u2588\u2588 \u2588\u2588   \u2588\u2588 \u2588\u2588      \u2588\u2588  \u2588\u2588 \u2588\u2588 \u2588\u2588      \u2588\u2588",
+  " \u2588\u2588\u2588\u2588\u2588\u2588  \u2588\u2588\u2588\u2588\u2588\u2588  \u2588\u2588   \u2588\u2588 \u2588\u2588\u2588\u2588\u2588\u2588\u2588 \u2588\u2588   \u2588\u2588\u2588\u2588 \u2588\u2588\u2588\u2588\u2588\u2588\u2588 \u2588\u2588\u2588\u2588\u2588\u2588\u2588"
+];
+var ART_MIN_COLUMNS = Math.max(...ART.map((r) => r.length));
+var WORDMARK = "corenel";
+var DEFAULT_COLUMNS2 = 80;
+var SHELL_SUBJECT = { name: "shell", address: "shell:shell", mutates: true };
+var WRITE_SUBJECT = { name: "write_file", address: "fs:write_file", mutates: true };
+function posture(policy) {
+  const permission = new PermissionService({ policy });
+  const shellLevel = permission.resolveLevel(SHELL_SUBJECT);
+  if (shellLevel === "ask") return "shell asks first";
+  if (shellLevel === "deny") return "shell off";
+  const writeLevel = permission.resolveLevel(WRITE_SUBJECT);
+  if (writeLevel === "allow") return "nothing asks -- unattended";
+  if (writeLevel === "ask") return "shell runs, writes ask";
+  return "shell runs, writes off";
+}
+function toolBreakdown(tools) {
+  const counts = /* @__PURE__ */ new Map();
+  for (const t of tools) {
+    const ns = resolveNamespace(t);
+    counts.set(ns, (counts.get(ns) ?? 0) + 1);
+  }
+  return NAMESPACE_LABELS.filter(({ ns }) => counts.has(ns)).map(({ ns, label }) => `${label} ${counts.get(ns)}`).join(", ");
+}
+function truncateLeft(path, max) {
+  if (path.length <= max) return path;
+  if (max <= 1) return path.slice(-max);
+  return `\u2026${path.slice(path.length - (max - 1))}`;
+}
+function buildBanner(opts) {
+  if (opts.isTTY !== true) return "";
+  const columns = opts.columns !== void 0 && opts.columns > 0 ? opts.columns : DEFAULT_COLUMNS2;
+  const total = opts.tools.length;
+  const breakdown = toolBreakdown(opts.tools);
+  const toolsFull = breakdown ? `${total} tools (${breakdown})` : `${total} tools`;
+  const toolsShort = `${total} tools`;
+  const label = sourceLabel(opts.source);
+  const policySuffix = label ? ` \xB7 policy ${label}` : "";
+  const p = posture(opts.policy);
+  const build = (toolsStr, cwd) => ` ${p} \xB7 ${toolsStr} \xB7 ${cwd}${policySuffix}`;
+  let statusLine = build(toolsFull, opts.cwd);
+  if (statusLine.length > columns) statusLine = build(toolsShort, opts.cwd);
+  if (statusLine.length > columns) {
+    const overshoot = statusLine.length - columns;
+    const budget = Math.max(1, opts.cwd.length - overshoot);
+    statusLine = build(toolsShort, truncateLeft(opts.cwd, budget));
+  }
+  if (statusLine.length > columns) statusLine = statusLine.slice(0, columns);
+  if (columns < ART_MIN_COLUMNS) return [WORDMARK, "", statusLine].join("\n");
+  return [...ART, "", statusLine].join("\n");
+}
+function bannerHeight(out, opts) {
+  const text = buildBanner({ ...opts, isTTY: out.isTTY === true, ...out.columns !== void 0 ? { columns: out.columns } : {} });
+  return text ? text.split("\n").length + 1 : 0;
+}
+function writeBanner(out, opts) {
+  const text = buildBanner({ ...opts, isTTY: out.isTTY === true, ...out.columns !== void 0 ? { columns: out.columns } : {} });
+  if (text) out.write(`${text}
+`);
 }
 
 // src/ink/index.tsx
-import { jsx as jsx5 } from "react/jsx-runtime";
+import { jsx as jsx6 } from "react/jsx-runtime";
 function Root({ session, deps }) {
   const state = useSyncExternalStore(
     useCallback((fn) => session.subscribe(fn), [session]),
@@ -438,6 +566,11 @@ function Root({ session, deps }) {
   const { exit } = useApp();
   const [sawSigint, setSawSigint] = useState2(false);
   const [paletteIndex, setPaletteIndex] = useState2(0);
+  const [fieldGen, setFieldGen] = useState2(0);
+  const completeTo = (v) => {
+    setValue(v);
+    setFieldGen((g) => g + 1);
+  };
   const handleChange = (v) => {
     const cleaned = v.replace(/\x1b/g, "");
     if (state.modal?.kind === "user" && value === "" && cleaned.length === 1) {
@@ -487,7 +620,7 @@ function Root({ session, deps }) {
       }
       if (key.tab) {
         const chosen = paletteItems[Math.min(paletteIndex, paletteItems.length - 1)];
-        if (chosen) setValue(`/${chosen.name} `);
+        if (chosen) completeTo(`/${chosen.name} `);
         setPaletteIndex(0);
         return;
       }
@@ -511,7 +644,7 @@ function Root({ session, deps }) {
     }
     if (sawSigint) setSawSigint(false);
   });
-  return /* @__PURE__ */ jsx5(
+  return /* @__PURE__ */ jsx6(
     App,
     {
       state,
@@ -523,6 +656,22 @@ function Root({ session, deps }) {
       value,
       onChange: handleChange,
       onSubmit: (v) => {
+        const items = v.startsWith("/") ? filterCommands(v) : [];
+        if (items.length > 0 && !parseCommand(v)) {
+          const chosen = items[Math.min(paletteIndex, items.length - 1)];
+          if (chosen) {
+            if (chosen.args) {
+              completeTo(`/${chosen.name} `);
+              setPaletteIndex(0);
+              return;
+            }
+            setValue("");
+            void session.submit(`/${chosen.name}`).then(() => {
+              if (session.wantsExit) exit();
+            });
+            return;
+          }
+        }
         setValue("");
         void session.submit(v).then(() => {
           if (session.wantsExit) exit();
@@ -536,20 +685,31 @@ function Root({ session, deps }) {
         else session.answer(v.trim() ? { [modal.questions[0].header]: [v.trim()] } : null);
       },
       focus: state.modal?.kind !== "permission",
-      paletteSelected: paletteIndex
+      paletteSelected: paletteIndex,
+      inputKey: fieldGen
     }
   );
 }
 async function runTui(deps) {
   const session = new TermSession(deps);
   if (deps.resume) await session.resume(deps.resume.id);
-  const permission = new PermissionService({
-    policy: STANDARD_POLICY,
+  const permission = new PermissionService2({
+    policy: deps.policy ?? STANDARD_POLICY,
     prompt: { ask: (req) => session.askPermission(req) }
   });
   session.attachPermission(permission);
-  primeScroll(process.stdout, { resuming: deps.resume != null });
-  const app = render(/* @__PURE__ */ jsx5(Root, { session, deps }), {
+  const bannerOpts = {
+    policy: deps.policy ?? STANDARD_POLICY,
+    source: deps.policySource ?? { kind: "default" },
+    tools: deps.tools,
+    cwd: deps.cwd
+  };
+  primeScroll(process.stdout, {
+    resuming: deps.resume != null,
+    reserve: bannerHeight(process.stdout, bannerOpts)
+  });
+  writeBanner(process.stdout, bannerOpts);
+  const app = render(/* @__PURE__ */ jsx6(Root, { session, deps }), {
     /* LOAD-BEARING — do not "clean up" or default this away. Ink's own App
      * component (build/components/App.js, handleInput) intercepts the raw
      * \x03 byte and calls handleExit() BEFORE it ever emits the 'input'

package/dist/ink/items.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"items.d.ts","sourceRoot":"","sources":["../../src/ink/items.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAC;AAE1B,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAIxD;gDACgD;AAChD,wBAAgB,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GAAG,KAAK,CAAC,YAAY,CAmDlF;AAiCD,gEAAgE;AAChE,wBAAgB,WAAW,CAAC,EAAE,IAAI,EAAE,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,KAAK,CAAC,YAAY,CAS5E"}
+{"version":3,"file":"items.d.ts","sourceRoot":"","sources":["../../src/ink/items.tsx"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,OAAO,CAAC;AAE1B,OAAO,KAAK,EAAE,aAAa,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAKxD;gDACgD;AAChD,wBAAgB,YAAY,CAAC,EAAE,IAAI,EAAE,EAAE;IAAE,IAAI,EAAE,aAAa,CAAA;CAAE,GAAG,KAAK,CAAC,YAAY,CAwDlF;AA4CD,gEAAgE;AAChE,wBAAgB,WAAW,CAAC,EAAE,IAAI,EAAE,EAAE;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,KAAK,CAAC,YAAY,CAW5E"}