@zmdb/compiler 1.0.0-beta.1

package/dist/testing/index.js

@@ -0,0 +1,210 @@
+// `@zmdb/compiler/testing` — tagged schema values, without a transform step.
+//
+// `schemaOf<User>()` is compiled away by the transform, and it has no runtime: a type
+// argument does not survive to runtime, so a build that skipped the transform gets a thrown
+// error rather than a plausible-looking empty schema. That is the right behaviour in an
+// application and an awkward one in a test, because a unit test usually runs off the
+// TypeScript source with no bundler in the way — `vitest`, `node --strip-types`, `tsx`. Ask
+// for the schema there and you get the error, correctly, and no way forward.
+//
+// So this does through the compiler API what the transform does during a build: open the
+// project, read exported tagged interfaces, and turn their IR into schema values. Tests can
+// name individual exports with `schemasFrom`; build tools whose config already resolved a
+// concrete file set use `schemasFromFiles`. Both return what the transform would have inlined
+// — literally the same `schemaFromIR(schemaIrFromType(...))` expression — rather than a
+// stand-in for the shipped path.
+//
+// ```ts
+// import { schemasFrom } from '@zmdb/compiler/testing';
+//
+// export interface User extends Table<'users'> {
+//   id: number & Sql<'integer'> & Serial & PrimaryKey;
+//   email: string & Sql<'varchar'> & Length<255> & Unique;
+// }
+//
+// const { User: users } = schemasFrom(import.meta.url, ['User']);
+// ```
+//
+// The interfaces can live in the test file itself, which is the point: a fixture two
+// directories away is a fixture nobody reads. They do have to be `export`ed, because the
+// module's export table is how a name is resolved to a symbol.
+//
+// ## What it costs
+//
+// One compiler session per call — about 80ms to load a package-sized project, and about 3ms
+// to resolve a type out of it. So a test should call once at module scope with every name it
+// needs, while a command should pass its whole configured file set once. The session is
+// closed before the call returns, because an open one holds a child process and a process
+// that leaks those hangs on exit.
+//
+// It does check the module's own diagnostics first, which costs about 6ms and earns it back
+// the first time somebody mistypes an import. A type read out of a file that does not compile
+// comes back as an error type, and the reflection reports an error type as "the checker could
+// not resolve this type" — true, unhelpful, and repeated once per column. The compile error is
+// the thing that happened, so that is what gets raised.
+import { existsSync } from 'node:fs';
+import { dirname, join, resolve } from 'node:path';
+import { fileURLToPath } from 'node:url';
+import {} from '@zmdb/schema';
+import { schemaFromIR } from '@zmdb/schema/ir';
+import {} from '@zmdb/schema/naming';
+import { schemaIrFromType } from '../reflect/index.js';
+import { ReflectSession } from '../reflect/session.js';
+function reflectOptions(options) {
+    return options.naming === undefined ? undefined : { naming: options.naming };
+}
+export function schemasFrom(module, names, options = {}) {
+    const irs = schemaIrsFrom(module, names, options);
+    const schemas = {};
+    for (const [name, ir] of Object.entries(irs))
+        schemas[name] = schemaFromIR(ir);
+    return schemas;
+}
+/**
+ * Every exported tagged table declaration in a concrete file set.
+ *
+ * Config loading has already expanded and project-checked these files. This
+ * bridge keeps the remaining compiler work in the reflection library: one
+ * session for the project, one pass over each module's exports, and the same
+ * `schemaFromIR` conversion used by `schemaOf<T>()` and `schemasFrom()`.
+ */
+export function schemasFromFiles(files, options) {
+    if (files.length === 0)
+        throw new Error('the configured schema file set is empty');
+    using session = ReflectSession.open({ project: options.project });
+    const schemas = new Map();
+    const diagnostics = [];
+    for (const file of files.toSorted()) {
+        const sourceFile = session.sourceFile(file);
+        if (!sourceFile) {
+            throw new Error(`${file} is not part of ${options.project}; the configured schema files must belong to the project`);
+        }
+        const broken = session.diagnostics(file);
+        if (broken.length > 0) {
+            throw new Error(`${file} does not compile, so its table declarations cannot be read (${broken.length} diagnostic(s)):\n` +
+                broken
+                    .slice(0, 5)
+                    .map(one => `  TS${String(one.code)}: ${one.text}`)
+                    .join('\n'));
+        }
+        const moduleSymbol = session.checker.getSymbolAtLocation(sourceFile);
+        if (!moduleSymbol)
+            throw new Error(`${file} has no module symbol, so it exports nothing to read`);
+        const exported = session.checker
+            .getExportsOfModule(moduleSymbol)
+            .toSorted((left, right) => left.name.localeCompare(right.name));
+        for (const symbol of exported) {
+            const type = session.checker.getDeclaredTypeOfSymbol(symbol);
+            const reflected = schemaIrFromType(session.checker, type, sourceFile, reflectOptions(options));
+            const isTable = reflected.diagnostics.every(diagnostic => !diagnostic.reason.includes("no Table<'name'> tag"));
+            if (!isTable)
+                continue;
+            diagnostics.push(...reflected.diagnostics);
+            const schema = schemaFromIR(reflected.ir);
+            const previous = schemas.get(schema.ir.table);
+            if (previous !== undefined) {
+                if (JSON.stringify(previous.ir) !== JSON.stringify(schema.ir)) {
+                    throw new Error(`configured schema files export conflicting declarations for table ${schema.ir.table}`);
+                }
+                continue;
+            }
+            schemas.set(schema.ir.table, schema);
+        }
+    }
+    if (diagnostics.length > 0) {
+        if (options.onDiagnostics)
+            options.onDiagnostics(diagnostics);
+        else {
+            throw new Error(`the reflection refused ${diagnostics.length} thing(s) in the configured schema files:\n` +
+                diagnostics.map(one => `  ${one.path ? `${one.path}: ` : ''}${one.reason}`).join('\n'));
+        }
+    }
+    if (schemas.size === 0) {
+        throw new Error(`the configured schema files export no tagged table declarations: ${files.toSorted().join(', ')}`);
+    }
+    return [...schemas.values()].toSorted((left, right) => left.ir.table.localeCompare(right.ir.table));
+}
+/**
+ * The same, stopping at the IR.
+ *
+ * Separate because the IR is the spine and a test about the front-end wants to see it
+ * directly — the schema value is one conversion further on, and `schemaFromIR` is not the
+ * thing under test.
+ */
+export function schemaIrsFrom(module, names, options = {}) {
+    const file = module.startsWith('file:') ? fileURLToPath(module) : resolve(module);
+    const project = options.project ?? nearestProject(file);
+    using session = ReflectSession.open({ project });
+    const sourceFile = session.sourceFile(file);
+    if (!sourceFile) {
+        throw new Error(`${file} is not part of ${project}. The tagged interfaces have to be in the program for ` +
+            'the checker to have a declared type for them.');
+    }
+    // Before anything is read off the type: a file that does not compile has error types in it,
+    // and an error type reflects as a refusal per column rather than as the one problem it is.
+    const broken = session.diagnostics(file);
+    if (broken.length > 0) {
+        throw new Error(`${file} does not compile, so its types cannot be read (${broken.length} diagnostic(s)):\n` +
+            broken
+                .slice(0, 5)
+                .map(one => `  TS${String(one.code)}: ${one.text}`)
+                .join('\n'));
+    }
+    const { checker } = session;
+    const moduleSymbol = checker.getSymbolAtLocation(sourceFile);
+    if (!moduleSymbol)
+        throw new Error(`${file} has no module symbol, so it exports nothing to read`);
+    const exported = new Map(checker.getExportsOfModule(moduleSymbol).map(symbol => [symbol.name, symbol]));
+    const irs = {};
+    const diagnostics = [];
+    for (const name of names) {
+        const symbol = exported.get(name);
+        if (!symbol) {
+            // Naming the exports is worth the line: the usual cause is a missing `export`, and the
+            // message "User is not exported" is not obviously that when the interface is right there.
+            throw new Error(`${file} exports no \`${name}\`. It has to be \`export interface ${name}\` — the module's ` +
+                `export table is how the name is resolved. Exports found: ${[...exported.keys()].join(', ') || 'none'}.`);
+        }
+        const type = checker.getDeclaredTypeOfSymbol(symbol);
+        // One reflector per name, which `schemaIrFromType` gives us: the node budget and the
+        // helper-name table are per-reflection state, and sharing them across unrelated tables
+        // would make one table's refusals show up against another's.
+        const result = schemaIrFromType(checker, type, sourceFile, reflectOptions(options));
+        irs[name] = result.ir;
+        diagnostics.push(...result.diagnostics);
+    }
+    if (diagnostics.length > 0) {
+        if (options.onDiagnostics)
+            options.onDiagnostics(diagnostics);
+        else {
+            throw new Error(`the reflection refused ${diagnostics.length} thing(s) in ${file}:\n` +
+                diagnostics.map(one => `  ${one.path ? `${one.path}: ` : ''}${one.reason}`).join('\n'));
+        }
+    }
+    // boundary: `irs` is filled in by the loop above, one key per member of `names`, and the
+    // loop throws rather than skipping when a name is not exported — so every key the return
+    // type promises is present by the time this runs. What the assertion buys is the *literal*
+    // keys: built from a `Record<string, SchemaIR>` because the names arrive as values, and no
+    // amount of building it differently makes the compiler read them back off the array.
+    return irs;
+}
+/**
+ * The nearest `tsconfig.json` at or above a file.
+ *
+ * The same rule `tsc` uses for a bare invocation, and the same one the codegen CLI documents,
+ * so a caller who has not thought about it gets the project they would have guessed.
+ */
+function nearestProject(file) {
+    let directory = dirname(file);
+    for (;;) {
+        const candidate = join(directory, 'tsconfig.json');
+        if (existsSync(candidate))
+            return candidate;
+        const parent = dirname(directory);
+        if (parent === directory) {
+            throw new Error(`no tsconfig.json at or above ${file}; pass \`project\` explicitly`);
+        }
+        directory = parent;
+    }
+}
+//# sourceMappingURL=index.js.map

package/dist/testing/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/testing/index.ts"],"names":[],"mappings":"AAAA,6EAA6E;AAC7E,EAAE;AACF,sFAAsF;AACtF,4FAA4F;AAC5F,wFAAwF;AACxF,qFAAqF;AACrF,4FAA4F;AAC5F,6EAA6E;AAC7E,EAAE;AACF,yFAAyF;AACzF,4FAA4F;AAC5F,0FAA0F;AAC1F,8FAA8F;AAC9F,wFAAwF;AACxF,iCAAiC;AACjC,EAAE;AACF,QAAQ;AACR,wDAAwD;AACxD,EAAE;AACF,iDAAiD;AACjD,uDAAuD;AACvD,2DAA2D;AAC3D,IAAI;AACJ,EAAE;AACF,kEAAkE;AAClE,MAAM;AACN,EAAE;AACF,qFAAqF;AACrF,yFAAyF;AACzF,+DAA+D;AAC/D,EAAE;AACF,mBAAmB;AACnB,EAAE;AACF,4FAA4F;AAC5F,6FAA6F;AAC7F,wFAAwF;AACxF,0FAA0F;AAC1F,kCAAkC;AAClC,EAAE;AACF,4FAA4F;AAC5F,8FAA8F;AAC9F,8FAA8F;AAC9F,+FAA+F;AAC/F,wDAAwD;AAExD,OAAO,EAAE,UAAU,EAAE,MAAM,SAAS,CAAC;AACrC,OAAO,EAAE,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AACnD,OAAO,EAAE,aAAa,EAAE,MAAM,UAAU,CAAC;AAEzC,OAAO,EAAsC,MAAM,cAAc,CAAC;AAClE,OAAO,EAAE,YAAY,EAAiB,MAAM,iBAAiB,CAAC;AAC9D,OAAO,EAAuB,MAAM,qBAAqB,CAAC;AAE1D,OAAO,EAAE,gBAAgB,EAA+C,MAAM,qBAAqB,CAAC;AACpG,OAAO,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAuBvD,SAAS,cAAc,CAAC,OAA2B;IACjD,OAAO,OAAO,CAAC,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;AAC/E,CAAC;AAgCD,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,KAAwB,EACxB,OAAO,GAAuB,EAAE;IAEhC,MAAM,GAAG,GAA6B,aAAa,CAAC,MAAM,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,OAAO,GAAuC,EAAE,CAAC;IACvD,KAAK,MAAM,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC;QAAE,OAAO,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,EAAE,CAAC,CAAC;IAC/E,OAAO,OAAO,CAAC;AACjB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,gBAAgB,CAC9B,KAAwB,EACxB,OAAgC;IAEhC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,yCAAyC,CAAC,CAAC;IAEnF,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,OAAO,CAAC,OAAO,EAAE,CAAC,CAAC;IAClE,MAAM,OAAO,GAAG,IAAI,GAAG,EAA8B,CAAC;IACtD,MAAM,WAAW,GAAwB,EAAE,CAAC;IAE5C,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,EAAE,EAAE,CAAC;QACpC,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;YAChB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,mBAAmB,OAAO,CAAC,OAAO,0DAA0D,CACpG,CAAC;QACJ,CAAC;QAED,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;QACzC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;YACtB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,gEAAgE,MAAM,CAAC,MAAM,oBAAoB;gBACtG,MAAM;qBACH,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;qBACX,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;qBAClD,IAAI,CAAC,IAAI,CAAC,CAChB,CAAC;QACJ,CAAC;QAED,MAAM,YAAY,GAAG,OAAO,CAAC,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;QACrE,IAAI,CAAC,YAAY;YAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,sDAAsD,CAAC,CAAC;QAClG,MAAM,QAAQ,GAAG,OAAO,CAAC,OAAO;aAC7B,kBAAkB,CAAC,YAAY,CAAC;aAChC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC;QAElE,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;YAC7D,MAAM,SAAS,GAAG,gBAAgB,CAAC,OAAO,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;YAC/F,MAAM,OAAO,GAAG,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,sBAAsB,CAAC,CAAC,CAAC;YAC/G,IAAI,CAAC,OAAO;gBAAE,SAAS;YAEvB,WAAW,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,CAAC;YAC3C,MAAM,MAAM,GAAG,YAAY,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC;YAC1C,MAAM,QAAQ,GAAG,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC;YAC9C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;gBAC3B,IAAI,IAAI,CAAC,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC,KAAK,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC9D,MAAM,IAAI,KAAK,CAAC,qEAAqE,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC;gBAC1G,CAAC;gBACD,SAAS;YACX,CAAC;YACD,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;QACvC,CAAC;IACH,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,aAAa;YAAE,OAAO,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;aACzD,CAAC;YACJ,MAAM,IAAI,KAAK,CACb,0BAA0B,WAAW,CAAC,MAAM,6CAA6C;gBACvF,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACzF,CAAC;QACJ,CAAC;IACH,CAAC;IACD,IAAI,OAAO,CAAC,IAAI,KAAK,CAAC,EAAE,CAAC;QACvB,MAAM,IAAI,KAAK,CAAC,oEAAoE,KAAK,CAAC,QAAQ,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IACrH,CAAC;IACD,OAAO,CAAC,GAAG,OAAO,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC;AACtG,CAAC;AAED;;;;;;GAMG;AACH,MAAM,UAAU,aAAa,CAC3B,MAAc,EACd,KAAY,EACZ,OAAO,GAAuB,EAAE;IAEhC,MAAM,IAAI,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;IAClF,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,IAAI,cAAc,CAAC,IAAI,CAAC,CAAC;IAExD,MAAM,OAAO,GAAG,cAAc,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,CAAC,CAAC;IACjD,MAAM,UAAU,GAAG,OAAO,CAAC,UAAU,CAAC,IAAI,CAAC,CAAC;IAC5C,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,mBAAmB,OAAO,wDAAwD;YACvF,+CAA+C,CAClD,CAAC;IACJ,CAAC;IAED,4FAA4F;IAC5F,2FAA2F;IAC3F,MAAM,MAAM,GAAG,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC;IACzC,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,mDAAmD,MAAM,CAAC,MAAM,oBAAoB;YACzF,MAAM;iBACH,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;iBACX,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,OAAO,MAAM,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,IAAI,EAAE,CAAC;iBAClD,IAAI,CAAC,IAAI,CAAC,CAChB,CAAC;IACJ,CAAC;IAED,MAAM,EAAE,OAAO,EAAE,GAAG,OAAO,CAAC;IAC5B,MAAM,YAAY,GAAG,OAAO,CAAC,mBAAmB,CAAC,UAAU,CAAC,CAAC;IAC7D,IAAI,CAAC,YAAY;QAAE,MAAM,IAAI,KAAK,CAAC,GAAG,IAAI,sDAAsD,CAAC,CAAC;IAClG,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,kBAAkB,CAAC,YAAY,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAExG,MAAM,GAAG,GAA6B,EAAE,CAAC;IACzC,MAAM,WAAW,GAAwB,EAAE,CAAC;IAC5C,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;QACzB,MAAM,MAAM,GAAG,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;QAClC,IAAI,CAAC,MAAM,EAAE,CAAC;YACZ,uFAAuF;YACvF,0FAA0F;YAC1F,MAAM,IAAI,KAAK,CACb,GAAG,IAAI,iBAAiB,IAAI,uCAAuC,IAAI,oBAAoB;gBACzF,4DAA4D,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,MAAM,GAAG,CAC3G,CAAC;QACJ,CAAC;QACD,MAAM,IAAI,GAAG,OAAO,CAAC,uBAAuB,CAAC,MAAM,CAAC,CAAC;QACrD,qFAAqF;QACrF,uFAAuF;QACvF,6DAA6D;QAC7D,MAAM,MAAM,GAAG,gBAAgB,CAAC,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,cAAc,CAAC,OAAO,CAAC,CAAC,CAAC;QACpF,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,EAAE,CAAC;QACtB,WAAW,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,WAAW,CAAC,CAAC;IAC1C,CAAC;IAED,IAAI,WAAW,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC3B,IAAI,OAAO,CAAC,aAAa;YAAE,OAAO,CAAC,aAAa,CAAC,WAAW,CAAC,CAAC;aACzD,CAAC;YACJ,MAAM,IAAI,KAAK,CACb,0BAA0B,WAAW,CAAC,MAAM,gBAAgB,IAAI,KAAK;gBACnE,WAAW,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC,KAAK,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,IAAI,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CACzF,CAAC;QACJ,CAAC;IACH,CAAC;IAED,yFAAyF;IACzF,yFAAyF;IACzF,2FAA2F;IAC3F,2FAA2F;IAC3F,qFAAqF;IACrF,OAAO,GAA4C,CAAC;AACtD,CAAC;AAED;;;;;GAKG;AACH,SAAS,cAAc,CAAC,IAAY;IAClC,IAAI,SAAS,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC;IAC9B,SAAS,CAAC;QACR,MAAM,SAAS,GAAG,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC;QACnD,IAAI,UAAU,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAC5C,MAAM,MAAM,GAAG,OAAO,CAAC,SAAS,CAAC,CAAC;QAClC,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,MAAM,IAAI,KAAK,CAAC,gCAAgC,IAAI,+BAA+B,CAAC,CAAC;QACvF,CAAC;QACD,SAAS,GAAG,MAAM,CAAC;IACrB,CAAC;AACH,CAAC"}

package/dist/transform/index.d.ts

@@ -0,0 +1,74 @@
+import { type EmitOptions } from '../emit/index.js';
+import { type ReflectOptions } from '../reflect/index.js';
+import type { ReflectSession } from '../reflect/session.js';
+/**
+ * The calls `transformFile` rewrites. Matched by identifier text — see `callsites.ts`.
+ *
+ * Exported because no-bundler project compilation asks the same question about the same names, and
+ * two lists would drift: a callee added here and not there is a call the bundler inlines
+ * and the CLI leaves as a runtime walk, which is a silent performance cliff between two
+ * paths that are supposed to be equivalent.
+ */
+export declare const CALLEES: ReadonlySet<string>;
+/** A call site left alone, and why. Plan D4: the build reports these as errors. */
+export interface TransformDiagnostic {
+    readonly fileName: string;
+    /** Offset of the call this came from, when it came from one. */
+    readonly position?: number;
+    readonly callee?: string;
+    /** The property chain within the type that reached the refusal. */
+    readonly path: string;
+    readonly reason: string;
+    /** The type as the checker prints it, when that is more use than the path. */
+    readonly source?: string;
+}
+export interface TransformResult {
+    readonly code: string;
+    readonly changed: boolean;
+    readonly diagnostics: readonly TransformDiagnostic[];
+}
+export interface TransformContext {
+    /** One session per build, held open by the caller. See `session.ts`. */
+    readonly session: ReflectSession;
+    readonly emit?: EmitOptions;
+    readonly reflect?: ReflectOptions;
+    /** Synthetic test projects can opt into their ambient global call declarations. */
+    readonly allowUnboundCallees?: boolean;
+}
+/**
+ * Rewrite every reachable validation call in one file.
+ *
+ * The file must be part of the session's project and its text must be what the compiler
+ * parsed. When either does not hold the offsets are meaningless, so this degrades to
+ * `transformCode` and says so, rather than rewriting at a position it guessed.
+ */
+export declare function transformFile(fileName: string, code: string, context: TransformContext): TransformResult;
+/**
+ * Text edits in original coordinates, applied back to front, with one twist: `slice`
+ * reads the *current* text, so an outer call sees an inner one already rewritten.
+ *
+ * The bookkeeping is a list of applied edits and their length deltas. Because AST spans
+ * nest and never partially overlap, and because callers work backwards, every applied
+ * edit is either inside the span being asked about or entirely after it — which is what
+ * makes a single sum the right answer.
+ */
+export declare class Rewriter {
+    #private;
+    constructor(text: string);
+    get text(): string;
+    /** A span of the original text, as it reads now. */
+    slice(start: number, end: number): string;
+    /** Replace a span of the original text. Call in descending order of `start`. */
+    replace(start: number, end: number, text: string): void;
+}
+/**
+ * Inline `validate(tags.X(…), expr)`, and nothing else.
+ *
+ * A rule spelled at the call site needs no type information, which is why this survives
+ * without a compiler: the scanner is here only to avoid rewriting the inside of a string
+ * literal or a comment. `validate<T>(expr)` and every other type-argument form are left
+ * for `transformFile`; this function does not look at type arguments at all beyond
+ * skipping past them.
+ */
+export declare function transformCode(code: string): string;
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/transform/index.ts"],"names":[],"mappings":"AAkCA,OAAO,EAA0B,KAAK,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAG5E,OAAO,EAAa,KAAK,cAAc,EAAE,MAAM,qBAAqB,CAAC;AACrE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,uBAAuB,CAAC;AAE5D;;;;;;;GAOG;AACH,eAAO,MAAM,OAAO,EAAE,WAAW,CAAC,MAAM,CAAiB,CAAC;AA+B1D,mFAAmF;AACnF,MAAM,WAAW,mBAAmB;IAClC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,gEAAgE;IAChE,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,mEAAmE;IACnE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,8EAA8E;IAC9E,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,WAAW,EAAE,SAAS,mBAAmB,EAAE,CAAC;CACtD;AAED,MAAM,WAAW,gBAAgB;IAC/B,wEAAwE;IACxE,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAC5B,QAAQ,CAAC,OAAO,CAAC,EAAE,cAAc,CAAC;IAClC,mFAAmF;IACnF,QAAQ,CAAC,mBAAmB,CAAC,EAAE,OAAO,CAAC;CACxC;AAED;;;;;;GAMG;AACH,wBAAgB,aAAa,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,OAAO,EAAE,gBAAgB,GAAG,eAAe,CAqIxG;AAqOD;;;;;;;;GAQG;AACH,qBAAa,QAAQ;;IAKnB,YAAY,IAAI,EAAE,MAAM,EAEvB;IAED,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,oDAAoD;IACpD,KAAK,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAExC;IAED,gFAAgF;IAChF,OAAO,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAQtD;CASF;AA6ED;;;;;;;;GAQG;AACH,wBAAgB,aAAa,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM,CAkFlD"}