deepclause-sdk 0.1.2 → 0.2.1

package/dist/repl/processes.js

@@ -0,0 +1,557 @@
+/**
+ * Session-scoped processes for the REPL (L1 core).
+ *
+ * This module is the host bookkeeping and the L1↔L2 seam from
+ * `docs/DML_REPL_PROCESSES_SPEC.md` §2. It owns process identity, mailboxes,
+ * links, monitors, naming, limits, and lifecycle events. It does **not** drive
+ * Prolog; a `ProcessBody` is an opaque async function, and the DML layer supplies
+ * bodies that step a runner frame.
+ *
+ * Keeping the bodies opaque is what makes L2 a mode switch: a worker-backed host
+ * implements the same interface with RPC bodies and node-qualified pids, and
+ * nothing above this module changes.
+ *
+ * Invariants enforced here (spec §6.2):
+ *  - pids are node-qualified (`node: 'main'` in v1);
+ *  - messages are copied (value semantics), never shared by reference;
+ *  - process info and events are plain data;
+ *  - there is no UI dependency.
+ */
+export function pidKey(pid) {
+    return `${pid.node}:${pid.session}:${pid.id}`;
+}
+/** Quote a string as a Prolog atom when it is not a plain lowercase atom. */
+export function prologAtom(text) {
+    return /^[a-z][A-Za-z0-9_]*$/.test(text) ? text : `'${text.replace(/'/g, "''")}'`;
+}
+/** The canonical Prolog term for a pid: `proc(Node,Session,Id)`. */
+export function pidTermText(pid) {
+    return `proc(${prologAtom(pid.node)},${prologAtom(pid.session)},${prologAtom(pid.id)})`;
+}
+/** Parse `proc(Node,Session,Id)` back to a pid, or undefined. */
+export function parsePidTerm(text) {
+    const match = /^proc\(([^,]+),([^,]+),([^)]+)\)$/.exec(text.trim());
+    if (!match)
+        return undefined;
+    const unquote = (part) => {
+        const trimmed = part.trim();
+        const quoted = /^'(.*)'$/s.exec(trimmed);
+        return quoted ? quoted[1].replace(/''/g, "'") : trimmed;
+    };
+    return { node: unquote(match[1]), session: unquote(match[2]), id: unquote(match[3]) };
+}
+/** Thrown by `ProcessContext.exit` to terminate the current process. */
+export class ProcessExit extends Error {
+    reason;
+    constructor(reason) {
+        super(typeof reason === 'string' ? reason : 'process exited');
+        this.reason = reason;
+        this.name = 'ProcessExit';
+    }
+}
+/** Raised when sending to a process that is gone. */
+export class NoProcError extends Error {
+    pid;
+    code = 'noproc';
+    constructor(pid) {
+        super(`no process: ${pidKey(pid)}`);
+        this.pid = pid;
+        this.name = 'NoProcError';
+    }
+}
+/** Raised when a mailbox is full (spec §13.3). */
+export class MailboxFullError extends Error {
+    pid;
+    code = 'mailbox_full';
+    constructor(pid) {
+        super(`mailbox full: ${pidKey(pid)}`);
+        this.pid = pid;
+        this.name = 'MailboxFullError';
+    }
+}
+function emptyUsage() {
+    return { inputTokens: 0, outputTokens: 0, totalTokens: 0 };
+}
+function addUsage(a, b) {
+    return {
+        inputTokens: a.inputTokens + b.inputTokens,
+        outputTokens: a.outputTokens + b.outputTokens,
+        totalTokens: a.totalTokens + b.totalTokens,
+        cacheReadTokens: (a.cacheReadTokens ?? 0) + (b.cacheReadTokens ?? 0) || undefined,
+        cacheWriteTokens: (a.cacheWriteTokens ?? 0) + (b.cacheWriteTokens ?? 0) || undefined,
+        reasoningTokens: (a.reasoningTokens ?? 0) + (b.reasoningTokens ?? 0) || undefined,
+    };
+}
+/** Default label for a goal: the predicate's functor, or the first token. */
+export function labelForGoal(goal) {
+    const match = /^\s*([a-z_][A-Za-z0-9_]*)/.exec(goal);
+    return match ? match[1] : 'process';
+}
+/**
+ * Copy a message so processes never share mutable terms (spec §4.2 / invariant A).
+ *
+ * `structuredClone` is the right tool for plain data. Values it cannot clone
+ * (functions, symbols) are rejected, which is the intended behavior: such a value
+ * could not cross an L2 worker boundary either.
+ */
+export function copyMessage(value) {
+    if (value === null || typeof value !== 'object')
+        return value;
+    try {
+        return structuredClone(value);
+    }
+    catch {
+        throw new Error('message is not portable between processes (must be plain data)');
+    }
+}
+/**
+ * The L1 process host: a process table, mailboxes, links, monitors, and naming,
+ * all in one JS realm.
+ *
+ * The DML runner drives process progress; this host owns identity and messaging.
+ */
+export class LocalProcessHost {
+    sessionId;
+    node;
+    resolveBody;
+    resolveSnapshot;
+    onEvent;
+    onHostMessage;
+    maxProcesses;
+    maxMailbox;
+    maxTerminalRecords;
+    now;
+    records = new Map();
+    names = new Map();
+    watchersByRef = new Map();
+    replyInboxes = new Map();
+    counter = 0;
+    refCounter = 0;
+    shutdownRequested = false;
+    /** Synthetic pid representing the host itself, for `call`/`request` replies. */
+    hostPid;
+    constructor(options) {
+        this.sessionId = options.sessionId;
+        this.node = options.node ?? 'main';
+        this.resolveBody = options.resolveBody;
+        this.resolveSnapshot = options.resolveSnapshot;
+        this.onEvent = options.onEvent;
+        this.onHostMessage = options.onHostMessage;
+        this.maxProcesses = options.maxProcesses ?? 16;
+        this.maxMailbox = options.maxMailbox ?? 1000;
+        this.maxTerminalRecords = options.maxTerminalRecords ?? 50;
+        this.now = options.now ?? Date.now;
+        this.hostPid = { node: this.node, session: this.sessionId, id: 'host' };
+    }
+    // ---- spawning -----------------------------------------------------------
+    spawn(goal, options = {}, body) {
+        if (this.shutdownRequested)
+            throw new Error('process host is shut down');
+        // The limit bounds *live* processes, not cumulative spawns: a finished
+        // process must not consume a slot forever (a session that spawned 16 things
+        // could otherwise never fan out again).
+        if (this.liveCount() >= this.maxProcesses) {
+            throw new Error(`process limit reached (${this.maxProcesses} running); stop a process first`);
+        }
+        this.reapTerminalRecords();
+        const resolved = body ?? this.resolveBody?.(goal);
+        if (!resolved)
+            throw new Error(`no body registered for goal: ${goal}`);
+        // Stamp the harness snapshot this process will run. Every path (main, a
+        // process spawning a child, a worker spawning on the main's behalf) goes
+        // through here, so a stale snapshot cannot slip in.
+        if (!options.snapshot) {
+            const snapshot = this.resolveSnapshot?.();
+            if (snapshot)
+                options = { ...options, snapshot };
+        }
+        const pid = { node: this.node, session: this.sessionId, id: `p${++this.counter}` };
+        const record = {
+            pid,
+            name: options.name ?? labelForGoal(goal),
+            goal,
+            options,
+            body: resolved,
+            state: 'runnable',
+            priority: options.priority ?? 'background',
+            mailbox: [],
+            waiters: [],
+            links: new Set(),
+            watching: new Set(),
+            watchedBy: new Map(),
+            usage: emptyUsage(),
+            startedAt: this.now(),
+            restarts: 0,
+            controller: new AbortController(),
+            terminal: false,
+            terminalWaiters: [],
+        };
+        this.records.set(pidKey(pid), record);
+        if (options.parent)
+            this.link(options.parent, pid);
+        if (options.link)
+            this.link(options.link, pid);
+        this.emit({ type: 'started', pid, name: record.name, state: 'runnable' });
+        // Start on the next microtask so `spawn` behaves as fire-and-forget.
+        void Promise.resolve().then(() => this.run(record));
+        return pid;
+    }
+    async run(record) {
+        if (record.terminal)
+            return;
+        record.state = 'running';
+        this.emit({ type: 'state', pid: record.pid, name: record.name, state: 'running' });
+        try {
+            const result = await record.body(this.contextFor(record));
+            this.finish(record, 'done', 'normal', result);
+        }
+        catch (error) {
+            if (error instanceof ProcessExit) {
+                this.finish(record, 'killed', error.reason);
+            }
+            else {
+                const message = error instanceof Error ? error.message : String(error);
+                this.finish(record, 'crashed', { error: message }, undefined, message);
+            }
+        }
+    }
+    finish(record, state, reason, result, error) {
+        if (record.terminal)
+            return;
+        record.terminal = true;
+        record.state = state;
+        record.finishedAt = this.now();
+        record.result = result;
+        record.error = error;
+        record.exitReason = reason;
+        // Wake anyone blocked on receive.
+        for (const waiter of record.waiters.splice(0)) {
+            if (waiter.timer)
+                clearTimeout(waiter.timer);
+            waiter.resolve({ ok: false, reason: 'stopped' });
+        }
+        this.names.forEach((pid, name) => {
+            if (pidKey(pid) === pidKey(record.pid))
+                this.names.delete(name);
+        });
+        // Monitors.
+        for (const watch of record.watchedBy.values()) {
+            this.watchersByRef.delete(watch.ref);
+            const watcher = this.records.get(watch.watcher);
+            watcher?.watching.delete(watch.ref);
+            watch.resolve(reason);
+        }
+        record.watchedBy.clear();
+        for (const waiter of record.terminalWaiters.splice(0))
+            waiter();
+        if (state === 'done' && result !== undefined) {
+            this.emit({ type: 'answer', pid: record.pid, name: record.name, answer: result });
+        }
+        this.emit({
+            type: 'exited',
+            pid: record.pid,
+            name: record.name,
+            state,
+            reason,
+            error,
+        });
+        // Links: an abnormal exit propagates as a stop to linked processes.
+        if (state !== 'done' || reason !== 'normal') {
+            for (const linkKey of record.links) {
+                const linked = this.records.get(linkKey);
+                if (linked && !linked.terminal)
+                    this.stop(linked.pid, reason);
+            }
+        }
+    }
+    // ---- context ------------------------------------------------------------
+    contextFor(record) {
+        const host = this;
+        return {
+            pid: record.pid,
+            goal: record.goal,
+            options: record.options,
+            signal: record.controller.signal,
+            receive(timeoutMs) {
+                return host.receive(record.pid, timeoutMs);
+            },
+            send(to, message) {
+                host.send(to, message);
+            },
+            spawn(goal, options) {
+                return host.spawn(goal, { ...options, parent: record.pid });
+            },
+            exit(reason) {
+                throw new ProcessExit(reason);
+            },
+            info() {
+                return host.info(record.pid);
+            },
+            setActivity(activity) {
+                record.currentActivity = activity;
+                host.emit({ type: 'activity', pid: record.pid, name: record.name, activity });
+            },
+            emit(event) {
+                host.emit({ ...event, pid: record.pid, name: record.name });
+            },
+            recordUsage(usage) {
+                record.usage = addUsage(record.usage, usage);
+            },
+        };
+    }
+    // ---- messaging ----------------------------------------------------------
+    send(to, message) {
+        const pid = typeof to === 'string' ? (this.names.get(to) ?? this.pidByLabel(to)) : to;
+        if (!pid)
+            throw new NoProcError(typeof to === 'string' ? { node: this.node, session: this.sessionId, id: to } : to);
+        // The host is a synthetic endpoint for request/reply.
+        if (pidKey(pid) === pidKey(this.hostPid)) {
+            const copied = copyMessage(message);
+            this.onHostMessage?.(copied);
+            const ref = typeof copied === 'object' && copied !== null && 'ref' in copied
+                ? String(copied.ref)
+                : undefined;
+            const kind = typeof copied === 'object' && copied !== null && 'kind' in copied
+                ? String(copied.kind)
+                : undefined;
+            if (kind === 'reply' && ref) {
+                const resolver = this.replyInboxes.get(ref);
+                if (resolver) {
+                    this.replyInboxes.delete(ref);
+                    resolver(copied.value);
+                }
+                return;
+            }
+            return;
+        }
+        const record = this.records.get(pidKey(pid));
+        if (!record || record.terminal)
+            throw new NoProcError(pid);
+        if (record.mailbox.length >= this.maxMailbox)
+            throw new MailboxFullError(pid);
+        const copied = copyMessage(message);
+        const waiter = record.waiters.shift();
+        if (waiter) {
+            if (waiter.timer)
+                clearTimeout(waiter.timer);
+            waiter.resolve({ ok: true, message: copied });
+        }
+        else {
+            record.mailbox.push(copied);
+        }
+    }
+    /**
+     * Pop the oldest message, or wait. `timeoutMs` of 0 or undefined waits forever
+     * (spec §4.4); the DML layer chooses a default.
+     */
+    receive(pid, timeoutMs) {
+        const record = this.records.get(pidKey(pid));
+        if (!record || record.terminal)
+            return Promise.resolve({ ok: false, reason: 'stopped' });
+        if (record.mailbox.length > 0) {
+            return Promise.resolve({ ok: true, message: record.mailbox.shift() });
+        }
+        return new Promise((resolve) => {
+            const waiter = { resolve: (result) => resolve(result) };
+            if (timeoutMs && timeoutMs > 0) {
+                waiter.timer = setTimeout(() => {
+                    const index = record.waiters.indexOf(waiter);
+                    if (index !== -1)
+                        record.waiters.splice(index, 1);
+                    resolve({ ok: false, reason: 'timeout' });
+                }, timeoutMs);
+            }
+            record.waiters.push(waiter);
+        });
+    }
+    /**
+     * Put a message back at the front of the mailbox (selective receive).
+     */
+    requeue(pid, message) {
+        const record = this.records.get(pidKey(pid));
+        if (!record || record.terminal)
+            return;
+        record.mailbox.unshift(copyMessage(message));
+    }
+    /**
+     * Send `{kind:'request', from, ref, value: message}` and await a
+     * `{kind:'reply', ref, value}` from the target (the `library(service)`
+     * protocol).
+     */
+    call(to, message, timeoutMs = 300_000) {
+        const ref = `r${++this.refCounter}`;
+        return new Promise((resolve, reject) => {
+            const timer = setTimeout(() => {
+                this.replyInboxes.delete(ref);
+                reject(new Error(`call timed out after ${timeoutMs} ms`));
+            }, timeoutMs);
+            this.replyInboxes.set(ref, (value) => {
+                clearTimeout(timer);
+                resolve(value);
+            });
+            try {
+                this.send(to, { kind: 'request', from: this.hostPid, ref, value: copyMessage(message) });
+            }
+            catch (error) {
+                clearTimeout(timer);
+                this.replyInboxes.delete(ref);
+                reject(error);
+            }
+        });
+    }
+    // ---- links and monitors -------------------------------------------------
+    link(a, b) {
+        const ra = this.records.get(pidKey(a));
+        const rb = this.records.get(pidKey(b));
+        if (!ra || !rb)
+            throw new NoProcError(ra ? b : a);
+        ra.links.add(pidKey(b));
+        rb.links.add(pidKey(a));
+    }
+    unlink(a, b) {
+        this.records.get(pidKey(a))?.links.delete(pidKey(b));
+        this.records.get(pidKey(b))?.links.delete(pidKey(a));
+    }
+    monitor(pid) {
+        const record = this.records.get(pidKey(pid));
+        if (!record || record.terminal) {
+            return { ref: `m${++this.refCounter}`, down: Promise.resolve(record?.exitReason ?? 'noproc') };
+        }
+        const ref = `m${++this.refCounter}`;
+        const down = new Promise((resolve) => {
+            record.watchedBy.set(ref, { ref, watcher: pidKey(this.hostPid), resolve });
+            this.watchersByRef.set(ref, { watcher: pidKey(this.hostPid), resolve });
+        });
+        return { ref, down };
+    }
+    // ---- lifecycle ----------------------------------------------------------
+    /** Stop a process. Idempotent. `reason: 'kill'` is untrappable (same as any stop in v1). */
+    stop(pid, reason = 'shutdown') {
+        const record = this.records.get(pidKey(pid));
+        if (!record || record.terminal)
+            return;
+        record.controller.abort(reason);
+        const state = reason === 'normal' ? 'done' : 'killed';
+        this.finish(record, state, reason);
+    }
+    async shutdown() {
+        this.shutdownRequested = true;
+        const records = [...this.records.values()];
+        for (const record of records)
+            this.stop(record.pid, 'shutdown');
+        for (const resolver of this.replyInboxes.values())
+            resolver(undefined);
+        this.replyInboxes.clear();
+    }
+    // ---- naming -------------------------------------------------------------
+    register(name, pid) {
+        if (this.names.has(name))
+            throw new Error(`name already registered: ${name}`);
+        if (!this.records.has(pidKey(pid)))
+            throw new NoProcError(pid);
+        this.names.set(name, pid);
+    }
+    whereis(name) {
+        const pid = this.names.get(name) ?? this.pidByLabel(name);
+        if (!pid)
+            return undefined;
+        const record = this.records.get(pidKey(pid));
+        if (!record || record.terminal) {
+            this.names.delete(name);
+            return undefined;
+        }
+        return pid;
+    }
+    /** Resolve a process label (the goal functor) to a live pid. */
+    pidByLabel(name) {
+        for (const record of this.records.values()) {
+            if (!record.terminal && record.name === name)
+                return record.pid;
+        }
+        return undefined;
+    }
+    // ---- inspection ---------------------------------------------------------
+    info(pid) {
+        const record = this.records.get(pidKey(pid));
+        return record ? this.toInfo(record) : undefined;
+    }
+    /** The harness source a process is running (its spawn-time snapshot). */
+    codeOf(pid) {
+        return this.records.get(pidKey(pid))?.options.snapshot?.text;
+    }
+    processes() {
+        const order = {
+            running: 0,
+            runnable: 1,
+            waiting: 2,
+            input: 3,
+            done: 4,
+            crashed: 5,
+            killed: 6,
+        };
+        return [...this.records.values()]
+            .sort((a, b) => order[a.state] - order[b.state] || a.startedAt - b.startedAt)
+            .map((record) => this.toInfo(record));
+    }
+    get size() {
+        return this.records.size;
+    }
+    /** Processes that have not reached a terminal state. */
+    liveCount() {
+        let live = 0;
+        for (const record of this.records.values())
+            if (!record.terminal)
+                live += 1;
+        return live;
+    }
+    /** Drop the oldest terminal records beyond `maxTerminalRecords`. */
+    reapTerminalRecords() {
+        const terminal = [...this.records.entries()].filter(([, record]) => record.terminal);
+        const excess = terminal.length - this.maxTerminalRecords;
+        for (let index = 0; index < excess; index += 1) {
+            this.records.delete(terminal[index][0]);
+        }
+    }
+    /** Resolve when `pid` reaches a terminal state (already terminal resolves now). */
+    wait(pid) {
+        const record = this.records.get(pidKey(pid));
+        if (!record)
+            return Promise.resolve(undefined);
+        if (record.terminal)
+            return Promise.resolve(this.toInfo(record));
+        return new Promise((resolve) => {
+            record.terminalWaiters.push(() => resolve(this.toInfo(record)));
+        });
+    }
+    toInfo(record) {
+        return {
+            pid: record.pid,
+            name: record.name,
+            goal: record.goal,
+            state: record.state,
+            priority: record.priority,
+            mailboxDepth: record.mailbox.length,
+            links: [...record.links].map((key) => this.pidFromKey(key)).filter((pid) => Boolean(pid)),
+            monitors: [...record.watching].map((ref) => this.watchersByRef.get(ref)?.watcher).filter(Boolean).map((key) => this.pidFromKey(key)).filter((pid) => Boolean(pid)),
+            usage: record.usage,
+            startedAt: record.startedAt,
+            finishedAt: record.finishedAt,
+            restarts: record.restarts,
+            currentActivity: record.currentActivity,
+            parent: record.options.parent,
+            codeVersion: record.options.codeVersion,
+            harnessVersion: record.options.snapshot?.version,
+            result: record.result,
+            error: record.error,
+            exitReason: record.exitReason,
+        };
+    }
+    pidFromKey(key) {
+        const record = this.records.get(key);
+        return record?.pid;
+    }
+    emit(event) {
+        this.onEvent?.({ ...event, at: this.now() });
+    }
+}
+//# sourceMappingURL=processes.js.map

package/dist/repl/processes.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"processes.js","sourceRoot":"","sources":["../../src/repl/processes.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAiBH,MAAM,UAAU,MAAM,CAAC,GAAQ;IAC7B,OAAO,GAAG,GAAG,CAAC,IAAI,IAAI,GAAG,CAAC,OAAO,IAAI,GAAG,CAAC,EAAE,EAAE,CAAC;AAChD,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,UAAU,CAAC,IAAY;IACrC,OAAO,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,GAAG,CAAC;AACpF,CAAC;AAED,oEAAoE;AACpE,MAAM,UAAU,WAAW,CAAC,GAAQ;IAClC,OAAO,QAAQ,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC;AAC1F,CAAC;AAED,iEAAiE;AACjE,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,mCAAmC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACpE,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAC7B,MAAM,OAAO,GAAG,CAAC,IAAY,EAAU,EAAE;QACvC,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,EAAE,CAAC;QAC5B,MAAM,MAAM,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACzC,OAAO,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC;IAC1D,CAAC,CAAC;IACF,OAAO,EAAE,IAAI,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;AACxF,CAAC;AAkED,wEAAwE;AACxE,MAAM,OAAO,WAAY,SAAQ,KAAK;IACf;IAArB,YAAqB,MAAe;QAClC,KAAK,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC;QAD3C,WAAM,GAAN,MAAM,CAAS;QAElC,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,qDAAqD;AACrD,MAAM,OAAO,WAAY,SAAQ,KAAK;IAEf;IADZ,IAAI,GAAG,QAAQ,CAAC;IACzB,YAAqB,GAAQ;QAC3B,KAAK,CAAC,eAAe,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QADjB,QAAG,GAAH,GAAG,CAAK;QAE3B,IAAI,CAAC,IAAI,GAAG,aAAa,CAAC;IAC5B,CAAC;CACF;AAED,kDAAkD;AAClD,MAAM,OAAO,gBAAiB,SAAQ,KAAK;IAEpB;IADZ,IAAI,GAAG,cAAc,CAAC;IAC/B,YAAqB,GAAQ;QAC3B,KAAK,CAAC,iBAAiB,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QADnB,QAAG,GAAH,GAAG,CAAK;QAE3B,IAAI,CAAC,IAAI,GAAG,kBAAkB,CAAC;IACjC,CAAC;CACF;AAgID,SAAS,UAAU;IACjB,OAAO,EAAE,WAAW,EAAE,CAAC,EAAE,YAAY,EAAE,CAAC,EAAE,WAAW,EAAE,CAAC,EAAE,CAAC;AAC7D,CAAC;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAW;IACxC,OAAO;QACL,WAAW,EAAE,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW;QAC1C,YAAY,EAAE,CAAC,CAAC,YAAY,GAAG,CAAC,CAAC,YAAY;QAC7C,WAAW,EAAE,CAAC,CAAC,WAAW,GAAG,CAAC,CAAC,WAAW;QAC1C,eAAe,EAAE,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,SAAS;QACjF,gBAAgB,EAAE,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,gBAAgB,IAAI,CAAC,CAAC,IAAI,SAAS;QACpF,eAAe,EAAE,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,SAAS;KAClF,CAAC;AACJ,CAAC;AAED,6EAA6E;AAC7E,MAAM,UAAU,YAAY,CAAC,IAAY;IACvC,MAAM,KAAK,GAAG,2BAA2B,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACrD,OAAO,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;AACtC,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAI,KAAQ;IACrC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,IAAI,CAAC;QACH,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,OAAO,gBAAgB;IACV,SAAS,CAAS;IAClB,IAAI,CAAS;IACb,WAAW,CAA6C;IACxD,eAAe,CAA2C;IAC1D,OAAO,CAAiC;IACxC,aAAa,CAA8B;IAC3C,YAAY,CAAS;IACrB,UAAU,CAAS;IACnB,kBAAkB,CAAS;IAC3B,GAAG,CAAe;IAElB,OAAO,GAAG,IAAI,GAAG,EAAsB,CAAC;IACxC,KAAK,GAAG,IAAI,GAAG,EAAe,CAAC;IAC/B,aAAa,GAAG,IAAI,GAAG,EAAmE,CAAC;IAC3F,YAAY,GAAG,IAAI,GAAG,EAAoC,CAAC;IACpE,OAAO,GAAG,CAAC,CAAC;IACZ,UAAU,GAAG,CAAC,CAAC;IACf,iBAAiB,GAAG,KAAK,CAAC;IAElC,gFAAgF;IACvE,OAAO,CAAM;IAEtB,YAAY,OAA2B;QACrC,IAAI,CAAC,SAAS,GAAG,OAAO,CAAC,SAAS,CAAC;QACnC,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,MAAM,CAAC;QACnC,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC;QACvC,IAAI,CAAC,eAAe,GAAG,OAAO,CAAC,eAAe,CAAC;QAC/C,IAAI,CAAC,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;QAC/B,IAAI,CAAC,aAAa,GAAG,OAAO,CAAC,aAAa,CAAC;QAC3C,IAAI,CAAC,YAAY,GAAG,OAAO,CAAC,YAAY,IAAI,EAAE,CAAC;QAC/C,IAAI,CAAC,UAAU,GAAG,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC;QAC7C,IAAI,CAAC,kBAAkB,GAAG,OAAO,CAAC,kBAAkB,IAAI,EAAE,CAAC;QAC3D,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,CAAC;QACnC,IAAI,CAAC,OAAO,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,MAAM,EAAE,CAAC;IAC1E,CAAC;IAED,4EAA4E;IAE5E,KAAK,CAAC,IAAY,EAAE,UAAwB,EAAE,EAAE,IAAkB;QAChE,IAAI,IAAI,CAAC,iBAAiB;YAAE,MAAM,IAAI,KAAK,CAAC,2BAA2B,CAAC,CAAC;QACzE,uEAAuE;QACvE,4EAA4E;QAC5E,wCAAwC;QACxC,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,YAAY,EAAE,CAAC;YAC1C,MAAM,IAAI,KAAK,CAAC,0BAA0B,IAAI,CAAC,YAAY,iCAAiC,CAAC,CAAC;QAChG,CAAC;QACD,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC3B,MAAM,QAAQ,GAAG,IAAI,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC,IAAI,CAAC,CAAC;QAClD,IAAI,CAAC,QAAQ;YAAE,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,EAAE,CAAC,CAAC;QAEvE,wEAAwE;QACxE,yEAAyE;QACzE,oDAAoD;QACpD,IAAI,CAAC,OAAO,CAAC,QAAQ,EAAE,CAAC;YACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,eAAe,EAAE,EAAE,CAAC;YAC1C,IAAI,QAAQ;gBAAE,OAAO,GAAG,EAAE,GAAG,OAAO,EAAE,QAAQ,EAAE,CAAC;QACnD,CAAC;QAED,MAAM,GAAG,GAAQ,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACxF,MAAM,MAAM,GAAe;YACzB,GAAG;YACH,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC;YACxC,IAAI;YACJ,OAAO;YACP,IAAI,EAAE,QAAQ;YACd,KAAK,EAAE,UAAU;YACjB,QAAQ,EAAE,OAAO,CAAC,QAAQ,IAAI,YAAY;YAC1C,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,KAAK,EAAE,IAAI,GAAG,EAAE;YAChB,QAAQ,EAAE,IAAI,GAAG,EAAE;YACnB,SAAS,EAAE,IAAI,GAAG,EAAE;YACpB,KAAK,EAAE,UAAU,EAAE;YACnB,SAAS,EAAE,IAAI,CAAC,GAAG,EAAE;YACrB,QAAQ,EAAE,CAAC;YACX,UAAU,EAAE,IAAI,eAAe,EAAE;YACjC,QAAQ,EAAE,KAAK;YACf,eAAe,EAAE,EAAE;SACpB,CAAC;QACF,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,CAAC;QACtC,IAAI,OAAO,CAAC,MAAM;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACnD,IAAI,OAAO,CAAC,IAAI;YAAE,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAE/C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,CAAC,CAAC;QAC1E,qEAAqE;QACrE,KAAK,OAAO,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC;QACpD,OAAO,GAAG,CAAC;IACb,CAAC;IAEO,KAAK,CAAC,GAAG,CAAC,MAAkB;QAAsB,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO;QACpF,MAAM,CAAC,KAAK,GAAG,SAAS,CAAC;QACzB,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAC;QACnF,IAAI,CAAC;YACH,MAAM,MAAM,GAAG,MAAM,MAAM,CAAC,IAAK,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;YAC3D,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,CAAC,CAAC;QAChD,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,WAAW,EAAE,CAAC;gBACjC,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,CAAC,MAAM,CAAC,CAAC;YAC9C,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACvE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC;YACzE,CAAC;QACH,CAAC;IACH,CAAC;IAEO,MAAM,CACZ,MAAkB,EAClB,KAAmB,EACnB,MAAe,EACf,MAAgB,EAChB,KAAc;QAEd,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO;QAC5B,MAAM,CAAC,QAAQ,GAAG,IAAI,CAAC;QACvB,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QACrB,MAAM,CAAC,UAAU,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;QAC/B,MAAM,CAAC,MAAM,GAAG,MAAM,CAAC;QACvB,MAAM,CAAC,KAAK,GAAG,KAAK,CAAC;QACrB,MAAM,CAAC,UAAU,GAAG,MAAM,CAAC;QAE3B,kCAAkC;QAClC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;YAC9C,IAAI,MAAM,CAAC,KAAK;gBAAE,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7C,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QACnD,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,GAAG,EAAE,IAAI,EAAE,EAAE;YAC/B,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC;gBAAE,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;QAEH,YAAY;QACZ,KAAK,MAAM,KAAK,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,CAAC;YAC9C,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACrC,MAAM,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YAChD,OAAO,EAAE,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC;YACpC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;QACxB,CAAC;QACD,MAAM,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QAEzB,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC;YAAE,MAAM,EAAE,CAAC;QAEhE,IAAI,KAAK,KAAK,MAAM,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YAC7C,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC;QACpF,CAAC;QACD,IAAI,CAAC,IAAI,CAAC;YACR,IAAI,EAAE,QAAQ;YACd,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK;YACL,MAAM;YACN,KAAK;SACN,CAAC,CAAC;QAEH,oEAAoE;QACpE,IAAI,KAAK,KAAK,MAAM,IAAI,MAAM,KAAK,QAAQ,EAAE,CAAC;YAC5C,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;gBACnC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC;gBACzC,IAAI,MAAM,IAAI,CAAC,MAAM,CAAC,QAAQ;oBAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;YAChE,CAAC;QACH,CAAC;IACH,CAAC;IAED,4EAA4E;IAEpE,UAAU,CAAC,MAAkB;QACnC,MAAM,IAAI,GAAG,IAAI,CAAC;QAClB,OAAO;YACL,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,MAAM,EAAE,MAAM,CAAC,UAAU,CAAC,MAAM;YAChC,OAAO,CAAI,SAAkB;gBAC3B,OAAO,IAAI,CAAC,OAAO,CAAI,MAAM,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;YAChD,CAAC;YACD,IAAI,CAAC,EAAE,EAAE,OAAO;gBACd,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,OAAO,CAAC,CAAC;YACzB,CAAC;YACD,KAAK,CAAC,IAAI,EAAE,OAAO;gBACjB,OAAO,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC;YAC9D,CAAC;YACD,IAAI,CAAC,MAAgB;gBACnB,MAAM,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC;YAChC,CAAC;YACD,IAAI;gBACF,OAAO,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,CAAE,CAAC;YAChC,CAAC;YACD,WAAW,CAAC,QAAiB;gBAC3B,MAAM,CAAC,eAAe,GAAG,QAAQ,CAAC;gBAClC,IAAI,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;YAChF,CAAC;YACD,IAAI,CAAC,KAAK;gBACR,IAAI,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;YAC9D,CAAC;YACD,WAAW,CAAC,KAAK;gBACf,MAAM,CAAC,KAAK,GAAG,QAAQ,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YAC/C,CAAC;SACF,CAAC;IACJ,CAAC;IAED,4EAA4E;IAE5E,IAAI,CAAC,EAAgB,EAAE,OAAgB;QACrC,MAAM,GAAG,GAAG,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QACtF,IAAI,CAAC,GAAG;YAAE,MAAM,IAAI,WAAW,CAAC,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QAEpH,sDAAsD;QACtD,IAAI,MAAM,CAAC,GAAG,CAAC,KAAK,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;YACzC,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;YACpC,IAAI,CAAC,aAAa,EAAE,CAAC,MAAM,CAAC,CAAC;YAC7B,MAAM,GAAG,GAAG,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,IAAI,MAAM;gBAC1E,CAAC,CAAC,MAAM,CAAE,MAA2B,CAAC,GAAG,CAAC;gBAC1C,CAAC,CAAC,SAAS,CAAC;YACd,MAAM,IAAI,GAAG,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,IAAI,MAAM;gBAC5E,CAAC,CAAC,MAAM,CAAE,MAA4B,CAAC,IAAI,CAAC;gBAC5C,CAAC,CAAC,SAAS,CAAC;YACd,IAAI,IAAI,KAAK,OAAO,IAAI,GAAG,EAAE,CAAC;gBAC5B,MAAM,QAAQ,GAAG,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;gBAC5C,IAAI,QAAQ,EAAE,CAAC;oBACb,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;oBAC9B,QAAQ,CAAE,MAA6B,CAAC,KAAK,CAAC,CAAC;gBACjD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,OAAO;QACT,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;QAC3D,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,gBAAgB,CAAC,GAAG,CAAC,CAAC;QAE9E,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,CAAC,CAAC;QACpC,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,KAAK,EAAE,CAAC;QACtC,IAAI,MAAM,EAAE,CAAC;YACX,IAAI,MAAM,CAAC,KAAK;gBAAE,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;YAC7C,MAAM,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,CAAC,CAAC;QAChD,CAAC;aAAM,CAAC;YACN,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IAED;;;OAGG;IACH,OAAO,CAAc,GAAQ,EAAE,SAAkB;QAC/C,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;QAEzF,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC9B,OAAO,OAAO,CAAC,OAAO,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,KAAK,EAAO,EAAE,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,IAAI,OAAO,CAAmB,CAAC,OAAO,EAAE,EAAE;YAC/C,MAAM,MAAM,GAAW,EAAE,OAAO,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,MAA0B,CAAC,EAAE,CAAC;YACpF,IAAI,SAAS,IAAI,SAAS,GAAG,CAAC,EAAE,CAAC;gBAC/B,MAAM,CAAC,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;oBAC7B,MAAM,KAAK,GAAG,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;oBAC7C,IAAI,KAAK,KAAK,CAAC,CAAC;wBAAE,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC;oBAClD,OAAO,CAAC,EAAE,EAAE,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAAC;gBAC5C,CAAC,EAAE,SAAS,CAAC,CAAC;YAChB,CAAC;YACD,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAC;IACL,CAAC;IAED;;OAEG;IACH,OAAO,CAAC,GAAQ,EAAE,OAAgB;QAChC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO;QACvC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAC;IAC/C,CAAC;IAED;;;;OAIG;IACH,IAAI,CAAC,EAAgB,EAAE,OAAgB,EAAE,SAAS,GAAG,OAAO;QAC1D,MAAM,GAAG,GAAG,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACpC,OAAO,IAAI,OAAO,CAAU,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE;YAC9C,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;gBAC5B,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC9B,MAAM,CAAC,IAAI,KAAK,CAAC,wBAAwB,SAAS,KAAK,CAAC,CAAC,CAAC;YAC5D,CAAC,EAAE,SAAS,CAAC,CAAC;YACd,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,EAAE,EAAE;gBACnC,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpB,OAAO,CAAC,KAAK,CAAC,CAAC;YACjB,CAAC,CAAC,CAAC;YACH,IAAI,CAAC;gBACH,IAAI,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,IAAI,CAAC,OAAO,EAAE,GAAG,EAAE,KAAK,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;YAC3F,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,YAAY,CAAC,KAAK,CAAC,CAAC;gBACpB,IAAI,CAAC,YAAY,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;gBAC9B,MAAM,CAAC,KAAK,CAAC,CAAC;YAChB,CAAC;QACH,CAAC,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAE5E,IAAI,CAAC,CAAM,EAAE,CAAM;QACjB,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,MAAM,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACvC,IAAI,CAAC,EAAE,IAAI,CAAC,EAAE;YAAE,MAAM,IAAI,WAAW,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAClD,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACxB,EAAE,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1B,CAAC;IAED,MAAM,CAAC,CAAM,EAAE,CAAM;QACnB,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;QACrD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IACvD,CAAC;IAED,OAAO,CAAC,GAAQ;QACd,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC/B,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,MAAM,EAAE,UAAU,IAAI,QAAQ,CAAC,EAAE,CAAC;QACjG,CAAC;QACD,MAAM,GAAG,GAAG,IAAI,EAAE,IAAI,CAAC,UAAU,EAAE,CAAC;QACpC,MAAM,IAAI,GAAG,IAAI,OAAO,CAAU,CAAC,OAAO,EAAE,EAAE;YAC5C,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,GAAG,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;YAC3E,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,EAAE,EAAE,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;QAC1E,CAAC,CAAC,CAAC;QACH,OAAO,EAAE,GAAG,EAAE,IAAI,EAAE,CAAC;IACvB,CAAC;IAED,4EAA4E;IAE5E,4FAA4F;IAC5F,IAAI,CAAC,GAAQ,EAAE,SAAkB,UAAU;QACzC,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO;QACvC,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;QAChC,MAAM,KAAK,GAAiB,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC;QACpE,IAAI,CAAC,MAAM,CAAC,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC;IACrC,CAAC;IAED,KAAK,CAAC,QAAQ;QACZ,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC;QAC9B,MAAM,OAAO,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QAC3C,KAAK,MAAM,MAAM,IAAI,OAAO;YAAE,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,EAAE,UAAU,CAAC,CAAC;QAChE,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,YAAY,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,SAAS,CAAC,CAAC;QACvE,IAAI,CAAC,YAAY,CAAC,KAAK,EAAE,CAAC;IAC5B,CAAC;IAED,4EAA4E;IAE5E,QAAQ,CAAC,IAAY,EAAE,GAAQ;QAC7B,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,MAAM,IAAI,KAAK,CAAC,4BAA4B,IAAI,EAAE,CAAC,CAAC;QAC9E,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;YAAE,MAAM,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;QAC/D,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IAC5B,CAAC;IAED,OAAO,CAAC,IAAY;QAClB,MAAM,GAAG,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC1D,IAAI,CAAC,GAAG;YAAE,OAAO,SAAS,CAAC;QAC3B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM,IAAI,MAAM,CAAC,QAAQ,EAAE,CAAC;YAC/B,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;YACxB,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC;IAED,gEAAgE;IACxD,UAAU,CAAC,IAAY;QAC7B,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;YAC3C,IAAI,CAAC,MAAM,CAAC,QAAQ,IAAI,MAAM,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,MAAM,CAAC,GAAG,CAAC;QAClE,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4EAA4E;IAE5E,IAAI,CAAC,GAAQ;QACX,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,OAAO,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAClD,CAAC;IAED,yEAAyE;IACzE,MAAM,CAAC,GAAQ;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,CAAC,QAAQ,EAAE,IAAI,CAAC;IAC/D,CAAC;IAED,SAAS;QACP,MAAM,KAAK,GAAiC;YAC1C,OAAO,EAAE,CAAC;YACV,QAAQ,EAAE,CAAC;YACX,OAAO,EAAE,CAAC;YACV,KAAK,EAAE,CAAC;YACR,IAAI,EAAE,CAAC;YACP,OAAO,EAAE,CAAC;YACV,MAAM,EAAE,CAAC;SACV,CAAC;QACF,OAAO,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,CAAC;aAC9B,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,SAAS,CAAC;aAC5E,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,IAAI;QACN,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B,CAAC;IAED,wDAAwD;IAChD,SAAS;QACf,IAAI,IAAI,GAAG,CAAC,CAAC;QACb,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE;YAAE,IAAI,CAAC,MAAM,CAAC,QAAQ;gBAAE,IAAI,IAAI,CAAC,CAAC;QAC5E,OAAO,IAAI,CAAC;IACd,CAAC;IAED,oEAAoE;IAC5D,mBAAmB;QACzB,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QACrF,MAAM,MAAM,GAAG,QAAQ,CAAC,MAAM,GAAG,IAAI,CAAC,kBAAkB,CAAC;QACzD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,MAAM,EAAE,KAAK,IAAI,CAAC,EAAE,CAAC;YAC/C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1C,CAAC;IACH,CAAC;IAED,mFAAmF;IACnF,IAAI,CAAC,GAAQ;QACX,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,CAAC,MAAM;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;QAC/C,IAAI,MAAM,CAAC,QAAQ;YAAE,OAAO,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QACjE,OAAO,IAAI,OAAO,CAAC,CAAC,OAAO,EAAE,EAAE;YAC7B,MAAM,CAAC,eAAe,CAAC,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;QAClE,CAAC,CAAC,CAAC;IACL,CAAC;IAEO,MAAM,CAAC,MAAkB;QAC/B,OAAO;YACL,GAAG,EAAE,MAAM,CAAC,GAAG;YACf,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,IAAI,EAAE,MAAM,CAAC,IAAI;YACjB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,YAAY,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;YACnC,KAAK,EAAE,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAc,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YACrG,QAAQ,EAAE,CAAC,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,GAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,GAAG,EAAc,EAAE,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;YAC/K,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,SAAS,EAAE,MAAM,CAAC,SAAS;YAC3B,UAAU,EAAE,MAAM,CAAC,UAAU;YAC7B,QAAQ,EAAE,MAAM,CAAC,QAAQ;YACzB,eAAe,EAAE,MAAM,CAAC,eAAe;YACvC,MAAM,EAAE,MAAM,CAAC,OAAO,CAAC,MAAM;YAC7B,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,WAAW;YACvC,cAAc,EAAE,MAAM,CAAC,OAAO,CAAC,QAAQ,EAAE,OAAO;YAChD,MAAM,EAAE,MAAM,CAAC,MAAM;YACrB,KAAK,EAAE,MAAM,CAAC,KAAK;YACnB,UAAU,EAAE,MAAM,CAAC,UAAU;SAC9B,CAAC;IACJ,CAAC;IAEO,UAAU,CAAC,GAAW;QAC5B,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACrC,OAAO,MAAM,EAAE,GAAG,CAAC;IACrB,CAAC;IAEO,IAAI,CAAC,KAA+B;QAC1C,IAAI,CAAC,OAAO,EAAE,CAAC,EAAE,GAAG,KAAK,EAAE,EAAE,EAAE,IAAI,CAAC,GAAG,EAAE,EAAE,CAAC,CAAC;IAC/C,CAAC;CACF"}

package/dist/repl/render.d.ts

@@ -42,13 +42,55 @@ export interface ReplRendererOptions {
 export declare function formatDuration(ms: number): string;
 /** Format solution bindings as `Name = value` lines (or `true`). */
 export declare function formatBindings(bindings: DMLBinding[]): string;
-export declare class ReplRenderer {
+/**
+ * The indentation a frame's output gets, so nesting reads as a tree.
+ *
+ * One rule, shared by the line renderer and the TUI's components: a nested frame
+ * (an `execute` child) hangs off its parent tool call with a `│` and no label;
+ * other frames carry their kind. Components used to ignore this and render
+ * flush-left, which flattened the tree — the same output looked nested in the
+ * readline path and flat in the TUI.
+ */
+export declare function framePrefix(event: DMLEvent, showEvents?: boolean): string;
+/**
+ * What the CLI needs from a renderer.
+ *
+ * `ReplRenderer` (string output, used by `--plain`, `--json` and the readline
+ * path) and the TUI's component renderer both satisfy this, so the dispatch code
+ * does not care which one is drawing.
+ */
+export interface ReplEventRenderer {
+    readonly mode: RenderMode;
+    render(event: DMLEvent): void;
+    setSink(sink: (text: string) => void, errorSink?: (text: string) => void): void;
+    setImageSink(sink?: (lines: string[]) => void): void;
+    setSuppressInputPrompt(suppress: boolean): void;
+    getWidth(): number;
+    setWidth(width: number): void;
+    writeLine(text?: string): void;
+    writeErrorLine(text: string): void;
+    listing(text: string): string;
+    image(lines: string[]): void;
+    /** Change the reasoning display mode at runtime (TUI picker). */
+    setReasoningMode?(mode: 'off' | 'summary' | 'full'): void;
+    /** The current reasoning display mode, when the renderer tracks one. */
+    getReasoningMode?(): 'off' | 'summary' | 'full';
+    /**
+     * Close any open streamed-text block. The TUI implements this so a new turn's
+     * text cannot be appended to the previous turn's and render above the prompt.
+     */
+    endTextBlock?(): void;
+    solution(bindings: DMLBinding[], terminator?: string, prefix?: string, maxValue?: number): void;
+    flush(): void;
+    dispose(): void;
+}
+export declare class ReplRenderer implements ReplEventRenderer {
     readonly mode: RenderMode;
     private readonly color;
     private readonly verbose;
     private readonly showStream;
     private readonly showEvents;
-    private readonly reasoningMode;
+    private reasoningMode;
     private readonly markdownEnabled;
     private readonly markdown;
     private pendingTextEvent?;
@@ -92,6 +134,14 @@ export declare class ReplRenderer {
      * Suppress `input_required` prompt lines. The TUI editor shows the question in
      * its border, so a transcript line would be a duplicate.
      */
+    /**
+     * Change how much model reasoning is shown, while the session is running.
+     *
+     * The setting is a rendering choice, so it applies to the next reasoning chunk
+     * rather than to a new session — which is what a picker in the TUI should do.
+     */
+    setReasoningMode(mode: 'off' | 'summary' | 'full'): void;
+    getReasoningMode(): 'off' | 'summary' | 'full';
     setSuppressInputPrompt(suppress: boolean): void;
     /** Stop the live indicator (call before the renderer goes out of scope). */
     dispose(): void;