deepclause-sdk 0.0.89 → 0.1.1

package/dist/repl/tools.js

@@ -0,0 +1,307 @@
+/**
+ * Host-backed meta tools (M3).
+ *
+ * A `meta` frame's agent tool set is *replaced* with exactly these tools; the
+ * harness's own DML tools are hidden from the code-writing model. The tools act
+ * on the live scratch module (snapshot/restored by the prompt transaction).
+ *
+ * M3 ships listing/assert/retract/execute; M6 adds ask_user.
+ */
+import { plainValue } from './frames.js';
+function quoteString(value) {
+    return `"${value.replace(/\\/g, '\\\\').replace(/"/g, '\\"')}"`;
+}
+function listingFilterTerm(filter) {
+    if (/^[a-z][a-zA-Z0-9_]*\/\d+$/.test(filter) || /^[a-z][a-zA-Z0-9_]*$/.test(filter)) {
+        return filter;
+    }
+    return `'${filter.replace(/'/g, "''")}'`;
+}
+function textResult(message) {
+    return { text: message };
+}
+export function createMetaTools(ctx) {
+    const tools = new Map();
+    // The AI SDK may issue several tool calls from one assistant message and run
+    // them concurrently. Meta tools mutate the shared session and create child
+    // frames, so serialize them: a child frame must run to completion before the
+    // meta frame resumes (proposal §10.3).
+    let queue = Promise.resolve();
+    const serialized = (fn) => {
+        const run = queue.then(fn, fn);
+        queue = run.then(() => undefined, () => undefined);
+        return run;
+    };
+    const notify = (toolName, toolArgs, state, toolSummary) => {
+        ctx.onEvent?.({ type: 'tool_call', toolName, toolArgs, toolState: state, toolSummary });
+    };
+    tools.set('listing', {
+        description: 'Read-only listing of the living harness: predicates, a Name/Arity, tools, or scripts.',
+        parameters: {
+            type: 'object',
+            properties: {
+                filter: {
+                    type: 'string',
+                    description: "One of: all (default), a Name/Arity, tools, scripts, or a name prefix.",
+                },
+            },
+            required: [],
+        },
+        execute: (args) => serialized(async () => {
+            const filter = String(args.filter ?? 'all').trim() || 'all';
+            if (filter === 'tools' && ctx.hostToolsCatalog) {
+                return textResult(ctx.hostToolsCatalog);
+            }
+            const result = ctx.prologQuery(`deepclause_mi:repl_listing('${ctx.sessionId}', ${listingFilterTerm(filter)}, Text)`);
+            const text = plainValue(result?.Text);
+            const output = typeof text === 'string' ? text : '';
+            notify('listing', { filter }, 'completed', `${output.trim() ? output.trim().split('\n').length : 0} line(s)`);
+            return textResult(output);
+        }),
+    });
+    tools.set('assert', {
+        description: 'Parse and assert a clause, tool/2, or script_body/2 fact into the scratch harness.',
+        parameters: {
+            type: 'object',
+            properties: {
+                clause: { type: 'string', description: 'The DML clause/fact text to assert (no trailing period required).' },
+            },
+            required: ['clause'],
+        },
+        execute: (args) => serialized(async () => {
+            if (ctx.isFrozen()) {
+                return { ok: false, error: 'harness is frozen; assert is disabled' };
+            }
+            const clause = String(args.clause ?? '');
+            const result = ctx.prologQuery(`deepclause_mi:repl_assert('${ctx.sessionId}', ${quoteString(clause)}, Result)`);
+            const outcome = plainValue(result?.Result);
+            if (outcome === 'ok') {
+                notify('assert', { clause }, 'completed', 'ok');
+                return { ok: true };
+            }
+            notify('assert', { clause }, 'failed', String(outcome));
+            return { ok: false, error: String(outcome) };
+        }),
+    });
+    tools.set('assert_many', {
+        description: 'Parse a block of clauses and assert them in the order written. Use this to define a whole predicate so clause order (base case before recursive rule) is preserved.',
+        parameters: {
+            type: 'object',
+            properties: {
+                clauses: { type: 'string', description: 'The DML clauses/facts, in order, each ending with a period.' },
+            },
+            required: ['clauses'],
+        },
+        execute: (args) => serialized(async () => {
+            if (ctx.isFrozen()) {
+                return { ok: false, error: 'harness is frozen; assert is disabled' };
+            }
+            const clauses = String(args.clauses ?? '');
+            const result = ctx.prologQuery(`deepclause_mi:repl_assert_many('${ctx.sessionId}', ${quoteString(clauses)}, Result)`);
+            const outcome = plainValue(result?.Result);
+            if (outcome === 'ok') {
+                notify('assert_many', { clauses }, 'completed', 'ok');
+                return { ok: true };
+            }
+            notify('assert_many', { clauses }, 'failed', String(outcome));
+            return { ok: false, error: String(outcome) };
+        }),
+    });
+    tools.set('retract', {
+        description: 'Remove matching clauses from the scratch harness (reserved names are protected).',
+        parameters: {
+            type: 'object',
+            properties: {
+                clause: { type: 'string', description: 'The clause pattern to retract (no trailing period required).' },
+            },
+            required: ['clause'],
+        },
+        execute: (args) => serialized(async () => {
+            if (ctx.isFrozen()) {
+                return { ok: false, error: 'harness is frozen; retract is disabled' };
+            }
+            const clause = String(args.clause ?? '');
+            const result = ctx.prologQuery(`deepclause_mi:repl_retract('${ctx.sessionId}', ${quoteString(clause)}, Result)`);
+            const outcome = plainValue(result?.Result);
+            if (outcome === 'ok') {
+                notify('retract', { clause }, 'completed', 'ok');
+                return { ok: true };
+            }
+            notify('retract', { clause }, 'failed', String(outcome));
+            return { ok: false, error: String(outcome) };
+        }),
+    });
+    tools.set('define', {
+        description: 'Replace the predicate(s) defined by a clause block: remove every predicate the block defines (plus the head pattern), then assert the block in order. A block may define several predicates. Prefer this over assert when changing existing predicates.',
+        parameters: {
+            type: 'object',
+            properties: {
+                head: { type: 'string', description: 'A head pattern for the predicate, e.g. "describe_image(Path, Text)" or "doc(describe_image/2, _)".' },
+                clauses: { type: 'string', description: 'The complete clause block for the predicate, in order, each ending with a period.' },
+            },
+            required: ['head', 'clauses'],
+        },
+        execute: (args) => serialized(async () => {
+            if (ctx.isFrozen()) {
+                return { ok: false, error: 'harness is frozen; define is disabled' };
+            }
+            const head = String(args.head ?? '');
+            const clauses = String(args.clauses ?? '');
+            const result = ctx.prologQuery(`deepclause_mi:repl_define('${ctx.sessionId}', ${quoteString(head)}, ${quoteString(clauses)}, Result)`);
+            const outcome = plainValue(result?.Result);
+            if (outcome === 'ok') {
+                notify('define', { head }, 'completed', 'ok');
+                return { ok: true };
+            }
+            notify('define', { head }, 'failed', String(outcome));
+            return { ok: false, error: String(outcome) };
+        }),
+    });
+    tools.set('execute', {
+        description: 'Run a DML goal against the scratch harness and return its bindings/output.',
+        parameters: {
+            type: 'object',
+            properties: {
+                goal: { type: 'string', description: 'The DML goal to run, e.g. "fact(5, F)".' },
+                limit: { type: 'integer', description: 'Maximum solutions to collect (default 5).' },
+            },
+            required: ['goal'],
+        },
+        execute: (args, context) => serialized(async () => {
+            const goal = String(args.goal ?? '');
+            const limit = typeof args.limit === 'number' ? args.limit : undefined;
+            const result = await ctx.executeGoal(goal, limit, context?.signal);
+            notify('execute', { goal }, result.error ? 'failed' : 'completed', result.error ?? `${result.solutions.length} solution(s)`);
+            return result;
+        }),
+    });
+    if (ctx.fileTools) {
+        const fileTools = ctx.fileTools;
+        tools.set('read_file', {
+            description: 'Read a workspace file. Paths are workspace-relative. Use this to inspect generated scripts.',
+            parameters: {
+                type: 'object',
+                properties: { path: { type: 'string', description: 'Workspace-relative file path.' } },
+                required: ['path'],
+            },
+            execute: (args) => serialized(async () => {
+                const filePath = String(args.path ?? '');
+                try {
+                    const content = await fileTools.read(filePath);
+                    if (content === null) {
+                        notify('read_file', { path: filePath }, 'failed', 'not found');
+                        return { error: `not found: ${filePath}` };
+                    }
+                    notify('read_file', { path: filePath }, 'completed', `${content.length} chars`);
+                    return { path: filePath, content };
+                }
+                catch (error) {
+                    notify('read_file', { path: filePath }, 'failed', String(error));
+                    return { error: String(error) };
+                }
+            }),
+        });
+        tools.set('write_file', {
+            description: 'Write a workspace file. Paths are workspace-relative; the write lands on disk immediately, so bash can run it in the same turn. Use this to author script files; link them with a script_file/2 fact and run them with exec(bash(...)).',
+            parameters: {
+                type: 'object',
+                properties: {
+                    path: { type: 'string', description: 'Workspace-relative file path.' },
+                    content: { type: 'string', description: 'The full file content.' },
+                },
+                required: ['path', 'content'],
+            },
+            execute: (args) => serialized(async () => {
+                const filePath = String(args.path ?? '');
+                const content = String(args.content ?? '');
+                try {
+                    await fileTools.write(filePath, content);
+                    notify('write_file', { path: filePath }, 'completed', `${content.length} chars`);
+                    return { ok: true, path: filePath };
+                }
+                catch (error) {
+                    notify('write_file', { path: filePath }, 'failed', String(error));
+                    return { ok: false, error: String(error) };
+                }
+            }),
+        });
+        tools.set('list_files', {
+            description: 'List a workspace directory.',
+            parameters: {
+                type: 'object',
+                properties: { path: { type: 'string', description: 'Workspace-relative directory (default ".").' } },
+                required: [],
+            },
+            execute: (args) => serialized(async () => {
+                const dir = args.path ? String(args.path) : '.';
+                try {
+                    const entries = await fileTools.list(dir);
+                    notify('list_files', { path: dir }, 'completed', `${entries.length} entries`);
+                    return { path: dir, entries };
+                }
+                catch (error) {
+                    notify('list_files', { path: dir }, 'failed', String(error));
+                    return { error: String(error) };
+                }
+            }),
+        });
+        tools.set('delete_file', {
+            description: 'Delete a workspace file.',
+            parameters: {
+                type: 'object',
+                properties: { path: { type: 'string', description: 'Workspace-relative file path.' } },
+                required: ['path'],
+            },
+            execute: (args) => serialized(async () => {
+                const filePath = String(args.path ?? '');
+                try {
+                    await fileTools.remove(filePath);
+                    notify('delete_file', { path: filePath }, 'completed', 'deleted');
+                    return { ok: true };
+                }
+                catch (error) {
+                    notify('delete_file', { path: filePath }, 'failed', String(error));
+                    return { ok: false, error: String(error) };
+                }
+            }),
+        });
+    }
+    if (ctx.askUser) {
+        tools.set('ask_user', {
+            description: 'Ask the human a clarifying question before writing the harness.',
+            parameters: {
+                type: 'object',
+                properties: {
+                    prompt: { type: 'string', description: 'The question to ask.' },
+                    options: { type: 'array', description: 'Optional menu of answers.' },
+                },
+                required: ['prompt'],
+            },
+            execute: (args) => serialized(async () => {
+                const prompt = String(args.prompt ?? '');
+                const options = Array.isArray(args.options) ? args.options.map(String) : undefined;
+                const result = await ctx.askUser(prompt, options);
+                notify('ask_user', { prompt }, 'completed', 'cancelled' in result ? 'cancelled' : result.answer);
+                return result;
+            }),
+        });
+    }
+    return tools;
+}
+/**
+ * Compact catalog injected into the meta prompt. The full schemas are always
+ * available through the `listing(tools)` / `listing` tool.
+ */
+export function describeMetaTools() {
+    return [
+        '- listing(filter) — read-only list of predicates (all), Name/Arity, tools, or scripts.',
+        '- assert(clause) / assert_many(clauses) — write DML clauses into the scratch harness.',
+        '- define(head, clauses) — replace a predicate (clear Name/Arity, then assert the clauses).',
+        '- retract(clause) — remove a predicate from the scratch harness.',
+        '- execute(goal, limit?) — run a DML goal against the scratch harness; returns bindings/output.',
+        '- read_file / write_file / list_files / delete_file — workspace-scoped file I/O (writes land immediately).',
+        '- ask_user(prompt, options?) — ask the human a clarifying question.',
+        '- bash — the capability host tool, available to probe the environment and run commands.',
+    ].join('\n');
+}
+//# sourceMappingURL=tools.js.map

package/dist/repl/tools.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tools.js","sourceRoot":"","sources":["../../src/repl/tools.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAGH,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AA8BzC,SAAS,WAAW,CAAC,KAAa;IAChC,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;AAClE,CAAC;AAED,SAAS,iBAAiB,CAAC,MAAc;IACvC,IAAI,2BAA2B,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,sBAAsB,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACpF,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AAC3C,CAAC;AAED,SAAS,UAAU,CAAC,OAAe;IACjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,eAAe,CAAC,GAAoB;IAClD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAEhD,6EAA6E;IAC7E,2EAA2E;IAC3E,6EAA6E;IAC7E,uCAAuC;IACvC,IAAI,KAAK,GAAqB,OAAO,CAAC,OAAO,EAAE,CAAC;IAChD,MAAM,UAAU,GAAG,CAAI,EAAoB,EAAc,EAAE;QACzD,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;QAC/B,KAAK,GAAG,GAAG,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,EAAE,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;QACnD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CACb,QAAgB,EAChB,QAAiC,EACjC,KAA6B,EAC7B,WAAmB,EACb,EAAE;QACR,GAAG,CAAC,OAAO,EAAE,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;IAC1F,CAAC,CAAC;IAEF,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE;QACnB,WAAW,EAAE,uFAAuF;QACpG,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE;oBACN,IAAI,EAAE,QAAQ;oBACd,WAAW,EAAE,wEAAwE;iBACtF;aACF;YACD,QAAQ,EAAE,EAAE;SACb;QACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;YACvC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC;YAC5D,IAAI,MAAM,KAAK,OAAO,IAAI,GAAG,CAAC,gBAAgB,EAAE,CAAC;gBAC/C,OAAO,UAAU,CAAC,GAAG,CAAC,gBAAgB,CAAC,CAAC;YAC1C,CAAC;YACD,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAC5B,+BAA+B,GAAG,CAAC,SAAS,MAAM,iBAAiB,CAAC,MAAM,CAAC,SAAS,CACrF,CAAC;YACF,MAAM,IAAI,GAAG,UAAU,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;YACtC,MAAM,MAAM,GAAG,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;YACpD,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC;YAC9G,OAAO,UAAU,CAAC,MAAM,CAAC,CAAC;QAC5B,CAAC,CAAC;KACH,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE;QAClB,WAAW,EAAE,oFAAoF;QACjG,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,mEAAmE,EAAE;aAC7G;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;QACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;YACvC,IAAI,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC;gBACnB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,uCAAuC,EAAE,CAAC;YACvE,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YACzC,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAC5B,8BAA8B,GAAG,CAAC,SAAS,MAAM,WAAW,CAAC,MAAM,CAAC,WAAW,CAChF,CAAC;YACF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC3C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;gBAChD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YACtB,CAAC;YACD,MAAM,CAAC,QAAQ,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YACxD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,CAAC,CAAC;KACH,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE;QACvB,WAAW,EAAE,qKAAqK;QAClL,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6DAA6D,EAAE;aACxG;YACD,QAAQ,EAAE,CAAC,SAAS,CAAC;SACtB;QACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;YACvC,IAAI,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC;gBACnB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,uCAAuC,EAAE,CAAC;YACvE,CAAC;YACD,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAC5B,mCAAmC,GAAG,CAAC,SAAS,MAAM,WAAW,CAAC,OAAO,CAAC,WAAW,CACtF,CAAC;YACF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC3C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;gBACtD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YACtB,CAAC;YACD,MAAM,CAAC,aAAa,EAAE,EAAE,OAAO,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YAC9D,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,CAAC,CAAC;KACH,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE;QACnB,WAAW,EAAE,kFAAkF;QAC/F,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,8DAA8D,EAAE;aACxG;YACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;QACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;YACvC,IAAI,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC;gBACnB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,wCAAwC,EAAE,CAAC;YACxE,CAAC;YACD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;YACzC,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAC5B,+BAA+B,GAAG,CAAC,SAAS,MAAM,WAAW,CAAC,MAAM,CAAC,WAAW,CACjF,CAAC;YACF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC3C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;gBACjD,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YACtB,CAAC;YACD,MAAM,CAAC,SAAS,EAAE,EAAE,MAAM,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YACzD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,CAAC,CAAC;KACH,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE;QAClB,WAAW,EAAE,yPAAyP;QACtQ,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,oGAAoG,EAAE;gBAC3I,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,mFAAmF,EAAE;aAC9H;YACD,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;SAC9B;QACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;YACvC,IAAI,GAAG,CAAC,QAAQ,EAAE,EAAE,CAAC;gBACnB,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,uCAAuC,EAAE,CAAC;YACvE,CAAC;YACD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YACrC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;YAC3C,MAAM,MAAM,GAAG,GAAG,CAAC,WAAW,CAC5B,8BAA8B,GAAG,CAAC,SAAS,MAAM,WAAW,CAAC,IAAI,CAAC,KAAK,WAAW,CAAC,OAAO,CAAC,WAAW,CACvG,CAAC;YACF,MAAM,OAAO,GAAG,UAAU,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;YAC3C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBACrB,MAAM,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,WAAW,EAAE,IAAI,CAAC,CAAC;gBAC9C,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;YACtB,CAAC;YACD,MAAM,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;YACtD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;QAC/C,CAAC,CAAC;KACH,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE;QACnB,WAAW,EAAE,4EAA4E;QACzF,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,yCAAyC,EAAE;gBAChF,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,2CAA2C,EAAE;aACrF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;QACD,OAAO,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;YAChD,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;YACrC,MAAM,KAAK,GAAG,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;YACtE,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,EAAE,MAAM,CAAC,CAAC;YACnE,MAAM,CACJ,SAAS,EACT,EAAE,IAAI,EAAE,EACR,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EACrC,MAAM,CAAC,KAAK,IAAI,GAAG,MAAM,CAAC,SAAS,CAAC,MAAM,cAAc,CACzD,CAAC;YACF,OAAO,MAAM,CAAC;QAChB,CAAC,CAAC;KACH,CAAC,CAAC;IAEH,IAAI,GAAG,CAAC,SAAS,EAAE,CAAC;QAClB,MAAM,SAAS,GAAG,GAAG,CAAC,SAAS,CAAC;QAChC,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE;YACrB,WAAW,EAAE,6FAA6F;YAC1G,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+BAA+B,EAAE,EAAE;gBACtF,QAAQ,EAAE,CAAC,MAAM,CAAC;aACnB;YACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;gBACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBACzC,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;oBAC/C,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;wBACrB,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,WAAW,CAAC,CAAC;wBAC/D,OAAO,EAAE,KAAK,EAAE,cAAc,QAAQ,EAAE,EAAE,CAAC;oBAC7C,CAAC;oBACD,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,MAAM,QAAQ,CAAC,CAAC;oBAChF,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;gBACrC,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,CAAC,WAAW,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;oBACjE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClC,CAAC;YACH,CAAC,CAAC;SACH,CAAC,CAAC;QAEH,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE;YACtB,WAAW,EAAE,yOAAyO;YACtP,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+BAA+B,EAAE;oBACtE,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,wBAAwB,EAAE;iBACnE;gBACD,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;aAC9B;YACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;gBACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBACzC,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;gBAC3C,IAAI,CAAC;oBACH,MAAM,SAAS,CAAC,KAAK,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;oBACzC,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,MAAM,QAAQ,CAAC,CAAC;oBACjF,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;gBACtC,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;oBAClE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7C,CAAC;YACH,CAAC,CAAC;SACH,CAAC,CAAC;QAEH,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE;YACtB,WAAW,EAAE,6BAA6B;YAC1C,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,6CAA6C,EAAE,EAAE;gBACpG,QAAQ,EAAE,EAAE;aACb;YACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;gBACvC,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;gBAChD,IAAI,CAAC;oBACH,MAAM,OAAO,GAAG,MAAM,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;oBAC1C,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,WAAW,EAAE,GAAG,OAAO,CAAC,MAAM,UAAU,CAAC,CAAC;oBAC9E,OAAO,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,EAAE,CAAC;gBAChC,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,CAAC,YAAY,EAAE,EAAE,IAAI,EAAE,GAAG,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;oBAC7D,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAClC,CAAC;YACH,CAAC,CAAC;SACH,CAAC,CAAC;QAEH,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE;YACvB,WAAW,EAAE,0BAA0B;YACvC,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,+BAA+B,EAAE,EAAE;gBACtF,QAAQ,EAAE,CAAC,MAAM,CAAC;aACnB;YACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;gBACvC,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBACzC,IAAI,CAAC;oBACH,MAAM,SAAS,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;oBACjC,MAAM,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,WAAW,EAAE,SAAS,CAAC,CAAC;oBAClE,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;gBACtB,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,CAAC,aAAa,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,QAAQ,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;oBACnE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC7C,CAAC;YACH,CAAC,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,IAAI,GAAG,CAAC,OAAO,EAAE,CAAC;QAChB,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE;YACpB,WAAW,EAAE,iEAAiE;YAC9E,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,MAAM,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,sBAAsB,EAAE;oBAC/D,OAAO,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,2BAA2B,EAAE;iBACrE;gBACD,QAAQ,EAAE,CAAC,QAAQ,CAAC;aACrB;YACD,OAAO,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,KAAK,IAAI,EAAE;gBACvC,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;gBACzC,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBACnF,MAAM,MAAM,GAAG,MAAM,GAAG,CAAC,OAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACnD,MAAM,CACJ,UAAU,EACV,EAAE,MAAM,EAAE,EACV,WAAW,EACX,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CACpD,CAAC;gBACF,OAAO,MAAM,CAAC;YAChB,CAAC,CAAC;SACH,CAAC,CAAC;IACL,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,iBAAiB;IAC/B,OAAO;QACL,wFAAwF;QACxF,uFAAuF;QACvF,4FAA4F;QAC5F,kEAAkE;QAClE,gGAAgG;QAChG,4GAA4G;QAC5G,qEAAqE;QACrE,yFAAyF;KAC1F,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACf,CAAC"}

package/dist/repl/toolset.d.ts

@@ -0,0 +1,32 @@
+/**
+ * REPL capability host tools.
+ *
+ * The only capability tool is **`bash`**, registered through the SDK's shell
+ * manager and sandbox config. Everything else the model needs (file I/O,
+ * search, fetching) is DML language, a linked script run through `bash`, or the
+ * human-in-the-loop channel (`ask_user` / `input/2`). `--tools`/`--no-tools`
+ * control whether `bash` is registered.
+ */
+import { type HostShellConfig } from '../system/runtime/shell-manager.js';
+import type { DMLEvent, ToolDefinition } from '../types.js';
+export declare const DEFAULT_REPL_TOOLS: readonly ["bash"];
+export interface ReplToolsetOptions {
+    workspacePath: string;
+    sandbox?: boolean;
+    network?: boolean;
+    hostConfig?: HostShellConfig;
+    /** Capability tool names to register. `null`/empty means no capability tools. */
+    toolNames?: string[] | null;
+    signal?: AbortSignal;
+    onEvent?: (event: DMLEvent) => void;
+}
+export interface ReplToolset {
+    tools: Map<string, ToolDefinition>;
+    /** Catalog text injected into the meta prompt. */
+    catalog: string;
+    dispose(): Promise<void>;
+}
+/** Human-readable catalog of the registered capability tools. */
+export declare function buildToolCatalog(tools: Map<string, ToolDefinition>): string;
+export declare function createReplToolset(options: ReplToolsetOptions): Promise<ReplToolset>;
+//# sourceMappingURL=toolset.d.ts.map

package/dist/repl/toolset.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"toolset.d.ts","sourceRoot":"","sources":["../../src/repl/toolset.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAsB,KAAK,eAAe,EAAE,MAAM,oCAAoC,CAAC;AAE9F,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE5D,eAAO,MAAM,kBAAkB,mBAAoB,CAAC;AAEpD,MAAM,WAAW,kBAAkB;IACjC,aAAa,EAAE,MAAM,CAAC;IACtB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB,UAAU,CAAC,EAAE,eAAe,CAAC;IAC7B,iFAAiF;IACjF,SAAS,CAAC,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC;IAC5B,MAAM,CAAC,EAAE,WAAW,CAAC;IACrB,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,CAAC;CACrC;AAED,MAAM,WAAW,WAAW;IAC1B,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CAAC;IACnC,kDAAkD;IAClD,OAAO,EAAE,MAAM,CAAC;IAChB,OAAO,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;CAC1B;AAED,iEAAiE;AACjE,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,GAAG,MAAM,CAa3E;AAED,wBAAsB,iBAAiB,CAAC,OAAO,EAAE,kBAAkB,GAAG,OAAO,CAAC,WAAW,CAAC,CA4DzF"}

package/dist/repl/toolset.js

@@ -0,0 +1,82 @@
+/**
+ * REPL capability host tools.
+ *
+ * The only capability tool is **`bash`**, registered through the SDK's shell
+ * manager and sandbox config. Everything else the model needs (file I/O,
+ * search, fetching) is DML language, a linked script run through `bash`, or the
+ * human-in-the-loop channel (`ask_user` / `input/2`). `--tools`/`--no-tools`
+ * control whether `bash` is registered.
+ */
+import { createShellManager } from '../system/runtime/shell-manager.js';
+import { createShellToolEventBridge } from '../system/runtime/shell-tool-events.js';
+export const DEFAULT_REPL_TOOLS = ['bash'];
+/** Human-readable catalog of the registered capability tools. */
+export function buildToolCatalog(tools) {
+    if (tools.size === 0) {
+        return 'No capability host tools are registered. Use DML/Prolog, or write a script file and run it with exec(bash(...)).';
+    }
+    const lines = [];
+    for (const [name, tool] of tools) {
+        const properties = tool.parameters?.properties ?? {};
+        const params = Object.keys(properties).join(', ') || 'none';
+        lines.push(`- ${name}: ${tool.description} (parameters: ${params})`);
+    }
+    lines.push('');
+    lines.push('DML file I/O always uses the MI predicates (open/3, close/1, read_string/3, write/2, write_file/2, read_file/2, append_file/2); it is not a host tool.');
+    return lines.join('\n');
+}
+export async function createReplToolset(options) {
+    const requested = options.toolNames === null
+        ? []
+        : options.toolNames ?? [...DEFAULT_REPL_TOOLS];
+    const tools = new Map();
+    let shell = requested.includes('bash')
+        ? createShellManager({
+            workspacePath: options.workspacePath,
+            sandbox: options.sandbox,
+            network: options.network,
+            hostConfig: options.hostConfig,
+        })
+        : null;
+    if (shell) {
+        const shellManager = shell;
+        tools.set('bash', {
+            description: 'Run a shell command in the active workspace shell.',
+            parameters: {
+                type: 'object',
+                properties: {
+                    command: { type: 'string', description: 'Shell command to execute.' },
+                    timeoutMs: {
+                        type: 'integer',
+                        description: 'Wall-clock timeout in milliseconds (optional; overrides DC_HOST_SHELL_TIMEOUT_MS).',
+                    },
+                },
+                required: ['command'],
+            },
+            execute: async (args, context) => {
+                const command = String(args.command ?? args.arg1 ?? '');
+                const timeoutMs = typeof args.timeoutMs === 'number' && Number.isFinite(args.timeoutMs) && args.timeoutMs > 0
+                    ? args.timeoutMs
+                    : undefined;
+                // Prefer the per-turn signal the runner/agent loop passes so Ctrl-C
+                // terminates the running command (fall back to a startup signal).
+                return shellManager.exec(command, context?.signal ?? options.signal, createShellToolEventBridge({
+                    toolName: 'bash',
+                    toolArgs: timeoutMs === undefined ? { command } : { command, timeoutMs },
+                    emit: options.onEvent,
+                }), { timeoutMs });
+            },
+        });
+    }
+    return {
+        tools,
+        catalog: buildToolCatalog(tools),
+        dispose: async () => {
+            if (shell) {
+                await shell.dispose();
+                shell = null;
+            }
+        },
+    };
+}
+//# sourceMappingURL=toolset.js.map

package/dist/repl/toolset.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"toolset.js","sourceRoot":"","sources":["../../src/repl/toolset.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,EAAE,kBAAkB,EAAwB,MAAM,oCAAoC,CAAC;AAC9F,OAAO,EAAE,0BAA0B,EAAE,MAAM,wCAAwC,CAAC;AAGpF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,MAAM,CAAU,CAAC;AAoBpD,iEAAiE;AACjE,MAAM,UAAU,gBAAgB,CAAC,KAAkC;IACjE,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACrB,OAAO,kHAAkH,CAAC;IAC5H,CAAC;IACD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC;QACjC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,EAAE,UAAU,IAAI,EAAE,CAAC;QACrD,MAAM,MAAM,GAAG,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,KAAK,IAAI,KAAK,IAAI,CAAC,WAAW,iBAAiB,MAAM,GAAG,CAAC,CAAC;IACvE,CAAC;IACD,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACf,KAAK,CAAC,IAAI,CAAC,wJAAwJ,CAAC,CAAC;IACrK,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC1B,CAAC;AAED,MAAM,CAAC,KAAK,UAAU,iBAAiB,CAAC,OAA2B;IACjE,MAAM,SAAS,GAAG,OAAO,CAAC,SAAS,KAAK,IAAI;QAC1C,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,OAAO,CAAC,SAAS,IAAI,CAAC,GAAG,kBAAkB,CAAC,CAAC;IACjD,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChD,IAAI,KAAK,GAAG,SAAS,CAAC,QAAQ,CAAC,MAAM,CAAC;QACpC,CAAC,CAAC,kBAAkB,CAAC;YACnB,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,UAAU,EAAE,OAAO,CAAC,UAAU;SAC/B,CAAC;QACF,CAAC,CAAC,IAAI,CAAC;IAET,IAAI,KAAK,EAAE,CAAC;QACV,MAAM,YAAY,GAAG,KAAK,CAAC;QAC3B,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE;YAChB,WAAW,EAAE,oDAAoD;YACjE,UAAU,EAAE;gBACV,IAAI,EAAE,QAAQ;gBACd,UAAU,EAAE;oBACV,OAAO,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,2BAA2B,EAAE;oBACrE,SAAS,EAAE;wBACT,IAAI,EAAE,SAAS;wBACf,WAAW,EAAE,oFAAoF;qBAClG;iBACF;gBACD,QAAQ,EAAE,CAAC,SAAS,CAAC;aACtB;YACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE;gBAC/B,MAAM,OAAO,GAAG,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,CAAC;gBACxD,MAAM,SAAS,GAAG,OAAO,IAAI,CAAC,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,IAAI,CAAC,SAAS,GAAG,CAAC;oBAC3G,CAAC,CAAC,IAAI,CAAC,SAAS;oBAChB,CAAC,CAAC,SAAS,CAAC;gBACd,oEAAoE;gBACpE,kEAAkE;gBAClE,OAAO,YAAY,CAAC,IAAI,CACtB,OAAO,EACP,OAAO,EAAE,MAAM,IAAI,OAAO,CAAC,MAAM,EACjC,0BAA0B,CAAC;oBACzB,QAAQ,EAAE,MAAM;oBAChB,QAAQ,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,SAAS,EAAE;oBACxE,IAAI,EAAE,OAAO,CAAC,OAAO;iBACtB,CAAC,EACF,EAAE,SAAS,EAAE,CACd,CAAC;YACJ,CAAC;SACF,CAAC,CAAC;IACL,CAAC;IAED,OAAO;QACL,KAAK;QACL,OAAO,EAAE,gBAAgB,CAAC,KAAK,CAAC;QAChC,OAAO,EAAE,KAAK,IAAI,EAAE;YAClB,IAAI,KAAK,EAAE,CAAC;gBACV,MAAM,KAAK,CAAC,OAAO,EAAE,CAAC;gBACtB,KAAK,GAAG,IAAI,CAAC;YACf,CAAC;QACH,CAAC;KACF,CAAC;AACJ,CAAC"}

package/dist/repl/tui/editor.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Editor that can display a "human input needed" question in its top border.
+ *
+ * The REPL uses the same editor for normal prompts and for `ask_user` / `input/2`.
+ * While input is needed the border turns orange and shows the question, so the
+ * user can see *why* the cursor is waiting without a separate prompt line.
+ */
+import { Editor, type EditorTheme, type TUI } from '@earendil-works/pi-tui';
+export declare class PromptEditor extends Editor {
+    private prompt;
+    constructor(tui: TUI, theme: EditorTheme);
+    /** Set (or clear) the question shown in the top border. */
+    setPrompt(prompt: string | null): void;
+    protected renderTopBorder(width: number, hiddenLineCount: number): string;
+    protected renderBottomBorder(width: number, hiddenLineCount: number): string;
+}
+//# sourceMappingURL=editor.d.ts.map

package/dist/repl/tui/editor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"editor.d.ts","sourceRoot":"","sources":["../../../src/repl/tui/editor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAiC,KAAK,WAAW,EAAE,KAAK,GAAG,EAAE,MAAM,wBAAwB,CAAC;AAI3G,qBAAa,YAAa,SAAQ,MAAM;IACtC,OAAO,CAAC,MAAM,CAAuB;gBAEzB,GAAG,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW;IAIxC,2DAA2D;IAC3D,SAAS,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI;IAKtC,SAAS,CAAC,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,MAAM;IAazE,SAAS,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,GAAG,MAAM;CAM7E"}

package/dist/repl/tui/editor.js

@@ -0,0 +1,39 @@
+/**
+ * Editor that can display a "human input needed" question in its top border.
+ *
+ * The REPL uses the same editor for normal prompts and for `ask_user` / `input/2`.
+ * While input is needed the border turns orange and shows the question, so the
+ * user can see *why* the cursor is waiting without a separate prompt line.
+ */
+import { Editor, truncateToWidth, visibleWidth } from '@earendil-works/pi-tui';
+import { promptBorder, promptLabel } from './theme.js';
+export class PromptEditor extends Editor {
+    prompt = null;
+    constructor(tui, theme) {
+        super(tui, theme);
+    }
+    /** Set (or clear) the question shown in the top border. */
+    setPrompt(prompt) {
+        this.prompt = prompt;
+        this.invalidate();
+    }
+    renderTopBorder(width, hiddenLineCount) {
+        if (!this.prompt || width <= 0) {
+            return super.renderTopBorder(width, hiddenLineCount);
+        }
+        const left = '── ';
+        const right = ' ';
+        const available = Math.max(1, width - visibleWidth(left) - visibleWidth(right));
+        const label = truncateToWidth(`? ${this.prompt}`, available, '…');
+        const used = visibleWidth(left) + visibleWidth(label) + visibleWidth(right);
+        const rest = '─'.repeat(Math.max(0, width - used));
+        return `${promptBorder(left)}${promptLabel(label)}${promptBorder(`${right}${rest}`)}`;
+    }
+    renderBottomBorder(width, hiddenLineCount) {
+        if (!this.prompt || width <= 0) {
+            return super.renderBottomBorder(width, hiddenLineCount);
+        }
+        return promptBorder('─'.repeat(width));
+    }
+}
+//# sourceMappingURL=editor.js.map

package/dist/repl/tui/editor.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"editor.js","sourceRoot":"","sources":["../../../src/repl/tui/editor.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,EAAE,MAAM,EAAE,eAAe,EAAE,YAAY,EAA8B,MAAM,wBAAwB,CAAC;AAE3G,OAAO,EAAE,YAAY,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAEvD,MAAM,OAAO,YAAa,SAAQ,MAAM;IAC9B,MAAM,GAAkB,IAAI,CAAC;IAErC,YAAY,GAAQ,EAAE,KAAkB;QACtC,KAAK,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;IACpB,CAAC;IAED,2DAA2D;IAC3D,SAAS,CAAC,MAAqB;QAC7B,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC;QACrB,IAAI,CAAC,UAAU,EAAE,CAAC;IACpB,CAAC;IAES,eAAe,CAAC,KAAa,EAAE,eAAuB;QAC9D,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,eAAe,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QACvD,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC;QACnB,MAAM,KAAK,GAAG,GAAG,CAAC;QAClB,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;QAChF,MAAM,KAAK,GAAG,eAAe,CAAC,KAAK,IAAI,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;QAClE,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAC5E,MAAM,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC;QACnD,OAAO,GAAG,YAAY,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,GAAG,YAAY,CAAC,GAAG,KAAK,GAAG,IAAI,EAAE,CAAC,EAAE,CAAC;IACxF,CAAC;IAES,kBAAkB,CAAC,KAAa,EAAE,eAAuB;QACjE,IAAI,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/B,OAAO,KAAK,CAAC,kBAAkB,CAAC,KAAK,EAAE,eAAe,CAAC,CAAC;QAC1D,CAAC;QACD,OAAO,YAAY,CAAC,GAAG,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC;IACzC,CAAC;CACF"}

package/dist/repl/tui/status-bar.d.ts

@@ -0,0 +1,26 @@
+/**
+ * Fixed status bar for the REPL TUI (pi-style footer).
+ *
+ * Two lines: workspace/session/backend, then token totals, context usage for
+ * the active frame slot, and the current model (with reasoning level).
+ */
+import { type Component } from '@earendil-works/pi-tui';
+import { type ReplStatusSnapshot } from '../status.js';
+export interface StatusBarOptions {
+    getSnapshot: () => ReplStatusSnapshot;
+    workspace: string;
+    sessionId: string;
+    /** Harness this session edits. */
+    harness?: string;
+    backend: string;
+    isFrozen?: () => boolean;
+    /** True while a turn is running (so the user knows they can steer). */
+    isRunning?: () => boolean;
+}
+export declare class StatusBarComponent implements Component {
+    private readonly options;
+    constructor(options: StatusBarOptions);
+    render(width: number): string[];
+    invalidate(): void;
+}
+//# sourceMappingURL=status-bar.d.ts.map

package/dist/repl/tui/status-bar.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"status-bar.d.ts","sourceRoot":"","sources":["../../../src/repl/tui/status-bar.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAiC,KAAK,SAAS,EAAE,MAAM,wBAAwB,CAAC;AAEvF,OAAO,EAIL,KAAK,kBAAkB,EACxB,MAAM,cAAc,CAAC;AAGtB,MAAM,WAAW,gBAAgB;IAC/B,WAAW,EAAE,MAAM,kBAAkB,CAAC;IACtC,SAAS,EAAE,MAAM,CAAC;IAClB,SAAS,EAAE,MAAM,CAAC;IAClB,kCAAkC;IAClC,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,EAAE,MAAM,CAAC;IAChB,QAAQ,CAAC,EAAE,MAAM,OAAO,CAAC;IACzB,uEAAuE;IACvE,SAAS,CAAC,EAAE,MAAM,OAAO,CAAC;CAC3B;AAmBD,qBAAa,kBAAmB,YAAW,SAAS;IACtC,OAAO,CAAC,QAAQ,CAAC,OAAO;gBAAP,OAAO,EAAE,gBAAgB;IAEtD,MAAM,CAAC,KAAK,EAAE,MAAM,GAAG,MAAM,EAAE;IAmB/B,UAAU,IAAI,IAAI;CAGnB"}

package/dist/repl/tui/status-bar.js

@@ -0,0 +1,47 @@
+/**
+ * Fixed status bar for the REPL TUI (pi-style footer).
+ *
+ * Two lines: workspace/session/backend, then token totals, context usage for
+ * the active frame slot, and the current model (with reasoning level).
+ */
+import { truncateToWidth, visibleWidth } from '@earendil-works/pi-tui';
+import { formatContextSegment, formatModelSegment, formatUsageSegment, } from '../status.js';
+import { dim } from './theme.js';
+/** Right-align `right` within `width`, truncating the left side if needed. */
+function align(left, right, width) {
+    const minPadding = 2;
+    const leftWidth = visibleWidth(left);
+    const rightWidth = visibleWidth(right);
+    if (leftWidth + minPadding + rightWidth <= width) {
+        return left + ' '.repeat(width - leftWidth - rightWidth) + right;
+    }
+    const available = width - leftWidth - minPadding;
+    if (available <= 0) {
+        return truncateToWidth(left, width, '');
+    }
+    const truncated = truncateToWidth(right, available, '');
+    const total = leftWidth + visibleWidth(truncated);
+    return left + ' '.repeat(Math.max(0, width - total)) + truncated;
+}
+export class StatusBarComponent {
+    options;
+    constructor(options) {
+        this.options = options;
+    }
+    render(width) {
+        const snapshot = this.options.getSnapshot();
+        const frozen = this.options.isFrozen?.() ? ' · FROZEN' : '';
+        const running = this.options.isRunning?.() ? ' · running (type to steer)' : '';
+        const harness = this.options.harness ? ` · harness ${this.options.harness}` : '';
+        const line1 = truncateToWidth(`${this.options.workspace} · session ${this.options.sessionId}${harness} · backend ${this.options.backend}${frozen}${running}`, width, '…');
+        const usage = formatUsageSegment(snapshot);
+        const context = formatContextSegment(snapshot);
+        const left = [usage, context].filter(Boolean).join('  ');
+        const line2 = align(left, formatModelSegment(snapshot), width);
+        return [dim(line1), dim(line2)];
+    }
+    invalidate() {
+        // Stateless rendering: reads the snapshot on each frame.
+    }
+}
+//# sourceMappingURL=status-bar.js.map

package/dist/repl/tui/status-bar.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"status-bar.js","sourceRoot":"","sources":["../../../src/repl/tui/status-bar.ts"],"names":[],"mappings":"AAAA;;;;;GAKG;AAEH,OAAO,EAAE,eAAe,EAAE,YAAY,EAAkB,MAAM,wBAAwB,CAAC;AAEvF,OAAO,EACL,oBAAoB,EACpB,kBAAkB,EAClB,kBAAkB,GAEnB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,GAAG,EAAE,MAAM,YAAY,CAAC;AAcjC,8EAA8E;AAC9E,SAAS,KAAK,CAAC,IAAY,EAAE,KAAa,EAAE,KAAa;IACvD,MAAM,UAAU,GAAG,CAAC,CAAC;IACrB,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IACrC,MAAM,UAAU,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;IACvC,IAAI,SAAS,GAAG,UAAU,GAAG,UAAU,IAAI,KAAK,EAAE,CAAC;QACjD,OAAO,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,KAAK,GAAG,SAAS,GAAG,UAAU,CAAC,GAAG,KAAK,CAAC;IACnE,CAAC;IACD,MAAM,SAAS,GAAG,KAAK,GAAG,SAAS,GAAG,UAAU,CAAC;IACjD,IAAI,SAAS,IAAI,CAAC,EAAE,CAAC;QACnB,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IAC1C,CAAC;IACD,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC;IACxD,MAAM,KAAK,GAAG,SAAS,GAAG,YAAY,CAAC,SAAS,CAAC,CAAC;IAClD,OAAO,IAAI,GAAG,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,CAAC,GAAG,SAAS,CAAC;AACnE,CAAC;AAED,MAAM,OAAO,kBAAkB;IACA;IAA7B,YAA6B,OAAyB;QAAzB,YAAO,GAAP,OAAO,CAAkB;IAAG,CAAC;IAE1D,MAAM,CAAC,KAAa;QAClB,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,WAAW,EAAE,CAAC;QAC5C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,EAAE,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;QAC5D,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,CAAC,4BAA4B,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/E,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,CAAC,cAAc,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACjF,MAAM,KAAK,GAAG,eAAe,CAC3B,GAAG,IAAI,CAAC,OAAO,CAAC,SAAS,cAAc,IAAI,CAAC,OAAO,CAAC,SAAS,GAAG,OAAO,cAAc,IAAI,CAAC,OAAO,CAAC,OAAO,GAAG,MAAM,GAAG,OAAO,EAAE,EAC9H,KAAK,EACL,GAAG,CACJ,CAAC;QAEF,MAAM,KAAK,GAAG,kBAAkB,CAAC,QAAQ,CAAC,CAAC;QAC3C,MAAM,OAAO,GAAG,oBAAoB,CAAC,QAAQ,CAAC,CAAC;QAC/C,MAAM,IAAI,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,KAAK,CAAC,IAAI,EAAE,kBAAkB,CAAC,QAAQ,CAAC,EAAE,KAAK,CAAC,CAAC;QAE/D,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC;IAClC,CAAC;IAED,UAAU;QACR,yDAAyD;IAC3D,CAAC;CACF"}

package/dist/repl/tui/theme.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Minimal ANSI theme for the REPL TUI.
+ *
+ * The transcript is fed by `ReplRenderer` (rich mode) and the status bar is
+ * rendered as plain text; these helpers add the few colors the TUI itself owns
+ * (user-message blocks, the editor border, and the dim footer).
+ */
+import { type EditorTheme } from '@earendil-works/pi-tui';
+/**
+ * Render one line of a user message as a full-width blue block (pi-style). The
+ * text is padded to the terminal width so the background spans the row.
+ */
+export declare function renderUserLine(text: string, width: number): string;
+/** An `ask_user` / `input/2` answer echo (distinct from a normal prompt). */
+export declare function formatInputAnswer(text: string): string;
+/**
+ * Render one line of a steering message as a full-width amber block, prefixed
+ * with `Steering: ` on the first line. Padded to the terminal width.
+ */
+export declare const STEER_LABEL = " Steering: ";
+export declare function renderSteerLine(text: string, width: number, first?: boolean): string;
+/** The border of the editing box while the runtime needs human input. */
+export declare function promptBorder(text: string): string;
+/** The question shown inside the editing box while input is needed. */
+export declare function promptLabel(text: string): string;
+/** Dim the status bar so it recedes behind the transcript. */
+export declare function dim(text: string): string;
+/** Editor theme: a blue border, cyan selection. */
+export declare function editorTheme(): EditorTheme;
+//# sourceMappingURL=theme.d.ts.map