@vextlabs/theron-cli 0.1.0

package/dist/tools/index.js

@@ -0,0 +1,180 @@
+// Tool registry — schemas (sent to the model as JSON tool defs) +
+// local executors (run in this Node process against the user's repo).
+//
+// The executor takes parsed args and returns a string (success) or
+// throws (error). The CLI loop sends the result back to the council
+// as the next turn's tool_result content block.
+import { execRead } from "./read.js";
+import { execWrite } from "./write.js";
+import { execEdit } from "./edit.js";
+import { execBash } from "./bash.js";
+import { execGlob } from "./glob.js";
+import { execGrep } from "./grep.js";
+import { execLs } from "./ls.js";
+import { execStoa, STOA_TOOL_DESCRIBE, STOA_TOOL_SCHEMA } from "./stoa.js";
+export const TOOL_REGISTRY = {
+    Read: {
+        name: "Read",
+        confirmPolicy: "never",
+        execute: (args, ctx) => execRead(args, ctx),
+        describe: (args) => `Reading ${args.file_path}`,
+    },
+    Write: {
+        name: "Write",
+        confirmPolicy: "always",
+        execute: (args, ctx) => execWrite(args, ctx),
+        describe: (args) => `Writing ${args.file_path}`,
+    },
+    Edit: {
+        name: "Edit",
+        confirmPolicy: "always",
+        execute: (args, ctx) => execEdit(args, ctx),
+        describe: (args) => `Editing ${args.file_path}`,
+    },
+    Bash: {
+        name: "Bash",
+        confirmPolicy: "always",
+        execute: (args, ctx) => execBash(args, ctx),
+        describe: (args) => `Running: ${args.description || args.command?.slice(0, 80)}`,
+    },
+    Glob: {
+        name: "Glob",
+        confirmPolicy: "never",
+        execute: (args, ctx) => execGlob(args, ctx),
+        describe: (args) => `Glob ${args.pattern}`,
+    },
+    Grep: {
+        name: "Grep",
+        confirmPolicy: "never",
+        execute: (args, ctx) => execGrep(args, ctx),
+        describe: (args) => `Grep "${args.pattern?.slice(0, 60)}"`,
+    },
+    LS: {
+        name: "LS",
+        confirmPolicy: "never",
+        execute: (args, ctx) => execLs(args, ctx),
+        describe: (args) => `Listing ${args.path || "."}`,
+    },
+    Stoa: {
+        name: "Stoa",
+        // Stoa calls hit a real SaaS — ask for confirmation by default.
+        // Once we have per-cap cost caps + receipt review, we can flip
+        // low-risk read-only caps to "never" automatically.
+        confirmPolicy: "always",
+        execute: (args, ctx) => execStoa(args, ctx),
+        describe: STOA_TOOL_DESCRIBE,
+    },
+};
+export const TOOL_SCHEMAS = [
+    {
+        type: "function",
+        function: {
+            name: "Read",
+            description: "Read a file from the user's local working directory. Returns the file contents as text. Use offset/limit to page through large files (1-indexed lines). Errors if the path is outside the repo or doesn't exist.",
+            parameters: {
+                type: "object",
+                properties: {
+                    file_path: { type: "string", description: "Absolute or repo-relative path." },
+                    offset: { type: "number", description: "Optional 1-indexed line to start reading from." },
+                    limit: { type: "number", description: "Optional max lines to read." },
+                },
+                required: ["file_path"],
+            },
+        },
+    },
+    {
+        type: "function",
+        function: {
+            name: "Write",
+            description: "Write a file to the user's local working directory. Creates or overwrites. Asks the user for confirmation before each write unless --yes is passed.",
+            parameters: {
+                type: "object",
+                properties: {
+                    file_path: { type: "string" },
+                    content: { type: "string", description: "Full file contents — overwrites whatever was there." },
+                },
+                required: ["file_path", "content"],
+            },
+        },
+    },
+    {
+        type: "function",
+        function: {
+            name: "Edit",
+            description: "Replace an exact substring in a file. old_string must appear EXACTLY ONCE (or set replace_all=true). The CLI shows a diff and asks for confirmation unless --yes.",
+            parameters: {
+                type: "object",
+                properties: {
+                    file_path: { type: "string" },
+                    old_string: { type: "string" },
+                    new_string: { type: "string" },
+                    replace_all: { type: "boolean", default: false },
+                },
+                required: ["file_path", "old_string", "new_string"],
+            },
+        },
+    },
+    {
+        type: "function",
+        function: {
+            name: "Bash",
+            description: "Run a shell command in the user's working directory. Returns stdout + stderr + exit code. Asks for confirmation unless --yes. Has a default 120s timeout.",
+            parameters: {
+                type: "object",
+                properties: {
+                    command: { type: "string" },
+                    timeout: { type: "number", description: "Timeout in ms (default 120000, max 600000)." },
+                    description: { type: "string", description: "Short label for what the command does, shown to the user." },
+                },
+                required: ["command"],
+            },
+        },
+    },
+    {
+        type: "function",
+        function: {
+            name: "Glob",
+            description: "Find files by glob pattern. Returns paths sorted by mtime descending. Use to locate files when you don't know exact names.",
+            parameters: {
+                type: "object",
+                properties: {
+                    pattern: { type: "string", description: "Glob like 'src/**/*.ts'." },
+                    path: { type: "string", description: "Root to search from (default cwd)." },
+                },
+                required: ["pattern"],
+            },
+        },
+    },
+    {
+        type: "function",
+        function: {
+            name: "Grep",
+            description: "Search file contents with a regex. Returns matching lines with file:line prefixes. Use for 'where is this defined' / 'who calls X' questions.",
+            parameters: {
+                type: "object",
+                properties: {
+                    pattern: { type: "string", description: "Regex pattern." },
+                    path: { type: "string", description: "Optional file or directory to limit the search." },
+                    glob: { type: "string", description: "Optional glob filter, e.g. '*.ts'." },
+                    case_insensitive: { type: "boolean", default: false },
+                },
+                required: ["pattern"],
+            },
+        },
+    },
+    {
+        type: "function",
+        function: {
+            name: "LS",
+            description: "List files and directories in a path (single level, not recursive).",
+            parameters: {
+                type: "object",
+                properties: {
+                    path: { type: "string", description: "Default cwd." },
+                },
+            },
+        },
+    },
+    STOA_TOOL_SCHEMA,
+];
+//# sourceMappingURL=index.js.map

package/dist/tools/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/tools/index.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,sEAAsE;AACtE,EAAE;AACF,mEAAmE;AACnE,oEAAoE;AACpE,gDAAgD;AAEhD,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACvC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,QAAQ,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,QAAQ,EAAE,kBAAkB,EAAE,gBAAgB,EAAE,MAAM,WAAW,CAAC;AAkC3E,MAAM,CAAC,MAAM,aAAa,GAAiC;IACzD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,OAAO;QACtB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAA8D,EAAE,GAAG,CAAC;QACrG,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,IAAI,CAAC,SAAS,EAAE;KAChD;IACD,KAAK,EAAE;QACL,IAAI,EAAE,OAAO;QACb,aAAa,EAAE,QAAQ;QACvB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,SAAS,CAAC,IAA8C,EAAE,GAAG,CAAC;QACtF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,IAAI,CAAC,SAAS,EAAE;KAChD;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,QAAQ;QACvB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAA4F,EAAE,GAAG,CAAC;QACnI,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAW,IAAI,CAAC,SAAS,EAAE;KAChD;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,QAAQ;QACvB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAmE,EAAE,GAAG,CAAC;QAC1G,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,YAAa,IAAI,CAAC,WAAsB,IAAK,IAAI,CAAC,OAAkB,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,EAAE;KACzG;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,OAAO;QACtB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAA0C,EAAE,GAAG,CAAC;QACjF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,IAAI,CAAC,OAAO,EAAE;KAC3C;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,aAAa,EAAE,OAAO;QACtB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAqF,EAAE,GAAG,CAAC;QAC5H,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,SAAU,IAAI,CAAC,OAAkB,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG;KACvE;IACD,EAAE,EAAE;QACF,IAAI,EAAE,IAAI;QACV,aAAa,EAAE,OAAO;QACtB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,MAAM,CAAC,IAAyB,EAAE,GAAG,CAAC;QAC9D,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,WAAY,IAAI,CAAC,IAAe,IAAI,GAAG,EAAE;KAC9D;IACD,IAAI,EAAE;QACJ,IAAI,EAAE,MAAM;QACZ,gEAAgE;QAChE,+DAA+D;QAC/D,oDAAoD;QACpD,aAAa,EAAE,QAAQ;QACvB,OAAO,EAAE,CAAC,IAAI,EAAE,GAAG,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAuD,EAAE,GAAG,CAAC;QAC9F,QAAQ,EAAE,kBAAkB;KAC7B;CACF,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAc;IACrC;QACE,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,WAAW,EACT,kNAAkN;YACpN,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iCAAiC,EAAE;oBAC7E,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,gDAAgD,EAAE;oBACzF,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6BAA6B,EAAE;iBACtE;gBACD,QAAQ,EAAE,CAAC,WAAW,CAAC;aACxB;SACF;KACF;IACD;QACE,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,OAAO;YACb,WAAW,EACT,qJAAqJ;YACvJ,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC7B,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,qDAAqD,EAAE;iBAChG;gBACD,QAAQ,EAAE,CAAC,WAAW,EAAE,SAAS,CAAC;aACnC;SACF;KACF;IACD;QACE,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,WAAW,EACT,mKAAmK;YACrK,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,SAAS,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC7B,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC9B,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC9B,WAAW,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;iBACjD;gBACD,QAAQ,EAAE,CAAC,WAAW,EAAE,YAAY,EAAE,YAAY,CAAC;aACpD;SACF;KACF;IACD;QACE,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,WAAW,EACT,2JAA2J;YAC7J,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;oBAC3B,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6CAA6C,EAAE;oBACvF,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2DAA2D,EAAE;iBAC1G;gBACD,QAAQ,EAAE,CAAC,SAAS,CAAC;aACtB;SACF;KACF;IACD;QACE,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,WAAW,EACT,4HAA4H;YAC9H,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,0BAA0B,EAAE;oBACpE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oCAAoC,EAAE;iBAC5E;gBACD,QAAQ,EAAE,CAAC,SAAS,CAAC;aACtB;SACF;KACF;IACD;QACE,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,MAAM;YACZ,WAAW,EACT,+IAA+I;YACjJ,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,gBAAgB,EAAE;oBAC1D,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,iDAAiD,EAAE;oBACxF,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oCAAoC,EAAE;oBAC3E,gBAAgB,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,OAAO,EAAE,KAAK,EAAE;iBACtD;gBACD,QAAQ,EAAE,CAAC,SAAS,CAAC;aACtB;SACF;KACF;IACD;QACE,IAAI,EAAE,UAAU;QAChB,QAAQ,EAAE;YACR,IAAI,EAAE,IAAI;YACV,WAAW,EAAE,qEAAqE;YAClF,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,cAAc,EAAE;iBACtD;aACF;SACF;KACF;IACD,gBAAgB;CACjB,CAAC"}

package/dist/tools/ls.d.ts

@@ -0,0 +1,6 @@
+import type { ToolContext } from "./index.js";
+interface LsArgs {
+    path?: string;
+}
+export declare function execLs(args: LsArgs, ctx: ToolContext): Promise<string>;
+export {};

package/dist/tools/ls.js

@@ -0,0 +1,25 @@
+// LS tool — single-level directory listing.
+import { promises as fs } from "node:fs";
+import path from "node:path";
+export async function execLs(args, ctx) {
+    const target = args.path
+        ? (path.isAbsolute(args.path) ? args.path : path.resolve(ctx.cwd, args.path))
+        : ctx.cwd;
+    let entries;
+    try {
+        entries = await fs.readdir(target, { withFileTypes: true });
+    }
+    catch (err) {
+        return `[error] Cannot list ${target}: ${err instanceof Error ? err.message : String(err)}`;
+    }
+    const lines = [];
+    for (const e of entries) {
+        if (e.name.startsWith("."))
+            continue;
+        lines.push(`${e.isDirectory() ? "d" : "-"} ${e.name}${e.isDirectory() ? "/" : ""}`);
+    }
+    if (lines.length === 0)
+        return `${target} is empty.`;
+    return `${target}\n${lines.join("\n")}`;
+}
+//# sourceMappingURL=ls.js.map

package/dist/tools/ls.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ls.js","sourceRoot":"","sources":["../../src/tools/ls.ts"],"names":[],"mappings":"AAAA,4CAA4C;AAE5C,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAO7B,MAAM,CAAC,KAAK,UAAU,MAAM,CAAC,IAAY,EAAE,GAAgB;IACzD,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI;QACtB,CAAC,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC;QAC7E,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC;IACZ,IAAI,OAAO,CAAC;IACZ,IAAI,CAAC;QACH,OAAO,GAAG,MAAM,EAAE,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,aAAa,EAAE,IAAI,EAAE,CAAC,CAAC;IAC9D,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,uBAAuB,MAAM,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9F,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACxB,IAAI,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QACrC,KAAK,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;IACtF,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,GAAG,MAAM,YAAY,CAAC;IACrD,OAAO,GAAG,MAAM,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;AAC1C,CAAC"}

package/dist/tools/read.d.ts

@@ -0,0 +1,8 @@
+import type { ToolContext } from "./index.js";
+interface ReadArgs {
+    file_path: string;
+    offset?: number;
+    limit?: number;
+}
+export declare function execRead(args: ReadArgs, ctx: ToolContext): Promise<string>;
+export {};

package/dist/tools/read.js

@@ -0,0 +1,43 @@
+// Read tool — local file reader with safety rails:
+// - Resolves the path relative to ctx.cwd
+// - Refuses paths outside cwd (unless absolute is passed; absolute is allowed)
+// - Caps output at ctx.maxBytes
+// - Supports offset/limit for paging large files
+import { promises as fs } from "node:fs";
+import path from "node:path";
+export async function execRead(args, ctx) {
+    const target = path.isAbsolute(args.file_path)
+        ? args.file_path
+        : path.resolve(ctx.cwd, args.file_path);
+    let stat;
+    try {
+        stat = await fs.stat(target);
+    }
+    catch (err) {
+        return `[error] Cannot read ${target}: ${err instanceof Error ? err.message : String(err)}`;
+    }
+    if (stat.isDirectory()) {
+        return `[error] ${target} is a directory; use LS or Glob.`;
+    }
+    if (stat.size > 5_000_000) {
+        return `[error] ${target} is ${(stat.size / 1024 / 1024).toFixed(1)}MB — too large to read directly. Use Bash with head/tail/grep instead.`;
+    }
+    const raw = await fs.readFile(target, "utf-8");
+    const lines = raw.split(/\r?\n/);
+    const offset = Math.max(1, args.offset ?? 1);
+    const limit = Math.max(1, Math.min(args.limit ?? 2000, 5000));
+    const slice = lines.slice(offset - 1, offset - 1 + limit);
+    // cat -n style: 1-indexed line numbers, tab separator
+    const numbered = slice
+        .map((line, i) => `${(offset + i).toString().padStart(6, " ")}\t${line}`)
+        .join("\n");
+    // Truncate to byte cap
+    let out = numbered;
+    if (Buffer.byteLength(out, "utf-8") > ctx.maxBytes) {
+        out = out.slice(0, ctx.maxBytes) + "\n[truncated to maxBytes]";
+    }
+    const totalLines = lines.length;
+    const ranged = `${offset}–${Math.min(totalLines, offset + slice.length - 1)}`;
+    return `${target}  (lines ${ranged} of ${totalLines})\n${out}`;
+}
+//# sourceMappingURL=read.js.map

package/dist/tools/read.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"read.js","sourceRoot":"","sources":["../../src/tools/read.ts"],"names":[],"mappings":"AAAA,mDAAmD;AACnD,0CAA0C;AAC1C,+EAA+E;AAC/E,gCAAgC;AAChC,iDAAiD;AAEjD,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAS7B,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAc,EAAE,GAAgB;IAC7D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,SAAS;QAChB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAE1C,IAAI,IAAI,CAAC;IACT,IAAI,CAAC;QACH,IAAI,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,OAAO,uBAAuB,MAAM,KAAK,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9F,CAAC;IACD,IAAI,IAAI,CAAC,WAAW,EAAE,EAAE,CAAC;QACvB,OAAO,WAAW,MAAM,kCAAkC,CAAC;IAC7D,CAAC;IACD,IAAI,IAAI,CAAC,IAAI,GAAG,SAAS,EAAE,CAAC;QAC1B,OAAO,WAAW,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,GAAG,IAAI,GAAG,IAAI,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,wEAAwE,CAAC;IAC9I,CAAC;IAED,MAAM,GAAG,GAAG,MAAM,EAAE,CAAC,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAC/C,MAAM,KAAK,GAAG,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IACjC,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,IAAI,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;IAC9D,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;IAE1D,sDAAsD;IACtD,MAAM,QAAQ,GAAG,KAAK;SACnB,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;SACxE,IAAI,CAAC,IAAI,CAAC,CAAC;IAEd,uBAAuB;IACvB,IAAI,GAAG,GAAG,QAAQ,CAAC;IACnB,IAAI,MAAM,CAAC,UAAU,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,GAAG,CAAC,QAAQ,EAAE,CAAC;QACnD,GAAG,GAAG,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,2BAA2B,CAAC;IACjE,CAAC;IAED,MAAM,UAAU,GAAG,KAAK,CAAC,MAAM,CAAC;IAChC,MAAM,MAAM,GAAG,GAAG,MAAM,IAAI,IAAI,CAAC,GAAG,CAAC,UAAU,EAAE,MAAM,GAAG,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,CAAC;IAC9E,OAAO,GAAG,MAAM,YAAY,MAAM,OAAO,UAAU,MAAM,GAAG,EAAE,CAAC;AACjE,CAAC"}

package/dist/tools/stoa.d.ts

@@ -0,0 +1,34 @@
+import type { ToolContext } from "./index.js";
+interface StoaArgs {
+    /** Capability URN — e.g. "urn:stoa:cap:slack.chat.postMessage@1.0.0".
+     *  Run `/cap list` to see what's registered. */
+    cap: string;
+    /** The capability-specific input. Schema is defined by the cap's
+     *  spec in the Stoa registry. */
+    input: Record<string, unknown>;
+}
+export declare function execStoa(args: StoaArgs, _ctx: ToolContext): Promise<string>;
+export declare const STOA_TOOL_DESCRIBE: (args: Record<string, unknown>) => string;
+/** OpenAI-compatible function tool def for the Stoa cap proxy. */
+export declare const STOA_TOOL_SCHEMA: {
+    type: "function";
+    function: {
+        name: string;
+        description: string;
+        parameters: {
+            type: string;
+            properties: {
+                cap: {
+                    type: string;
+                    description: string;
+                };
+                input: {
+                    type: string;
+                    description: string;
+                };
+            };
+            required: string[];
+        };
+    };
+};
+export {};

package/dist/tools/stoa.js

@@ -0,0 +1,103 @@
+// Stoa cap proxy tool — the bridge from CLI agents to Stoa-compliant
+// SaaS. When the model wants to "send a Slack message" or "charge a
+// $1 test charge on Stripe" or "send an email via Resend," it doesn't
+// learn N different APIs. It calls the Stoa tool with a cap URN, the
+// CLI proxies to https://tryvext.com/v1/cap, and a Stoa/1 response
+// envelope comes back with a signed receipt.
+//
+// Why this matters strategically:
+//   - The CLI agent's tool layer becomes UNBOUNDED. Today: 3 caps
+//     (Stripe, Slack, GitHub, Resend, ...). Tomorrow: every vendor
+//     who registers a Stoa cap is reachable from every Theron agent
+//     without a CLI release.
+//   - This is the Stoa product proving itself — Theron is the first
+//     and best Stoa client, eating its own dogfood.
+//   - Receipts are audit-quality (Merkle-anchored, ES256-signed),
+//     so an enterprise can trust "Theron did this, here's the proof."
+const DEFAULT_BASE = process.env.THERON_STOA_BASE ?? "https://tryvext.com";
+export async function execStoa(args, _ctx) {
+    if (typeof args.cap !== "string" || !args.cap.startsWith("urn:stoa:cap:")) {
+        throw new Error(`invalid cap URN: ${args.cap}`);
+    }
+    if (typeof args.input !== "object" || args.input === null) {
+        throw new Error("input must be an object");
+    }
+    const url = `${DEFAULT_BASE}/v1/cap`;
+    const envelope = {
+        stoa: "1",
+        cap: args.cap,
+        input: args.input,
+    };
+    let response;
+    try {
+        response = await fetch(url, {
+            method: "POST",
+            headers: { "content-type": "application/json" },
+            body: JSON.stringify(envelope),
+        });
+    }
+    catch (err) {
+        throw new Error(`network error calling Stoa: ${err instanceof Error ? err.message : String(err)}`);
+    }
+    let parsed;
+    try {
+        parsed = (await response.json());
+    }
+    catch {
+        throw new Error(`Stoa returned non-JSON response (HTTP ${response.status})`);
+    }
+    if (parsed.status === "error") {
+        const remediation = parsed.error?.remediation?.hint
+            ? ` (remediation: ${parsed.error.remediation.hint})`
+            : "";
+        throw new Error(`Stoa cap failed: ${parsed.error?.code ?? "unknown"} — ${parsed.error?.message ?? "no detail"}${remediation}`);
+    }
+    // Format for the model. Receipt is the audit handle; output is the
+    // actual response; cost is the per-call charge.
+    const lines = [];
+    lines.push(`Stoa cap ${args.cap} → ok`);
+    if (parsed.cost_cents != null)
+        lines.push(`  cost: ${(parsed.cost_cents / 100).toFixed(2)} USD`);
+    if (parsed.output !== undefined) {
+        lines.push(`  output:`);
+        lines.push(JSON.stringify(parsed.output, null, 2).split("\n").map((l) => "    " + l).join("\n"));
+    }
+    if (parsed.side_effects !== undefined) {
+        const sec = JSON.stringify(parsed.side_effects);
+        if (sec.length > 4)
+            lines.push(`  side_effects: ${sec}`);
+    }
+    if (parsed.receipt) {
+        lines.push(`  receipt: ${parsed.receipt.alg} ${parsed.receipt.sig.slice(0, 24)}…`);
+    }
+    return lines.join("\n");
+}
+export const STOA_TOOL_DESCRIBE = (args) => {
+    const cap = args.cap ?? "?";
+    // Strip the URN prefix for terminal display.
+    const shortCap = cap.replace(/^urn:stoa:cap:/, "");
+    return `Stoa cap → ${shortCap}`;
+};
+/** OpenAI-compatible function tool def for the Stoa cap proxy. */
+export const STOA_TOOL_SCHEMA = {
+    type: "function",
+    function: {
+        name: "Stoa",
+        description: "Invoke a Stoa-registered capability (e.g. send a Slack message, create a Stripe charge, send an email via Resend, create a GitHub issue). Pass a cap URN and the capability-specific input. Returns a signed-receipt envelope with the result + audit proof. Use this instead of writing custom API integrations — the URN registry covers vendors that have published a Stoa spec.",
+        parameters: {
+            type: "object",
+            properties: {
+                cap: {
+                    type: "string",
+                    description: "Capability URN, e.g. 'urn:stoa:cap:slack.chat.postMessage@1.0.0'. List registered caps with /cap list.",
+                },
+                input: {
+                    type: "object",
+                    description: "Capability-specific input. Schema is defined by the cap's spec. Most caps accept { to, subject, body } for messaging or { amount_cents, currency } for payments — check the cap spec for the exact shape.",
+                },
+            },
+            required: ["cap", "input"],
+        },
+    },
+};
+//# sourceMappingURL=stoa.js.map

package/dist/tools/stoa.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"stoa.js","sourceRoot":"","sources":["../../src/tools/stoa.ts"],"names":[],"mappings":"AAAA,qEAAqE;AACrE,oEAAoE;AACpE,sEAAsE;AACtE,qEAAqE;AACrE,mEAAmE;AACnE,6CAA6C;AAC7C,EAAE;AACF,kCAAkC;AAClC,kEAAkE;AAClE,mEAAmE;AACnE,oEAAoE;AACpE,6BAA6B;AAC7B,oEAAoE;AACpE,oDAAoD;AACpD,kEAAkE;AAClE,sEAAsE;AAwBtE,MAAM,YAAY,GAAG,OAAO,CAAC,GAAG,CAAC,gBAAgB,IAAI,qBAAqB,CAAC;AAE3E,MAAM,CAAC,KAAK,UAAU,QAAQ,CAAC,IAAc,EAAE,IAAiB;IAC9D,IAAI,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,UAAU,CAAC,eAAe,CAAC,EAAE,CAAC;QAC1E,MAAM,IAAI,KAAK,CAAC,oBAAoB,IAAI,CAAC,GAAG,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,IAAI,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,IAAI,IAAI,CAAC,KAAK,KAAK,IAAI,EAAE,CAAC;QAC1D,MAAM,IAAI,KAAK,CAAC,yBAAyB,CAAC,CAAC;IAC7C,CAAC;IAED,MAAM,GAAG,GAAG,GAAG,YAAY,SAAS,CAAC;IACrC,MAAM,QAAQ,GAAG;QACf,IAAI,EAAE,GAAG;QACT,GAAG,EAAE,IAAI,CAAC,GAAG;QACb,KAAK,EAAE,IAAI,CAAC,KAAK;KAClB,CAAC;IAEF,IAAI,QAAkB,CAAC;IACvB,IAAI,CAAC;QACH,QAAQ,GAAG,MAAM,KAAK,CAAC,GAAG,EAAE;YAC1B,MAAM,EAAE,MAAM;YACd,OAAO,EAAE,EAAE,cAAc,EAAE,kBAAkB,EAAE;YAC/C,IAAI,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;SAC/B,CAAC,CAAC;IACL,CAAC;IAAC,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,IAAI,KAAK,CAAC,+BAA+B,GAAG,YAAY,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;IACrG,CAAC;IAED,IAAI,MAA0B,CAAC;IAC/B,IAAI,CAAC;QACH,MAAM,GAAG,CAAC,MAAM,QAAQ,CAAC,IAAI,EAAE,CAAuB,CAAC;IACzD,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,yCAAyC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC;IAC/E,CAAC;IAED,IAAI,MAAM,CAAC,MAAM,KAAK,OAAO,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,EAAE,WAAW,EAAE,IAAI;YACjD,CAAC,CAAC,kBAAkB,MAAM,CAAC,KAAK,CAAC,WAAW,CAAC,IAAI,GAAG;YACpD,CAAC,CAAC,EAAE,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,oBAAoB,MAAM,CAAC,KAAK,EAAE,IAAI,IAAI,SAAS,MAAM,MAAM,CAAC,KAAK,EAAE,OAAO,IAAI,WAAW,GAAG,WAAW,EAAE,CAAC,CAAC;IACjI,CAAC;IAED,mEAAmE;IACnE,gDAAgD;IAChD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,CAAC,IAAI,CAAC,YAAY,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;IACxC,IAAI,MAAM,CAAC,UAAU,IAAI,IAAI;QAAE,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,UAAU,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;IACjG,IAAI,MAAM,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACxB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC;IACnG,CAAC;IACD,IAAI,MAAM,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACtC,MAAM,GAAG,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,YAAY,CAAC,CAAC;QAChD,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,mBAAmB,GAAG,EAAE,CAAC,CAAC;IAC3D,CAAC;IACD,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACnB,KAAK,CAAC,IAAI,CAAC,cAAc,MAAM,CAAC,OAAO,CAAC,GAAG,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC;IACrF,CAAC;IACD,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAA6B,EAAU,EAAE;IAC1E,MAAM,GAAG,GAAI,IAAI,CAAC,GAAc,IAAI,GAAG,CAAC;IACxC,6CAA6C;IAC7C,MAAM,QAAQ,GAAG,GAAG,CAAC,OAAO,CAAC,gBAAgB,EAAE,EAAE,CAAC,CAAC;IACnD,OAAO,cAAc,QAAQ,EAAE,CAAC;AAClC,CAAC,CAAC;AAEF,kEAAkE;AAClE,MAAM,CAAC,MAAM,gBAAgB,GAAG;IAC9B,IAAI,EAAE,UAAmB;IACzB,QAAQ,EAAE;QACR,IAAI,EAAE,MAAM;QACZ,WAAW,EACT,qXAAqX;QACvX,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,GAAG,EAAE;oBACH,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,wGAAwG;iBACtH;gBACD,KAAK,EAAE;oBACL,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,2MAA2M;iBACzN;aACF;YACD,QAAQ,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC;SAC3B;KACF;CACF,CAAC"}

package/dist/tools/write.d.ts

@@ -0,0 +1,7 @@
+import type { ToolContext } from "./index.js";
+interface WriteArgs {
+    file_path: string;
+    content: string;
+}
+export declare function execWrite(args: WriteArgs, ctx: ToolContext): Promise<string>;
+export {};

package/dist/tools/write.js

@@ -0,0 +1,15 @@
+// Write tool — creates/overwrites a file. Asks for confirmation in the
+// REPL loop before this executes; this function trusts that the gate
+// already passed.
+import { promises as fs } from "node:fs";
+import path from "node:path";
+export async function execWrite(args, ctx) {
+    const target = path.isAbsolute(args.file_path)
+        ? args.file_path
+        : path.resolve(ctx.cwd, args.file_path);
+    await fs.mkdir(path.dirname(target), { recursive: true });
+    await fs.writeFile(target, args.content, "utf-8");
+    const lineCount = args.content.split(/\r?\n/).length;
+    return `Wrote ${target} (${lineCount} lines, ${Buffer.byteLength(args.content, "utf-8")} bytes)`;
+}
+//# sourceMappingURL=write.js.map

package/dist/tools/write.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"write.js","sourceRoot":"","sources":["../../src/tools/write.ts"],"names":[],"mappings":"AAAA,uEAAuE;AACvE,qEAAqE;AACrE,kBAAkB;AAElB,OAAO,EAAE,QAAQ,IAAI,EAAE,EAAE,MAAM,SAAS,CAAC;AACzC,OAAO,IAAI,MAAM,WAAW,CAAC;AAQ7B,MAAM,CAAC,KAAK,UAAU,SAAS,CAAC,IAAe,EAAE,GAAgB;IAC/D,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,CAAC;QAC5C,CAAC,CAAC,IAAI,CAAC,SAAS;QAChB,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,SAAS,CAAC,CAAC;IAE1C,MAAM,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAC1D,MAAM,EAAE,CAAC,SAAS,CAAC,MAAM,EAAE,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAClD,MAAM,SAAS,GAAG,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC;IACrD,OAAO,SAAS,MAAM,KAAK,SAAS,WAAW,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,OAAO,EAAE,OAAO,CAAC,SAAS,CAAC;AACnG,CAAC"}

package/dist/verifiers/ai_ism_check.d.ts

@@ -0,0 +1,2 @@
+import type { Verifier } from "./types.js";
+export declare const aiIsmCheckKernel: Verifier;

package/dist/verifiers/ai_ism_check.js

@@ -0,0 +1,48 @@
+// AI-ism checker — flags the rhetorical patterns that scream "ChatGPT
+// wrote this." Each match is a warning (not blocking), because writers
+// sometimes have legitimate use for these words.
+//
+// The list is curated from the ones the user has explicitly hated:
+//   - "delve", "tapestry", "elevate" — over-elaborate verb choices
+//   - "navigate the complexities" — empty stock phrasing
+//   - "in today's fast-paced world" — opening cliché
+//   - "robust" + "comprehensive" — adjective filler
+//   - "leverages" — corporate jargon when "uses" works
+//   - "It's important to note" — throat-clearing
+//   - "Certainly!" / "Of course!" — sycophantic openers
+const PATTERNS = [
+    { pattern: /\bdelv(e|ing|ed)\b/gi, reason: '"delve" — try "look at", "examine", "dig into"' },
+    { pattern: /\btapestry\b/gi, reason: '"tapestry" — almost always pretentious' },
+    { pattern: /\belevat(e|ing|ed)\b/gi, reason: '"elevate" — try "raise", "improve"' },
+    { pattern: /\bnavigate the complexit\w+/gi, reason: '"navigate the complexities" — stock phrase' },
+    { pattern: /\bin today'?s (fast-paced|rapidly-changing|ever-evolving) world\b/gi, reason: 'Opening cliché' },
+    { pattern: /\brobust and comprehensive\b/gi, reason: '"robust and comprehensive" — adjective filler' },
+    { pattern: /\bleverag(e|es|ing|ed)\b/gi, reason: '"leverage" as a verb — try "use"' },
+    { pattern: /\bit'?s important to note that\b/gi, reason: 'Throat-clearing — just say the thing' },
+    { pattern: /^(certainly|of course|absolutely|sure)[!.]\s/gim, reason: 'Sycophantic opener' },
+    { pattern: /\bgame-?chang(er|ing)\b/gi, reason: '"game-changer" — cliché' },
+    { pattern: /\bunlock(ing|ed)? (the )?potential\b/gi, reason: '"unlock potential" — empty corporate' },
+    { pattern: /\bpush the boundaries\b/gi, reason: '"push the boundaries" — cliché' },
+];
+export const aiIsmCheckKernel = {
+    slug: "ai_ism_check",
+    describe: "Scan output for AI-isms (delve, tapestry, leverage, etc.)",
+    async run(ctx) {
+        if (!ctx.assistantText)
+            return [];
+        const issues = [];
+        for (const { pattern, reason } of PATTERNS) {
+            pattern.lastIndex = 0;
+            const matches = [...ctx.assistantText.matchAll(pattern)];
+            if (matches.length === 0)
+                continue;
+            issues.push({
+                severity: "warn",
+                kernel: "ai_ism_check",
+                message: `${reason} (${matches.length}×)`,
+            });
+        }
+        return issues;
+    },
+};
+//# sourceMappingURL=ai_ism_check.js.map

package/dist/verifiers/ai_ism_check.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ai_ism_check.js","sourceRoot":"","sources":["../../src/verifiers/ai_ism_check.ts"],"names":[],"mappings":"AAAA,sEAAsE;AACtE,uEAAuE;AACvE,iDAAiD;AACjD,EAAE;AACF,mEAAmE;AACnE,mEAAmE;AACnE,yDAAyD;AACzD,qDAAqD;AACrD,oDAAoD;AACpD,uDAAuD;AACvD,iDAAiD;AACjD,wDAAwD;AAIxD,MAAM,QAAQ,GAA+C;IAC3D,EAAE,OAAO,EAAE,sBAAsB,EAAE,MAAM,EAAE,gDAAgD,EAAE;IAC7F,EAAE,OAAO,EAAE,gBAAgB,EAAE,MAAM,EAAE,wCAAwC,EAAE;IAC/E,EAAE,OAAO,EAAE,wBAAwB,EAAE,MAAM,EAAE,oCAAoC,EAAE;IACnF,EAAE,OAAO,EAAE,+BAA+B,EAAE,MAAM,EAAE,4CAA4C,EAAE;IAClG,EAAE,OAAO,EAAE,qEAAqE,EAAE,MAAM,EAAE,gBAAgB,EAAE;IAC5G,EAAE,OAAO,EAAE,gCAAgC,EAAE,MAAM,EAAE,+CAA+C,EAAE;IACtG,EAAE,OAAO,EAAE,4BAA4B,EAAE,MAAM,EAAE,kCAAkC,EAAE;IACrF,EAAE,OAAO,EAAE,oCAAoC,EAAE,MAAM,EAAE,sCAAsC,EAAE;IACjG,EAAE,OAAO,EAAE,iDAAiD,EAAE,MAAM,EAAE,oBAAoB,EAAE;IAC5F,EAAE,OAAO,EAAE,2BAA2B,EAAE,MAAM,EAAE,yBAAyB,EAAE;IAC3E,EAAE,OAAO,EAAE,wCAAwC,EAAE,MAAM,EAAE,sCAAsC,EAAE;IACrG,EAAE,OAAO,EAAE,2BAA2B,EAAE,MAAM,EAAE,gCAAgC,EAAE;CACnF,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAa;IACxC,IAAI,EAAE,cAAc;IACpB,QAAQ,EAAE,2DAA2D;IACrE,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,CAAC,GAAG,CAAC,aAAa;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,KAAK,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,QAAQ,EAAE,CAAC;YAC3C,OAAO,CAAC,SAAS,GAAG,CAAC,CAAC;YACtB,MAAM,OAAO,GAAG,CAAC,GAAG,GAAG,CAAC,aAAa,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC;YACzD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,SAAS;YACnC,MAAM,CAAC,IAAI,CAAC;gBACV,QAAQ,EAAE,MAAM;gBAChB,MAAM,EAAE,cAAc;gBACtB,OAAO,EAAE,GAAG,MAAM,KAAK,OAAO,CAAC,MAAM,IAAI;aAC1C,CAAC,CAAC;QACL,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC"}

package/dist/verifiers/arithmetic_recheck.d.ts

@@ -0,0 +1,2 @@
+import type { Verifier } from "./types.js";
+export declare const arithmeticRecheckKernel: Verifier;

package/dist/verifiers/arithmetic_recheck.js

@@ -0,0 +1,74 @@
+// Arithmetic re-check verifier — used by the finance, data, trader,
+// engineer, and realtor profiles. Scans the output for arithmetic
+// claims of the form "X + Y = Z" / "X * Y = Z" / "X / Y = Z" and
+// re-evaluates each, surfacing any that don't match.
+//
+// This is the simplest "actual verifier" beyond pattern matching —
+// it catches the model when it confidently asserts wrong numbers,
+// which LLMs do constantly even at frontier scale.
+const APPLIES_TO_PROFILES = new Set(["finance", "data", "trader", "engineer", "realtor", "code"]);
+// Match expressions like "1,234.56 + 7,890 = 9,124.56" or "10 * 0.5 = 5".
+// Numbers can have commas and decimals. Allow surrounding $/% signs.
+// We're conservative — only flag arithmetic that's unambiguous.
+const ARITH_RE = /\b([\$\€\£]?-?\d[\d,]*(?:\.\d+)?\s*%?)\s*([+\-*/×÷])\s*([\$\€\£]?-?\d[\d,]*(?:\.\d+)?\s*%?)\s*=\s*([\$\€\£]?-?\d[\d,]*(?:\.\d+)?\s*%?)/g;
+function parseNumber(s) {
+    // Strip currency symbols, commas, percent.
+    const cleaned = s.replace(/[\$€£,%]/g, "").trim();
+    const n = parseFloat(cleaned);
+    if (Number.isNaN(n))
+        return NaN;
+    return n;
+}
+function evalOp(a, op, b) {
+    switch (op) {
+        case "+": return a + b;
+        case "-": return a - b;
+        case "*":
+        case "×": return a * b;
+        case "/":
+        case "÷": return b === 0 ? NaN : a / b;
+        default: return NaN;
+    }
+}
+export const arithmeticRecheckKernel = {
+    slug: "arithmetic_recheck",
+    describe: "Re-evaluate every X op Y = Z claim in the output; flag mismatches",
+    async run(ctx) {
+        if (!APPLIES_TO_PROFILES.has(ctx.profile))
+            return [];
+        if (!ctx.assistantText)
+            return [];
+        const issues = [];
+        ARITH_RE.lastIndex = 0;
+        let m;
+        let count = 0;
+        while ((m = ARITH_RE.exec(ctx.assistantText)) && count < 20) {
+            count += 1;
+            const a = parseNumber(m[1]);
+            const op = m[2];
+            const b = parseNumber(m[3]);
+            const claimed = parseNumber(m[4]);
+            if ([a, b, claimed].some((n) => Number.isNaN(n)))
+                continue;
+            const actual = evalOp(a, op, b);
+            if (Number.isNaN(actual))
+                continue;
+            // Tolerance: 0.01 absolute or 0.1% relative, whichever is larger.
+            const tol = Math.max(0.01, Math.abs(actual) * 0.001);
+            if (Math.abs(actual - claimed) > tol) {
+                issues.push({
+                    severity: "block",
+                    kernel: "arithmetic_recheck",
+                    message: `Claimed ${m[1].trim()} ${op} ${m[3].trim()} = ${m[4].trim()}, but actual = ${formatNumber(actual)}`,
+                });
+            }
+        }
+        return issues;
+    },
+};
+function formatNumber(n) {
+    // Keep up to 4 sig figs after the decimal, trim trailing zeros.
+    const s = Math.abs(n) >= 1000 ? n.toFixed(2) : n.toFixed(4);
+    return s.replace(/\.?0+$/, "");
+}
+//# sourceMappingURL=arithmetic_recheck.js.map

package/dist/verifiers/arithmetic_recheck.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"arithmetic_recheck.js","sourceRoot":"","sources":["../../src/verifiers/arithmetic_recheck.ts"],"names":[],"mappings":"AAAA,oEAAoE;AACpE,kEAAkE;AAClE,iEAAiE;AACjE,qDAAqD;AACrD,EAAE;AACF,mEAAmE;AACnE,kEAAkE;AAClE,mDAAmD;AAInD,MAAM,mBAAmB,GAAG,IAAI,GAAG,CAAC,CAAC,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC,CAAC;AAElG,0EAA0E;AAC1E,qEAAqE;AACrE,gEAAgE;AAChE,MAAM,QAAQ,GAAG,yIAAyI,CAAC;AAE3J,SAAS,WAAW,CAAC,CAAS;IAC5B,2CAA2C;IAC3C,MAAM,OAAO,GAAG,CAAC,CAAC,OAAO,CAAC,WAAW,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,MAAM,CAAC,GAAG,UAAU,CAAC,OAAO,CAAC,CAAC;IAC9B,IAAI,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;QAAE,OAAO,GAAG,CAAC;IAChC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,SAAS,MAAM,CAAC,CAAS,EAAE,EAAU,EAAE,CAAS;IAC9C,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACvB,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACvB,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACvB,KAAK,GAAG,CAAC;QACT,KAAK,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACvC,OAAO,CAAC,CAAC,OAAO,GAAG,CAAC;IACtB,CAAC;AACH,CAAC;AAED,MAAM,CAAC,MAAM,uBAAuB,GAAa;IAC/C,IAAI,EAAE,oBAAoB;IAC1B,QAAQ,EAAE,mEAAmE;IAC7E,KAAK,CAAC,GAAG,CAAC,GAAoB;QAC5B,IAAI,CAAC,mBAAmB,CAAC,GAAG,CAAC,GAAG,CAAC,OAAO,CAAC;YAAE,OAAO,EAAE,CAAC;QACrD,IAAI,CAAC,GAAG,CAAC,aAAa;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,MAAM,GAAoB,EAAE,CAAC;QACnC,QAAQ,CAAC,SAAS,GAAG,CAAC,CAAC;QACvB,IAAI,CAAyB,CAAC;QAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,aAAa,CAAC,CAAC,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;YAC5D,KAAK,IAAI,CAAC,CAAC;YACX,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;YAChB,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAC5B,MAAM,OAAO,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClC,IAAI,CAAC,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;gBAAE,SAAS;YAC3D,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;YAChC,IAAI,MAAM,CAAC,KAAK,CAAC,MAAM,CAAC;gBAAE,SAAS;YACnC,kEAAkE;YAClE,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC;YACrD,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,GAAG,OAAO,CAAC,GAAG,GAAG,EAAE,CAAC;gBACrC,MAAM,CAAC,IAAI,CAAC;oBACV,QAAQ,EAAE,OAAO;oBACjB,MAAM,EAAE,oBAAoB;oBAC5B,OAAO,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,kBAAkB,YAAY,CAAC,MAAM,CAAC,EAAE;iBAC9G,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,OAAO,MAAM,CAAC;IAChB,CAAC;CACF,CAAC;AAEF,SAAS,YAAY,CAAC,CAAS;IAC7B,gEAAgE;IAChE,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;IAC5D,OAAO,CAAC,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC;AACjC,CAAC"}

package/dist/verifiers/citation_presence.d.ts

@@ -0,0 +1,2 @@
+import type { Verifier } from "./types.js";
+export declare const citationPresenceKernel: Verifier;