@zmdb/compiler 1.0.0-beta.1

package/dist/codegen/scan.js

@@ -0,0 +1,450 @@
+// The source-analysis half of no-bundler project compilation: what to generate, which canonical
+// package export each call resolves to, and what the generated module has to import.
+//
+// Nothing here asks the checker anything. That is deliberate — every question this file
+// answers is about *text*: which calls carry a type argument, which names that type
+// argument mentions, and where those names came from. Answering them syntactically keeps
+// the expensive half (one `tsgo` session, one reflection per type) to exactly the call
+// sites that survive this pass.
+//
+// The one non-obvious job is the import block of the witness module. `is<Omit<User, 'id'>>`
+// is written in a file where `Omit` is global and `User` is imported from `./models.ts`;
+// the same type argument in a *different* file resolves to nothing. So the witness is
+// written next to the source it came from and re-states the source's own imports, filtered
+// to the names the type arguments actually mention. A name the witness could not import is
+// a refusal with the name in it, not a guess (plan D4).
+import { isClassDeclaration, isEnumDeclaration, isExportDeclaration, isExportKeyword, isIdentifier, isImportDeclaration, isInterfaceDeclaration, isModuleDeclaration, isNamedExports, isNamedImports, isNamespaceImport, isPropertyAccessExpression, isQualifiedName, isStringLiteral, isTypeAliasDeclaration, isTypeQueryNode, isTypeReferenceNode, isVariableStatement, } from 'typescript/unstable/ast/is';
+import { CALL_OWNERS, findOwnedCallSites } from '../reflect/callsites.js';
+import { CALLEES } from '../transform/index.js';
+// -----------------------------------------------------------------------------
+// Reading a module
+// -----------------------------------------------------------------------------
+/**
+ * Whether a declaration carries `export`.
+ *
+ * boundary: `modifiers` is declared on each of the dozen node types that can have one, and
+ * not on `Node`. Asking for it as an optional property is how a walk that accepts any node
+ * reads it without a `switch` over those dozen types — and the `Array.isArray` on the next
+ * line is what makes the read sound rather than the cast.
+ */
+function exported(node) {
+    const modifiers = node.modifiers;
+    return Array.isArray(modifiers) && modifiers.some(modifier => isExportKeyword(modifier));
+}
+/** Import bindings, local declarations and exports of one module. */
+export function moduleFacts(sourceFile) {
+    const imports = new Map();
+    const locals = new Set();
+    const exports = new Set();
+    for (const statement of sourceFile.statements) {
+        if (isImportDeclaration(statement)) {
+            const specifierNode = statement.moduleSpecifier;
+            if (!isStringLiteral(specifierNode))
+                continue;
+            const specifier = specifierNode.text;
+            const clause = statement.importClause;
+            if (!clause)
+                continue;
+            if (clause.name) {
+                imports.set(clause.name.text, { specifier, kind: 'default', original: 'default' });
+            }
+            const bindings = clause.namedBindings;
+            if (bindings === undefined)
+                continue;
+            if (isNamespaceImport(bindings)) {
+                imports.set(bindings.name.text, { specifier, kind: 'namespace', original: '*' });
+            }
+            else if (isNamedImports(bindings)) {
+                for (const element of bindings.elements) {
+                    if (!isIdentifier(element.name))
+                        continue;
+                    const original = element.propertyName && isIdentifier(element.propertyName) ? element.propertyName.text : element.name.text;
+                    imports.set(element.name.text, { specifier, kind: 'named', original });
+                }
+            }
+            continue;
+        }
+        if (isInterfaceDeclaration(statement) ||
+            isTypeAliasDeclaration(statement) ||
+            isClassDeclaration(statement) ||
+            isEnumDeclaration(statement) ||
+            isModuleDeclaration(statement)) {
+            const name = statement.name;
+            if (name && isIdentifier(name)) {
+                locals.add(name.text);
+                if (exported(statement))
+                    exports.add(name.text);
+            }
+            continue;
+        }
+        if (isVariableStatement(statement)) {
+            // Only for `typeof x` in a type argument. The declaration list can destructure, and
+            // a destructured binding is not something a type query can name, so plain
+            // identifiers are the whole of what is useful here.
+            for (const declaration of statement.declarationList.declarations) {
+                if (!isIdentifier(declaration.name))
+                    continue;
+                locals.add(declaration.name.text);
+                if (exported(statement))
+                    exports.add(declaration.name.text);
+            }
+            continue;
+        }
+        if (isExportDeclaration(statement)) {
+            const bindings = statement.exportClause;
+            if (bindings && isNamedExports(bindings)) {
+                for (const element of bindings.elements) {
+                    if (isIdentifier(element.name))
+                        exports.add(element.name.text);
+                }
+            }
+            continue;
+        }
+        if (exported(statement)) {
+            // boundary: same shape as `exported` above — `name` belongs to the declaration types,
+            // not to `Node`, and this branch is the fall-through for the statement kinds the cases
+            // above did not name. `isIdentifier` is what proves the read, so a node with no `name`
+            // and a node whose name is a computed property both fall out here.
+            const name = statement.name;
+            if (name && isIdentifier(name))
+                exports.add(name.text);
+        }
+    }
+    return { imports, locals, exported: exports };
+}
+/**
+ * The names a type argument depends on, as written.
+ *
+ * Only the *head* of a reference counts: `ns.T` needs `ns`, `Omit<User, 'id'>` needs
+ * `Omit` and `User`, and the `'id'` needs nothing. Collecting every identifier instead
+ * would drag in the property names of an inline object type and then refuse the call site
+ * because `email` is not importable.
+ */
+export function referencedNames(node) {
+    const names = new Set();
+    const head = (name) => {
+        if (isIdentifier(name))
+            names.add(name.text);
+        else if (isQualifiedName(name))
+            head(name.left);
+    };
+    const walk = (current) => {
+        if (isTypeReferenceNode(current))
+            head(current.typeName);
+        else if (isTypeQueryNode(current))
+            head(current.exprName);
+        current.forEachChild(walk);
+    };
+    walk(node);
+    return names;
+}
+// -----------------------------------------------------------------------------
+// Naming
+// -----------------------------------------------------------------------------
+/** `is` → `Is`, so the export reads as a sentence: `zmdbIsUser`. */
+function capitalise(text) {
+    return text.charAt(0).toUpperCase() + text.slice(1);
+}
+const PREFIXES = {
+    is: 'Is',
+    isShallow: 'IsShallow',
+    equals: 'Equals',
+    assert: 'Assert',
+    assertShallow: 'AssertShallow',
+    assertEquals: 'AssertEquals',
+    validate: 'Validate',
+    validateShallow: 'ValidateShallow',
+    random: 'Random',
+    toJsonSchema: 'JsonSchema',
+    schemaOf: 'Schema',
+    toolFor: 'Tool',
+    grpcDescriptor: 'GrpcDescriptor',
+    loadGrpcService: 'LoadGrpcService',
+    protoDescriptor: 'ProtoDescriptor',
+    protoDecode: 'ProtoDecode',
+    protoEncode: 'ProtoEncode',
+};
+/** How long a slug may get before it stops being a name and starts being the type. */
+const MAX_SLUG = 48;
+/**
+ * A stable export name for one entry.
+ *
+ * Stability is the requirement, not beauty: the name is written into the user's source, so
+ * it has to come out the same on every run or the codegen produces a diff per invocation.
+ * It is derived only from the callee and the type text, both of which are in the source.
+ */
+export function exportName(callee, typeText, taken, depthText, identityText) {
+    const slug = `${typeText} ${identityText ?? ''}`
+        .replaceAll(/[^A-Za-z0-9]+/g, ' ')
+        .trim()
+        .split(/\s+/)
+        .map(capitalise)
+        .join('')
+        .slice(0, MAX_SLUG);
+    const depth = depthText === undefined
+        ? ''
+        : `Depth${depthText
+            .replaceAll(/[^A-Za-z0-9]+/g, ' ')
+            .trim()
+            .split(/\s+/)
+            .map(capitalise)
+            .join('')}`;
+    const base = `zmdb${PREFIXES[callee] ?? capitalise(callee)}${slug}${depth}`;
+    if (!taken.has(base))
+        return base;
+    // Two different types with the same slug — `Pick<User, 'id'>` and `Pick<User, "id">`,
+    // say. Numbering is ugly and deterministic, which is the right trade for a generated
+    // name; guessing that they are the same type would be neither.
+    for (let n = 2;; n += 1) {
+        const candidate = `${base}_${String(n)}`;
+        if (!taken.has(candidate))
+            return candidate;
+    }
+}
+// -----------------------------------------------------------------------------
+// Where the callee came from
+// -----------------------------------------------------------------------------
+/**
+ * The package a callee lives in, for a call that did not import it by name.
+ *
+ * Only reached by `zmdb.is<User>(x)` where `zmdb` turns out not to be an import either —
+ * an unusual file. The subpaths are the truth about where each function is declared, and a
+ * project that installed only the product package has them all re-exported from `zmdb`, so the
+ * import the witness writes resolves in both layouts as long as the source's own import
+ * could be read. When it could not, this is the better guess than nothing.
+ */
+const DEFAULT_MODULES = {
+    is: '@zmdb/validator',
+    equals: '@zmdb/validator',
+    assert: '@zmdb/validator',
+    assertShallow: '@zmdb/validator',
+    assertEquals: '@zmdb/validator',
+    validate: '@zmdb/validator',
+    validateShallow: '@zmdb/validator',
+    isShallow: '@zmdb/validator',
+    random: '@zmdb/validator',
+    toJsonSchema: '@zmdb/schema/openapi',
+    schemaOf: '@zmdb/schema',
+    toolFor: '@zmdb/ai',
+    grpcDescriptor: '@zmdb/protobuf',
+    loadGrpcService: '@zmdb/protobuf',
+    protoDescriptor: '@zmdb/protobuf',
+    protoDecode: '@zmdb/protobuf',
+    protoEncode: '@zmdb/protobuf',
+};
+/**
+ * Which module the witness should import a callee from.
+ *
+ * The source's own import, whenever there is one, and not a fixed table: a project that
+ * installed `zmdb` can import `is` from the product root, and a witness that reached past
+ * it to `@zmdb/validator` would import a package that is not in the
+ * consumer's dependencies. `zmdb.is<User>(x)` resolves through the namespace's own import
+ * for the same reason.
+ */
+function calleeSpecifier(facts, site) {
+    if (site.specifier !== undefined)
+        return site.specifier;
+    const direct = facts.imports.get(site.callee);
+    if (direct)
+        return direct.specifier;
+    const target = site.node.expression;
+    if (isPropertyAccessExpression(target) && isIdentifier(target.expression)) {
+        const namespace = facts.imports.get(target.expression.text);
+        if (namespace)
+            return namespace.specifier;
+    }
+    return DEFAULT_MODULES[site.callee] ?? '@zmdb/validator';
+}
+/**
+ * How to spell a relative import of a sibling `.ts` file, as this module spells it.
+ *
+ * There is no universally right answer — `./models.ts` needs
+ * `allowImportingTsExtensions`, and `./models.js` names a file that does not exist until
+ * something compiles it — so the witness copies whatever the source does. Only when the
+ * source has no relative import at all does the project's own setting decide.
+ */
+function relativeExtension(facts, tsExtensions) {
+    let sawJs = false;
+    for (const binding of facts.imports.values()) {
+        if (!binding.specifier.startsWith('.'))
+            continue;
+        if (/\.[cm]?tsx?$/.test(binding.specifier))
+            return '.ts';
+        if (/\.[cm]?jsx?$/.test(binding.specifier))
+            sawJs = true;
+    }
+    if (sawJs)
+        return '.js';
+    return tsExtensions === false ? '.js' : '.ts';
+}
+/** `/a/b/models.ts` → `./models.ts` or `./models.js`, per `relativeExtension`. */
+function siblingSpecifier(fileName, extension) {
+    const name = basename(fileName);
+    const stem = name.replace(/\.[cm]?tsx?$/, '');
+    return `./${stem}${extension}`;
+}
+/**
+ * Everything the generator needs for one source file.
+ *
+ * Two inputs rather than one, because the rewrite is destructive: after a run the source
+ * says `zmdbIsUser(data)` and the `is<User>` that produced it is gone. The witness keeps
+ * it — and keeps it in a form the compiler checks, so a renamed or deleted `User` is a
+ * build error in a generated file rather than a validator that quietly describes a type
+ * nobody declares any more. So the entry set is the union of the two, and an entry the
+ * source has stopped referencing is dropped, which is what stops the witness accumulating
+ * validators for code that no longer exists.
+ */
+export function scan(input) {
+    const { checker, sourceFile, witnessFile } = input;
+    const sourceText = sourceFile.text;
+    const entries = [];
+    const sites = [];
+    const refusals = [];
+    const calleeSources = new Map();
+    const taken = new Set();
+    /** Callee, type, depth and captured literals → one shared generated export. */
+    const byKey = new Map();
+    /** Heads still to resolve, and the file each was written in. */
+    const pending = [];
+    const add = (callee, typeText, file, node, depthText, depthNode, argumentsText) => {
+        const identity = argumentsText?.join('\u0000') ?? '';
+        const key = `${callee}\u0000${typeText}\u0000${depthText ?? ''}\u0000${identity}`;
+        const existing = byKey.get(key);
+        if (existing)
+            return existing;
+        const entry = {
+            callee,
+            typeText,
+            ...(depthText === undefined ? {} : { depthText }),
+            ...(argumentsText === undefined ? {} : { argumentsText }),
+            name: exportName(callee, typeText, taken, depthText, identity),
+        };
+        taken.add(entry.name);
+        byKey.set(key, entry);
+        entries.push(entry);
+        const names = new Set(referencedNames(node));
+        if (depthNode !== undefined) {
+            for (const name of referencedNames(depthNode))
+                names.add(name);
+        }
+        pending.push({ names, file, typeText });
+        return entry;
+    };
+    const depthOf = (site, file) => {
+        if (!site.callee.endsWith('Shallow'))
+            return {};
+        const node = site.node.typeArguments?.[1];
+        if (node === undefined)
+            return {};
+        const text = file.text.slice(node.getStart(), node.end).trim();
+        return text === '1' ? {} : { text, node };
+    };
+    const capturedArguments = (site, file) => {
+        if (site.callee !== 'grpcDescriptor' && site.callee !== 'loadGrpcService')
+            return undefined;
+        const args = site.node.arguments;
+        if (args.length !== 2 || !args.every(argument => isStringLiteral(argument))) {
+            refusals.push({
+                typeText: file.text.slice(site.typeArgument.getStart(), site.typeArgument.end),
+                reason: `\`${site.callee}<S>()\` needs exactly two string literals: service and package`,
+            });
+            return [];
+        }
+        return args.map(argument => file.text.slice(argument.getStart(), argument.end));
+    };
+    // The witness is written next to the source, so the source's own relative specifiers
+    // resolve unchanged from it. `facts` is therefore consulted per originating file: a
+    // carried entry's names were written in the witness and resolve against the witness.
+    const factsFor = new Map();
+    const facts = (file) => {
+        const cached = factsFor.get(file);
+        if (cached)
+            return cached;
+        const fresh = moduleFacts(file);
+        factsFor.set(file, fresh);
+        return fresh;
+    };
+    // Carried entries first, so an export name never moves because a new call site was added
+    // above an old one — the source references these names, and a rename would be a diff in
+    // hand-written code for no reason.
+    if (witnessFile) {
+        for (const site of findOwnedCallSites(witnessFile, checker, CALLEES, CALL_OWNERS)) {
+            const typeText = witnessFile.text.slice(site.typeArgument.getStart(), site.typeArgument.end);
+            const depth = depthOf(site, witnessFile);
+            const argumentsText = capturedArguments(site, witnessFile);
+            const name = exportName(site.callee, typeText, new Set(), depth.text, argumentsText?.join('\u0000'));
+            // Referenced by identifier, not by import: the source may have been edited by hand
+            // since, and what matters is whether the name is still used anywhere in it.
+            if (!referencesName(sourceText, name))
+                continue;
+            add(site.callee, typeText, witnessFile, site.typeArgument, depth.text, depth.node, argumentsText);
+            calleeSources.set(site.callee, calleeSpecifier(facts(witnessFile), site));
+        }
+    }
+    for (const site of findOwnedCallSites(sourceFile, checker, CALLEES, CALL_OWNERS)) {
+        const typeText = sourceText.slice(site.typeArgument.getStart(), site.typeArgument.end);
+        const depth = depthOf(site, sourceFile);
+        const argumentsText = capturedArguments(site, sourceFile);
+        sites.push({
+            site,
+            entry: add(site.callee, typeText, sourceFile, site.typeArgument, depth.text, depth.node, argumentsText),
+        });
+        // The source's answer overrides the witness's: the witness only ever says what a
+        // previous run wrote, and the user may since have changed where they import from.
+        calleeSources.set(site.callee, calleeSpecifier(facts(sourceFile), site));
+    }
+    const typeImports = new Map();
+    const extension = relativeExtension(facts(sourceFile), input.tsExtensions);
+    for (const { names, file, typeText } of pending) {
+        for (const name of names) {
+            if (typeImports.has(name))
+                continue;
+            const binding = facts(file).imports.get(name);
+            if (binding) {
+                typeImports.set(name, {
+                    specifier: binding.specifier,
+                    kind: binding.kind,
+                    local: name,
+                    original: binding.original,
+                });
+                continue;
+            }
+            // Declared where the call was written. Importable only if that module exports it —
+            // and the generated module is a different module, so "it is right there" is not
+            // enough.
+            const own = facts(file);
+            if (own.locals.has(name)) {
+                if (own.exported.has(name)) {
+                    typeImports.set(name, {
+                        specifier: siblingSpecifier(file.fileName, extension),
+                        kind: 'named',
+                        local: name,
+                        original: name,
+                    });
+                }
+                else {
+                    refusals.push({
+                        typeText,
+                        reason: `\`${name}\` is declared in ${basename(file.fileName)} but not exported, so the generated ` +
+                            'module cannot name it. Export it, or move it to a module that does.',
+                    });
+                }
+                continue;
+            }
+            // Not imported and not declared here: global (`Date`, `Omit`, `Record`), which needs
+            // no import at all. A name that is neither global nor importable is already a
+            // compile error in the source, so there is nothing for this pass to add.
+        }
+    }
+    return { entries, sites, refusals, typeImports: [...typeImports.values()], calleeSources };
+}
+/** Whether `text` uses `name` as an identifier, rather than as part of a longer one. */
+export function referencesName(text, name) {
+    const pattern = new RegExp(`(?<![\\w$])${name}(?![\\w$])`);
+    return pattern.test(text);
+}
+export function basename(path) {
+    const cut = Math.max(path.lastIndexOf('/'), path.lastIndexOf('\\'));
+    return cut === -1 ? path : path.slice(cut + 1);
+}
+//# sourceMappingURL=scan.js.map

package/dist/codegen/scan.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"scan.js","sourceRoot":"","sources":["../../src/codegen/scan.ts"],"names":[],"mappings":"AAAA,gGAAgG;AAChG,qFAAqF;AACrF,EAAE;AACF,wFAAwF;AACxF,oFAAoF;AACpF,yFAAyF;AACzF,uFAAuF;AACvF,gCAAgC;AAChC,EAAE;AACF,4FAA4F;AAC5F,yFAAyF;AACzF,sFAAsF;AACtF,2FAA2F;AAC3F,2FAA2F;AAC3F,wDAAwD;AAGxD,OAAO,EACL,kBAAkB,EAClB,iBAAiB,EACjB,mBAAmB,EACnB,eAAe,EACf,YAAY,EACZ,mBAAmB,EACnB,sBAAsB,EACtB,mBAAmB,EACnB,cAAc,EACd,cAAc,EACd,iBAAiB,EACjB,0BAA0B,EAC1B,eAAe,EACf,eAAe,EACf,sBAAsB,EACtB,eAAe,EACf,mBAAmB,EACnB,mBAAmB,GACpB,MAAM,4BAA4B,CAAC;AAGpC,OAAO,EAAE,WAAW,EAAE,kBAAkB,EAAiB,MAAM,yBAAyB,CAAC;AACzF,OAAO,EAAE,OAAO,EAAE,MAAM,uBAAuB,CAAC;AAgEhD,gFAAgF;AAChF,mBAAmB;AACnB,gFAAgF;AAEhF;;;;;;;GAOG;AACH,SAAS,QAAQ,CAAC,IAAU;IAC1B,MAAM,SAAS,GAAI,IAAwC,CAAC,SAAS,CAAC;IACtE,OAAO,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,CAAC;AAC3F,CAAC;AAED,qEAAqE;AACrE,MAAM,UAAU,WAAW,CAAC,UAAsB;IAChD,MAAM,OAAO,GAAG,IAAI,GAAG,EAAyB,CAAC;IACjD,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAElC,KAAK,MAAM,SAAS,IAAI,UAAU,CAAC,UAAU,EAAE,CAAC;QAC9C,IAAI,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,MAAM,aAAa,GAAG,SAAS,CAAC,eAAe,CAAC;YAChD,IAAI,CAAC,eAAe,CAAC,aAAa,CAAC;gBAAE,SAAS;YAC9C,MAAM,SAAS,GAAG,aAAa,CAAC,IAAI,CAAC;YACrC,MAAM,MAAM,GAAG,SAAS,CAAC,YAAY,CAAC;YACtC,IAAI,CAAC,MAAM;gBAAE,SAAS;YACtB,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;gBAChB,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,CAAC,CAAC;YACrF,CAAC;YACD,MAAM,QAAQ,GAAG,MAAM,CAAC,aAAa,CAAC;YACtC,IAAI,QAAQ,KAAK,SAAS;gBAAE,SAAS;YACrC,IAAI,iBAAiB,CAAC,QAAQ,CAAC,EAAE,CAAC;gBAChC,OAAO,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,WAAW,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC,CAAC;YACnF,CAAC;iBAAM,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACpC,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBACxC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;wBAAE,SAAS;oBAC1C,MAAM,QAAQ,GACZ,OAAO,CAAC,YAAY,IAAI,YAAY,CAAC,OAAO,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC7G,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,CAAC,CAAC;gBACzE,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,IACE,sBAAsB,CAAC,SAAS,CAAC;YACjC,sBAAsB,CAAC,SAAS,CAAC;YACjC,kBAAkB,CAAC,SAAS,CAAC;YAC7B,iBAAiB,CAAC,SAAS,CAAC;YAC5B,mBAAmB,CAAC,SAAS,CAAC,EAC9B,CAAC;YACD,MAAM,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC;YAC5B,IAAI,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC/B,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACtB,IAAI,QAAQ,CAAC,SAAS,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAClD,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,oFAAoF;YACpF,0EAA0E;YAC1E,oDAAoD;YACpD,KAAK,MAAM,WAAW,IAAI,SAAS,CAAC,eAAe,CAAC,YAAY,EAAE,CAAC;gBACjE,IAAI,CAAC,YAAY,CAAC,WAAW,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAC9C,MAAM,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAClC,IAAI,QAAQ,CAAC,SAAS,CAAC;oBAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YAC9D,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,mBAAmB,CAAC,SAAS,CAAC,EAAE,CAAC;YACnC,MAAM,QAAQ,GAAG,SAAS,CAAC,YAAY,CAAC;YACxC,IAAI,QAAQ,IAAI,cAAc,CAAC,QAAQ,CAAC,EAAE,CAAC;gBACzC,KAAK,MAAM,OAAO,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;oBACxC,IAAI,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC;wBAAE,OAAO,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACjE,CAAC;YACH,CAAC;YACD,SAAS;QACX,CAAC;QAED,IAAI,QAAQ,CAAC,SAAS,CAAC,EAAE,CAAC;YACxB,sFAAsF;YACtF,uFAAuF;YACvF,uFAAuF;YACvF,mEAAmE;YACnE,MAAM,IAAI,GAAI,SAA6B,CAAC,IAAI,CAAC;YACjD,IAAI,IAAI,IAAI,YAAY,CAAC,IAAI,CAAC;gBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACzD,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,OAAO,EAAE,CAAC;AAChD,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,eAAe,CAAC,IAAU;IACxC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAEhC,MAAM,IAAI,GAAG,CAAC,IAAU,EAAQ,EAAE;QAChC,IAAI,YAAY,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;aACxC,IAAI,eAAe,CAAC,IAAI,CAAC;YAAE,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAClD,CAAC,CAAC;IAEF,MAAM,IAAI,GAAG,CAAC,OAAa,EAAQ,EAAE;QACnC,IAAI,mBAAmB,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;aACpD,IAAI,eAAe,CAAC,OAAO,CAAC;YAAE,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;QAC1D,OAAO,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC7B,CAAC,CAAC;IAEF,IAAI,CAAC,IAAI,CAAC,CAAC;IACX,OAAO,KAAK,CAAC;AACf,CAAC;AAED,gFAAgF;AAChF,SAAS;AACT,gFAAgF;AAEhF,oEAAoE;AACpE,SAAS,UAAU,CAAC,IAAY;IAC9B,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;AACtD,CAAC;AAED,MAAM,QAAQ,GAAqC;IACjD,EAAE,EAAE,IAAI;IACR,SAAS,EAAE,WAAW;IACtB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,aAAa,EAAE,eAAe;IAC9B,YAAY,EAAE,cAAc;IAC5B,QAAQ,EAAE,UAAU;IACpB,eAAe,EAAE,iBAAiB;IAClC,MAAM,EAAE,QAAQ;IAChB,YAAY,EAAE,YAAY;IAC1B,QAAQ,EAAE,QAAQ;IAClB,OAAO,EAAE,MAAM;IACf,cAAc,EAAE,gBAAgB;IAChC,eAAe,EAAE,iBAAiB;IAClC,eAAe,EAAE,iBAAiB;IAClC,WAAW,EAAE,aAAa;IAC1B,WAAW,EAAE,aAAa;CAC3B,CAAC;AAEF,sFAAsF;AACtF,MAAM,QAAQ,GAAG,EAAE,CAAC;AAEpB;;;;;;GAMG;AACH,MAAM,UAAU,UAAU,CACxB,MAAc,EACd,QAAgB,EAChB,KAA0B,EAC1B,SAAkB,EAClB,YAAqB;IAErB,MAAM,IAAI,GAAG,GAAG,QAAQ,IAAI,YAAY,IAAI,EAAE,EAAE;SAC7C,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC;SACjC,IAAI,EAAE;SACN,KAAK,CAAC,KAAK,CAAC;SACZ,GAAG,CAAC,UAAU,CAAC;SACf,IAAI,CAAC,EAAE,CAAC;SACR,KAAK,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACtB,MAAM,KAAK,GACT,SAAS,KAAK,SAAS;QACrB,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC,QAAQ,SAAS;aACd,UAAU,CAAC,gBAAgB,EAAE,GAAG,CAAC;aACjC,IAAI,EAAE;aACN,KAAK,CAAC,KAAK,CAAC;aACZ,GAAG,CAAC,UAAU,CAAC;aACf,IAAI,CAAC,EAAE,CAAC,EAAE,CAAC;IACpB,MAAM,IAAI,GAAG,OAAO,QAAQ,CAAC,MAAM,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,GAAG,IAAI,GAAG,KAAK,EAAE,CAAC;IAC5E,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IAClC,sFAAsF;IACtF,qFAAqF;IACrF,+DAA+D;IAC/D,KAAK,IAAI,CAAC,GAAG,CAAC,GAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,MAAM,SAAS,GAAG,GAAG,IAAI,IAAI,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC;QACzC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,gFAAgF;AAChF,6BAA6B;AAC7B,gFAAgF;AAEhF;;;;;;;;GAQG;AACH,MAAM,eAAe,GAAqC;IACxD,EAAE,EAAE,iBAAiB;IACrB,MAAM,EAAE,iBAAiB;IACzB,MAAM,EAAE,iBAAiB;IACzB,aAAa,EAAE,iBAAiB;IAChC,YAAY,EAAE,iBAAiB;IAC/B,QAAQ,EAAE,iBAAiB;IAC3B,eAAe,EAAE,iBAAiB;IAClC,SAAS,EAAE,iBAAiB;IAC5B,MAAM,EAAE,iBAAiB;IACzB,YAAY,EAAE,sBAAsB;IACpC,QAAQ,EAAE,cAAc;IACxB,OAAO,EAAE,UAAU;IACnB,cAAc,EAAE,gBAAgB;IAChC,eAAe,EAAE,gBAAgB;IACjC,eAAe,EAAE,gBAAgB;IACjC,WAAW,EAAE,gBAAgB;IAC7B,WAAW,EAAE,gBAAgB;CAC9B,CAAC;AAEF;;;;;;;;GAQG;AACH,SAAS,eAAe,CAAC,KAAkB,EAAE,IAAc;IACzD,IAAI,IAAI,CAAC,SAAS,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,SAAS,CAAC;IACxD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC,SAAS,CAAC;IACpC,MAAM,MAAM,GAAG,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC;IACpC,IAAI,0BAA0B,CAAC,MAAM,CAAC,IAAI,YAAY,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1E,MAAM,SAAS,GAAG,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC5D,IAAI,SAAS;YAAE,OAAO,SAAS,CAAC,SAAS,CAAC;IAC5C,CAAC;IACD,OAAO,eAAe,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,iBAAiB,CAAC;AAC3D,CAAC;AAmBD;;;;;;;GAOG;AACH,SAAS,iBAAiB,CAAC,KAAkB,EAAE,YAAiC;IAC9E,IAAI,KAAK,GAAG,KAAK,CAAC;IAClB,KAAK,MAAM,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC;QAC7C,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC;YAAE,SAAS;QACjD,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,OAAO,KAAK,CAAC;QACzD,IAAI,cAAc,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC;YAAE,KAAK,GAAG,IAAI,CAAC;IAC3D,CAAC;IACD,IAAI,KAAK;QAAE,OAAO,KAAK,CAAC;IACxB,OAAO,YAAY,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;AAChD,CAAC;AAED,kFAAkF;AAClF,SAAS,gBAAgB,CAAC,QAAgB,EAAE,SAAiB;IAC3D,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,CAAC,OAAO,CAAC,cAAc,EAAE,EAAE,CAAC,CAAC;IAC9C,OAAO,KAAK,IAAI,GAAG,SAAS,EAAE,CAAC;AACjC,CAAC;AAED;;;;;;;;;;GAUG;AACH,MAAM,UAAU,IAAI,CAAC,KAAgB;IACnC,MAAM,EAAE,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,GAAG,KAAK,CAAC;IACnD,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC;IAEnC,MAAM,OAAO,GAAY,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAgB,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAkB,EAAE,CAAC;IACnC,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAChD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,+EAA+E;IAC/E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAiB,CAAC;IACvC,gEAAgE;IAChE,MAAM,OAAO,GAAoG,EAAE,CAAC;IAEpH,MAAM,GAAG,GAAG,CACV,MAAc,EACd,QAAgB,EAChB,IAAgB,EAChB,IAAU,EACV,SAAkB,EAClB,SAAgB,EAChB,aAAiC,EAC1B,EAAE;QACT,MAAM,QAAQ,GAAG,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC;QACrD,MAAM,GAAG,GAAG,GAAG,MAAM,SAAS,QAAQ,SAAS,SAAS,IAAI,EAAE,SAAS,QAAQ,EAAE,CAAC;QAClF,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAChC,IAAI,QAAQ;YAAE,OAAO,QAAQ,CAAC;QAC9B,MAAM,KAAK,GAAU;YACnB,MAAM;YACN,QAAQ;YACR,GAAG,CAAC,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC;YACjD,GAAG,CAAC,aAAa,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,aAAa,EAAE,CAAC;YACzD,IAAI,EAAE,UAAU,CAAC,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,SAAS,EAAE,QAAQ,CAAC;SAC/D,CAAC;QACF,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACtB,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC;QACtB,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACpB,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,eAAe,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,KAAK,MAAM,IAAI,IAAI,eAAe,CAAC,SAAS,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QACjE,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,CAAC;QACxC,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,IAAc,EAAE,IAAgB,EAAoD,EAAE;QACrG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,SAAS,CAAC;YAAE,OAAO,EAAE,CAAC;QAChD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1C,IAAI,IAAI,KAAK,SAAS;YAAE,OAAO,EAAE,CAAC;QAClC,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;QAC/D,OAAO,IAAI,KAAK,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC;IAC5C,CAAC,CAAC;IAEF,MAAM,iBAAiB,GAAG,CAAC,IAAc,EAAE,IAAgB,EAAiC,EAAE;QAC5F,IAAI,IAAI,CAAC,MAAM,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,KAAK,iBAAiB;YAAE,OAAO,SAAS,CAAC;QAC5F,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC;QACjC,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;YAC5E,QAAQ,CAAC,IAAI,CAAC;gBACZ,QAAQ,EAAE,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC;gBAC9E,MAAM,EAAE,KAAK,IAAI,CAAC,MAAM,gEAAgE;aACzF,CAAC,CAAC;YACH,OAAO,EAAE,CAAC;QACZ,CAAC;QACD,OAAO,IAAI,CAAC,GAAG,CAAC,QAAQ,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,QAAQ,EAAE,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC;IAClF,CAAC,CAAC;IAEF,qFAAqF;IACrF,oFAAoF;IACpF,qFAAqF;IACrF,MAAM,QAAQ,GAAG,IAAI,GAAG,EAA2B,CAAC;IACpD,MAAM,KAAK,GAAG,CAAC,IAAgB,EAAe,EAAE;QAC9C,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,MAAM;YAAE,OAAO,MAAM,CAAC;QAC1B,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;QAChC,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC1B,OAAO,KAAK,CAAC;IACf,CAAC,CAAC;IAEF,yFAAyF;IACzF,wFAAwF;IACxF,mCAAmC;IACnC,IAAI,WAAW,EAAE,CAAC;QAChB,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,WAAW,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;YAClF,MAAM,QAAQ,GAAG,WAAW,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;YAC7F,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YACzC,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,EAAE,WAAW,CAAC,CAAC;YAC3D,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,IAAI,GAAG,EAAE,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,EAAE,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC;YACrG,mFAAmF;YACnF,4EAA4E;YAC5E,IAAI,CAAC,cAAc,CAAC,UAAU,EAAE,IAAI,CAAC;gBAAE,SAAS;YAChD,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,WAAW,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC,CAAC;YAClG,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,WAAW,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAC5E,CAAC;IACH,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC;QACjF,MAAM,QAAQ,GAAG,UAAU,CAAC,KAAK,CAAC,IAAI,CAAC,YAAY,CAAC,QAAQ,EAAE,EAAE,IAAI,CAAC,YAAY,CAAC,GAAG,CAAC,CAAC;QACvF,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QACxC,MAAM,aAAa,GAAG,iBAAiB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;QAC1D,KAAK,CAAC,IAAI,CAAC;YACT,IAAI;YACJ,KAAK,EAAE,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,QAAQ,EAAE,UAAU,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,aAAa,CAAC;SACxG,CAAC,CAAC;QACH,iFAAiF;QACjF,kFAAkF;QAClF,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,EAAE,eAAe,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;IAC3E,CAAC;IAED,MAAM,WAAW,GAAG,IAAI,GAAG,EAAsB,CAAC;IAClD,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC,YAAY,CAAC,CAAC;IAE3E,KAAK,MAAM,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,OAAO,EAAE,CAAC;QAChD,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;YACzB,IAAI,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,SAAS;YACpC,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC9C,IAAI,OAAO,EAAE,CAAC;gBACZ,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE;oBACpB,SAAS,EAAE,OAAO,CAAC,SAAS;oBAC5B,IAAI,EAAE,OAAO,CAAC,IAAI;oBAClB,KAAK,EAAE,IAAI;oBACX,QAAQ,EAAE,OAAO,CAAC,QAAQ;iBAC3B,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YACD,mFAAmF;YACnF,gFAAgF;YAChF,UAAU;YACV,MAAM,GAAG,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC;YACxB,IAAI,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzB,IAAI,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC3B,WAAW,CAAC,GAAG,CAAC,IAAI,EAAE;wBACpB,SAAS,EAAE,gBAAgB,CAAC,IAAI,CAAC,QAAQ,EAAE,SAAS,CAAC;wBACrD,IAAI,EAAE,OAAO;wBACb,KAAK,EAAE,IAAI;wBACX,QAAQ,EAAE,IAAI;qBACf,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,QAAQ,CAAC,IAAI,CAAC;wBACZ,QAAQ;wBACR,MAAM,EACJ,KAAK,IAAI,qBAAqB,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,sCAAsC;4BAC3F,qEAAqE;qBACxE,CAAC,CAAC;gBACL,CAAC;gBACD,SAAS;YACX,CAAC;YACD,qFAAqF;YACrF,8EAA8E;YAC9E,yEAAyE;QAC3E,CAAC;IACH,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,CAAC,GAAG,WAAW,CAAC,MAAM,EAAE,CAAC,EAAE,aAAa,EAAE,CAAC;AAC7F,CAAC;AAED,wFAAwF;AACxF,MAAM,UAAU,cAAc,CAAC,IAAY,EAAE,IAAY;IACvD,MAAM,OAAO,GAAG,IAAI,MAAM,CAAC,cAAc,IAAI,YAAY,CAAC,CAAC;IAC3D,OAAO,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAC5B,CAAC;AAED,MAAM,UAAU,QAAQ,CAAC,IAAY;IACnC,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;IACpE,OAAO,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC;AACjD,CAAC"}

package/dist/codegen/witness.d.ts

@@ -0,0 +1,76 @@
+import type { SourceFile } from 'typescript/unstable/ast';
+import type { Entry, SiteEntry, TypeImport } from './scan.js';
+export interface ArtifactPaths {
+    readonly witness: string;
+    readonly js: string;
+    readonly dts: string;
+    /** What the rewritten source imports. Always the `.js`; TypeScript finds the `.d.ts`. */
+    readonly specifier: string;
+}
+/**
+ * Where the three files go for one source file.
+ *
+ * Beside the source, one set per source file, which is a deliberate departure from a single
+ * per-project module. Two things fall out of it and both are worth more than the tidiness:
+ * the witness's relative imports are the source's own relative imports unchanged (no path
+ * arithmetic, and none of the ways that gets it wrong), and two files that both write
+ * `is<Row>` cannot collide over the export name `zmdbIsRow`.
+ *
+ * The runtime extension follows the source's, so a `.mts` file gets a `.mjs` — the module
+ * kind of the generated file has to match the module kind of the file importing it.
+ */
+export declare function artifactPaths(sourcePath: string): ArtifactPaths;
+/** Whether a path is something a previous run wrote. The scan must not recurse into these. */
+export declare function isGeneratedPath(path: string): boolean;
+/**
+ * Which quote the source file uses for its own imports. Single unless it says otherwise —
+ * the majority style, and the one a file with no imports at all is most likely to want.
+ */
+export declare function quoteStyle(sourceFile: SourceFile): string;
+export interface WitnessInput {
+    /** Base name of the source this witness belongs to, for the header. */
+    readonly sourceName: string;
+    readonly entries: readonly Entry[];
+    readonly typeImports: readonly TypeImport[];
+    readonly calleeSources: ReadonlyMap<string, string>;
+    /** The quote character the source uses. See `quoteStyle`. */
+    readonly style: string;
+}
+export declare function witnessSource(input: WitnessInput): string;
+export interface GeneratedModules {
+    readonly js: string;
+    readonly dts: string;
+}
+export interface GenerateInput extends WitnessInput {
+    /** `transformFile`'s output for the witness. */
+    readonly transformed: string;
+}
+/**
+ * The `.js` and the `.d.ts`, assembled from the transformed witness.
+ *
+ * Only the wrapper bodies come from the transform; every other line is regenerated here from
+ * the same `Entry` list the witness was built from. So the two files cannot disagree about a
+ * signature, and neither can drift from the witness.
+ */
+export declare function generatedModules(input: GenerateInput): GeneratedModules;
+export interface RewriteInput {
+    readonly sourceFile: SourceFile;
+    readonly code: string;
+    readonly sites: readonly SiteEntry[];
+    /** What to import the generated module as. See `artifactPaths`. */
+    readonly specifier: string;
+    readonly entries: readonly Entry[];
+    readonly calleeSources: ReadonlyMap<string, string>;
+    /** The quote character the source uses. See `quoteStyle`. */
+    readonly style: string;
+}
+/**
+ * `is<User>(data)` → `zmdbIsUser(data)`, plus the import that makes it resolve.
+ *
+ * The whole call is replaced rather than just its callee, because the type argument has to
+ * go with it and `is<User>` is one span in the middle of another. Arguments are read through
+ * the `Rewriter`, so `assert<A>(is<B>(x))` picks up the inner rewrite instead of carrying a
+ * stale copy of it.
+ */
+export declare function rewriteSource(input: RewriteInput): string;
+//# sourceMappingURL=witness.d.ts.map

package/dist/codegen/witness.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"witness.d.ts","sourceRoot":"","sources":["../../src/codegen/witness.ts"],"names":[],"mappings":"AAoCA,OAAO,KAAK,EAA6B,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAYrF,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AA4B9D,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,yFAAyF;IACzF,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;CAC5B;AAUD;;;;;;;;;;;GAWG;AACH,wBAAgB,aAAa,CAAC,UAAU,EAAE,MAAM,GAAG,aAAa,CAiB/D;AAOD,8FAA8F;AAC9F,wBAAgB,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAErD;AAgND;;;GAGG;AACH,wBAAgB,UAAU,CAAC,UAAU,EAAE,UAAU,GAAG,MAAM,CASzD;AAMD,MAAM,WAAW,YAAY;IAC3B,uEAAuE;IACvE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CA0BzD;AAMD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB;AAED,MAAM,WAAW,aAAc,SAAQ,YAAY;IACjD,gDAAgD;IAChD,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;CAC9B;AAED;;;;;;GAMG;AACH,wBAAgB,gBAAgB,CAAC,KAAK,EAAE,aAAa,GAAG,gBAAgB,CAwDvE;AA0CD,MAAM,WAAW,YAAY;IAC3B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,mEAAmE;IACnE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACpD,6DAA6D;IAC7D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,wBAAgB,aAAa,CAAC,KAAK,EAAE,YAAY,GAAG,MAAM,CAmCzD"}