@vinkius-core/mcp-fusion 2.6.0 → 2.8.0

package/dist/introspection/CapabilityLockfile.js

@@ -0,0 +1,391 @@
+/**
+ * CapabilityLockfile — Behavioral Surface Snapshot
+ *
+ * Generates a deterministic, human-readable, git-diffable lockfile
+ * that captures the complete behavioral surface of an MCP Fusion
+ * server at a point in time.
+ *
+ * **Inspired by**: `yarn.lock`, `package-lock.json`, `Cargo.lock`.
+ * Those files snapshot the dependency resolution graph so that every
+ * `install` produces the same tree. `mcp-fusion.lock` does the same
+ * for the **behavioral surface** — ensuring that every deployment
+ * exposes the same tool contracts, cognitive guardrails, entitlements,
+ * and token economics that were reviewed and approved.
+ *
+ * **Why this matters for AI**:
+ *
+ * An LLM's calibration to a tool server depends on the *behavioral*
+ * surface — not just the input schema. If a system rule changes, an
+ * affordance link disappears, or a Presenter's egress schema mutates,
+ * the LLM may hallucinate or violate requirements. The lockfile makes
+ * these invisible changes **visible and auditable** in version control.
+ *
+ * **Workflow**:
+ *
+ * ```bash
+ * # Generate or update the lockfile
+ * fusion lock
+ *
+ * # CI gate: fail if the lockfile is stale
+ * fusion lock --check
+ * ```
+ *
+ * The lockfile is committed alongside the code. Pull request diffs
+ * show exactly which behavioral surfaces changed, enabling reviewers
+ * to assess AI-facing impact before merge.
+ *
+ * Pure-function module for generation and verification.
+ * Side-effectful I/O is clearly separated.
+ *
+ * @module
+ */
+import { readFile, writeFile } from 'node:fs/promises';
+import { resolve } from 'node:path';
+import { computeServerDigest } from './BehaviorDigest.js';
+import { sha256, canonicalize } from './canonicalize.js';
+// ============================================================================
+// Lockfile Schema
+// ============================================================================
+/** Current lockfile format version. */
+const LOCKFILE_VERSION = 1;
+/** Default lockfile name. */
+export const LOCKFILE_NAME = 'mcp-fusion.lock';
+/**
+ * Generate a `CapabilityLockfile` from compiled tool contracts
+ * and (optionally) prompt builders.
+ *
+ * This is a **pure function**: given the same contracts and metadata,
+ * it always produces the same lockfile (modulo `generatedAt` timestamp).
+ *
+ * @param serverName    - MCP server name
+ * @param contracts     - Record of tool name → materialized contract
+ * @param fusionVersion - MCP Fusion version string
+ * @param options       - Optional: prompt builders to include
+ * @returns A fully materialized lockfile
+ */
+export function generateLockfile(serverName, contracts, fusionVersion, options) {
+    const serverDigest = computeServerDigest(contracts);
+    const sortedNames = Object.keys(contracts).sort();
+    const tools = {};
+    for (const name of sortedNames) {
+        tools[name] = snapshotTool(contracts[name], serverDigest.tools[name]);
+    }
+    // ── Prompt Snapshots ─────────────────────────────────
+    const promptBuilders = options?.prompts ?? [];
+    let prompts;
+    const promptDigestParts = [];
+    if (promptBuilders.length > 0) {
+        prompts = {};
+        const sortedPromptNames = promptBuilders
+            .map(b => b.getName())
+            .sort();
+        for (const name of sortedPromptNames) {
+            const builder = promptBuilders.find(b => b.getName() === name);
+            const snapshot = snapshotPrompt(builder);
+            prompts[name] = snapshot;
+            promptDigestParts.push(`${name}:${snapshot.integrityDigest}`);
+        }
+    }
+    // ── Integrity Digest (tools + prompts) ───────────────
+    const digestInput = promptDigestParts.length > 0
+        ? `${serverDigest.digest}\n---prompts---\n${promptDigestParts.join('\n')}`
+        : serverDigest.digest;
+    const integrityDigest = promptDigestParts.length > 0
+        ? sha256(digestInput)
+        : serverDigest.digest;
+    const capabilities = prompts
+        ? { tools, prompts }
+        : { tools };
+    return {
+        lockfileVersion: LOCKFILE_VERSION,
+        serverName,
+        fusionVersion,
+        generatedAt: new Date().toISOString(),
+        integrityDigest: `sha256:${integrityDigest}`,
+        capabilities,
+    };
+}
+/**
+ * Serialize a lockfile to a deterministic JSON string.
+ *
+ * Uses sorted keys and 2-space indentation for git-friendly diffs.
+ * The output is canonical — identical lockfiles produce identical strings.
+ *
+ * @param lockfile - The lockfile to serialize
+ * @returns Deterministic JSON string with trailing newline
+ */
+export function serializeLockfile(lockfile) {
+    return JSON.stringify(lockfile, (_key, value) => {
+        if (value !== null && typeof value === 'object' && !Array.isArray(value)) {
+            return Object.keys(value)
+                .sort()
+                .reduce((sorted, k) => {
+                sorted[k] = value[k];
+                return sorted;
+            }, {});
+        }
+        return value;
+    }, 2) + '\n';
+}
+/**
+ * Verify that a lockfile matches the current server contracts and prompts.
+ *
+ * This is the **CI gate**: `fusion lock --check` calls this function
+ * and exits non-zero if the lockfile is stale.
+ *
+ * @param lockfile  - Previously generated lockfile (from disk)
+ * @param contracts - Current compiled tool contracts (from code)
+ * @param options   - Optional: prompt builders for prompt verification
+ * @returns Check result with per-tool and per-prompt diff details
+ */
+export function checkLockfile(lockfile, contracts, options) {
+    // Regenerate a fresh lockfile to compare digests
+    const fresh = generateLockfile(lockfile.serverName, contracts, lockfile.fusionVersion, options);
+    // Fast path: integrity digest matches → everything is identical
+    if (lockfile.integrityDigest === fresh.integrityDigest) {
+        return {
+            ok: true,
+            message: 'Lockfile is up to date.',
+            added: [],
+            removed: [],
+            changed: [],
+            unchanged: Object.keys(contracts).sort(),
+            addedPrompts: [],
+            removedPrompts: [],
+            changedPrompts: [],
+            unchangedPrompts: Object.keys(fresh.capabilities.prompts ?? {}).sort(),
+        };
+    }
+    // Slow path: per-tool comparison
+    const lockedToolNames = new Set(Object.keys(lockfile.capabilities.tools));
+    const currentToolNames = new Set(Object.keys(contracts));
+    const added = [];
+    const removed = [];
+    const changed = [];
+    const unchanged = [];
+    for (const name of currentToolNames) {
+        if (!lockedToolNames.has(name)) {
+            added.push(name);
+        }
+        else {
+            const lockedDigest = lockfile.capabilities.tools[name].integrityDigest;
+            const freshDigest = fresh.capabilities.tools[name].integrityDigest;
+            if (lockedDigest === freshDigest) {
+                unchanged.push(name);
+            }
+            else {
+                changed.push(name);
+            }
+        }
+    }
+    for (const name of lockedToolNames) {
+        if (!currentToolNames.has(name)) {
+            removed.push(name);
+        }
+    }
+    // ── Per-prompt comparison ────────────────────────────
+    const lockedPrompts = lockfile.capabilities.prompts ?? {};
+    const freshPrompts = fresh.capabilities.prompts ?? {};
+    const lockedPromptNames = new Set(Object.keys(lockedPrompts));
+    const currentPromptNames = new Set(Object.keys(freshPrompts));
+    const addedPrompts = [];
+    const removedPrompts = [];
+    const changedPrompts = [];
+    const unchangedPrompts = [];
+    for (const name of currentPromptNames) {
+        if (!lockedPromptNames.has(name)) {
+            addedPrompts.push(name);
+        }
+        else {
+            const lockedDigest = lockedPrompts[name].integrityDigest;
+            const freshDigest = freshPrompts[name].integrityDigest;
+            if (lockedDigest === freshDigest) {
+                unchangedPrompts.push(name);
+            }
+            else {
+                changedPrompts.push(name);
+            }
+        }
+    }
+    for (const name of lockedPromptNames) {
+        if (!currentPromptNames.has(name)) {
+            removedPrompts.push(name);
+        }
+    }
+    // ── Build message ────────────────────────────────────
+    const driftParts = [];
+    if (added.length > 0)
+        driftParts.push(`tools added: [${added.join(', ')}]`);
+    if (removed.length > 0)
+        driftParts.push(`tools removed: [${removed.join(', ')}]`);
+    if (changed.length > 0)
+        driftParts.push(`tools changed: [${changed.join(', ')}]`);
+    if (addedPrompts.length > 0)
+        driftParts.push(`prompts added: [${addedPrompts.join(', ')}]`);
+    if (removedPrompts.length > 0)
+        driftParts.push(`prompts removed: [${removedPrompts.join(', ')}]`);
+    if (changedPrompts.length > 0)
+        driftParts.push(`prompts changed: [${changedPrompts.join(', ')}]`);
+    return {
+        ok: false,
+        message: `Lockfile is stale. ${driftParts.join('; ')}. Run \`fusion lock\` to update.`,
+        added,
+        removed,
+        changed,
+        unchanged,
+        addedPrompts,
+        removedPrompts,
+        changedPrompts,
+        unchangedPrompts,
+    };
+}
+/**
+ * Parse and validate a lockfile JSON string.
+ *
+ * @param content - Raw JSON string from `mcp-fusion.lock`
+ * @returns Parsed lockfile, or null if invalid
+ */
+export function parseLockfile(content) {
+    try {
+        const parsed = JSON.parse(content);
+        if (parsed['lockfileVersion'] !== LOCKFILE_VERSION)
+            return null;
+        if (typeof parsed['serverName'] !== 'string')
+            return null;
+        if (typeof parsed['integrityDigest'] !== 'string')
+            return null;
+        if (typeof parsed['generatedAt'] !== 'string')
+            return null;
+        if (typeof parsed['fusionVersion'] !== 'string')
+            return null;
+        if (!parsed['capabilities'] || typeof parsed['capabilities'] !== 'object')
+            return null;
+        const caps = parsed['capabilities'];
+        if (!caps['tools'] || typeof caps['tools'] !== 'object')
+            return null;
+        return parsed;
+    }
+    catch {
+        return null;
+    }
+}
+// ============================================================================
+// Persistence (Side-effectful — clearly separated)
+// ============================================================================
+/**
+ * Write a lockfile to disk.
+ *
+ * @param lockfile    - The lockfile to persist
+ * @param projectRoot - Project root directory
+ */
+export async function writeLockfile(lockfile, projectRoot) {
+    const filePath = resolve(projectRoot, LOCKFILE_NAME);
+    await writeFile(filePath, serializeLockfile(lockfile), 'utf-8');
+}
+/**
+ * Read a lockfile from disk.
+ *
+ * @param projectRoot - Project root directory
+ * @returns Parsed lockfile, or null if not found / invalid
+ */
+export async function readLockfile(projectRoot) {
+    const filePath = resolve(projectRoot, LOCKFILE_NAME);
+    try {
+        const content = await readFile(filePath, 'utf-8');
+        return parseLockfile(content);
+    }
+    catch {
+        return null;
+    }
+}
+// ============================================================================
+// Internals
+// ============================================================================
+/**
+ * Snapshot a single tool's contract into lockfile format.
+ * @internal
+ */
+function snapshotTool(contract, digest) {
+    const actionKeys = Object.keys(contract.surface.actions).sort();
+    const destructiveActions = actionKeys.filter(key => contract.surface.actions[key].destructive);
+    const readOnlyActions = actionKeys.filter(key => contract.surface.actions[key].readOnly);
+    return {
+        integrityDigest: `sha256:${digest.digest}`,
+        surface: {
+            description: contract.surface.description ?? null,
+            actions: actionKeys,
+            inputSchemaDigest: `sha256:${contract.surface.inputSchemaDigest}`,
+            tags: [...contract.surface.tags].sort(),
+        },
+        behavior: {
+            egressSchemaDigest: contract.behavior.egressSchemaDigest
+                ? `sha256:${contract.behavior.egressSchemaDigest}`
+                : null,
+            systemRulesFingerprint: contract.behavior.systemRulesFingerprint,
+            destructiveActions,
+            readOnlyActions,
+            middlewareChain: [...contract.behavior.middlewareChain],
+            affordanceTopology: [...contract.behavior.affordanceTopology],
+            cognitiveGuardrails: {
+                agentLimitMax: contract.behavior.cognitiveGuardrails.agentLimitMax,
+                egressMaxBytes: contract.behavior.cognitiveGuardrails.egressMaxBytes,
+            },
+        },
+        tokenEconomics: {
+            inflationRisk: contract.tokenEconomics.inflationRisk,
+            schemaFieldCount: contract.tokenEconomics.schemaFieldCount,
+            unboundedCollection: contract.tokenEconomics.unboundedCollection,
+        },
+        entitlements: {
+            filesystem: contract.entitlements.filesystem,
+            network: contract.entitlements.network,
+            subprocess: contract.entitlements.subprocess,
+            crypto: contract.entitlements.crypto,
+        },
+    };
+}
+/**
+ * Snapshot a single prompt builder into lockfile format.
+ *
+ * Extracts all declarative metadata and computes a SHA-256 digest
+ * over the canonical representation.
+ *
+ * @internal
+ */
+function snapshotPrompt(builder) {
+    const def = builder.buildPromptDefinition();
+    const tags = [...builder.getTags()].sort();
+    const hasMiddleware = builder.hasMiddleware();
+    const hydrationTimeout = builder.getHydrationTimeout() ?? null;
+    // Normalize arguments for deterministic serialization
+    const args = (def.arguments ?? [])
+        .map(a => ({
+        name: a.name,
+        description: a.description ?? null,
+        required: a.required ?? false,
+    }))
+        .sort((a, b) => a.name.localeCompare(b.name));
+    const argumentsDigest = `sha256:${sha256(canonicalize(args))}`;
+    // Compute integrity digest over all declarative fields
+    const surface = {
+        name: def.name,
+        description: def.description ?? null,
+        title: def.title ?? null,
+        tags,
+        arguments: args,
+        hasMiddleware,
+        hydrationTimeout,
+    };
+    const integrityDigest = `sha256:${sha256(canonicalize(surface))}`;
+    return {
+        integrityDigest,
+        description: def.description ?? null,
+        title: def.title ?? null,
+        tags,
+        arguments: args,
+        argumentsDigest,
+        hasMiddleware,
+        hydrationTimeout,
+    };
+}
+//# sourceMappingURL=CapabilityLockfile.js.map

package/dist/introspection/CapabilityLockfile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"CapabilityLockfile.js","sourceRoot":"","sources":["../../src/introspection/CapabilityLockfile.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAwCG;AACH,OAAO,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,kBAAkB,CAAC;AACvD,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAGpC,OAAO,EAAE,mBAAmB,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,EAAE,MAAM,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AAEzD,+EAA+E;AAC/E,kBAAkB;AAClB,+EAA+E;AAE/E,uCAAuC;AACvC,MAAM,gBAAgB,GAAG,CAAU,CAAC;AAEpC,6BAA6B;AAC7B,MAAM,CAAC,MAAM,aAAa,GAAG,iBAA0B,CAAC;AAwLxD;;;;;;;;;;;;GAYG;AACH,MAAM,UAAU,gBAAgB,CAC5B,UAAkB,EAClB,SAAiD,EACjD,aAAqB,EACrB,OAAiC;IAEjC,MAAM,YAAY,GAAG,mBAAmB,CAAC,SAAS,CAAC,CAAC;IAEpD,MAAM,WAAW,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE,CAAC;IAClD,MAAM,KAAK,GAAiC,EAAE,CAAC;IAE/C,KAAK,MAAM,IAAI,IAAI,WAAW,EAAE,CAAC;QAC7B,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,SAAS,CAAC,IAAI,CAAE,EAAE,YAAY,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC,CAAC;IAC5E,CAAC;IAED,wDAAwD;IACxD,MAAM,cAAc,GAAG,OAAO,EAAE,OAAO,IAAI,EAAE,CAAC;IAC9C,IAAI,OAAmD,CAAC;IACxD,MAAM,iBAAiB,GAAa,EAAE,CAAC;IAEvC,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC5B,OAAO,GAAG,EAAE,CAAC;QACb,MAAM,iBAAiB,GAAG,cAAc;aACnC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC;aACrB,IAAI,EAAE,CAAC;QAEZ,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;YACnC,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,OAAO,EAAE,KAAK,IAAI,CAAE,CAAC;YAChE,MAAM,QAAQ,GAAG,cAAc,CAAC,OAAO,CAAC,CAAC;YACzC,OAAO,CAAC,IAAI,CAAC,GAAG,QAAQ,CAAC;YACzB,iBAAiB,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,QAAQ,CAAC,eAAe,EAAE,CAAC,CAAC;QAClE,CAAC;IACL,CAAC;IAED,wDAAwD;IACxD,MAAM,WAAW,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAC5C,CAAC,CAAC,GAAG,YAAY,CAAC,MAAM,oBAAoB,iBAAiB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;QAC1E,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC;IAC1B,MAAM,eAAe,GAAG,iBAAiB,CAAC,MAAM,GAAG,CAAC;QAChD,CAAC,CAAC,MAAM,CAAC,WAAW,CAAC;QACrB,CAAC,CAAC,YAAY,CAAC,MAAM,CAAC;IAE1B,MAAM,YAAY,GAAyB,OAAO;QAC9C,CAAC,CAAC,EAAE,KAAK,EAAE,OAAO,EAAE;QACpB,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC;IAEhB,OAAO;QACH,eAAe,EAAE,gBAAgB;QACjC,UAAU;QACV,aAAa;QACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;QACrC,eAAe,EAAE,UAAU,eAAe,EAAE;QAC5C,YAAY;KACf,CAAC;AACN,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,iBAAiB,CAAC,QAA4B;IAC1D,OAAO,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;QAC5C,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACvE,OAAO,MAAM,CAAC,IAAI,CAAC,KAAgC,CAAC;iBAC/C,IAAI,EAAE;iBACN,MAAM,CAA0B,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE;gBAC3C,MAAM,CAAC,CAAC,CAAC,GAAI,KAAiC,CAAC,CAAC,CAAC,CAAC;gBAClD,OAAO,MAAM,CAAC;YAClB,CAAC,EAAE,EAAE,CAAC,CAAC;QACf,CAAC;QACD,OAAO,KAAK,CAAC;IACjB,CAAC,EAAE,CAAC,CAAC,GAAG,IAAI,CAAC;AACjB,CAAC;AAgCD;;;;;;;;;;GAUG;AACH,MAAM,UAAU,aAAa,CACzB,QAA4B,EAC5B,SAAiD,EACjD,OAAiC;IAEjC,iDAAiD;IACjD,MAAM,KAAK,GAAG,gBAAgB,CAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,EAAE,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC,CAAC;IAEhG,gEAAgE;IAChE,IAAI,QAAQ,CAAC,eAAe,KAAK,KAAK,CAAC,eAAe,EAAE,CAAC;QACrD,OAAO;YACH,EAAE,EAAE,IAAI;YACR,OAAO,EAAE,yBAAyB;YAClC,KAAK,EAAE,EAAE;YACT,OAAO,EAAE,EAAE;YACX,OAAO,EAAE,EAAE;YACX,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,IAAI,EAAE;YACxC,YAAY,EAAE,EAAE;YAChB,cAAc,EAAE,EAAE;YAClB,cAAc,EAAE,EAAE;YAClB,gBAAgB,EAAE,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC,CAAC,IAAI,EAAE;SACzE,CAAC;IACN,CAAC;IAED,iCAAiC;IACjC,MAAM,eAAe,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC,CAAC;IAC1E,MAAM,gBAAgB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC;IAEzD,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAE/B,KAAK,MAAM,IAAI,IAAI,gBAAgB,EAAE,CAAC;QAClC,IAAI,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACrB,CAAC;aAAM,CAAC;YACJ,MAAM,YAAY,GAAG,QAAQ,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC,eAAe,CAAC;YACxE,MAAM,WAAW,GAAG,KAAK,CAAC,YAAY,CAAC,KAAK,CAAC,IAAI,CAAE,CAAC,eAAe,CAAC;YACpE,IAAI,YAAY,KAAK,WAAW,EAAE,CAAC;gBAC/B,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACzB,CAAC;iBAAM,CAAC;gBACJ,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACvB,CAAC;QACL,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,eAAe,EAAE,CAAC;QACjC,IAAI,CAAC,gBAAgB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACvB,CAAC;IACL,CAAC;IAED,wDAAwD;IACxD,MAAM,aAAa,GAAG,QAAQ,CAAC,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC;IAC1D,MAAM,YAAY,GAAG,KAAK,CAAC,YAAY,CAAC,OAAO,IAAI,EAAE,CAAC;IACtD,MAAM,iBAAiB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC;IAC9D,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC,CAAC;IAE9D,MAAM,YAAY,GAAa,EAAE,CAAC;IAClC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,cAAc,GAAa,EAAE,CAAC;IACpC,MAAM,gBAAgB,GAAa,EAAE,CAAC;IAEtC,KAAK,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;QACpC,IAAI,CAAC,iBAAiB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAC/B,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC5B,CAAC;aAAM,CAAC;YACJ,MAAM,YAAY,GAAG,aAAa,CAAC,IAAI,CAAE,CAAC,eAAe,CAAC;YAC1D,MAAM,WAAW,GAAG,YAAY,CAAC,IAAI,CAAE,CAAC,eAAe,CAAC;YACxD,IAAI,YAAY,KAAK,WAAW,EAAE,CAAC;gBAC/B,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAChC,CAAC;iBAAM,CAAC;gBACJ,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9B,CAAC;QACL,CAAC;IACL,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,iBAAiB,EAAE,CAAC;QACnC,IAAI,CAAC,kBAAkB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;YAChC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QAC9B,CAAC;IACL,CAAC;IAED,wDAAwD;IACxD,MAAM,UAAU,GAAa,EAAE,CAAC;IAChC,IAAI,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,iBAAiB,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5E,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClF,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,mBAAmB,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClF,IAAI,YAAY,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,mBAAmB,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5F,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,qBAAqB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAClG,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC;QAAE,UAAU,CAAC,IAAI,CAAC,qBAAqB,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAElG,OAAO;QACH,EAAE,EAAE,KAAK;QACT,OAAO,EAAE,sBAAsB,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,kCAAkC;QACtF,KAAK;QACL,OAAO;QACP,OAAO;QACP,SAAS;QACT,YAAY;QACZ,cAAc;QACd,cAAc;QACd,gBAAgB;KACnB,CAAC;AACN,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,aAAa,CAAC,OAAe;IACzC,IAAI,CAAC;QACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAA4B,CAAC;QAC9D,IAAI,MAAM,CAAC,iBAAiB,CAAC,KAAK,gBAAgB;YAAE,OAAO,IAAI,CAAC;QAChE,IAAI,OAAO,MAAM,CAAC,YAAY,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC1D,IAAI,OAAO,MAAM,CAAC,iBAAiB,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC/D,IAAI,OAAO,MAAM,CAAC,aAAa,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC3D,IAAI,OAAO,MAAM,CAAC,eAAe,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QAC7D,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,OAAO,MAAM,CAAC,cAAc,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACvF,MAAM,IAAI,GAAG,MAAM,CAAC,cAAc,CAA4B,CAAC;QAC/D,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,IAAI,OAAO,IAAI,CAAC,OAAO,CAAC,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC;QACrE,OAAO,MAAuC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,CAAC;IAChB,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,mDAAmD;AACnD,+EAA+E;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,aAAa,CAC/B,QAA4B,EAC5B,WAAmB;IAEnB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACrD,MAAM,SAAS,CAAC,QAAQ,EAAE,iBAAiB,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC,CAAC;AACpE,CAAC;AAED;;;;;GAKG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAC9B,WAAmB;IAEnB,MAAM,QAAQ,GAAG,OAAO,CAAC,WAAW,EAAE,aAAa,CAAC,CAAC;IACrD,IAAI,CAAC;QACD,MAAM,OAAO,GAAG,MAAM,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC,CAAC;QAClD,OAAO,aAAa,CAAC,OAAO,CAAC,CAAC;IAClC,CAAC;IAAC,MAAM,CAAC;QACL,OAAO,IAAI,CAAC;IAChB,CAAC;AACL,CAAC;AAED,+EAA+E;AAC/E,YAAY;AACZ,+EAA+E;AAE/E;;;GAGG;AACH,SAAS,YAAY,CACjB,QAAsB,EACtB,MAA4B;IAE5B,MAAM,UAAU,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,CAAC;IAEhE,MAAM,kBAAkB,GAAG,UAAU,CAAC,MAAM,CACxC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAE,CAAC,WAAW,CACpD,CAAC;IACF,MAAM,eAAe,GAAG,UAAU,CAAC,MAAM,CACrC,GAAG,CAAC,EAAE,CAAC,QAAQ,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAE,CAAC,QAAQ,CACjD,CAAC;IAEF,OAAO;QACH,eAAe,EAAE,UAAU,MAAM,CAAC,MAAM,EAAE;QAC1C,OAAO,EAAE;YACL,WAAW,EAAE,QAAQ,CAAC,OAAO,CAAC,WAAW,IAAI,IAAI;YACjD,OAAO,EAAE,UAAU;YACnB,iBAAiB,EAAE,UAAU,QAAQ,CAAC,OAAO,CAAC,iBAAiB,EAAE;YACjE,IAAI,EAAE,CAAC,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE;SAC1C;QACD,QAAQ,EAAE;YACN,kBAAkB,EAAE,QAAQ,CAAC,QAAQ,CAAC,kBAAkB;gBACpD,CAAC,CAAC,UAAU,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,EAAE;gBAClD,CAAC,CAAC,IAAI;YACV,sBAAsB,EAAE,QAAQ,CAAC,QAAQ,CAAC,sBAAsB;YAChE,kBAAkB;YAClB,eAAe;YACf,eAAe,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,eAAe,CAAC;YACvD,kBAAkB,EAAE,CAAC,GAAG,QAAQ,CAAC,QAAQ,CAAC,kBAAkB,CAAC;YAC7D,mBAAmB,EAAE;gBACjB,aAAa,EAAE,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC,aAAa;gBAClE,cAAc,EAAE,QAAQ,CAAC,QAAQ,CAAC,mBAAmB,CAAC,cAAc;aACvE;SACJ;QACD,cAAc,EAAE;YACZ,aAAa,EAAE,QAAQ,CAAC,cAAc,CAAC,aAAa;YACpD,gBAAgB,EAAE,QAAQ,CAAC,cAAc,CAAC,gBAAgB;YAC1D,mBAAmB,EAAE,QAAQ,CAAC,cAAc,CAAC,mBAAmB;SACnE;QACD,YAAY,EAAE;YACV,UAAU,EAAE,QAAQ,CAAC,YAAY,CAAC,UAAU;YAC5C,OAAO,EAAE,QAAQ,CAAC,YAAY,CAAC,OAAO;YACtC,UAAU,EAAE,QAAQ,CAAC,YAAY,CAAC,UAAU;YAC5C,MAAM,EAAE,QAAQ,CAAC,YAAY,CAAC,MAAM;SACvC;KACJ,CAAC;AACN,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,cAAc,CAAC,OAA0B;IAC9C,MAAM,GAAG,GAAG,OAAO,CAAC,qBAAqB,EAAE,CAAC;IAC5C,MAAM,IAAI,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC;IAC3C,MAAM,aAAa,GAAG,OAAO,CAAC,aAAa,EAAE,CAAC;IAC9C,MAAM,gBAAgB,GAAG,OAAO,CAAC,mBAAmB,EAAE,IAAI,IAAI,CAAC;IAE/D,sDAAsD;IACtD,MAAM,IAAI,GAA6B,CAAC,GAAG,CAAC,SAAS,IAAI,EAAE,CAAC;SACvD,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;QACP,IAAI,EAAE,CAAC,CAAC,IAAI;QACZ,WAAW,EAAE,CAAC,CAAC,WAAW,IAAI,IAAI;QAClC,QAAQ,EAAE,CAAC,CAAC,QAAQ,IAAI,KAAK;KAChC,CAAC,CAAC;SACF,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC;IAElD,MAAM,eAAe,GAAG,UAAU,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,CAAC;IAE/D,uDAAuD;IACvD,MAAM,OAAO,GAAG;QACZ,IAAI,EAAE,GAAG,CAAC,IAAI;QACd,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,IAAI;QACpC,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,IAAI;QACxB,IAAI;QACJ,SAAS,EAAE,IAAI;QACf,aAAa;QACb,gBAAgB;KACnB,CAAC;IACF,MAAM,eAAe,GAAG,UAAU,MAAM,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC;IAElE,OAAO;QACH,eAAe;QACf,WAAW,EAAE,GAAG,CAAC,WAAW,IAAI,IAAI;QACpC,KAAK,EAAE,GAAG,CAAC,KAAK,IAAI,IAAI;QACxB,IAAI;QACJ,SAAS,EAAE,IAAI;QACf,eAAe;QACf,aAAa;QACb,gBAAgB;KACnB,CAAC;AACN,CAAC"}

package/dist/introspection/ContractAwareSelfHealing.d.ts

@@ -0,0 +1,90 @@
+/**
+ * ContractAwareSelfHealing — Runtime Contract Delta Injection
+ *
+ * **Evolution 4: Self-Healing Context**
+ *
+ * When a Zod validation error occurs (the LLM sent malformed
+ * arguments), this module enriches the error response with
+ * contract change context. If the tool's behavioral contract
+ * has changed since the LLM was last calibrated, the error
+ * message includes:
+ *
+ * 1. Which contract fields changed (from ContractDiff)
+ * 2. What the previous contract looked like
+ * 3. What the current contract requires
+ *
+ * This gives the LLM enough context to self-correct on the
+ * next invocation instead of repeating the same mistake.
+ *
+ * **Integration**: Plugs into the existing `formatValidationError()`
+ * pipeline via a wrapping function that checks for relevant
+ * contract deltas and injects them into the XML error response.
+ *
+ * **Zero-overhead**: When no contract changes exist, the function
+ * passes through to the original formatter with zero additional cost.
+ *
+ * @module
+ */
+import type { ContractDiffResult } from './ContractDiff.js';
+/**
+ * Configuration for contract-aware self-healing.
+ */
+export interface SelfHealingConfig {
+    /**
+     * Active contract diff results, keyed by tool name.
+     * Populated at server startup by diffing current contracts
+     * against the last known-good lockfile.
+     */
+    readonly activeDeltas: ReadonlyMap<string, ContractDiffResult>;
+    /**
+     * Whether to inject deltas for all severity levels.
+     * Default: only BREAKING and RISKY.
+     */
+    readonly includeAllSeverities?: boolean;
+    /**
+     * Maximum number of deltas to inject per error.
+     * Prevents context flooding from large diffs.
+     * Default: 5.
+     */
+    readonly maxDeltasPerError?: number;
+}
+/**
+ * Result of self-healing injection.
+ */
+export interface SelfHealingResult {
+    /** The original error XML */
+    readonly originalError: string;
+    /** The enriched error XML with contract context */
+    readonly enrichedError: string;
+    /** Whether any contract context was injected */
+    readonly injected: boolean;
+    /** Number of deltas injected */
+    readonly deltaCount: number;
+    /** Tool name */
+    readonly toolName: string;
+}
+/**
+ * Enrich a validation error with contract change context.
+ *
+ * If the tool has relevant contract changes (from `SelfHealingConfig.activeDeltas`),
+ * this function injects them into the error XML so the LLM can self-correct.
+ *
+ * @param originalError - The original XML error from `formatValidationError()`
+ * @param toolName - The tool that failed validation
+ * @param actionKey - The action that failed
+ * @param config - Self-healing configuration with active deltas
+ * @returns Enriched error string with contract context
+ */
+export declare function enrichValidationError(originalError: string, toolName: string, actionKey: string, config: SelfHealingConfig): SelfHealingResult;
+/**
+ * Create a tool-scoped self-healing enhancer.
+ *
+ * This is the primary integration point: wraps a per-tool
+ * error formatter with contract delta context.
+ *
+ * @param toolName - The tool name for delta lookup
+ * @param config - Self-healing configuration
+ * @returns A function that enriches error strings
+ */
+export declare function createToolEnhancer(toolName: string, config: SelfHealingConfig): (errorXml: string, actionKey: string) => string;
+//# sourceMappingURL=ContractAwareSelfHealing.d.ts.map

package/dist/introspection/ContractAwareSelfHealing.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContractAwareSelfHealing.d.ts","sourceRoot":"","sources":["../../src/introspection/ContractAwareSelfHealing.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;GA0BG;AACH,OAAO,KAAK,EAAiB,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AAO3E;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAC9B;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,kBAAkB,CAAC,CAAC;IAE/D;;;OAGG;IACH,QAAQ,CAAC,oBAAoB,CAAC,EAAE,OAAO,CAAC;IAExC;;;;OAIG;IACH,QAAQ,CAAC,iBAAiB,CAAC,EAAE,MAAM,CAAC;CACvC;AAED;;GAEG;AACH,MAAM,WAAW,iBAAiB;IAC9B,6BAA6B;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,mDAAmD;IACnD,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,gDAAgD;IAChD,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;IAC3B,gCAAgC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,gBAAgB;IAChB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC7B;AAMD;;;;;;;;;;;GAWG;AACH,wBAAgB,qBAAqB,CACjC,aAAa,EAAE,MAAM,EACrB,QAAQ,EAAE,MAAM,EAChB,SAAS,EAAE,MAAM,EACjB,MAAM,EAAE,iBAAiB,GAC1B,iBAAiB,CA4CnB;AAED;;;;;;;;;GASG;AACH,wBAAgB,kBAAkB,CAC9B,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,iBAAiB,GAC1B,CAAC,QAAQ,EAAE,MAAM,EAAE,SAAS,EAAE,MAAM,KAAK,MAAM,CAajD"}

package/dist/introspection/ContractAwareSelfHealing.js

@@ -0,0 +1,132 @@
+import { formatDeltasAsXml } from './ContractDiff.js';
+// ============================================================================
+// Core Logic
+// ============================================================================
+/**
+ * Enrich a validation error with contract change context.
+ *
+ * If the tool has relevant contract changes (from `SelfHealingConfig.activeDeltas`),
+ * this function injects them into the error XML so the LLM can self-correct.
+ *
+ * @param originalError - The original XML error from `formatValidationError()`
+ * @param toolName - The tool that failed validation
+ * @param actionKey - The action that failed
+ * @param config - Self-healing configuration with active deltas
+ * @returns Enriched error string with contract context
+ */
+export function enrichValidationError(originalError, toolName, actionKey, config) {
+    const diffResult = config.activeDeltas.get(toolName);
+    // No deltas for this tool → pass through
+    if (!diffResult || diffResult.deltas.length === 0) {
+        return {
+            originalError,
+            enrichedError: originalError,
+            injected: false,
+            deltaCount: 0,
+            toolName,
+        };
+    }
+    // Filter deltas by relevance
+    const relevantDeltas = filterRelevantDeltas(diffResult.deltas, actionKey, config);
+    if (relevantDeltas.length === 0) {
+        return {
+            originalError,
+            enrichedError: originalError,
+            injected: false,
+            deltaCount: 0,
+            toolName,
+        };
+    }
+    // Build the contract context injection
+    const contractXml = buildContractContext(toolName, actionKey, relevantDeltas);
+    // Inject before the closing </validation_error> tag
+    const enrichedError = injectIntoXml(originalError, contractXml);
+    return {
+        originalError,
+        enrichedError,
+        injected: true,
+        deltaCount: relevantDeltas.length,
+        toolName,
+    };
+}
+/**
+ * Create a tool-scoped self-healing enhancer.
+ *
+ * This is the primary integration point: wraps a per-tool
+ * error formatter with contract delta context.
+ *
+ * @param toolName - The tool name for delta lookup
+ * @param config - Self-healing configuration
+ * @returns A function that enriches error strings
+ */
+export function createToolEnhancer(toolName, config) {
+    const diffResult = config.activeDeltas.get(toolName);
+    // No deltas → return identity function (zero overhead)
+    if (!diffResult || diffResult.deltas.length === 0) {
+        return (errorXml) => errorXml;
+    }
+    // Pre-compute relevant deltas (avoids per-call filtering)
+    return (errorXml, actionKey) => {
+        const result = enrichValidationError(errorXml, toolName, actionKey, config);
+        return result.enrichedError;
+    };
+}
+// ============================================================================
+// Internals
+// ============================================================================
+/** Severity levels considered actionable by default */
+const ACTIONABLE_SEVERITIES = new Set(['BREAKING', 'RISKY']);
+/**
+ * Filter deltas relevant to the failing action.
+ * @internal
+ */
+function filterRelevantDeltas(deltas, actionKey, config) {
+    const maxDeltas = config.maxDeltasPerError ?? 5;
+    const includeAll = config.includeAllSeverities ?? false;
+    const actionPrefix = `actions.${actionKey}`;
+    const isRelevant = (delta) => {
+        const severityOk = includeAll || ACTIONABLE_SEVERITIES.has(delta.severity);
+        const isGlobal = !delta.field.includes('actions.');
+        const isForAction = delta.field.includes(actionPrefix);
+        return severityOk && (isGlobal || isForAction);
+    };
+    return deltas.filter(isRelevant).slice(0, maxDeltas);
+}
+/**
+ * Build the contract context XML block.
+ * @internal
+ */
+function buildContractContext(toolName, actionKey, deltas) {
+    const lines = [
+        '',
+        '<contract_awareness>',
+        `  <system_note>IMPORTANT: The behavioral contract for tool "${toolName}" has changed since your last calibration.</system_note>`,
+        `  <action>${actionKey}</action>`,
+        `  <change_count>${deltas.length}</change_count>`,
+        `  <max_severity>${deltas[0]?.severity ?? 'UNKNOWN'}</max_severity>`,
+        '',
+        '  <instructions>',
+        '    Review the contract changes below and adjust your next invocation accordingly.',
+        '    These changes may explain why your previous arguments were rejected.',
+        '  </instructions>',
+        '',
+        `  ${formatDeltasAsXml(deltas).split('\n').join('\n  ')}`,
+        '</contract_awareness>',
+    ];
+    return lines.join('\n');
+}
+/**
+ * Inject contract context into the validation error XML.
+ *
+ * Inserts before `</validation_error>` if present,
+ * otherwise appends at the end.
+ * @internal
+ */
+function injectIntoXml(originalXml, contractXml) {
+    const closingTag = '</validation_error>';
+    const insertionPoint = originalXml.lastIndexOf(closingTag);
+    return insertionPoint === -1
+        ? `${originalXml}\n${contractXml}`
+        : `${originalXml.slice(0, insertionPoint)}\n${contractXml}\n${originalXml.slice(insertionPoint)}`;
+}
+//# sourceMappingURL=ContractAwareSelfHealing.js.map

package/dist/introspection/ContractAwareSelfHealing.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"ContractAwareSelfHealing.js","sourceRoot":"","sources":["../../src/introspection/ContractAwareSelfHealing.ts"],"names":[],"mappings":"AA4BA,OAAO,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AA+CtD,+EAA+E;AAC/E,aAAa;AACb,+EAA+E;AAE/E;;;;;;;;;;;GAWG;AACH,MAAM,UAAU,qBAAqB,CACjC,aAAqB,EACrB,QAAgB,EAChB,SAAiB,EACjB,MAAyB;IAEzB,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAErD,yCAAyC;IACzC,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO;YACH,aAAa;YACb,aAAa,EAAE,aAAa;YAC5B,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,CAAC;YACb,QAAQ;SACX,CAAC;IACN,CAAC;IAED,6BAA6B;IAC7B,MAAM,cAAc,GAAG,oBAAoB,CACvC,UAAU,CAAC,MAAM,EACjB,SAAS,EACT,MAAM,CACT,CAAC;IAEF,IAAI,cAAc,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9B,OAAO;YACH,aAAa;YACb,aAAa,EAAE,aAAa;YAC5B,QAAQ,EAAE,KAAK;YACf,UAAU,EAAE,CAAC;YACb,QAAQ;SACX,CAAC;IACN,CAAC;IAED,uCAAuC;IACvC,MAAM,WAAW,GAAG,oBAAoB,CAAC,QAAQ,EAAE,SAAS,EAAE,cAAc,CAAC,CAAC;IAE9E,oDAAoD;IACpD,MAAM,aAAa,GAAG,aAAa,CAAC,aAAa,EAAE,WAAW,CAAC,CAAC;IAEhE,OAAO;QACH,aAAa;QACb,aAAa;QACb,QAAQ,EAAE,IAAI;QACd,UAAU,EAAE,cAAc,CAAC,MAAM;QACjC,QAAQ;KACX,CAAC;AACN,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,kBAAkB,CAC9B,QAAgB,EAChB,MAAyB;IAEzB,MAAM,UAAU,GAAG,MAAM,CAAC,YAAY,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;IAErD,uDAAuD;IACvD,IAAI,CAAC,UAAU,IAAI,UAAU,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAChD,OAAO,CAAC,QAAgB,EAAE,EAAE,CAAC,QAAQ,CAAC;IAC1C,CAAC;IAED,0DAA0D;IAC1D,OAAO,CAAC,QAAgB,EAAE,SAAiB,EAAE,EAAE;QAC3C,MAAM,MAAM,GAAG,qBAAqB,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,CAAC;QAC5E,OAAO,MAAM,CAAC,aAAa,CAAC;IAChC,CAAC,CAAC;AACN,CAAC;AAED,+EAA+E;AAC/E,YAAY;AACZ,+EAA+E;AAE/E,uDAAuD;AACvD,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAS,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC;AAErE;;;GAGG;AACH,SAAS,oBAAoB,CACzB,MAAgC,EAChC,SAAiB,EACjB,MAAyB;IAEzB,MAAM,SAAS,GAAG,MAAM,CAAC,iBAAiB,IAAI,CAAC,CAAC;IAChD,MAAM,UAAU,GAAG,MAAM,CAAC,oBAAoB,IAAI,KAAK,CAAC;IACxD,MAAM,YAAY,GAAG,WAAW,SAAS,EAAE,CAAC;IAE5C,MAAM,UAAU,GAAG,CAAC,KAAoB,EAAW,EAAE;QACjD,MAAM,UAAU,GAAG,UAAU,IAAI,qBAAqB,CAAC,GAAG,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC;QAC3E,MAAM,QAAQ,GAAG,CAAC,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACnD,MAAM,WAAW,GAAG,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC,YAAY,CAAC,CAAC;QACvD,OAAO,UAAU,IAAI,CAAC,QAAQ,IAAI,WAAW,CAAC,CAAC;IACnD,CAAC,CAAC;IAEF,OAAO,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AACzD,CAAC;AAED;;;GAGG;AACH,SAAS,oBAAoB,CACzB,QAAgB,EAChB,SAAiB,EACjB,MAAgC;IAEhC,MAAM,KAAK,GAAa;QACpB,EAAE;QACF,sBAAsB;QACtB,+DAA+D,QAAQ,0DAA0D;QACjI,aAAa,SAAS,WAAW;QACjC,mBAAmB,MAAM,CAAC,MAAM,iBAAiB;QACjD,mBAAmB,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,IAAI,SAAS,iBAAiB;QACpE,EAAE;QACF,kBAAkB;QAClB,oFAAoF;QACpF,0EAA0E;QAC1E,mBAAmB;QACnB,EAAE;QACF,KAAK,iBAAiB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE;QACzD,uBAAuB;KAC1B,CAAC;IAEF,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED;;;;;;GAMG;AACH,SAAS,aAAa,CAAC,WAAmB,EAAE,WAAmB;IAC3D,MAAM,UAAU,GAAG,qBAAqB,CAAC;IACzC,MAAM,cAAc,GAAG,WAAW,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC;IAE3D,OAAO,cAAc,KAAK,CAAC,CAAC;QACxB,CAAC,CAAC,GAAG,WAAW,KAAK,WAAW,EAAE;QAClC,CAAC,CAAC,GAAG,WAAW,CAAC,KAAK,CAAC,CAAC,EAAE,cAAc,CAAC,KAAK,WAAW,KAAK,WAAW,CAAC,KAAK,CAAC,cAAc,CAAC,EAAE,CAAC;AAC1G,CAAC"}