@nail00749/agent-gvozd 0.1.8 → 0.2.1

package/dist/tui.js

@@ -0,0 +1,1080 @@
+// @bun
+// src/tui.tsx
+import { For as For2, Show as Show2, createSignal as createSignal2, onMount as onMount2 } from "solid-js";
+import { Plugin, usePlugin as usePlugin2 } from "@opencode/plugin/tui";
+
+// src/tui-insights.ts
+import { createResource, createSignal, onCleanup, onMount } from "solid-js";
+import { usePlugin } from "@opencode/plugin/tui";
+
+// src/permissions-rpc.ts
+import { Rpc } from "@opencode/plugin/rpc";
+
+// src/tool-permissions.ts
+function family(command, ...variants) {
+  return [command, ...variants].map((entry) => ({
+    exact: entry,
+    wildcard: `${entry} *`
+  }));
+}
+function exactOnly(command, ...variants) {
+  return [command, ...variants].map((entry) => ({ exact: entry, wildcard: entry }));
+}
+var INSPECTION_COMMANDS = [
+  ...family("pwd", "true", "test"),
+  ...family("cat", "head", "tail", "wc", "sort", "uniq"),
+  ...family("grep", "rg", "find", "diff", "cmp"),
+  ...family("ls", "du", "df", "stat", "file", "realpath", "basename", "dirname"),
+  ...family("shasum", "sha256sum", "md5sum"),
+  ...family("uname", "whoami", "hostname", "date", "printenv"),
+  ...family("which", "command -v"),
+  ...family("mktemp"),
+  ...family("tr", "cut", "paste", "column"),
+  ...family("node --version", "python3 --version", "python --version", "deno --version")
+];
+var TOOLCHAIN_COMMANDS = [
+  ...family("bun test", "bun run test", "bun --version"),
+  ...family("bun run typecheck", "bun run lint", "bun run build", "bun run check"),
+  ...family("tsc --noEmit", "npx tsc --noEmit"),
+  ...family("eslint", "biome check", "prettier --check"),
+  ...family("npm test", "npm run test", "npm run typecheck", "npm run lint", "npm run build"),
+  ...family("pnpm test", "pnpm run test", "pnpm run build"),
+  ...family("yarn test", "yarn build"),
+  ...family("vitest run", "jest", "playwright test"),
+  ...family("cargo check", "cargo test", "cargo build", "cargo clippy", "cargo fmt --check", "cargo --version"),
+  ...family("go build ./...", "go test ./...", "go vet ./...", "go version"),
+  ...family("pytest", "python3 -m pytest", "python -m pytest"),
+  ...family("ruff check", "mypy", "pyright"),
+  ...family("mvn test", "mvn verify", "gradle test", "gradle check", "./gradlew test", "./gradlew check"),
+  ...family("make test", "make check", "make build", "make --version"),
+  ...family("just --list")
+];
+var GIT_READONLY_COMMANDS = [
+  ...family("git status", "git status --short", "git status --short --branch", "git status --porcelain", "git status --porcelain=v1 --branch"),
+  ...family("git diff", "git diff --stat", "git diff --cached", "git diff --check"),
+  ...family("git log", "git show"),
+  ...family("git rev-parse", "git rev-list", "git show-ref", "git cat-file"),
+  ...exactOnly("git symbolic-ref HEAD", "git symbolic-ref --short HEAD"),
+  ...family("git ls-files", "git ls-remote", "git grep"),
+  ...exactOnly("git branch", "git tag", "git remote", "git reflog"),
+  ...family("git branch --list", "git branch -l", "git branch -a", "git branch -r", "git branch -v", "git branch -vv", "git branch --all", "git branch --remotes", "git branch --show-current", "git branch --contains"),
+  ...family("git tag --list", "git tag -l", "git tag -n"),
+  ...family("git remote -v", "git remote --verbose", "git remote show", "git remote get-url"),
+  ...family("git reflog show"),
+  ...family("git stash list", "git describe", "git worktree list"),
+  ...family("git config --get", "git config --get-regexp")
+];
+var GIT_MUTATING_COMMANDS = [
+  ...family("git add", "git rm --cached"),
+  ...family("git commit", "git merge --ff-only", "git merge --no-ff"),
+  ...family("git push", "git fetch", "git pull --ff-only"),
+  ...family("git stash", "git cherry-pick", "git revert"),
+  ...family("git switch", "git checkout -b", "git worktree add"),
+  ...exactOnly("git branch *", "git tag *", "git remote *", "git symbolic-ref *", "git reflog *")
+];
+
+// src/permissions-rpc.ts
+var GvozdPermissions = Rpc.define({
+  id: "gvozd-permissions",
+  events: {},
+  methods: {
+    evaluate: {
+      input: {
+        type: "object",
+        properties: {
+          agent: { type: "string" },
+          checks: {
+            type: "array",
+            items: {
+              type: "object",
+              properties: {
+                action: { type: "string" },
+                resources: { type: "array", items: { type: "string" } }
+              },
+              required: ["action", "resources"],
+              additionalProperties: false
+            }
+          }
+        },
+        required: ["agent", "checks"],
+        additionalProperties: false
+      },
+      output: {
+        type: "object",
+        properties: {
+          results: {
+            type: "array",
+            items: {
+              type: "object",
+              properties: {
+                action: { type: "string" },
+                resource: { type: "string" },
+                effect: { type: "string", enum: ["allow", "ask", "deny", "unknown"] },
+                matchedRule: { type: ["string", "null"] }
+              },
+              required: ["action", "resource", "effect", "matchedRule"],
+              additionalProperties: false
+            }
+          }
+        },
+        required: ["results"],
+        additionalProperties: false
+      }
+    }
+  }
+});
+var GvozdLeases = Rpc.define({
+  id: "gvozd-leases",
+  events: {},
+  methods: {
+    list: {
+      input: {
+        type: "object",
+        properties: {},
+        additionalProperties: false
+      },
+      output: {
+        type: "object",
+        properties: {
+          leases: {
+            type: "array",
+            items: {
+              type: "object",
+              properties: {
+                leaseId: { type: "string" },
+                parentSessionID: { type: "string" },
+                sessionID: { type: "string" },
+                agent: { type: "string" },
+                label: { type: "string" },
+                state: { type: "string", enum: ["reserved", "active"] },
+                files: { type: "array", items: { type: "string" } },
+                expiresAt: { type: "number" },
+                lastActivityAt: { type: "number" }
+              },
+              required: ["leaseId", "parentSessionID", "agent", "label", "state", "files", "expiresAt", "lastActivityAt"],
+              additionalProperties: false
+            }
+          }
+        },
+        required: ["leases"],
+        additionalProperties: false
+      }
+    }
+  }
+});
+
+// src/trusted-mode.ts
+import { Rpc as Rpc2 } from "@opencode/plugin/rpc";
+var TRUST_MODES = ["balanced", "trusted", "strict"];
+var GvozdMode = Rpc2.define({
+  id: "gvozd-mode",
+  events: {},
+  methods: {
+    set: {
+      input: {
+        type: "object",
+        properties: {
+          sessionID: { type: "string" },
+          mode: { type: "string", enum: [...TRUST_MODES] }
+        },
+        required: ["sessionID", "mode"],
+        additionalProperties: false
+      },
+      output: {
+        type: "object",
+        properties: {
+          mode: { type: "string", enum: [...TRUST_MODES] }
+        },
+        required: ["mode"],
+        additionalProperties: false
+      }
+    },
+    get: {
+      input: {
+        type: "object",
+        properties: { sessionID: { type: "string" } },
+        required: ["sessionID"],
+        additionalProperties: false
+      },
+      output: {
+        type: "object",
+        properties: {
+          mode: { type: "string", enum: [...TRUST_MODES] }
+        },
+        required: ["mode"],
+        additionalProperties: false
+      }
+    }
+  }
+});
+
+// src/session-insights.ts
+function collectSkillUsages(messages) {
+  if (!messages || messages.length === 0)
+    return [];
+  const byName = new Map;
+  for (const message of messages) {
+    if (message.type !== "skill")
+      continue;
+    const name = message.name || message.skill;
+    if (!name)
+      continue;
+    const time = message.time?.created ?? 0;
+    const existing = byName.get(name);
+    if (existing) {
+      existing.activations += 1;
+      existing.lastUsedAt = Math.max(existing.lastUsedAt, time);
+    } else {
+      byName.set(name, { name, lastUsedAt: time, activations: 1 });
+    }
+  }
+  return [...byName.values()].sort((a, b) => b.lastUsedAt - a.lastUsedAt);
+}
+function collectPermissionUsages(pending, replies) {
+  const byID = new Map;
+  for (const request of pending ?? []) {
+    if (!request || typeof request.id !== "string" || request.id === "")
+      continue;
+    const resources = request.resources ?? [];
+    byID.set(request.id, {
+      id: request.id,
+      action: request.action ?? "",
+      resource: resources[0] ?? "(no resource)",
+      extraResources: Math.max(0, resources.length - 1),
+      pending: true
+    });
+  }
+  for (const reply of replies) {
+    const answered = {
+      id: reply.id,
+      action: reply.action ?? "",
+      resource: reply.resources?.[0] ?? "(no resource)",
+      extraResources: Math.max(0, (reply.resources?.length ?? 1) - 1),
+      pending: false,
+      reply: reply.reply,
+      repliedAt: reply.time
+    };
+    byID.set(reply.id, answered);
+  }
+  const entries = [...byID.values()];
+  return entries.sort((a, b) => {
+    if (a.pending !== b.pending)
+      return a.pending ? -1 : 1;
+    return (b.repliedAt ?? 0) - (a.repliedAt ?? 0);
+  });
+}
+
+// src/session-tools.ts
+function collectSessionTree(rootSessionID, family, status) {
+  if (!family || family.length === 0)
+    return [];
+  const nodes = [];
+  for (const session of family) {
+    if (!session || typeof session.id !== "string")
+      continue;
+    nodes.push({
+      sessionID: session.id,
+      agent: session.agent,
+      model: session.model ? `${session.model.providerID}/${session.model.id}` : undefined,
+      title: session.title,
+      status: status(session.id) ?? "idle",
+      cost: session.cost ?? 0,
+      tokens: (session.tokens?.input ?? 0) + (session.tokens?.output ?? 0) + (session.tokens?.reasoning ?? 0),
+      outcome: session.outcome,
+      isRoot: session.id === rootSessionID
+    });
+  }
+  nodes.sort((a, b) => a.isRoot === b.isRoot ? 0 : a.isRoot ? -1 : 1);
+  return nodes;
+}
+var RECENT_ERROR_LIMIT = 5;
+function collectToolStats(messages) {
+  const counts = new Map;
+  let errors = 0;
+  const recentErrors = [];
+  if (!messages) {
+    return { counts, totalCalls: 0, errors: 0, recentErrors };
+  }
+  for (const message of messages) {
+    if (message.type !== "assistant")
+      continue;
+    for (const part of message.content ?? []) {
+      if (part.type !== "tool")
+        continue;
+      counts.set(part.name, (counts.get(part.name) ?? 0) + 1);
+      if (part.state?.status !== "error")
+        continue;
+      errors += 1;
+      const raw = part.state.error;
+      const message_ = typeof raw === "string" ? raw : raw?.message ?? "";
+      const permission = /permission|denied|rejected/i.test(`${raw?.type ?? ""} ${message_}`);
+      recentErrors.push({
+        tool: part.name,
+        message: message_.replace(/\s+/g, " ").slice(0, 160),
+        permission,
+        time: message.time?.created ?? 0
+      });
+    }
+  }
+  recentErrors.sort((a, b) => b.time - a.time);
+  return {
+    counts,
+    totalCalls: [...counts.values()].reduce((sum, count) => sum + count, 0),
+    errors,
+    recentErrors: recentErrors.slice(0, RECENT_ERROR_LIMIT)
+  };
+}
+function formatFooterStatus(permissions, tree) {
+  const pending = permissions.filter((entry) => entry.pending).length;
+  const running = tree.filter((node) => !node.isRoot && node.status === "running").length;
+  const cost = tree.reduce((sum, node) => sum + node.cost, 0);
+  return [
+    pending > 0 ? `\u23F3${pending} perm` : "",
+    running > 0 ? `\u25CF${running} agents` : "",
+    cost > 0 ? `$${cost.toFixed(2)}` : ""
+  ].filter(Boolean).join(" \xB7 ");
+}
+function topTools(stats, limit = 5) {
+  return [...stats.counts.entries()].map(([name, count]) => ({ name, count })).sort((a, b) => b.count - a.count || a.name.localeCompare(b.name)).slice(0, limit);
+}
+
+// src/tui-insights.ts
+var EMPTY_INSIGHTS = {
+  tree: [],
+  skills: [],
+  permissions: [],
+  tools: { counts: new Map, totalCalls: 0, errors: 0, recentErrors: [] }
+};
+function themeColor(theme, path, fallback = "#808080") {
+  let current = theme;
+  for (const key of path) {
+    if (typeof current !== "object" || current === null)
+      return fallback;
+    current = current[key];
+  }
+  return typeof current === "string" ? current : fallback;
+}
+function relativeTime(timestamp, now) {
+  if (!timestamp)
+    return "";
+  const seconds = Math.max(0, Math.round((now - timestamp) / 1000));
+  if (seconds < 60)
+    return `${seconds}s`;
+  const minutes = Math.round(seconds / 60);
+  if (minutes < 60)
+    return `${minutes}m`;
+  const hours = Math.round(minutes / 60);
+  if (hours < 24)
+    return `${hours}h`;
+  return `${Math.round(hours / 24)}d`;
+}
+function useSessionInsights(sessionID) {
+  const context = usePlugin();
+  const [log, updateLog] = context.storage.store("gvozd.tui.permission-replies", {
+    initial: { replies: {} }
+  });
+  const replies = () => Object.values(log.replies);
+  const recordReply = (record) => {
+    updateReply(record);
+  };
+  const updateReply = async (record) => {
+    await updateLog((draft) => {
+      draft.replies[record.id] = record;
+    });
+  };
+  const [version, setVersion] = createSignal(0);
+  onMount(() => {
+    const stops = [
+      context.data.on("session.skill.activated", (event) => {
+        if (event.data?.sessionID !== sessionID())
+          return;
+        context.data.session.message.invalidate(event.data.sessionID);
+        setVersion((value) => value + 1);
+      }),
+      context.data.on("permission.asked", (event) => {
+        if (event.data?.sessionID !== sessionID())
+          return;
+        context.data.session.permission.sync(event.data.sessionID);
+        setVersion((value) => value + 1);
+      }),
+      context.data.on("permission.replied", (event) => {
+        if (event.data?.sessionID !== sessionID())
+          return;
+        const data = event.data;
+        recordReply({
+          id: data.requestID,
+          reply: data.reply,
+          time: event.created ?? Date.now()
+        });
+        context.data.session.permission.invalidate(data.sessionID);
+        setVersion((value) => value + 1);
+      }),
+      context.data.on("session.execution.succeeded", (event) => {
+        if (event.data?.sessionID !== sessionID())
+          return;
+        context.data.session.message.invalidate(event.data.sessionID);
+        setVersion((value) => value + 1);
+      })
+    ];
+    onCleanup(() => {
+      for (const stop of stops)
+        stop();
+    });
+  });
+  const [resource] = createResource(() => {
+    const id = sessionID();
+    return { id, revision: version() };
+  }, async (key) => {
+    const id = key.id;
+    if (!id)
+      return EMPTY_INSIGHTS;
+    const [messages, pending] = await Promise.allSettled([
+      context.data.session.message.sync(id),
+      context.data.session.permission.sync(id)
+    ]);
+    if (messages.status === "rejected") {
+      console.error("gvozd tui: message sync failed", messages.reason);
+    }
+    if (pending.status === "rejected") {
+      console.error("gvozd tui: permission sync failed", pending.reason);
+    }
+    const sessionList = context.data.session.message.list(id);
+    const family = (sessionID) => {
+      const members = [sessionID, ...context.data.session.family(sessionID).filter((member) => member !== sessionID)];
+      const resolved = [];
+      for (const member of members) {
+        const info = context.data.session.get(member);
+        if (info)
+          resolved.push(info);
+      }
+      return resolved;
+    };
+    return {
+      tree: collectSessionTree(id, family(id), (memberID) => context.data.session.status(memberID) ?? "idle"),
+      skills: collectSkillUsages(sessionList),
+      permissions: collectPermissionUsages(context.data.session.permission.list(id), replies()),
+      tools: collectToolStats(sessionList)
+    };
+  }, { initialValue: EMPTY_INSIGHTS });
+  return resource;
+}
+async function setTrustMode(sessionID, mode) {
+  const context = usePlugin();
+  try {
+    const rpc = context.client.rpc(GvozdMode);
+    return await rpc.set({ sessionID, mode });
+  } catch (error) {
+    console.error("gvozd tui: mode switch failed", error);
+    return;
+  }
+}
+async function listLeases() {
+  const context = usePlugin();
+  try {
+    const rpc = context.client.rpc(GvozdLeases);
+    return await rpc.list();
+  } catch (error) {
+    console.error("gvozd tui: lease list failed", error);
+    return;
+  }
+}
+async function evaluatePermissions(agent, checks) {
+  const context = usePlugin();
+  try {
+    const rpc = context.client.rpc(GvozdPermissions);
+    const input = { agent, checks };
+    return await rpc.evaluate(input);
+  } catch (error) {
+    console.error("gvozd tui: permission dry-run failed", error);
+    return;
+  }
+}
+
+// src/command-pipeline.ts
+function splitCommandPipeline(input) {
+  const segments = [];
+  let current = "";
+  let escaped = false;
+  const contexts = [{ parenDepth: 0 }];
+  let heredoc;
+  const flush = () => {
+    const trimmed = current.trim();
+    if (trimmed)
+      segments.push(trimmed);
+    current = "";
+  };
+  const at = (index) => input[index] ?? "";
+  for (let index = 0;index < input.length; index++) {
+    const character = input[index];
+    if (heredoc) {
+      if (character === `
+`) {
+        const line = current.slice(current.lastIndexOf(`
+`) + 1).replace(/\r$/, "");
+        const candidate = heredoc.stripTabs ? line.replace(/^\t+/, "") : line;
+        if (candidate === heredoc.marker) {
+          heredoc = undefined;
+          current += character;
+          flush();
+          continue;
+        }
+      }
+      current += character;
+      continue;
+    }
+    const context = contexts[contexts.length - 1];
+    if (escaped) {
+      current += character;
+      escaped = false;
+      continue;
+    }
+    if (character === "\\" && context.quote !== "'") {
+      current += character;
+      escaped = true;
+      continue;
+    }
+    if (character === '"' || character === "'") {
+      if (context.quote === character)
+        context.quote = undefined;
+      else if (!context.quote)
+        context.quote = character;
+      current += character;
+      continue;
+    }
+    if (context.quote === "'") {
+      current += character;
+      continue;
+    }
+    if (character === "$" && at(index + 1) === "(") {
+      contexts.push({ closer: ")", parenDepth: 0 });
+      current += "$(";
+      index++;
+      continue;
+    }
+    if (character === "`") {
+      if (context.closer === "`")
+        contexts.pop();
+      else
+        contexts.push({ closer: "`", parenDepth: 0 });
+      current += character;
+      continue;
+    }
+    if (context.closer === ")" && character === "(") {
+      context.parenDepth++;
+      current += character;
+      continue;
+    }
+    if (context.closer === ")" && character === ")") {
+      if (context.parenDepth > 0)
+        context.parenDepth--;
+      else
+        contexts.pop();
+      current += character;
+      continue;
+    }
+    if (contexts.length > 1 || context.quote) {
+      current += character;
+      continue;
+    }
+    if (character === "<" && at(index - 1) !== "<" && at(index + 1) === "<" && at(index + 2) !== "<") {
+      let cursor = index + 2;
+      const stripTabs = input[cursor] === "-";
+      if (stripTabs)
+        cursor++;
+      let marker = "";
+      while (cursor < input.length && /[ \t]/.test(input[cursor]))
+        cursor++;
+      if (input[cursor] === '"' || input[cursor] === "'") {
+        const closeQuote = input[cursor];
+        cursor++;
+        while (cursor < input.length && input[cursor] !== closeQuote)
+          marker += input[cursor++];
+        if (input[cursor] === closeQuote)
+          cursor++;
+      } else {
+        while (cursor < input.length && !/[\s;|&<>()]/.test(input[cursor]))
+          marker += input[cursor++];
+      }
+      if (marker) {
+        heredoc = { marker, stripTabs };
+        current += input.slice(index, cursor);
+        index = cursor - 1;
+        continue;
+      }
+    }
+    if (character === ";" || character === `
+`) {
+      flush();
+      continue;
+    }
+    if (character === "&" || character === "|") {
+      flush();
+      if (input[index + 1] === character)
+        index++;
+      continue;
+    }
+    current += character;
+  }
+  flush();
+  return segments;
+}
+
+// src/tui.tsx
+import { jsxDEV, Fragment } from "@opentui/solid/jsx-dev-runtime";
+function SkillsSection(props) {
+  const context = usePlugin2();
+  const now = Date.now();
+  return /* @__PURE__ */ jsxDEV("box", {
+    flexDirection: "column",
+    children: [
+      /* @__PURE__ */ jsxDEV("text", {
+        fg: themeColor(context.theme, ["text", "muted"]),
+        children: "skills"
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV(For2, {
+        each: props.insights.skills.slice(0, 8),
+        children: (skill) => /* @__PURE__ */ jsxDEV("text", {
+          fg: themeColor(context.theme, ["text", "default"]),
+          children: `\u25B8 ${skill.name} ${relativeTime(skill.lastUsedAt, now)}`
+        }, undefined, false, undefined, this)
+      }, undefined, false, undefined, this)
+    ]
+  }, undefined, true, undefined, this);
+}
+function PermissionsSection(props) {
+  const context = usePlugin2();
+  return /* @__PURE__ */ jsxDEV("box", {
+    flexDirection: "column",
+    children: [
+      /* @__PURE__ */ jsxDEV("text", {
+        fg: themeColor(context.theme, ["text", "muted"]),
+        children: "permissions"
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV(For2, {
+        each: props.insights.permissions.slice(0, 8),
+        children: (entry) => {
+          const marker = entry.pending ? "\u23F3" : entry.reply === "reject" ? "\u2717" : "\u2713";
+          const fg = entry.pending ? themeColor(context.theme, ["text", "default"]) : entry.reply === "reject" ? themeColor(context.theme, ["status", "error"]) : entry.reply === "always" ? themeColor(context.theme, ["status", "success"]) : themeColor(context.theme, ["text", "muted"]);
+          const label = entry.pending ? "" : entry.reply === "always" ? " always" : entry.reply === "reject" ? " reject" : " once";
+          const extra = entry.extraResources > 0 ? ` +${entry.extraResources}` : "";
+          return /* @__PURE__ */ jsxDEV("text", {
+            fg,
+            children: `${marker} ${entry.action} | ${entry.resource}${extra}${label}`
+          }, undefined, false, undefined, this);
+        }
+      }, undefined, false, undefined, this)
+    ]
+  }, undefined, true, undefined, this);
+}
+function SubagentsSection(props) {
+  const context = usePlugin2();
+  const descendants = () => props.insights.tree.filter((node) => !node.isRoot);
+  return /* @__PURE__ */ jsxDEV(Show2, {
+    when: descendants().length > 0,
+    children: /* @__PURE__ */ jsxDEV("box", {
+      flexDirection: "column",
+      children: [
+        /* @__PURE__ */ jsxDEV("text", {
+          fg: themeColor(context.theme, ["text", "muted"]),
+          children: "subagents"
+        }, undefined, false, undefined, this),
+        /* @__PURE__ */ jsxDEV(For2, {
+          each: descendants().slice(0, 8),
+          children: (node) => {
+            const marker = node.status === "running" ? "\u25CF" : node.outcome === "failed" || node.outcome === "interrupted" ? "\u2717" : "\u25CB";
+            const fg = node.status === "running" ? themeColor(context.theme, ["status", "success"]) : node.outcome === "failed" || node.outcome === "interrupted" ? themeColor(context.theme, ["status", "error"]) : themeColor(context.theme, ["text", "muted"]);
+            const model = node.model ? ` ${node.model.split("/").pop()}` : "";
+            const cost = node.cost > 0 ? ` $${node.cost.toFixed(2)}` : "";
+            return /* @__PURE__ */ jsxDEV("text", {
+              fg,
+              children: `${marker} ${node.agent ?? "?"}${model}${cost}`
+            }, undefined, false, undefined, this);
+          }
+        }, undefined, false, undefined, this)
+      ]
+    }, undefined, true, undefined, this)
+  }, undefined, false, undefined, this);
+}
+function ToolsSection(props) {
+  const context = usePlugin2();
+  const ranked = () => topTools(props.insights.tools, 5);
+  return /* @__PURE__ */ jsxDEV(Show2, {
+    when: props.insights.tools.totalCalls > 0,
+    children: /* @__PURE__ */ jsxDEV("box", {
+      flexDirection: "column",
+      children: [
+        /* @__PURE__ */ jsxDEV("text", {
+          fg: themeColor(context.theme, ["text", "muted"]),
+          children: "tools"
+        }, undefined, false, undefined, this),
+        /* @__PURE__ */ jsxDEV(For2, {
+          each: ranked(),
+          children: (tool) => /* @__PURE__ */ jsxDEV("text", {
+            fg: themeColor(context.theme, ["text", "default"]),
+            children: `\u25B8 ${tool.name} \xD7${tool.count}`
+          }, undefined, false, undefined, this)
+        }, undefined, false, undefined, this),
+        /* @__PURE__ */ jsxDEV(Show2, {
+          when: props.insights.tools.errors > 0,
+          children: /* @__PURE__ */ jsxDEV("text", {
+            fg: themeColor(context.theme, ["status", "error"]),
+            children: `${props.insights.tools.errors} error(s), ${props.insights.tools.recentErrors.filter((error) => error.permission).length} permission`
+          }, undefined, false, undefined, this)
+        }, undefined, false, undefined, this)
+      ]
+    }, undefined, true, undefined, this)
+  }, undefined, false, undefined, this);
+}
+function SessionInsightsSlot(props) {
+  const insights = useSessionInsights(() => props.sessionID);
+  const current = () => insights.latest ?? EMPTY_INSIGHTS;
+  return /* @__PURE__ */ jsxDEV(Show2, {
+    when: current().skills.length > 0 || current().permissions.length > 0 || current().tree.some((node) => !node.isRoot) || current().tools.totalCalls > 0,
+    children: /* @__PURE__ */ jsxDEV("box", {
+      flexDirection: "column",
+      marginTop: 1,
+      children: [
+        /* @__PURE__ */ jsxDEV(Show2, {
+          when: current().tree.some((node) => !node.isRoot),
+          children: /* @__PURE__ */ jsxDEV(SubagentsSection, {
+            insights: current()
+          }, undefined, false, undefined, this)
+        }, undefined, false, undefined, this),
+        /* @__PURE__ */ jsxDEV(Show2, {
+          when: current().skills.length > 0,
+          children: /* @__PURE__ */ jsxDEV(SkillsSection, {
+            insights: current()
+          }, undefined, false, undefined, this)
+        }, undefined, false, undefined, this),
+        /* @__PURE__ */ jsxDEV(Show2, {
+          when: current().permissions.length > 0,
+          children: /* @__PURE__ */ jsxDEV(PermissionsSection, {
+            insights: current()
+          }, undefined, false, undefined, this)
+        }, undefined, false, undefined, this),
+        /* @__PURE__ */ jsxDEV(Show2, {
+          when: current().tools.totalCalls > 0,
+          children: /* @__PURE__ */ jsxDEV(ToolsSection, {
+            insights: current()
+          }, undefined, false, undefined, this)
+        }, undefined, false, undefined, this)
+      ]
+    }, undefined, true, undefined, this)
+  }, undefined, false, undefined, this);
+}
+function DryRunPanel() {
+  const context = usePlugin2();
+  const [input, setInput] = createSignal2("");
+  const [agent] = createSignal2("master");
+  const [rows, setRows] = createSignal2([]);
+  const [busy, setBusy] = createSignal2(false);
+  const run = async () => {
+    const command = input().trim();
+    if (!command || busy())
+      return;
+    setBusy(true);
+    try {
+      const segments = splitCommandPipeline(command);
+      const output = await evaluatePermissions(agent(), [{ action: "shell", resources: segments }]);
+      if (output) {
+        setRows((current) => [
+          ...output.results.map((result) => ({
+            command: result.resource,
+            effect: result.effect,
+            matchedRule: result.matchedRule
+          })),
+          ...current
+        ].slice(0, 20));
+      }
+    } finally {
+      setBusy(false);
+    }
+  };
+  return /* @__PURE__ */ jsxDEV("box", {
+    flexDirection: "column",
+    padding: 1,
+    children: [
+      /* @__PURE__ */ jsxDEV("text", {
+        fg: themeColor(context.theme, ["text", "default"]),
+        children: "gvozd permission dry-run"
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV("text", {
+        fg: themeColor(context.theme, ["text", "muted"]),
+        children: `agent: ${agent()} \u2014 type a shell command and press enter`
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV("input", {
+        placeholder: "git diff HEAD",
+        onInput: (value) => setInput(value),
+        onSubmit: () => void run()
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV(For2, {
+        each: rows(),
+        children: (row) => {
+          const fg = row.effect === "deny" ? themeColor(context.theme, ["status", "error"]) : row.effect === "allow" ? themeColor(context.theme, ["status", "success"]) : themeColor(context.theme, ["text", "default"]);
+          return /* @__PURE__ */ jsxDEV("text", {
+            fg,
+            children: `${row.effect.padEnd(7)} ${row.command}${row.matchedRule ? `  \u2190 ${row.matchedRule}` : ""}`
+          }, undefined, false, undefined, this);
+        }
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV(Show2, {
+        when: rows().length === 0 && !busy(),
+        children: /* @__PURE__ */ jsxDEV("text", {
+          fg: themeColor(context.theme, ["text", "muted"]),
+          children: "no evaluations yet"
+        }, undefined, false, undefined, this)
+      }, undefined, false, undefined, this)
+    ]
+  }, undefined, true, undefined, this);
+}
+function LeasePanel() {
+  const context = usePlugin2();
+  const [snapshot, setSnapshot] = createSignal2();
+  const [busy, setBusy] = createSignal2(false);
+  const refresh = async () => {
+    setBusy(true);
+    try {
+      setSnapshot(await listLeases());
+    } finally {
+      setBusy(false);
+    }
+  };
+  onMount2(() => void refresh());
+  return /* @__PURE__ */ jsxDEV("box", {
+    flexDirection: "column",
+    padding: 1,
+    children: [
+      /* @__PURE__ */ jsxDEV("text", {
+        fg: themeColor(context.theme, ["text", "default"]),
+        children: "gvozd file leases"
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV(Show2, {
+        when: !busy(),
+        fallback: /* @__PURE__ */ jsxDEV("text", {
+          fg: themeColor(context.theme, ["text", "muted"]),
+          children: "refreshing\u2026"
+        }, undefined, false, undefined, this),
+        children: /* @__PURE__ */ jsxDEV(Show2, {
+          when: (snapshot()?.leases.length ?? 0) > 0,
+          fallback: /* @__PURE__ */ jsxDEV("text", {
+            fg: themeColor(context.theme, ["text", "muted"]),
+            children: "no leases \u2014 writers run without reservations"
+          }, undefined, false, undefined, this),
+          children: /* @__PURE__ */ jsxDEV(For2, {
+            each: snapshot()?.leases ?? [],
+            children: (lease) => /* @__PURE__ */ jsxDEV("text", {
+              children: [
+                /* @__PURE__ */ jsxDEV("span", {
+                  style: { fg: lease.state === "active" ? themeColor(context.theme, ["status", "success"]) : themeColor(context.theme, ["text", "muted"]) },
+                  children: `${lease.state === "active" ? "\u25CF" : "\u25CB"} ${lease.agent} ${lease.label} ${lease.files.length}f `
+                }, undefined, false, undefined, this),
+                /* @__PURE__ */ jsxDEV("span", {
+                  style: { fg: themeColor(context.theme, ["text", "muted"]) },
+                  children: `ttl ${relativeTime(lease.expiresAt, Date.now())}`
+                }, undefined, false, undefined, this)
+              ]
+            }, undefined, true, undefined, this)
+          }, undefined, false, undefined, this)
+        }, undefined, false, undefined, this)
+      }, undefined, false, undefined, this)
+    ]
+  }, undefined, true, undefined, this);
+}
+function FullscreenPanel() {
+  const context = usePlugin2();
+  const [sessionID, setSessionID] = createSignal2(undefined);
+  const route = context.ui.router.current();
+  if (route.type === "session")
+    setSessionID(route.sessionID);
+  const insights = useSessionInsights(sessionID);
+  const current = () => insights.latest ?? EMPTY_INSIGHTS;
+  return /* @__PURE__ */ jsxDEV("box", {
+    flexDirection: "column",
+    padding: 1,
+    children: [
+      /* @__PURE__ */ jsxDEV("text", {
+        fg: themeColor(context.theme, ["text", "default"]),
+        children: "gvozd session insights"
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV(Show2, {
+        when: sessionID(),
+        fallback: /* @__PURE__ */ jsxDEV("text", {
+          fg: themeColor(context.theme, ["text", "muted"]),
+          children: "open inside a session to see insights"
+        }, undefined, false, undefined, this),
+        children: /* @__PURE__ */ jsxDEV("box", {
+          flexDirection: "column",
+          children: [
+            /* @__PURE__ */ jsxDEV(SubagentsSection, {
+              insights: current()
+            }, undefined, false, undefined, this),
+            /* @__PURE__ */ jsxDEV(SkillsSection, {
+              insights: current()
+            }, undefined, false, undefined, this),
+            /* @__PURE__ */ jsxDEV(PermissionsSection, {
+              insights: current()
+            }, undefined, false, undefined, this),
+            /* @__PURE__ */ jsxDEV(ToolsSection, {
+              insights: current()
+            }, undefined, false, undefined, this)
+          ]
+        }, undefined, true, undefined, this)
+      }, undefined, false, undefined, this)
+    ]
+  }, undefined, true, undefined, this);
+}
+function FooterStatusSlot(props) {
+  const insights = useSessionInsights(() => props.sessionID);
+  const current = () => insights.latest ?? EMPTY_INSIGHTS;
+  const context = usePlugin2();
+  const running = () => current().tree.filter((node) => !node.isRoot && node.status === "running").length;
+  const pending = () => current().permissions.filter((entry) => entry.pending).length;
+  const cost = () => current().tree.reduce((sum, node) => sum + node.cost, 0);
+  return /* @__PURE__ */ jsxDEV(Show2, {
+    when: running() > 0 || pending() > 0 || cost() > 0,
+    children: /* @__PURE__ */ jsxDEV("text", {
+      fg: themeColor(context.theme, ["text", "muted"]),
+      children: formatFooterStatus(current().permissions, current().tree)
+    }, undefined, false, undefined, this)
+  }, undefined, false, undefined, this);
+}
+function ModePanel() {
+  const context = usePlugin2();
+  const route = context.ui.router.current();
+  const sessionID = route.type === "session" ? route.sessionID : undefined;
+  const [applied, setApplied] = createSignal2();
+  const [busy, setBusy] = createSignal2(false);
+  const apply = async (mode) => {
+    if (!sessionID || busy())
+      return;
+    setBusy(true);
+    try {
+      const result = await setTrustMode(sessionID, mode);
+      if (result)
+        setApplied(result.mode);
+    } finally {
+      setBusy(false);
+    }
+  };
+  return /* @__PURE__ */ jsxDEV("box", {
+    flexDirection: "column",
+    padding: 1,
+    children: [
+      /* @__PURE__ */ jsxDEV("text", {
+        fg: themeColor(context.theme, ["text", "default"]),
+        children: "gvozd permission mode"
+      }, undefined, false, undefined, this),
+      /* @__PURE__ */ jsxDEV(Show2, {
+        when: sessionID,
+        fallback: /* @__PURE__ */ jsxDEV("text", {
+          fg: themeColor(context.theme, ["text", "muted"]),
+          children: "open inside a session to switch modes"
+        }, undefined, false, undefined, this),
+        children: /* @__PURE__ */ jsxDEV("box", {
+          flexDirection: "column",
+          children: [
+            /* @__PURE__ */ jsxDEV("text", {
+              fg: themeColor(context.theme, ["text", "default"]),
+              children: busy() ? "applying\u2026" : "select a posture (enter to apply):"
+            }, undefined, false, undefined, this),
+            /* @__PURE__ */ jsxDEV(For2, {
+              each: ["balanced", "trusted", "strict"],
+              children: (mode) => /* @__PURE__ */ jsxDEV("text", {
+                fg: themeColor(context.theme, ["text", "default"]),
+                children: `\u25B8 ${mode}: ${MODE_HINTS[mode]}`
+              }, undefined, false, undefined, this)
+            }, undefined, false, undefined, this),
+            /* @__PURE__ */ jsxDEV(Show2, {
+              when: applied(),
+              children: /* @__PURE__ */ jsxDEV("text", {
+                fg: themeColor(context.theme, ["status", "success"]),
+                children: `applied: ${applied()} \u2014 child sessions inherit it`
+              }, undefined, false, undefined, this)
+            }, undefined, false, undefined, this)
+          ]
+        }, undefined, true, undefined, this)
+      }, undefined, false, undefined, this)
+    ]
+  }, undefined, true, undefined, this);
+}
+var MODE_HINTS = {
+  balanced: "ask for unknown shell and edits (current default)",
+  trusted: "allow all shell and edits; destructive git still denied",
+  strict: "ask for every shell command and edit"
+};
+function KeymapCommands() {
+  const context = usePlugin2();
+  context.keymap.layer(() => ({
+    mode: "global",
+    commands: GVOZD_COMMANDS.map((command) => ({
+      id: command.id,
+      title: command.title,
+      group: "Gvozd",
+      palette: true,
+      slash: { name: command.slash },
+      run: () => {
+        context.ui.panel.open(command.panel, { presentation: "fullscreen" });
+      }
+    }))
+  }));
+  return null;
+}
+var GVOZD_COMMANDS = [
+  { id: "gvozd.insights", title: "Gvozd session insights", panel: "gvozd.insights", slash: "gvozd" },
+  { id: "gvozd.dryrun", title: "Gvozd permission dry-run", panel: "gvozd.dryrun", slash: "gvozd-dryrun" },
+  { id: "gvozd.leases", title: "Gvozd file leases", panel: "gvozd.leases", slash: "gvozd-leases" },
+  { id: "gvozd.mode", title: "Gvozd permission mode", panel: "gvozd.mode", slash: "gvozd-mode" }
+];
+var tui_default = Plugin.define({
+  id: "agent-gvozd",
+  setup(context) {
+    const unregisterSidebar = context.ui.slot({
+      append: "sidebar.content",
+      render: ({ sessionID }) => /* @__PURE__ */ jsxDEV(SessionInsightsSlot, {
+        sessionID
+      }, undefined, false, undefined, this)
+    });
+    const unregisterFooter = context.ui.slot({
+      append: "prompt.footer.status",
+      render: ({ sessionID }) => sessionID ? /* @__PURE__ */ jsxDEV(FooterStatusSlot, {
+        sessionID
+      }, undefined, false, undefined, this) : null
+    });
+    const unregisterKeymapHost = context.ui.slot({
+      append: "app",
+      render: () => /* @__PURE__ */ jsxDEV(KeymapCommands, {}, undefined, false, undefined, this)
+    });
+    const unregisterPanelSlot = context.ui.slot({
+      append: "session.panel",
+      render: (panel) => /* @__PURE__ */ jsxDEV(Fragment, {
+        children: [
+          /* @__PURE__ */ jsxDEV(Show2, {
+            when: panel.name === "gvozd.insights",
+            children: /* @__PURE__ */ jsxDEV(FullscreenPanel, {}, undefined, false, undefined, this)
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV(Show2, {
+            when: panel.name === "gvozd.dryrun",
+            children: /* @__PURE__ */ jsxDEV(DryRunPanel, {}, undefined, false, undefined, this)
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV(Show2, {
+            when: panel.name === "gvozd.leases",
+            children: /* @__PURE__ */ jsxDEV(LeasePanel, {}, undefined, false, undefined, this)
+          }, undefined, false, undefined, this),
+          /* @__PURE__ */ jsxDEV(Show2, {
+            when: panel.name === "gvozd.mode",
+            children: /* @__PURE__ */ jsxDEV(ModePanel, {}, undefined, false, undefined, this)
+          }, undefined, false, undefined, this)
+        ]
+      }, undefined, true, undefined, this)
+    });
+    return () => {
+      unregisterSidebar();
+      unregisterFooter();
+      unregisterPanelSlot();
+      unregisterKeymapHost();
+    };
+  }
+});
+export {
+  tui_default as default
+};