primitive-admin 1.2.0-alpha.7 → 1.2.0-alpha.9

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

@@ -2538,7 +2538,7 @@ export declare function resolvePromptStrictOutput(input: PromptStrictOutputInput
  * Pure and dependency-free, like every module under `src/config-surface/`.
  */
 /** The stable codes every agent agentRefusal this project adds carries. */
-export declare const AGENT_ERROR_CODES: readonly ["AGENT_DECLARATION_INVALID", "AGENT_TOOL_FUNCTION_MISSING", "AGENT_TOOL_FUNCTION_SCHEMA_MISSING", "AGENT_OUTPUT_SCHEMA_NOT_ALLOWED", "AGENT_CONFIG_KEY_NOT_ALLOWED", "AGENT_NOT_RUNNABLE", "AGENT_TEST_CASE_NOT_SUPPORTED", "AGENT_SCHEMA_NOT_TRANSLATABLE", "AGENT_MODEL_UNKNOWN", "AGENT_MODEL_CAPABILITY_MISSING", "AGENT_MODEL_CAPABILITIES_UNAVAILABLE", "AGENT_ROUND_NOT_AGENT", "AGENT_ROUND_INPUT_INVALID", "AGENT_TOOL_UNKNOWN", "AGENT_TOOL_ARGUMENTS_INVALID", "AGENT_ROUND_TRUNCATED", "AGENT_ROUND_EMPTY", "AGENT_TEST_CASE_INVALID"];
+export declare const AGENT_ERROR_CODES: readonly ["AGENT_DECLARATION_INVALID", "AGENT_TOOL_FUNCTION_MISSING", "AGENT_TOOL_FUNCTION_SCHEMA_MISSING", "AGENT_OUTPUT_SCHEMA_NOT_ALLOWED", "AGENT_CONFIG_KEY_NOT_ALLOWED", "AGENT_NOT_RUNNABLE", "AGENT_TEST_CASE_NOT_SUPPORTED", "AGENT_SCHEMA_NOT_TRANSLATABLE", "AGENT_MODEL_UNKNOWN", "AGENT_MODEL_CAPABILITY_MISSING", "AGENT_MODEL_CAPABILITIES_UNAVAILABLE", "AGENT_ROUND_NOT_AGENT", "AGENT_ROUND_INPUT_INVALID", "AGENT_TOOL_UNKNOWN", "AGENT_TOOL_ARGUMENTS_INVALID", "AGENT_ROUND_TRUNCATED", "AGENT_ROUND_EMPTY", "AGENT_TEST_CASE_INVALID", "AGENT_PRESENTATION_REFERENCE_INVALID"];
 export type AgentErrorCode = (typeof AGENT_ERROR_CODES)[number];
 /** One agentRefusal: the code a client branches on, and the sentence a person reads. */
 export interface AgentRefusal {
@@ -2568,9 +2568,16 @@ export declare const AGENT_NAME: RegExp;
 export declare const AGENT_ANSWERED_BY: readonly ["initiator", "participants"];
 export declare const AGENT_TOOL_INVOKE: readonly ["request", "task"];
 export declare const AGENT_TOOL_HISTORY_SCOPES: readonly ["session", "turn"];
+/**
+ * Where a tool without a `function` runs: `client` is answered by a member's
+ * client; `presentation` is data the model hands the client with its final
+ * answer, which no client executes (#4549).
+ */
+export declare const AGENT_TOOL_RUNS: readonly ["client", "presentation"];
 export type AgentAnsweredBy = (typeof AGENT_ANSWERED_BY)[number];
 export type AgentToolInvoke = (typeof AGENT_TOOL_INVOKE)[number];
 export type AgentToolHistoryScope = (typeof AGENT_TOOL_HISTORY_SCOPES)[number];
+export type AgentToolRuns = (typeof AGENT_TOOL_RUNS)[number];
 /** A JSON Schema object, as the declaration holds one. */
 export type AgentSchema = Record<string, unknown>;
 /** One `[[prompt.agent.tools]]` entry, as authored. */
@@ -2580,17 +2587,26 @@ export interface AgentToolDeclaration {
     /** A server tool: the function whose schemas are the tool's. */
     function?: string;
     invoke?: AgentToolInvoke;
-    /** A client tool: answered by a member's client, schemas in the TOML. */
-    runs?: "client";
+    /**
+     * `client`: answered by a member's client, schemas in the TOML.
+     * `presentation`: data the model hands the client with its final answer;
+     * its call ends the turn and is never answered.
+     */
+    runs?: AgentToolRuns;
+    /**
+     * A presentation's input properties whose integers name earlier calls of
+     * the turn by the number the platform gave them (`callNumber`).
+     */
+    references?: string[];
     inputSchema?: AgentSchema;
     outputSchema?: AgentSchema;
     approval?: boolean;
     statusText?: string;
     historyScope?: AgentToolHistoryScope;
     /**
-     * A call to this tool ends the turn: once every call of its response is
-     * final, the turn settles with no further model round. A client tool with
-     * it is never answered — the platform records its result.
+     * A call to this server tool ends the turn: once every call of its response
+     * is final, the turn settles with no further model round. A presentation
+     * always does.
      */
     endsTurn?: boolean;
 }
@@ -2623,14 +2639,14 @@ export type NormalizedAgentTool = AgentToolDeclaration & {
     endsTurn: boolean;
 };
 /**
- * The result the platform records for a call to a client tool with
- * `endsTurn = true`: the call is final when its response is committed, and
- * later rounds read this as its tool result.
+ * The result the platform records for a presentation call: the call is final
+ * when its response is committed, and later rounds read this as its tool
+ * result.
  */
 export declare const AGENT_TERMINAL_CALL_OUTPUT: {
     delivered: true;
 };
-/** The schema of `AGENT_TERMINAL_CALL_OUTPUT`: a terminal client tool's output type. */
+/** The schema of `AGENT_TERMINAL_CALL_OUTPUT`, the result a presentation call is recorded with. */
 export declare const AGENT_TERMINAL_CALL_OUTPUT_SCHEMA: AgentSchema;
 /** The declaration with every default applied — what readers consume. */
 export interface NormalizedAgentDeclaration {
@@ -2786,10 +2802,31 @@ export declare function agentRoundNotAgentRefusal(promptKey: string): AgentRefus
  * `evaluator` is the one role left.
  */
 export declare function agentTestCaseRefusal(promptKey: string, _role?: "evaluator"): AgentRefusal;
+/** An earlier call of the turn, as a presentation's references are checked against it. */
+export interface AgentReferencedCall {
+    /** The number the platform gave the call in its turn (1 for the turn's first). */
+    callNumber: number;
+    toolName: string;
+    /** The call's row state; only `output-available` may be referenced. */
+    state: string;
+}
+/**
+ * The refusal of a presentation call whose `references` name a number that
+ * is not an earlier call of the turn with a result — a refused call, a number
+ * the turn never gave, or a call of the same response — or `null`. `earlier`
+ * is the turn's calls committed before this call's response. The message
+ * lists the offending values by property and the numbers that may be
+ * referenced, with their tools, so the model can correct itself next round.
+ */
+export declare function presentationReferenceRefusal(tool: {
+    name: string;
+    references?: readonly string[];
+}, args: unknown, earlier: readonly AgentReferencedCall[]): AgentRefusal | null;
 /**
  * The declaration with every default applied: `answeredBy = "initiator"`, the
  * platform maximums for the limits, and per tool `invoke = "request"` (server
- * tools), `approval = false`, `historyScope = "session"` and `endsTurn = false`.
+ * tools), `approval = false`, `historyScope = "session"` and `endsTurn = false`
+ * — `endsTurn = true` for a presentation, whose call always ends the turn.
  *
  * The ONLY accessor for defaults — the stored value never carries them
  * (DSO-3798-001). Takes a value `resolveAgentDeclaration` accepted (or `null`)