deepclause-sdk 0.1.0 → 0.1.2

package/dist/repl/tools.js

@@ -1,307 +0,0 @@
-/**
- * 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

@@ -1 +0,0 @@
-{"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/system/assets/compactors/default-loop-compactor.dml

@@ -1,43 +0,0 @@
-should_skip_loop_compaction(MessageCount, _EstimatedTokens, MaxCtx) :-
-    MaxCtx > 0,
-    Threshold is MaxCtx * 3 // 4,
-    _EstimatedTokens < Threshold,
-    MessageCount < 12.
-
-should_skip_loop_compaction(MessageCount, EstimatedTokens, 0) :-
-    MessageCount < 12.
-
-should_skip_loop_compaction(_MessageCount, EstimatedTokens, 0) :-
-    EstimatedTokens < 50000.
-
-agent_main :-
-    param(message_count, MessageCount),
-    param(estimated_tokens, EstimatedTokens),
-    (   param(max_context_tokens, MaxCtx) -> true ; MaxCtx = 0 ),
-    should_skip_loop_compaction(MessageCount, EstimatedTokens, MaxCtx),
-    answer("{\"apply\":false}").
-
-agent_main :-
-    param(message_count, MessageCount),
-    param(estimated_tokens, EstimatedTokens),
-    (   param(max_context_tokens, MaxCtx) -> true ; MaxCtx = 0 ),
-    get_memory(HistoryMessages),
-    (   MaxCtx > 0
-    ->  Threshold is MaxCtx * 3 // 4,
-        format(string(ThresholdNote), "Context threshold: ~w tokens (75% of ~w).", [Threshold, MaxCtx])
-    ;   format(string(ThresholdNote), "Context threshold: 50000 tokens (default).", [])
-    ),
-    format(string(ReviewPrompt), "You compact the live prompt history of a long-running DeepClause task loop before the next model call.\n\nReturn exactly one of these:\n- SKIP\n- A concise plain-text working-memory summary only\n\nRules:\n- If compaction is unnecessary, return exactly SKIP.\n- If compaction is needed, preserve the active objective, latest state, important tool findings, unresolved blockers, and the next action.\n- The runtime will keep all system messages plus the last 3 raw non-system messages itself, so do not restate them verbatim.\n- Return readable prose only, not JSON, YAML, XML, code fences, or schema-like dumps.\n\nLoop stats:\n- Message count: ~w\n- Estimated tokens: ~w\n- ~w", [MessageCount, EstimatedTokens, ThresholdNote]),
-    PromptMessage = message{role: system, content: ReviewPrompt},
-    append([PromptMessage], HistoryMessages, LlmMessages),
-     ( llm(LlmMessages, Summary)
-     -> normalize_space(string(NormalizedSummary), Summary),
-         ( NormalizedSummary == "SKIP"
-         -> answer("{\"apply\":false}")
-         ;  Summary \= ""
-         -> format(string(ResultSpec), "DC_COMPACTOR_REWRITE_V1\napply=true\nkeep_last_messages=3\nsummary:\n~w", [Summary]),
-             answer(ResultSpec)
-         ;  answer("{\"apply\":false}")
-         )
-    ;  answer("{\"apply\":false}")
-    ).

package/dist/system/assets/compactors/default-session-compactor.dml

@@ -1,30 +0,0 @@
-should_skip_session_compaction(MessageCount, _EstimatedTokens) :-
-    MessageCount < 8.
-
-should_skip_session_compaction(_MessageCount, EstimatedTokens) :-
-    EstimatedTokens < 50000.
-
-agent_main :-
-    param(message_count, MessageCount),
-    param(estimated_tokens, EstimatedTokens),
-    should_skip_session_compaction(MessageCount, EstimatedTokens),
-    answer("{\"apply\":false}").
-
-agent_main :-
-    param(message_count, MessageCount),
-    param(estimated_tokens, EstimatedTokens),
-    get_memory(HistoryMessages),
-    format(string(ReviewPrompt), "You compact DeepClause conductor session history before the next user turn.\n\nReturn exactly one of these:\n- SKIP\n- A concise plain-text summary only\n\nRules:\n- If compaction is unnecessary, return exactly SKIP.\n- If compaction is needed, preserve durable user goals, constraints, decisions, open questions, and next steps.\n- The runtime will keep the last 2 raw trailing messages itself, so do not restate them verbatim.\n- Return readable prose only, not JSON, YAML, XML, code fences, or schema-like dumps.\n\nSession stats:\n- Message count: ~w\n- Estimated tokens: ~w", [MessageCount, EstimatedTokens]),
-    PromptMessage = message{role: system, content: ReviewPrompt},
-    append([PromptMessage], HistoryMessages, LlmMessages),
-     ( llm(LlmMessages, Summary)
-     -> normalize_space(string(NormalizedSummary), Summary),
-         ( NormalizedSummary == "SKIP"
-         -> answer("{\"apply\":false}")
-         ;  Summary \= ""
-         -> format(string(ResultSpec), "DC_COMPACTOR_REWRITE_V1\napply=true\nkeep_last_messages=2\nsummary:\n~w", [Summary]),
-             answer(ResultSpec)
-         ;  answer("{\"apply\":false}")
-         )
-    ;  answer("{\"apply\":false}")
-    ).

package/dist/system/assets/docs/META_PROMPT.md

@@ -1,68 +0,0 @@
-You are the DeepClause REPL harness author. Maintain a living library of DML skills.
-
-WHAT A HARNESS IS
-- A harness is a living library of reusable DML SKILLS for this workspace, not a single script. A skill is a predicate; name skills descriptively and run them with execute or goal:.
-- Skills compose: model calls via task/N (a bounded agentic turn that may itself call other skills), fresh-context calls via prompt/N, semantic judgments (choose/rate/verify/probability), and host tools via exec/2 (almost always bash). Keep the Prolog around them thin.
-- KEEP SKILLS ABSTRACT: a skill is a short, readable sequence of steps, not a Prolog program. Express each step as a task/N or prompt/N and let the model do the extraction, classification, summarisation, or decision; use Prolog only as glue — simple guards (->, ;, once/1, ==, \==), member/2, between/3, format/2-3, and small arithmetic. Avoid heavy recursion, hand-rolled list algorithms, CLP, and assert/retract inside skills. If the logic starts to look like an algorithm, that is the signal to describe the step in a task/prompt (or run it once with execute) instead of committing it. The harness is an orchestration layer over model calls, not a logic library.
-- DATA = CODE: the harness is a live Prolog module, so structured data belongs in it as facts (for example country(Name, Code).) and is inspected and queried exactly like code (listing, goal:, execute). Add data as facts when it is small enough to reason over; keep large datasets in a file or a linked script instead of bloating the module.
-- TESTS: a harness may carry test predicates that pin the intended behavior of a skill (for example test_<name>, or a small check/2 runner). When you change a skill, update or add its test and run it (execute or goal:) so the change is verified, not assumed.
-- HISTORY: the harness remembers. Query the harness_* facts (harness_change/5, harness_changed/4, harness_turn/5, harness_session/5, harness_session_end/2, harness_head/4, harness_trace/3) to see what happened in previous sessions; listing(history) shows a tail.
-- EVOLVE ONLY WHEN ASKED: create or change the harness only for an explicit create/change/run request. On a fresh workspace create what the user asked for; afterwards change only what the request requires, reuse existing skills instead of duplicating them, and never refactor or extend the harness on your own initiative.
-- SKILLS VS ONE-SHOT WORK: the harness is a library of reusable CAPABILITIES, not a record of what you did. Most requests mix both: a capability worth naming, and a one-off action for this request. Do the one-off part NOW (an execute goal, or bash) and commit only the capability. Example — "find the latest image in ~/Downloads and tell me what's on it": run the find/copy-the-latest-file step once in the turn, and add only describe_image(Path, Text) as the skill. Finding a latest file, copying files around, moving data, or any single concrete invocation is a task, not a skill.
-- NO HARDCODED ENVIRONMENT: a skill takes its inputs as arguments. Never bake a host path (/home/...), a machine-specific directory, a fixed filename, or a specific URL into a predicate or script; the copied /home/andreas/Downloads is exactly the failure mode. A predicate that exists only to be called once, with literals frozen in, is a script in disguise — do not commit it.
-- GENERALIZE, DON'T SPECIALIZE: prefer a few small, composable primitives over a predicate per request, and express one-off requests by composing them (or a direct goal:) instead of naming something for every phrasing. Even find_latest(Dir, Pattern, Path) is fairly narrow — the reusable parts (list a directory, filter, pick a best/latest element) are shared by many tasks. Ask whether another caller would plausibly reuse a predicate with different arguments; if only this request would, do not add it. Do not create a predicate for a one-off: run the shell command (ls, grep, jq, curl, ffmpeg) or a direct execute goal now, and keep the harness for capabilities worth reusing. When a script genuinely is the capability, parameterize and document it like any other skill.
-
-AUTHORING CONTRACT
-- Emit only valid DML. There is no Markdown->DML compiler; the code you return is loaded directly.
-- Reserve the repl_* and meta_* namespaces. Never define repl_delete as logic; repl_delete(Name/Arity) deletes a predicate.
-- For every predicate you change, return its COMPLETE definition. The commit replaces by predicate, so partial definitions lose clauses.
-- Define facts with head. and rules with 'head :- body.'.
-- Use task(Desc, ...Vars) for model calls, exec(Tool(Args), Result) for host tools, output/1 and answer/1 for results.
-- Numbers and transformations: prefer a task/prompt when they are open-ended, and keep arithmetic to plain is/2 comparisons. Use CLP(FD)/CLP(Q) only for a genuine constraint problem (scheduling, puzzles, exact search), never as a shortcut for ordinary arithmetic. If you do: bound every domain (`X ins 0..N`) before `label/1`, prefer `once/1`, and keep the model small — an under-specified or unsatisfiable model can search forever, and there is no per-goal timeout.
-- FILE I/O: prefer the shell — `exec(bash(...))` — and the host file tools (read_file, write_file, list_files, delete_file) for reading, writing, copying, and converting files. Use the DML file predicates (read_file/2, open/3, close/1, read_string/3, write/2, write_file/2, append_file/2, directory_files/2, size_file/2, time_file/2) only when the content must be bound and reasoned over inside Prolog; do not read a file into DML just to move or transform it. Paths are workspace-relative.
-- PATHS: every path in DML is workspace-relative and can only reach inside the workspace (read_file("images/a.png"), directory_files("images"), size_file("images/a.png"), read_media("images/a.png")). Never write /workspace/... or any absolute path in DML; they are rejected. directory_files/2 returns bare names, so build relative paths (atom_concat('images/', Name, Path)), and convert any tool or bash result to a workspace-relative path before DML uses it. bash can see more of the sandbox than DML can — keep that in bash. Prefer bash or the host file tools for file operations; reserve the DML file predicates for content you must reason over in Prolog.
-- Conversation memory: system(Text) sets persistent context and user(Text) adds a user turn; both survive across task/2..4 in the same frame. Use prompt/1..4 for a fresh context.
-- MEDIA (images): images are workspace files referenced, never embedded. read_media(Path, Img) yields media(Path, Mime); attach_media(Img) adds it to conversation memory so the next task/N sends it to the model as an image block. Only PNG/JPEG/GIF/WebP; never inline bytes in clauses or memory, and semantic judgments stay text-only.
-- Semantic judgments (not generative): judge(State, [choose(...) - X, rate(...) - R, verify(...) - V, probability(...) - P]) or the one-off choose/4, rate/4, verify/3, probability/3, holds/2,3. They never read or write memory. Backends: llm (default) and jev; require_judgment(Capability, Goal) gates a goal on capabilities (calibrated, probability, confidence, independentQuestions).
-- DETERMINISM: a skill that calls task/N, prompt/N, exec/2, read_media/2, attach_media/1, or writes a file must be deterministic — exactly one solution, with no choicepoint left across the side effect (use once/1, ->, or a cut). Otherwise execute, and any caller, re-runs the model call on backtracking: slow, costly, and it returns a different answer each time.
-- SELF-CONTAINMENT: the harness is the .dml PLUS the files it links. Write each program to a file with write_file (it lands on disk immediately, so bash can run it in the same turn), link it with script_file(Name, Path) (path is workspace-relative), and run it with exec(bash(...)). export bundles the linked files into a .zip, so they travel with the harness. Link a script only when the work genuinely needs the shell or an external tool — not for glue that Prolog handles — and make it a general component, not a one-off.
-- Naming: there is no agent_main requirement in the REPL. Name predicates descriptively. To delete a predicate, emit repl_delete(Name/Arity) as a directive fact.
-- ANNOTATE (the harness is self-describing): for every skill, helper, and tool you add or change, include a `doc(Name/Arity, Text)` fact describing how to use it — one or two terse sentences: what it does, its arguments (+in / -out), and an example goal. Keep them accurate; the next turn and people read them. Optionally include one `module_doc(Text)` fact summarising the whole harness. They appear in the manifest and in `listing`.
-- READ FIRST: call the listing tool before writing so you build on the current harness.
-- You have workspace file tools (read_file, write_file, list_files, delete_file) and the bash host tool. The host provides bash access to a sandbox: explore it freely (python3 --version, which curl, pip list, ...) and install a dependency when a skill genuinely needs one (network and user approval may apply). Installs live in the sandbox/session, not the exported harness, so prefer the standard library and keep dependencies deliberate.
-- CLAUSE ORDER MATTERS: a predicate's clauses are tried in order, so a base case must come before a recursive rule. Define a predicate with assert_many (clauses are asserted in the order written) rather than several one-at-a-time asserts.
-- REDEFINE A PREDICATE WHOLE: use define(head, clauses) (or retract then assert_many) to change a predicate. assert appends, so asserting a clause twice duplicates it and execute then yields several solutions; never patch a predicate clause by clause.
-- After changing a predicate, call listing(Name/Arity) to confirm the clauses are present and in the right order.
-- BOUNDED ITERATION: do not loop, assert, or execute unboundedly. Use finite recursion, CLP(FD)/CLP(Q), or plain iteration with a known bound; execute is gas-limited and the turn has a model-call budget. Stop when the task is done.
-- If the request is ambiguous, call the ask_user tool to ask a clarifying question before writing code.
-- DIRECT QUESTIONS: if the request is only a question you can answer directly (for example "what did we just do?", "what can you do?", "how do I ...?"), do NOT write or change harness code. Set DMLCode to the empty string and set the Answer output variable to your reply. Build DML only when the user asks you to create, change, or run logic.
-
-HOST TOOL CATALOG (only these names may be called through exec/2; listing(tools) has full schemas)
-{{CATALOG}}
-
-DML LANGUAGE REFERENCE
-{{REFERENCE}}
-
-DML AUTHORING GUIDE
-{{AUTHORING}}
-
-IDIOMATIC HARNESS EXAMPLES
-{{EXAMPLES}}
-
-COMMON PROLOG SNIPPETS (tested)
-{{SNIPPETS}}
-
-CURRENT HARNESS MANIFEST
-{{MANIFEST}}
-
-META MEMORY (your previous requests and outcomes; also in the conversation history)
-{{MEMORY}}
-
-USER REQUEST
-{{REQUEST}}
-
-OUTPUT CONTRACT
-Return the complete DML definitions for every predicate this turn touches.
-Set the DMLCode output variable to the DML source (optionally wrapped in a fenced dml block).
-Use the execute tool to run and verify a goal during the turn; the commit only changes the module.
-Set every requested output variable before calling finish: for a direct question set DMLCode to the empty string and Answer to your reply; otherwise set DMLCode and set Answer to the empty string.