@zmdb/compiler 1.0.0-beta.1

package/README.md

@@ -0,0 +1,40 @@
+# @zmdb/compiler
+
+`@zmdb/compiler` is zmdb's single TypeScript front end. It owns reflection, AOT emission, project compilation, unplugin and Metro adapters, lint rules, testing helpers, and canonical project-config
+loading.
+
+Part of **[zmdb](https://github.com/ambasta/zmdb)**. Application runtime code imports its published runtime owner; generated code never imports this package.
+
+## Install
+
+```bash
+yarn add --dev @zmdb/compiler@1.0.0-beta.1 typescript@^7.0.2
+```
+
+> **Prerelease** (`1.0.0-beta.1`). Requires **Node.js 26+**. Published modules are ESM; Node.js 26 also supports synchronous `require('@zmdb/compiler/metro')` from a CommonJS Metro configuration.
+
+## Choose a compilation route
+
+- Use the sole `zmdb` executable from `@zmdb/cli` for `zmdb codegen --project tsconfig.json`.
+- Use `compileProject({ project })` to collect artifacts without changing the project, then `writeCompileResult(result)` to publish them. Its `{ check: true }` option reports stale artifacts without
+  writing them. `watchCodegen` provides the retained-session watch API.
+- Use the root `zmdbAot` function for an async build plugin that loads the project's zmdb config. The synchronous `@zmdb/compiler/unplugin` entry accepts explicit project and naming options when the
+  caller owns configuration.
+- Select `@zmdb/compiler/metro` for Metro or `@zmdb/compiler/lint` for Oxlint, installing that adapter's optional peers.
+
+Configuration belongs to this package: `@zmdb/compiler/config` loads it and `@zmdb/compiler/config/contract` provides `defineConfig` and its structural types. The product facade exposes the curated
+compiler and config APIs through `zmdb/compiler` and `zmdb/config`.
+
+## Entry points
+
+`@zmdb/compiler`, `@zmdb/compiler/config`, `@zmdb/compiler/config/contract`, `@zmdb/compiler/emit`, `@zmdb/compiler/errors`, `@zmdb/compiler/lint`, `@zmdb/compiler/metro`, `@zmdb/compiler/reflect`,
+`@zmdb/compiler/testing`, `@zmdb/compiler/transform`, `@zmdb/compiler/unplugin`
+
+Generated application JavaScript imports runtime helpers from the source's published runtime owner, such as `zmdb`, `@zmdb/validator`, or `@zmdb/protobuf`; it never imports this package. Install the
+runtime owners used by your application as runtime dependencies and keep compiler setup in the build environment.
+
+TypeScript is a required peer. Oxlint, Metro, and Metro's Babel transformer are optional peers used only by the matching explicit subpaths.
+
+## License
+
+GNU General Public License v3.0 or later (GPL-3.0-or-later) — see [LICENSE](./LICENSE).

package/dist/codegen/index.d.ts

@@ -0,0 +1,50 @@
+import { type NamingStrategyConfig } from '@zmdb/schema/naming';
+import { ReflectSession } from '../reflect/session.js';
+export interface CodegenOptions {
+    /** Path to the `tsconfig.json` that defines what to generate for. */
+    readonly project: string;
+    /** Exact project members to compile. Omit to scan the complete project. */
+    readonly files?: readonly string[];
+    /** Report what would change and write nothing. */
+    readonly check?: boolean | undefined;
+    /** Where progress goes. Defaults to nowhere, so a library caller stays quiet. */
+    readonly log?: ((line: string) => void) | undefined;
+    /**
+     * An already-open session, as the plugin takes. The caller keeps ownership, closing
+     * included.
+     *
+     * A caller that already has the project loaded should not pay to load it again — that is
+     * REQ-TF-11's whole point, and it applies to a tool driving `codegen` just as much as to
+     * the build it is part of. It is also what makes the claim observable: the session records
+     * its snapshot updates, so `verify:build-budget` can watch a 64-module run and see that the
+     * project is opened once.
+     */
+    readonly session?: ReflectSession | undefined;
+    /** A named or custom build-time strategy, resolved once for this run. */
+    readonly naming?: NamingStrategyConfig;
+}
+export interface CodegenResult {
+    /** Absolute paths written, or — under `--check` — that would have been. */
+    readonly written: readonly string[];
+    /** Absolute paths deleted, because their source stopped validating anything. */
+    readonly deleted: readonly string[];
+    /** Everything that stopped a file from being generated, formatted for a terminal. */
+    readonly problems: readonly string[];
+    readonly ok: boolean;
+}
+export declare function codegen(options: CodegenOptions): CodegenResult;
+export interface WatchOptions extends CodegenOptions {
+    /** Quiet period after a change before regenerating. Editors save in bursts. */
+    readonly debounceMs?: number | undefined;
+    /** Resolves when the watch should stop. Omit to watch until the process ends. */
+    readonly until?: Promise<unknown> | undefined;
+}
+/**
+ * Regenerate on every save, on one compiler session.
+ *
+ * The session is the whole reason this is not "rerun project compilation from a file watcher":
+ * reopening the project per keystroke re-reads the config and re-walks the import graph, which
+ * is the expensive half of a build. `ReflectSession.refresh` re-checks only what changed.
+ */
+export declare function watchCodegen(options: WatchOptions): Promise<CodegenResult>;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/codegen/index.ts"],"names":[],"mappings":"AA+BA,OAAO,EAAiB,KAAK,oBAAoB,EAAE,MAAM,qBAAqB,CAAC;AAG/E,OAAO,EAAE,cAAc,EAAyB,MAAM,uBAAuB,CAAC;AAa9E,MAAM,WAAW,cAAc;IAC7B,qEAAqE;IACrE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,2EAA2E;IAC3E,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACnC,kDAAkD;IAClD,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;IACrC,iFAAiF;IACjF,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,KAAK,IAAI,CAAC,GAAG,SAAS,CAAC;IACpD;;;;;;;;;OASG;IACH,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,GAAG,SAAS,CAAC;IAC9C,yEAAyE;IACzE,QAAQ,CAAC,MAAM,CAAC,EAAE,oBAAoB,CAAC;CACxC;AAED,MAAM,WAAW,aAAa;IAC5B,2EAA2E;IAC3E,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,gFAAgF;IAChF,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,qFAAqF;IACrF,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;CACtB;AAiBD,wBAAgB,OAAO,CAAC,OAAO,EAAE,cAAc,GAAG,aAAa,CAK9D;AAuQD,MAAM,WAAW,YAAa,SAAQ,cAAc;IAClD,+EAA+E;IAC/E,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,GAAG,SAAS,CAAC;IACzC,iFAAiF;IACjF,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAC,OAAO,CAAC,GAAG,SAAS,CAAC;CAC/C;AAED;;;;;;GAMG;AACH,wBAAsB,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,OAAO,CAAC,aAAa,CAAC,CA6DhF"}

package/dist/codegen/index.js

@@ -0,0 +1,364 @@
+// The no-bundler AOT project compiler.
+//
+// The unplugin gets the type information for free — a bundler hands it a module, it asks the
+// compiler about the type arguments in it, and it hands back rewritten source that only the
+// bundler ever sees. A project built by plain `tsc`, or run straight off `node --strip-types`,
+// has nowhere to put that step, and REQ-AV-3 says the compiled path may not be a reward for
+// choosing a particular bundler. So this writes the rewrite down.
+//
+// Per source file that validates anything, three files (see `./witness.ts` for why three)
+// and one edit to the source: `is<User>(data)` becomes `zmdbIsUser(data)`, imported from a
+// generated module. The result is checked in, so a clone of the repository builds the fast
+// path with no tool at all in the way.
+//
+// ## The order matters, and it is not the obvious one
+//
+// Every witness is written *before* any of them is transformed. The reason is cost: telling
+// the compiler about a new file is a snapshot update, and a snapshot update per file would
+// make a hundred-file project a hundred re-checks. Two updates for the whole run is the
+// difference between this being usable and being a thing people turn off (REQ-TF-11).
+//
+// ## `--check` writes nothing, and still checks everything
+//
+// A check that had to write the witnesses to verify them would be a check that dirties the
+// tree it is auditing. It does not have to: the witness is a pure function of the scan, so a
+// stale one is caught by comparing text. And if every witness matches, then the compiled
+// modules are derivable from files already on disk — the transform runs against those, and
+// its output is compared the same way.
+import { existsSync, mkdirSync, readFileSync, rmSync, writeFileSync } from 'node:fs';
+import { dirname, isAbsolute, relative, resolve, sep } from 'node:path';
+import { resolveNaming } from '@zmdb/schema/naming';
+import { CALL_OWNERS, STRICT_OWNER_CALLEES } from '../reflect/callsites.js';
+import { ReflectSession } from '../reflect/session.js';
+import { CALLEES, transformFile } from '../transform/index.js';
+import { scan } from './scan.js';
+import { artifactPaths, generatedModules, isGeneratedPath, quoteStyle, rewriteSource, witnessSource, } from './witness.js';
+/**
+ * Cheap pre-filter: does this file import any package that owns a transformed call?
+ * Looking for the owner rather than a callee spelling preserves the fast path for aliases.
+ */
+const OWNER_SPECIFIERS = [...new Set(Object.values(CALL_OWNERS).flat())];
+const MENTIONS_OWNER = new RegExp(`\\bfrom\\s+['"](?:${OWNER_SPECIFIERS.map(specifier => specifier.replaceAll(/[.*+?^${}()|[\]\\]/g, '\\$&')).join('|')})['"]`);
+const MENTIONS_FORWARDED_CALL = new RegExp(`\\b(?:${[...CALLEES]
+    .filter(callee => !STRICT_OWNER_CALLEES.has(callee))
+    .map(callee => callee.replaceAll(/[.*+?^${}()|[\]\\]/g, '\\$&'))
+    .join('|')})\\s*<`);
+export function codegen(options) {
+    const project = resolve(options.project);
+    if (options.session)
+        return run(options.session, project, options);
+    using session = ReflectSession.open({ project });
+    return run(session, project, options);
+}
+function run(session, project, options) {
+    const root = dirname(project);
+    const log = options.log ?? (() => undefined);
+    const check = options.check === true;
+    const reflect = { naming: resolveNaming(options.naming) };
+    const problems = [];
+    const written = [];
+    const deleted = [];
+    const show = (path) => relative(root, path) || path;
+    const selected = options.files === undefined ? undefined : new Set(options.files.map(file => pathKey(file)));
+    const tsExtensions = session.compilerOptions()['allowImportingTsExtensions'] === true;
+    // -- Phase 1: what to generate ---------------------------------------------
+    const candidates = [];
+    for (const fileName of session.sourceFileNames()) {
+        if (selected !== undefined && !selected.has(pathKey(fileName)))
+            continue;
+        if (!isCandidate(fileName, root))
+            continue;
+        const paths = artifactPaths(fileName);
+        const hadWitness = existsSync(paths.witness);
+        let code;
+        try {
+            code = readFileSync(fileName, 'utf8');
+        }
+        catch {
+            // In the program but not on disk. A virtual file from another tool's plugin, or a race
+            // with a delete; either way there is nothing here to rewrite.
+            continue;
+        }
+        if (!hadWitness && !MENTIONS_OWNER.test(code) && !MENTIONS_FORWARDED_CALL.test(code))
+            continue;
+        const sourceFile = session.sourceFile(fileName);
+        if (!sourceFile) {
+            problems.push(`${show(fileName)}: in the project's file list but the compiler has no parse of it`);
+            continue;
+        }
+        if (sourceFile.text !== code) {
+            problems.push(`${show(fileName)}: changed on disk since the project loaded; run again`);
+            continue;
+        }
+        const witnessFile = hadWitness ? session.sourceFile(paths.witness) : undefined;
+        if (hadWitness && !witnessFile) {
+            problems.push(`${show(paths.witness)}: exists but is not part of ${show(project)}. ` +
+                'The witness has to be typechecked, so the project must include it.');
+            continue;
+        }
+        const scanned = scan({ checker: session.checker, sourceFile, witnessFile, tsExtensions });
+        for (const refusal of scanned.refusals) {
+            problems.push(`${show(fileName)}: cannot generate for \`${refusal.typeText}\` — ${refusal.reason}`);
+        }
+        if (scanned.refusals.length > 0)
+            continue;
+        const sourceName = show(fileName);
+        const style = quoteStyle(sourceFile);
+        candidates.push({
+            fileName,
+            sourceFile,
+            code,
+            paths,
+            hadWitness,
+            style,
+            entries: scanned.entries,
+            sites: scanned.sites,
+            typeImports: scanned.typeImports,
+            calleeSources: scanned.calleeSources,
+            witness: scanned.entries.length === 0
+                ? ''
+                : witnessSource({
+                    sourceName,
+                    entries: scanned.entries,
+                    typeImports: scanned.typeImports,
+                    calleeSources: scanned.calleeSources,
+                    style,
+                }),
+        });
+    }
+    // -- Phase 2: the witnesses, then one snapshot update ---------------------
+    const created = [];
+    const refreshed = [];
+    const stale = new Set();
+    for (const candidate of candidates) {
+        if (candidate.witness.length === 0)
+            continue;
+        const current = candidate.hadWitness ? readFileSync(candidate.paths.witness, 'utf8') : undefined;
+        if (current === candidate.witness)
+            continue;
+        if (check) {
+            // Without the right witness on disk there is nothing to transform, so this file's
+            // compiled modules are not examined further — the answer is already "stale".
+            written.push(candidate.paths.witness);
+            stale.add(candidate);
+            continue;
+        }
+        mkdirSync(dirname(candidate.paths.witness), { recursive: true });
+        writeFileSync(candidate.paths.witness, candidate.witness);
+        written.push(candidate.paths.witness);
+        (candidate.hadWitness ? refreshed : created).push(candidate.paths.witness);
+    }
+    if (created.length > 0)
+        session.created(created);
+    if (refreshed.length > 0)
+        session.refresh(refreshed);
+    // -- Phase 3: the compiled modules and the rewrite ------------------------
+    for (const candidate of candidates) {
+        if (stale.has(candidate))
+            continue;
+        if (candidate.witness.length === 0) {
+            // The source stopped validating. Its artifacts are removed rather than left behind:
+            // a witness with no referent is a validator for code that is gone.
+            for (const path of [candidate.paths.witness, candidate.paths.js, candidate.paths.dts]) {
+                if (!existsSync(path))
+                    continue;
+                deleted.push(path);
+                if (!check)
+                    rmSync(path);
+            }
+            const rewritten = rewriteSource({
+                sourceFile: candidate.sourceFile,
+                code: candidate.code,
+                sites: [],
+                specifier: candidate.paths.specifier,
+                entries: [],
+                calleeSources: candidate.calleeSources,
+                style: candidate.style,
+            });
+            emit(candidate.fileName, rewritten);
+            continue;
+        }
+        const diagnostics = session.diagnostics(candidate.paths.witness);
+        if (diagnostics.length > 0) {
+            const first = diagnostics[0];
+            problems.push(`${show(candidate.paths.witness)}: does not typecheck (TS${String(first?.code ?? 0)}: ${first?.text ?? ''}). ` +
+                'A type read out of a file that does not compile is a guess.');
+            continue;
+        }
+        const errorModule = candidate.calleeSources.get('assert') ??
+            candidate.calleeSources.get('assertShallow') ??
+            candidate.calleeSources.get('assertEquals') ??
+            '@zmdb/validator';
+        const transformed = transformFile(candidate.paths.witness, candidate.witness, {
+            session,
+            reflect,
+            emit: { errorModule },
+        });
+        if (transformed.diagnostics.length > 0) {
+            for (const diagnostic of transformed.diagnostics) {
+                const where = diagnostic.path ? ` at \`${diagnostic.path}\`` : '';
+                problems.push(`${show(candidate.fileName)}: ${diagnostic.callee ?? 'the transform'} refused${where} — ${diagnostic.reason}`);
+            }
+            continue;
+        }
+        if (!transformed.changed) {
+            problems.push(`${show(candidate.paths.witness)}: the transform left every call in place, so nothing was compiled`);
+            continue;
+        }
+        const modules = generatedModules({
+            sourceName: show(candidate.fileName),
+            entries: candidate.entries,
+            typeImports: candidate.typeImports,
+            calleeSources: candidate.calleeSources,
+            style: candidate.style,
+            transformed: transformed.code,
+        });
+        emit(candidate.paths.js, modules.js);
+        emit(candidate.paths.dts, modules.dts);
+        emit(candidate.fileName, rewriteSource({
+            sourceFile: candidate.sourceFile,
+            code: candidate.code,
+            sites: candidate.sites,
+            specifier: candidate.paths.specifier,
+            entries: candidate.entries,
+            calleeSources: candidate.calleeSources,
+            style: candidate.style,
+        }));
+    }
+    function emit(path, text) {
+        let current;
+        try {
+            current = readFileSync(path, 'utf8');
+        }
+        catch {
+            current = undefined;
+        }
+        if (current === text)
+            return;
+        written.push(path);
+        if (check)
+            return;
+        mkdirSync(dirname(path), { recursive: true });
+        writeFileSync(path, text);
+    }
+    for (const path of written)
+        log(`${check ? 'stale' : 'wrote'} ${show(path)}`);
+    for (const path of deleted)
+        log(`${check ? 'orphan' : 'removed'} ${show(path)}`);
+    return {
+        written,
+        deleted,
+        problems,
+        ok: problems.length === 0 && (!check || (written.length === 0 && deleted.length === 0)),
+    };
+}
+function pathKey(path) {
+    const value = resolve(path);
+    return process.platform === 'win32' ? value.toLowerCase() : value;
+}
+/** Files this run may rewrite: the project's own TypeScript, minus what it generated. */
+function isCandidate(fileName, root) {
+    if (fileName.includes(`${sep}node_modules${sep}`) || fileName.includes('/node_modules/'))
+        return false;
+    if (/\.d\.[cm]?ts$/.test(fileName))
+        return false;
+    if (!/\.[cm]?tsx?$/.test(fileName))
+        return false;
+    if (isGeneratedPath(fileName))
+        return false;
+    // A project can reference files above its own directory; rewriting one would edit a
+    // package this run was not pointed at.
+    const inside = relative(root, fileName);
+    return inside.length > 0 && !inside.startsWith('..') && !isAbsolute(inside);
+}
+/**
+ * Regenerate on every save, on one compiler session.
+ *
+ * The session is the whole reason this is not "rerun project compilation from a file watcher":
+ * reopening the project per keystroke re-reads the config and re-walks the import graph, which
+ * is the expensive half of a build. `ReflectSession.refresh` re-checks only what changed.
+ */
+export async function watchCodegen(options) {
+    const { watch } = await import('node:fs/promises');
+    const project = resolve(options.project);
+    const root = dirname(project);
+    const log = options.log ?? (() => undefined);
+    const borrowed = options.session;
+    const session = borrowed ?? ReflectSession.open({ project });
+    const controller = new AbortController();
+    let timer;
+    let last;
+    let failure;
+    const pending = new Set();
+    const stop = () => {
+        controller.abort();
+    };
+    void options.until?.then(stop, stop);
+    const flush = () => {
+        timer = undefined;
+        if (controller.signal.aborted)
+            return;
+        const changed = [...pending];
+        pending.clear();
+        if (changed.length === 0)
+            return;
+        try {
+            const live = changed.filter(path => existsSync(path));
+            const created = live.filter(path => session.sourceFile(path) === undefined);
+            const refreshed = live.filter(path => session.sourceFile(path) !== undefined);
+            const gone = changed.filter(path => !existsSync(path));
+            if (created.length > 0)
+                session.created(created);
+            if (refreshed.length > 0)
+                session.refresh(refreshed);
+            if (gone.length > 0)
+                session.deleted(gone);
+            last = run(session, project, options);
+            report(last, log);
+        }
+        catch (error) {
+            failure = error;
+            stop();
+        }
+    };
+    try {
+        last = run(session, project, options);
+        report(last, log);
+        try {
+            for await (const event of watch(root, { recursive: true, signal: controller.signal })) {
+                const name = typeof event.filename === 'string' ? resolve(root, event.filename) : undefined;
+                if (name === undefined || !isCandidate(name, root))
+                    continue;
+                pending.add(name);
+                if (timer !== undefined)
+                    clearTimeout(timer);
+                timer = setTimeout(flush, options.debounceMs ?? 60);
+            }
+        }
+        catch (error) {
+            if (!(error instanceof Error) || error.name !== 'AbortError')
+                throw error;
+        }
+        if (failure !== undefined)
+            throw failure;
+        return last;
+    }
+    finally {
+        stop();
+        if (timer !== undefined)
+            clearTimeout(timer);
+        pending.clear();
+        if (borrowed === undefined)
+            session.close();
+    }
+}
+function report(result, log) {
+    for (const problem of result.problems)
+        log(`error: ${problem}`);
+    if (result.problems.length === 0) {
+        log(result.written.length === 0 && result.deleted.length === 0
+            ? 'up to date'
+            : `generated ${String(result.written.length)} artifact(s); deleted ${String(result.deleted.length)}`);
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/codegen/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/codegen/index.ts"],"names":[],"mappings":"AAAA,uCAAuC;AACvC,EAAE;AACF,6FAA6F;AAC7F,4FAA4F;AAC5F,+FAA+F;AAC/F,4FAA4F;AAC5F,kEAAkE;AAClE,EAAE;AACF,0FAA0F;AAC1F,2FAA2F;AAC3F,2FAA2F;AAC3F,uCAAuC;AACvC,EAAE;AACF,sDAAsD;AACtD,EAAE;AACF,4FAA4F;AAC5F,2FAA2F;AAC3F,wFAAwF;AACxF,sFAAsF;AACtF,EAAE;AACF,2DAA2D;AAC3D,EAAE;AACF,2FAA2F;AAC3F,6FAA6F;AAC7F,yFAAyF;AACzF,2FAA2F;AAC3F,uCAAuC;AAEvC,OAAO,EAAE,UAAU,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AACrF,OAAO,EAAE,OAAO,EAAE,UAAU,EAAE,QAAQ,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AAExE,OAAO,EAAE,aAAa,EAA6B,MAAM,qBAAqB,CAAC;AAE/E,OAAO,EAAE,WAAW,EAAE,oBAAoB,EAAE,MAAM,yBAAyB,CAAC;AAC5E,OAAO,EAAE,cAAc,EAAyB,MAAM,uBAAuB,CAAC;AAC9E,OAAO,EAAE,OAAO,EAAE,aAAa,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,IAAI,EAA+C,MAAM,WAAW,CAAC;AAC9E,OAAO,EACL,aAAa,EACb,gBAAgB,EAChB,eAAe,EACf,UAAU,EACV,aAAa,EACb,aAAa,GAEd,MAAM,cAAc,CAAC;AAoCtB;;;GAGG;AACH,MAAM,gBAAgB,GAAG,CAAC,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;AACzE,MAAM,cAAc,GAAG,IAAI,MAAM,CAC/B,qBAAqB,gBAAgB,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,SAAS,CAAC,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,OAAO,CAC7H,CAAC;AACF,MAAM,uBAAuB,GAAG,IAAI,MAAM,CACxC,SAAS,CAAC,GAAG,OAAO,CAAC;KAClB,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,oBAAoB,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;KACnD,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,UAAU,CAAC,qBAAqB,EAAE,MAAM,CAAC,CAAC;KAC/D,IAAI,CAAC,GAAG,CAAC,QAAQ,CACrB,CAAC;AAEF,MAAM,UAAU,OAAO,CAAC,OAAuB;IAC7C,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzC,IAAI,OAAO,CAAC,OAAO;QAAE,OAAO,GAAG,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;IACnE,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IACjD,OAAO,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;AACxC,CAAC;AAsBD,SAAS,GAAG,CAAC,OAAuB,EAAE,OAAe,EAAE,OAAuB;IAC5E,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7C,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,KAAK,IAAI,CAAC;IACrC,MAAM,OAAO,GAAG,EAAE,MAAM,EAAE,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAW,CAAC;IACnE,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,IAAI,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,IAAI,IAAI,CAAC;IACpE,MAAM,QAAQ,GAAG,OAAO,CAAC,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAE7G,MAAM,YAAY,GAAG,OAAO,CAAC,eAAe,EAAE,CAAC,4BAA4B,CAAC,KAAK,IAAI,CAAC;IAEtF,6EAA6E;IAE7E,MAAM,UAAU,GAAgB,EAAE,CAAC;IACnC,KAAK,MAAM,QAAQ,IAAI,OAAO,CAAC,eAAe,EAAE,EAAE,CAAC;QACjD,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;YAAE,SAAS;QACzE,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,IAAI,CAAC;YAAE,SAAS;QAC3C,MAAM,KAAK,GAAG,aAAa,CAAC,QAAQ,CAAC,CAAC;QACtC,MAAM,UAAU,GAAG,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,IAAY,CAAC;QACjB,IAAI,CAAC;YACH,IAAI,GAAG,YAAY,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC;QACxC,CAAC;QAAC,MAAM,CAAC;YACP,uFAAuF;YACvF,8DAA8D;YAC9D,SAAS;QACX,CAAC;QACD,IAAI,CAAC,UAAU,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,uBAAuB,CAAC,IAAI,CAAC,IAAI,CAAC;YAAE,SAAS;QAE/F,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC;QAChD,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,kEAAkE,CAAC,CAAC;YACnG,SAAS;QACX,CAAC;QACD,IAAI,UAAU,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;YAC7B,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,uDAAuD,CAAC,CAAC;YACxF,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QAC/E,IAAI,UAAU,IAAI,CAAC,WAAW,EAAE,CAAC;YAC/B,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,+BAA+B,IAAI,CAAC,OAAO,CAAC,IAAI;gBACpE,oEAAoE,CACvE,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,YAAY,EAAE,CAAC,CAAC;QAC1F,KAAK,MAAM,OAAO,IAAI,OAAO,CAAC,QAAQ,EAAE,CAAC;YACvC,QAAQ,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC,2BAA2B,OAAO,CAAC,QAAQ,QAAQ,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC;QACtG,CAAC;QACD,IAAI,OAAO,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,SAAS;QAE1C,MAAM,UAAU,GAAG,IAAI,CAAC,QAAQ,CAAC,CAAC;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,UAAU,CAAC,CAAC;QACrC,UAAU,CAAC,IAAI,CAAC;YACd,QAAQ;YACR,UAAU;YACV,IAAI;YACJ,KAAK;YACL,UAAU;YACV,KAAK;YACL,OAAO,EAAE,OAAO,CAAC,OAAO;YACxB,KAAK,EAAE,OAAO,CAAC,KAAK;YACpB,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,OAAO,EACL,OAAO,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;gBAC1B,CAAC,CAAC,EAAE;gBACJ,CAAC,CAAC,aAAa,CAAC;oBACZ,UAAU;oBACV,OAAO,EAAE,OAAO,CAAC,OAAO;oBACxB,WAAW,EAAE,OAAO,CAAC,WAAW;oBAChC,aAAa,EAAE,OAAO,CAAC,aAAa;oBACpC,KAAK;iBACN,CAAC;SACT,CAAC,CAAC;IACL,CAAC;IAED,4EAA4E;IAE5E,MAAM,OAAO,GAAa,EAAE,CAAC;IAC7B,MAAM,SAAS,GAAa,EAAE,CAAC;IAC/B,MAAM,KAAK,GAAG,IAAI,GAAG,EAAa,CAAC;IAEnC,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,SAAS;QAC7C,MAAM,OAAO,GAAG,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,YAAY,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;QACjG,IAAI,OAAO,KAAK,SAAS,CAAC,OAAO;YAAE,SAAS;QAC5C,IAAI,KAAK,EAAE,CAAC;YACV,kFAAkF;YAClF,6EAA6E;YAC7E,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;YACtC,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC;YACrB,SAAS;QACX,CAAC;QACD,SAAS,CAAC,OAAO,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QACjE,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;QAC1D,OAAO,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACtC,CAAC,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAC7E,CAAC;IAED,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACjD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;QAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;IAErD,4EAA4E;IAE5E,KAAK,MAAM,SAAS,IAAI,UAAU,EAAE,CAAC;QACnC,IAAI,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC;YAAE,SAAS;QAEnC,IAAI,SAAS,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACnC,oFAAoF;YACpF,mEAAmE;YACnE,KAAK,MAAM,IAAI,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtF,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;oBAAE,SAAS;gBAChC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACnB,IAAI,CAAC,KAAK;oBAAE,MAAM,CAAC,IAAI,CAAC,CAAC;YAC3B,CAAC;YACD,MAAM,SAAS,GAAG,aAAa,CAAC;gBAC9B,UAAU,EAAE,SAAS,CAAC,UAAU;gBAChC,IAAI,EAAE,SAAS,CAAC,IAAI;gBACpB,KAAK,EAAE,EAAE;gBACT,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,SAAS;gBACpC,OAAO,EAAE,EAAE;gBACX,aAAa,EAAE,SAAS,CAAC,aAAa;gBACtC,KAAK,EAAE,SAAS,CAAC,KAAK;aACvB,CAAC,CAAC;YACH,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC;YACpC,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GAAG,OAAO,CAAC,WAAW,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;QACjE,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YAC3B,MAAM,KAAK,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC;YAC7B,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,2BAA2B,MAAM,CAAC,KAAK,EAAE,IAAI,IAAI,CAAC,CAAC,KAAK,KAAK,EAAE,IAAI,IAAI,EAAE,KAAK;gBAC5G,6DAA6D,CAChE,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,WAAW,GACf,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,QAAQ,CAAC;YACrC,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,eAAe,CAAC;YAC5C,SAAS,CAAC,aAAa,CAAC,GAAG,CAAC,cAAc,CAAC;YAC3C,iBAAiB,CAAC;QACpB,MAAM,WAAW,GAAG,aAAa,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,EAAE,SAAS,CAAC,OAAO,EAAE;YAC5E,OAAO;YACP,OAAO;YACP,IAAI,EAAE,EAAE,WAAW,EAAE;SACtB,CAAC,CAAC;QACH,IAAI,WAAW,CAAC,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACvC,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,WAAW,EAAE,CAAC;gBACjD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC;gBAClE,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,KAAK,UAAU,CAAC,MAAM,IAAI,eAAe,WAAW,KAAK,MAAM,UAAU,CAAC,MAAM,EAAE,CAC9G,CAAC;YACJ,CAAC;YACD,SAAS;QACX,CAAC;QACD,IAAI,CAAC,WAAW,CAAC,OAAO,EAAE,CAAC;YACzB,QAAQ,CAAC,IAAI,CACX,GAAG,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,OAAO,CAAC,mEAAmE,CACpG,CAAC;YACF,SAAS;QACX,CAAC;QAED,MAAM,OAAO,GAAG,gBAAgB,CAAC;YAC/B,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC;YACpC,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,WAAW,EAAE,SAAS,CAAC,WAAW;YAClC,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,WAAW,EAAE,WAAW,CAAC,IAAI;SAC9B,CAAC,CAAC;QACH,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,EAAE,CAAC,CAAC;QACrC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,GAAG,EAAE,OAAO,CAAC,GAAG,CAAC,CAAC;QAEvC,IAAI,CACF,SAAS,CAAC,QAAQ,EAClB,aAAa,CAAC;YACZ,UAAU,EAAE,SAAS,CAAC,UAAU;YAChC,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,SAAS,EAAE,SAAS,CAAC,KAAK,CAAC,SAAS;YACpC,OAAO,EAAE,SAAS,CAAC,OAAO;YAC1B,aAAa,EAAE,SAAS,CAAC,aAAa;YACtC,KAAK,EAAE,SAAS,CAAC,KAAK;SACvB,CAAC,CACH,CAAC;IACJ,CAAC;IAED,SAAS,IAAI,CAAC,IAAY,EAAE,IAAY;QACtC,IAAI,OAA2B,CAAC;QAChC,IAAI,CAAC;YACH,OAAO,GAAG,YAAY,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;QAAC,MAAM,CAAC;YACP,OAAO,GAAG,SAAS,CAAC;QACtB,CAAC;QACD,IAAI,OAAO,KAAK,IAAI;YAAE,OAAO;QAC7B,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;QACnB,IAAI,KAAK;YAAE,OAAO;QAClB,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;QAC9C,aAAa,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5B,CAAC;IAED,KAAK,MAAM,IAAI,IAAI,OAAO;QAAE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,OAAO,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC9E,KAAK,MAAM,IAAI,IAAI,OAAO;QAAE,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,IAAI,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAEjF,OAAO;QACL,OAAO;QACP,OAAO;QACP,QAAQ;QACR,EAAE,EAAE,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,CAAC,KAAK,IAAI,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC;KACxF,CAAC;AACJ,CAAC;AAED,SAAS,OAAO,CAAC,IAAY;IAC3B,MAAM,KAAK,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC5B,OAAO,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC;AACpE,CAAC;AAED,yFAAyF;AACzF,SAAS,WAAW,CAAC,QAAgB,EAAE,IAAY;IACjD,IAAI,QAAQ,CAAC,QAAQ,CAAC,GAAG,GAAG,eAAe,GAAG,EAAE,CAAC,IAAI,QAAQ,CAAC,QAAQ,CAAC,gBAAgB,CAAC;QAAE,OAAO,KAAK,CAAC;IACvG,IAAI,eAAe,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IACjD,IAAI,eAAe,CAAC,QAAQ,CAAC;QAAE,OAAO,KAAK,CAAC;IAC5C,oFAAoF;IACpF,uCAAuC;IACvC,MAAM,MAAM,GAAG,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACxC,OAAO,MAAM,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;AAC9E,CAAC;AAaD;;;;;;GAMG;AACH,MAAM,CAAC,KAAK,UAAU,YAAY,CAAC,OAAqB;IACtD,MAAM,EAAE,KAAK,EAAE,GAAG,MAAM,MAAM,CAAC,kBAAkB,CAAC,CAAC;IACnD,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IACzC,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,GAAG,GAAG,OAAO,CAAC,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,SAAS,CAAC,CAAC;IAC7C,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO,CAAC;IACjC,MAAM,OAAO,GAAG,QAAQ,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IAC7D,MAAM,UAAU,GAAG,IAAI,eAAe,EAAE,CAAC;IACzC,IAAI,KAAgD,CAAC;IACrD,IAAI,IAAmB,CAAC;IACxB,IAAI,OAAgB,CAAC;IACrB,MAAM,OAAO,GAAG,IAAI,GAAG,EAAU,CAAC;IAClC,MAAM,IAAI,GAAG,GAAS,EAAE;QACtB,UAAU,CAAC,KAAK,EAAE,CAAC;IACrB,CAAC,CAAC;IACF,KAAK,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAErC,MAAM,KAAK,GAAG,GAAS,EAAE;QACvB,KAAK,GAAG,SAAS,CAAC;QAClB,IAAI,UAAU,CAAC,MAAM,CAAC,OAAO;YAAE,OAAO;QACtC,MAAM,OAAO,GAAG,CAAC,GAAG,OAAO,CAAC,CAAC;QAC7B,OAAO,CAAC,KAAK,EAAE,CAAC;QAChB,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;YAAE,OAAO;QACjC,IAAI,CAAC;YACH,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YACtD,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;YAC5E,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,KAAK,SAAS,CAAC,CAAC;YAC9E,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC;YACvD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;YACjD,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC;YACrD,IAAI,IAAI,CAAC,MAAM,GAAG,CAAC;gBAAE,OAAO,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC;YAC3C,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;YACtC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QACpB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,IAAI,EAAE,CAAC;QACT,CAAC;IACH,CAAC,CAAC;IAEF,IAAI,CAAC;QACH,IAAI,GAAG,GAAG,CAAC,OAAO,EAAE,OAAO,EAAE,OAAO,CAAC,CAAC;QACtC,MAAM,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;QAClB,IAAI,CAAC;YACH,IAAI,KAAK,EAAE,MAAM,KAAK,IAAI,KAAK,CAAC,IAAI,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,MAAM,EAAE,CAAC,EAAE,CAAC;gBACtF,MAAM,IAAI,GAAG,OAAO,KAAK,CAAC,QAAQ,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;gBAC5F,IAAI,IAAI,KAAK,SAAS,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE,IAAI,CAAC;oBAAE,SAAS;gBAC7D,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAClB,IAAI,KAAK,KAAK,SAAS;oBAAE,YAAY,CAAC,KAAK,CAAC,CAAC;gBAC7C,KAAK,GAAG,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,UAAU,IAAI,EAAE,CAAC,CAAC;YACtD,CAAC;QACH,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,IAAI,CAAC,CAAC,KAAK,YAAY,KAAK,CAAC,IAAI,KAAK,CAAC,IAAI,KAAK,YAAY;gBAAE,MAAM,KAAK,CAAC;QAC5E,CAAC;QACD,IAAI,OAAO,KAAK,SAAS;YAAE,MAAM,OAAO,CAAC;QACzC,OAAO,IAAI,CAAC;IACd,CAAC;YAAS,CAAC;QACT,IAAI,EAAE,CAAC;QACP,IAAI,KAAK,KAAK,SAAS;YAAE,YAAY,CAAC,KAAK,CAAC,CAAC;QAC7C,OAAO,CAAC,KAAK,EAAE,CAAC;QAChB,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,CAAC,KAAK,EAAE,CAAC;IAC9C,CAAC;AACH,CAAC;AAED,SAAS,MAAM,CAAC,MAAqB,EAAE,GAA2B;IAChE,KAAK,MAAM,OAAO,IAAI,MAAM,CAAC,QAAQ;QAAE,GAAG,CAAC,UAAU,OAAO,EAAE,CAAC,CAAC;IAChE,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,GAAG,CACD,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC;YACxD,CAAC,CAAC,YAAY;YACd,CAAC,CAAC,aAAa,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,yBAAyB,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CACvG,CAAC;IACJ,CAAC;AACH,CAAC"}

package/dist/codegen/scan.d.ts

@@ -0,0 +1,105 @@
+import type { Node, SourceFile } from 'typescript/unstable/ast';
+import type { Checker } from 'typescript/unstable/sync';
+import { type CallSite } from '../reflect/callsites.js';
+/** How a name got into a module's scope, in a form that can be written down again. */
+export interface ImportBinding {
+    readonly specifier: string;
+    readonly kind: 'default' | 'named' | 'namespace';
+    /** The name in the exporting module. Only meaningful for `named`. */
+    readonly original: string;
+}
+/** Everything about one module that the witness generator needs, all of it syntactic. */
+export interface ModuleFacts {
+    /** Local binding name → the import that introduced it. */
+    readonly imports: ReadonlyMap<string, ImportBinding>;
+    /** Names this module declares itself, type or value. */
+    readonly locals: ReadonlySet<string>;
+    /** Names this module exports, however it exports them. */
+    readonly exported: ReadonlySet<string>;
+}
+/** One thing the generated module will export, and the call it comes from. */
+export interface Entry {
+    readonly callee: string;
+    /** The type argument, verbatim from the source it was read in. */
+    readonly typeText: string;
+    /** The non-default shallow depth, when this call carries one. */
+    readonly depthText?: string;
+    /** Literal value arguments captured into a zero-argument generated artifact. */
+    readonly argumentsText?: readonly string[];
+    /** The export name in the generated module. Derived, so it is stable across runs. */
+    readonly name: string;
+}
+/** A call site in a source file, paired with the entry it maps onto. */
+export interface SiteEntry {
+    readonly site: CallSite;
+    readonly entry: Entry;
+}
+/** What the codegen could not do, and which name made it impossible. */
+export interface ScanRefusal {
+    readonly typeText: string;
+    readonly reason: string;
+}
+export interface ScanResult {
+    readonly entries: readonly Entry[];
+    /** Sites in the *source* file, in source order, for the rewrite. */
+    readonly sites: readonly SiteEntry[];
+    readonly refusals: readonly ScanRefusal[];
+    /** Module specifier → the names the witness must import from it. */
+    readonly typeImports: readonly TypeImport[];
+    /** Callee → where the source got it from, so the witness can get it from there too. */
+    readonly calleeSources: ReadonlyMap<string, string>;
+}
+export interface TypeImport {
+    readonly specifier: string;
+    readonly kind: 'default' | 'named' | 'namespace';
+    /** `original as local`, or just `local` when they match. */
+    readonly local: string;
+    readonly original: string;
+}
+/** Import bindings, local declarations and exports of one module. */
+export declare function moduleFacts(sourceFile: SourceFile): ModuleFacts;
+/**
+ * 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 declare function referencedNames(node: Node): ReadonlySet<string>;
+/**
+ * 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 declare function exportName(callee: string, typeText: string, taken: ReadonlySet<string>, depthText?: string, identityText?: string): string;
+export interface ScanInput {
+    readonly checker: Checker;
+    readonly sourceFile: SourceFile;
+    /** The previous run's witness, when there is one. See `scan` for why it is read. */
+    readonly witnessFile?: SourceFile | undefined;
+    /**
+     * Whether the project lets a relative import name a `.ts` file
+     * (`allowImportingTsExtensions`). Only consulted for a file that has no relative import to
+     * copy the style from; see `relativeExtension`.
+     */
+    readonly tsExtensions?: boolean | undefined;
+}
+/**
+ * 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 declare function scan(input: ScanInput): ScanResult;
+/** Whether `text` uses `name` as an identifier, rather than as part of a longer one. */
+export declare function referencesName(text: string, name: string): boolean;
+export declare function basename(path: string): string;
+//# sourceMappingURL=scan.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"scan.d.ts","sourceRoot":"","sources":["../../src/codegen/scan.ts"],"names":[],"mappings":"AAgBA,OAAO,KAAK,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,yBAAyB,CAAC;AAqBhE,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,0BAA0B,CAAC;AAExD,OAAO,EAAmC,KAAK,QAAQ,EAAE,MAAM,yBAAyB,CAAC;AAGzF,sFAAsF;AACtF,MAAM,WAAW,aAAa;IAC5B,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,GAAG,WAAW,CAAC;IACjD,qEAAqE;IACrE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAED,yFAAyF;AACzF,MAAM,WAAW,WAAW;IAC1B,0DAA0D;IAC1D,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,aAAa,CAAC,CAAC;IACrD,wDAAwD;IACxD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACrC,0DAA0D;IAC1D,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACxC;AAED,8EAA8E;AAC9E,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,kEAAkE;IAClE,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,iEAAiE;IACjE,QAAQ,CAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAC5B,gFAAgF;IAChF,QAAQ,CAAC,aAAa,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,qFAAqF;IACrF,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,wEAAwE;AACxE,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;CACvB;AAED,wEAAwE;AACxE,MAAM,WAAW,WAAW;IAC1B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,OAAO,EAAE,SAAS,KAAK,EAAE,CAAC;IACnC,oEAAoE;IACpE,QAAQ,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,CAAC;IACrC,QAAQ,CAAC,QAAQ,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,oEAAoE;IACpE,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;IAC5C,uFAAuF;IACvF,QAAQ,CAAC,aAAa,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACrD;AAED,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,GAAG,WAAW,CAAC;IACjD,4DAA4D;IAC5D,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;CAC3B;AAmBD,qEAAqE;AACrE,wBAAgB,WAAW,CAAC,UAAU,EAAE,UAAU,GAAG,WAAW,CA8E/D;AAED;;;;;;;GAOG;AACH,wBAAgB,eAAe,CAAC,IAAI,EAAE,IAAI,GAAG,WAAW,CAAC,MAAM,CAAC,CAgB/D;AAkCD;;;;;;GAMG;AACH,wBAAgB,UAAU,CACxB,MAAM,EAAE,MAAM,EACd,QAAQ,EAAE,MAAM,EAChB,KAAK,EAAE,WAAW,CAAC,MAAM,CAAC,EAC1B,SAAS,CAAC,EAAE,MAAM,EAClB,YAAY,CAAC,EAAE,MAAM,GACpB,MAAM,CA0BR;AA4DD,MAAM,WAAW,SAAS;IACxB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAChC,oFAAoF;IACpF,QAAQ,CAAC,WAAW,CAAC,EAAE,UAAU,GAAG,SAAS,CAAC;IAC9C;;;;OAIG;IACH,QAAQ,CAAC,YAAY,CAAC,EAAE,OAAO,GAAG,SAAS,CAAC;CAC7C;AA4BD;;;;;;;;;;GAUG;AACH,wBAAgB,IAAI,CAAC,KAAK,EAAE,SAAS,GAAG,UAAU,CAyJjD;AAED,wFAAwF;AACxF,wBAAgB,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,OAAO,CAGlE;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAG7C"}