deepclause-sdk 0.0.88 → 0.1.0

package/dist/repl/frames.js

@@ -0,0 +1,79 @@
+/**
+ * Helpers shared by the REPL session/frame layers.
+ *
+ * The frame stack itself lives in the Prolog runtime (`session_frame/4`,
+ * `step_frame/4`) and is driven by `DMLRunner.runFrame`. These helpers cover
+ * the Prolog-term marshalling and small presentation utilities the REPL needs.
+ */
+/** Unwrap a swipl-wasm tagged value (`{ $t, v }`) into a plain JS value. */
+export function plainValue(value) {
+    if (value && typeof value === 'object') {
+        const tagged = value;
+        if (tagged.$t) {
+            return tagged.v;
+        }
+    }
+    return value;
+}
+/** Convert a JS value into a Prolog term string, mirroring DMLRunner.toPrologTerm. */
+export function toPrologTerm(value) {
+    if (value === null || value === undefined) {
+        return 'null';
+    }
+    if (typeof value === 'string') {
+        return `"${value.replace(/\\/g, '\\\\').replace(/"/g, '\\"')}"`;
+    }
+    if (typeof value === 'number') {
+        return String(value);
+    }
+    if (typeof value === 'boolean') {
+        return value ? 'true' : 'false';
+    }
+    if (Array.isArray(value)) {
+        return `[${value.map((item) => toPrologTerm(item)).join(', ')}]`;
+    }
+    if (typeof value === 'object') {
+        const entries = Object.entries(value)
+            .map(([key, item]) => `${quoteAtom(key)}: ${toPrologTerm(item)}`)
+            .join(', ');
+        return `dict{${entries}}`;
+    }
+    return 'null';
+}
+/** Quote a string as a single-line Prolog string literal. */
+export function quotePrologString(value) {
+    const escaped = value
+        .replace(/\\/g, '\\\\')
+        .replace(/"/g, '\\"')
+        .replace(/\r/g, '\\r')
+        .replace(/\n/g, '\\n')
+        .replace(/\t/g, '\\t');
+    return `"${escaped}"`;
+}
+/** Quote a string as a Prolog atom when needed. */
+export function quoteAtom(value) {
+    if (/^[a-z][a-zA-Z0-9_]*$/.test(value)) {
+        return value;
+    }
+    return `'${value.replace(/'/g, "''")}'`;
+}
+/** Build a `params{...}` dict term from a JS record (keys lowercased). */
+export function buildParamsTerm(params) {
+    const entries = Object.entries(params)
+        .map(([key, value]) => `${key.toLowerCase()}: ${toPrologTerm(value)}`)
+        .join(', ');
+    return `params{${entries}}`;
+}
+/** Human label for a frame kind, used by the renderer. */
+export function frameKindLabel(kind) {
+    switch (kind) {
+        case 'object':
+            return 'run';
+        case 'nested':
+            return 'nested';
+        case 'query':
+        default:
+            return 'query';
+    }
+}
+//# sourceMappingURL=frames.js.map

package/dist/repl/frames.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"frames.js","sourceRoot":"","sources":["../../src/repl/frames.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAIH,4EAA4E;AAC5E,MAAM,UAAU,UAAU,CAAC,KAAc;IACvC,IAAI,KAAK,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QACvC,MAAM,MAAM,GAAG,KAAqC,CAAC;QACrD,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;YACd,OAAO,MAAM,CAAC,CAAC,CAAC;QAClB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,sFAAsF;AACtF,MAAM,UAAU,YAAY,CAAC,KAAc;IACzC,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QAC1C,OAAO,MAAM,CAAC;IAChB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;IAClE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;IACvB,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,CAAC;IAClC,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,OAAO,IAAI,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC;IACnE,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,KAAgC,CAAC;aAC7D,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,EAAE,EAAE,CAAC,GAAG,SAAS,CAAC,GAAG,CAAC,KAAK,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;aAChE,IAAI,CAAC,IAAI,CAAC,CAAC;QACd,OAAO,QAAQ,OAAO,GAAG,CAAC;IAC5B,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,6DAA6D;AAC7D,MAAM,UAAU,iBAAiB,CAAC,KAAa;IAC7C,MAAM,OAAO,GAAG,KAAK;SAClB,OAAO,CAAC,KAAK,EAAE,MAAM,CAAC;SACtB,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC;SACpB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC;SACrB,OAAO,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;IACzB,OAAO,IAAI,OAAO,GAAG,CAAC;AACxB,CAAC;AAED,mDAAmD;AACnD,MAAM,UAAU,SAAS,CAAC,KAAa;IACrC,IAAI,sBAAsB,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QACvC,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AAC1C,CAAC;AAED,0EAA0E;AAC1E,MAAM,UAAU,eAAe,CAAC,MAA+B;IAC7D,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC;SACnC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,GAAG,GAAG,CAAC,WAAW,EAAE,KAAK,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;SACrE,IAAI,CAAC,IAAI,CAAC,CAAC;IACd,OAAO,UAAU,OAAO,GAAG,CAAC;AAC9B,CAAC;AAED,0DAA0D;AAC1D,MAAM,UAAU,cAAc,CAAC,IAAe;IAC5C,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,QAAQ;YACX,OAAO,KAAK,CAAC;QACf,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,OAAO,CAAC;QACb;YACE,OAAO,OAAO,CAAC;IACnB,CAAC;AACH,CAAC"}

package/dist/repl/harness-tools.d.ts

@@ -0,0 +1,74 @@
+/**
+ * Harness tools for the REPL authoring agent.
+ *
+ * Unlike the old meta tools (which ran inside the Prolog meta frame), these are
+ * plain host tools the TypeScript `HarnessAgent` calls directly. They operate on
+ * the live harness through a `HarnessToolController` implemented by `DMLSession`.
+ */
+import type { DMLEvent, ToolDefinition } from '../types.js';
+export interface HarnessExecuteResult {
+    bindings: Array<{
+        name: string;
+        value: string;
+    }>;
+    solutions: Array<Array<{
+        name: string;
+        value: string;
+    }>>;
+    output: string;
+    error?: string;
+    /** Wall-clock duration of the goal, in milliseconds. */
+    elapsedMs: number;
+}
+export interface HarnessCommitResult {
+    committed: boolean;
+    /** Predicates added/replaced/removed by the commit. */
+    changed?: string[];
+    error?: string;
+}
+/** The harness operations the authoring agent needs. Implemented by `DMLSession`. */
+export interface HarnessToolController {
+    isFrozen(): boolean;
+    /** Read the harness: `all`, `Name/Arity`, `tools`, or a name prefix. */
+    listing(filter: string): Promise<string>;
+    /** Concise harness manifest for the system prompt. */
+    manifest(): Promise<string>;
+    /** Snapshot the harness and open a transaction. */
+    beginTurn(): Promise<void>;
+    /** Validate and commit the open transaction; records a history version. */
+    endTurn(): Promise<HarnessCommitResult>;
+    /** Restore the last snapshot and discard edits. */
+    rollbackTurn(): Promise<void>;
+    /** Replace a predicate with the given complete clause block. */
+    define(head: string, clauses: string): Promise<{
+        ok: boolean;
+        error?: string;
+    }>;
+    /** Assert one clause (new predicates only). */
+    assertClause(clause: string): Promise<{
+        ok: boolean;
+        error?: string;
+    }>;
+    /** Assert a block of clauses in order. */
+    assertMany(clauses: string): Promise<{
+        ok: boolean;
+        error?: string;
+    }>;
+    /** Retract matching clauses. */
+    retractClause(clause: string): Promise<{
+        ok: boolean;
+        error?: string;
+    }>;
+    /** Delete a predicate by `Name/Arity`. */
+    deletePredicate(nameArity: string): Promise<{
+        ok: boolean;
+        error?: string;
+    }>;
+    /** Run a DML goal against the scratch harness. */
+    execute(goal: string, limit?: number, signal?: AbortSignal, onEvent?: (event: DMLEvent) => void): Promise<HarnessExecuteResult>;
+    /** DML reference / authoring guide / examples / snippets. */
+    reference(topic: string): Promise<string>;
+}
+/** Build the authoring agent's harness tools. */
+export declare function createHarnessTools(controller: HarnessToolController): Map<string, ToolDefinition>;
+//# sourceMappingURL=harness-tools.d.ts.map

package/dist/repl/harness-tools.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness-tools.d.ts","sourceRoot":"","sources":["../../src/repl/harness-tools.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAEH,OAAO,KAAK,EAAE,QAAQ,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE5D,MAAM,WAAW,oBAAoB;IACnC,QAAQ,EAAE,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACjD,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC;QAAE,IAAI,EAAE,MAAM,CAAC;QAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IACzD,MAAM,EAAE,MAAM,CAAC;IACf,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,wDAAwD;IACxD,SAAS,EAAE,MAAM,CAAC;CACnB;AAED,MAAM,WAAW,mBAAmB;IAClC,SAAS,EAAE,OAAO,CAAC;IACnB,uDAAuD;IACvD,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC;IACnB,KAAK,CAAC,EAAE,MAAM,CAAC;CAChB;AAED,qFAAqF;AACrF,MAAM,WAAW,qBAAqB;IACpC,QAAQ,IAAI,OAAO,CAAC;IACpB,wEAAwE;IACxE,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IACzC,sDAAsD;IACtD,QAAQ,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC;IAC5B,mDAAmD;IACnD,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC3B,2EAA2E;IAC3E,OAAO,IAAI,OAAO,CAAC,mBAAmB,CAAC,CAAC;IACxC,mDAAmD;IACnD,YAAY,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,gEAAgE;IAChE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAChF,+CAA+C;IAC/C,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACvE,0CAA0C;IAC1C,UAAU,CAAC,OAAO,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACtE,gCAAgC;IAChC,aAAa,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IACxE,0CAA0C;IAC1C,eAAe,CAAC,SAAS,EAAE,MAAM,GAAG,OAAO,CAAC;QAAE,EAAE,EAAE,OAAO,CAAC;QAAC,KAAK,CAAC,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC;IAC7E,kDAAkD;IAClD,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,WAAW,EAAE,OAAO,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,IAAI,GAAG,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAChI,6DAA6D;IAC7D,SAAS,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;CAC3C;AAQD,iDAAiD;AACjD,wBAAgB,kBAAkB,CAAC,UAAU,EAAE,qBAAqB,GAAG,GAAG,CAAC,MAAM,EAAE,cAAc,CAAC,CA6HjG"}

package/dist/repl/harness-tools.js

@@ -0,0 +1,121 @@
+/**
+ * Harness tools for the REPL authoring agent.
+ *
+ * Unlike the old meta tools (which ran inside the Prolog meta frame), these are
+ * plain host tools the TypeScript `HarnessAgent` calls directly. They operate on
+ * the live harness through a `HarnessToolController` implemented by `DMLSession`.
+ */
+function text(message) {
+    return { text: message };
+}
+const stringProp = (description) => ({ type: 'string', description });
+/** Build the authoring agent's harness tools. */
+export function createHarnessTools(controller) {
+    const tools = new Map();
+    const frozenError = (name) => controller.isFrozen() ? { ok: false, error: `harness is frozen; ${name} is disabled` } : undefined;
+    tools.set('listing', {
+        description: 'Read the harness: all predicates (filter "all"), one predicate ("Name/Arity"), "tools", "scripts", or a name prefix. Call this before editing.',
+        parameters: {
+            type: 'object',
+            properties: { filter: stringProp('all (default), a Name/Arity, tools, scripts, or a name prefix.') },
+            required: [],
+        },
+        execute: async (args) => text(await controller.listing(String(args.filter ?? 'all').trim() || 'all')),
+    });
+    tools.set('begin_turn', {
+        description: 'Open an edit transaction (snapshot the harness). You MUST call this before the first edit; `define`/`assert`/`assert_many`/`retract`/`delete` are refused while no transaction is open. `end_turn` commits it, `rollback` discards it.',
+        parameters: { type: 'object', properties: {}, required: [] },
+        execute: async () => {
+            await controller.beginTurn();
+            return { ok: true };
+        },
+    });
+    tools.set('end_turn', {
+        description: 'Validate and commit the open transaction (opened by begin_turn) and record a harness version. Returns the predicates changed.',
+        parameters: {
+            type: 'object',
+            properties: { summary: stringProp('One-line summary of the change (optional).') },
+            required: [],
+        },
+        execute: async () => controller.endTurn(),
+    });
+    tools.set('rollback', {
+        description: 'Discard every edit made in the current transaction and restore the last committed harness.',
+        parameters: { type: 'object', properties: {}, required: [] },
+        execute: async () => {
+            await controller.rollbackTurn();
+            return { ok: true };
+        },
+    });
+    tools.set('define', {
+        description: 'Replace the predicate(s) defined by a clause block: remove every predicate the block defines (plus the head pattern) and assert the block in order. Requires an open transaction (call begin_turn first). Use this for any change to existing predicates — a block may define several.',
+        parameters: {
+            type: 'object',
+            properties: {
+                head: stringProp('A head pattern naming the predicate, e.g. "describe_image(Path, Text)".'),
+                clauses: stringProp('The complete clause block, in order, each clause ending with a period.'),
+            },
+            required: ['head', 'clauses'],
+        },
+        execute: async (args) => frozenError('define') ?? controller.define(String(args.head ?? ''), String(args.clauses ?? '')),
+    });
+    tools.set('assert', {
+        description: 'Assert one clause. Requires an open transaction (call begin_turn first). Use only for a new predicate — assert appends, so asserting over an existing predicate duplicates clauses. Use define to change one.',
+        parameters: {
+            type: 'object',
+            properties: { clause: stringProp('The DML clause/fact text to assert (no trailing period required).') },
+            required: ['clause'],
+        },
+        execute: async (args) => frozenError('assert') ?? controller.assertClause(String(args.clause ?? '')),
+    });
+    tools.set('assert_many', {
+        description: 'Assert a block of clauses in the order written. Requires an open transaction (call begin_turn first). Use this to define a whole predicate so clause order (base case before recursive rule) is preserved.',
+        parameters: {
+            type: 'object',
+            properties: { clauses: stringProp('The DML clauses/facts, in order, each ending with a period.') },
+            required: ['clauses'],
+        },
+        execute: async (args) => frozenError('assert_many') ?? controller.assertMany(String(args.clauses ?? '')),
+    });
+    tools.set('retract', {
+        description: 'Remove matching clauses from the harness. Requires an open transaction (call begin_turn first). Reserved names are protected.',
+        parameters: {
+            type: 'object',
+            properties: { clause: stringProp('The clause pattern to retract (no trailing period required).') },
+            required: ['clause'],
+        },
+        execute: async (args) => frozenError('retract') ?? controller.retractClause(String(args.clause ?? '')),
+    });
+    tools.set('delete', {
+        description: 'Delete a predicate entirely (abolishes all its clauses), e.g. delete("describe_image/2"). Requires an open transaction (call begin_turn first).',
+        parameters: {
+            type: 'object',
+            properties: { predicate: stringProp('The predicate indicator to delete, e.g. "describe_image/2".') },
+            required: ['predicate'],
+        },
+        execute: async (args) => frozenError('delete') ?? controller.deletePredicate(String(args.predicate ?? '')),
+    });
+    tools.set('execute', {
+        description: 'Run a DML goal against the scratch harness and return its bindings and output. Use this to test changes before committing.',
+        parameters: {
+            type: 'object',
+            properties: {
+                goal: stringProp('The DML goal to run, e.g. "fact(5, F)".'),
+                limit: { type: 'integer', description: 'Maximum solutions to collect (default 5).' },
+            },
+            required: ['goal'],
+        },
+        execute: async (args, context) => controller.execute(String(args.goal ?? ''), typeof args.limit === 'number' ? args.limit : undefined, context?.signal, context?.onEvent),
+    });
+    tools.set('reference', {
+        description: 'Read DeepClause language documentation. Topics: "language" (DML reference), "authoring" (authoring guide), "patterns" (harness patterns by use case), "examples" (harness examples), "snippets" (Prolog snippets), "tools" (host tool catalog).',
+        parameters: {
+            type: 'object',
+            properties: { topic: stringProp('language | authoring | examples | snippets | tools.') },
+            required: ['topic'],
+        },
+        execute: async (args) => text(await controller.reference(String(args.topic ?? 'language'))),
+    });
+    return tools;
+}
+//# sourceMappingURL=harness-tools.js.map

package/dist/repl/harness-tools.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"harness-tools.js","sourceRoot":"","sources":["../../src/repl/harness-tools.ts"],"names":[],"mappings":"AAAA;;;;;;GAMG;AAiDH,SAAS,IAAI,CAAC,OAAe;IAC3B,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;AAC3B,CAAC;AAED,MAAM,UAAU,GAAG,CAAC,WAAmB,EAAyC,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,CAAC;AAErH,iDAAiD;AACjD,MAAM,UAAU,kBAAkB,CAAC,UAAiC;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,EAA0B,CAAC;IAChD,MAAM,WAAW,GAAG,CAAC,IAAY,EAA4C,EAAE,CAC7E,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,sBAAsB,IAAI,cAAc,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IAErG,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE;QACnB,WAAW,EAAE,gJAAgJ;QAC7J,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,gEAAgE,CAAC,EAAE;YACpG,QAAQ,EAAE,EAAE;SACb;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,UAAU,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,CAAC,CAAC;KACtG,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,YAAY,EAAE;QACtB,WAAW,EAAE,wOAAwO;QACrP,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QAC5D,OAAO,EAAE,KAAK,IAAI,EAAE;YAClB,MAAM,UAAU,CAAC,SAAS,EAAE,CAAC;YAC7B,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QACtB,CAAC;KACF,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE;QACpB,WAAW,EAAE,+HAA+H;QAC5I,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,OAAO,EAAE,UAAU,CAAC,4CAA4C,CAAC,EAAE;YACjF,QAAQ,EAAE,EAAE;SACb;QACD,OAAO,EAAE,KAAK,IAAI,EAAE,CAAC,UAAU,CAAC,OAAO,EAAE;KAC1C,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,UAAU,EAAE;QACpB,WAAW,EAAE,4FAA4F;QACzG,UAAU,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,EAAE,EAAE,QAAQ,EAAE,EAAE,EAAE;QAC5D,OAAO,EAAE,KAAK,IAAI,EAAE;YAClB,MAAM,UAAU,CAAC,YAAY,EAAE,CAAC;YAChC,OAAO,EAAE,EAAE,EAAE,IAAI,EAAE,CAAC;QACtB,CAAC;KACF,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE;QAClB,WAAW,EAAE,wRAAwR;QACrS,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE,UAAU,CAAC,yEAAyE,CAAC;gBAC3F,OAAO,EAAE,UAAU,CAAC,wEAAwE,CAAC;aAC9F;YACD,QAAQ,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;SAC9B;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;KACzH,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE;QAClB,WAAW,EAAE,+MAA+M;QAC5N,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,mEAAmE,CAAC,EAAE;YACvG,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,UAAU,CAAC,YAAY,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;KACrG,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,aAAa,EAAE;QACvB,WAAW,EAAE,4MAA4M;QACzN,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,OAAO,EAAE,UAAU,CAAC,6DAA6D,CAAC,EAAE;YAClG,QAAQ,EAAE,CAAC,SAAS,CAAC;SACtB;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,aAAa,CAAC,IAAI,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,IAAI,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC;KACzG,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE;QACnB,WAAW,EAAE,+HAA+H;QAC5I,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,8DAA8D,CAAC,EAAE;YAClG,QAAQ,EAAE,CAAC,QAAQ,CAAC;SACrB;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,SAAS,CAAC,IAAI,UAAU,CAAC,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC;KACvG,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE;QAClB,WAAW,EAAE,iJAAiJ;QAC9J,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,SAAS,EAAE,UAAU,CAAC,6DAA6D,CAAC,EAAE;YACpG,QAAQ,EAAE,CAAC,WAAW,CAAC;SACxB;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,WAAW,CAAC,QAAQ,CAAC,IAAI,UAAU,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC;KAC3G,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,SAAS,EAAE;QACnB,WAAW,EAAE,4HAA4H;QACzI,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV,IAAI,EAAE,UAAU,CAAC,yCAAyC,CAAC;gBAC3D,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,2CAA2C,EAAE;aACrF;YACD,QAAQ,EAAE,CAAC,MAAM,CAAC;SACnB;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAClD,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC,EACvB,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,EACvD,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,OAAO,CACjB;KACF,CAAC,CAAC;IAEH,KAAK,CAAC,GAAG,CAAC,WAAW,EAAE;QACrB,WAAW,EAAE,iPAAiP;QAC9P,UAAU,EAAE;YACV,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE,EAAE,KAAK,EAAE,UAAU,CAAC,qDAAqD,CAAC,EAAE;YACxF,QAAQ,EAAE,CAAC,OAAO,CAAC;SACpB;QACD,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,UAAU,CAAC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,KAAK,IAAI,UAAU,CAAC,CAAC,CAAC;KAC5F,CAAC,CAAC;IAEH,OAAO,KAAK,CAAC;AACf,CAAC"}

package/dist/repl/highlight.d.ts

@@ -0,0 +1,30 @@
+/**
+ * Prolog/DML syntax highlighting and listing cleanup for the REPL.
+ *
+ * The runtime prints listings as Prolog source (`~q`), which is dense and long.
+ * `formatListing` cleans it up for display (one predicate per block, merged
+ * doc line, top-level conjuncts on separate lines) and applies ANSI syntax
+ * highlighting. It is display-only: the raw text is what the model and files
+ * see.
+ */
+export interface FormatListingOptions {
+    /** Apply ANSI colors. When false, only the structural cleanup is done. */
+    color?: boolean;
+}
+type TokenKind = 'space' | 'comment' | 'string' | 'quotedAtom' | 'variable' | 'number' | 'atom' | 'functor' | 'operator' | 'cut' | 'other';
+interface Token {
+    kind: TokenKind;
+    value: string;
+}
+/** Tokenize Prolog source well enough to color it and to find top-level commas. */
+export declare function tokenizeProlog(input: string): Token[];
+/** Highlight one line of Prolog, preserving its visible text exactly. */
+export declare function highlightProlog(text: string, color?: boolean): string;
+/** Split a clause body line on top-level commas (ignoring quoted/parenthesized ones). */
+export declare function splitTopLevelGoals(line: string): string[];
+/** Clean up a listing: merge doc lines, group predicates, split long bodies. */
+export declare function reflowListing(text: string): string;
+/** Clean and highlight a README-style Prolog listing for display. */
+export declare function formatListing(text: string, options?: FormatListingOptions): string;
+export {};
+//# sourceMappingURL=highlight.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"highlight.d.ts","sourceRoot":"","sources":["../../src/repl/highlight.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,MAAM,WAAW,oBAAoB;IACnC,0EAA0E;IAC1E,KAAK,CAAC,EAAE,OAAO,CAAC;CACjB;AAgBD,KAAK,SAAS,GACV,OAAO,GACP,SAAS,GACT,QAAQ,GACR,YAAY,GACZ,UAAU,GACV,QAAQ,GACR,MAAM,GACN,SAAS,GACT,UAAU,GACV,KAAK,GACL,OAAO,CAAC;AAEZ,UAAU,KAAK;IACb,IAAI,EAAE,SAAS,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAoBD,mFAAmF;AACnF,wBAAgB,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,KAAK,EAAE,CA2HrD;AAgBD,yEAAyE;AACzE,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,UAAO,GAAG,MAAM,CAQlE;AAMD,yFAAyF;AACzF,wBAAgB,kBAAkB,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,EAAE,CA2BzD;AAED,gFAAgF;AAChF,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CA8ClD;AAED,qEAAqE;AACrE,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,EAAE,OAAO,GAAE,oBAAyB,GAAG,MAAM,CActF"}

package/dist/repl/highlight.js

@@ -0,0 +1,285 @@
+/**
+ * Prolog/DML syntax highlighting and listing cleanup for the REPL.
+ *
+ * The runtime prints listings as Prolog source (`~q`), which is dense and long.
+ * `formatListing` cleans it up for display (one predicate per block, merged
+ * doc line, top-level conjuncts on separate lines) and applies ANSI syntax
+ * highlighting. It is display-only: the raw text is what the model and files
+ * see.
+ */
+const ANSI = {
+    reset: '\u001b[0m',
+    /** Predicate header (`name/arity`). */
+    header: '\u001b[1;36m',
+    comment: '\u001b[38;5;244m',
+    string: '\u001b[38;5;179m',
+    quotedAtom: '\u001b[38;5;80m',
+    variable: '\u001b[38;5;111m',
+    number: '\u001b[38;5;215m',
+    functor: '\u001b[38;5;81m',
+    operator: '\u001b[38;5;245m',
+    cut: '\u001b[1;31m',
+};
+const SYMBOL_CHARS = '+-*/\\^<>=~:.?@#&$';
+function isDigit(char) {
+    return char >= '0' && char <= '9';
+}
+function isLower(char) {
+    return char >= 'a' && char <= 'z';
+}
+function isUpper(char) {
+    return char >= 'A' && char <= 'Z';
+}
+function isWordChar(char) {
+    return /[A-Za-z0-9_]/.test(char);
+}
+/** Tokenize Prolog source well enough to color it and to find top-level commas. */
+export function tokenizeProlog(input) {
+    const tokens = [];
+    const length = input.length;
+    let index = 0;
+    while (index < length) {
+        const char = input[index];
+        // Line comment.
+        if (char === '%') {
+            let end = index;
+            while (end < length && input[end] !== '\n')
+                end += 1;
+            tokens.push({ kind: 'comment', value: input.slice(index, end) });
+            index = end;
+            continue;
+        }
+        // Block comment.
+        if (char === '/' && input[index + 1] === '*') {
+            let end = index + 2;
+            while (end < length && !(input[end] === '*' && input[end + 1] === '/'))
+                end += 1;
+            end = Math.min(length, end + 2);
+            tokens.push({ kind: 'comment', value: input.slice(index, end) });
+            index = end;
+            continue;
+        }
+        // Strings, quoted atoms, and back-quoted codes.
+        if (char === '"' || char === "'" || char === '`') {
+            const quote = char;
+            let end = index + 1;
+            while (end < length) {
+                if (input[end] === '\\') {
+                    end += 2;
+                    continue;
+                }
+                if (input[end] === quote) {
+                    end += 1;
+                    break;
+                }
+                end += 1;
+            }
+            tokens.push({
+                kind: quote === '"' ? 'string' : quote === "'" ? 'quotedAtom' : 'string',
+                value: input.slice(index, end),
+            });
+            index = end;
+            continue;
+        }
+        // Numbers (integer/float, including `_` separators).
+        if (isDigit(char)) {
+            let end = index;
+            while (end < length && /[0-9_]/.test(input[end]))
+                end += 1;
+            if (input[end] === '.' && isDigit(input[end + 1])) {
+                end += 1;
+                while (end < length && isDigit(input[end]))
+                    end += 1;
+            }
+            if ((input[end] === 'e' || input[end] === 'E') && (isDigit(input[end + 1]) || input[end + 1] === '-' || input[end + 1] === '+')) {
+                end += 2;
+                while (end < length && isDigit(input[end]))
+                    end += 1;
+            }
+            tokens.push({ kind: 'number', value: input.slice(index, end) });
+            index = end;
+            continue;
+        }
+        // Variables.
+        if (isUpper(char) || char === '_') {
+            let end = index;
+            while (end < length && isWordChar(input[end]))
+                end += 1;
+            tokens.push({ kind: 'variable', value: input.slice(index, end) });
+            index = end;
+            continue;
+        }
+        // Atoms.
+        if (isLower(char)) {
+            let end = index;
+            while (end < length && isWordChar(input[end]))
+                end += 1;
+            tokens.push({ kind: 'atom', value: input.slice(index, end) });
+            index = end;
+            continue;
+        }
+        // Cut.
+        if (char === '!') {
+            tokens.push({ kind: 'cut', value: '!' });
+            index += 1;
+            continue;
+        }
+        // Symbolic operators.
+        if (SYMBOL_CHARS.includes(char)) {
+            let end = index;
+            while (end < length && SYMBOL_CHARS.includes(input[end]))
+                end += 1;
+            tokens.push({ kind: 'operator', value: input.slice(index, end) });
+            index = end;
+            continue;
+        }
+        // Brackets, commas, bars, semicolons.
+        if ('()[]{},|;'.includes(char)) {
+            tokens.push({ kind: 'operator', value: char });
+            index += 1;
+            continue;
+        }
+        // Whitespace.
+        if (/\s/.test(char)) {
+            let end = index;
+            while (end < length && /\s/.test(input[end]))
+                end += 1;
+            tokens.push({ kind: 'space', value: input.slice(index, end) });
+            index = end;
+            continue;
+        }
+        tokens.push({ kind: 'other', value: char });
+        index += 1;
+    }
+    // An atom immediately followed by `(` or `[` is a functor/call: color it.
+    for (let i = 0; i < tokens.length; i += 1) {
+        if (tokens[i].kind !== 'atom')
+            continue;
+        let j = i + 1;
+        while (j < tokens.length && tokens[j].kind === 'space')
+            j += 1;
+        if (tokens[j] && (tokens[j].value === '(' || tokens[j].value === '[')) {
+            tokens[i] = { kind: 'functor', value: tokens[i].value };
+        }
+    }
+    return tokens;
+}
+function colorFor(kind) {
+    switch (kind) {
+        case 'comment': return ANSI.comment;
+        case 'string': return ANSI.string;
+        case 'quotedAtom': return ANSI.quotedAtom;
+        case 'variable': return ANSI.variable;
+        case 'number': return ANSI.number;
+        case 'functor': return ANSI.functor;
+        case 'operator': return ANSI.operator;
+        case 'cut': return ANSI.cut;
+        default: return undefined;
+    }
+}
+/** Highlight one line of Prolog, preserving its visible text exactly. */
+export function highlightProlog(text, color = true) {
+    if (!color)
+        return text;
+    return tokenizeProlog(text)
+        .map((token) => {
+        const code = colorFor(token.kind);
+        return code ? `${code}${token.value}${ANSI.reset}` : token.value;
+    })
+        .join('');
+}
+function isPredicateHeader(line) {
+    return /^[a-z][A-Za-z0-9_]*\/\d+$/.test(line.trim());
+}
+/** Split a clause body line on top-level commas (ignoring quoted/parenthesized ones). */
+export function splitTopLevelGoals(line) {
+    const indent = /^(\s*)/.exec(line)?.[1] ?? '';
+    const body = line.slice(indent.length);
+    const tokens = tokenizeProlog(body);
+    const segments = [];
+    let depth = 0;
+    let start = 0;
+    let offset = 0;
+    for (const token of tokens) {
+        const tokenStart = offset;
+        offset += token.value.length;
+        if (token.kind === 'space' || token.kind === 'comment')
+            continue;
+        if (token.kind === 'operator') {
+            if (token.value === '(' || token.value === '[' || token.value === '{') {
+                depth += 1;
+            }
+            else if (token.value === ')' || token.value === ']' || token.value === '}') {
+                depth = Math.max(0, depth - 1);
+            }
+            else if (token.value === ',' && depth === 0) {
+                segments.push(body.slice(start, tokenStart + 1).trimEnd());
+                start = tokenStart + 1;
+            }
+        }
+    }
+    segments.push(body.slice(start).trimEnd());
+    return segments.map((segment) => `${indent}${segment.trimStart()}`);
+}
+/** Clean up a listing: merge doc lines, group predicates, split long bodies. */
+export function reflowListing(text) {
+    const lines = text.replace(/\r\n?/g, '\n').split('\n');
+    const out = [];
+    let inBody = false;
+    for (const rawLine of lines) {
+        const line = rawLine.replace(/\s+$/, '');
+        if (line.trim() === '') {
+            out.push('');
+            inBody = false;
+            continue;
+        }
+        // A predicate header, optionally followed by its `% doc` line.
+        if (isPredicateHeader(line)) {
+            if (out.length > 0 && out[out.length - 1] !== '')
+                out.push('');
+            out.push(line.trim());
+            inBody = false;
+            continue;
+        }
+        // A `% doc` line directly under a header becomes part of the header block.
+        if (line.trim().startsWith('%') && out.length > 0 && isPredicateHeader(out[out.length - 1])) {
+            out[out.length - 1] = `${out[out.length - 1]}  ${line.trim()}`;
+            continue;
+        }
+        // `head(...) :-` starts a clause body on the following line(s).
+        if (line.trimEnd().endsWith(':-')) {
+            out.push(line.trimEnd());
+            inBody = true;
+            continue;
+        }
+        if (inBody) {
+            out.push(...splitTopLevelGoals(line));
+            inBody = false;
+            continue;
+        }
+        out.push(line);
+    }
+    // Trim leading/trailing blank lines.
+    while (out.length > 0 && out[0] === '')
+        out.shift();
+    while (out.length > 0 && out[out.length - 1] === '')
+        out.pop();
+    return out.join('\n');
+}
+/** Clean and highlight a README-style Prolog listing for display. */
+export function formatListing(text, options = {}) {
+    const color = options.color ?? true;
+    const cleaned = reflowListing(text);
+    return cleaned
+        .split('\n')
+        .map((line) => {
+        const header = /^([a-z][A-Za-z0-9_]*\/\d+)(\s+%.*)?$/.exec(line);
+        if (header && color) {
+            const rest = header[2] ?? '';
+            return `${ANSI.header}${header[1]}${ANSI.reset}${highlightProlog(rest, color)}`;
+        }
+        return highlightProlog(line, color);
+    })
+        .join('\n');
+}
+//# sourceMappingURL=highlight.js.map

package/dist/repl/highlight.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"highlight.js","sourceRoot":"","sources":["../../src/repl/highlight.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAOH,MAAM,IAAI,GAAG;IACX,KAAK,EAAE,WAAW;IAClB,uCAAuC;IACvC,MAAM,EAAE,cAAc;IACtB,OAAO,EAAE,kBAAkB;IAC3B,MAAM,EAAE,kBAAkB;IAC1B,UAAU,EAAE,iBAAiB;IAC7B,QAAQ,EAAE,kBAAkB;IAC5B,MAAM,EAAE,kBAAkB;IAC1B,OAAO,EAAE,iBAAiB;IAC1B,QAAQ,EAAE,kBAAkB;IAC5B,GAAG,EAAE,cAAc;CACX,CAAC;AAoBX,MAAM,YAAY,GAAG,oBAAoB,CAAC;AAE1C,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC;AACpC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC;AACpC,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,OAAO,IAAI,IAAI,GAAG,IAAI,IAAI,IAAI,GAAG,CAAC;AACpC,CAAC;AAED,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACnC,CAAC;AAED,mFAAmF;AACnF,MAAM,UAAU,cAAc,CAAC,KAAa;IAC1C,MAAM,MAAM,GAAY,EAAE,CAAC;IAC3B,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC5B,IAAI,KAAK,GAAG,CAAC,CAAC;IAEd,OAAO,KAAK,GAAG,MAAM,EAAE,CAAC;QACtB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;QAE1B,gBAAgB;QAChB,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,IAAI,GAAG,GAAG,KAAK,CAAC;YAChB,OAAO,GAAG,GAAG,MAAM,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI;gBAAE,GAAG,IAAI,CAAC,CAAC;YACrD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACjE,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,iBAAiB;QACjB,IAAI,IAAI,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAC7C,IAAI,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;YACpB,OAAO,GAAG,GAAG,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC;gBAAE,GAAG,IAAI,CAAC,CAAC;YACjF,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;YAChC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YACjE,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,gDAAgD;QAChD,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,IAAI,CAAC;YACnB,IAAI,GAAG,GAAG,KAAK,GAAG,CAAC,CAAC;YACpB,OAAO,GAAG,GAAG,MAAM,EAAE,CAAC;gBACpB,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,IAAI,EAAE,CAAC;oBACxB,GAAG,IAAI,CAAC,CAAC;oBACT,SAAS;gBACX,CAAC;gBACD,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,KAAK,EAAE,CAAC;oBACzB,GAAG,IAAI,CAAC,CAAC;oBACT,MAAM;gBACR,CAAC;gBACD,GAAG,IAAI,CAAC,CAAC;YACX,CAAC;YACD,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,QAAQ;gBACxE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC;aAC/B,CAAC,CAAC;YACH,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,qDAAqD;QACrD,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAClB,IAAI,GAAG,GAAG,KAAK,CAAC;YAChB,OAAO,GAAG,GAAG,MAAM,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAAE,GAAG,IAAI,CAAC,CAAC;YAC3D,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClD,GAAG,IAAI,CAAC,CAAC;gBACT,OAAO,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAAE,GAAG,IAAI,CAAC,CAAC;YACvD,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,IAAI,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,KAAK,GAAG,CAAC,EAAE,CAAC;gBAChI,GAAG,IAAI,CAAC,CAAC;gBACT,OAAO,GAAG,GAAG,MAAM,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;oBAAE,GAAG,IAAI,CAAC,CAAC;YACvD,CAAC;YACD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YAChE,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,aAAa;QACb,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YAClC,IAAI,GAAG,GAAG,KAAK,CAAC;YAChB,OAAO,GAAG,GAAG,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAAE,GAAG,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YAClE,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,SAAS;QACT,IAAI,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;YAClB,IAAI,GAAG,GAAG,KAAK,CAAC;YAChB,OAAO,GAAG,GAAG,MAAM,IAAI,UAAU,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAAE,GAAG,IAAI,CAAC,CAAC;YACxD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YAC9D,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,OAAO;QACP,IAAI,IAAI,KAAK,GAAG,EAAE,CAAC;YACjB,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC;YACzC,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,sBAAsB;QACtB,IAAI,YAAY,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,IAAI,GAAG,GAAG,KAAK,CAAC;YAChB,OAAO,GAAG,GAAG,MAAM,IAAI,YAAY,CAAC,QAAQ,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAAE,GAAG,IAAI,CAAC,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YAClE,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QACD,sCAAsC;QACtC,IAAI,WAAW,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;YAC/C,KAAK,IAAI,CAAC,CAAC;YACX,SAAS;QACX,CAAC;QACD,cAAc;QACd,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YACpB,IAAI,GAAG,GAAG,KAAK,CAAC;YAChB,OAAO,GAAG,GAAG,MAAM,IAAI,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;gBAAE,GAAG,IAAI,CAAC,CAAC;YACvD,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;YAC/D,KAAK,GAAG,GAAG,CAAC;YACZ,SAAS;QACX,CAAC;QAED,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;QAC5C,KAAK,IAAI,CAAC,CAAC;IACb,CAAC;IAED,0EAA0E;IAC1E,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC;QAC1C,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM;YAAE,SAAS;QACxC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,CAAC,IAAI,CAAC,CAAC;QAC/D,IAAI,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,KAAK,GAAG,CAAC,EAAE,CAAC;YACtE,MAAM,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,CAAC;QAC1D,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED,SAAS,QAAQ,CAAC,IAAe;IAC/B,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC;QACpC,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC;QAClC,KAAK,YAAY,CAAC,CAAC,OAAO,IAAI,CAAC,UAAU,CAAC;QAC1C,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC;QACtC,KAAK,QAAQ,CAAC,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC;QAClC,KAAK,SAAS,CAAC,CAAC,OAAO,IAAI,CAAC,OAAO,CAAC;QACpC,KAAK,UAAU,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,CAAC;QACtC,KAAK,KAAK,CAAC,CAAC,OAAO,IAAI,CAAC,GAAG,CAAC;QAC5B,OAAO,CAAC,CAAC,OAAO,SAAS,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,yEAAyE;AACzE,MAAM,UAAU,eAAe,CAAC,IAAY,EAAE,KAAK,GAAG,IAAI;IACxD,IAAI,CAAC,KAAK;QAAE,OAAO,IAAI,CAAC;IACxB,OAAO,cAAc,CAAC,IAAI,CAAC;SACxB,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE;QACb,MAAM,IAAI,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAClC,OAAO,IAAI,CAAC,CAAC,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC;IACnE,CAAC,CAAC;SACD,IAAI,CAAC,EAAE,CAAC,CAAC;AACd,CAAC;AAED,SAAS,iBAAiB,CAAC,IAAY;IACrC,OAAO,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;AACvD,CAAC;AAED,yFAAyF;AACzF,MAAM,UAAU,kBAAkB,CAAC,IAAY;IAC7C,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IAC9C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC;IACpC,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,IAAI,MAAM,GAAG,CAAC,CAAC;IAEf,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC3B,MAAM,UAAU,GAAG,MAAM,CAAC;QAC1B,MAAM,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC;QAC7B,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,IAAI,KAAK,SAAS;YAAE,SAAS;QACjE,IAAI,KAAK,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBACtE,KAAK,IAAI,CAAC,CAAC;YACb,CAAC;iBAAM,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,EAAE,CAAC;gBAC7E,KAAK,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,GAAG,CAAC,CAAC,CAAC;YACjC,CAAC;iBAAM,IAAI,KAAK,CAAC,KAAK,KAAK,GAAG,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAC9C,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,UAAU,GAAG,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;gBAC3D,KAAK,GAAG,UAAU,GAAG,CAAC,CAAC;YACzB,CAAC;QACH,CAAC;IACH,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC;IAE3C,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,GAAG,MAAM,GAAG,OAAO,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;AACtE,CAAC;AAED,gFAAgF;AAChF,MAAM,UAAU,aAAa,CAAC,IAAY;IACxC,MAAM,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvD,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,IAAI,MAAM,GAAG,KAAK,CAAC;IAEnB,KAAK,MAAM,OAAO,IAAI,KAAK,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;QACzC,IAAI,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;YACvB,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACb,MAAM,GAAG,KAAK,CAAC;YACf,SAAS;QACX,CAAC;QAED,+DAA+D;QAC/D,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE;gBAAE,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC/D,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;YACtB,MAAM,GAAG,KAAK,CAAC;YACf,SAAS;QACX,CAAC;QACD,2EAA2E;QAC3E,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;YAC5F,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,GAAG,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,IAAI,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/D,SAAS;QACX,CAAC;QAED,gEAAgE;QAChE,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC;YACzB,MAAM,GAAG,IAAI,CAAC;YACd,SAAS;QACX,CAAC;QAED,IAAI,MAAM,EAAE,CAAC;YACX,GAAG,CAAC,IAAI,CAAC,GAAG,kBAAkB,CAAC,IAAI,CAAC,CAAC,CAAC;YACtC,MAAM,GAAG,KAAK,CAAC;YACf,SAAS;QACX,CAAC;QAED,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACjB,CAAC;IAED,qCAAqC;IACrC,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,CAAC,CAAC,KAAK,EAAE;QAAE,GAAG,CAAC,KAAK,EAAE,CAAC;IACpD,OAAO,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,GAAG,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,CAAC,KAAK,EAAE;QAAE,GAAG,CAAC,GAAG,EAAE,CAAC;IAC/D,OAAO,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACxB,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,aAAa,CAAC,IAAY,EAAE,UAAgC,EAAE;IAC5E,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,IAAI,CAAC;IACpC,MAAM,OAAO,GAAG,aAAa,CAAC,IAAI,CAAC,CAAC;IACpC,OAAO,OAAO;SACX,KAAK,CAAC,IAAI,CAAC;SACX,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE;QACZ,MAAM,MAAM,GAAG,sCAAsC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACjE,IAAI,MAAM,IAAI,KAAK,EAAE,CAAC;YACpB,MAAM,IAAI,GAAG,MAAM,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;YAC7B,OAAO,GAAG,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,GAAG,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;QAClF,CAAC;QACD,OAAO,eAAe,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACtC,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAC;AAChB,CAAC"}