visionclaw 0.1.218 → 0.1.219-dev.codex-issue-2805-worker-runtime.1

package/dist/threads/execution-scheduler.js

@@ -0,0 +1,413 @@
+import { logger } from "../logger.js";
+import { executorGroupStatus, killExecutorGroupAndWait } from "./process-group.js";
+import { EXECUTOR_REFUSED_EXIT_CODE, ExecutorRefusedError } from "./executor-exit.js";
+/** Same cap as the supervisor's crash budget for thread workers. */
+export const MAX_AUTO_RESUMES = 3;
+const OUTBOX_POLL_INTERVAL_MS = 2_000;
+const OUTBOX_RETRY_DELAY_MS = 30_000;
+/** How long one attempt waits for a previous host's executor group to empty. */
+const STALE_KILL_WAIT_MS = 5_000;
+/** Backoff between attempts to prove a previous host's executor stopped. */
+const STALE_RECHECK_DELAYS_MS = [1_000, 5_000, 30_000, 120_000];
+/** Grace on top of an execution's own time budget before the host stops it. */
+const HOST_DEADLINE_GRACE_MS = 60_000;
+/**
+ * Whether an interrupted running execution is resumed under the same
+ * executionId. Lab creates a new run instead; Nightly continues from its own
+ * watermark. Owner-delegated work (General/TUI) resumes.
+ */
+export function resumesAfterInterruption(caller) {
+    return caller.kind === "general" || caller.kind === "tui";
+}
+/**
+ * Host-side scheduler for internal executions (#2805 steps 1c/1d).
+ *
+ * It owns no processes itself: the supervisor forks and stops workers. The
+ * scheduler decides what to admit, records the writer generation, and
+ * resolves every worker exit through `confirmStopped`, so a terminal state is
+ * published, and the next writer admitted, only after the previous executor
+ * is known to be stopped.
+ */
+export class ExecutionScheduler {
+    lastAdmittedGroup = null;
+    store;
+    host;
+    delivery;
+    groupStatus;
+    killGroupAndWait;
+    stopRegisteredGroups;
+    staleRecheckDelaysMs;
+    hostDeadlineGraceMs;
+    /** executionId → generation of the executor this host started. */
+    running = new Map();
+    /** Executions whose stop this host requested; their exit is not a crash. */
+    stopRequested = new Set();
+    /** Host-side deadlines: a hung worker cannot outlive its time budget. */
+    deadlines = new Map();
+    /** Executions whose previous executor is not yet proven stopped → attempts so far. */
+    unverified = new Map();
+    recheckTimers = new Map();
+    admissionTimer = null;
+    outboxTimer = null;
+    delivering = false;
+    started = false;
+    stopped = false;
+    constructor(options) {
+        this.store = options.store;
+        this.host = options.host;
+        this.delivery = options.delivery;
+        this.groupStatus = options.groupStatus ?? executorGroupStatus;
+        this.killGroupAndWait = options.killGroupAndWait ?? killExecutorGroupAndWait;
+        this.stopRegisteredGroups = options.stopRegisteredGroups ?? (() => Promise.resolve(true));
+        this.staleRecheckDelaysMs = options.staleRecheckDelaysMs ?? STALE_RECHECK_DELAYS_MS;
+        this.hostDeadlineGraceMs = options.hostDeadlineGraceMs ?? HOST_DEADLINE_GRACE_MS;
+    }
+    /** Recover executions left by a previous host, then start admission and delivery. */
+    start() {
+        this.started = true;
+        this.store.rescheduleOwedDeliveries();
+        this.recoverAfterRestart();
+        this.requestAdmission();
+        this.outboxTimer = setInterval(() => { void this.deliverOutbox(); }, OUTBOX_POLL_INTERVAL_MS);
+        this.outboxTimer.unref();
+        void this.deliverOutbox();
+    }
+    /**
+     * Stop scheduling. Running executors are stopped by the host's shutdown;
+     * their exits still resolve here (`hostStopping`), so an interrupted
+     * execution is queued for the next host to resume. An executor whose group
+     * cannot be emptied stays recorded, and the next host proves it stopped
+     * first.
+     */
+    stop() {
+        this.stopped = true;
+        if (this.admissionTimer)
+            clearTimeout(this.admissionTimer);
+        if (this.outboxTimer)
+            clearInterval(this.outboxTimer);
+        for (const timer of [...this.deadlines.values(), ...this.recheckTimers.values()])
+            clearTimeout(timer);
+        this.deadlines.clear();
+        this.recheckTimers.clear();
+        this.admissionTimer = null;
+        this.outboxTimer = null;
+    }
+    isStopped() {
+        return this.stopped;
+    }
+    get activeCount() {
+        return this.running.size;
+    }
+    isRunning(executionId) {
+        return this.running.has(executionId);
+    }
+    /**
+     * Work that maintenance must not start alongside: a running executor of
+     * any caller, an executor whose stop is not yet proven, or queued work of
+     * a caller other than maintenance itself.
+     */
+    hasOutstandingWork() {
+        if (this.running.size > 0 || this.unverified.size > 0)
+            return true;
+        return this.store.listByState("queued").some((record) => record.caller.kind !== "nightly");
+    }
+    /** Whether this execution's previous executor is still unproven stopped. */
+    isUnverified(executionId) {
+        return this.unverified.has(executionId);
+    }
+    /**
+     * Keep an execution blocked until its recorded executor group is proven
+     * gone, retrying with backoff and telling the caller. Used for survivors of
+     * a stop and for executors left by a previous host.
+     */
+    blockUntilStopped(executionId) {
+        if (this.unverified.has(executionId))
+            return;
+        this.unverified.set(executionId, 0);
+        void this.proveStaleExecutorStopped(executionId);
+    }
+    /** Called after a submit, an answer, or a freed slot. Admission is coalesced. */
+    requestAdmission() {
+        // Not started yet, or already stopped: nothing is admitted.
+        if (this.stopped || !this.started || this.admissionTimer)
+            return;
+        this.admissionTimer = setTimeout(() => {
+            this.admissionTimer = null;
+            this.admitQueued();
+        }, 0);
+        this.admissionTimer.unref();
+    }
+    /** Stop the executor if this host runs one; its exit is then expected, not a crash. */
+    requestStop(executionId, reason) {
+        if (!this.running.has(executionId))
+            return;
+        this.stopRequested.add(executionId);
+        this.host.stop(executionId, reason);
+    }
+    /**
+     * Called with the exit of every execution worker the host forked, after
+     * the host tried to empty its process group. `hostStopping` marks an exit
+     * caused by this host shutting down: an interrupted execution is queued
+     * for the next host to resume. `groupStopped: false` means members of the
+     * group survived the kill; the execution stays blocked until they are
+     * proven gone (by the next host, when this one is shutting down).
+     */
+    handleWorkerExit(executionId, code, signal, options = {}) {
+        const generation = this.running.get(executionId);
+        if (generation === undefined)
+            return;
+        this.running.delete(executionId);
+        const deadline = this.deadlines.get(executionId);
+        if (deadline)
+            clearTimeout(deadline);
+        this.deadlines.delete(executionId);
+        const requested = this.stopRequested.delete(executionId);
+        logger.system(`[execution] Executor exited: execution=${executionId} generation=${generation} code=${code} signal=${signal}`);
+        if (options.groupStopped === false) {
+            // The leader is gone but part of its group is not: no new writer yet.
+            // A shutting-down host leaves it to the next host to prove.
+            logger.err(`[execution] Executor group survived its stop: execution=${executionId}; blocking until it is gone`);
+            if (!options.hostStopping)
+                this.blockUntilStopped(executionId);
+            return;
+        }
+        const how = code === EXECUTOR_REFUSED_EXIT_CODE
+            ? "refused"
+            : options.hostStopping ? "host_shutdown" : requested ? "host_stop" : code === 0 ? "exited" : "crashed";
+        this.resolveStoppedExecutor(executionId, generation, how, signal ? `signal ${signal}` : `exit code ${String(code)}`);
+        this.requestAdmission();
+        void this.deliverOutbox();
+    }
+    /**
+     * The executor for `generation` is stopped. Publish its reported result,
+     * keep a waiting question open, confirm a cancel, or decide between an
+     * automatic resume and a failure for an interrupted run.
+     */
+    resolveStoppedExecutor(executionId, generation, how, detail = "") {
+        const record = this.store.get(executionId);
+        // A stale resolution (e.g. two observers of one exit) must not touch a
+        // record that has moved on to its next executor.
+        if (record?.workerInstanceId !== generation || record.state === "queued")
+            return;
+        if (how === "refused") {
+            this.store.failPermanently(executionId, generation, {
+                code: "executor_refused",
+                message: "The executor refused to start this execution (snapshot or record could not be verified)",
+            });
+            return;
+        }
+        const interrupted = record.state === "running" && record.result === null;
+        // Input the host accepted but the executor never applied: the task is
+        // not finished, whatever the executor reported on its way out.
+        const owesInput = record.inputSeq > record.processedInputSeq;
+        const stopReason = typeof record.usage?.stopReason === "string" ? record.usage.stopReason : null;
+        if (interrupted && stopReason) {
+            // The worker stopped because its task budget ran out; resuming would
+            // only hit the same limit.
+            this.store.confirmStopped(executionId, generation, {
+                status: "failed", error: { code: "budget_exhausted", message: stopReason },
+            });
+            return;
+        }
+        if (interrupted && (how !== "exited" || owesInput) && resumesAfterInterruption(record.caller)) {
+            const next = this.store.requeueForResume(executionId, generation, MAX_AUTO_RESUMES, `${how} (${detail || "no detail"})`);
+            logger.system(`[execution] Interrupted execution=${executionId} → ${next?.state ?? "unknown"}`);
+            return;
+        }
+        this.store.confirmStopped(executionId, generation, how === "exited"
+            ? { status: "failed", error: { code: "no_result", message: "The executor ended without reporting a result" } }
+            : { status: "failed", error: { code: "interrupted", message: `The executor stopped before reporting a result (${how}${detail ? `, ${detail}` : ""})` } });
+    }
+    admitQueued() {
+        if (this.isStopped())
+            return;
+        // Readers may share a directory, but a waiting writer must eventually
+        // obtain exclusive access instead of being starved by newly arriving reads.
+        const waitingWriters = new Set(this.store.listByState("queued")
+            .filter((record) => record.payload.workspaceMode !== "read_only")
+            .map((record) => record.payload.workspaceRef).filter((value) => value !== undefined));
+        for (const record of this.fairQueued()) {
+            if (this.running.has(record.executionId) || this.unverified.has(record.executionId))
+                continue;
+            // One writer per shared workspace: wait until the previous one stopped.
+            const workspace = record.payload.workspaceRef;
+            if (workspace && record.payload.workspaceMode === "read_only" && waitingWriters.has(workspace))
+                continue;
+            if (workspace && this.store.hasLiveWriter(workspace, record.executionId, record.payload.workspaceMode === "read_only"))
+                continue;
+            // While maintenance holds admission only its own execution gets a slot.
+            if (this.host.availableSlots(record) <= 0)
+                continue;
+            let identity;
+            try {
+                identity = this.host.spawn(record);
+            }
+            catch (error) {
+                const message = error instanceof Error ? error.message : String(error);
+                logger.err(`[execution] Could not start execution=${record.executionId}: ${message}`);
+                if (error instanceof ExecutorRefusedError) {
+                    // It can never start; failing it beats retrying it forever.
+                    this.store.failPermanently(record.executionId, record.workerInstanceId, { code: "executor_refused", message: message.slice(0, 500) });
+                    continue;
+                }
+                return;
+            }
+            const started = this.store.markStarted(record.executionId, identity);
+            if (!started) {
+                // Cancelled between listing and admission: release the fresh executor.
+                this.host.stop(record.executionId, "admission_raced");
+                continue;
+            }
+            this.running.set(record.executionId, started.workerInstanceId);
+            this.lastAdmittedGroup = this.groupOf(record);
+            this.armHostDeadline(started);
+            logger.system(`[execution] Started execution=${record.executionId} generation=${started.workerInstanceId} pid=${identity.pid}`);
+        }
+    }
+    groupOf(record) {
+        return JSON.stringify([record.scope, record.caller.kind, record.caller.ref, record.payload.parentTaskId ?? record.taskId]);
+    }
+    /** Round-robin across root Tasks, preserving FIFO order within each Task. */
+    *fairQueued() {
+        const groups = new Map();
+        for (const record of this.store.listByState("queued")) {
+            const key = this.groupOf(record);
+            const queue = groups.get(key) ?? [];
+            queue.push(record);
+            groups.set(key, queue);
+        }
+        const keys = [...groups.keys()];
+        const previous = this.lastAdmittedGroup === null ? -1 : keys.indexOf(this.lastAdmittedGroup);
+        const ordered = previous < 0 ? keys : [...keys.slice(previous + 1), ...keys.slice(0, previous + 1)];
+        let remaining = true;
+        while (remaining) {
+            remaining = false;
+            for (const key of ordered) {
+                const record = groups.get(key)?.shift();
+                if (record) {
+                    remaining = true;
+                    yield record;
+                }
+            }
+        }
+    }
+    /**
+     * The worker enforces its own time budget; this is the host's backstop for
+     * a worker that hangs and never reaches that check.
+     */
+    armHostDeadline(record) {
+        const limitMs = this.host.timeBudgetMs?.(record) ?? null;
+        if (limitMs === null)
+            return;
+        const used = typeof record.usage?.elapsedMs === "number" ? record.usage.elapsedMs : 0;
+        const remaining = Math.max(0, limitMs - used) + this.hostDeadlineGraceMs;
+        const timer = setTimeout(() => {
+            this.deadlines.delete(record.executionId);
+            if (!this.running.has(record.executionId))
+                return;
+            logger.warn(`[execution] Host deadline reached: execution=${record.executionId}; stopping its executor`);
+            this.store.recordHostNotice(record.executionId, { deadlineExceeded: true, limitMs });
+            this.store.recordUsage(record.executionId, record.workerInstanceId, {
+                stopReason: `Execution time budget exhausted (${limitMs} ms); stopped by the host`,
+            });
+            this.requestStop(record.executionId, "host_deadline");
+        }, remaining);
+        timer.unref();
+        this.deadlines.set(record.executionId, timer);
+    }
+    /**
+     * A previous host may have died with executors still recorded. Prove each
+     * one stopped (or stop it) before anything else may write for it; while
+     * that cannot be proven, keep the execution blocked, tell the caller, and
+     * keep trying with backoff.
+     */
+    recoverAfterRestart() {
+        for (const state of ["running", "cancel_requested", "waiting_input"]) {
+            for (const record of this.store.listByState(state)) {
+                if (!this.store.processOf(record.executionId))
+                    continue;
+                this.blockUntilStopped(record.executionId);
+            }
+        }
+    }
+    async proveStaleExecutorStopped(executionId) {
+        this.recheckTimers.delete(executionId);
+        if (this.stopped)
+            return;
+        const executor = this.store.processOf(executionId);
+        if (!executor) {
+            // Resolved meanwhile (e.g. by the exit of this host's own executor).
+            this.unverified.delete(executionId);
+            this.requestAdmission();
+            return;
+        }
+        let stopped = false;
+        try {
+            const leaderGroup = this.groupStatus(executor.pid, executor.processStart) === "dead"
+                || await this.killGroupAndWait(executor.pid, executor.processStart, STALE_KILL_WAIT_MS);
+            const shellGroups = await this.stopRegisteredGroups(executionId, STALE_KILL_WAIT_MS);
+            stopped = leaderGroup && shellGroups;
+        }
+        catch (error) {
+            // An unusable record (e.g. pid 0) can never be proven stopped; keep it blocked.
+            logger.warn(`[execution] Could not check executor pid=${executor.pid}: ${error instanceof Error ? error.message : String(error)}`);
+        }
+        // The scheduler may have been stopped while the kill was awaited.
+        if (this.isStopped())
+            return;
+        if (stopped) {
+            this.unverified.delete(executionId);
+            logger.system(`[execution] Previous executor confirmed stopped: execution=${executionId} pid=${executor.pid}`);
+            this.resolveStoppedExecutor(executionId, executor.workerInstanceId, "host_restart");
+            this.requestAdmission();
+            void this.deliverOutbox();
+            return;
+        }
+        const attempt = (this.unverified.get(executionId) ?? 0) + 1;
+        this.unverified.set(executionId, attempt);
+        if (attempt === 1) {
+            // Visible to the caller: the execution is blocked, not lost.
+            this.store.recordHostNotice(executionId, {
+                executorUnverified: true,
+                message: "The previous executor could not be confirmed stopped yet; retrying",
+            });
+            void this.deliverOutbox();
+        }
+        const delays = this.staleRecheckDelaysMs;
+        const delay = delays[Math.min(attempt - 1, delays.length - 1)] ?? 120_000;
+        logger.err(`[execution] Cannot confirm the previous executor stopped: execution=${executionId} pid=${executor.pid}; retrying in ${delay} ms`);
+        const timer = setTimeout(() => { void this.proveStaleExecutorStopped(executionId); }, delay);
+        timer.unref();
+        this.recheckTimers.set(executionId, timer);
+    }
+    async deliverOutbox() {
+        if (this.stopped || !this.started || this.delivering)
+            return;
+        this.delivering = true;
+        try {
+            for (const { event, caller, attempts } of this.store.dueDeliveries(50)) {
+                let delivered = false;
+                try {
+                    delivered = await this.delivery.deliverExecutionEvent(event, caller);
+                }
+                catch (error) {
+                    logger.warn(`[execution] Delivery of ${event.type} ${event.eventId} failed: ${error instanceof Error ? error.message : String(error)}`);
+                }
+                // The host may have stopped (and closed the ledger) while delivering.
+                if (this.isStopped())
+                    return;
+                if (delivered) {
+                    this.store.acknowledgeDelivery(event.eventId);
+                }
+                else {
+                    const backoff = Math.min(OUTBOX_RETRY_DELAY_MS * 2 ** attempts, 10 * 60_000);
+                    this.store.deferDelivery(event.eventId, new Date(Date.now() + backoff));
+                }
+            }
+        }
+        finally {
+            this.delivering = false;
+        }
+    }
+}
+//# sourceMappingURL=execution-scheduler.js.map

package/dist/threads/execution-scheduler.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-scheduler.js","sourceRoot":"","sources":["../../src/threads/execution-scheduler.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAOtC,OAAO,EAAE,mBAAmB,EAAE,wBAAwB,EAA4B,MAAM,oBAAoB,CAAC;AAC7G,OAAO,EAAE,0BAA0B,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAEtF,oEAAoE;AACpE,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,CAAC;AAClC,MAAM,uBAAuB,GAAG,KAAK,CAAC;AACtC,MAAM,qBAAqB,GAAG,MAAM,CAAC;AACrC,gFAAgF;AAChF,MAAM,kBAAkB,GAAG,KAAK,CAAC;AACjC,4EAA4E;AAC5E,MAAM,uBAAuB,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,CAAC,CAAC;AAChE,+EAA+E;AAC/E,MAAM,sBAAsB,GAAG,MAAM,CAAC;AAEtC;;;;GAIG;AACH,MAAM,UAAU,wBAAwB,CAAC,MAAuB;IAC9D,OAAO,MAAM,CAAC,IAAI,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC;AAC5D,CAAC;AAoDD;;;;;;;;GAQG;AACH,MAAM,OAAO,kBAAkB;IACrB,iBAAiB,GAAkB,IAAI,CAAC;IAC/B,KAAK,CAAiB;IACtB,IAAI,CAAgB;IACpB,QAAQ,CAA2B;IACnC,WAAW,CAA8D;IACzE,gBAAgB,CAA8E;IAC9F,oBAAoB,CAA+D;IACnF,oBAAoB,CAAoB;IACxC,mBAAmB,CAAS;IAC7C,kEAAkE;IACjD,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IACrD,4EAA4E;IAC3D,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IACnD,yEAAyE;IACxD,SAAS,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC/D,sFAAsF;IACrE,UAAU,GAAG,IAAI,GAAG,EAAkB,CAAC;IACvC,aAAa,GAAG,IAAI,GAAG,EAA0B,CAAC;IAC3D,cAAc,GAA0B,IAAI,CAAC;IAC7C,WAAW,GAA0B,IAAI,CAAC;IAC1C,UAAU,GAAG,KAAK,CAAC;IACnB,OAAO,GAAG,KAAK,CAAC;IAChB,OAAO,GAAG,KAAK,CAAC;IAExB,YAAY,OAAkC;QAC5C,IAAI,CAAC,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC;QAC3B,IAAI,CAAC,IAAI,GAAG,OAAO,CAAC,IAAI,CAAC;QACzB,IAAI,CAAC,QAAQ,GAAG,OAAO,CAAC,QAAQ,CAAC;QACjC,IAAI,CAAC,WAAW,GAAG,OAAO,CAAC,WAAW,IAAI,mBAAmB,CAAC;QAC9D,IAAI,CAAC,gBAAgB,GAAG,OAAO,CAAC,gBAAgB,IAAI,wBAAwB,CAAC;QAC7E,IAAI,CAAC,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,IAAI,CAAC,GAAG,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC1F,IAAI,CAAC,oBAAoB,GAAG,OAAO,CAAC,oBAAoB,IAAI,uBAAuB,CAAC;QACpF,IAAI,CAAC,mBAAmB,GAAG,OAAO,CAAC,mBAAmB,IAAI,sBAAsB,CAAC;IACnF,CAAC;IAED,qFAAqF;IACrF,KAAK;QACH,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,CAAC,KAAK,CAAC,wBAAwB,EAAE,CAAC;QACtC,IAAI,CAAC,mBAAmB,EAAE,CAAC;QAC3B,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxB,IAAI,CAAC,WAAW,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,EAAE,uBAAuB,CAAC,CAAC;QAC9F,IAAI,CAAC,WAAW,CAAC,KAAK,EAAE,CAAC;QACzB,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5B,CAAC;IAED;;;;;;OAMG;IACH,IAAI;QACF,IAAI,CAAC,OAAO,GAAG,IAAI,CAAC;QACpB,IAAI,IAAI,CAAC,cAAc;YAAE,YAAY,CAAC,IAAI,CAAC,cAAc,CAAC,CAAC;QAC3D,IAAI,IAAI,CAAC,WAAW;YAAE,aAAa,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;QACtD,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC,MAAM,EAAE,EAAE,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,CAAC;YAAE,YAAY,CAAC,KAAK,CAAC,CAAC;QACtG,IAAI,CAAC,SAAS,CAAC,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,aAAa,CAAC,KAAK,EAAE,CAAC;QAC3B,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;QAC3B,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC;IAC1B,CAAC;IAEO,SAAS;QACf,OAAO,IAAI,CAAC,OAAO,CAAC;IACtB,CAAC;IAED,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC;IAC3B,CAAC;IAED,SAAS,CAAC,WAAmB;QAC3B,OAAO,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IACvC,CAAC;IAED;;;;OAIG;IACH,kBAAkB;QAChB,IAAI,IAAI,CAAC,OAAO,CAAC,IAAI,GAAG,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,IAAI,GAAG,CAAC;YAAE,OAAO,IAAI,CAAC;QACnE,OAAO,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC;IAC7F,CAAC;IAED,4EAA4E;IAC5E,YAAY,CAAC,WAAmB;QAC9B,OAAO,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;IAC1C,CAAC;IAED;;;;OAIG;IACH,iBAAiB,CAAC,WAAmB;QACnC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,OAAO;QAC7C,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC;QACpC,KAAK,IAAI,CAAC,yBAAyB,CAAC,WAAW,CAAC,CAAC;IACnD,CAAC;IAED,iFAAiF;IACjF,gBAAgB;QACd,4DAA4D;QAC5D,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,cAAc;YAAE,OAAO;QACjE,IAAI,CAAC,cAAc,GAAG,UAAU,CAAC,GAAG,EAAE;YACpC,IAAI,CAAC,cAAc,GAAG,IAAI,CAAC;YAC3B,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,CAAC,EAAE,CAAC,CAAC,CAAC;QACN,IAAI,CAAC,cAAc,CAAC,KAAK,EAAE,CAAC;IAC9B,CAAC;IAED,uFAAuF;IACvF,WAAW,CAAC,WAAmB,EAAE,MAAc;QAC7C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC;YAAE,OAAO;QAC3C,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACpC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,EAAE,MAAM,CAAC,CAAC;IACtC,CAAC;IAED;;;;;;;OAOG;IACH,gBAAgB,CACd,WAAmB,EACnB,IAAmB,EACnB,MAA6B,EAC7B,UAA8D,EAAE;QAEhE,MAAM,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,UAAU,KAAK,SAAS;YAAE,OAAO;QACrC,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QACjD,IAAI,QAAQ;YAAE,YAAY,CAAC,QAAQ,CAAC,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACnC,MAAM,SAAS,GAAG,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACzD,MAAM,CAAC,MAAM,CAAC,0CAA0C,WAAW,eAAe,UAAU,SAAS,IAAI,WAAW,MAAM,EAAE,CAAC,CAAC;QAC9H,IAAI,OAAO,CAAC,YAAY,KAAK,KAAK,EAAE,CAAC;YACnC,sEAAsE;YACtE,4DAA4D;YAC5D,MAAM,CAAC,GAAG,CAAC,2DAA2D,WAAW,6BAA6B,CAAC,CAAC;YAChH,IAAI,CAAC,OAAO,CAAC,YAAY;gBAAE,IAAI,CAAC,iBAAiB,CAAC,WAAW,CAAC,CAAC;YAC/D,OAAO;QACT,CAAC;QACD,MAAM,GAAG,GAAiB,IAAI,KAAK,0BAA0B;YAC3D,CAAC,CAAC,SAAS;YACX,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QACzG,IAAI,CAAC,sBAAsB,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,UAAU,MAAM,EAAE,CAAC,CAAC,CAAC,aAAa,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QACrH,IAAI,CAAC,gBAAgB,EAAE,CAAC;QACxB,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;IAC5B,CAAC;IAED;;;;OAIG;IACK,sBAAsB,CAAC,WAAmB,EAAE,UAAkB,EAAE,GAAiB,EAAE,MAAM,GAAG,EAAE;QACpG,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,CAAC;QAC3C,uEAAuE;QACvE,iDAAiD;QACjD,IAAI,MAAM,EAAE,gBAAgB,KAAK,UAAU,IAAI,MAAM,CAAC,KAAK,KAAK,QAAQ;YAAE,OAAO;QACjF,IAAI,GAAG,KAAK,SAAS,EAAE,CAAC;YACtB,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,WAAW,EAAE,UAAU,EAAE;gBAClD,IAAI,EAAE,kBAAkB;gBACxB,OAAO,EAAE,yFAAyF;aACnG,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,MAAM,WAAW,GAAG,MAAM,CAAC,KAAK,KAAK,SAAS,IAAI,MAAM,CAAC,MAAM,KAAK,IAAI,CAAC;QACzE,sEAAsE;QACtE,+DAA+D;QAC/D,MAAM,SAAS,GAAG,MAAM,CAAC,QAAQ,GAAG,MAAM,CAAC,iBAAiB,CAAC;QAC7D,MAAM,UAAU,GAAG,OAAO,MAAM,CAAC,KAAK,EAAE,UAAU,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC;QACjG,IAAI,WAAW,IAAI,UAAU,EAAE,CAAC;YAC9B,qEAAqE;YACrE,2BAA2B;YAC3B,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,EAAE,UAAU,EAAE;gBACjD,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,UAAU,EAAE;aAC3E,CAAC,CAAC;YACH,OAAO;QACT,CAAC;QACD,IAAI,WAAW,IAAI,CAAC,GAAG,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,wBAAwB,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YAC9F,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,WAAW,EAAE,UAAU,EAAE,gBAAgB,EAAE,GAAG,GAAG,KAAK,MAAM,IAAI,WAAW,GAAG,CAAC,CAAC;YACzH,MAAM,CAAC,MAAM,CAAC,qCAAqC,WAAW,MAAM,IAAI,EAAE,KAAK,IAAI,SAAS,EAAE,CAAC,CAAC;YAChG,OAAO;QACT,CAAC;QACD,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,KAAK,QAAQ;YACjE,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,OAAO,EAAE,+CAA+C,EAAE,EAAE;YAC9G,CAAC,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,OAAO,EAAE,mDAAmD,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC,KAAK,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,CAAC;IAC9J,CAAC;IAEO,WAAW;QACjB,IAAI,IAAI,CAAC,SAAS,EAAE;YAAE,OAAO;QAC7B,sEAAsE;QACtE,4EAA4E;QAC5E,MAAM,cAAc,GAAG,IAAI,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC;aAC5D,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,WAAW,CAAC;aAChE,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,MAAM,CAAC,CAAC,KAAK,EAAmB,EAAE,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC;QACzG,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,UAAU,EAAE,EAAE,CAAC;YACvC,IAAI,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;gBAAE,SAAS;YAC9F,wEAAwE;YACxE,MAAM,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,YAAY,CAAC;YAC9C,IAAI,SAAS,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,WAAW,IAAI,cAAc,CAAC,GAAG,CAAC,SAAS,CAAC;gBAAE,SAAS;YACzG,IAAI,SAAS,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,SAAS,EAAE,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,OAAO,CAAC,aAAa,KAAK,WAAW,CAAC;gBAAE,SAAS;YACjI,wEAAwE;YACxE,IAAI,IAAI,CAAC,IAAI,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpD,IAAI,QAA+C,CAAC;YACpD,IAAI,CAAC;gBACH,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC;YACrC,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,MAAM,OAAO,GAAG,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;gBACvE,MAAM,CAAC,GAAG,CAAC,yCAAyC,MAAM,CAAC,WAAW,KAAK,OAAO,EAAE,CAAC,CAAC;gBACtF,IAAI,KAAK,YAAY,oBAAoB,EAAE,CAAC;oBAC1C,4DAA4D;oBAC5D,IAAI,CAAC,KAAK,CAAC,eAAe,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,gBAAgB,EAAE,EAAE,IAAI,EAAE,kBAAkB,EAAE,OAAO,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAC;oBACtI,SAAS;gBACX,CAAC;gBACD,OAAO;YACT,CAAC;YACD,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,QAAQ,CAAC,CAAC;YACrE,IAAI,CAAC,OAAO,EAAE,CAAC;gBACb,uEAAuE;gBACvE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,WAAW,EAAE,iBAAiB,CAAC,CAAC;gBACtD,SAAS;YACX,CAAC;YACD,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,OAAO,CAAC,gBAAgB,CAAC,CAAC;YAC/D,IAAI,CAAC,iBAAiB,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YAC9C,IAAI,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC;YAC9B,MAAM,CAAC,MAAM,CAAC,iCAAiC,MAAM,CAAC,WAAW,eAAe,OAAO,CAAC,gBAAgB,QAAQ,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;QAClI,CAAC;IACH,CAAC;IAEO,OAAO,CAAC,MAAuB;QACrC,OAAO,IAAI,CAAC,SAAS,CAAC,CAAC,MAAM,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,GAAG,EAAE,MAAM,CAAC,OAAO,CAAC,YAAY,IAAI,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;IAC7H,CAAC;IAED,6EAA6E;IACrE,CAAC,UAAU;QACjB,MAAM,MAAM,GAAG,IAAI,GAAG,EAA6B,CAAC;QACpD,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,QAAQ,CAAC,EAAE,CAAC;YACtD,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;YACjC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACpC,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC;QAChC,MAAM,QAAQ,GAAG,IAAI,CAAC,iBAAiB,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC7F,MAAM,OAAO,GAAG,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC,QAAQ,GAAG,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC;QACpG,IAAI,SAAS,GAAG,IAAI,CAAC;QACrB,OAAO,SAAS,EAAE,CAAC;YACjB,SAAS,GAAG,KAAK,CAAC;YAClB,KAAK,MAAM,GAAG,IAAI,OAAO,EAAE,CAAC;gBAC1B,MAAM,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,KAAK,EAAE,CAAC;gBACxC,IAAI,MAAM,EAAE,CAAC;oBAAC,SAAS,GAAG,IAAI,CAAC;oBAAC,MAAM,MAAM,CAAC;gBAAC,CAAC;YACjD,CAAC;QACH,CAAC;IACH,CAAC;IAED;;;OAGG;IACK,eAAe,CAAC,MAAuB;QAC7C,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,CAAC,MAAM,CAAC,IAAI,IAAI,CAAC;QACzD,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO;QAC7B,MAAM,IAAI,GAAG,OAAO,MAAM,CAAC,KAAK,EAAE,SAAS,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC;QACtF,MAAM,SAAS,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,OAAO,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC,mBAAmB,CAAC;QACzE,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE;YAC5B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAC1C,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,CAAC;gBAAE,OAAO;YAClD,MAAM,CAAC,IAAI,CAAC,gDAAgD,MAAM,CAAC,WAAW,yBAAyB,CAAC,CAAC;YACzG,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,MAAM,CAAC,WAAW,EAAE,EAAE,gBAAgB,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YACrF,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,MAAM,CAAC,gBAAgB,EAAE;gBAClE,UAAU,EAAE,oCAAoC,OAAO,2BAA2B;aACnF,CAAC,CAAC;YACH,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,WAAW,EAAE,eAAe,CAAC,CAAC;QACxD,CAAC,EAAE,SAAS,CAAC,CAAC;QACd,KAAK,CAAC,KAAK,EAAE,CAAC;QACd,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAChD,CAAC;IAED;;;;;OAKG;IACK,mBAAmB;QACzB,KAAK,MAAM,KAAK,IAAI,CAAC,SAAS,EAAE,kBAAkB,EAAE,eAAe,CAAU,EAAE,CAAC;YAC9E,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,KAAK,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,CAAC;gBACnD,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,MAAM,CAAC,WAAW,CAAC;oBAAE,SAAS;gBACxD,IAAI,CAAC,iBAAiB,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YAC7C,CAAC;QACH,CAAC;IACH,CAAC;IAEO,KAAK,CAAC,yBAAyB,CAAC,WAAmB;QACzD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;QACvC,IAAI,IAAI,CAAC,OAAO;YAAE,OAAO;QACzB,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC;QACnD,IAAI,CAAC,QAAQ,EAAE,CAAC;YACd,qEAAqE;YACrE,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACpC,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IAAI,OAAO,GAAG,KAAK,CAAC;QACpB,IAAI,CAAC;YACH,MAAM,WAAW,GAAG,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,YAAY,CAAC,KAAK,MAAM;mBAC/E,MAAM,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC,YAAY,EAAE,kBAAkB,CAAC,CAAC;YAC1F,MAAM,WAAW,GAAG,MAAM,IAAI,CAAC,oBAAoB,CAAC,WAAW,EAAE,kBAAkB,CAAC,CAAC;YACrF,OAAO,GAAG,WAAW,IAAI,WAAW,CAAC;QACvC,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,gFAAgF;YAChF,MAAM,CAAC,IAAI,CAAC,4CAA4C,QAAQ,CAAC,GAAG,KAAK,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACrI,CAAC;QACD,kEAAkE;QAClE,IAAI,IAAI,CAAC,SAAS,EAAE;YAAE,OAAO;QAC7B,IAAI,OAAO,EAAE,CAAC;YACZ,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC;YACpC,MAAM,CAAC,MAAM,CAAC,8DAA8D,WAAW,QAAQ,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;YAC/G,IAAI,CAAC,sBAAsB,CAAC,WAAW,EAAE,QAAQ,CAAC,gBAAgB,EAAE,cAAc,CAAC,CAAC;YACpF,IAAI,CAAC,gBAAgB,EAAE,CAAC;YACxB,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;YAC1B,OAAO;QACT,CAAC;QACD,MAAM,OAAO,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC;QAC5D,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;QAC1C,IAAI,OAAO,KAAK,CAAC,EAAE,CAAC;YAClB,6DAA6D;YAC7D,IAAI,CAAC,KAAK,CAAC,gBAAgB,CAAC,WAAW,EAAE;gBACvC,kBAAkB,EAAE,IAAI;gBACxB,OAAO,EAAE,oEAAoE;aAC9E,CAAC,CAAC;YACH,KAAK,IAAI,CAAC,aAAa,EAAE,CAAC;QAC5B,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,oBAAoB,CAAC;QACzC,MAAM,KAAK,GAAG,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,GAAG,CAAC,EAAE,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,IAAI,OAAO,CAAC;QAC1E,MAAM,CAAC,GAAG,CAAC,uEAAuE,WAAW,QAAQ,QAAQ,CAAC,GAAG,iBAAiB,KAAK,KAAK,CAAC,CAAC;QAC9I,MAAM,KAAK,GAAG,UAAU,CAAC,GAAG,EAAE,GAAG,KAAK,IAAI,CAAC,yBAAyB,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;QAC7F,KAAK,CAAC,KAAK,EAAE,CAAC;QACd,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,WAAW,EAAE,KAAK,CAAC,CAAC;IAC7C,CAAC;IAEO,KAAK,CAAC,aAAa;QACzB,IAAI,IAAI,CAAC,OAAO,IAAI,CAAC,IAAI,CAAC,OAAO,IAAI,IAAI,CAAC,UAAU;YAAE,OAAO;QAC7D,IAAI,CAAC,UAAU,GAAG,IAAI,CAAC;QACvB,IAAI,CAAC;YACH,KAAK,MAAM,EAAE,KAAK,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,CAAC;gBACvE,IAAI,SAAS,GAAG,KAAK,CAAC;gBACtB,IAAI,CAAC;oBACH,SAAS,GAAG,MAAM,IAAI,CAAC,QAAQ,CAAC,qBAAqB,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;gBACvE,CAAC;gBAAC,OAAO,KAAK,EAAE,CAAC;oBACf,MAAM,CAAC,IAAI,CAAC,2BAA2B,KAAK,CAAC,IAAI,IAAI,KAAK,CAAC,OAAO,YAAY,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAC1I,CAAC;gBACD,sEAAsE;gBACtE,IAAI,IAAI,CAAC,SAAS,EAAE;oBAAE,OAAO;gBAC7B,IAAI,SAAS,EAAE,CAAC;oBACd,IAAI,CAAC,KAAK,CAAC,mBAAmB,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;gBAChD,CAAC;qBAAM,CAAC;oBACN,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,CAAC,qBAAqB,GAAG,CAAC,IAAI,QAAQ,EAAE,EAAE,GAAG,MAAM,CAAC,CAAC;oBAC7E,IAAI,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,OAAO,EAAE,IAAI,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;gBAC1E,CAAC;YACH,CAAC;QACH,CAAC;gBAAS,CAAC;YACT,IAAI,CAAC,UAAU,GAAG,KAAK,CAAC;QAC1B,CAAC;IACH,CAAC;CACF"}

package/dist/threads/execution-snapshot.d.ts

@@ -0,0 +1,91 @@
+import { z } from "zod";
+import { type SigningDomain } from "./execution-authority.js";
+import { type Engine } from "../config/types.js";
+import type { LlmRouting } from "../agent/model-provider.js";
+/**
+ * Version 1 of the effective snapshot a trusted host freezes when it admits an
+ * internal execution (#2805 step 1b). It records only resolved decisions:
+ * the model selection and the task budget. Capabilities live in
+ * `WorkerRuntimePolicy`; credentials, the profile and conversation history
+ * never enter it.
+ *
+ * A worker starts and recovers from this snapshot instead of the editable
+ * `thread.json` or profile defaults, and a host refresh or runtime failover
+ * cannot change the engine it selected. Switching models requires a new
+ * execution attempt with a new snapshot.
+ */
+export declare const EXECUTION_SNAPSHOT_VERSION = 1;
+export declare const ExecutionBudgetLimitsSchema: z.ZodObject<{
+    maxModelAttempts: z.ZodNumber;
+    maxToolCalls: z.ZodNumber;
+    maxDurationMs: z.ZodNumber;
+}, z.core.$strict>;
+export type ExecutionBudgetLimits = z.infer<typeof ExecutionBudgetLimitsSchema>;
+export declare const ExecutionSnapshotV1Schema: z.ZodObject<{
+    version: z.ZodLiteral<1>;
+    executionId: z.ZodString;
+    model: z.ZodObject<{
+        engine: z.ZodEnum<{
+            claude: "claude";
+            gpt: "gpt";
+            grok: "grok";
+            deepseek: "deepseek";
+        }>;
+        runtime: z.ZodEnum<{
+            claude: "claude";
+            "pi-coding": "pi-coding";
+        }>;
+        apiProtocol: z.ZodString;
+        models: z.ZodObject<{
+            heavy: z.ZodString;
+            balanced: z.ZodString;
+            fast: z.ZodString;
+        }, z.core.$strict>;
+        pinnedModel: z.ZodOptional<z.ZodString>;
+    }, z.core.$strict>;
+    budget: z.ZodObject<{
+        maxModelAttempts: z.ZodNumber;
+        maxToolCalls: z.ZodNumber;
+        maxDurationMs: z.ZodNumber;
+    }, z.core.$strict>;
+}, z.core.$strict>;
+export type ExecutionSnapshot = z.infer<typeof ExecutionSnapshotV1Schema>;
+/**
+ * Defaults pending calibration from measured runs (issue #2805 asks for
+ * per-batch and full-run measurements first). The attempt cap preserves the
+ * existing Pi per-send guard of 100 turns, now applied to the whole task;
+ * the tool and time caps are generous upper bounds on a single LabRun.
+ */
+export declare const DEFAULT_LAB_RUN_BUDGET: ExecutionBudgetLimits;
+/** Parse a snapshot; an unsupported version fails explicitly instead of guessing. */
+export declare function parseExecutionSnapshot(raw: unknown): ExecutionSnapshot;
+/**
+ * Resolve the route a new execution is admitted on: the thread's own
+ * override, else the profile's, else the routing default. Runtime failover is
+ * deliberately ignored; it is transient health state, not an authorization.
+ */
+export declare function freezeExecutionModel(selection: {
+    engineOverride?: Engine;
+    pinnedModel?: string;
+}, routing: LlmRouting | null, provider: string): ExecutionSnapshot["model"];
+export declare const EXECUTION_SNAPSHOT_ENV = "VISIONCLAW_EXECUTION_SNAPSHOT";
+export interface SignedExecutionSnapshot {
+    payload: string;
+    signature: string;
+}
+/**
+ * Sign with the admitting host's snapshot key so a worker cannot be handed an
+ * edited snapshot. The key persists with the profile, so a restarted host
+ * still verifies the snapshots it froze before the restart.
+ */
+export declare function signExecutionSnapshot(snapshot: ExecutionSnapshot, domain: SigningDomain): SignedExecutionSnapshot;
+/**
+ * Read a snapshot back from the host's own ledger. The ledger is the record
+ * of what was admitted; the signature stored with it may come from an earlier
+ * host process, so it is not checked here. The host re-signs the snapshot
+ * with its current key before it hands the execution to a worker.
+ */
+export declare function readStoredExecutionSnapshot(raw: string, executionId: string): ExecutionSnapshot;
+/** Verify the host signature and bind the snapshot to the expected execution. */
+export declare function verifyExecutionSnapshot(raw: unknown, publicKey: string, executionId: string): ExecutionSnapshot;
+//# sourceMappingURL=execution-snapshot.d.ts.map

package/dist/threads/execution-snapshot.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"execution-snapshot.d.ts","sourceRoot":"","sources":["../../src/threads/execution-snapshot.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,CAAC,EAAE,MAAM,KAAK,CAAC;AACxB,OAAO,EAA6B,KAAK,aAAa,EAAE,MAAM,0BAA0B,CAAC;AACzF,OAAO,EAAgB,KAAK,MAAM,EAAE,MAAM,oBAAoB,CAAC;AAC/D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,4BAA4B,CAAC;AAE7D;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,0BAA0B,IAAI,CAAC;AAE5C,eAAO,MAAM,2BAA2B;;;;kBAO7B,CAAC;AAEZ,MAAM,MAAM,qBAAqB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,2BAA2B,CAAC,CAAC;AAEhF,eAAO,MAAM,yBAAyB;;;;;;;;;;;;;;;;;;;;;;;;;;;kBAiB3B,CAAC;AAEZ,MAAM,MAAM,iBAAiB,GAAG,CAAC,CAAC,KAAK,CAAC,OAAO,yBAAyB,CAAC,CAAC;AAE1E;;;;;GAKG;AACH,eAAO,MAAM,sBAAsB,EAAE,qBAIpC,CAAC;AAEF,qFAAqF;AACrF,wBAAgB,sBAAsB,CAAC,GAAG,EAAE,OAAO,GAAG,iBAAiB,CAKtE;AAED;;;;GAIG;AACH,wBAAgB,oBAAoB,CAClC,SAAS,EAAE;IAAE,cAAc,CAAC,EAAE,MAAM,CAAC;IAAC,WAAW,CAAC,EAAE,MAAM,CAAA;CAAE,EAC5D,OAAO,EAAE,UAAU,GAAG,IAAI,EAC1B,QAAQ,EAAE,MAAM,GACf,iBAAiB,CAAC,OAAO,CAAC,CAmB5B;AAED,eAAO,MAAM,sBAAsB,kCAAkC,CAAC;AAEtE,MAAM,WAAW,uBAAuB;IACtC,OAAO,EAAE,MAAM,CAAC;IAChB,SAAS,EAAE,MAAM,CAAC;CACnB;AAED;;;;GAIG;AACH,wBAAgB,qBAAqB,CAAC,QAAQ,EAAE,iBAAiB,EAAE,MAAM,EAAE,aAAa,GAAG,uBAAuB,CAGjH;AAED;;;;;GAKG;AACH,wBAAgB,2BAA2B,CAAC,GAAG,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,iBAAiB,CAgB/F;AAED,iFAAiF;AACjF,wBAAgB,uBAAuB,CAAC,GAAG,EAAE,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,WAAW,EAAE,MAAM,GAAG,iBAAiB,CAkB/G"}