primitive-admin 1.2.0-alpha.6 → 1.2.0-alpha.8

package/dist/src/lib/function-typecheck.d.ts

@@ -48,6 +48,29 @@
  * A file the tsconfig does not sweep in is added as a root rather than skipped:
  * a narrowed `include` must not silently turn the check off for the code the
  * push is about to ship.
+ *
+ * ── Shared sources (#4502) ───────────────────────────────────────────────
+ *
+ * A project may declare directories outside the tree (`functionSources`); the
+ * bundler inlines their files and this check has to agree with it on two
+ * things, or code would bundle that never typechecked:
+ *
+ *   - WHICH files. The graph follows a file whose REAL path is inside the tree
+ *     or a declared directory, as the bundler classifies, and the check is also
+ *     seeded with the shared files the bundle actually read — a package whose
+ *     `types` export names a declaration is bundled from its `import` export,
+ *     which the type graph alone never reaches. The graph keeps TypeScript's
+ *     own spelling of each file (that is what the program answers to), while
+ *     its visited set is keyed by real path, so a file reached through a
+ *     symlink and directly is checked and reported once per function.
+ *   - HOW imports resolve. esbuild resolves from a file's real location and
+ *     honours that file's nearest `tsconfig.json` `paths`. So a shared file's
+ *     imports resolve from its real path, with the functions tsconfig's options
+ *     but that tsconfig's `paths`/`baseUrl` in place of the functions ones.
+ *     The same rule feeds the graph walk and the program's own resolution.
+ *     Every other option stays the functions tsconfig's: shared code runs in
+ *     the same Worker. `primitive-functions` imported from a shared file is
+ *     always the generated declaration, whatever its tsconfig maps.
  */
 /** The flag that skips the check, named wherever the refusal is read. */
 export declare const TYPECHECK_SKIP_FLAG = "--no-typecheck";
@@ -62,9 +85,11 @@ export interface FunctionTypechecker {
      * The diagnostics for one function's sources, or null when they typecheck.
      *
      * `sources` are tree-relative POSIX paths — what the bundle build collected
-     * for this function.
+     * for this function. `sharedSources` are the bundle's `projectSources`: the
+     * shared files it inlined from declared directories, relative to the real
+     * tree root.
      */
-    check(functionKey: string, sources: readonly string[]): FunctionTypecheckFailure | null;
+    check(functionKey: string, sources: readonly string[], sharedSources?: readonly string[]): FunctionTypecheckFailure | null;
 }
 export interface FunctionTypecheckSetup {
     /** null when there is nothing to check, or no compiler to check it with. */
@@ -75,6 +100,16 @@ export interface FunctionTypecheckSetup {
 export interface FunctionTypecheckOptions {
     /** Injected in tests; the real one resolves the CLI's own TypeScript. */
     loadTypeScript?: () => any;
+    /**
+     * The declared `functionSources` directories, as absolute paths. Defaults
+     * to what the selected project config declares.
+     */
+    sourceRoots?: readonly string[];
+    /**
+     * Where a warning found while checking goes — a shared file's tsconfig that
+     * does not parse. Defaults to appending to the setup's `warnings`.
+     */
+    onWarning?: (message: string) => void;
 }
 /**
  * Build the checker for a config tree, or say why there is none.

package/dist/src/lib/function-typecheck.js

@@ -48,14 +48,52 @@
  * A file the tsconfig does not sweep in is added as a root rather than skipped:
  * a narrowed `include` must not silently turn the check off for the code the
  * push is about to ship.
+ *
+ * ── Shared sources (#4502) ───────────────────────────────────────────────
+ *
+ * A project may declare directories outside the tree (`functionSources`); the
+ * bundler inlines their files and this check has to agree with it on two
+ * things, or code would bundle that never typechecked:
+ *
+ *   - WHICH files. The graph follows a file whose REAL path is inside the tree
+ *     or a declared directory, as the bundler classifies, and the check is also
+ *     seeded with the shared files the bundle actually read — a package whose
+ *     `types` export names a declaration is bundled from its `import` export,
+ *     which the type graph alone never reaches. The graph keeps TypeScript's
+ *     own spelling of each file (that is what the program answers to), while
+ *     its visited set is keyed by real path, so a file reached through a
+ *     symlink and directly is checked and reported once per function.
+ *   - HOW imports resolve. esbuild resolves from a file's real location and
+ *     honours that file's nearest `tsconfig.json` `paths`. So a shared file's
+ *     imports resolve from its real path, with the functions tsconfig's options
+ *     but that tsconfig's `paths`/`baseUrl` in place of the functions ones.
+ *     The same rule feeds the graph walk and the program's own resolution.
+ *     Every other option stays the functions tsconfig's: shared code runs in
+ *     the same Worker. `primitive-functions` imported from a shared file is
+ *     always the generated declaration, whatever its tsconfig maps.
  */
 import { createRequire } from "module";
-import { existsSync } from "fs";
-import { join, resolve, sep } from "path";
-import { FUNCTIONS_TSCONFIG_FILE, SDK_MODULE_SPECIFIER, planFunctionTypeArtifacts, renderFunctionsTsconfig, } from "./function-db-types.js";
+import { existsSync, realpathSync } from "fs";
+import { dirname, join, relative, resolve, sep } from "path";
+import { FUNCTIONS_TSCONFIG_FILE, SDK_MODULE_SPECIFIER, SDK_TYPES_FILE, planFunctionTypeArtifacts, renderFunctionsTsconfig, } from "./function-db-types.js";
 import { FunctionSchemaCodegenError } from "./function-schema-codegen.js";
+import { isInsideDirectory, resolveFunctionSourceRoots, } from "./function-source-roots.js";
 /** The flag that skips the check, named wherever the refusal is read. */
 export const TYPECHECK_SKIP_FLAG = "--no-typecheck";
+/** The real path, or the spelling itself when it cannot be resolved. */
+function realOrSelf(path) {
+    try {
+        return realpathSync(path);
+    }
+    catch {
+        return path;
+    }
+}
+/**
+ * "No inputs were found" and "The 'files' list is empty": a shared file's
+ * tsconfig is read for its `paths` only, so what it would compile is moot.
+ */
+const SHARED_TSCONFIG_IGNORED_CODES = new Set([18002, 18003]);
 /**
  * "Could not find a declaration file for module 'x'" (7016) and "Cannot find
  * module 'x' or its corresponding type declarations" (2307).
@@ -206,6 +244,7 @@ export function createFunctionTypechecker(configDir, options = {}) {
         getCurrentDirectory: () => functionsDir,
         getNewLine: () => "\n",
     };
+    const warn = options.onWarning ?? ((message) => warnings.push(message));
     // Module resolution over the same overlay the program reads, so an import of
     // `primitive-functions` lands on the planned declaration rather than on
     // whatever is (or is not) on disk.
@@ -218,12 +257,136 @@ export function createFunctionTypechecker(configDir, options = {}) {
         getDirectories: ts.sys.getDirectories,
         directoryExists: ts.sys.directoryExists,
     };
-    const resolveModule = (specifier, containingFile, options) => ts.resolveModuleName(specifier, containingFile, options, resolutionHost)
-        .resolvedModule;
+    /**
+     * Is this an in-tree file of the author's, or a file under a declared
+     * directory, as opposed to a dependency?
+     *
+     * Decided on the REAL path, as the bundler decides (#4502), with the
+     * spelling as the fallback for a file that cannot be resolved — a seed
+     * deleted since the build, whose missing-file diagnostic should surface. A
+     * package's own declarations are not this check's business (see
+     * {@link isThirdPartyModuleDiagnostic}), and neither are the generated ones
+     * — an error in those is a push bug, not something the author's push can
+     * act on.
+     */
+    const treeRoot = resolve(configDir);
+    const realTreeRoot = realOrSelf(treeRoot);
+    const declaredRoots = (options.sourceRoots ??
+        resolveFunctionSourceRoots(configDir).roots.map((root) => root.absolute)).map((root) => realOrSelf(resolve(root)));
+    const realPaths = new Map();
+    const realOf = (path) => {
+        let real = realPaths.get(path);
+        if (real === undefined) {
+            real = realOrSelf(path);
+            realPaths.set(path, real);
+        }
+        return real;
+    };
+    const realOverlay = new Set([...overlay.keys()].map((path) => join(realTreeRoot, relative(treeRoot, path))));
+    // The spelling counts only when it could not be resolved: an in-tree
+    // symlink into a declared directory is a shared file, as the bundler says.
+    const isTreeFile = (path) => {
+        const real = realOf(path);
+        return (isInsideDirectory(realTreeRoot, real) ||
+            (real === path && isInsideDirectory(treeRoot, path)));
+    };
+    const isSharedFile = (path) => !isTreeFile(path) &&
+        declaredRoots.some((root) => isInsideDirectory(root, realOf(path)));
+    const isCheckedSource = (path) => (isTreeFile(path) || isSharedFile(path)) &&
+        !path.split(sep).includes("node_modules") &&
+        !realOf(path).split(sep).includes("node_modules") &&
+        !overlay.has(path) &&
+        !realOverlay.has(realOf(path));
+    /**
+     * The options a file's imports resolve with: the functions tsconfig's for a
+     * tree file; for a shared file, the same with `paths`, `baseUrl` and
+     * `pathsBasePath` taken from the nearest `tsconfig.json` above its REAL
+     * path — the file esbuild reads for it. A tsconfig that does not parse is
+     * one warning, and its file resolves with the functions options.
+     */
+    const sharedResolution = new Map();
+    const quietParseHost = {
+        useCaseSensitiveFileNames: ts.sys.useCaseSensitiveFileNames,
+        // Read for its `paths`; what it would compile is never asked.
+        readDirectory: () => [],
+        fileExists: ts.sys.fileExists,
+        readFile: ts.sys.readFile,
+    };
+    const sharedTsconfigOptions = (configPath) => {
+        const cached = sharedResolution.get(configPath);
+        if (cached !== undefined)
+            return cached;
+        let resolved = parsed.options;
+        const read = ts.readConfigFile(configPath, ts.sys.readFile);
+        if (read.error) {
+            warn(`${configPath}: not readable as a tsconfig, so the shared files below it ` +
+                `resolve imports with functions/${FUNCTIONS_TSCONFIG_FILE}'s options (` +
+                ts.flattenDiagnosticMessageText(read.error.messageText, " ") +
+                ").");
+        }
+        else {
+            const own = ts.parseJsonConfigFileContent(read.config, quietParseHost, dirname(configPath), undefined, configPath);
+            const errors = (own.errors ?? []).filter((diagnostic) => !SHARED_TSCONFIG_IGNORED_CODES.has(diagnostic.code));
+            const aliased = own.options.paths !== undefined || own.options.baseUrl !== undefined;
+            if (errors.length > 0) {
+                warn(`${configPath}: ` +
+                    errors
+                        .map((diagnostic) => ts.flattenDiagnosticMessageText(diagnostic.messageText, " "))
+                        .join("; ") +
+                    (aliased
+                        ? " — its own paths are still used for the shared files below it."
+                        : ` — the shared files below it resolve imports with functions/${FUNCTIONS_TSCONFIG_FILE}'s options.`));
+            }
+            if (errors.length === 0 || aliased) {
+                resolved = {
+                    ...parsed.options,
+                    paths: own.options.paths,
+                    baseUrl: own.options.baseUrl,
+                    pathsBasePath: own.options.pathsBasePath,
+                };
+            }
+        }
+        sharedResolution.set(configPath, resolved);
+        return resolved;
+    };
+    /** A shared file with no tsconfig above it has no aliases. */
+    const unaliasedOptions = {
+        ...parsed.options,
+        paths: undefined,
+        baseUrl: undefined,
+        pathsBasePath: undefined,
+    };
+    const resolutionOptionsFor = (containingFile) => {
+        if (!isSharedFile(containingFile))
+            return parsed.options;
+        const configPath = ts.findConfigFile(dirname(realOf(containingFile)), ts.sys.fileExists, "tsconfig.json");
+        return configPath ? sharedTsconfigOptions(resolve(configPath)) : unaliasedOptions;
+    };
+    /** The generated SDK declaration every shared file's import lands on. */
+    const sdkDeclaration = join(functionsDir, SDK_TYPES_FILE);
+    /**
+     * The resolution mode a file's imports take when the literal itself is not
+     * at hand (the graph walk, the installed-package lookup): the file's own
+     * module format, which is what the compiler gives a static import. Under
+     * `Bundler` it is undefined and the compiler picks the `import` conditions.
+     */
+    const impliedMode = (containingFile, options) => ts.getImpliedNodeFormatForFile(resolve(containingFile), undefined, resolutionHost, options);
+    const resolveModule = (specifier, containingFile, options, mode = impliedMode(containingFile, options)) => {
+        if (specifier === SDK_MODULE_SPECIFIER && isSharedFile(containingFile)) {
+            return {
+                resolvedFileName: resolve(sdkDeclaration),
+                extension: ".d.ts",
+                isExternalLibraryImport: false,
+            };
+        }
+        // From the file's real location, as esbuild resolves: a shared file
+        // reached through a symlink climbs and finds packages where it lives.
+        return ts.resolveModuleName(specifier, realOf(containingFile), options, resolutionHost, undefined, undefined, mode).resolvedModule;
+    };
     /** Does this bare specifier name a package that is actually installed? */
     const installedPackages = new Map();
     const isInstalledPackage = (specifier, containingFile) => {
-        const key = `${specifier}${containingFile}`;
+        const key = `${specifier} ${containingFile}`;
         const cached = installedPackages.get(key);
         if (cached !== undefined)
             return cached;
@@ -231,7 +394,7 @@ export function createFunctionTypechecker(configDir, options = {}) {
         // is for — resolves, and `noImplicitAny: false` so the lookup answers
         // "found" rather than re-raising the diagnostic being classified.
         const resolved = resolveModule(specifier, containingFile, {
-            ...parsed.options,
+            ...resolutionOptionsFor(containingFile),
             allowJs: true,
             checkJs: false,
             noImplicitAny: false,
@@ -241,19 +404,7 @@ export function createFunctionTypechecker(configDir, options = {}) {
         return installed;
     };
     /**
-     * Is this an in-tree file of the author's, as opposed to a dependency?
-     *
-     * A package's own declarations are not this check's business (see
-     * {@link isThirdPartyModuleDiagnostic}), and neither are the generated ones —
-     * an error in those is a push bug, not something the author's push can act
-     * on.
-     */
-    const treeRoot = resolve(configDir);
-    const isTreeSource = (path) => path.startsWith(treeRoot.endsWith(sep) ? treeRoot : treeRoot + sep) &&
-        !path.split(sep).includes("node_modules") &&
-        !overlay.has(path);
-    /**
-     * The in-tree files one source pulls in — INCLUDING the type-only imports
+     * The checked files one source pulls in — INCLUDING the type-only imports
      * esbuild erases, which is why this walks the graph itself instead of
      * trusting the bundle's input list (SO3331-002).
      */
@@ -265,29 +416,34 @@ export function createFunctionTypechecker(configDir, options = {}) {
         const found = [];
         const text = readFile(path);
         if (text !== undefined) {
+            const options = resolutionOptionsFor(path);
             for (const imported of ts.preProcessFile(text, true, true).importedFiles) {
-                const target = resolveModule(imported.fileName, path, parsed.options)
+                const target = resolveModule(imported.fileName, path, options)
                     ?.resolvedFileName;
                 if (target === undefined)
                     continue;
                 const resolved = resolve(target);
-                if (isTreeSource(resolved))
+                if (isCheckedSource(resolved))
                     found.push(resolved);
             }
         }
         importsOf.set(path, found);
         return found;
     };
-    /** A function's sources and everything their types reach, in tree order. */
+    /**
+     * A function's sources and everything their types reach, in tree order —
+     * one spelling per real file, the first one met.
+     */
     const typeGraph = (entries) => {
         const seen = new Set();
         const files = [];
         const queue = [...entries];
         while (queue.length > 0) {
             const path = queue.shift();
-            if (seen.has(path))
+            const real = realOf(path);
+            if (seen.has(real))
                 continue;
-            seen.add(path);
+            seen.add(real);
             files.push(path);
             queue.push(...localImports(path));
         }
@@ -313,6 +469,16 @@ export function createFunctionTypechecker(configDir, options = {}) {
             }
             return getSourceFile(fileName, languageVersion, onError, shouldCreate);
         };
+        // The program resolves by the same per-file rule as the graph walk, so
+        // the two cannot disagree about which file an import names. Each literal
+        // keeps the mode the compiler's own resolver would give it (an ESM file
+        // under NodeNext takes the `import` conditions).
+        host.resolveModuleNameLiterals = (literals, containingFile, _redirectedReference, _options, containingSourceFile) => {
+            const options = resolutionOptionsFor(containingFile);
+            return literals.map((literal) => ({
+                resolvedModule: resolveModule(literal.text, containingFile, options, ts.getModeForUsageLocation(containingSourceFile, literal, options)),
+            }));
+        };
         return ts.createProgram({
             rootNames: [...roots],
             options: parsed.options,
@@ -320,8 +486,17 @@ export function createFunctionTypechecker(configDir, options = {}) {
         });
     };
     const checker = {
-        check(functionKey, sources) {
-            const paths = typeGraph(sources.map((source) => resolve(configDir, source)));
+        check(functionKey, sources, sharedSources = []) {
+            const paths = typeGraph([
+                ...sources.map((source) => resolve(configDir, source)),
+                // What the bundle shipped from declared directories, seeded by its
+                // real path: the graph alone misses an implementation behind a
+                // package's declaration export. A package file a shared file reached
+                // by a relative import is still a dependency, never checked.
+                ...sharedSources
+                    .map((source) => resolve(realTreeRoot, source))
+                    .filter(isCheckedSource),
+            ]);
             // A source the tsconfig's `include` misses is added rather than skipped:
             // this is code the push is about to ship.
             let added = false;
@@ -336,8 +511,15 @@ export function createFunctionTypechecker(configDir, options = {}) {
             const diagnostics = [];
             for (const path of paths) {
                 const sourceFile = program.getSourceFile(path);
-                if (!sourceFile)
+                if (!sourceFile) {
+                    // A file gone since the build: the compiler's own "not found".
+                    for (const diagnostic of program.getOptionsDiagnostics()) {
+                        const text = ts.flattenDiagnosticMessageText(diagnostic.messageText, " ");
+                        if (!diagnostic.file && text.includes(path))
+                            diagnostics.push(diagnostic);
+                    }
                     continue;
+                }
                 for (const diagnostic of [
                     ...program.getSyntacticDiagnostics(sourceFile),
                     ...program.getSemanticDiagnostics(sourceFile),

package/dist/src/lib/function-typecheck.js.map

@@ -1 +1 @@
-{"version":3,"file":"function-typecheck.js","sourceRoot":"","sources":["../../../src/lib/function-typecheck.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAkDG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,MAAM,IAAI,CAAC;AAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AAC1C,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAE1E,yEAAyE;AACzE,MAAM,CAAC,MAAM,mBAAmB,GAAG,gBAAgB,CAAC;AAkCpD;;;GAGG;AACH,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,SAAS,4BAA4B,CACnC,EAAO,EACP,UAAe,EACf,kBAA0E;IAE1E,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,MAAM,IAAI,GAAG,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAC1E,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,oBAAoB;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,MAAM,cAAc,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC;IAClD,IAAI,OAAO,cAAc,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,kBAAkB,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AACvD,CAAC;AAED,8EAA8E;AAC9E,SAAS,cAAc;IACrB,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,OAAO,OAAO,CAAC,YAAY,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,SAAiB,EACjB,UAAoC,EAAE;IAEtC,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAEtE,IAAI,EAAO,CAAC;IACZ,IAAI,CAAC;QACH,EAAE,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,cAAc,CAAC,EAAE,CAAC;IACpD,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR,uEAAuE;oBACrE,kBAAkB,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI;aACpD;SACF,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,+DAA+D;IAC/D,EAAE;IACF,oEAAoE;IACpE,0EAA0E;IAC1E,6EAA6E;IAC7E,8EAA8E;IAC9E,sEAAsE;IACtE,4DAA4D;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,IAAI,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,GAAG,YAAY,0BAA0B,CAAC;YAAE,MAAM,GAAG,CAAC;QAC5D,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR,oEAAoE;oBAClE,oCAAoC,GAAG,CAAC,OAAO,IAAI;aACtD;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAsB,EAAE;QACpD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAC1C,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE,CAC3C,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAExD,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;IACjE,2EAA2E;IAC3E,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,YAAY,GAChB,QAAQ,CAAC,YAAY,CAAC;QACtB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,EAAE,CAAC,CAAC;IACrE,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR,0CAA0C,uBAAuB,qBAAqB;aACvF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAG,EAAE,CAAC,yBAAyB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC5E,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR,oDAAoD,uBAAuB,2BAA2B;aACvG;SACF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG;QAChB,yBAAyB,EAAE,EAAE,CAAC,GAAG,CAAC,yBAAyB;QAC3D,aAAa,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa;QACnC,UAAU;QACV,QAAQ;KACT,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAC1C,UAAU,CAAC,MAAM,EACjB,SAAS,EACT,YAAY,EACZ,SAAS,EACT,YAAY,CACb,CAAC;IACF,2EAA2E;IAC3E,0EAA0E;IAC1E,uEAAuE;IACvE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QAC7C,QAAQ,CAAC,IAAI,CACX,aAAa,uBAAuB,IAAI;YACtC,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,CAC/D,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,oBAAoB,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,QAAQ;QACpD,mBAAmB,EAAE,GAAG,EAAE,CAAC,YAAY;QACvC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;KACvB,CAAC;IAEF,6EAA6E;IAC7E,wEAAwE;IACxE,mCAAmC;IACnC,MAAM,cAAc,GAAG;QACrB,UAAU;QACV,QAAQ;QACR,yBAAyB,EAAE,EAAE,CAAC,GAAG,CAAC,yBAAyB;QAC3D,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ;QACzB,mBAAmB,EAAE,GAAG,EAAE,CAAC,YAAY;QACvC,cAAc,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc;QACrC,eAAe,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe;KACxC,CAAC;IACF,MAAM,aAAa,GAAG,CAAC,SAAiB,EAAE,cAAsB,EAAE,OAAY,EAAE,EAAE,CAChF,EAAE,CAAC,iBAAiB,CAAC,SAAS,EAAE,cAAc,EAAE,OAAO,EAAE,cAAc,CAAC;SACrE,cAAc,CAAC;IAEpB,0EAA0E;IAC1E,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAmB,CAAC;IACrD,MAAM,kBAAkB,GAAG,CAAC,SAAiB,EAAE,cAAsB,EAAW,EAAE;QAChF,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,cAAc,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,2EAA2E;QAC3E,sEAAsE;QACtE,kEAAkE;QAClE,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,EAAE,cAAc,EAAE;YACxD,GAAG,MAAM,CAAC,OAAO;YACjB,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,KAAK;YACd,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,QAAQ,KAAK,SAAS,CAAC;QACzC,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF;;;;;;;OAOG;IACH,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACpC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAW,EAAE,CAC7C,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,CAAC;QACnE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC;QACzC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAErB;;;;OAIG;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,MAAM,YAAY,GAAG,CAAC,IAAY,EAAY,EAAE;QAC9C,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,KAAK,MAAM,QAAQ,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;gBACzE,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,MAAM,CAAC,OAAO,CAAC;oBACnE,EAAE,gBAAgB,CAAC;gBACrB,IAAI,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;gBACjC,IAAI,YAAY,CAAC,QAAQ,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,4EAA4E;IAC5E,MAAM,SAAS,GAAG,CAAC,OAA0B,EAAY,EAAE;QACzD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC5B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAC9D,CAAC;IACF,4EAA4E;IAC5E,8EAA8E;IAC9E,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,OAAO,GAAQ,IAAI,CAAC;IACxB,MAAM,YAAY,GAAG,GAAQ,EAAE;QAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzD,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,aAAa,GAAG,CACnB,QAAgB,EAChB,eAAoB,EACpB,OAAY,EACZ,YAAiB,EACjB,EAAE;YACF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YACvE,CAAC;YACD,OAAO,aAAa,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QACzE,CAAC,CAAC;QACF,OAAO,EAAE,CAAC,aAAa,CAAC;YACtB,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,IAAI;SACL,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,OAAO,GAAwB;QACnC,KAAK,CAAC,WAAW,EAAE,OAAO;YACxB,MAAM,KAAK,GAAG,SAAS,CACrB,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC,CACpD,CAAC;YACF,yEAAyE;YACzE,0CAA0C;YAC1C,IAAI,KAAK,GAAG,KAAK,CAAC;YAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAChB,KAAK,GAAG,IAAI,CAAC;gBACf,CAAC;YACH,CAAC;YACD,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK;gBAAE,OAAO,GAAG,YAAY,EAAE,CAAC;YAExD,MAAM,WAAW,GAAU,EAAE,CAAC;YAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,CAAC,UAAU;oBAAE,SAAS;gBAC1B,KAAK,MAAM,UAAU,IAAI;oBACvB,GAAG,OAAO,CAAC,uBAAuB,CAAC,UAAU,CAAC;oBAC9C,GAAG,OAAO,CAAC,sBAAsB,CAAC,UAAU,CAAC;iBAC9C,EAAE,CAAC;oBACF,IAAI,4BAA4B,CAAC,EAAE,EAAE,UAAU,EAAE,kBAAkB,CAAC;wBAClE,SAAS;oBACX,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;YACD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAE1C,MAAM,SAAS,GAAG,EAAE;iBACjB,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC;iBAC1C,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACvB,OAAO;gBACL,WAAW,EAAE,SAAS;gBACtB,OAAO,EACL,aAAa,WAAW,mCAAmC;oBAC3D,yCAAyC;oBACzC,SAAS;yBACN,KAAK,CAAC,IAAI,CAAC;yBACX,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC;yBACpC,IAAI,CAAC,IAAI,CAAC;oBACb,kEAAkE;oBAClE,aAAa,mBAAmB,wBAAwB;aAC3D,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC"}
+{"version":3,"file":"function-typecheck.js","sourceRoot":"","sources":["../../../src/lib/function-typecheck.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAyEG;AAEH,OAAO,EAAE,aAAa,EAAE,MAAM,QAAQ,CAAC;AACvC,OAAO,EAAE,UAAU,EAAE,YAAY,EAAE,MAAM,IAAI,CAAC;AAC9C,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,MAAM,CAAC;AAC7D,OAAO,EACL,uBAAuB,EACvB,oBAAoB,EACpB,cAAc,EACd,yBAAyB,EACzB,uBAAuB,GACxB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,0BAA0B,EAAE,MAAM,8BAA8B,CAAC;AAC1E,OAAO,EACL,iBAAiB,EACjB,0BAA0B,GAC3B,MAAM,4BAA4B,CAAC;AAEpC,yEAAyE;AACzE,MAAM,CAAC,MAAM,mBAAmB,GAAG,gBAAgB,CAAC;AA+CpD,wEAAwE;AACxE,SAAS,UAAU,CAAC,IAAY;IAC9B,IAAI,CAAC;QACH,OAAO,YAAY,CAAC,IAAI,CAAC,CAAC;IAC5B,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,IAAI,CAAC;IACd,CAAC;AACH,CAAC;AAED;;;GAGG;AACH,MAAM,6BAA6B,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE9D;;;GAGG;AACH,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAE3D;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AACH,SAAS,4BAA4B,CACnC,EAAO,EACP,UAAe,EACf,kBAA0E;IAE1E,IAAI,CAAC,4BAA4B,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,MAAM,IAAI,GAAG,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;IAC1E,MAAM,SAAS,GAAG,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;IACrD,IAAI,CAAC,SAAS,IAAI,SAAS,KAAK,oBAAoB;QAAE,OAAO,KAAK,CAAC;IACnE,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,MAAM,cAAc,GAAG,UAAU,EAAE,IAAI,EAAE,QAAQ,CAAC;IAClD,IAAI,OAAO,cAAc,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACrD,OAAO,kBAAkB,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC;AACvD,CAAC;AAED,8EAA8E;AAC9E,SAAS,cAAc;IACrB,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC/C,OAAO,OAAO,CAAC,YAAY,CAAC,CAAC;AAC/B,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,yBAAyB,CACvC,SAAiB,EACjB,UAAoC,EAAE;IAEtC,MAAM,YAAY,GAAG,IAAI,CAAC,SAAS,EAAE,WAAW,CAAC,CAAC;IAClD,IAAI,CAAC,UAAU,CAAC,YAAY,CAAC;QAAE,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAEtE,IAAI,EAAO,CAAC;IACZ,IAAI,CAAC;QACH,EAAE,GAAG,CAAC,OAAO,CAAC,cAAc,IAAI,cAAc,CAAC,EAAE,CAAC;IACpD,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR,uEAAuE;oBACrE,kBAAkB,GAAG,EAAE,OAAO,IAAI,MAAM,CAAC,GAAG,CAAC,IAAI;aACpD;SACF,CAAC;IACJ,CAAC;IAED,2EAA2E;IAC3E,+DAA+D;IAC/D,EAAE;IACF,oEAAoE;IACpE,0EAA0E;IAC1E,6EAA6E;IAC7E,8EAA8E;IAC9E,sEAAsE;IACtE,4DAA4D;IAC5D,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,IAAI,CAAC;QACH,KAAK,MAAM,QAAQ,IAAI,yBAAyB,CAAC,SAAS,CAAC,EAAE,CAAC;YAC5D,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC;QAC7D,CAAC;IACH,CAAC;IAAC,OAAO,GAAQ,EAAE,CAAC;QAClB,IAAI,CAAC,CAAC,GAAG,YAAY,0BAA0B,CAAC;YAAE,MAAM,GAAG,CAAC;QAC5D,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR,oEAAoE;oBAClE,oCAAoC,GAAG,CAAC,OAAO,IAAI;aACtD;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAsB,EAAE;QACpD,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QAC3C,IAAI,OAAO,KAAK,SAAS;YAAE,OAAO,OAAO,CAAC;QAC1C,OAAO,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE,CAC3C,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAExD,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,EAAE,uBAAuB,CAAC,CAAC;IACjE,2EAA2E;IAC3E,8EAA8E;IAC9E,4EAA4E;IAC5E,MAAM,YAAY,GAChB,QAAQ,CAAC,YAAY,CAAC;QACtB,CAAC,UAAU,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,uBAAuB,EAAE,CAAC,CAAC;IACrE,IAAI,YAAY,KAAK,SAAS,EAAE,CAAC;QAC/B,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR,0CAA0C,uBAAuB,qBAAqB;aACvF;SACF,CAAC;IACJ,CAAC;IAED,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,UAAU,GAAG,EAAE,CAAC,yBAAyB,CAAC,YAAY,EAAE,YAAY,CAAC,CAAC;IAC5E,IAAI,UAAU,CAAC,KAAK,EAAE,CAAC;QACrB,OAAO;YACL,OAAO,EAAE,IAAI;YACb,QAAQ,EAAE;gBACR,oDAAoD,uBAAuB,2BAA2B;aACvG;SACF,CAAC;IACJ,CAAC;IACD,MAAM,SAAS,GAAG;QAChB,yBAAyB,EAAE,EAAE,CAAC,GAAG,CAAC,yBAAyB;QAC3D,aAAa,EAAE,EAAE,CAAC,GAAG,CAAC,aAAa;QACnC,UAAU;QACV,QAAQ;KACT,CAAC;IACF,MAAM,MAAM,GAAG,EAAE,CAAC,0BAA0B,CAC1C,UAAU,CAAC,MAAM,EACjB,SAAS,EACT,YAAY,EACZ,SAAS,EACT,YAAY,CACb,CAAC;IACF,2EAA2E;IAC3E,0EAA0E;IAC1E,uEAAuE;IACvE,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,MAAM,IAAI,EAAE,EAAE,CAAC;QAC7C,QAAQ,CAAC,IAAI,CACX,aAAa,uBAAuB,IAAI;YACtC,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,CAC/D,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG;QACjB,oBAAoB,EAAE,CAAC,QAAgB,EAAE,EAAE,CAAC,QAAQ;QACpD,mBAAmB,EAAE,GAAG,EAAE,CAAC,YAAY;QACvC,UAAU,EAAE,GAAG,EAAE,CAAC,IAAI;KACvB,CAAC;IAEF,MAAM,IAAI,GAAG,OAAO,CAAC,SAAS,IAAI,CAAC,CAAC,OAAe,EAAE,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC;IAEhF,6EAA6E;IAC7E,wEAAwE;IACxE,mCAAmC;IACnC,MAAM,cAAc,GAAG;QACrB,UAAU;QACV,QAAQ;QACR,yBAAyB,EAAE,EAAE,CAAC,GAAG,CAAC,yBAAyB;QAC3D,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ;QACzB,mBAAmB,EAAE,GAAG,EAAE,CAAC,YAAY;QACvC,cAAc,EAAE,EAAE,CAAC,GAAG,CAAC,cAAc;QACrC,eAAe,EAAE,EAAE,CAAC,GAAG,CAAC,eAAe;KACxC,CAAC;IAEF;;;;;;;;;;;OAWG;IACH,MAAM,QAAQ,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;IACpC,MAAM,YAAY,GAAG,UAAU,CAAC,QAAQ,CAAC,CAAC;IAC1C,MAAM,aAAa,GAAG,CACpB,OAAO,CAAC,WAAW;QACnB,0BAA0B,CAAC,SAAS,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,CACzE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,MAAM,SAAS,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC5C,MAAM,MAAM,GAAG,CAAC,IAAY,EAAU,EAAE;QACtC,IAAI,IAAI,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC;YACxB,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QAC5B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC,CAAC;IACF,MAAM,WAAW,GAAG,IAAI,GAAG,CACzB,CAAC,GAAG,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,YAAY,EAAE,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CAAC,CAChF,CAAC;IACF,qEAAqE;IACrE,2EAA2E;IAC3E,MAAM,UAAU,GAAG,CAAC,IAAY,EAAW,EAAE;QAC3C,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;QAC1B,OAAO,CACL,iBAAiB,CAAC,YAAY,EAAE,IAAI,CAAC;YACrC,CAAC,IAAI,KAAK,IAAI,IAAI,iBAAiB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC,CACrD,CAAC;IACJ,CAAC,CAAC;IACF,MAAM,YAAY,GAAG,CAAC,IAAY,EAAW,EAAE,CAC7C,CAAC,UAAU,CAAC,IAAI,CAAC;QACjB,aAAa,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IACtE,MAAM,eAAe,GAAG,CAAC,IAAY,EAAW,EAAE,CAChD,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,CAAC;QACxC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC;QACzC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,QAAQ,CAAC,cAAc,CAAC;QACjD,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;QAClB,CAAC,WAAW,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAEjC;;;;;;OAMG;IACH,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAe,CAAC;IAChD,MAAM,cAAc,GAAG;QACrB,yBAAyB,EAAE,EAAE,CAAC,GAAG,CAAC,yBAAyB;QAC3D,8DAA8D;QAC9D,aAAa,EAAE,GAAG,EAAE,CAAC,EAAE;QACvB,UAAU,EAAE,EAAE,CAAC,GAAG,CAAC,UAAU;QAC7B,QAAQ,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ;KAC1B,CAAC;IACF,MAAM,qBAAqB,GAAG,CAAC,UAAkB,EAAO,EAAE;QACxD,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC;QAChD,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,IAAI,QAAQ,GAAQ,MAAM,CAAC,OAAO,CAAC;QACnC,MAAM,IAAI,GAAG,EAAE,CAAC,cAAc,CAAC,UAAU,EAAE,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;QAC5D,IAAI,IAAI,CAAC,KAAK,EAAE,CAAC;YACf,IAAI,CACF,GAAG,UAAU,6DAA6D;gBACxE,kCAAkC,uBAAuB,cAAc;gBACvE,EAAE,CAAC,4BAA4B,CAAC,IAAI,CAAC,KAAK,CAAC,WAAW,EAAE,GAAG,CAAC;gBAC5D,IAAI,CACP,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,MAAM,GAAG,GAAG,EAAE,CAAC,0BAA0B,CACvC,IAAI,CAAC,MAAM,EACX,cAAc,EACd,OAAO,CAAC,UAAU,CAAC,EACnB,SAAS,EACT,UAAU,CACX,CAAC;YACF,MAAM,MAAM,GAAG,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,MAAM,CACtC,CAAC,UAAe,EAAE,EAAE,CAAC,CAAC,6BAA6B,CAAC,GAAG,CAAC,UAAU,CAAC,IAAI,CAAC,CACzE,CAAC;YACF,MAAM,OAAO,GACX,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,SAAS,IAAI,GAAG,CAAC,OAAO,CAAC,OAAO,KAAK,SAAS,CAAC;YACvE,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACtB,IAAI,CACF,GAAG,UAAU,IAAI;oBACf,MAAM;yBACH,GAAG,CAAC,CAAC,UAAe,EAAE,EAAE,CACvB,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,CAC7D;yBACA,IAAI,CAAC,IAAI,CAAC;oBACb,CAAC,OAAO;wBACN,CAAC,CAAC,gEAAgE;wBAClE,CAAC,CAAC,+DAA+D,uBAAuB,aAAa,CAAC,CAC3G,CAAC;YACJ,CAAC;YACD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,EAAE,CAAC;gBACnC,QAAQ,GAAG;oBACT,GAAG,MAAM,CAAC,OAAO;oBACjB,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK;oBACxB,OAAO,EAAE,GAAG,CAAC,OAAO,CAAC,OAAO;oBAC5B,aAAa,EAAE,GAAG,CAAC,OAAO,CAAC,aAAa;iBACzC,CAAC;YACJ,CAAC;QACH,CAAC;QACD,gBAAgB,CAAC,GAAG,CAAC,UAAU,EAAE,QAAQ,CAAC,CAAC;QAC3C,OAAO,QAAQ,CAAC;IAClB,CAAC,CAAC;IACF,8DAA8D;IAC9D,MAAM,gBAAgB,GAAG;QACvB,GAAG,MAAM,CAAC,OAAO;QACjB,KAAK,EAAE,SAAS;QAChB,OAAO,EAAE,SAAS;QAClB,aAAa,EAAE,SAAS;KACzB,CAAC;IACF,MAAM,oBAAoB,GAAG,CAAC,cAAsB,EAAO,EAAE;QAC3D,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC;YAAE,OAAO,MAAM,CAAC,OAAO,CAAC;QACzD,MAAM,UAAU,GAAG,EAAE,CAAC,cAAc,CAClC,OAAO,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC,EAC/B,EAAE,CAAC,GAAG,CAAC,UAAU,EACjB,eAAe,CAChB,CAAC;QACF,OAAO,UAAU,CAAC,CAAC,CAAC,qBAAqB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,gBAAgB,CAAC;IACpF,CAAC,CAAC;IAEF,yEAAyE;IACzE,MAAM,cAAc,GAAG,IAAI,CAAC,YAAY,EAAE,cAAc,CAAC,CAAC;IAC1D;;;;;OAKG;IACH,MAAM,WAAW,GAAG,CAAC,cAAsB,EAAE,OAAY,EAAO,EAAE,CAChE,EAAE,CAAC,2BAA2B,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,SAAS,EAAE,cAAc,EAAE,OAAO,CAAC,CAAC;IAC9F,MAAM,aAAa,GAAG,CACpB,SAAiB,EACjB,cAAsB,EACtB,OAAY,EACZ,OAAY,WAAW,CAAC,cAAc,EAAE,OAAO,CAAC,EAChD,EAAE;QACF,IAAI,SAAS,KAAK,oBAAoB,IAAI,YAAY,CAAC,cAAc,CAAC,EAAE,CAAC;YACvE,OAAO;gBACL,gBAAgB,EAAE,OAAO,CAAC,cAAc,CAAC;gBACzC,SAAS,EAAE,OAAO;gBAClB,uBAAuB,EAAE,KAAK;aAC/B,CAAC;QACJ,CAAC;QACD,oEAAoE;QACpE,sEAAsE;QACtE,OAAO,EAAE,CAAC,iBAAiB,CACzB,SAAS,EACT,MAAM,CAAC,cAAc,CAAC,EACtB,OAAO,EACP,cAAc,EACd,SAAS,EACT,SAAS,EACT,IAAI,CACL,CAAC,cAAc,CAAC;IACnB,CAAC,CAAC;IAEF,0EAA0E;IAC1E,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAAmB,CAAC;IACrD,MAAM,kBAAkB,GAAG,CAAC,SAAiB,EAAE,cAAsB,EAAW,EAAE;QAChF,MAAM,GAAG,GAAG,GAAG,SAAS,IAAI,cAAc,EAAE,CAAC;QAC7C,MAAM,MAAM,GAAG,iBAAiB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC1C,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,2EAA2E;QAC3E,sEAAsE;QACtE,kEAAkE;QAClE,MAAM,QAAQ,GAAG,aAAa,CAAC,SAAS,EAAE,cAAc,EAAE;YACxD,GAAG,oBAAoB,CAAC,cAAc,CAAC;YACvC,OAAO,EAAE,IAAI;YACb,OAAO,EAAE,KAAK;YACd,aAAa,EAAE,KAAK;SACrB,CAAC,CAAC;QACH,MAAM,SAAS,GAAG,QAAQ,KAAK,SAAS,CAAC;QACzC,iBAAiB,CAAC,GAAG,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACtC,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IAEF;;;;OAIG;IACH,MAAM,SAAS,GAAG,IAAI,GAAG,EAAoB,CAAC;IAC9C,MAAM,YAAY,GAAG,CAAC,IAAY,EAAY,EAAE;QAC9C,MAAM,MAAM,GAAG,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACnC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,CAAC;QACxC,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;QAC5B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,OAAO,GAAG,oBAAoB,CAAC,IAAI,CAAC,CAAC;YAC3C,KAAK,MAAM,QAAQ,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,aAAa,EAAE,CAAC;gBACzE,MAAM,MAAM,GAAG,aAAa,CAAC,QAAQ,CAAC,QAAQ,EAAE,IAAI,EAAE,OAAO,CAAC;oBAC5D,EAAE,gBAAgB,CAAC;gBACrB,IAAI,MAAM,KAAK,SAAS;oBAAE,SAAS;gBACnC,MAAM,QAAQ,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC;gBACjC,IAAI,eAAe,CAAC,QAAQ,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QACD,SAAS,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF;;;OAGG;IACH,MAAM,SAAS,GAAG,CAAC,OAA0B,EAAY,EAAE;QACzD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;QAC/B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC3B,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACxB,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,EAAG,CAAC;YAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;YAC1B,IAAI,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YAC7B,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YACf,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACjB,KAAK,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC;QACpC,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,KAAK,GAAG,IAAI,GAAG,CACnB,CAAC,MAAM,CAAC,SAAS,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAC9D,CAAC;IACF,4EAA4E;IAC5E,8EAA8E;IAC9E,KAAK,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,EAAE,CAAC;QAC7B,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IAED,IAAI,OAAO,GAAQ,IAAI,CAAC;IACxB,MAAM,YAAY,GAAG,GAAQ,EAAE;QAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;QACzD,MAAM,aAAa,GAAG,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACpD,IAAI,CAAC,QAAQ,GAAG,QAAQ,CAAC;QACzB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAC;QAC7B,IAAI,CAAC,aAAa,GAAG,CACnB,QAAgB,EAChB,eAAoB,EACpB,OAAY,EACZ,YAAiB,EACjB,EAAE;YACF,MAAM,OAAO,GAAG,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAC;YAC/C,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;gBAC1B,OAAO,EAAE,CAAC,gBAAgB,CAAC,QAAQ,EAAE,OAAO,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;YACvE,CAAC;YACD,OAAO,aAAa,CAAC,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,YAAY,CAAC,CAAC;QACzE,CAAC,CAAC;QACF,uEAAuE;QACvE,yEAAyE;QACzE,wEAAwE;QACxE,iDAAiD;QACjD,IAAI,CAAC,yBAAyB,GAAG,CAC/B,QAAwB,EACxB,cAAsB,EACtB,oBAAyB,EACzB,QAAa,EACb,oBAAyB,EACzB,EAAE;YACF,MAAM,OAAO,GAAG,oBAAoB,CAAC,cAAc,CAAC,CAAC;YACrD,OAAO,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAY,EAAE,EAAE,CAAC,CAAC;gBACrC,cAAc,EAAE,aAAa,CAC3B,OAAO,CAAC,IAAI,EACZ,cAAc,EACd,OAAO,EACP,EAAE,CAAC,uBAAuB,CAAC,oBAAoB,EAAE,OAAO,EAAE,OAAO,CAAC,CACnE;aACF,CAAC,CAAC,CAAC;QACN,CAAC,CAAC;QACF,OAAO,EAAE,CAAC,aAAa,CAAC;YACtB,SAAS,EAAE,CAAC,GAAG,KAAK,CAAC;YACrB,OAAO,EAAE,MAAM,CAAC,OAAO;YACvB,IAAI;SACL,CAAC,CAAC;IACL,CAAC,CAAC;IAEF,MAAM,OAAO,GAAwB;QACnC,KAAK,CAAC,WAAW,EAAE,OAAO,EAAE,aAAa,GAAG,EAAE;YAC5C,MAAM,KAAK,GAAG,SAAS,CAAC;gBACtB,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,SAAS,EAAE,MAAM,CAAC,CAAC;gBACtD,mEAAmE;gBACnE,+DAA+D;gBAC/D,qEAAqE;gBACrE,6DAA6D;gBAC7D,GAAG,aAAa;qBACb,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,OAAO,CAAC,YAAY,EAAE,MAAM,CAAC,CAAC;qBAC9C,MAAM,CAAC,eAAe,CAAC;aAC3B,CAAC,CAAC;YACH,yEAAyE;YACzE,0CAA0C;YAC1C,IAAI,KAAK,GAAG,KAAK,CAAC;YAClB,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACrB,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;oBAChB,KAAK,GAAG,IAAI,CAAC;gBACf,CAAC;YACH,CAAC;YACD,IAAI,OAAO,KAAK,IAAI,IAAI,KAAK;gBAAE,OAAO,GAAG,YAAY,EAAE,CAAC;YAExD,MAAM,WAAW,GAAU,EAAE,CAAC;YAC9B,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;gBAC/C,IAAI,CAAC,UAAU,EAAE,CAAC;oBAChB,+DAA+D;oBAC/D,KAAK,MAAM,UAAU,IAAI,OAAO,CAAC,qBAAqB,EAAE,EAAE,CAAC;wBACzD,MAAM,IAAI,GAAG,EAAE,CAAC,4BAA4B,CAAC,UAAU,CAAC,WAAW,EAAE,GAAG,CAAC,CAAC;wBAC1E,IAAI,CAAC,UAAU,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC;4BAAE,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;oBAC5E,CAAC;oBACD,SAAS;gBACX,CAAC;gBACD,KAAK,MAAM,UAAU,IAAI;oBACvB,GAAG,OAAO,CAAC,uBAAuB,CAAC,UAAU,CAAC;oBAC9C,GAAG,OAAO,CAAC,sBAAsB,CAAC,UAAU,CAAC;iBAC9C,EAAE,CAAC;oBACF,IAAI,4BAA4B,CAAC,EAAE,EAAE,UAAU,EAAE,kBAAkB,CAAC;wBAClE,SAAS;oBACX,WAAW,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC/B,CAAC;YACH,CAAC;YACD,IAAI,WAAW,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAE1C,MAAM,SAAS,GAAG,EAAE;iBACjB,iBAAiB,CAAC,WAAW,EAAE,UAAU,CAAC;iBAC1C,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;YACvB,OAAO;gBACL,WAAW,EAAE,SAAS;gBACtB,OAAO,EACL,aAAa,WAAW,mCAAmC;oBAC3D,yCAAyC;oBACzC,SAAS;yBACN,KAAK,CAAC,IAAI,CAAC;yBACX,GAAG,CAAC,CAAC,IAAY,EAAE,EAAE,CAAC,OAAO,IAAI,EAAE,CAAC;yBACpC,IAAI,CAAC,IAAI,CAAC;oBACb,kEAAkE;oBAClE,aAAa,mBAAmB,wBAAwB;aAC3D,CAAC;QACJ,CAAC;KACF,CAAC;IAEF,OAAO,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC;AAC/B,CAAC"}

package/dist/src/lib/generated-config-surfaces.d.ts

@@ -2695,6 +2695,18 @@ export type AgentDeclarationResolution = {
  * the block the author wrote.
  */
 export declare const AGENT_BLOCK_LABEL = "[prompt.agent]";
+/**
+ * One place a declaration names a server function: the key, the tool's name
+ * for a tool, the path that makes the reference, and whether the reference
+ * needs the function's schemas (a tool's are its function's; a turn-context or
+ * history hook only needs the function to exist).
+ */
+export interface AgentFunctionReference {
+    key: string;
+    tool?: string;
+    path: string;
+    needsSchemas: boolean;
+}
 /**
  * The function keys a declaration references (tools, turn context, history),
  * each once, in declaration order. What a caller resolves into the
@@ -2712,6 +2724,39 @@ export declare const AGENT_BLOCK_LABEL = "[prompt.agent]";
  */
 export declare function parseAgentDeclarationBlock(agent: unknown): Record<string, unknown> | undefined;
 export declare function agentDeclarationFunctionKeys(agent: unknown): string[];
+/**
+ * Every function reference of a declaration (tools, turn context, history), in
+ * declaration order, with the path that makes it. `[]` for a block that is
+ * absent or does not parse. A declaration written as one JSON string is read
+ * as the object it encodes.
+ */
+export declare function agentDeclarationFunctionReferences(agent: unknown): AgentFunctionReference[];
+/**
+ * What a reference lacks: the function itself, or one of a tool's two schemas.
+ * One deficit per (reference, kind), so a comparison of two states can tell a
+ * schema restored from a schema removed without reading message text.
+ */
+export type AgentFunctionDeficitKind = "absent" | "inputSchemaMissing" | "outputSchemaMissing";
+/** One thing a function reference of a declaration lacks. */
+export interface AgentFunctionDeficit {
+    path: string;
+    tool?: string;
+    key: string;
+    kind: AgentFunctionDeficitKind;
+}
+/**
+ * Every deficit of a declaration's function references against `functions`:
+ * an absent function (`null`, or missing from the map), and for a tool a
+ * missing `inputSchema` and a missing `outputSchema`, each on its own. `[]` for
+ * a block that is absent or does not parse.
+ */
+export declare function agentFunctionDeficits(agent: unknown, functions: AgentFunctionFacts): AgentFunctionDeficit[];
+/**
+ * The refusals for a list of deficits: one `AGENT_TOOL_FUNCTION_MISSING` per
+ * absent reference, and one `AGENT_TOOL_FUNCTION_SCHEMA_MISSING` per tool
+ * reference naming every schema it lacks.
+ */
+export declare function agentFunctionDeficitRefusals(deficits: readonly AgentFunctionDeficit[]): AgentRefusal[];
 /**
  * The one rule: is this `[prompt.agent]` declaration (with the prompt's kind
  * and `outputSchema`) something the platform can run?
@@ -2872,6 +2917,109 @@ export interface AgentSchemaTranslationInput {
  * A declaration with no tools and no events reads no function schema at all.
  */
 export declare function agentSchemaTranslationRefusals(input: AgentSchemaTranslationInput): AgentRefusal[];
+/**
+ * One schema an agent's model reads that a provider of a non-archived config
+ * cannot carry — or, for a server tool, a function schema that does not parse.
+ * The structured half of `agentSchemaTranslationRefusals`: its identity is
+ * (`subject`, `which`, `provider`, `schemaPath`, `keyword`), or (`subject`,
+ * `which`, `unparsable`), so two states can be compared without reading
+ * message text.
+ */
+export type AgentSchemaDeficit = {
+    /** `tool "propose"`, `tool "lookup" (function "ledger")` or `event "applied"`. */
+    subject: string;
+    /** `inputSchema`, `outputSchema` or `schema`. */
+    which: string;
+    provider: string;
+    /** The non-archived configs on `provider`. */
+    configNames: string[];
+    /** The dotted path from the schema root; `""` is the root. */
+    schemaPath: string;
+    keyword: string;
+    reason: string;
+} | {
+    subject: string;
+    which: string;
+    /** The function whose stored schema does not parse. */
+    unparsable: string;
+};
+/**
+ * Every deficit `agentSchemaTranslationRefusals` reports, in the same order,
+ * before it is rendered. One per (schema, path, keyword, provider), and one
+ * per server-tool schema that does not parse.
+ */
+export declare function agentSchemaTranslationDeficits(input: AgentSchemaTranslationInput): AgentSchemaDeficit[];
+/** The `AGENT_SCHEMA_NOT_TRANSLATABLE` refusal one deficit renders as. */
+export declare function agentSchemaDeficitRefusal(deficit: AgentSchemaDeficit): AgentRefusal;
+/**
+ * A change to a server function that an agent uses — issue #4441.
+ *
+ * An agent names server functions as its tools, its turn-context hook and its
+ * history hook. The agent's own writes are checked against those functions
+ * (`resolveAgentDeclaration`, `agentSchemaTranslationRefusals`), but a change
+ * to the FUNCTION — archiving it, deleting it, changing its schemas — used to
+ * be accepted and fail at the agent's next turn. This module is the rule for
+ * that change: given one agent's declaration and configs, and the functions it
+ * names before and after the change, which refusals does the change introduce?
+ *
+ * The admin function routes refuse such a change with `FUNCTION_USED_BY_AGENT`,
+ * and `config push`'s preflight runs the same rule through the vendored
+ * artifact, so the two cannot disagree.
+ *
+ * ONLY WHAT THE CHANGE INTRODUCES. Both states are reduced to structured
+ * deficits (`agentFunctionDeficits`, `agentSchemaTranslationDeficits`) and the
+ * ones already present before the change are dropped. An agent that is broken
+ * for another reason does not block an unrelated change, and a partial repair
+ * — restoring one of two missing schemas, removing one of two `$ref`s — is
+ * accepted. Messages are rendered only afterwards, by the sibling rules' own
+ * builders, so they read exactly as an agent write's refusals do.
+ *
+ * Pure and dependency-free, like every module under `src/config-surface/`.
+ */
+/** The code a function route answers when an agent cannot take the change. */
+export declare const FUNCTION_USED_BY_AGENT = "FUNCTION_USED_BY_AGENT";
+/** One agent, and the functions it names before and after a change to them. */
+export interface AgentFunctionChangeInput {
+    /** `[prompt.agent]` as stored: a table, or one JSON string encoding one. */
+    declaration: unknown;
+    /** Every config of the agent's prompt. Archived ones are skipped. */
+    configs: ReadonlyArray<AgentSchemaConfigFact>;
+    /** What the app holds for each function the declaration names, now. */
+    before: AgentFunctionFacts;
+    /** The same, as the change would leave it. */
+    after: AgentFunctionFacts;
+}
+/**
+ * Every refusal the change introduces for this agent: a reference whose
+ * function goes away (`AGENT_TOOL_FUNCTION_MISSING`), a tool schema that goes
+ * away (`AGENT_TOOL_FUNCTION_SCHEMA_MISSING`), and a schema a non-archived
+ * config's provider cannot carry where the previous one could
+ * (`AGENT_SCHEMA_NOT_TRANSLATABLE`). `[]` when the agent can take the change,
+ * and for a declaration that does not parse (it names nothing).
+ */
+export declare function agentFunctionChangeRefusals(input: AgentFunctionChangeInput): AgentRefusal[];
+/**
+ * How an agent uses one function: each tool's name (or its path when the tool
+ * has none), and `turnContext.function` / `history.function` for a hook, in
+ * declaration order. `[]` when the declaration does not name the function.
+ */
+export declare function agentFunctionUses(declaration: unknown, functionKey: string): string[];
+/** What a function route was asked to do. */
+export type FunctionChangeKind = "archive" | "delete" | "schema";
+/** One agent a function change would break. */
+export interface FunctionUsedByAgent {
+    promptKey: string;
+    /** `agentFunctionUses` of the changed function. */
+    tools: string[];
+    /** The refusals the change introduces for this agent. */
+    refusals: ReadonlyArray<AgentRefusal>;
+}
+/**
+ * The sentence a function route refuses with: the function, then one sentence
+ * per agent naming its key and each use, then the remedy. A schema change also
+ * carries each agent's refusals, since the remedy depends on which schema broke.
+ */
+export declare function functionUsedByAgentMessage(functionKey: string, change: FunctionChangeKind, agents: ReadonlyArray<FunctionUsedByAgent>): string;
 /**
  * What an agent test case may say — issue #4262 (single-round prompt tests
  * from a seeded history; design-docs/agents.md §D1).