@cortexkit/aft-pi 0.14.0 → 0.15.0

package/dist/tools/ast.d.ts

@@ -2,11 +2,37 @@
  * ast_grep_search + ast_grep_replace — AST-aware pattern search/rewrite.
  * 6 languages: typescript, tsx, javascript, python, rust, go.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const SearchParams: import("@sinclair/typebox").TObject<{
+    pattern: import("@sinclair/typebox").TString;
+    lang: import("@sinclair/typebox").TUnsafe<"go" | "typescript" | "tsx" | "javascript" | "python" | "rust">;
+    paths: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    globs: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    contextLines: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TNumber>;
+}>;
+declare const ReplaceParams: import("@sinclair/typebox").TObject<{
+    pattern: import("@sinclair/typebox").TString;
+    rewrite: import("@sinclair/typebox").TString;
+    lang: import("@sinclair/typebox").TUnsafe<"go" | "typescript" | "tsx" | "javascript" | "python" | "rust">;
+    paths: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    globs: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    dryRun: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TBoolean>;
+}>;
 export interface AstSurface {
     astSearch: boolean;
     astReplace: boolean;
 }
+/** Exported for renderer unit tests. */
+export declare function buildAstSearchSections(payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function buildAstReplaceSections(payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderAstCall(toolName: "ast_grep_search" | "ast_grep_replace", args: Static<typeof SearchParams> | Static<typeof ReplaceParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderAstResult(toolName: "ast_grep_search" | "ast_grep_replace", result: AgentToolResult<unknown>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerAstTools(pi: ExtensionAPI, ctx: PluginContext, surface: AstSurface): void;
+export {};
 //# sourceMappingURL=ast.d.ts.map

package/dist/tools/ast.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/tools/ast.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAiCjD,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,GAAG,IAAI,CA0DhG"}
+{"version":3,"file":"ast.d.ts","sourceRoot":"","sources":["../../src/tools/ast.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EASL,KAAK,iBAAiB,EAMvB,MAAM,qBAAqB,CAAC;AAM7B,QAAA,MAAM,YAAY;;;;;;EAehB,CAAC;AAEH,QAAA,MAAM,aAAa;;;;;;;EAOjB,CAAC;AAEH,MAAM,WAAW,UAAU;IACzB,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;CACrB;AAED,wCAAwC;AACxC,wBAAgB,sBAAsB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,EAAE,CAgD/E;AAED,wCAAwC;AACxC,wBAAgB,uBAAuB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,EAAE,CAiDhF;AAED,wCAAwC;AACxC,wBAAgB,aAAa,CAC3B,QAAQ,EAAE,iBAAiB,GAAG,kBAAkB,EAChD,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,GAAG,MAAM,CAAC,OAAO,aAAa,CAAC,EAChE,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAa3B;AAED,wCAAwC;AACxC,wBAAgB,eAAe,CAC7B,QAAQ,EAAE,iBAAiB,GAAG,kBAAkB,EAChD,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAiB3B;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,UAAU,GAAG,IAAI,CAsEhG"}

package/dist/tools/conflicts.d.ts

@@ -3,5 +3,14 @@
  */
 import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike, renderErrorResult, renderToolCall } from "./render-helpers.js";
+/** Exported for renderer unit tests. */
+export declare function renderConflictCall(theme: Parameters<typeof renderToolCall>[2], context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function buildConflictSections(text: string): string[];
+/** Exported for renderer unit tests. */
+export declare function renderConflictResult(text: string, theme: Parameters<typeof renderToolCall>[2], context: RenderContextLike): import("@mariozechner/pi-tui").Container;
+/** Exported for renderer unit tests. */
+export declare function renderConflictToolResult(result: Parameters<typeof renderErrorResult>[0], theme: Parameters<typeof renderToolCall>[2], context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerConflictsTool(pi: ExtensionAPI, ctx: PluginContext): void;
 //# sourceMappingURL=conflicts.d.ts.map

package/dist/tools/conflicts.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"conflicts.d.ts","sourceRoot":"","sources":["../../src/tools/conflicts.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAKjD,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAahF"}
+{"version":3,"file":"conflicts.d.ts","sourceRoot":"","sources":["../../src/tools/conflicts.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAEL,KAAK,iBAAiB,EACtB,iBAAiB,EAEjB,cAAc,EACf,MAAM,qBAAqB,CAAC;AAI7B,wCAAwC;AACxC,wBAAgB,kBAAkB,CAChC,KAAK,EAAE,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC,EAC3C,OAAO,EAAE,iBAAiB,uCAG3B;AAED,wCAAwC;AACxC,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CAe5D;AAED,wCAAwC;AACxC,wBAAgB,oBAAoB,CAClC,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC,EAC3C,OAAO,EAAE,iBAAiB,4CAM3B;AAED,wCAAwC;AACxC,wBAAgB,wBAAwB,CACtC,MAAM,EAAE,UAAU,CAAC,OAAO,iBAAiB,CAAC,CAAC,CAAC,CAAC,EAC/C,KAAK,EAAE,UAAU,CAAC,OAAO,cAAc,CAAC,CAAC,CAAC,CAAC,EAC3C,OAAO,EAAE,iBAAiB,kFAI3B;AAED,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAmBhF"}

package/dist/tools/diff-format.d.ts

@@ -0,0 +1,24 @@
+/**
+ * Diff formatting helpers for Pi hoisted tool renderers.
+ *
+ * Mirrors the output shape Pi's built-in `renderDiff` expects:
+ *   "+NN content"   for added lines
+ *   "-NN content"   for removed lines
+ *   " NN content"   for context lines
+ *   " NN ..."       for context truncation markers
+ *
+ * We don't re-export Pi's internal `generateDiffString` because it isn't
+ * public. Reimplementing it as a thin wrapper around the `diff` npm package
+ * (also used by Pi itself) is ~40 lines and keeps us decoupled from Pi's
+ * private internals.
+ */
+export interface FormattedDiff {
+    diff: string;
+    firstChangedLine: number | undefined;
+}
+/**
+ * Generate a line-numbered diff string suitable for Pi's `renderDiff`.
+ * Matches the format of Pi's built-in edit tool result.
+ */
+export declare function formatDiffForPi(oldContent: string, newContent: string, contextLines?: number): FormattedDiff;
+//# sourceMappingURL=diff-format.d.ts.map

package/dist/tools/diff-format.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"diff-format.d.ts","sourceRoot":"","sources":["../../src/tools/diff-format.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,MAAM,WAAW,aAAa;IAC5B,IAAI,EAAE,MAAM,CAAC;IACb,gBAAgB,EAAE,MAAM,GAAG,SAAS,CAAC;CACtC;AAID;;;GAGG;AACH,wBAAgB,eAAe,CAC7B,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,MAAM,EAClB,YAAY,SAAwB,GACnC,aAAa,CAsGf"}

package/dist/tools/fs.d.ts

@@ -2,11 +2,25 @@
  * aft_delete + aft_move — filesystem ops with per-file backup.
  * Both go through Rust so backups and checkpoint rollback work the same way.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const DeleteParams: import("@sinclair/typebox").TObject<{
+    filePath: import("@sinclair/typebox").TString;
+}>;
+declare const MoveParams: import("@sinclair/typebox").TObject<{
+    filePath: import("@sinclair/typebox").TString;
+    destination: import("@sinclair/typebox").TString;
+}>;
 export interface FsSurface {
     delete: boolean;
     move: boolean;
 }
+/** Exported for renderer unit tests. */
+export declare function renderFsCall(toolName: "aft_delete" | "aft_move", args: Static<typeof DeleteParams> | Static<typeof MoveParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderFsResult(toolName: "aft_delete" | "aft_move", args: Static<typeof DeleteParams> | Static<typeof MoveParams>, result: AgentToolResult<unknown>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerFsTools(pi: ExtensionAPI, ctx: PluginContext, surface: FsSurface): void;
+export {};
 //# sourceMappingURL=fs.d.ts.map

package/dist/tools/fs.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fs.d.ts","sourceRoot":"","sources":["../../src/tools/fs.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAYjD,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,wBAAgB,eAAe,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,GAAG,IAAI,CA6C9F"}
+{"version":3,"file":"fs.d.ts","sourceRoot":"","sources":["../../src/tools/fs.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAEL,KAAK,iBAAiB,EAKvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,YAAY;;EAEhB,CAAC;AAEH,QAAA,MAAM,UAAU;;;EAGd,CAAC;AAEH,MAAM,WAAW,SAAS;IACxB,MAAM,EAAE,OAAO,CAAC;IAChB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,wCAAwC;AACxC,wBAAgB,YAAY,CAC1B,QAAQ,EAAE,YAAY,GAAG,UAAU,EACnC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,GAAG,MAAM,CAAC,OAAO,UAAU,CAAC,EAC7D,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAkB3B;AAED,wCAAwC;AACxC,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,YAAY,GAAG,UAAU,EACnC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,GAAG,MAAM,CAAC,OAAO,UAAU,CAAC,EAC7D,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAsB3B;AAED,wBAAgB,eAAe,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,EAAE,OAAO,EAAE,SAAS,GAAG,IAAI,CAyD9F"}

package/dist/tools/hoisted.d.ts

@@ -2,8 +2,21 @@
  * Hoisted tool overrides — replace Pi's built-in read/write/edit/grep with
  * AFT-backed Rust implementations. Registering a tool with the same name as
  * a built-in replaces the built-in entirely.
+ *
+ * Each tool provides:
+ *  - `promptSnippet` / `promptGuidelines`: teach the model our argument shape
+ *    in Pi's system prompt (Pi's built-ins use generic one-liners otherwise).
+ *  - `renderCall` / `renderResult` for `write` and `edit`: without these,
+ *    Pi's ToolExecutionComponent falls back to the *built-in* renderer for
+ *    same-named tools, which reads `path` and `edits[]` and garbles our
+ *    `filePath` / `oldString` / `newString` output (issue #15).
+ *  - Structured `details: { diff, firstChangedLine }` so the rendered diff
+ *    also ends up in the agent's message stream, matching Pi's convention.
+ *
+ * `read` and `grep` keep the default text-only result rendering because our
+ * payload (`path`, `pattern`) already aligns with Pi's built-in arg shape.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import { type AgentToolResult, type ExtensionAPI } from "@mariozechner/pi-coding-agent";
 import type { PluginContext } from "../types.js";
 export interface ToolSurfaceFlags {
     hoistRead: boolean;
@@ -11,5 +24,28 @@ export interface ToolSurfaceFlags {
     hoistEdit: boolean;
     hoistGrep: boolean;
 }
+/** Details surfaced to both renderer and agent message stream. */
+interface FileMutationDetails {
+    diff?: string;
+    firstChangedLine?: number;
+    additions: number;
+    deletions: number;
+    replacements?: number;
+    diagnostics?: unknown[];
+    /**
+     * True when Rust returned `diff.truncated = true` — the before/after strings
+     * were omitted because the file exceeded the diff size cap, so we have no
+     * line-level diff to render. Both the agent-facing text and the TUI renderer
+     * surface this explicitly rather than silently showing a summary.
+     */
+    truncated?: boolean;
+}
 export declare function registerHoistedTools(pi: ExtensionAPI, ctx: PluginContext, surface: ToolSurfaceFlags): void;
+/**
+ * Shape the bridge `edit_match` / `write` response into an `AgentToolResult`
+ * Pi can render. Exported for unit tests covering truncation and diagnostics
+ * behavior without spinning up a real bridge.
+ */
+export declare function buildMutationResult(filePath: string, response: Record<string, unknown>): AgentToolResult<FileMutationDetails>;
+export {};
 //# sourceMappingURL=hoisted.d.ts.map

package/dist/tools/hoisted.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"hoisted.d.ts","sourceRoot":"","sources":["../../src/tools/hoisted.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAIH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AA0CjD,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;IACpB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,YAAY,EAChB,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,gBAAgB,GACxB,IAAI,CAgJN"}
+{"version":3,"file":"hoisted.d.ts","sourceRoot":"","sources":["../../src/tools/hoisted.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;GAiBG;AAKH,OAAO,EACL,KAAK,eAAe,EACpB,KAAK,YAAY,EAGlB,MAAM,+BAA+B,CAAC;AAGvC,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAqDjD,MAAM,WAAW,gBAAgB;IAC/B,SAAS,EAAE,OAAO,CAAC;IACnB,UAAU,EAAE,OAAO,CAAC;IACpB,SAAS,EAAE,OAAO,CAAC;IACnB,SAAS,EAAE,OAAO,CAAC;CACpB;AAED,kEAAkE;AAClE,UAAU,mBAAmB;IAC3B,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,gBAAgB,CAAC,EAAE,MAAM,CAAC;IAC1B,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,YAAY,CAAC,EAAE,MAAM,CAAC;IACtB,WAAW,CAAC,EAAE,OAAO,EAAE,CAAC;IACxB;;;;;OAKG;IACH,SAAS,CAAC,EAAE,OAAO,CAAC;CACrB;AAED,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,YAAY,EAChB,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,gBAAgB,GACxB,IAAI,CA8IN;AAMD;;;;GAIG;AACH,wBAAgB,mBAAmB,CACjC,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAChC,eAAe,CAAC,mBAAmB,CAAC,CA6DtC"}

package/dist/tools/imports.d.ts

@@ -2,7 +2,27 @@
  * aft_import — language-aware import add/remove/organize.
  * Supports TS, JS, TSX, Python, Rust, Go.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const ImportParams: import("@sinclair/typebox").TObject<{
+    op: import("@sinclair/typebox").TUnsafe<"add" | "remove" | "organize">;
+    filePath: import("@sinclair/typebox").TString;
+    module: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    names: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    defaultImport: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    removeName: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    typeOnly: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TBoolean>;
+    dryRun: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TBoolean>;
+    validate: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnsafe<"syntax" | "full">>;
+}>;
+/** Exported for renderer unit tests. */
+export declare function buildImportSections(args: Static<typeof ImportParams>, payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderImportCall(args: Static<typeof ImportParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderImportResult(result: AgentToolResult<unknown>, args: Static<typeof ImportParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerImportTools(pi: ExtensionAPI, ctx: PluginContext): void;
+export {};
 //# sourceMappingURL=imports.d.ts.map

package/dist/tools/imports.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../src/tools/imports.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAyBjD,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAoC9E"}
+{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../src/tools/imports.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAOL,KAAK,iBAAiB,EAIvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,YAAY;;;;;;;;;;EAoBhB,CAAC;AAEH,wCAAwC;AACxC,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACX,MAAM,EAAE,CA8CV;AAED,wCAAwC;AACxC,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAU3B;AAED,wCAAwC;AACxC,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAK3B;AAED,wBAAgB,mBAAmB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CA0C9E"}

package/dist/tools/lsp.d.ts

@@ -3,7 +3,22 @@
  * Edit/write flows already inject diagnostics inline; this tool is for
  * explicit checks on a file or directory.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const LspDiagnosticsParams: import("@sinclair/typebox").TObject<{
+    filePath: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    directory: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    severity: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnsafe<"error" | "all" | "warning" | "information" | "hint">>;
+    waitMs: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TNumber>;
+}>;
+/** Exported for renderer unit tests. */
+export declare function buildDiagnosticsSections(payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderDiagnosticsCall(args: Static<typeof LspDiagnosticsParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderDiagnosticsResult(result: AgentToolResult<unknown>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerLspTools(pi: ExtensionAPI, ctx: PluginContext): void;
+export {};
 //# sourceMappingURL=lsp.d.ts.map

package/dist/tools/lsp.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lsp.d.ts","sourceRoot":"","sources":["../../src/tools/lsp.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAwBjD,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CA+B3E"}
+{"version":3,"file":"lsp.d.ts","sourceRoot":"","sources":["../../src/tools/lsp.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EASL,KAAK,iBAAiB,EAMvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,oBAAoB;;;;;EAmBxB,CAAC;AAEH,wCAAwC;AACxC,wBAAgB,wBAAwB,CAAC,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,EAAE,CAyCjF;AAED,wCAAwC;AACxC,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,CAAC,OAAO,oBAAoB,CAAC,EACzC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAU3B;AAED,wCAAwC;AACxC,wBAAgB,uBAAuB,CACrC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAI3B;AAED,wBAAgB,gBAAgB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAqC3E"}

package/dist/tools/navigate.d.ts

@@ -2,7 +2,23 @@
  * aft_navigate — call-graph navigation across files.
  * Ops: call_tree, callers, trace_to, impact, trace_data.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const NavigateParams: import("@sinclair/typebox").TObject<{
+    op: import("@sinclair/typebox").TUnsafe<"call_tree" | "callers" | "trace_to" | "impact" | "trace_data">;
+    filePath: import("@sinclair/typebox").TString;
+    symbol: import("@sinclair/typebox").TString;
+    depth: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TNumber>;
+    expression: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+}>;
+/** Exported for renderer unit tests. */
+export declare function buildNavigateSections(args: Static<typeof NavigateParams>, payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderNavigateCall(args: Static<typeof NavigateParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderNavigateResult(result: AgentToolResult<unknown>, args: Static<typeof NavigateParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerNavigateTool(pi: ExtensionAPI, ctx: PluginContext): void;
+export {};
 //# sourceMappingURL=navigate.d.ts.map

package/dist/tools/navigate.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"navigate.d.ts","sourceRoot":"","sources":["../../src/tools/navigate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAejD,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CA6B/E"}
+{"version":3,"file":"navigate.d.ts","sourceRoot":"","sources":["../../src/tools/navigate.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAQL,KAAK,iBAAiB,EAKvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,cAAc;;;;;;EAUlB,CAAC;AAgCH,wCAAwC;AACxC,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,EACnC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACX,MAAM,EAAE,CA0FV;AAED,wCAAwC;AACxC,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,EACnC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAU3B;AAED,wCAAwC;AACxC,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,IAAI,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,EACnC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAO3B;AAED,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAmC/E"}

package/dist/tools/reading.d.ts

@@ -2,11 +2,37 @@
  * AFT reading tools: aft_outline + aft_zoom.
  * Structural overview and symbol/section inspection.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const OutlineParams: import("@sinclair/typebox").TObject<{
+    filePath: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    files: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    directory: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+}>;
+declare const ZoomParams: import("@sinclair/typebox").TObject<{
+    filePath: import("@sinclair/typebox").TString;
+    symbol: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    symbols: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    contextLines: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TNumber>;
+}>;
 export interface ReadingSurface {
     outline: boolean;
     zoom: boolean;
 }
+/** Exported for renderer unit tests. */
+export declare function buildOutlineSections(text: string, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function buildZoomSections(args: Static<typeof ZoomParams>, payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderOutlineCall(args: Static<typeof OutlineParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderOutlineResult(result: AgentToolResult<unknown>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
+/** Exported for renderer unit tests. */
+export declare function renderZoomCall(args: Static<typeof ZoomParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderZoomResult(result: AgentToolResult<unknown>, args: Static<typeof ZoomParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerReadingTools(pi: ExtensionAPI, ctx: PluginContext, surface: ReadingSurface): void;
+export {};
 //# sourceMappingURL=reading.d.ts.map

package/dist/tools/reading.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reading.d.ts","sourceRoot":"","sources":["../../src/tools/reading.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAGlE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AA8BjD,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,YAAY,EAChB,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,cAAc,GACtB,IAAI,CAmGN"}
+{"version":3,"file":"reading.d.ts","sourceRoot":"","sources":["../../src/tools/reading.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAIH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AAEtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAOL,KAAK,iBAAiB,EAKvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,aAAa;;;;EAYjB,CAAC;AAEH,QAAA,MAAM,UAAU;;;;;EAWd,CAAC;AAEH,MAAM,WAAW,cAAc;IAC7B,OAAO,EAAE,OAAO,CAAC;IACjB,IAAI,EAAE,OAAO,CAAC;CACf;AAED,wCAAwC;AACxC,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,MAAM,EAAE,CAOzE;AAED,wCAAwC;AACxC,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,CAAC,OAAO,UAAU,CAAC,EAC/B,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACX,MAAM,EAAE,CA4DV;AAED,wCAAwC;AACxC,wBAAgB,iBAAiB,CAC/B,IAAI,EAAE,MAAM,CAAC,OAAO,aAAa,CAAC,EAClC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAU3B;AAED,wCAAwC;AACxC,wBAAgB,mBAAmB,CACjC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAI3B;AAED,wCAAwC;AACxC,wBAAgB,cAAc,CAC5B,IAAI,EAAE,MAAM,CAAC,OAAO,UAAU,CAAC,EAC/B,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAQ3B;AAED,wCAAwC;AACxC,wBAAgB,gBAAgB,CAC9B,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,IAAI,EAAE,MAAM,CAAC,OAAO,UAAU,CAAC,EAC/B,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAI3B;AAED,wBAAgB,oBAAoB,CAClC,EAAE,EAAE,YAAY,EAChB,GAAG,EAAE,aAAa,EAClB,OAAO,EAAE,cAAc,GACtB,IAAI,CA+GN"}

package/dist/tools/refactor.d.ts

@@ -2,7 +2,28 @@
  * aft_refactor — workspace-wide refactoring.
  * Ops: move (symbol across files), extract (lines → function), inline (call site).
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const RefactorParams: import("@sinclair/typebox").TObject<{
+    op: import("@sinclair/typebox").TUnsafe<"move" | "extract" | "inline">;
+    filePath: import("@sinclair/typebox").TString;
+    symbol: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    destination: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    scope: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    name: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    startLine: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TNumber>;
+    endLine: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TNumber>;
+    callSiteLine: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TNumber>;
+    dryRun: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TBoolean>;
+}>;
+/** Exported for renderer unit tests. */
+export declare function buildRefactorSections(args: Static<typeof RefactorParams>, payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderRefactorCall(args: Static<typeof RefactorParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderRefactorResult(result: AgentToolResult<unknown>, args: Static<typeof RefactorParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerRefactorTool(pi: ExtensionAPI, ctx: PluginContext): void;
+export {};
 //# sourceMappingURL=refactor.d.ts.map

package/dist/tools/refactor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"refactor.d.ts","sourceRoot":"","sources":["../../src/tools/refactor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAgBjD,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAoC/E"}
+{"version":3,"file":"refactor.d.ts","sourceRoot":"","sources":["../../src/tools/refactor.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAOL,KAAK,iBAAiB,EAMvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,cAAc;;;;;;;;;;;EAWlB,CAAC;AAEH,wCAAwC;AACxC,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,EACnC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACX,MAAM,EAAE,CAiDV;AAED,wCAAwC;AACxC,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,EACnC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAU3B;AAED,wCAAwC;AACxC,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,IAAI,EAAE,MAAM,CAAC,OAAO,cAAc,CAAC,EACnC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAO3B;AAED,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CA0C/E"}

package/dist/tools/render-helpers.d.ts

@@ -0,0 +1,36 @@
+/**
+ * Shared Pi TUI rendering helpers for AFT-backed tools.
+ */
+import { type AgentToolResult, type Theme } from "@mariozechner/pi-coding-agent";
+import { type Component, Container, Text } from "@mariozechner/pi-tui";
+export interface RenderContextLike<TArgs = unknown> {
+    args: TArgs;
+    lastComponent: Component | undefined;
+    isError: boolean;
+}
+export declare function reuseText(last: Component | undefined): Text;
+export declare function reuseContainer(last: Component | undefined): Container;
+export declare function shortenPath(path: string): string;
+export declare function renderToolCall(toolName: string, summary: string | undefined, theme: Theme, context: RenderContextLike): Text;
+export declare function accentPath(theme: Theme, path: string | undefined): string;
+export declare function collectTextContent(result: AgentToolResult<unknown>): string;
+export declare function extractStructuredPayload(result: AgentToolResult<unknown>): unknown;
+export declare function renderErrorResult(result: AgentToolResult<unknown>, fallback: string, theme: Theme, context: RenderContextLike): Text;
+export declare function renderTextResult(textValue: string, context: RenderContextLike): Text;
+export declare function renderSections(sections: string[], context: RenderContextLike): Container;
+export declare function asRecord(value: unknown): Record<string, unknown> | undefined;
+export declare function asRecords(value: unknown): Record<string, unknown>[];
+export declare function asString(value: unknown): string | undefined;
+export declare function asNumber(value: unknown): number | undefined;
+export declare function asBoolean(value: unknown): boolean | undefined;
+export declare function joinNonEmpty(parts: Array<string | undefined>, separator?: string): string;
+export declare function indentBlock(text: string, spaces?: number): string;
+export declare function formatValue(value: unknown): string;
+export declare function groupByFile<T>(items: T[], getFile: (item: T) => string | undefined): Map<string, T[]>;
+export declare function distinctCount(values: Array<string | undefined>): number;
+export declare function severityBadge(theme: Theme, severity: string): string;
+export declare function formatLineRange(startLine?: number, endLine?: number): string | undefined;
+export declare function formatTimestamp(value: unknown): string | undefined;
+export declare function formatUnifiedDiffForPi(unifiedDiff: string): string;
+export declare function renderUnifiedDiff(unifiedDiff: string): string;
+//# sourceMappingURL=render-helpers.d.ts.map

package/dist/tools/render-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"render-helpers.d.ts","sourceRoot":"","sources":["../../src/tools/render-helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,EAAE,KAAK,eAAe,EAAc,KAAK,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC7F,OAAO,EAAE,KAAK,SAAS,EAAE,SAAS,EAAU,IAAI,EAAE,MAAM,sBAAsB,CAAC;AAE/E,MAAM,WAAW,iBAAiB,CAAC,KAAK,GAAG,OAAO;IAChD,IAAI,EAAE,KAAK,CAAC;IACZ,aAAa,EAAE,SAAS,GAAG,SAAS,CAAC;IACrC,OAAO,EAAE,OAAO,CAAC;CAClB;AAED,wBAAgB,SAAS,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,IAAI,CAE3D;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,GAAG,SAAS,CAErE;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAIhD;AAED,wBAAgB,cAAc,CAC5B,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,GACzB,IAAI,CAKN;AAED,wBAAgB,UAAU,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,MAAM,GAAG,SAAS,GAAG,MAAM,CAGzE;AAED,wBAAgB,kBAAkB,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,GAAG,MAAM,CAM3E;AAED,wBAAgB,wBAAwB,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,GAAG,OAAO,CASlF;AAED,wBAAgB,iBAAiB,CAC/B,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,GACzB,IAAI,CAKN;AAED,wBAAgB,gBAAgB,CAAC,SAAS,EAAE,MAAM,EAAE,OAAO,EAAE,iBAAiB,GAAG,IAAI,CAIpF;AAED,wBAAgB,cAAc,CAAC,QAAQ,EAAE,MAAM,EAAE,EAAE,OAAO,EAAE,iBAAiB,GAAG,SAAS,CAYxF;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,SAAS,CAG5E;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,CAInE;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAE3D;AAED,wBAAgB,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAE3D;AAED,wBAAgB,SAAS,CAAC,KAAK,EAAE,OAAO,GAAG,OAAO,GAAG,SAAS,CAE7D;AAED,wBAAgB,YAAY,CAAC,KAAK,EAAE,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,SAAS,SAAQ,GAAG,MAAM,CAExF;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,SAAI,GAAG,MAAM,CAM5D;AAED,wBAAgB,WAAW,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,CAUlD;AAED,wBAAgB,WAAW,CAAC,CAAC,EAC3B,KAAK,EAAE,CAAC,EAAE,EACV,OAAO,EAAE,CAAC,IAAI,EAAE,CAAC,KAAK,MAAM,GAAG,SAAS,GACvC,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC,CASlB;AAED,wBAAgB,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,MAAM,GAAG,SAAS,CAAC,GAAG,MAAM,CAEvE;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,MAAM,GAAG,MAAM,CAcpE;AAED,wBAAgB,eAAe,CAAC,SAAS,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAIxF;AAED,wBAAgB,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,GAAG,SAAS,CAOlE;AAED,wBAAgB,sBAAsB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CA6ClE;AAED,wBAAgB,iBAAiB,CAAC,WAAW,EAAE,MAAM,GAAG,MAAM,CAQ7D"}

package/dist/tools/safety.d.ts

@@ -1,7 +1,22 @@
 /**
  * aft_safety — per-file undo, named checkpoints, restore, list, history.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const SafetyParams: import("@sinclair/typebox").TObject<{
+    op: import("@sinclair/typebox").TUnsafe<"undo" | "history" | "checkpoint" | "restore" | "list">;
+    filePath: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    name: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    files: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+}>;
+/** Exported for renderer unit tests. */
+export declare function buildSafetySections(args: Static<typeof SafetyParams>, payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderSafetyCall(args: Static<typeof SafetyParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderSafetyResult(result: AgentToolResult<unknown>, args: Static<typeof SafetyParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerSafetyTool(pi: ExtensionAPI, ctx: PluginContext): void;
+export {};
 //# sourceMappingURL=safety.d.ts.map

package/dist/tools/safety.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"safety.d.ts","sourceRoot":"","sources":["../../src/tools/safety.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAkBjD,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAoC7E"}
+{"version":3,"file":"safety.d.ts","sourceRoot":"","sources":["../../src/tools/safety.ts"],"names":[],"mappings":"AAAA;;GAEG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAQL,KAAK,iBAAiB,EAKvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,YAAY;;;;;EAahB,CAAC;AAEH,wCAAwC;AACxC,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACX,MAAM,EAAE,CAsEV;AAED,wCAAwC;AACxC,wBAAgB,gBAAgB,CAC9B,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAO3B;AAED,wCAAwC;AACxC,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAO3B;AAED,wBAAgB,kBAAkB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAwD7E"}

package/dist/tools/semantic.d.ts

@@ -3,7 +3,20 @@
  * Only registered when config.experimental_semantic_search is enabled AND
  * the ONNX runtime / configured backend is available.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const SearchParams: import("@sinclair/typebox").TObject<{
+    query: import("@sinclair/typebox").TString;
+    topK: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TNumber>;
+}>;
+/** Exported for renderer unit tests. */
+export declare function buildSemanticSections(args: Static<typeof SearchParams>, payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderSemanticCall(args: Static<typeof SearchParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderSemanticResult(result: AgentToolResult<unknown>, args: Static<typeof SearchParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerSemanticTool(pi: ExtensionAPI, ctx: PluginContext): void;
+export {};
 //# sourceMappingURL=semantic.d.ts.map

package/dist/tools/semantic.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"semantic.d.ts","sourceRoot":"","sources":["../../src/tools/semantic.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAUjD,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAqB/E"}
+{"version":3,"file":"semantic.d.ts","sourceRoot":"","sources":["../../src/tools/semantic.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAOL,KAAK,iBAAiB,EAKvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,YAAY;;;EAKhB,CAAC;AAEH,wCAAwC;AACxC,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACX,MAAM,EAAE,CA6CV;AAED,wCAAwC;AACxC,wBAAgB,kBAAkB,CAChC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAG3B;AAED,wCAAwC;AACxC,wBAAgB,oBAAoB,CAClC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,IAAI,EAAE,MAAM,CAAC,OAAO,YAAY,CAAC,EACjC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAO3B;AAED,wBAAgB,oBAAoB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CA2B/E"}

package/dist/tools/structure.d.ts

@@ -2,7 +2,32 @@
  * aft_transform — scope-aware structural code transformations.
  * Ops: add_member, add_derive, wrap_try_catch, add_decorator, add_struct_tags.
  */
-import type { ExtensionAPI } from "@mariozechner/pi-coding-agent";
+import type { AgentToolResult, ExtensionAPI, Theme } from "@mariozechner/pi-coding-agent";
+import { type Static } from "@sinclair/typebox";
 import type { PluginContext } from "../types.js";
+import { type RenderContextLike } from "./render-helpers.js";
+declare const TransformParams: import("@sinclair/typebox").TObject<{
+    op: import("@sinclair/typebox").TUnsafe<"add_member" | "add_derive" | "wrap_try_catch" | "add_decorator" | "add_struct_tags">;
+    filePath: import("@sinclair/typebox").TString;
+    container: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    code: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    target: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    derives: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TArray<import("@sinclair/typebox").TString>>;
+    catchBody: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    decorator: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    field: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    tag: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    value: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    position: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TString>;
+    dryRun: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TBoolean>;
+    validate: import("@sinclair/typebox").TOptional<import("@sinclair/typebox").TUnsafe<"syntax" | "full">>;
+}>;
+/** Exported for renderer unit tests. */
+export declare function buildTransformSections(args: Static<typeof TransformParams>, payload: unknown, theme: Theme): string[];
+/** Exported for renderer unit tests. */
+export declare function renderTransformCall(args: Static<typeof TransformParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text;
+/** Exported for renderer unit tests. */
+export declare function renderTransformResult(result: AgentToolResult<unknown>, args: Static<typeof TransformParams>, theme: Theme, context: RenderContextLike): import("@mariozechner/pi-tui").Text | import("@mariozechner/pi-tui").Container;
 export declare function registerStructureTool(pi: ExtensionAPI, ctx: PluginContext): void;
+export {};
 //# sourceMappingURL=structure.d.ts.map

package/dist/tools/structure.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"structure.d.ts","sourceRoot":"","sources":["../../src/tools/structure.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,+BAA+B,CAAC;AAElE,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAsCjD,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAiChF"}
+{"version":3,"file":"structure.d.ts","sourceRoot":"","sources":["../../src/tools/structure.ts"],"names":[],"mappings":"AAAA;;;GAGG;AAGH,OAAO,KAAK,EAAE,eAAe,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,+BAA+B,CAAC;AAC1F,OAAO,EAAE,KAAK,MAAM,EAAQ,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,aAAa,CAAC;AAEjD,OAAO,EAKL,KAAK,iBAAiB,EAIvB,MAAM,qBAAqB,CAAC;AAE7B,QAAA,MAAM,eAAe;;;;;;;;;;;;;;;EAiCnB,CAAC;AAEH,wCAAwC;AACxC,wBAAgB,sBAAsB,CACpC,IAAI,EAAE,MAAM,CAAC,OAAO,eAAe,CAAC,EACpC,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACX,MAAM,EAAE,CAwBV;AAED,wCAAwC;AACxC,wBAAgB,mBAAmB,CACjC,IAAI,EAAE,MAAM,CAAC,OAAO,eAAe,CAAC,EACpC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,uCAW3B;AAED,wCAAwC;AACxC,wBAAgB,qBAAqB,CACnC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,EAChC,IAAI,EAAE,MAAM,CAAC,OAAO,eAAe,CAAC,EACpC,KAAK,EAAE,KAAK,EACZ,OAAO,EAAE,iBAAiB,kFAO3B;AAED,wBAAgB,qBAAqB,CAAC,EAAE,EAAE,YAAY,EAAE,GAAG,EAAE,aAAa,GAAG,IAAI,CAuChF"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@cortexkit/aft-pi",
-  "version": "0.14.0",
+  "version": "0.15.0",
   "type": "module",
   "description": "Pi coding agent extension for Agent File Tools (AFT) — tree-sitter and LSP-powered code analysis",
   "main": "dist/index.js",
@@ -15,29 +15,32 @@
     "README.md"
   ],
   "scripts": {
-    "build": "bun build src/index.ts --outdir dist --target node --format esm --external @mariozechner/pi-coding-agent --external @mariozechner/pi-ai --external @mariozechner/pi-tui --external @sinclair/typebox && tsc --emitDeclarationOnly",
+    "build": "bun build src/index.ts --outdir dist --target node --format esm --external @mariozechner/pi-coding-agent --external @mariozechner/pi-ai --external @mariozechner/pi-tui --external @sinclair/typebox --external diff && tsc --emitDeclarationOnly",
     "typecheck": "tsc --noEmit",
     "test": "bun test src/__tests__/",
     "prepublishOnly": "bun run build"
   },
   "dependencies": {
-    "@sinclair/typebox": "^0.34.33"
+    "@sinclair/typebox": "^0.34.33",
+    "diff": "^8.0.4"
   },
   "optionalDependencies": {
-    "@cortexkit/aft-darwin-arm64": "0.14.0",
-    "@cortexkit/aft-darwin-x64": "0.14.0",
-    "@cortexkit/aft-linux-arm64": "0.14.0",
-    "@cortexkit/aft-linux-x64": "0.14.0",
-    "@cortexkit/aft-win32-x64": "0.14.0"
+    "@cortexkit/aft-darwin-arm64": "0.15.0",
+    "@cortexkit/aft-darwin-x64": "0.15.0",
+    "@cortexkit/aft-linux-arm64": "0.15.0",
+    "@cortexkit/aft-linux-x64": "0.15.0",
+    "@cortexkit/aft-win32-x64": "0.15.0"
   },
   "devDependencies": {
     "@mariozechner/pi-coding-agent": "*",
     "@mariozechner/pi-ai": "*",
+    "@mariozechner/pi-tui": "*",
     "@types/node": "^22.0.0",
     "typescript": "^5.8.0"
   },
   "peerDependencies": {
-    "@mariozechner/pi-coding-agent": "*"
+    "@mariozechner/pi-coding-agent": "*",
+    "@mariozechner/pi-tui": "*"
   },
   "exports": {
     ".": {