@backtickjs/compiler 0.0.0-stage → 0.1.1

package/dist/emitScripts.js

@@ -0,0 +1,23 @@
+import { compileScript, } from "./compileScript.js";
+import { parseSourceText } from "./parseFile.js";
+import { rewriteFile } from "./rewriteFile.js";
+/**
+ * What each of a file's scripts compiles to for the client, in source order:
+ * nested scripts too, each as its own entry.
+ */
+export function emitScripts(ts, fileName, sourceText, 
+// Its framework's compile steps (see `TransformOptions.plugins`).
+plugins = []) {
+    const file = rewriteFile(ts, parseSourceText(ts, fileName, sourceText));
+    return Array.from(file.scripts)
+        .flatMap(([template, { runtime }]) => runtime === null
+        ? []
+        : [
+            {
+                start: template.getStart(file.sourceFile),
+                ...compileScript(ts, runtime.emitted, fileName, plugins),
+            },
+        ])
+        .sort((a, b) => a.start - b.start);
+}
+//# sourceMappingURL=emitScripts.js.map

package/dist/emitScripts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"emitScripts.js","sourceRoot":"","sources":["../src/emitScripts.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,aAAa,GAEd,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AACjD,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAQ/C;;;GAGG;AACH,MAAM,UAAU,WAAW,CACzB,EAA+B,EAC/B,QAAgB,EAChB,UAAkB;AAClB,kEAAkE;AAClE,UAA6B,EAAE;IAE/B,MAAM,IAAI,GAAG,WAAW,CAAC,EAAE,EAAE,eAAe,CAAC,EAAE,EAAE,QAAQ,EAAE,UAAU,CAAC,CAAC,CAAC;IACxE,OAAO,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC;SAC5B,OAAO,CAAC,CAAC,CAAC,QAAQ,EAAE,EAAE,OAAO,EAAE,CAAC,EAAE,EAAE,CACnC,OAAO,KAAK,IAAI;QACd,CAAC,CAAC,EAAE;QACJ,CAAC,CAAC;YACE;gBACE,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC,UAAU,CAAC;gBACzC,GAAG,aAAa,CAAC,EAAE,EAAE,OAAO,CAAC,OAAO,EAAE,QAAQ,EAAE,OAAO,CAAC;aACzD;SACF,CACN;SACA,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,KAAK,CAAC,CAAC;AACvC,CAAC"}

package/dist/flattenScripts.d.ts

@@ -0,0 +1,2 @@
+import type { ClientScript } from "./parseFile.js";
+export declare function flattenScripts(scripts: ClientScript[]): Generator<ClientScript>;

package/dist/flattenScripts.js

@@ -0,0 +1,10 @@
+// Yields every client script in the file, descending through splices
+export function* flattenScripts(scripts) {
+    for (const script of scripts) {
+        yield script;
+        for (const splice of Object.values(script.splices)) {
+            yield* flattenScripts(splice.scripts);
+        }
+    }
+}
+//# sourceMappingURL=flattenScripts.js.map

package/dist/flattenScripts.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"flattenScripts.js","sourceRoot":"","sources":["../src/flattenScripts.ts"],"names":[],"mappings":"AAEA,qEAAqE;AACrE,MAAM,SAAS,CAAC,CAAC,cAAc,CAC7B,OAAuB;IAEvB,KAAK,MAAM,MAAM,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,MAAM,CAAC;QACb,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;YACnD,KAAK,CAAC,CAAC,cAAc,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC;QACxC,CAAC;IACH,CAAC;AACH,CAAC"}

package/dist/hashText.d.ts

@@ -0,0 +1 @@
+export declare function hashText(input: string): string;

package/dist/hashText.js

@@ -0,0 +1,18 @@
+// 64-bit FNV-1a over the file's text: the per-file content hash that makes
+// compiler output globally distinguishable. The compiler runs one file at a
+// time and cannot hand out coordinated identifiers, and a file's path alone
+// can recur across codebases (two packages each compiled against their own
+// root), so both binding keys and script locations carry this hash. At 64
+// bits an accidental collision between different files is out of reach
+// (the birthday bound sits around four billion files), so a collision
+// implies identical file content, where sharing is correct rather than a
+// mixup.
+export function hashText(input) {
+    let hash = 0xcbf29ce484222325n;
+    for (let i = 0; i < input.length; i++) {
+        hash ^= BigInt(input.charCodeAt(i));
+        hash = (hash * 0x100000001b3n) & 0xffffffffffffffffn;
+    }
+    return hash.toString(36);
+}
+//# sourceMappingURL=hashText.js.map

package/dist/hashText.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hashText.js","sourceRoot":"","sources":["../src/hashText.ts"],"names":[],"mappings":"AAAA,2EAA2E;AAC3E,4EAA4E;AAC5E,4EAA4E;AAC5E,2EAA2E;AAC3E,0EAA0E;AAC1E,uEAAuE;AACvE,sEAAsE;AACtE,yEAAyE;AACzE,SAAS;AACT,MAAM,UAAU,QAAQ,CAAC,KAAa;IACpC,IAAI,IAAI,GAAG,mBAAmB,CAAC;IAC/B,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,EAAE,EAAE,CAAC;QACtC,IAAI,IAAI,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC;QACpC,IAAI,GAAG,CAAC,IAAI,GAAG,cAAc,CAAC,GAAG,mBAAmB,CAAC;IACvD,CAAC;IACD,OAAO,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAC3B,CAAC"}

package/dist/hostElements.d.ts

@@ -0,0 +1,3 @@
+import type ts from "typescript";
+import type { Diagnostic } from "./diagnostics.js";
+export declare function hostElementDiagnostics(ts: typeof import("typescript"), sourceFile: ts.SourceFile): Diagnostic[];

package/dist/hostElements.js

@@ -0,0 +1,28 @@
+import { isComponentTag } from "./isComponentTag.js";
+// Each element written in host code: an intrinsic element is drawn by the
+// client, so it belongs in a script. Every JSX node TypeScript parsed is the
+// host's, a splice's included, as a script's JSX is text in its template.
+export function hostElementDiagnostics(ts, sourceFile) {
+    const diagnostics = [];
+    const visit = (node) => {
+        if (ts.isJsxOpeningElement(node) || ts.isJsxSelfClosingElement(node)) {
+            const { tagName } = node;
+            const name = tagName.getText(sourceFile);
+            // A member read (`ui.button`) is a value, whatever its case.
+            const named = ts.isIdentifier(tagName) || ts.isJsxNamespacedName(tagName);
+            if (named && !isComponentTag(name)) {
+                diagnostics.push({
+                    range: { start: tagName.getStart(sourceFile), end: tagName.getEnd() },
+                    message: `\`<${name}>\` is drawn by the client, so it belongs in a ` +
+                        `script: cs\`<${name}>…</${name}>\`.`,
+                    category: ts.DiagnosticCategory.Error,
+                    code: 0,
+                });
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    return diagnostics;
+}
+//# sourceMappingURL=hostElements.js.map

package/dist/hostElements.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"hostElements.js","sourceRoot":"","sources":["../src/hostElements.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD,0EAA0E;AAC1E,6EAA6E;AAC7E,0EAA0E;AAC1E,MAAM,UAAU,sBAAsB,CACpC,EAA+B,EAC/B,UAAyB;IAEzB,MAAM,WAAW,GAAiB,EAAE,CAAC;IACrC,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,uBAAuB,CAAC,IAAI,CAAC,EAAE,CAAC;YACrE,MAAM,EAAE,OAAO,EAAE,GAAG,IAAI,CAAC;YACzB,MAAM,IAAI,GAAG,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;YACzC,6DAA6D;YAC7D,MAAM,KAAK,GAAG,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,CAAC;YAC1E,IAAI,KAAK,IAAI,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;gBACnC,WAAW,CAAC,IAAI,CAAC;oBACf,KAAK,EAAE,EAAE,KAAK,EAAE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,GAAG,EAAE,OAAO,CAAC,MAAM,EAAE,EAAE;oBACrE,OAAO,EACL,MAAM,IAAI,iDAAiD;wBAC3D,gBAAgB,IAAI,OAAO,IAAI,MAAM;oBACvC,QAAQ,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK;oBACrC,IAAI,EAAE,CAAC;iBACR,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IACF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,WAAW,CAAC;AACrB,CAAC"}

package/dist/index.d.ts

@@ -0,0 +1,16 @@
+export type { SourceMapping } from "./buildMappings.js";
+export type { CodeInformation } from "./CodeInformation.js";
+export type { Diagnostic } from "./diagnostics.js";
+export type { EmittedScript } from "./emitScript.js";
+export { emitScripts, type EmittedScriptAt } from "./emitScripts.js";
+export { flattenScripts } from "./flattenScripts.js";
+export type { ClientScript, ParsedFile, Splice } from "./parseFile.js";
+export { parseSourceFile, parseSourceText } from "./parseFile.js";
+export { type ResolvedParam, resolveBindings } from "./resolveBindings.js";
+export type { Plugin } from "./compileScript.js";
+export { type CompileModuleOptions, compileModule, pluginsFrom, } from "./compileModule.js";
+export { type TransformOptions, transform } from "./transform.js";
+export { transpile } from "./transpile.js";
+export { mangle, unmangle } from "./unmangle.js";
+export type { Virtualized } from "./virtualize.js";
+export { virtualize } from "./virtualize.js";

package/dist/index.js

@@ -0,0 +1,10 @@
+export { emitScripts } from "./emitScripts.js";
+export { flattenScripts } from "./flattenScripts.js";
+export { parseSourceFile, parseSourceText } from "./parseFile.js";
+export { resolveBindings } from "./resolveBindings.js";
+export { compileModule, pluginsFrom, } from "./compileModule.js";
+export { transform } from "./transform.js";
+export { transpile } from "./transpile.js";
+export { mangle, unmangle } from "./unmangle.js";
+export { virtualize } from "./virtualize.js";
+//# sourceMappingURL=index.js.map

package/dist/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,WAAW,EAAwB,MAAM,kBAAkB,CAAC;AACrE,OAAO,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAErD,OAAO,EAAE,eAAe,EAAE,eAAe,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAsB,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAE3E,OAAO,EAEL,aAAa,EACb,WAAW,GACZ,MAAM,oBAAoB,CAAC;AAC5B,OAAO,EAAyB,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAClE,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAEjD,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC"}

package/dist/isComponentTag.d.ts

@@ -0,0 +1 @@
+export declare function isComponentTag(tagName: string): boolean;

package/dist/isComponentTag.js

@@ -0,0 +1,15 @@
+// Whether a tag names a component rather than one of the target's elements.
+//
+// TypeScript's own rule, spelled out because it does not publish it (`ts`'s
+// `isIntrinsicJsxName` is internal): a name starting lowercase, or holding a
+// `-` or a `:`, is the target's, and anything else is a value in scope. Written
+// here so a tag reads the same to the compiler as it does to the checker, which
+// applies this rule to the virtual code.
+export function isComponentTag(tagName) {
+    const first = tagName.charCodeAt(0);
+    const intrinsic = (first >= 0x61 /* a */ && first <= 0x7a) /* z */ ||
+        tagName.includes("-") ||
+        tagName.includes(":");
+    return !intrinsic;
+}
+//# sourceMappingURL=isComponentTag.js.map

package/dist/isComponentTag.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"isComponentTag.js","sourceRoot":"","sources":["../src/isComponentTag.ts"],"names":[],"mappings":"AAAA,4EAA4E;AAC5E,EAAE;AACF,4EAA4E;AAC5E,6EAA6E;AAC7E,gFAAgF;AAChF,gFAAgF;AAChF,yCAAyC;AACzC,MAAM,UAAU,cAAc,CAAC,OAAe;IAC5C,MAAM,KAAK,GAAG,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IACpC,MAAM,SAAS,GACb,CAAC,KAAK,IAAI,IAAI,CAAC,OAAO,IAAI,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO;QAChD,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC;QACrB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC;IACxB,OAAO,CAAC,SAAS,CAAC;AACpB,CAAC"}

package/dist/nodeFactory.d.ts

@@ -0,0 +1,3 @@
+import type ts from "typescript";
+/** <receiver>.<method>(...args) */
+export declare function call(ts: typeof import("typescript"), receiver: string, method: string, args: ts.Expression[]): ts.CallExpression;

package/dist/nodeFactory.js

@@ -0,0 +1,5 @@
+/** <receiver>.<method>(...args) */
+export function call(ts, receiver, method, args) {
+    return ts.factory.createCallExpression(ts.factory.createPropertyAccessExpression(ts.factory.createIdentifier(receiver), method), undefined, args);
+}
+//# sourceMappingURL=nodeFactory.js.map

package/dist/nodeFactory.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"nodeFactory.js","sourceRoot":"","sources":["../src/nodeFactory.ts"],"names":[],"mappings":"AAEA,mCAAmC;AACnC,MAAM,UAAU,IAAI,CAClB,EAA+B,EAC/B,QAAgB,EAChB,MAAc,EACd,IAAqB;IAErB,OAAO,EAAE,CAAC,OAAO,CAAC,oBAAoB,CACpC,EAAE,CAAC,OAAO,CAAC,8BAA8B,CACvC,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,QAAQ,CAAC,EACrC,MAAM,CACP,EACD,SAAS,EACT,IAAI,CACL,CAAC;AACJ,CAAC"}

package/dist/parseFile.d.ts

@@ -0,0 +1,34 @@
+import type ts from "typescript";
+import type { SourceRange } from "./SourceRange.js";
+export interface ParsedFile {
+    sourceFile: ts.SourceFile;
+    scripts: ClientScript[];
+}
+export interface ClientScript {
+    sourceFile: ts.SourceFile;
+    sourceNode: ts.TaggedTemplateExpression;
+    textWithPlaceholders: string;
+    fileWithPlaceholders: ts.SourceFile;
+    splices: {
+        [placeholder: string]: Splice;
+    };
+    toSourceRange: (node: ts.Node) => SourceRange;
+    toSourceOffset: (offset: number) => number;
+}
+export type Splice = BracedSplice | UnbracedSplice;
+export interface BracedSplice {
+    kind: "braced";
+    expression: ts.Expression;
+    key: string;
+    scripts: ClientScript[];
+    refs: ts.Identifier[];
+}
+export interface UnbracedSplice {
+    kind: "unbraced";
+    expression: ts.Identifier;
+    key: string;
+    scripts: [];
+    refs: ts.Identifier[];
+}
+export declare function parseSourceText(ts: typeof import("typescript"), filePath: string, sourceText: string): ParsedFile;
+export declare function parseSourceFile(ts: typeof import("typescript"), sourceFile: ts.SourceFile): ParsedFile;

package/dist/parseFile.js

@@ -0,0 +1,200 @@
+export function parseSourceText(ts, filePath, sourceText) {
+    const sourceFile = ts.createSourceFile(filePath, sourceText, ts.ScriptTarget.Latest, true);
+    return parseSourceFile(ts, sourceFile);
+}
+export function parseSourceFile(ts, sourceFile) {
+    const scripts = getDirectScripts(ts, null, sourceFile);
+    return { sourceFile, scripts };
+}
+function getDirectScripts(ts, parent, sourceFile) {
+    const node = parent ? parent.expression : sourceFile;
+    const taggedTemplates = [];
+    const visit = (current) => {
+        if (ts.isTaggedTemplateExpression(current) &&
+            ts.isIdentifier(current.tag) &&
+            current.tag.text === "cs") {
+            taggedTemplates.push(current);
+        }
+        else {
+            current.forEachChild(visit);
+        }
+    };
+    visit(node);
+    const scripts = [];
+    taggedTemplates.forEach((taggedTemplate) => {
+        const { textWithPlaceholders, mappings } = toTextWithPlaceholders(ts, taggedTemplate, sourceFile);
+        const fileWithPlaceholders = ts.createSourceFile(sourceFile.fileName, textWithPlaceholders, ts.ScriptTarget.Latest, true);
+        // The dictionary's insertion order is evaluation order: emitted as the
+        // script's `params` array literal, the splices' host expressions run
+        // first to last when the `cs` expression itself evaluates — left to
+        // right in source order, like a real template literal's spans.
+        const splices = getDirectSplices(ts, taggedTemplate, sourceFile, fileWithPlaceholders);
+        const toSourceRange = (node) => ({
+            start: toSourceOffset(mappings, node.getStart(fileWithPlaceholders)),
+            end: toSourceOffset(mappings, node.getEnd()),
+        });
+        scripts.push({
+            sourceFile,
+            sourceNode: taggedTemplate,
+            textWithPlaceholders,
+            fileWithPlaceholders,
+            toSourceRange,
+            toSourceOffset: (offset) => toSourceOffset(mappings, offset),
+            splices,
+        });
+    });
+    return scripts;
+}
+// A splice per first reference in the placeholder text, in source order, and
+// every reference to it: a `$0splice<n>` placeholder resolves to its template
+// span's braced splice, and any other `$x` identifier mints an unbraced
+// splice, deduplicated by spelling. Property, attribute and declaration names
+// are not references (a `$`-prefixed declaration is rejected at rewrite time),
+// and nested scripts are already placeholders in this text, so the walk scans
+// only the script's own body.
+function getDirectSplices(ts, taggedTemplate, sourceFile, fileWithPlaceholders) {
+    // No prototype: a script's `valueOf` or `constructor` is no splice.
+    const splices = Object.create(null);
+    const template = taggedTemplate.template;
+    const spans = ts.isTemplateExpression(template) ? template.templateSpans : [];
+    const visit = (node) => {
+        if (ts.isPropertyAccessExpression(node)) {
+            visit(node.expression); // the name is not a reference
+            return;
+        }
+        if (ts.isPropertyAssignment(node)) {
+            if (ts.isComputedPropertyName(node.name)) {
+                visit(node.name);
+            }
+            visit(node.initializer);
+            return;
+        }
+        if (ts.isVariableDeclaration(node) ||
+            ts.isParameter(node) ||
+            ts.isBindingElement(node)) {
+            if (node.initializer) {
+                visit(node.initializer);
+            }
+            return;
+        }
+        if (ts.isJsxAttribute(node)) {
+            if (node.initializer) {
+                visit(node.initializer); // the name is not a reference
+            }
+            return;
+        }
+        if (ts.isCatchClause(node)) {
+            visit(node.block); // the catch binding is not a reference
+            return;
+        }
+        if (ts.isIdentifier(node) && splices[node.text] != null) {
+            splices[node.text].refs.push(node);
+            return;
+        }
+        if (ts.isIdentifier(node) &&
+            node.text.startsWith("$") &&
+            node.text.length > 1) {
+            const key = node.text;
+            if (key.startsWith("$0splice")) {
+                // The numeric suffix indexes the template's spans. A `$0splice`
+                // spelling that resolves to no span (`$0spliceFoo`, an out-of-range
+                // index) is no splice at all — and no host binding either, since a
+                // name can't start with `$0`.
+                const index = Number(key.slice("$0splice".length));
+                const span = spans[index];
+                if (span != null) {
+                    const splice = {
+                        kind: "braced",
+                        expression: span.expression,
+                        key,
+                        scripts: [],
+                        refs: [node],
+                    };
+                    splices[key] = splice;
+                    splice.scripts = getDirectScripts(ts, splice, sourceFile);
+                }
+            }
+            else {
+                splices[key] = {
+                    kind: "unbraced",
+                    expression: ts.factory.createIdentifier(key.slice(1)),
+                    key,
+                    scripts: [],
+                    refs: [node],
+                };
+            }
+            return;
+        }
+        node.forEachChild(visit);
+    };
+    visit(fileWithPlaceholders);
+    return splices;
+}
+function toTextWithPlaceholders(ts, taggedTemplate, sourceFile) {
+    const sourceText = sourceFile.text;
+    const template = taggedTemplate.template;
+    const start = template.getStart(sourceFile) + 1; // past `
+    const end = template.getEnd() - 1; // before `
+    let textWithPlaceholders = "";
+    const mappings = [];
+    if (ts.isNoSubstitutionTemplateLiteral(template)) {
+        textWithPlaceholders = sourceText.slice(start, end);
+        mappings.push({
+            placeholderStart: 0,
+            length: textWithPlaceholders.length,
+            sourceStart: start,
+            verbatim: true,
+        });
+    }
+    else {
+        let chunkStart = start;
+        template.templateSpans.forEach((span, index) => {
+            const placeholder = `$0splice${index}`;
+            const dollarBrace = span.expression.getFullStart() - 2; // before ${
+            const chunk = sourceText.slice(chunkStart, dollarBrace);
+            mappings.push({
+                placeholderStart: textWithPlaceholders.length,
+                length: chunk.length,
+                sourceStart: chunkStart,
+                verbatim: true,
+            });
+            textWithPlaceholders += chunk;
+            mappings.push({
+                placeholderStart: textWithPlaceholders.length,
+                length: placeholder.length,
+                sourceStart: dollarBrace,
+                verbatim: false,
+            });
+            textWithPlaceholders += placeholder;
+            chunkStart = span.literal.getStart(sourceFile) + 1; // past }
+        });
+        const tail = sourceText.slice(chunkStart, end);
+        mappings.push({
+            placeholderStart: textWithPlaceholders.length,
+            length: tail.length,
+            sourceStart: chunkStart,
+            verbatim: true,
+        });
+        textWithPlaceholders += tail;
+    }
+    return { textWithPlaceholders, mappings };
+}
+function toSourceOffset(mappings, pos) {
+    for (const mapping of mappings) {
+        if (mapping.verbatim &&
+            pos >= mapping.placeholderStart &&
+            pos <= mapping.placeholderStart + mapping.length) {
+            return mapping.sourceStart + (pos - mapping.placeholderStart);
+        }
+    }
+    for (const mapping of mappings) {
+        if (!mapping.verbatim &&
+            pos >= mapping.placeholderStart &&
+            pos <= mapping.placeholderStart + mapping.length) {
+            return mapping.sourceStart;
+        }
+    }
+    const last = mappings[mappings.length - 1];
+    return last.sourceStart + last.length;
+}
+//# sourceMappingURL=parseFile.js.map

package/dist/parseFile.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"parseFile.js","sourceRoot":"","sources":["../src/parseFile.ts"],"names":[],"mappings":"AA0DA,MAAM,UAAU,eAAe,CAC7B,EAA+B,EAC/B,QAAgB,EAChB,UAAkB;IAElB,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,UAAU,EACV,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,CACL,CAAC;IACF,OAAO,eAAe,CAAC,EAAE,EAAE,UAAU,CAAC,CAAC;AACzC,CAAC;AAED,MAAM,UAAU,eAAe,CAC7B,EAA+B,EAC/B,UAAyB;IAEzB,MAAM,OAAO,GAAG,gBAAgB,CAAC,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,CAAC;IACvD,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACjC,CAAC;AAED,SAAS,gBAAgB,CACvB,EAA+B,EAC/B,MAAqB,EACrB,UAAyB;IAEzB,MAAM,IAAI,GAAY,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,UAAU,CAAC;IAC9D,MAAM,eAAe,GAAkC,EAAE,CAAC;IAE1D,MAAM,KAAK,GAAG,CAAC,OAAgB,EAAQ,EAAE;QACvC,IACE,EAAE,CAAC,0BAA0B,CAAC,OAAO,CAAC;YACtC,EAAE,CAAC,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC;YAC5B,OAAO,CAAC,GAAG,CAAC,IAAI,KAAK,IAAI,EACzB,CAAC;YACD,eAAe,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;aAAM,CAAC;YACN,OAAO,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC,CAAC;IACF,KAAK,CAAC,IAAI,CAAC,CAAC;IAEZ,MAAM,OAAO,GAAmB,EAAE,CAAC;IAEnC,eAAe,CAAC,OAAO,CAAC,CAAC,cAAc,EAAE,EAAE;QACzC,MAAM,EAAE,oBAAoB,EAAE,QAAQ,EAAE,GAAG,sBAAsB,CAC/D,EAAE,EACF,cAAc,EACd,UAAU,CACX,CAAC;QACF,MAAM,oBAAoB,GAAG,EAAE,CAAC,gBAAgB,CAC9C,UAAU,CAAC,QAAQ,EACnB,oBAAoB,EACpB,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,CACL,CAAC;QACF,uEAAuE;QACvE,qEAAqE;QACrE,oEAAoE;QACpE,+DAA+D;QAC/D,MAAM,OAAO,GAAG,gBAAgB,CAC9B,EAAE,EACF,cAAc,EACd,UAAU,EACV,oBAAoB,CACrB,CAAC;QACF,MAAM,aAAa,GAAG,CAAC,IAAa,EAAe,EAAE,CAAC,CAAC;YACrD,KAAK,EAAE,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,oBAAoB,CAAC,CAAC;YACpE,GAAG,EAAE,cAAc,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,EAAE,CAAC;SAC7C,CAAC,CAAC;QACH,OAAO,CAAC,IAAI,CAAC;YACX,UAAU;YACV,UAAU,EAAE,cAAc;YAC1B,oBAAoB;YACpB,oBAAoB;YACpB,aAAa;YACb,cAAc,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,cAAc,CAAC,QAAQ,EAAE,MAAM,CAAC;YAC5D,OAAO;SACR,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,OAAO,OAAO,CAAC;AACjB,CAAC;AAED,6EAA6E;AAC7E,8EAA8E;AAC9E,wEAAwE;AACxE,8EAA8E;AAC9E,+EAA+E;AAC/E,8EAA8E;AAC9E,8BAA8B;AAC9B,SAAS,gBAAgB,CACvB,EAA+B,EAC/B,cAA2C,EAC3C,UAAyB,EACzB,oBAAmC;IAEnC,oEAAoE;IACpE,MAAM,OAAO,GAAsC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IAEvE,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC;IACzC,MAAM,KAAK,GAAG,EAAE,CAAC,oBAAoB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC;IAE9E,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACxC,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,8BAA8B;YACtD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClC,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACnB,CAAC;YACD,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YACxB,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC;YACpB,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EACzB,CAAC;YACD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC;YAC1B,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;gBACrB,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC,8BAA8B;YACzD,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,uCAAuC;YAC1D,OAAO;QACT,CAAC;QACD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,EAAE,CAAC;YACxD,OAAO,CAAC,IAAI,CAAC,IAAI,CAAE,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;YACpC,OAAO;QACT,CAAC;QACD,IACE,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC;YACrB,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC;YACzB,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,EACpB,CAAC;YACD,MAAM,GAAG,GAAG,IAAI,CAAC,IAAI,CAAC;YACtB,IAAI,GAAG,CAAC,UAAU,CAAC,UAAU,CAAC,EAAE,CAAC;gBAC/B,gEAAgE;gBAChE,oEAAoE;gBACpE,mEAAmE;gBACnE,8BAA8B;gBAC9B,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC;gBACnD,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC1B,IAAI,IAAI,IAAI,IAAI,EAAE,CAAC;oBACjB,MAAM,MAAM,GAAiB;wBAC3B,IAAI,EAAE,QAAQ;wBACd,UAAU,EAAE,IAAI,CAAC,UAAU;wBAC3B,GAAG;wBACH,OAAO,EAAE,EAAE;wBACX,IAAI,EAAE,CAAC,IAAI,CAAC;qBACb,CAAC;oBACF,OAAO,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC;oBACtB,MAAM,CAAC,OAAO,GAAG,gBAAgB,CAAC,EAAE,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;gBAC5D,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,OAAO,CAAC,GAAG,CAAC,GAAG;oBACb,IAAI,EAAE,UAAU;oBAChB,UAAU,EAAE,EAAE,CAAC,OAAO,CAAC,gBAAgB,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;oBACrD,GAAG;oBACH,OAAO,EAAE,EAAE;oBACX,IAAI,EAAE,CAAC,IAAI,CAAC;iBACb,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,IAAI,CAAC,YAAY,CAAC,KAAK,CAAC,CAAC;IAC3B,CAAC,CAAC;IACF,KAAK,CAAC,oBAAoB,CAAC,CAAC;IAE5B,OAAO,OAAO,CAAC;AACjB,CAAC;AASD,SAAS,sBAAsB,CAC7B,EAA+B,EAC/B,cAA2C,EAC3C,UAAyB;IAKzB,MAAM,UAAU,GAAG,UAAU,CAAC,IAAI,CAAC;IACnC,MAAM,QAAQ,GAAG,cAAc,CAAC,QAAQ,CAAC;IAEzC,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;IAC1D,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC,CAAC,WAAW;IAE9C,IAAI,oBAAoB,GAAG,EAAE,CAAC;IAC9B,MAAM,QAAQ,GAAoB,EAAE,CAAC;IAErC,IAAI,EAAE,CAAC,+BAA+B,CAAC,QAAQ,CAAC,EAAE,CAAC;QACjD,oBAAoB,GAAG,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QACpD,QAAQ,CAAC,IAAI,CAAC;YACZ,gBAAgB,EAAE,CAAC;YACnB,MAAM,EAAE,oBAAoB,CAAC,MAAM;YACnC,WAAW,EAAE,KAAK;YAClB,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;IACL,CAAC;SAAM,CAAC;QACN,IAAI,UAAU,GAAG,KAAK,CAAC;QAEvB,QAAQ,CAAC,aAAa,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE;YAC7C,MAAM,WAAW,GAAG,WAAW,KAAK,EAAE,CAAC;YACvC,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC,YAAY;YACpE,MAAM,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC;YACxD,QAAQ,CAAC,IAAI,CAAC;gBACZ,gBAAgB,EAAE,oBAAoB,CAAC,MAAM;gBAC7C,MAAM,EAAE,KAAK,CAAC,MAAM;gBACpB,WAAW,EAAE,UAAU;gBACvB,QAAQ,EAAE,IAAI;aACf,CAAC,CAAC;YACH,oBAAoB,IAAI,KAAK,CAAC;YAC9B,QAAQ,CAAC,IAAI,CAAC;gBACZ,gBAAgB,EAAE,oBAAoB,CAAC,MAAM;gBAC7C,MAAM,EAAE,WAAW,CAAC,MAAM;gBAC1B,WAAW,EAAE,WAAW;gBACxB,QAAQ,EAAE,KAAK;aAChB,CAAC,CAAC;YACH,oBAAoB,IAAI,WAAW,CAAC;YACpC,UAAU,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS;QAC/D,CAAC,CAAC,CAAC;QAEH,MAAM,IAAI,GAAG,UAAU,CAAC,KAAK,CAAC,UAAU,EAAE,GAAG,CAAC,CAAC;QAC/C,QAAQ,CAAC,IAAI,CAAC;YACZ,gBAAgB,EAAE,oBAAoB,CAAC,MAAM;YAC7C,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,WAAW,EAAE,UAAU;YACvB,QAAQ,EAAE,IAAI;SACf,CAAC,CAAC;QACH,oBAAoB,IAAI,IAAI,CAAC;IAC/B,CAAC;IAED,OAAO,EAAE,oBAAoB,EAAE,QAAQ,EAAE,CAAC;AAC5C,CAAC;AAED,SAAS,cAAc,CAAC,QAAyB,EAAE,GAAW;IAC5D,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IACE,OAAO,CAAC,QAAQ;YAChB,GAAG,IAAI,OAAO,CAAC,gBAAgB;YAC/B,GAAG,IAAI,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,MAAM,EAChD,CAAC;YACD,OAAO,OAAO,CAAC,WAAW,GAAG,CAAC,GAAG,GAAG,OAAO,CAAC,gBAAgB,CAAC,CAAC;QAChE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC/B,IACE,CAAC,OAAO,CAAC,QAAQ;YACjB,GAAG,IAAI,OAAO,CAAC,gBAAgB;YAC/B,GAAG,IAAI,OAAO,CAAC,gBAAgB,GAAG,OAAO,CAAC,MAAM,EAChD,CAAC;YACD,OAAO,OAAO,CAAC,WAAW,CAAC;QAC7B,CAAC;IACH,CAAC;IACD,MAAM,IAAI,GAAG,QAAQ,CAAC,QAAQ,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC;IAC3C,OAAO,IAAI,CAAC,WAAW,GAAG,IAAI,CAAC,MAAM,CAAC;AACxC,CAAC"}

package/dist/printVirtualCode.d.ts

@@ -0,0 +1,9 @@
+import { type SourceMapping } from "./buildMappings.js";
+import type { ParsedFile } from "./parseFile.js";
+import type { RewrittenFile } from "./rewriteFile.js";
+interface VirtualizedFile {
+    virtualCode: string;
+    mappings: SourceMapping[];
+}
+export declare function printVirtualCode(ts: typeof import("typescript"), parsedFile: ParsedFile, rewrittenFile: RewrittenFile): VirtualizedFile;
+export {};

package/dist/printVirtualCode.js

@@ -0,0 +1,52 @@
+import { buildMappings } from "./buildMappings.js";
+import { segmentsToString } from "./segmentsToString.js";
+import { virtualScript } from "./virtualScript.js";
+export function printVirtualCode(ts, parsedFile, rewrittenFile) {
+    const { sourceFile } = parsedFile;
+    const segments = [];
+    let cursor = 0;
+    for (const script of parsedFile.scripts) {
+        const start = script.sourceNode.getStart(sourceFile);
+        segments.push(...renderVerbatim(sourceFile.text, cursor, start - cursor));
+        segments.push(...renderScript(ts, sourceFile, rewrittenFile, script));
+        cursor = script.sourceNode.getEnd();
+    }
+    segments.push(...renderVerbatim(sourceFile.text, cursor, sourceFile.text.length - cursor));
+    return {
+        virtualCode: segmentsToString(segments),
+        mappings: buildMappings(segments),
+    };
+}
+function renderScript(ts, sourceFile, rewrittenFile, script) {
+    const rewritten = rewrittenFile.scripts.get(script.sourceNode);
+    if (rewritten === undefined) {
+        return [];
+    }
+    // Left as written, its errors already said: `never` fits wherever it
+    // stands, so nothing else is reported for it.
+    if (rewritten.leftAsWritten) {
+        return ["cs.lift(undefined as never)"];
+    }
+    return virtualScript(ts, script, rewrittenFile.bindings, rewritten.awaits, (splice) => renderSplice(ts, sourceFile, rewrittenFile, splice));
+}
+function renderSplice(ts, sourceFile, rewrittenFile, splice) {
+    const segments = [];
+    const expression = splice.expression;
+    const end = expression.getEnd();
+    let cursor = expression.getStart(sourceFile);
+    for (const nested of splice.scripts) {
+        const start = nested.sourceNode.getStart(sourceFile);
+        segments.push(...renderVerbatim(sourceFile.text, cursor, start - cursor));
+        segments.push(...renderScript(ts, sourceFile, rewrittenFile, nested));
+        cursor = nested.sourceNode.getEnd();
+    }
+    segments.push(...renderVerbatim(sourceFile.text, cursor, end - cursor));
+    return segments;
+}
+function renderVerbatim(sourceText, start, length) {
+    if (length <= 0) {
+        return [];
+    }
+    return [[sourceText.slice(start, start + length), undefined, start, length]];
+}
+//# sourceMappingURL=printVirtualCode.js.map

package/dist/printVirtualCode.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"printVirtualCode.js","sourceRoot":"","sources":["../src/printVirtualCode.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,aAAa,EAAsB,MAAM,oBAAoB,CAAC;AAGvE,OAAO,EAAgB,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AACvE,OAAO,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AAOnD,MAAM,UAAU,gBAAgB,CAC9B,EAA+B,EAC/B,UAAsB,EACtB,aAA4B;IAE5B,MAAM,EAAE,UAAU,EAAE,GAAG,UAAU,CAAC;IAClC,MAAM,QAAQ,GAAc,EAAE,CAAC;IAE/B,IAAI,MAAM,GAAG,CAAC,CAAC;IACf,KAAK,MAAM,MAAM,IAAI,UAAU,CAAC,OAAO,EAAE,CAAC;QACxC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;QACtE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;IACtC,CAAC;IACD,QAAQ,CAAC,IAAI,CACX,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,CAAC,IAAI,CAAC,MAAM,GAAG,MAAM,CAAC,CAC5E,CAAC;IAEF,OAAO;QACL,WAAW,EAAE,gBAAgB,CAAC,QAAQ,CAAC;QACvC,QAAQ,EAAE,aAAa,CAAC,QAAQ,CAAC;KAClC,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,EAA+B,EAC/B,UAAyB,EACzB,aAA4B,EAC5B,MAAoB;IAEpB,MAAM,SAAS,GAAG,aAAa,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC;IAC/D,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;QAC5B,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,qEAAqE;IACrE,8CAA8C;IAC9C,IAAI,SAAS,CAAC,aAAa,EAAE,CAAC;QAC5B,OAAO,CAAC,6BAA6B,CAAC,CAAC;IACzC,CAAC;IACD,OAAO,aAAa,CAClB,EAAE,EACF,MAAM,EACN,aAAa,CAAC,QAAQ,EACtB,SAAS,CAAC,MAAM,EAChB,CAAC,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAChE,CAAC;AACJ,CAAC;AAED,SAAS,YAAY,CACnB,EAA+B,EAC/B,UAAyB,EACzB,aAA4B,EAC5B,MAAc;IAEd,MAAM,QAAQ,GAAc,EAAE,CAAC;IAC/B,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC;IACrC,MAAM,GAAG,GAAG,UAAU,CAAC,MAAM,EAAE,CAAC;IAEhC,IAAI,MAAM,GAAG,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,KAAK,GAAG,MAAM,CAAC,UAAU,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;QACrD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC;QAC1E,QAAQ,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,EAAE,EAAE,UAAU,EAAE,aAAa,EAAE,MAAM,CAAC,CAAC,CAAC;QACtE,MAAM,GAAG,MAAM,CAAC,UAAU,CAAC,MAAM,EAAE,CAAC;IACtC,CAAC;IACD,QAAQ,CAAC,IAAI,CAAC,GAAG,cAAc,CAAC,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC;IAExE,OAAO,QAAQ,CAAC;AAClB,CAAC;AAED,SAAS,cAAc,CACrB,UAAkB,EAClB,KAAa,EACb,MAAc;IAEd,IAAI,MAAM,IAAI,CAAC,EAAE,CAAC;QAChB,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,OAAO,CAAC,CAAC,UAAU,CAAC,KAAK,CAAC,KAAK,EAAE,KAAK,GAAG,MAAM,CAAC,EAAE,SAAS,EAAE,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAC/E,CAAC"}

package/dist/resolveBindings.d.ts

@@ -0,0 +1,76 @@
+import type ts from "typescript";
+import type { ClientScript } from "./parseFile.js";
+/**
+ * Every client script in a file, its scopes resolved by TypeScript's checker,
+ * so any syntax TypeScript reads is resolved as the language does. It produces
+ * two things:
+ *
+ *  - `bindings`: every *bound* variable identifier — a declaration, an arrow
+ *    parameter, or a reference that resolves to one of those — mapped to a
+ *    stable, globally unique binding key: what a capture is threaded by, and
+ *    what the virtual code renames a script's own bindings from.
+ *
+ *  - `params`: for each script, its parameters in order (see `ResolvedParam`):
+ *
+ *    - each splice it reads, a tag's (`<$Card>`) among them, with where it
+ *      reads it and `bindings`: the script's own bindings a fragment landing
+ *      at that hole can reach, what the hole must hand whatever arrives.
+ *      Unlike counting what actually reached a hole in one bundle, it is a
+ *      fact about the script alone.
+ *    - each capture: a free variable it references but does not itself
+ *      declare, which it must capture from the enclosing scope, as a binding
+ *      key. Captures are ordered by first use, which falls out of the
+ *      source-order walk. A name bound by no script at all is not a capture:
+ *      the rewrite reads it as a global or reports it as unresolvable.
+ *
+ *    Two filters, and both matter. Declared *above* the hole, not merely in
+ *    scope: a hoisted declaration is in scope before the source reaches it,
+ *    and handing it over would name a binding inside its own initializer. And
+ *    captured by something, somewhere: a binding no fragment ever wants is
+ *    dead weight in every thunk written for that hole.
+ *
+ * Scripts are checked as one text: each written `(() => …)`, a nested script
+ * where its placeholder stands, as it lands at runtime. A reference is free
+ * for the script it appears in exactly when the binding it resolves to was
+ * declared in an *enclosing* script (or in none at all).
+ *
+ * Uniqueness of keys has two axes. A per-file counter distinguishes bindings
+ * *within* a file; a hash of the file's text (see `hashText`) distinguishes
+ * bindings *across* files — necessary because the compiler runs one file at a
+ * time and so cannot hand out globally coordinated numbers. Together
+ * `<name>$<fileHash>$<n>` is
+ * unique across the whole program, so fragments composed from different scripts
+ * (even different files) never collide, and the serializer never has to rename a
+ * capture to dodge a same-named binding it threads through.
+ *
+ * Resolution spans scripts: a reference in a nested script
+ * (`cs`{ const x = 0; return ${cs`x`}; }``) resolves to the enclosing binding
+ * and so shares its key, keeping independently rewritten scripts consistent. A
+ * splice placeholder is not a variable — it evaluates host code in the enclosing
+ * scope — so it is never captured, though the pass descends into any scripts
+ * nested inside it so their references resolve against this scope chain.
+ */
+export type BindingResolution = Map<ts.Identifier, string>;
+export interface ResolvedScopes {
+    bindings: BindingResolution;
+    params: Map<ClientScript, ResolvedParam[]>;
+}
+/**
+ * One of a script's parameters as the compiler knows it: `ClientScript`'s `Param`,
+ * with the splice's key and where it is read in place of its host value.
+ * `refs` are a hole's placeholder, or an unbraced `$name`, a tag's name among
+ * them.
+ */
+export type ResolvedParam = ResolvedSplice | ResolvedCapture;
+interface ResolvedSplice {
+    kind: "splice";
+    key: string;
+    bindings: string[];
+    refs: ts.Identifier[];
+}
+interface ResolvedCapture {
+    kind: "capture";
+    key: string;
+}
+export declare function resolveBindings(ts: typeof import("typescript"), scripts: ClientScript[], fileHash: string): ResolvedScopes;
+export {};