@fractaal/pi-ai 0.86.9 → 1.6.0

package/dist/utils/validation.js

@@ -1,429 +1,30 @@
-import { Compile } from "typebox/compile";
-import { Settings } from "typebox/system";
-import { Value } from "typebox/value";
+import { compile } from "@earendil-works/pi-schema";
+import { formats } from "@earendil-works/pi-schema/formats";
+// One compiled validator per schema object: tool schemas are long-lived, so the WeakMap drops entries with their tools.
 const validatorCache = new WeakMap();
-const TYPEBOX_KIND = Symbol.for("TypeBox.Kind");
-function getSchemaTypes(schema) {
-    if (typeof schema.type === "string") {
-        return [schema.type];
-    }
-    if (Array.isArray(schema.type)) {
-        return schema.type.filter((type) => typeof type === "string");
-    }
-    return [];
-}
-function matchesJsonType(value, type) {
-    switch (type) {
-        case "number":
-            return typeof value === "number";
-        case "integer":
-            return typeof value === "number" && Number.isInteger(value);
-        case "boolean":
-            return typeof value === "boolean";
-        case "string":
-            return typeof value === "string";
-        case "null":
-            return value === null;
-        case "array":
-            return Array.isArray(value);
-        case "object":
-            return typeof value === "object" && value !== null && !Array.isArray(value);
-        default:
-            return false;
-    }
-}
-function getSubSchemaValidator(schema) {
-    try {
-        return getValidator(schema);
-    }
-    catch {
-        return undefined;
-    }
-}
-function coercePrimitiveByType(value, type) {
-    switch (type) {
-        case "number": {
-            if (value === null) {
-                return 0;
-            }
-            if (typeof value === "string" && value.trim() !== "") {
-                const parsed = Number(value);
-                if (Number.isFinite(parsed)) {
-                    return parsed;
-                }
-            }
-            if (typeof value === "boolean") {
-                return value ? 1 : 0;
-            }
-            return value;
-        }
-        case "integer": {
-            if (value === null) {
-                return 0;
-            }
-            if (typeof value === "string" && value.trim() !== "") {
-                const parsed = Number(value);
-                if (Number.isInteger(parsed)) {
-                    return parsed;
-                }
-            }
-            if (typeof value === "boolean") {
-                return value ? 1 : 0;
-            }
-            return value;
-        }
-        case "boolean": {
-            if (value === null) {
-                return false;
-            }
-            if (typeof value === "string") {
-                if (value === "true") {
-                    return true;
-                }
-                if (value === "false") {
-                    return false;
-                }
-            }
-            if (typeof value === "number") {
-                if (value === 1) {
-                    return true;
-                }
-                if (value === 0) {
-                    return false;
-                }
-            }
-            return value;
-        }
-        case "string": {
-            if (value === null) {
-                return "";
-            }
-            if (typeof value === "number" || typeof value === "boolean") {
-                return String(value);
-            }
-            return value;
-        }
-        case "null": {
-            if (value === "" || value === 0 || value === false) {
-                return null;
-            }
-            return value;
-        }
-        default:
-            return value;
-    }
-}
-function applySchemaObjectCoercion(value, schema) {
-    const properties = schema.properties;
-    const definedKeys = new Set(properties ? Object.keys(properties) : []);
-    if (properties) {
-        for (const [key, propertySchema] of Object.entries(properties)) {
-            if (!(key in value)) {
-                continue;
-            }
-            value[key] = coerceWithJsonSchema(value[key], propertySchema);
-        }
-    }
-    if (schema.additionalProperties && typeof schema.additionalProperties === "object") {
-        for (const [key, propertyValue] of Object.entries(value)) {
-            if (definedKeys.has(key)) {
-                continue;
-            }
-            value[key] = coerceWithJsonSchema(propertyValue, schema.additionalProperties);
-        }
-    }
-}
-function applySchemaArrayCoercion(value, schema) {
-    if (Array.isArray(schema.items)) {
-        for (let index = 0; index < value.length; index++) {
-            const itemSchema = schema.items[index];
-            if (!itemSchema) {
-                continue;
-            }
-            value[index] = coerceWithJsonSchema(value[index], itemSchema);
-        }
-        return;
-    }
-    if (schema.items && typeof schema.items === "object") {
-        for (let index = 0; index < value.length; index++) {
-            value[index] = coerceWithJsonSchema(value[index], schema.items);
-        }
-    }
-}
-function coerceWithUnionSchema(value, schemas) {
-    for (const schema of schemas) {
-        const validator = getSubSchemaValidator(schema);
-        if (validator?.Check(value)) {
-            return value;
-        }
-    }
-    for (const schema of schemas) {
-        const candidate = structuredClone(value);
-        const coerced = coerceWithJsonSchema(candidate, schema);
-        const validator = getSubSchemaValidator(schema);
-        if (validator?.Check(coerced)) {
-            return coerced;
-        }
-    }
-    return value;
-}
-function coerceWithJsonSchema(value, schema) {
-    let nextValue = value;
-    if (Array.isArray(schema.allOf)) {
-        for (const nested of schema.allOf) {
-            nextValue = coerceWithJsonSchema(nextValue, nested);
-        }
-    }
-    if (Array.isArray(schema.anyOf)) {
-        nextValue = coerceWithUnionSchema(nextValue, schema.anyOf);
-    }
-    if (Array.isArray(schema.oneOf)) {
-        nextValue = coerceWithUnionSchema(nextValue, schema.oneOf);
-    }
-    const schemaTypes = getSchemaTypes(schema);
-    const matchesUnionMember = schemaTypes.length > 1 && schemaTypes.some((schemaType) => matchesJsonType(nextValue, schemaType));
-    if (schemaTypes.length > 0 && !matchesUnionMember) {
-        for (const schemaType of schemaTypes) {
-            const candidate = coercePrimitiveByType(nextValue, schemaType);
-            if (candidate !== nextValue) {
-                nextValue = candidate;
-                break;
-            }
-        }
-    }
-    if (schemaTypes.includes("object") &&
-        typeof nextValue === "object" &&
-        nextValue !== null &&
-        !Array.isArray(nextValue)) {
-        applySchemaObjectCoercion(nextValue, schema);
-    }
-    if (schemaTypes.includes("array") && Array.isArray(nextValue)) {
-        applySchemaArrayCoercion(nextValue, schema);
-    }
-    return nextValue;
-}
-function normalizeOptionalNulls(value, schema) {
-    if (Array.isArray(value)) {
-        if (Array.isArray(schema.items)) {
-            for (let index = 0; index < value.length; index++) {
-                const itemSchema = schema.items[index];
-                if (itemSchema)
-                    normalizeOptionalNulls(value[index], itemSchema);
-            }
-        }
-        else if (schema.items) {
-            for (const item of value)
-                normalizeOptionalNulls(item, schema.items);
-        }
-        return;
-    }
-    if (typeof value !== "object" || value === null || !schema.properties)
-        return;
-    const object = value;
-    const required = new Set(schema.required ?? []);
-    for (const [key, propertySchema] of Object.entries(schema.properties)) {
-        if (!(key in object))
-            continue;
-        if (object[key] === null &&
-            !required.has(key) &&
-            typeof propertySchema.$ref !== "string" &&
-            getSubSchemaValidator(propertySchema)?.Check(null) === false) {
-            delete object[key];
-        }
-        else {
-            normalizeOptionalNulls(object[key], propertySchema);
-        }
-    }
-}
 function getValidator(schema) {
-    const key = schema;
-    const cached = validatorCache.get(key);
+    const cached = validatorCache.get(schema);
     if (cached) {
         return cached;
     }
-    const validator = Compile(schema);
-    validatorCache.set(key, validator);
+    // A $ref that names nothing (a dangling definition in an MCP server's schema) rejects only values at its place,
+    // instead of making every call of the tool fail.
+    const validator = compile(schema, { formats, coerce: true, unresolvedRefs: "reject" });
+    validatorCache.set(schema, validator);
     return validator;
 }
-const dereferencedSchemaCache = new WeakMap();
-function decodePointerSegments(pointer) {
+/** A pi-schema error path (a JSON Pointer) as the dotted path the model sees: `/edits/0/oldText` -> `edits.0.oldText`. */
+function formatValidationPath(pointer) {
+    if (pointer === "")
+        return "root";
     return pointer
-        .split("/")
         .slice(1)
-        .map((segment) => segment.replace(/~1/g, "/").replace(/~0/g, "~"));
-}
-function resolvePointer(root, pointer) {
-    if (pointer !== "#" && !pointer.startsWith("#/"))
-        return undefined;
-    let node = root;
-    for (const segment of decodePointerSegments(pointer.slice(1))) {
-        if (typeof node !== "object" || node === null)
-            return undefined;
-        node = node[segment];
-    }
-    return node;
-}
-/**
- * Inlines local `$ref`s so that every error's schema path points into the tool schema itself. TypeBox reports
- * errors inside a referenced schema relative to the reference target, which hides which union branch they
- * belong to. Recursive references are left in place.
- */
-function dereferenceSchema(schema) {
-    const cached = dereferencedSchemaCache.get(schema);
-    if (cached)
-        return cached;
-    const visit = (node, activeRefs) => {
-        if (Array.isArray(node))
-            return node.map((item) => visit(item, activeRefs));
-        if (typeof node !== "object" || node === null)
-            return node;
-        const { $ref: ref, ...rest } = node;
-        const target = typeof ref === "string" && !activeRefs.has(ref) ? resolvePointer(schema, ref) : undefined;
-        const entries = Object.entries(rest).map(([key, value]) => [key, visit(value, activeRefs)]);
-        if (target === undefined)
-            return Object.fromEntries(ref === undefined ? entries : [["$ref", ref], ...entries]);
-        const resolved = visit(target, new Set([...activeRefs, ref]));
-        return entries.length === 0 ? resolved : { ...resolved, ...Object.fromEntries(entries) };
-    };
-    const dereferenced = (JSON.stringify(schema).includes('"$ref"') ? visit(schema, new Set()) : schema);
-    dereferencedSchemaCache.set(schema, dereferenced);
-    return dereferenced;
-}
-// TypeBox stops collecting errors at Settings.maxErrors (8 by default). A union reports every branch in order,
-// so the cap could hide the only branch the arguments were meant for.
-function collectErrors(validator, value) {
-    const { maxErrors } = Settings.Get();
-    Settings.Set({ maxErrors: Number.POSITIVE_INFINITY });
-    try {
-        return validator.Errors(value);
-    }
-    finally {
-        Settings.Set({ maxErrors });
-    }
-}
-/**
- * A failed union reports the errors of every branch. When branches are told apart by a constant property, such
- * as `operation: "save_product"`, keep only the errors of the branches the arguments selected. When no branch
- * matches, report the allowed constants instead of every branch's shape.
- */
-function narrowUnionErrors(errors) {
-    let result = errors;
-    const unions = errors
-        .filter((error) => error.keyword === "anyOf" || error.keyword === "oneOf")
-        .sort((left, right) => left.schemaPath.length - right.schemaPath.length);
-    for (const union of unions) {
-        if (!result.includes(union))
-            continue;
-        const prefix = `${union.schemaPath}/${union.keyword}/`;
-        const branchOf = (error) => error.schemaPath.startsWith(prefix) ? error.schemaPath.slice(prefix.length).split("/")[0] : undefined;
-        const discriminatorErrors = result.filter((error) => (error.keyword === "const" || error.keyword === "enum") &&
-            error.schemaPath.startsWith(prefix) &&
-            /^\d+\/properties\/[^/]+$/.test(error.schemaPath.slice(prefix.length)));
-        if (discriminatorErrors.length === 0)
-            continue;
-        const branches = new Set(result.map(branchOf).filter((branch) => branch !== undefined));
-        const rejected = new Set(discriminatorErrors.map(branchOf));
-        if (rejected.size < branches.size) {
-            result = result.filter((error) => error !== union && !rejected.has(branchOf(error)));
-            continue;
-        }
-        const discriminatorPaths = new Set(discriminatorErrors.map((error) => error.instancePath));
-        if (discriminatorPaths.size !== 1)
-            continue;
-        const allowedValues = discriminatorErrors.flatMap((error) => error.keyword === "const"
-            ? [error.params.allowedValue]
-            : error.params.allowedValues);
-        const replacement = {
-            keyword: "enum",
-            schemaPath: union.schemaPath,
-            instancePath: discriminatorErrors[0].instancePath,
-            params: { allowedValues },
-            message: "",
-        };
-        result = result.flatMap((error) => error === union ? [replacement] : branchOf(error) === undefined ? [error] : []);
-    }
-    return result;
-}
-function valueAtPointer(value, pointer) {
-    let node = value;
-    for (const segment of decodePointerSegments(pointer)) {
-        if (typeof node !== "object" || node === null)
-            return undefined;
-        node = node[segment];
-    }
-    return node;
-}
-function quoteList(values) {
-    return values.map((value) => JSON.stringify(value)).join(", ");
-}
-function describeError(error) {
-    switch (error.keyword) {
-        case "required": {
-            const missing = error.params.requiredProperties;
-            return `missing required ${missing.length === 1 ? "property" : "properties"} ${quoteList(missing)}`;
-        }
-        case "const":
-            return `must be ${JSON.stringify(error.params.allowedValue)}`;
-        case "enum":
-            return `must be one of ${quoteList(error.params.allowedValues)}`;
-        default:
-            return error.message;
-    }
-}
-/** Explains why `value` fails `schema`, with each issue located at the argument it concerns. */
-function explainValidationFailure(schema, value, basePath) {
-    const validator = getSubSchemaValidator(schema);
-    if (!validator)
-        return [];
-    const issues = [];
-    const errors = narrowUnionErrors(collectErrors(validator, value));
-    // Each key an additionalProperties error lists is explained below, so skip TypeBox's per-key errors for them.
-    const additionalPropertiesPaths = errors
-        .filter((error) => error.keyword === "additionalProperties")
-        .map((error) => `${error.schemaPath}/additionalProperties`);
-    for (const error of errors) {
-        if (additionalPropertiesPaths.some((path) => error.schemaPath === path || error.schemaPath.startsWith(`${path}/`))) {
-            continue;
-        }
-        const instancePath = `${basePath}${error.instancePath}`;
-        if (error.keyword !== "additionalProperties") {
-            issues.push({ instancePath, message: describeError(error) });
-            continue;
-        }
-        const keys = error.params.additionalProperties;
-        const valueSchema = resolvePointer(schema, error.schemaPath)
-            ?.additionalProperties;
-        if (typeof valueSchema !== "object") {
-            issues.push({
-                instancePath,
-                message: `unexpected ${keys.length === 1 ? "property" : "properties"} ${quoteList(keys)}`,
-            });
-            continue;
-        }
-        // TypeBox names a map entry whose value is invalid as if the key itself were not allowed; explain the value.
-        for (const key of keys) {
-            const segment = `/${key.replace(/~/g, "~0").replace(/\//g, "~1")}`;
-            const entryValue = valueAtPointer(value, `${error.instancePath}${segment}`);
-            const entryIssues = explainValidationFailure(valueSchema, entryValue, `${instancePath}${segment}`);
-            issues.push(...(entryIssues.length > 0
-                ? entryIssues
-                : [{ instancePath: `${instancePath}${segment}`, message: "is invalid" }]));
-        }
-    }
-    const seen = new Set();
-    return issues.filter((issue) => {
-        const key = `${issue.instancePath}\0${issue.message}`;
-        if (seen.has(key))
-            return false;
-        seen.add(key);
-        return true;
-    });
-}
-function formatIssuePath(instancePath) {
-    return decodePointerSegments(instancePath).join(".") || "root";
+        .split("/")
+        .map((segment) => segment.replace(/~1/g, "/").replace(/~0/g, "~"))
+        .join(".");
 }
 /**
- * Finds a tool by name and validates the tool call arguments against its TypeBox schema
+ * Finds a tool by name and validates the tool call arguments against its JSON Schema
  * @param tools Array of tool definitions
  * @param toolCall The tool call from the LLM
  * @returns The validated arguments
@@ -437,43 +38,24 @@ export function validateToolCall(tools, toolCall) {
     return validateToolArguments(tool, toolCall);
 }
 /**
- * Validates tool call arguments against the tool's TypeBox schema
- * @param tool The tool definition with TypeBox schema
+ * Validates tool call arguments against the tool's JSON Schema (any JSON Schema: pi-schema's builders, TypeBox, plain
+ * objects). The arguments are coerced first (pi-schema's `parse()`): models often send `"42"` for a number, a single
+ * value for an array, or `null` for an omitted optional property.
+ * @param tool The tool definition with its JSON Schema
  * @param toolCall The tool call from the LLM
  * @returns The validated (and potentially coerced) arguments
  * @throws Error with formatted message if validation fails
  */
 export function validateToolArguments(tool, toolCall) {
-    const args = structuredClone(toolCall.arguments);
-    normalizeOptionalNulls(args, tool.parameters);
-    Value.Convert(tool.parameters, args);
-    const validator = getValidator(tool.parameters);
-    if (!Object.getOwnPropertySymbols(tool.parameters).includes(TYPEBOX_KIND)) {
-        const coerced = coerceWithJsonSchema(args, tool.parameters);
-        if (coerced !== args) {
-            if (typeof args === "object" && args !== null && typeof coerced === "object" && coerced !== null) {
-                for (const key of Object.keys(args)) {
-                    delete args[key];
-                }
-                Object.assign(args, coerced);
-            }
-            else {
-                return validator.Check(coerced) ? coerced : args;
-            }
-        }
+    if (toolCall.argumentsError) {
+        throw new Error(`Invalid arguments for tool "${toolCall.name}": ${toolCall.argumentsError}`);
     }
-    if (validator.Check(args)) {
-        return args;
+    // A copy, so tools that modify their arguments never modify the tool call in the transcript.
+    const result = getValidator(tool.parameters).parse(structuredClone(toolCall.arguments));
+    if (result.ok) {
+        return result.value;
     }
-    const explained = explainValidationFailure(dereferenceSchema(tool.parameters), args, "");
-    const issues = explained.length > 0
-        ? explained
-        : collectErrors(validator, args).map((error) => ({
-            instancePath: error.instancePath,
-            message: describeError(error),
-        }));
-    const errors = issues.map((issue) => `  - ${formatIssuePath(issue.instancePath)}: ${issue.message}`).join("\n") ||
-        "Unknown validation error";
+    const errors = result.errors.map((error) => `  - ${formatValidationPath(error.path)}: ${error.message}`).join("\n");
     const errorMessage = `Validation failed for tool "${toolCall.name}":\n${errors}\n\nReceived arguments:\n${JSON.stringify(toolCall.arguments, null, 2)}`;
     throw new Error(errorMessage);
 }

package/dist/utils/validation.js.map

@@ -1 +1 @@
-{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../src/utils/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,iBAAiB,CAAC;AAE1C,OAAO,EAAE,QAAQ,EAAE,MAAM,gBAAgB,CAAC;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,eAAe,CAAC;AAGtC,MAAM,cAAc,GAAG,IAAI,OAAO,EAAsC,CAAC;AACzE,MAAM,YAAY,GAAG,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,CAAC;AAahD,SAAS,cAAc,CAAC,MAAwB;IAC/C,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;QACrC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtB,CAAC;IACD,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAkB,EAAE,CAAC,OAAO,IAAI,KAAK,QAAQ,CAAC,CAAC;IAC/E,CAAC;IACD,OAAO,EAAE,CAAC;AACX,CAAC;AAED,SAAS,eAAe,CAAC,KAAc,EAAE,IAAY;IACpD,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,QAAQ;YACZ,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QAClC,KAAK,SAAS;YACb,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;QAC7D,KAAK,SAAS;YACb,OAAO,OAAO,KAAK,KAAK,SAAS,CAAC;QACnC,KAAK,QAAQ;YACZ,OAAO,OAAO,KAAK,KAAK,QAAQ,CAAC;QAClC,KAAK,MAAM;YACV,OAAO,KAAK,KAAK,IAAI,CAAC;QACvB,KAAK,OAAO;YACX,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,KAAK,QAAQ;YACZ,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7E;YACC,OAAO,KAAK,CAAC;IACf,CAAC;AACF,CAAC;AAED,SAAS,qBAAqB,CAAC,MAAwB;IACtD,IAAI,CAAC;QACJ,OAAO,YAAY,CAAC,MAA4B,CAAC,CAAC;IACnD,CAAC;IAAC,MAAM,CAAC;QACR,OAAO,SAAS,CAAC;IAClB,CAAC;AACF,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc,EAAE,IAAY;IAC1D,QAAQ,IAAI,EAAE,CAAC;QACd,KAAK,QAAQ,EAAE,CAAC;YACf,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACpB,OAAO,CAAC,CAAC;YACV,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC7B,OAAO,MAAM,CAAC;gBACf,CAAC;YACF,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAChC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,KAAK,CAAC;QACd,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YAChB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACpB,OAAO,CAAC,CAAC;YACV,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC;gBACtD,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC9B,OAAO,MAAM,CAAC;gBACf,CAAC;YACF,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAChC,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,KAAK,CAAC;QACd,CAAC;QACD,KAAK,SAAS,EAAE,CAAC;YAChB,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACpB,OAAO,KAAK,CAAC;YACd,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,KAAK,MAAM,EAAE,CAAC;oBACtB,OAAO,IAAI,CAAC;gBACb,CAAC;gBACD,IAAI,KAAK,KAAK,OAAO,EAAE,CAAC;oBACvB,OAAO,KAAK,CAAC;gBACd,CAAC;YACF,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBACjB,OAAO,IAAI,CAAC;gBACb,CAAC;gBACD,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;oBACjB,OAAO,KAAK,CAAC;gBACd,CAAC;YACF,CAAC;YACD,OAAO,KAAK,CAAC;QACd,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACf,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;gBACpB,OAAO,EAAE,CAAC;YACX,CAAC;YACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAC7D,OAAO,MAAM,CAAC,KAAK,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,KAAK,CAAC;QACd,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,KAAK,KAAK,EAAE,IAAI,KAAK,KAAK,CAAC,IAAI,KAAK,KAAK,KAAK,EAAE,CAAC;gBACpD,OAAO,IAAI,CAAC;YACb,CAAC;YACD,OAAO,KAAK,CAAC;QACd,CAAC;QACD;YACC,OAAO,KAAK,CAAC;IACf,CAAC;AACF,CAAC;AAED,SAAS,yBAAyB,CAAC,KAA8B,EAAE,MAAwB;IAC1F,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,MAAM,WAAW,GAAG,IAAI,GAAG,CAAS,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;IAE/E,IAAI,UAAU,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,GAAG,EAAE,cAAc,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;YAChE,IAAI,CAAC,CAAC,GAAG,IAAI,KAAK,CAAC,EAAE,CAAC;gBACrB,SAAS;YACV,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,GAAG,oBAAoB,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,cAAc,CAAC,CAAC;QAC/D,CAAC;IACF,CAAC;IAED,IAAI,MAAM,CAAC,oBAAoB,IAAI,OAAO,MAAM,CAAC,oBAAoB,KAAK,QAAQ,EAAE,CAAC;QACpF,KAAK,MAAM,CAAC,GAAG,EAAE,aAAa,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1D,IAAI,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;gBAC1B,SAAS;YACV,CAAC;YACD,KAAK,CAAC,GAAG,CAAC,GAAG,oBAAoB,CAAC,aAAa,EAAE,MAAM,CAAC,oBAAoB,CAAC,CAAC;QAC/E,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,wBAAwB,CAAC,KAAgB,EAAE,MAAwB;IAC3E,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACnD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;YACvC,IAAI,CAAC,UAAU,EAAE,CAAC;gBACjB,SAAS;YACV,CAAC;YACD,KAAK,CAAC,KAAK,CAAC,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;QAC/D,CAAC;QACD,OAAO;IACR,CAAC;IAED,IAAI,MAAM,CAAC,KAAK,IAAI,OAAO,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QACtD,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;YACnD,KAAK,CAAC,KAAK,CAAC,GAAG,oBAAoB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACjE,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,qBAAqB,CAAC,KAAc,EAAE,OAA2B;IACzE,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,SAAS,EAAE,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAC7B,OAAO,KAAK,CAAC;QACd,CAAC;IACF,CAAC;IAED,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC9B,MAAM,SAAS,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACzC,MAAM,OAAO,GAAG,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACxD,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;QAChD,IAAI,SAAS,EAAE,KAAK,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,OAAO,OAAO,CAAC;QAChB,CAAC;IACF,CAAC;IACD,OAAO,KAAK,CAAC;AACd,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc,EAAE,MAAwB;IACrE,IAAI,SAAS,GAAG,KAAK,CAAC;IAEtB,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACnC,SAAS,GAAG,oBAAoB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;QACrD,CAAC;IACF,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,SAAS,GAAG,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC;IAED,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACjC,SAAS,GAAG,qBAAqB,CAAC,SAAS,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;IAC5D,CAAC;IAED,MAAM,WAAW,GAAG,cAAc,CAAC,MAAM,CAAC,CAAC;IAC3C,MAAM,kBAAkB,GACvB,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,WAAW,CAAC,IAAI,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,eAAe,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC;IACpG,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,kBAAkB,EAAE,CAAC;QACnD,KAAK,MAAM,UAAU,IAAI,WAAW,EAAE,CAAC;YACtC,MAAM,SAAS,GAAG,qBAAqB,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YAC/D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;gBAC7B,SAAS,GAAG,SAAS,CAAC;gBACtB,MAAM;YACP,CAAC;QACF,CAAC;IACF,CAAC;IAED,IACC,WAAW,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAC9B,OAAO,SAAS,KAAK,QAAQ;QAC7B,SAAS,KAAK,IAAI;QAClB,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EACxB,CAAC;QACF,yBAAyB,CAAC,SAAoC,EAAE,MAAM,CAAC,CAAC;IACzE,CAAC;IAED,IAAI,WAAW,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,EAAE,CAAC;QAC/D,wBAAwB,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;IAC7C,CAAC;IAED,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,SAAS,sBAAsB,CAAC,KAAc,EAAE,MAAwB;IACvE,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;gBACnD,MAAM,UAAU,GAAG,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBACvC,IAAI,UAAU;oBAAE,sBAAsB,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC,CAAC;YAClE,CAAC;QACF,CAAC;aAAM,IAAI,MAAM,CAAC,KAAK,EAAE,CAAC;YACzB,KAAK,MAAM,IAAI,IAAI,KAAK;gBAAE,sBAAsB,CAAC,IAAI,EAAE,MAAM,CAAC,KAAK,CAAC,CAAC;QACtE,CAAC;QACD,OAAO;IACR,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU;QAAE,OAAO;IAE9E,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,IAAI,EAAE,CAAC,CAAC;IAChD,KAAK,MAAM,CAAC,GAAG,EAAE,cAAc,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QACvE,IAAI,CAAC,CAAC,GAAG,IAAI,MAAM,CAAC;YAAE,SAAS;QAC/B,IACC,MAAM,CAAC,GAAG,CAAC,KAAK,IAAI;YACpB,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC;YAClB,OAAQ,cAAqC,CAAC,IAAI,KAAK,QAAQ;YAC/D,qBAAqB,CAAC,cAAc,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,EAC3D,CAAC;YACF,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC;QACpB,CAAC;aAAM,CAAC;YACP,sBAAsB,CAAC,MAAM,CAAC,GAAG,CAAC,EAAE,cAAc,CAAC,CAAC;QACrD,CAAC;IACF,CAAC;AACF,CAAC;AAED,SAAS,YAAY,CAAC,MAA0B;IAC/C,MAAM,GAAG,GAAG,MAAgB,CAAC;IAC7B,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACvC,IAAI,MAAM,EAAE,CAAC;QACZ,OAAO,MAAM,CAAC;IACf,CAAC;IACD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;IAClC,cAAc,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;IACnC,OAAO,SAAS,CAAC;AAClB,CAAC;AAOD,MAAM,uBAAuB,GAAG,IAAI,OAAO,EAA4B,CAAC;AAExE,SAAS,qBAAqB,CAAC,OAAe;IAC7C,OAAO,OAAO;SACZ,KAAK,CAAC,GAAG,CAAC;SACV,KAAK,CAAC,CAAC,CAAC;SACR,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;AACrE,CAAC;AAED,SAAS,cAAc,CAAC,IAAa,EAAE,OAAe;IACrD,IAAI,OAAO,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACnE,IAAI,IAAI,GAAG,IAAI,CAAC;IAChB,KAAK,MAAM,OAAO,IAAI,qBAAqB,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;QAC/D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QAChE,IAAI,GAAI,IAAgC,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,MAA0B;IACpD,MAAM,MAAM,GAAG,uBAAuB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACnD,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,MAAM,KAAK,GAAG,CAAC,IAAa,EAAE,UAA+B,EAAW,EAAE;QACzE,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;YAAE,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC,CAAC;QAC5E,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,IAAI,CAAC;QAC3D,MAAM,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,IAAI,EAAE,GAAG,IAA+B,CAAC;QAC/D,MAAM,MAAM,GAAG,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,cAAc,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACzG,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,EAAE,KAAK,CAAC,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC;QAC5F,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC,WAAW,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,CAAC;QAC/G,MAAM,QAAQ,GAAG,KAAK,CAAC,MAAM,EAAE,IAAI,GAAG,CAAC,CAAC,GAAG,UAAU,EAAE,GAAa,CAAC,CAAC,CAAC,CAAC;QACxE,OAAO,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,GAAI,QAAmB,EAAE,GAAG,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,EAAE,CAAC;IACtG,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CACpB,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,MAAM,CACzD,CAAC;IACtB,uBAAuB,CAAC,GAAG,CAAC,MAAM,EAAE,YAAY,CAAC,CAAC;IAClD,OAAO,YAAY,CAAC;AACrB,CAAC;AAED,+GAA+G;AAC/G,sEAAsE;AACtE,SAAS,aAAa,CAAC,SAAqC,EAAE,KAAc;IAC3E,MAAM,EAAE,SAAS,EAAE,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC;IACrC,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,MAAM,CAAC,iBAAiB,EAAE,CAAC,CAAC;IACtD,IAAI,CAAC;QACJ,OAAO,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IAChC,CAAC;YAAS,CAAC;QACV,QAAQ,CAAC,GAAG,CAAC,EAAE,SAAS,EAAE,CAAC,CAAC;IAC7B,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,iBAAiB,CAAC,MAAmC;IAC7D,IAAI,MAAM,GAAG,MAAM,CAAC;IACpB,MAAM,MAAM,GAAG,MAAM;SACnB,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,OAAO,CAAC;SACzE,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,GAAG,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;IAC1E,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,SAAS;QACtC,MAAM,MAAM,GAAG,GAAG,KAAK,CAAC,UAAU,IAAI,KAAK,CAAC,OAAO,GAAG,CAAC;QACvD,MAAM,QAAQ,GAAG,CAAC,KAAgC,EAAE,EAAE,CACrD,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACvG,MAAM,mBAAmB,GAAG,MAAM,CAAC,MAAM,CACxC,CAAC,KAAK,EAAE,EAAE,CACT,CAAC,KAAK,CAAC,OAAO,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,KAAK,MAAM,CAAC;YACvD,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,MAAM,CAAC;YACnC,0BAA0B,CAAC,IAAI,CAAC,KAAK,CAAC,UAAU,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CACvE,CAAC;QACF,IAAI,mBAAmB,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC/C,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC;QACxF,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC5D,IAAI,QAAQ,CAAC,IAAI,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC;YACnC,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,KAAK,KAAK,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YACrF,SAAS;QACV,CAAC;QACD,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC,mBAAmB,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC;QAC3F,IAAI,kBAAkB,CAAC,IAAI,KAAK,CAAC;YAAE,SAAS;QAC5C,MAAM,aAAa,GAAG,mBAAmB,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CAC3D,KAAK,CAAC,OAAO,KAAK,OAAO;YACxB,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC;YAC7B,CAAC,CAAE,KAAK,CAAC,MAAuC,CAAC,aAAa,CAC/D,CAAC;QACF,MAAM,WAAW,GAAG;YACnB,OAAO,EAAE,MAAM;YACf,UAAU,EAAE,KAAK,CAAC,UAAU;YAC5B,YAAY,EAAE,mBAAmB,CAAC,CAAC,CAAC,CAAC,YAAY;YACjD,MAAM,EAAE,EAAE,aAAa,EAAE;YACzB,OAAO,EAAE,EAAE;SACkB,CAAC;QAC/B,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC,KAAK,EAAE,EAAE,CACjC,KAAK,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAC9E,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CAAC,KAAc,EAAE,OAAe;IACtD,IAAI,IAAI,GAAG,KAAK,CAAC;IACjB,KAAK,MAAM,OAAO,IAAI,qBAAqB,CAAC,OAAO,CAAC,EAAE,CAAC;QACtD,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QAChE,IAAI,GAAI,IAAgC,CAAC,OAAO,CAAC,CAAC;IACnD,CAAC;IACD,OAAO,IAAI,CAAC;AACb,CAAC;AAED,SAAS,SAAS,CAAC,MAAiB;IACnC,OAAO,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAChE,CAAC;AAED,SAAS,aAAa,CAAC,KAAgC;IACtD,QAAQ,KAAK,CAAC,OAAO,EAAE,CAAC;QACvB,KAAK,UAAU,EAAE,CAAC;YACjB,MAAM,OAAO,GAAG,KAAK,CAAC,MAAM,CAAC,kBAAkB,CAAC;YAChD,OAAO,oBAAoB,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,IAAI,SAAS,CAAC,OAAO,CAAC,EAAE,CAAC;QACrG,CAAC;QACD,KAAK,OAAO;YACX,OAAO,WAAW,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,YAAY,CAAC,EAAE,CAAC;QAC/D,KAAK,MAAM;YACV,OAAO,kBAAkB,SAAS,CAAC,KAAK,CAAC,MAAM,CAAC,aAAa,CAAC,EAAE,CAAC;QAClE;YACC,OAAO,KAAK,CAAC,OAAO,CAAC;IACvB,CAAC;AACF,CAAC;AAED,gGAAgG;AAChG,SAAS,wBAAwB,CAAC,MAAwB,EAAE,KAAc,EAAE,QAAgB;IAC3F,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,CAAC,CAAC;IAChD,IAAI,CAAC,SAAS;QAAE,OAAO,EAAE,CAAC;IAC1B,MAAM,MAAM,GAAsB,EAAE,CAAC;IACrC,MAAM,MAAM,GAAG,iBAAiB,CAAC,aAAa,CAAC,SAAS,EAAE,KAAK,CAAC,CAAC,CAAC;IAClE,8GAA8G;IAC9G,MAAM,yBAAyB,GAAG,MAAM;SACtC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,OAAO,KAAK,sBAAsB,CAAC;SAC3D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,GAAG,KAAK,CAAC,UAAU,uBAAuB,CAAC,CAAC;IAC7D,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;QAC5B,IACC,yBAAyB,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,KAAK,CAAC,UAAU,KAAK,IAAI,IAAI,KAAK,CAAC,UAAU,CAAC,UAAU,CAAC,GAAG,IAAI,GAAG,CAAC,CAAC,EAC7G,CAAC;YACF,SAAS;QACV,CAAC;QACD,MAAM,YAAY,GAAG,GAAG,QAAQ,GAAG,KAAK,CAAC,YAAY,EAAE,CAAC;QACxD,IAAI,KAAK,CAAC,OAAO,KAAK,sBAAsB,EAAE,CAAC;YAC9C,MAAM,CAAC,IAAI,CAAC,EAAE,YAAY,EAAE,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;YAC7D,SAAS;QACV,CAAC;QACD,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,oBAAoB,CAAC;QAC/C,MAAM,WAAW,GAAI,cAAc,CAAC,MAAM,EAAE,KAAK,CAAC,UAAU,CAAkC;YAC7F,EAAE,oBAAoB,CAAC;QACxB,IAAI,OAAO,WAAW,KAAK,QAAQ,EAAE,CAAC;YACrC,MAAM,CAAC,IAAI,CAAC;gBACX,YAAY;gBACZ,OAAO,EAAE,cAAc,IAAI,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,IAAI,SAAS,CAAC,IAAI,CAAC,EAAE;aACzF,CAAC,CAAC;YACH,SAAS;QACV,CAAC;QACD,6GAA6G;QAC7G,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;YACxB,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,EAAE,CAAC;YACnE,MAAM,UAAU,GAAG,cAAc,CAAC,KAAK,EAAE,GAAG,KAAK,CAAC,YAAY,GAAG,OAAO,EAAE,CAAC,CAAC;YAC5E,MAAM,WAAW,GAAG,wBAAwB,CAAC,WAAW,EAAE,UAAU,EAAE,GAAG,YAAY,GAAG,OAAO,EAAE,CAAC,CAAC;YACnG,MAAM,CAAC,IAAI,CACV,GAAG,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC;gBACzB,CAAC,CAAC,WAAW;gBACb,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,GAAG,YAAY,GAAG,OAAO,EAAE,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC,CAAC,CAC1E,CAAC;QACH,CAAC;IACF,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,EAAE;QAC9B,MAAM,GAAG,GAAG,GAAG,KAAK,CAAC,YAAY,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC;QACtD,IAAI,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;QAChC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACd,OAAO,IAAI,CAAC;IACb,CAAC,CAAC,CAAC;AACJ,CAAC;AAED,SAAS,eAAe,CAAC,YAAoB;IAC5C,OAAO,qBAAqB,CAAC,YAAY,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC;AAChE,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,QAAkB;IACjE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,SAAS,QAAQ,CAAC,IAAI,aAAa,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAU,EAAE,QAAkB;IACnE,MAAM,IAAI,GAAG,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC;IACjD,sBAAsB,CAAC,IAAI,EAAE,IAAI,CAAC,UAA8B,CAAC,CAAC;IAClE,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IAErC,MAAM,SAAS,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,qBAAqB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,CAAC;QAC3E,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,EAAE,IAAI,CAAC,UAA8B,CAAC,CAAC;QAChF,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;YACtB,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,KAAK,IAAI,EAAE,CAAC;gBAClG,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC;gBAClB,CAAC;gBACD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;YAC9B,CAAC;iBAAM,CAAC;gBACP,OAAO,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,IAAI,CAAC;YAClD,CAAC;QACF,CAAC;IACF,CAAC;IAED,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3B,OAAO,IAAI,CAAC;IACb,CAAC;IAED,MAAM,SAAS,GAAG,wBAAwB,CAAC,iBAAiB,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,IAAI,EAAE,EAAE,CAAC,CAAC;IACzF,MAAM,MAAM,GACX,SAAS,CAAC,MAAM,GAAG,CAAC;QACnB,CAAC,CAAC,SAAS;QACX,CAAC,CAAC,aAAa,CAAC,SAAS,EAAE,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC;YAC/C,YAAY,EAAE,KAAK,CAAC,YAAY;YAChC,OAAO,EAAE,aAAa,CAAC,KAAK,CAAC;SAC7B,CAAC,CAAC,CAAC;IACP,MAAM,MAAM,GACX,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,eAAe,CAAC,KAAK,CAAC,YAAY,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC;QAChG,0BAA0B,CAAC;IAE5B,MAAM,YAAY,GAAG,+BAA+B,QAAQ,CAAC,IAAI,OAAO,MAAM,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IAExJ,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;AAC/B,CAAC","sourcesContent":["import { Compile } from \"typebox/compile\";\nimport type { TLocalizedValidationError } from \"typebox/error\";\nimport { Settings } from \"typebox/system\";\nimport { Value } from \"typebox/value\";\nimport type { Tool, ToolCall } from \"../types.ts\";\n\nconst validatorCache = new WeakMap<object, ReturnType<typeof Compile>>();\nconst TYPEBOX_KIND = Symbol.for(\"TypeBox.Kind\");\n\ninterface JsonSchemaObject {\n\ttype?: string | string[];\n\tproperties?: Record<string, JsonSchemaObject>;\n\trequired?: string[];\n\titems?: JsonSchemaObject | JsonSchemaObject[];\n\tadditionalProperties?: boolean | JsonSchemaObject;\n\tallOf?: JsonSchemaObject[];\n\tanyOf?: JsonSchemaObject[];\n\toneOf?: JsonSchemaObject[];\n}\n\nfunction getSchemaTypes(schema: JsonSchemaObject): string[] {\n\tif (typeof schema.type === \"string\") {\n\t\treturn [schema.type];\n\t}\n\tif (Array.isArray(schema.type)) {\n\t\treturn schema.type.filter((type): type is string => typeof type === \"string\");\n\t}\n\treturn [];\n}\n\nfunction matchesJsonType(value: unknown, type: string): boolean {\n\tswitch (type) {\n\t\tcase \"number\":\n\t\t\treturn typeof value === \"number\";\n\t\tcase \"integer\":\n\t\t\treturn typeof value === \"number\" && Number.isInteger(value);\n\t\tcase \"boolean\":\n\t\t\treturn typeof value === \"boolean\";\n\t\tcase \"string\":\n\t\t\treturn typeof value === \"string\";\n\t\tcase \"null\":\n\t\t\treturn value === null;\n\t\tcase \"array\":\n\t\t\treturn Array.isArray(value);\n\t\tcase \"object\":\n\t\t\treturn typeof value === \"object\" && value !== null && !Array.isArray(value);\n\t\tdefault:\n\t\t\treturn false;\n\t}\n}\n\nfunction getSubSchemaValidator(schema: JsonSchemaObject): ReturnType<typeof Compile> | undefined {\n\ttry {\n\t\treturn getValidator(schema as Tool[\"parameters\"]);\n\t} catch {\n\t\treturn undefined;\n\t}\n}\n\nfunction coercePrimitiveByType(value: unknown, type: string): unknown {\n\tswitch (type) {\n\t\tcase \"number\": {\n\t\t\tif (value === null) {\n\t\t\t\treturn 0;\n\t\t\t}\n\t\t\tif (typeof value === \"string\" && value.trim() !== \"\") {\n\t\t\t\tconst parsed = Number(value);\n\t\t\t\tif (Number.isFinite(parsed)) {\n\t\t\t\t\treturn parsed;\n\t\t\t\t}\n\t\t\t}\n\t\t\tif (typeof value === \"boolean\") {\n\t\t\t\treturn value ? 1 : 0;\n\t\t\t}\n\t\t\treturn value;\n\t\t}\n\t\tcase \"integer\": {\n\t\t\tif (value === null) {\n\t\t\t\treturn 0;\n\t\t\t}\n\t\t\tif (typeof value === \"string\" && value.trim() !== \"\") {\n\t\t\t\tconst parsed = Number(value);\n\t\t\t\tif (Number.isInteger(parsed)) {\n\t\t\t\t\treturn parsed;\n\t\t\t\t}\n\t\t\t}\n\t\t\tif (typeof value === \"boolean\") {\n\t\t\t\treturn value ? 1 : 0;\n\t\t\t}\n\t\t\treturn value;\n\t\t}\n\t\tcase \"boolean\": {\n\t\t\tif (value === null) {\n\t\t\t\treturn false;\n\t\t\t}\n\t\t\tif (typeof value === \"string\") {\n\t\t\t\tif (value === \"true\") {\n\t\t\t\t\treturn true;\n\t\t\t\t}\n\t\t\t\tif (value === \"false\") {\n\t\t\t\t\treturn false;\n\t\t\t\t}\n\t\t\t}\n\t\t\tif (typeof value === \"number\") {\n\t\t\t\tif (value === 1) {\n\t\t\t\t\treturn true;\n\t\t\t\t}\n\t\t\t\tif (value === 0) {\n\t\t\t\t\treturn false;\n\t\t\t\t}\n\t\t\t}\n\t\t\treturn value;\n\t\t}\n\t\tcase \"string\": {\n\t\t\tif (value === null) {\n\t\t\t\treturn \"\";\n\t\t\t}\n\t\t\tif (typeof value === \"number\" || typeof value === \"boolean\") {\n\t\t\t\treturn String(value);\n\t\t\t}\n\t\t\treturn value;\n\t\t}\n\t\tcase \"null\": {\n\t\t\tif (value === \"\" || value === 0 || value === false) {\n\t\t\t\treturn null;\n\t\t\t}\n\t\t\treturn value;\n\t\t}\n\t\tdefault:\n\t\t\treturn value;\n\t}\n}\n\nfunction applySchemaObjectCoercion(value: Record<string, unknown>, schema: JsonSchemaObject): void {\n\tconst properties = schema.properties;\n\tconst definedKeys = new Set<string>(properties ? Object.keys(properties) : []);\n\n\tif (properties) {\n\t\tfor (const [key, propertySchema] of Object.entries(properties)) {\n\t\t\tif (!(key in value)) {\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\tvalue[key] = coerceWithJsonSchema(value[key], propertySchema);\n\t\t}\n\t}\n\n\tif (schema.additionalProperties && typeof schema.additionalProperties === \"object\") {\n\t\tfor (const [key, propertyValue] of Object.entries(value)) {\n\t\t\tif (definedKeys.has(key)) {\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\tvalue[key] = coerceWithJsonSchema(propertyValue, schema.additionalProperties);\n\t\t}\n\t}\n}\n\nfunction applySchemaArrayCoercion(value: unknown[], schema: JsonSchemaObject): void {\n\tif (Array.isArray(schema.items)) {\n\t\tfor (let index = 0; index < value.length; index++) {\n\t\t\tconst itemSchema = schema.items[index];\n\t\t\tif (!itemSchema) {\n\t\t\t\tcontinue;\n\t\t\t}\n\t\t\tvalue[index] = coerceWithJsonSchema(value[index], itemSchema);\n\t\t}\n\t\treturn;\n\t}\n\n\tif (schema.items && typeof schema.items === \"object\") {\n\t\tfor (let index = 0; index < value.length; index++) {\n\t\t\tvalue[index] = coerceWithJsonSchema(value[index], schema.items);\n\t\t}\n\t}\n}\n\nfunction coerceWithUnionSchema(value: unknown, schemas: JsonSchemaObject[]): unknown {\n\tfor (const schema of schemas) {\n\t\tconst validator = getSubSchemaValidator(schema);\n\t\tif (validator?.Check(value)) {\n\t\t\treturn value;\n\t\t}\n\t}\n\n\tfor (const schema of schemas) {\n\t\tconst candidate = structuredClone(value);\n\t\tconst coerced = coerceWithJsonSchema(candidate, schema);\n\t\tconst validator = getSubSchemaValidator(schema);\n\t\tif (validator?.Check(coerced)) {\n\t\t\treturn coerced;\n\t\t}\n\t}\n\treturn value;\n}\n\nfunction coerceWithJsonSchema(value: unknown, schema: JsonSchemaObject): unknown {\n\tlet nextValue = value;\n\n\tif (Array.isArray(schema.allOf)) {\n\t\tfor (const nested of schema.allOf) {\n\t\t\tnextValue = coerceWithJsonSchema(nextValue, nested);\n\t\t}\n\t}\n\n\tif (Array.isArray(schema.anyOf)) {\n\t\tnextValue = coerceWithUnionSchema(nextValue, schema.anyOf);\n\t}\n\n\tif (Array.isArray(schema.oneOf)) {\n\t\tnextValue = coerceWithUnionSchema(nextValue, schema.oneOf);\n\t}\n\n\tconst schemaTypes = getSchemaTypes(schema);\n\tconst matchesUnionMember =\n\t\tschemaTypes.length > 1 && schemaTypes.some((schemaType) => matchesJsonType(nextValue, schemaType));\n\tif (schemaTypes.length > 0 && !matchesUnionMember) {\n\t\tfor (const schemaType of schemaTypes) {\n\t\t\tconst candidate = coercePrimitiveByType(nextValue, schemaType);\n\t\t\tif (candidate !== nextValue) {\n\t\t\t\tnextValue = candidate;\n\t\t\t\tbreak;\n\t\t\t}\n\t\t}\n\t}\n\n\tif (\n\t\tschemaTypes.includes(\"object\") &&\n\t\ttypeof nextValue === \"object\" &&\n\t\tnextValue !== null &&\n\t\t!Array.isArray(nextValue)\n\t) {\n\t\tapplySchemaObjectCoercion(nextValue as Record<string, unknown>, schema);\n\t}\n\n\tif (schemaTypes.includes(\"array\") && Array.isArray(nextValue)) {\n\t\tapplySchemaArrayCoercion(nextValue, schema);\n\t}\n\n\treturn nextValue;\n}\n\nfunction normalizeOptionalNulls(value: unknown, schema: JsonSchemaObject): void {\n\tif (Array.isArray(value)) {\n\t\tif (Array.isArray(schema.items)) {\n\t\t\tfor (let index = 0; index < value.length; index++) {\n\t\t\t\tconst itemSchema = schema.items[index];\n\t\t\t\tif (itemSchema) normalizeOptionalNulls(value[index], itemSchema);\n\t\t\t}\n\t\t} else if (schema.items) {\n\t\t\tfor (const item of value) normalizeOptionalNulls(item, schema.items);\n\t\t}\n\t\treturn;\n\t}\n\tif (typeof value !== \"object\" || value === null || !schema.properties) return;\n\n\tconst object = value as Record<string, unknown>;\n\tconst required = new Set(schema.required ?? []);\n\tfor (const [key, propertySchema] of Object.entries(schema.properties)) {\n\t\tif (!(key in object)) continue;\n\t\tif (\n\t\t\tobject[key] === null &&\n\t\t\t!required.has(key) &&\n\t\t\ttypeof (propertySchema as { $ref?: unknown }).$ref !== \"string\" &&\n\t\t\tgetSubSchemaValidator(propertySchema)?.Check(null) === false\n\t\t) {\n\t\t\tdelete object[key];\n\t\t} else {\n\t\t\tnormalizeOptionalNulls(object[key], propertySchema);\n\t\t}\n\t}\n}\n\nfunction getValidator(schema: Tool[\"parameters\"]): ReturnType<typeof Compile> {\n\tconst key = schema as object;\n\tconst cached = validatorCache.get(key);\n\tif (cached) {\n\t\treturn cached;\n\t}\n\tconst validator = Compile(schema);\n\tvalidatorCache.set(key, validator);\n\treturn validator;\n}\n\ninterface ValidationIssue {\n\tinstancePath: string;\n\tmessage: string;\n}\n\nconst dereferencedSchemaCache = new WeakMap<object, JsonSchemaObject>();\n\nfunction decodePointerSegments(pointer: string): string[] {\n\treturn pointer\n\t\t.split(\"/\")\n\t\t.slice(1)\n\t\t.map((segment) => segment.replace(/~1/g, \"/\").replace(/~0/g, \"~\"));\n}\n\nfunction resolvePointer(root: unknown, pointer: string): unknown {\n\tif (pointer !== \"#\" && !pointer.startsWith(\"#/\")) return undefined;\n\tlet node = root;\n\tfor (const segment of decodePointerSegments(pointer.slice(1))) {\n\t\tif (typeof node !== \"object\" || node === null) return undefined;\n\t\tnode = (node as Record<string, unknown>)[segment];\n\t}\n\treturn node;\n}\n\n/**\n * Inlines local `$ref`s so that every error's schema path points into the tool schema itself. TypeBox reports\n * errors inside a referenced schema relative to the reference target, which hides which union branch they\n * belong to. Recursive references are left in place.\n */\nfunction dereferenceSchema(schema: Tool[\"parameters\"]): JsonSchemaObject {\n\tconst cached = dereferencedSchemaCache.get(schema);\n\tif (cached) return cached;\n\tconst visit = (node: unknown, activeRefs: ReadonlySet<string>): unknown => {\n\t\tif (Array.isArray(node)) return node.map((item) => visit(item, activeRefs));\n\t\tif (typeof node !== \"object\" || node === null) return node;\n\t\tconst { $ref: ref, ...rest } = node as Record<string, unknown>;\n\t\tconst target = typeof ref === \"string\" && !activeRefs.has(ref) ? resolvePointer(schema, ref) : undefined;\n\t\tconst entries = Object.entries(rest).map(([key, value]) => [key, visit(value, activeRefs)]);\n\t\tif (target === undefined) return Object.fromEntries(ref === undefined ? entries : [[\"$ref\", ref], ...entries]);\n\t\tconst resolved = visit(target, new Set([...activeRefs, ref as string]));\n\t\treturn entries.length === 0 ? resolved : { ...(resolved as object), ...Object.fromEntries(entries) };\n\t};\n\tconst dereferenced = (\n\t\tJSON.stringify(schema).includes('\"$ref\"') ? visit(schema, new Set()) : schema\n\t) as JsonSchemaObject;\n\tdereferencedSchemaCache.set(schema, dereferenced);\n\treturn dereferenced;\n}\n\n// TypeBox stops collecting errors at Settings.maxErrors (8 by default). A union reports every branch in order,\n// so the cap could hide the only branch the arguments were meant for.\nfunction collectErrors(validator: ReturnType<typeof Compile>, value: unknown): TLocalizedValidationError[] {\n\tconst { maxErrors } = Settings.Get();\n\tSettings.Set({ maxErrors: Number.POSITIVE_INFINITY });\n\ttry {\n\t\treturn validator.Errors(value);\n\t} finally {\n\t\tSettings.Set({ maxErrors });\n\t}\n}\n\n/**\n * A failed union reports the errors of every branch. When branches are told apart by a constant property, such\n * as `operation: \"save_product\"`, keep only the errors of the branches the arguments selected. When no branch\n * matches, report the allowed constants instead of every branch's shape.\n */\nfunction narrowUnionErrors(errors: TLocalizedValidationError[]): TLocalizedValidationError[] {\n\tlet result = errors;\n\tconst unions = errors\n\t\t.filter((error) => error.keyword === \"anyOf\" || error.keyword === \"oneOf\")\n\t\t.sort((left, right) => left.schemaPath.length - right.schemaPath.length);\n\tfor (const union of unions) {\n\t\tif (!result.includes(union)) continue;\n\t\tconst prefix = `${union.schemaPath}/${union.keyword}/`;\n\t\tconst branchOf = (error: TLocalizedValidationError) =>\n\t\t\terror.schemaPath.startsWith(prefix) ? error.schemaPath.slice(prefix.length).split(\"/\")[0] : undefined;\n\t\tconst discriminatorErrors = result.filter(\n\t\t\t(error) =>\n\t\t\t\t(error.keyword === \"const\" || error.keyword === \"enum\") &&\n\t\t\t\terror.schemaPath.startsWith(prefix) &&\n\t\t\t\t/^\\d+\\/properties\\/[^/]+$/.test(error.schemaPath.slice(prefix.length)),\n\t\t);\n\t\tif (discriminatorErrors.length === 0) continue;\n\t\tconst branches = new Set(result.map(branchOf).filter((branch) => branch !== undefined));\n\t\tconst rejected = new Set(discriminatorErrors.map(branchOf));\n\t\tif (rejected.size < branches.size) {\n\t\t\tresult = result.filter((error) => error !== union && !rejected.has(branchOf(error)));\n\t\t\tcontinue;\n\t\t}\n\t\tconst discriminatorPaths = new Set(discriminatorErrors.map((error) => error.instancePath));\n\t\tif (discriminatorPaths.size !== 1) continue;\n\t\tconst allowedValues = discriminatorErrors.flatMap((error) =>\n\t\t\terror.keyword === \"const\"\n\t\t\t\t? [error.params.allowedValue]\n\t\t\t\t: (error.params as { allowedValues: unknown[] }).allowedValues,\n\t\t);\n\t\tconst replacement = {\n\t\t\tkeyword: \"enum\",\n\t\t\tschemaPath: union.schemaPath,\n\t\t\tinstancePath: discriminatorErrors[0].instancePath,\n\t\t\tparams: { allowedValues },\n\t\t\tmessage: \"\",\n\t\t} as TLocalizedValidationError;\n\t\tresult = result.flatMap((error) =>\n\t\t\terror === union ? [replacement] : branchOf(error) === undefined ? [error] : [],\n\t\t);\n\t}\n\treturn result;\n}\n\nfunction valueAtPointer(value: unknown, pointer: string): unknown {\n\tlet node = value;\n\tfor (const segment of decodePointerSegments(pointer)) {\n\t\tif (typeof node !== \"object\" || node === null) return undefined;\n\t\tnode = (node as Record<string, unknown>)[segment];\n\t}\n\treturn node;\n}\n\nfunction quoteList(values: unknown[]): string {\n\treturn values.map((value) => JSON.stringify(value)).join(\", \");\n}\n\nfunction describeError(error: TLocalizedValidationError): string {\n\tswitch (error.keyword) {\n\t\tcase \"required\": {\n\t\t\tconst missing = error.params.requiredProperties;\n\t\t\treturn `missing required ${missing.length === 1 ? \"property\" : \"properties\"} ${quoteList(missing)}`;\n\t\t}\n\t\tcase \"const\":\n\t\t\treturn `must be ${JSON.stringify(error.params.allowedValue)}`;\n\t\tcase \"enum\":\n\t\t\treturn `must be one of ${quoteList(error.params.allowedValues)}`;\n\t\tdefault:\n\t\t\treturn error.message;\n\t}\n}\n\n/** Explains why `value` fails `schema`, with each issue located at the argument it concerns. */\nfunction explainValidationFailure(schema: JsonSchemaObject, value: unknown, basePath: string): ValidationIssue[] {\n\tconst validator = getSubSchemaValidator(schema);\n\tif (!validator) return [];\n\tconst issues: ValidationIssue[] = [];\n\tconst errors = narrowUnionErrors(collectErrors(validator, value));\n\t// Each key an additionalProperties error lists is explained below, so skip TypeBox's per-key errors for them.\n\tconst additionalPropertiesPaths = errors\n\t\t.filter((error) => error.keyword === \"additionalProperties\")\n\t\t.map((error) => `${error.schemaPath}/additionalProperties`);\n\tfor (const error of errors) {\n\t\tif (\n\t\t\tadditionalPropertiesPaths.some((path) => error.schemaPath === path || error.schemaPath.startsWith(`${path}/`))\n\t\t) {\n\t\t\tcontinue;\n\t\t}\n\t\tconst instancePath = `${basePath}${error.instancePath}`;\n\t\tif (error.keyword !== \"additionalProperties\") {\n\t\t\tissues.push({ instancePath, message: describeError(error) });\n\t\t\tcontinue;\n\t\t}\n\t\tconst keys = error.params.additionalProperties;\n\t\tconst valueSchema = (resolvePointer(schema, error.schemaPath) as JsonSchemaObject | undefined)\n\t\t\t?.additionalProperties;\n\t\tif (typeof valueSchema !== \"object\") {\n\t\t\tissues.push({\n\t\t\t\tinstancePath,\n\t\t\t\tmessage: `unexpected ${keys.length === 1 ? \"property\" : \"properties\"} ${quoteList(keys)}`,\n\t\t\t});\n\t\t\tcontinue;\n\t\t}\n\t\t// TypeBox names a map entry whose value is invalid as if the key itself were not allowed; explain the value.\n\t\tfor (const key of keys) {\n\t\t\tconst segment = `/${key.replace(/~/g, \"~0\").replace(/\\//g, \"~1\")}`;\n\t\t\tconst entryValue = valueAtPointer(value, `${error.instancePath}${segment}`);\n\t\t\tconst entryIssues = explainValidationFailure(valueSchema, entryValue, `${instancePath}${segment}`);\n\t\t\tissues.push(\n\t\t\t\t...(entryIssues.length > 0\n\t\t\t\t\t? entryIssues\n\t\t\t\t\t: [{ instancePath: `${instancePath}${segment}`, message: \"is invalid\" }]),\n\t\t\t);\n\t\t}\n\t}\n\tconst seen = new Set<string>();\n\treturn issues.filter((issue) => {\n\t\tconst key = `${issue.instancePath}\\0${issue.message}`;\n\t\tif (seen.has(key)) return false;\n\t\tseen.add(key);\n\t\treturn true;\n\t});\n}\n\nfunction formatIssuePath(instancePath: string): string {\n\treturn decodePointerSegments(instancePath).join(\".\") || \"root\";\n}\n\n/**\n * Finds a tool by name and validates the tool call arguments against its TypeBox schema\n * @param tools Array of tool definitions\n * @param toolCall The tool call from the LLM\n * @returns The validated arguments\n * @throws Error if tool is not found or validation fails\n */\nexport function validateToolCall(tools: Tool[], toolCall: ToolCall): any {\n\tconst tool = tools.find((t) => t.name === toolCall.name);\n\tif (!tool) {\n\t\tthrow new Error(`Tool \"${toolCall.name}\" not found`);\n\t}\n\treturn validateToolArguments(tool, toolCall);\n}\n\n/**\n * Validates tool call arguments against the tool's TypeBox schema\n * @param tool The tool definition with TypeBox schema\n * @param toolCall The tool call from the LLM\n * @returns The validated (and potentially coerced) arguments\n * @throws Error with formatted message if validation fails\n */\nexport function validateToolArguments(tool: Tool, toolCall: ToolCall): any {\n\tconst args = structuredClone(toolCall.arguments);\n\tnormalizeOptionalNulls(args, tool.parameters as JsonSchemaObject);\n\tValue.Convert(tool.parameters, args);\n\n\tconst validator = getValidator(tool.parameters);\n\tif (!Object.getOwnPropertySymbols(tool.parameters).includes(TYPEBOX_KIND)) {\n\t\tconst coerced = coerceWithJsonSchema(args, tool.parameters as JsonSchemaObject);\n\t\tif (coerced !== args) {\n\t\t\tif (typeof args === \"object\" && args !== null && typeof coerced === \"object\" && coerced !== null) {\n\t\t\t\tfor (const key of Object.keys(args)) {\n\t\t\t\t\tdelete args[key];\n\t\t\t\t}\n\t\t\t\tObject.assign(args, coerced);\n\t\t\t} else {\n\t\t\t\treturn validator.Check(coerced) ? coerced : args;\n\t\t\t}\n\t\t}\n\t}\n\n\tif (validator.Check(args)) {\n\t\treturn args;\n\t}\n\n\tconst explained = explainValidationFailure(dereferenceSchema(tool.parameters), args, \"\");\n\tconst issues =\n\t\texplained.length > 0\n\t\t\t? explained\n\t\t\t: collectErrors(validator, args).map((error) => ({\n\t\t\t\t\tinstancePath: error.instancePath,\n\t\t\t\t\tmessage: describeError(error),\n\t\t\t\t}));\n\tconst errors =\n\t\tissues.map((issue) => `  - ${formatIssuePath(issue.instancePath)}: ${issue.message}`).join(\"\\n\") ||\n\t\t\"Unknown validation error\";\n\n\tconst errorMessage = `Validation failed for tool \"${toolCall.name}\":\\n${errors}\\n\\nReceived arguments:\\n${JSON.stringify(toolCall.arguments, null, 2)}`;\n\n\tthrow new Error(errorMessage);\n}\n"]}
+{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../src/utils/validation.ts"],"names":[],"mappings":"AAAA,OAAO,EAA0B,OAAO,EAAE,MAAM,2BAA2B,CAAC;AAC5E,OAAO,EAAE,OAAO,EAAE,MAAM,mCAAmC,CAAC;AAG5D,wHAAwH;AACxH,MAAM,cAAc,GAAG,IAAI,OAAO,EAA6B,CAAC;AAEhE,SAAS,YAAY,CAAC,MAA0B;IAC/C,MAAM,MAAM,GAAG,cAAc,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IAC1C,IAAI,MAAM,EAAE,CAAC;QACZ,OAAO,MAAM,CAAC;IACf,CAAC;IACD,gHAAgH;IAChH,iDAAiD;IACjD,MAAM,SAAS,GAAG,OAAO,CAAC,MAAM,EAAE,EAAE,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,cAAc,EAAE,QAAQ,EAAE,CAAC,CAAC;IACvF,cAAc,CAAC,GAAG,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACtC,OAAO,SAAS,CAAC;AAClB,CAAC;AAED,0HAA0H;AAC1H,SAAS,oBAAoB,CAAC,OAAe;IAC5C,IAAI,OAAO,KAAK,EAAE;QAAE,OAAO,MAAM,CAAC;IAClC,OAAO,OAAO;SACZ,KAAK,CAAC,CAAC,CAAC;SACR,KAAK,CAAC,GAAG,CAAC;SACV,GAAG,CAAC,CAAC,OAAO,EAAE,EAAE,CAAC,OAAO,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;SACjE,IAAI,CAAC,GAAG,CAAC,CAAC;AACb,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,gBAAgB,CAAC,KAAa,EAAE,QAAkB;IACjE,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,IAAI,CAAC,CAAC;IACzD,IAAI,CAAC,IAAI,EAAE,CAAC;QACX,MAAM,IAAI,KAAK,CAAC,SAAS,QAAQ,CAAC,IAAI,aAAa,CAAC,CAAC;IACtD,CAAC;IACD,OAAO,qBAAqB,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;AAC9C,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,qBAAqB,CAAC,IAAU,EAAE,QAAkB;IACnE,IAAI,QAAQ,CAAC,cAAc,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CAAC,+BAA+B,QAAQ,CAAC,IAAI,MAAM,QAAQ,CAAC,cAAc,EAAE,CAAC,CAAC;IAC9F,CAAC;IACD,6FAA6F;IAC7F,MAAM,MAAM,GAAG,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,KAAK,CAAC,eAAe,CAAC,QAAQ,CAAC,SAAS,CAAC,CAAC,CAAC;IACxF,IAAI,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,KAAK,CAAC;IACrB,CAAC;IAED,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,OAAO,oBAAoB,CAAC,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAEpH,MAAM,YAAY,GAAG,+BAA+B,QAAQ,CAAC,IAAI,OAAO,MAAM,4BAA4B,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC;IAExJ,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC;AAC/B,CAAC","sourcesContent":["import { type CoercingValidator, compile } from \"@earendil-works/pi-schema\";\nimport { formats } from \"@earendil-works/pi-schema/formats\";\nimport type { Tool, ToolCall } from \"../types.ts\";\n\n// One compiled validator per schema object: tool schemas are long-lived, so the WeakMap drops entries with their tools.\nconst validatorCache = new WeakMap<object, CoercingValidator>();\n\nfunction getValidator(schema: Tool[\"parameters\"]): CoercingValidator {\n\tconst cached = validatorCache.get(schema);\n\tif (cached) {\n\t\treturn cached;\n\t}\n\t// A $ref that names nothing (a dangling definition in an MCP server's schema) rejects only values at its place,\n\t// instead of making every call of the tool fail.\n\tconst validator = compile(schema, { formats, coerce: true, unresolvedRefs: \"reject\" });\n\tvalidatorCache.set(schema, validator);\n\treturn validator;\n}\n\n/** A pi-schema error path (a JSON Pointer) as the dotted path the model sees: `/edits/0/oldText` -> `edits.0.oldText`. */\nfunction formatValidationPath(pointer: string): string {\n\tif (pointer === \"\") return \"root\";\n\treturn pointer\n\t\t.slice(1)\n\t\t.split(\"/\")\n\t\t.map((segment) => segment.replace(/~1/g, \"/\").replace(/~0/g, \"~\"))\n\t\t.join(\".\");\n}\n\n/**\n * Finds a tool by name and validates the tool call arguments against its JSON Schema\n * @param tools Array of tool definitions\n * @param toolCall The tool call from the LLM\n * @returns The validated arguments\n * @throws Error if tool is not found or validation fails\n */\nexport function validateToolCall(tools: Tool[], toolCall: ToolCall): any {\n\tconst tool = tools.find((t) => t.name === toolCall.name);\n\tif (!tool) {\n\t\tthrow new Error(`Tool \"${toolCall.name}\" not found`);\n\t}\n\treturn validateToolArguments(tool, toolCall);\n}\n\n/**\n * Validates tool call arguments against the tool's JSON Schema (any JSON Schema: pi-schema's builders, TypeBox, plain\n * objects). The arguments are coerced first (pi-schema's `parse()`): models often send `\"42\"` for a number, a single\n * value for an array, or `null` for an omitted optional property.\n * @param tool The tool definition with its JSON Schema\n * @param toolCall The tool call from the LLM\n * @returns The validated (and potentially coerced) arguments\n * @throws Error with formatted message if validation fails\n */\nexport function validateToolArguments(tool: Tool, toolCall: ToolCall): any {\n\tif (toolCall.argumentsError) {\n\t\tthrow new Error(`Invalid arguments for tool \"${toolCall.name}\": ${toolCall.argumentsError}`);\n\t}\n\t// A copy, so tools that modify their arguments never modify the tool call in the transcript.\n\tconst result = getValidator(tool.parameters).parse(structuredClone(toolCall.arguments));\n\tif (result.ok) {\n\t\treturn result.value;\n\t}\n\n\tconst errors = result.errors.map((error) => `  - ${formatValidationPath(error.path)}: ${error.message}`).join(\"\\n\");\n\n\tconst errorMessage = `Validation failed for tool \"${toolCall.name}\":\\n${errors}\\n\\nReceived arguments:\\n${JSON.stringify(toolCall.arguments, null, 2)}`;\n\n\tthrow new Error(errorMessage);\n}\n"]}

package/dist/utils/version.d.ts

@@ -0,0 +1,2 @@
+export declare const PI_AI_VERSION = "1.6.0";
+//# sourceMappingURL=version.d.ts.map

package/dist/utils/version.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.d.ts","sourceRoot":"","sources":["../../src/utils/version.ts"],"names":[],"mappings":"AACA,eAAO,MAAM,aAAa,UAAU,CAAC"}

package/dist/utils/version.js

@@ -0,0 +1,3 @@
+// The @earendil-works/pi-ai package version. scripts/sync-versions.js keeps it in sync with package.json.
+export const PI_AI_VERSION = "1.6.0";
+//# sourceMappingURL=version.js.map

package/dist/utils/version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"version.js","sourceRoot":"","sources":["../../src/utils/version.ts"],"names":[],"mappings":"AAAA,0GAA0G;AAC1G,MAAM,CAAC,MAAM,aAAa,GAAG,OAAO,CAAC","sourcesContent":["// The @earendil-works/pi-ai package version. scripts/sync-versions.js keeps it in sync with package.json.\nexport const PI_AI_VERSION = \"1.6.0\";\n"]}