@stigmer/runner 0.1.0-dev.20261017020314.g644422724c27

package/dist/shared/tool-lists.js

@@ -0,0 +1,518 @@
+/**
+ * An agent's two tool lists — `tools` ("only these") and `disallowed_tools`
+ * ("never these") — in Claude Code's vocabulary, resolved the way Claude Code
+ * resolves a sub-agent's lists, for both engines. A turn may carry the same
+ * two lists (`RunSpec.tools`, `RunSpec.disallowed_tools`), which narrow its
+ * agent's (or the assistant's) for that turn only.
+ *
+ * Pure: no engine import, no I/O. Each harness asks this module one question
+ * per tool ("is this in scope?") in its own names, through the name tables
+ * below, so the two engines cannot disagree on what a list means.
+ *
+ * The rules, from Claude Code's sub-agent reference:
+ *  - `disallowed_tools` is applied first, then `tools` against what remains;
+ *    an empty `tools` means every tool.
+ *  - An entry may carry a specifier in parentheses (`Bash(git push *)`); it is
+ *    accepted and governs the whole tool, in either list.
+ *  - `Agent(type, …)` in the main agent's `tools` limits which sub-agents it
+ *    may start; inside a sub-agent the type list is ignored. Types compare in
+ *    one normalized form ({@link normalizeSubAgentType}), so Claude's
+ *    `general-purpose` and Cursor's `generalPurpose` are one type.
+ *  - A sub-agent starts from its parent's resolved set and can only narrow
+ *    it: a scope is the conjunction of its layers. A turn's lists are one
+ *    more layer over the agent's ({@link ToolScope.ofMain}), so a turn can
+ *    narrow and never widen; their `Agent(type, …)` lists intersect.
+ *  - An entry naming no tool the turn has is ignored with one log line; a
+ *    non-empty `tools` in which nothing resolves refuses the turn.
+ *
+ * Three Stigmer readings, each a trade-off stated once:
+ *  - One engine tool can do the work of several Claude tools (Cursor's
+ *    `edit` writes and edits; its `Delete` removes a file, which Claude does
+ *    through Bash or Write). Such a tool is available when any Claude tool it
+ *    covers is in scope and none is denied, so "never Write" also means "never
+ *    delete" on Cursor.
+ *  - An engine tool with no Claude name (Cursor's `readLints`, `askQuestion`,
+ *    …) is the engine's, not the platform's: an allow-list hides it, because
+ *    "only these" is exact; a deny-list leaves it alone.
+ *  - `Skill` names no engine tool: both engines activate a skill by reading
+ *    its `SKILL.md`. Denied by any layer, it hides skills: the turn's prompt
+ *    lists none and a read of a skill's files is refused
+ *    ({@link ToolScope.hidesSkills}). An allow-list that omits it keeps them,
+ *    because skills are platform content, as the confined read already
+ *    treats them, so no stored agent changes behaviour. An entry naming it
+ *    always names something, the way a platform capability does, and is in
+ *    scope unless a layer denies it: a turn or sub-agent `tools: [Skill]`
+ *    under an agent's `tools: [Read]` resolves, since that agent keeps its
+ *    skills.
+ * The platform's own tools (the synthesized channel, conversation and memory
+ * attachments) are outside both lists: no plugin can name them, and an agent
+ * without them cannot answer its channel.
+ */
+import { CLAUDE_TOOL_ALIASES, CURSOR_SDK_TOOL_COVERS, isClaudeTool } from "@stigmer/tool-vocabulary";
+const MCP_PREFIX = "mcp__";
+/**
+ * Parse one entry. The shape was checked at apply (the proto's item
+ * pattern), so anything else here is a name this runner does not know.
+ */
+export function parseToolListEntry(raw) {
+    if (raw.startsWith(MCP_PREFIX)) {
+        const rest = raw.slice(MCP_PREFIX.length);
+        if (rest === "*")
+            return { kind: "mcp", raw, server: null, tool: null };
+        const sep = rest.indexOf("__");
+        if (sep === -1)
+            return rest === "" ? { kind: "unknown", raw } : { kind: "mcp", raw, server: rest, tool: null };
+        const server = rest.slice(0, sep);
+        const tool = rest.slice(sep + 2);
+        if (server === "" || tool === "")
+            return { kind: "unknown", raw };
+        return { kind: "mcp", raw, server, tool: tool === "*" ? null : tool };
+    }
+    const open = raw.indexOf("(");
+    const name = open === -1 ? raw : raw.slice(0, open);
+    const specifier = open === -1 ? null : raw.slice(open + 1, raw.endsWith(")") ? -1 : undefined);
+    const tool = isClaudeTool(name) ? name : CLAUDE_TOOL_ALIASES.get(name);
+    if (!tool)
+        return { kind: "unknown", raw };
+    const agentTypes = tool === "Agent" && specifier !== null
+        ? specifier.split(",").map((t) => normalizeSubAgentType(t.trim())).filter((t) => t !== "")
+        : null;
+    return { kind: "builtin", raw, tool, agentTypes };
+}
+/**
+ * A sub-agent type in the one form both sides of an `Agent(type, …)`
+ * comparison take: lower-cased, with `-` and `_` dropped. The engines spell
+ * one built-in type differently (Claude Code and the native engine
+ * `general-purpose`, Cursor's `subagent_type` `generalPurpose`), and a list
+ * must mean the same on both. Self-contained on purpose: the Cursor hook
+ * embeds this function's own source (`hook-script.ts`), so it references
+ * nothing outside itself.
+ */
+export function normalizeSubAgentType(type) {
+    return type.toLowerCase().replace(/[-_]/g, "");
+}
+/**
+ * A name no list entry can carry. Asking about it answers for every server,
+ * tool or sub-agent type no entry names, which all resolve alike: that is
+ * what lets {@link ToolScope.mcpTable} and {@link ToolScope.subAgentTypeTable}
+ * hand a whole scope to an evaluator as a finite table.
+ */
+const UNNAMED = Symbol("unnamed");
+function entryMatches(entry, subject) {
+    switch (entry.kind) {
+        case "builtin":
+            return subject.kind === "builtin" && subject.tool === entry.tool;
+        case "mcp":
+            if (subject.kind !== "mcp")
+                return false;
+            if (entry.server === null)
+                return true;
+            if (entry.server !== subject.server)
+                return false;
+            // A tool-level entry never matches a whole-server question: a server
+            // is not "in scope" because one of its tools is.
+            return entry.tool === null || entry.tool === subject.tool;
+        case "unknown":
+            return false;
+        /* v8 ignore start -- @preserve: the never arm; the compiler proves no entry kind reaches it */
+        default: {
+            const exhaustive = entry;
+            throw new Error(`entryMatches: unknown entry ${String(exhaustive)}`);
+        }
+        /* v8 ignore stop */
+    }
+}
+function layerDenies(layer, subject) {
+    return layer.disallowed.some((e) => entryMatches(e, subject));
+}
+function layerAllows(layer, subject) {
+    if (layerDenies(layer, subject))
+        return false;
+    return layer.tools.length === 0 || layer.tools.some((e) => entryMatches(e, subject));
+}
+/**
+ * The resolved scope of one agent or sub-agent: its own layer over its
+ * parent's. Immutable; {@link narrow} returns a new scope.
+ */
+export class ToolScope {
+    layers;
+    agentTypes;
+    /**
+     * @param layers each owner's lists, the main agent's first when it has any
+     *   (the agent's, then the turn's)
+     * @param agentTypes the main agent's `Agent(type, …)` types, normalized
+     *   ({@link normalizeSubAgentType});
+     *   `null` when its lists name no type list. Fixed at {@link ofMain} and
+     *   carried unchanged by {@link narrow}: a sub-agent's type list is
+     *   ignored, and a sub-agent's layer can be the first one when the main
+     *   agent has no lists.
+     */
+    constructor(layers, agentTypes) {
+        this.layers = layers;
+        this.agentTypes = agentTypes;
+    }
+    /** No lists anywhere: every tool is in scope. */
+    static unrestricted() {
+        return new ToolScope([], null);
+    }
+    /** The main agent's scope, from one owner's lists. */
+    static of(owner, lists) {
+        return ToolScope.ofMain([{ owner, lists }]);
+    }
+    /**
+     * The main agent's scope from several owners' lists, outermost first (the
+     * agent's, then the turn's): each narrows the ones before it, and the
+     * `Agent(type, …)` limit is the intersection of every owner's type list.
+     * An owner with empty lists adds no layer.
+     */
+    static ofMain(owners) {
+        let scope = ToolScope.unrestricted();
+        for (const { owner, lists } of owners)
+            scope = scope.narrow(owner, lists);
+        const limits = scope.layers.flatMap((layer) => {
+            const own = agentTypesOf(layer.tools);
+            return own === null ? [] : [own];
+        });
+        const [first, ...rest] = limits;
+        const types = first === undefined ? null : new Set([...first].filter((t) => rest.every((l) => l.has(t))));
+        return new ToolScope(scope.layers, types);
+    }
+    /** A sub-agent's scope: this one, narrowed by its own lists. */
+    narrow(owner, lists) {
+        if (lists.tools.length === 0 && lists.disallowedTools.length === 0)
+            return this;
+        return new ToolScope([
+            ...this.layers,
+            {
+                owner,
+                tools: lists.tools.map(parseToolListEntry),
+                disallowed: lists.disallowedTools.map(parseToolListEntry),
+            },
+        ], this.agentTypes);
+    }
+    /** True when any layer carries a list; an unrestricted scope needs no enforcement installed. */
+    get restricted() {
+        return this.layers.length > 0;
+    }
+    /**
+     * True when any layer denies `Skill`: the turn's prompt lists no skills
+     * and a read of a skill's files is refused. An allow-list that omits
+     * `Skill` does not hide them (the module header's third reading).
+     */
+    get hidesSkills() {
+        return this.denies({ kind: "builtin", tool: "Skill" });
+    }
+    /** True when any layer carries a non-empty `tools`, which hides every engine extra. */
+    get hasAllowList() {
+        return this.layers.some((l) => l.tools.length > 0);
+    }
+    allows(subject) {
+        return this.layers.every((l) => layerAllows(l, subject));
+    }
+    denies(subject) {
+        return this.layers.some((l) => layerDenies(l, subject));
+    }
+    /** Whether a Claude built-in is in scope. */
+    allowsClaudeTool(tool) {
+        return this.allows({ kind: "builtin", tool });
+    }
+    /**
+     * Whether an engine tool that covers `covers` is in scope: some covered
+     * Claude tool is, and none is denied. An empty `covers` is an engine extra.
+     */
+    allowsCovering(covers) {
+        if (covers.length === 0)
+            return !this.hasAllowList;
+        if (covers.some((t) => this.denies({ kind: "builtin", tool: t })))
+            return false;
+        return covers.some((t) => this.allowsClaudeTool(t));
+    }
+    /**
+     * Whether an engine tool, named in its engine's table, is in scope. A name
+     * the table does not carry is an engine extra.
+     */
+    allowsEngineTool(name, table) {
+        return this.allowsCovering(table.get(name) ?? []);
+    }
+    /** Whether one MCP server's tool is in scope. */
+    allowsMcpTool(server, tool) {
+        return this.allows({ kind: "mcp", server, tool });
+    }
+    /**
+     * Whether some tool of one MCP server (or, for `null`, of any server) can
+     * be in scope: no layer denies the server (or the whole family) outright,
+     * and every layer with an allow-list names it at some level — the server,
+     * one of its tools, or the family. A tool-level deny does not close the
+     * family: other tools of the server may remain.
+     */
+    allowsMcpFamily(server) {
+        const deniesOutright = (e) => e.kind === "mcp" && e.tool === null && (e.server === null || e.server === server);
+        const names = (e) => e.kind === "mcp" && (server === null || e.server === null || e.server === server);
+        return this.layers.every((l) => !l.disallowed.some(deniesOutright) && (l.tools.length === 0 || l.tools.some(names)));
+    }
+    /**
+     * Whether the main agent may start a sub-agent of `type`. Only the main
+     * agent's `Agent(…)` type list counts: inside a sub-agent it is ignored.
+     */
+    allowsSubAgentType(type) {
+        return this.allowsType(normalizeSubAgentType(type));
+    }
+    allowsType(type) {
+        if (!this.allowsClaudeTool("Agent"))
+            return false;
+        return this.agentTypes === null || (type !== UNNAMED && this.agentTypes.has(type));
+    }
+    /**
+     * This scope's MCP answers as data, for an evaluator that cannot load this
+     * module (the Cursor hook runs in a process of its own). `known` maps each
+     * server the turn has to the tools it knows of. The table answers those and
+     * every server and tool an entry names, plus the one answer every other
+     * tool of a listed server shares and the one every tool of an unlisted
+     * server shares, so a lookup in it equals {@link allowsMcpTool} for any
+     * server and tool.
+     */
+    mcpTable(known) {
+        const named = new Map();
+        const name = (server) => {
+            const tools = named.get(server) ?? new Set();
+            named.set(server, tools);
+            return tools;
+        };
+        for (const [server, tools] of known) {
+            const names = name(server);
+            for (const tool of tools)
+                names.add(tool);
+        }
+        for (const layer of this.layers) {
+            for (const e of [...layer.tools, ...layer.disallowed]) {
+                if (e.kind !== "mcp" || e.server === null)
+                    continue;
+                const tools = name(e.server);
+                if (e.tool !== null)
+                    tools.add(e.tool);
+            }
+        }
+        const servers = Object.fromEntries([...named].map(([server, tools]) => [
+            server,
+            {
+                tools: Object.fromEntries([...tools].map((tool) => [tool, this.allowsMcpTool(server, tool)])),
+                otherTools: this.allows({ kind: "mcp", server, tool: UNNAMED }),
+            },
+        ]));
+        return { servers, otherServers: this.allows({ kind: "mcp", server: UNNAMED, tool: UNNAMED }) };
+    }
+    /**
+     * This scope's `Agent(type, …)` answers as data, for the same kind of
+     * evaluator: every type in `known` and every type the main agent names,
+     * plus the answer every other type shares. A lookup in it equals
+     * {@link allowsSubAgentType}.
+     */
+    subAgentTypeTable(known) {
+        const types = new Set(known.map(normalizeSubAgentType));
+        for (const t of this.agentTypes ?? [])
+            types.add(t);
+        return {
+            types: Object.fromEntries([...types].map((t) => [t, this.allowsType(t)])),
+            otherTypes: this.allowsType(UNNAMED),
+        };
+    }
+    /** The lists in force, for the refusal a model reads: owner by owner. */
+    describe() {
+        return this.layers
+            .map((l) => {
+            const parts = [];
+            if (l.tools.length > 0)
+                parts.push(`tools [${l.tools.map((e) => e.raw).join(", ")}]`);
+            if (l.disallowed.length > 0)
+                parts.push(`disallowed_tools [${l.disallowed.map((e) => e.raw).join(", ")}]`);
+            return `${l.owner}: ${parts.join(", ")}`;
+        })
+            .join("; ");
+    }
+    /** The newest layer's owner, the one a refusal names. */
+    get owner() {
+        return this.layers[this.layers.length - 1]?.owner ?? "";
+    }
+    /** The newest layer's entries, for the resolution check. */
+    get ownEntries() {
+        const l = this.layers[this.layers.length - 1];
+        return { tools: l?.tools ?? [], disallowed: l?.disallowed ?? [] };
+    }
+    /** How many owners' lists this scope holds. */
+    get depth() {
+        return this.layers.length;
+    }
+    /**
+     * The scope of this one's first `count` layers: what the layer after them
+     * narrows. Each layer of a main scope is checked against its own prefix
+     * ({@link checkMainToolListResolution}), so a turn's narrower list never
+     * makes the agent's own list look unresolvable.
+     */
+    upTo(count) {
+        return new ToolScope(this.layers.slice(0, count), this.agentTypes);
+    }
+    /**
+     * This scope as plain data, for the agent host (`agent-host/codec.ts`):
+     * every layer's raw entries and the main agent's type list, which is all
+     * the state a scope has. {@link fromWire} rebuilds an equal scope; the
+     * entries are re-parsed there, so a parse rule lives once.
+     */
+    toWire() {
+        return {
+            layers: this.layers.map((l) => ({
+                owner: l.owner,
+                tools: l.tools.map((e) => e.raw),
+                disallowedTools: l.disallowed.map((e) => e.raw),
+            })),
+            agentTypes: this.agentTypes === null ? null : [...this.agentTypes],
+        };
+    }
+    /** The scope {@link toWire} described. */
+    static fromWire(wire) {
+        return new ToolScope(wire.layers.map((l) => ({
+            owner: l.owner,
+            tools: l.tools.map(parseToolListEntry),
+            disallowed: l.disallowedTools.map(parseToolListEntry),
+        })), wire.agentTypes === null ? null : new Set(wire.agentTypes));
+    }
+}
+/**
+ * The sub-agent types a main agent's `tools` limits `Agent` to, or `null`
+ * when it does not: no allow-list, or an `Agent` entry with no type list.
+ */
+function agentTypesOf(tools) {
+    if (tools.length === 0)
+        return null;
+    const types = new Set();
+    for (const e of tools) {
+        if (e.kind !== "builtin" || e.tool !== "Agent")
+            continue;
+        if (e.agentTypes === null)
+            return null;
+        for (const t of e.agentTypes)
+            types.add(t);
+    }
+    return types;
+}
+/** The message a model reads when it calls a tool its lists exclude. */
+export function outOfScopeMessage(toolName, scope) {
+    return `Error: ${toolName} is not available to this agent. Its tool lists (${scope.describe()}) exclude it.`;
+}
+/** Thrown when a non-empty `tools` resolves to nothing: the turn is refused, as Claude refuses to launch such an agent. */
+export class ToolListResolutionError extends Error {
+    owner;
+    entries;
+    constructor(owner, entries) {
+        super(`${owner}'s tools list names no tool this turn has: [${entries.join(", ")}]. ` +
+            "Fix the list or remove it; an empty list means every tool.");
+        this.owner = owner;
+        this.entries = entries;
+        this.name = "ToolListResolutionError";
+    }
+}
+function entryNamesSomething(entry, inventory) {
+    switch (entry.kind) {
+        case "builtin":
+            // Skills are the platform's, on every turn (the header's third reading).
+            return entry.tool === "Skill" || inventory.claudeTools.has(entry.tool);
+        case "mcp":
+            return entry.server === null ? inventory.anyMcp : inventory.hasMcp(entry.server, entry.tool);
+        case "unknown":
+            return false;
+        /* v8 ignore start -- @preserve: the never arm; the compiler proves no entry kind reaches it */
+        default: {
+            const exhaustive = entry;
+            throw new Error(`entryNamesSomething: unknown entry ${String(exhaustive)}`);
+        }
+        /* v8 ignore stop */
+    }
+}
+function entryInScope(entry, scope) {
+    switch (entry.kind) {
+        case "builtin":
+            // An allow-list that omits Skill keeps skills, so only a deny takes it out of scope.
+            return entry.tool === "Skill" ? !scope.hidesSkills : scope.allowsClaudeTool(entry.tool);
+        case "mcp":
+            return entry.tool === null ? scope.allowsMcpFamily(entry.server) : scope.allowsMcpTool(entry.server ?? "", entry.tool);
+        /* v8 ignore start -- @preserve: checkToolListResolution asks only an entry that names something, which an unknown one never does */
+        case "unknown":
+            return false;
+        /* v8 ignore stop */
+        /* v8 ignore start -- @preserve: the never arm; the compiler proves no entry kind reaches it */
+        default: {
+            const exhaustive = entry;
+            throw new Error(`entryInScope: unknown entry ${String(exhaustive)}`);
+        }
+        /* v8 ignore stop */
+    }
+}
+/**
+ * Check the newest layer's entries against what the turn has: every entry
+ * naming nothing is reported once through `log`, and a non-empty `tools`
+ * none of whose entries names an in-scope tool throws
+ * {@link ToolListResolutionError}.
+ */
+export function checkToolListResolution(scope, inventory, log) {
+    const { tools, disallowed } = scope.ownEntries;
+    for (const entry of [...tools, ...disallowed]) {
+        if (!entryNamesSomething(entry, inventory)) {
+            log(`${scope.owner}: tool list entry "${entry.raw}" names no tool this turn has; ignored`);
+        }
+    }
+    if (tools.length === 0)
+        return;
+    const resolves = tools.some((e) => entryNamesSomething(e, inventory) && entryInScope(e, scope));
+    if (!resolves)
+        throw new ToolListResolutionError(scope.owner, tools.map((e) => e.raw));
+}
+/**
+ * {@link checkToolListResolution} for every layer of a main scope, outermost
+ * first, each against the layers before it and itself: the agent's lists
+ * are judged as the agent's, then the turn's over them, so a turn whose
+ * `tools` resolves to nothing the agent leaves it is refused in the turn's
+ * name.
+ */
+export function checkMainToolListResolution(scope, inventory, log) {
+    for (let count = 1; count <= scope.depth; count++)
+        checkToolListResolution(scope.upTo(count), inventory, log);
+}
+/**
+ * The Claude tools an engine has, from its name table and the names it
+ * actually binds this turn.
+ */
+export function claudeToolsOf(boundNames, table) {
+    const out = new Set();
+    for (const name of boundNames)
+        for (const t of table.get(name) ?? [])
+            out.add(t);
+    return out;
+}
+/**
+ * The Cursor main loop's built-in restriction, in the SDK's names, or
+ * `undefined` for a field the SDK should not receive. `read` is never
+ * hidden: the agent reads the platform's `.stigmer/` content through it, and
+ * the hook confines it there when `Read` is excluded. `mcp` is never
+ * removed: it is all-or-nothing, so MCP narrowing is the hook's.
+ */
+export function cursorSdkToolOptions(scope, anyMcp) {
+    if (!scope.restricted)
+        return {};
+    const denied = [];
+    for (const [name, covers] of CURSOR_SDK_TOOL_COVERS) {
+        if (name === "read")
+            continue;
+        if (!scope.allowsCovering(covers))
+            denied.push(name);
+    }
+    if (!scope.hasAllowList)
+        return denied.length > 0 ? { disallowedTools: denied } : {};
+    const allowed = ["read"];
+    for (const [name, covers] of CURSOR_SDK_TOOL_COVERS) {
+        if (name !== "read" && scope.allowsCovering(covers))
+            allowed.push(name);
+    }
+    if (anyMcp)
+        allowed.push("mcp");
+    return { tools: allowed };
+}
+//# sourceMappingURL=tool-lists.js.map

package/dist/shared/tool-lists.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"tool-lists.js","sourceRoot":"","sources":["../../src/shared/tool-lists.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAiDG;AAEH,OAAO,EAAE,mBAAmB,EAAE,sBAAsB,EAAE,YAAY,EAAmB,MAAM,0BAA0B,CAAC;AAQtH,MAAM,UAAU,GAAG,OAAO,CAAC;AAE3B;;;GAGG;AACH,MAAM,UAAU,kBAAkB,CAAC,GAAW;IAC5C,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;QAC/B,MAAM,IAAI,GAAG,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,GAAG;YAAE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QACxE,MAAM,GAAG,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,GAAG,KAAK,CAAC,CAAC;YAAE,OAAO,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;QAC/G,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,EAAE,IAAI,IAAI,KAAK,EAAE;YAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;QAClE,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;IACxE,CAAC;IACD,MAAM,IAAI,GAAG,GAAG,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;IAC9B,MAAM,IAAI,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,SAAS,GAAG,IAAI,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,GAAG,CAAC,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC;IAC/F,MAAM,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,mBAAmB,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IACvE,IAAI,CAAC,IAAI;QAAE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC;IAC3C,MAAM,UAAU,GACd,IAAI,KAAK,OAAO,IAAI,SAAS,KAAK,IAAI;QACpC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC;QAC1F,CAAC,CAAC,IAAI,CAAC;IACX,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AACpD,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAY;IAChD,OAAO,IAAI,CAAC,WAAW,EAAE,CAAC,OAAO,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC;AACjD,CAAC;AAQD;;;;;GAKG;AACH,MAAM,OAAO,GAAkB,MAAM,CAAC,SAAS,CAAC,CAAC;AAgCjD,SAAS,YAAY,CAAC,KAAoB,EAAE,OAAgB;IAC1D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACZ,OAAO,OAAO,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK,CAAC,IAAI,CAAC;QACnE,KAAK,KAAK;YACR,IAAI,OAAO,CAAC,IAAI,KAAK,KAAK;gBAAE,OAAO,KAAK,CAAC;YACzC,IAAI,KAAK,CAAC,MAAM,KAAK,IAAI;gBAAE,OAAO,IAAI,CAAC;YACvC,IAAI,KAAK,CAAC,MAAM,KAAK,OAAO,CAAC,MAAM;gBAAE,OAAO,KAAK,CAAC;YAClD,qEAAqE;YACrE,iDAAiD;YACjD,OAAO,KAAK,CAAC,IAAI,KAAK,IAAI,IAAI,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,IAAI,CAAC;QAC5D,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,+FAA+F;QAC/F,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,KAAK,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,oBAAoB;IACtB,CAAC;AACH,CAAC;AASD,SAAS,WAAW,CAAC,KAAiB,EAAE,OAAgB;IACtD,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,WAAW,CAAC,KAAiB,EAAE,OAAgB;IACtD,IAAI,WAAW,CAAC,KAAK,EAAE,OAAO,CAAC;QAAE,OAAO,KAAK,CAAC;IAC9C,OAAO,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,YAAY,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;AACvF,CAAC;AAED;;;GAGG;AACH,MAAM,OAAO,SAAS;IAYD;IACA;IAZnB;;;;;;;;;OASG;IACH,YACmB,MAA6B,EAC7B,UAAsC;QADtC,WAAM,GAAN,MAAM,CAAuB;QAC7B,eAAU,GAAV,UAAU,CAA4B;IACtD,CAAC;IAEJ,iDAAiD;IACjD,MAAM,CAAC,YAAY;QACjB,OAAO,IAAI,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC;IACjC,CAAC;IAED,sDAAsD;IACtD,MAAM,CAAC,EAAE,CAAC,KAAa,EAAE,KAAgB;QACvC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IAC9C,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,MAAM,CAAC,MAAwE;QACpF,IAAI,KAAK,GAAG,SAAS,CAAC,YAAY,EAAE,CAAC;QACrC,KAAK,MAAM,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,MAAM;YAAE,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE;YAC5C,MAAM,GAAG,GAAG,YAAY,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACtC,OAAO,GAAG,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;QACnC,CAAC,CAAC,CAAC;QACH,MAAM,CAAC,KAAK,EAAE,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC;QAChC,MAAM,KAAK,GAAG,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1G,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IAC5C,CAAC;IAED,gEAAgE;IAChE,MAAM,CAAC,KAAa,EAAE,KAAgB;QACpC,IAAI,KAAK,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,eAAe,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,IAAI,CAAC;QAChF,OAAO,IAAI,SAAS,CAClB;YACE,GAAG,IAAI,CAAC,MAAM;YACd;gBACE,KAAK;gBACL,KAAK,EAAE,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC;gBAC1C,UAAU,EAAE,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,kBAAkB,CAAC;aAC1D;SACF,EACD,IAAI,CAAC,UAAU,CAChB,CAAC;IACJ,CAAC;IAED,gGAAgG;IAChG,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;IAChC,CAAC;IAED;;;;OAIG;IACH,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;IACzD,CAAC;IAED,uFAAuF;IACvF,IAAI,YAAY;QACd,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IACrD,CAAC;IAEO,MAAM,CAAC,OAAgB;QAC7B,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC3D,CAAC;IAEO,MAAM,CAAC,OAAgB;QAC7B,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,WAAW,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC;IAC1D,CAAC;IAED,6CAA6C;IAC7C,gBAAgB,CAAC,IAAgB;QAC/B,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IAChD,CAAC;IAED;;;OAGG;IACH,cAAc,CAAC,MAA6B;QAC1C,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC;QACnD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC;YAAE,OAAO,KAAK,CAAC;QAChF,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,IAAI,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC;IACtD,CAAC;IAED;;;OAGG;IACH,gBAAgB,CAAC,IAAY,EAAE,KAAiD;QAC9E,OAAO,IAAI,CAAC,cAAc,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;IAED,iDAAiD;IACjD,aAAa,CAAC,MAAc,EAAE,IAAY;QACxC,OAAO,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC;IACpD,CAAC;IAED;;;;;;OAMG;IACH,eAAe,CAAC,MAAqB;QACnC,MAAM,cAAc,GAAG,CAAC,CAAgB,EAAW,EAAE,CACnD,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QACpF,MAAM,KAAK,GAAG,CAAC,CAAgB,EAAW,EAAE,CAC1C,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;QACpF,OAAO,IAAI,CAAC,MAAM,CAAC,KAAK,CACtB,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAC3F,CAAC;IACJ,CAAC;IAED;;;OAGG;IACH,kBAAkB,CAAC,IAAY;QAC7B,OAAO,IAAI,CAAC,UAAU,CAAC,qBAAqB,CAAC,IAAI,CAAC,CAAC,CAAC;IACtD,CAAC;IAEO,UAAU,CAAC,IAAsB;QACvC,IAAI,CAAC,IAAI,CAAC,gBAAgB,CAAC,OAAO,CAAC;YAAE,OAAO,KAAK,CAAC;QAClD,OAAO,IAAI,CAAC,UAAU,KAAK,IAAI,IAAI,CAAC,IAAI,KAAK,OAAO,IAAI,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IACrF,CAAC;IAED;;;;;;;;OAQG;IACH,QAAQ,CAAC,KAA6C;QACpD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAuB,CAAC;QAC7C,MAAM,IAAI,GAAG,CAAC,MAAc,EAAe,EAAE;YAC3C,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,IAAI,GAAG,EAAU,CAAC;YACrD,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YACzB,OAAO,KAAK,CAAC;QACf,CAAC,CAAC;QACF,KAAK,MAAM,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,KAAK,EAAE,CAAC;YACpC,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC;YAC3B,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC5C,CAAC;QACD,KAAK,MAAM,KAAK,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChC,KAAK,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtD,IAAI,CAAC,CAAC,IAAI,KAAK,KAAK,IAAI,CAAC,CAAC,MAAM,KAAK,IAAI;oBAAE,SAAS;gBACpD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC;gBAC7B,IAAI,CAAC,CAAC,IAAI,KAAK,IAAI;oBAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;YACzC,CAAC;QACH,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,CAAC,WAAW,CAChC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,EAA4B,EAAE,CAAC;YAC5D,MAAM;YACN;gBACE,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,aAAa,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;gBAC7F,UAAU,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC;aAChE;SACF,CAAC,CACH,CAAC;QACF,OAAO,EAAE,OAAO,EAAE,YAAY,EAAE,IAAI,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC;IACjG,CAAC;IAED;;;;;OAKG;IACH,iBAAiB,CAAC,KAAwB;QACxC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC,CAAC;QACxD,KAAK,MAAM,CAAC,IAAI,IAAI,CAAC,UAAU,IAAI,EAAE;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;QACpD,OAAO;YACL,KAAK,EAAE,MAAM,CAAC,WAAW,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACzE,UAAU,EAAE,IAAI,CAAC,UAAU,CAAC,OAAO,CAAC;SACrC,CAAC;IACJ,CAAC;IAED,yEAAyE;IACzE,QAAQ;QACN,OAAO,IAAI,CAAC,MAAM;aACf,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE;YACT,MAAM,KAAK,GAAa,EAAE,CAAC;YAC3B,IAAI,CAAC,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtF,IAAI,CAAC,CAAC,UAAU,CAAC,MAAM,GAAG,CAAC;gBAAE,KAAK,CAAC,IAAI,CAAC,qBAAqB,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YAC3G,OAAO,GAAG,CAAC,CAAC,KAAK,KAAK,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3C,CAAC,CAAC;aACD,IAAI,CAAC,IAAI,CAAC,CAAC;IAChB,CAAC;IAED,yDAAyD;IACzD,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,KAAK,IAAI,EAAE,CAAC;IAC1D,CAAC;IAED,4DAA4D;IAC5D,IAAI,UAAU;QACZ,MAAM,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;QAC9C,OAAO,EAAE,KAAK,EAAE,CAAC,EAAE,KAAK,IAAI,EAAE,EAAE,UAAU,EAAE,CAAC,EAAE,UAAU,IAAI,EAAE,EAAE,CAAC;IACpE,CAAC;IAED,+CAA+C;IAC/C,IAAI,KAAK;QACP,OAAO,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;IAC5B,CAAC;IAED;;;;;OAKG;IACH,IAAI,CAAC,KAAa;QAChB,OAAO,IAAI,SAAS,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,IAAI,CAAC,UAAU,CAAC,CAAC;IACrE,CAAC;IAED;;;;;OAKG;IACH,MAAM;QACJ,OAAO;YACL,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;gBAC9B,KAAK,EAAE,CAAC,CAAC,KAAK;gBACd,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;gBAChC,eAAe,EAAE,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;aAChD,CAAC,CAAC;YACH,UAAU,EAAE,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,GAAG,IAAI,CAAC,UAAU,CAAC;SACnE,CAAC;IACJ,CAAC;IAED,0CAA0C;IAC1C,MAAM,CAAC,QAAQ,CAAC,IAAmB;QACjC,OAAO,IAAI,SAAS,CAClB,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC;YACtB,KAAK,EAAE,CAAC,CAAC,KAAK;YACd,KAAK,EAAE,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,kBAAkB,CAAC;YACtC,UAAU,EAAE,CAAC,CAAC,eAAe,CAAC,GAAG,CAAC,kBAAkB,CAAC;SACtD,CAAC,CAAC,EACH,IAAI,CAAC,UAAU,KAAK,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,IAAI,CAAC,UAAU,CAAC,CAC3D,CAAC;IACJ,CAAC;CACF;AAQD;;;GAGG;AACH,SAAS,YAAY,CAAC,KAA+B;IACnD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC;IACpC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;YAAE,SAAS;QACzD,IAAI,CAAC,CAAC,UAAU,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QACvC,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,UAAU;YAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,wEAAwE;AACxE,MAAM,UAAU,iBAAiB,CAAC,QAAgB,EAAE,KAAgB;IAClE,OAAO,UAAU,QAAQ,oDAAoD,KAAK,CAAC,QAAQ,EAAE,eAAe,CAAC;AAC/G,CAAC;AAYD,2HAA2H;AAC3H,MAAM,OAAO,uBAAwB,SAAQ,KAAK;IAErC;IACA;IAFX,YACW,KAAa,EACb,OAA0B;QAEnC,KAAK,CACH,GAAG,KAAK,+CAA+C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK;YAC5E,4DAA4D,CAC/D,CAAC;QANO,UAAK,GAAL,KAAK,CAAQ;QACb,YAAO,GAAP,OAAO,CAAmB;QAMnC,IAAI,CAAC,IAAI,GAAG,yBAAyB,CAAC;IACxC,CAAC;CACF;AAED,SAAS,mBAAmB,CAAC,KAAoB,EAAE,SAA4B;IAC7E,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACZ,yEAAyE;YACzE,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,IAAI,SAAS,CAAC,WAAW,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzE,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QAC/F,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,+FAA+F;QAC/F,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,KAAK,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,sCAAsC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QAC9E,CAAC;QACD,oBAAoB;IACtB,CAAC;AACH,CAAC;AAED,SAAS,YAAY,CAAC,KAAoB,EAAE,KAAgB;IAC1D,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,SAAS;YACZ,qFAAqF;YACrF,OAAO,KAAK,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,KAAK,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC1F,KAAK,KAAK;YACR,OAAO,KAAK,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,MAAM,IAAI,EAAE,EAAE,KAAK,CAAC,IAAI,CAAC,CAAC;QACzH,oIAAoI;QACpI,KAAK,SAAS;YACZ,OAAO,KAAK,CAAC;QACf,oBAAoB;QACpB,+FAA+F;QAC/F,OAAO,CAAC,CAAC,CAAC;YACR,MAAM,UAAU,GAAU,KAAK,CAAC;YAChC,MAAM,IAAI,KAAK,CAAC,+BAA+B,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,oBAAoB;IACtB,CAAC;AACH,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,uBAAuB,CACrC,KAAgB,EAChB,SAA4B,EAC5B,GAA2B;IAE3B,MAAM,EAAE,KAAK,EAAE,UAAU,EAAE,GAAG,KAAK,CAAC,UAAU,CAAC;IAC/C,KAAK,MAAM,KAAK,IAAI,CAAC,GAAG,KAAK,EAAE,GAAG,UAAU,CAAC,EAAE,CAAC;QAC9C,IAAI,CAAC,mBAAmB,CAAC,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC;YAC3C,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,sBAAsB,KAAK,CAAC,GAAG,wCAAwC,CAAC,CAAC;QAC7F,CAAC;IACH,CAAC;IACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IAC/B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,mBAAmB,CAAC,CAAC,EAAE,SAAS,CAAC,IAAI,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;IAChG,IAAI,CAAC,QAAQ;QAAE,MAAM,IAAI,uBAAuB,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;AACzF,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,2BAA2B,CACzC,KAAgB,EAChB,SAA4B,EAC5B,GAA2B;IAE3B,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,IAAI,KAAK,CAAC,KAAK,EAAE,KAAK,EAAE;QAAE,uBAAuB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,SAAS,EAAE,GAAG,CAAC,CAAC;AAChH,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,aAAa,CAC3B,UAA4B,EAC5B,KAAiD;IAEjD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAc,CAAC;IAClC,KAAK,MAAM,IAAI,IAAI,UAAU;QAAE,KAAK,MAAM,CAAC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,EAAE;YAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;IACjF,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,oBAAoB,CAClC,KAAgB,EAChB,MAAe;IAEf,IAAI,CAAC,KAAK,CAAC,UAAU;QAAE,OAAO,EAAE,CAAC;IACjC,MAAM,MAAM,GAAa,EAAE,CAAC;IAC5B,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,sBAAsB,EAAE,CAAC;QACpD,IAAI,IAAI,KAAK,MAAM;YAAE,SAAS;QAC9B,IAAI,CAAC,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC;YAAE,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IACvD,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,YAAY;QAAE,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,eAAe,EAAE,MAAM,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACrF,MAAM,OAAO,GAAG,CAAC,MAAM,CAAC,CAAC;IACzB,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,sBAAsB,EAAE,CAAC;QACpD,IAAI,IAAI,KAAK,MAAM,IAAI,KAAK,CAAC,cAAc,CAAC,MAAM,CAAC;YAAE,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC1E,CAAC;IACD,IAAI,MAAM;QAAE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAChC,OAAO,EAAE,KAAK,EAAE,OAAO,EAAE,CAAC;AAC5B,CAAC"}

package/dist/shared/tool-rounds.d.ts

@@ -0,0 +1,91 @@
+/**
+ * RunConfig.max_tool_rounds: the round budget, its backstop, and the
+ * signal that the budget ended a turn. The budget read is the one the turn
+ * runs with (`status.run_config`), never the request's own.
+ *
+ * Implements the proto contract (run/v1/invocation.proto):
+ *   - 0 / unset = unlimited: no round limit and no recursionLimit, preserving
+ *     the run-until-done + loop-detection posture.
+ *   - When set, valid range is 10–1000 rounds; out-of-range values are
+ *     clamped to the nearest bound with a warning log.
+ *   - A round is one model response that proposes one or more tool calls,
+ *     followed by their execution; parallel calls are one round.
+ *
+ * The budget is COUNTED, not estimated. `middleware/execution-budget.ts`
+ * counts rounds where the model is called and throws
+ * {@link ToolRoundLimitError} before round N+1's model call, so N rounds
+ * run on every middleware stack. The count and the "~80% of budget"
+ * advisory live in that one middleware, so they can never disagree. Until
+ * #1113 the budget was LangGraph's recursion limit at rounds × 6 super-steps,
+ * and because every middleware hook is its own graph node, how many rounds
+ * fitted moved whenever the stack did.
+ *
+ * LangGraph's recursion limit stays only as a backstop
+ * ({@link backstopRecursionLimit}): generous enough never to bind before the
+ * round count on any stack, it halts a graph that loops without calling the
+ * model. Either stop is the same outcome ({@link isToolCallBudgetStop}).
+ *
+ * The knob and its terminal copy live together (the `cost-guard.ts` shape):
+ * when the budget is exhausted the adapter ends its turn `tool_call_limit`
+ * and the runtime's `toolCallLimitArm` writes TERMINATED with the copy
+ * below — the platform deliberately stopped the run, work is checkpointed,
+ * and the conversation continues on the next message.
+ */
+export declare const MIN_TOOL_ROUNDS = 10;
+export declare const MAX_TOOL_ROUNDS = 1000;
+/**
+ * Super-steps per round the backstop allows: well above the graph nodes one
+ * round costs on any stack the runner builds (about five today), so the
+ * round count, never the backstop, is what a bounded run meets.
+ */
+export declare const SUPER_STEPS_BACKSTOP_PER_ROUND = 20;
+/**
+ * The advisory-only round budget used when max_tool_rounds is unset: high
+ * enough to never fire on a healthy run. Deliberately NOT enforced — unset
+ * means unlimited per the proto contract.
+ */
+export declare const UNBOUNDED_ADVISORY_TOOL_ROUNDS = 1000;
+/**
+ * The round budget for a turn, clamped to the valid range, or null when the
+ * execution is unbounded (max_tool_rounds 0/unset — the default posture).
+ */
+export declare function resolveToolRoundLimit(maxToolRounds: number | undefined): number | null;
+/** The recursionLimit backstop for a bounded turn's invoke config; see {@link SUPER_STEPS_BACKSTOP_PER_ROUND}. */
+export declare function backstopRecursionLimit(toolRoundLimit: number): number;
+/**
+ * Stable prefix of the tool-call-limit terminal error. This is a cross-repo
+ * contract: consumers that need to distinguish "ran out of tool-call budget"
+ * from other TERMINATED causes (Stigmer Cloud's channel reply extractor,
+ * which shows channel users a friendly limit message instead of generic
+ * error copy) match on this prefix with `startsWith`, because
+ * RunStatus carries no structured termination reason. Do not
+ * reword without updating them. `COST_LIMIT_ERROR_PREFIX` (`cost-guard.ts`)
+ * mirrors it.
+ */
+export declare const TOOL_CALL_LIMIT_ERROR_PREFIX = "Agent reached the tool-call limit";
+/** The terminal `status.error` for a tool-call-limit stop; the prefix is the contract, the rest is prose. */
+export declare function formatToolCallLimitError(): string;
+/**
+ * User-facing system message for a tool-call-limit stop. Honest about the
+ * limit, clear that nothing is lost; the cost-cap copy is its parallel.
+ */
+export declare const TOOL_CALL_LIMIT_USER_COPY: string;
+/**
+ * The execution budget's stop: thrown by `middleware/execution-budget.ts` in
+ * place of round N+1's model call, so the graph ends on round N's tool
+ * results with no proposed call left unexecuted.
+ */
+export declare class ToolRoundLimitError extends Error {
+    readonly toolRoundLimit: number;
+    constructor(toolRoundLimit: number);
+}
+/**
+ * Whether an error thrown out of a LangGraph run is the tool-call budget
+ * ending the turn — the budget's own signal, not a failure: the adapter ends
+ * the turn `tool_call_limit`. Two producers, one outcome: the round count's
+ * {@link ToolRoundLimitError}, which reaches the turn wrapped in LangChain's
+ * `MiddlewareError` once per `wrapModelCall` layer (so the cause chain is
+ * walked, as `unwrapModelError` does for a model error), and the backstop's
+ * `GraphRecursionError`.
+ */
+export declare function isToolCallBudgetStop(err: unknown): boolean;