@adobe/ecs 0.0.0-stage → 0.2.0

package/dist/implementation/compiler/module-scope.js

@@ -0,0 +1,121 @@
+import { patternNames } from './estree.js';
+/** The binding an `export default <expression>` declares. Not a valid identifier, so it can't be shadowed. */
+const defaultBinding = "*default*";
+const nameOf = (node) => node.type === "Identifier" ? node.name : typeof node.value === "string" ? node.value : undefined;
+const declare = (scope, statement) => {
+    switch (statement.type) {
+        case "ImportDeclaration": {
+            const specifier = statement.source.value;
+            if (typeof specifier !== "string")
+                return;
+            for (const item of statement.specifiers) {
+                if (item.type === "ImportNamespaceSpecifier")
+                    scope.set(item.local.name, { kind: "importNamespace", specifier });
+                else
+                    scope.set(item.local.name, { kind: "import", specifier, imported: item.type === "ImportDefaultSpecifier" ? "default" : nameOf(item.imported) ?? "" });
+            }
+            return;
+        }
+        case "ExportNamedDeclaration":
+            if (statement.declaration)
+                declare(scope, statement.declaration);
+            return;
+        case "ExportDefaultDeclaration": {
+            const declaration = statement.declaration;
+            if (declaration.type === "FunctionDeclaration")
+                scope.set(declaration.id?.name ?? defaultBinding, { kind: "function", node: declaration });
+            else if (declaration.type === "ClassDeclaration")
+                scope.set(declaration.id?.name ?? defaultBinding, { kind: "other" });
+            else
+                scope.set(defaultBinding, { kind: "const", init: declaration });
+            return;
+        }
+        case "VariableDeclaration":
+            for (const declarator of statement.declarations) {
+                if (statement.kind === "const" && declarator.id.type === "Identifier" && declarator.init) {
+                    scope.set(declarator.id.name, { kind: "const", init: declarator.init });
+                }
+                else {
+                    for (const name of patternNames(declarator.id))
+                        scope.set(name, { kind: "other" });
+                }
+            }
+            return;
+        case "FunctionDeclaration":
+            if (statement.id)
+                scope.set(statement.id.name, { kind: "function", node: statement });
+            return;
+        case "ClassDeclaration":
+            if (statement.id)
+                scope.set(statement.id.name, { kind: "other" });
+            return;
+        default:
+            return;
+    }
+};
+/** Collects the bindings declared at the top level of `program`. */
+export const moduleScope = (program) => {
+    const scope = new Map();
+    for (const statement of program.body)
+        declare(scope, statement);
+    return scope;
+};
+const exportsOf = (program) => {
+    const exports = new Map();
+    const stars = [];
+    for (const statement of program.body) {
+        if (statement.type === "ExportAllDeclaration" && typeof statement.source.value === "string") {
+            const exported = statement.exported === null || statement.exported === undefined ? undefined : nameOf(statement.exported);
+            if (exported === undefined)
+                stars.push(statement.source.value);
+            else
+                exports.set(exported, { kind: "namespace", specifier: statement.source.value });
+        }
+        else if (statement.type === "ExportDefaultDeclaration") {
+            const declaration = statement.declaration;
+            const named = declaration.type === "FunctionDeclaration" || declaration.type === "ClassDeclaration" ? declaration.id?.name
+                : declaration.type === "Identifier" ? declaration.name : undefined;
+            exports.set("default", { kind: "local", local: named ?? defaultBinding });
+        }
+        else if (statement.type === "ExportNamedDeclaration") {
+            const declaration = statement.declaration;
+            if (declaration?.type === "VariableDeclaration") {
+                for (const declarator of declaration.declarations) {
+                    for (const name of patternNames(declarator.id))
+                        exports.set(name, { kind: "local", local: name });
+                }
+            }
+            else if (declaration?.type === "FunctionDeclaration" && declaration.id)
+                exports.set(declaration.id.name, { kind: "local", local: declaration.id.name });
+            const source = statement.source?.value;
+            for (const specifier of statement.specifiers) {
+                const exported = nameOf(specifier.exported);
+                const local = nameOf(specifier.local);
+                if (exported === undefined || local === undefined)
+                    continue;
+                exports.set(exported, typeof source === "string" ? { kind: "reexport", specifier: source, imported: local } : { kind: "local", local });
+            }
+        }
+    }
+    return { exports, stars };
+};
+/** Lines and columns by counting newlines in `code`. */
+export const locateIn = (code) => {
+    const starts = [0];
+    for (let index = code.indexOf("\n"); index >= 0; index = code.indexOf("\n", index + 1))
+        starts.push(index + 1);
+    return offset => {
+        let low = 0;
+        let high = starts.length - 1;
+        while (low < high) {
+            const middle = (low + high + 1) >> 1;
+            if (starts[middle] <= offset)
+                low = middle;
+            else
+                high = middle - 1;
+        }
+        return { line: low + 1, column: offset - starts[low] + 1 };
+    };
+};
+export const createModule = (file, program, locate) => ({ file, bindings: moduleScope(program), ...exportsOf(program), locate });
+//# sourceMappingURL=module-scope.js.map

package/dist/implementation/compiler/module-scope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-scope.js","sourceRoot":"","sources":["../../../src/implementation/compiler/module-scope.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,YAAY,EAAE,MAAM,aAAa,CAAC;AAgC3C,8GAA8G;AAC9G,MAAM,cAAc,GAAG,WAAW,CAAC;AAEnC,MAAM,MAAM,GAAG,CAAC,IAAiF,EAAsB,EAAE,CACrH,IAAI,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAC;AAErG,MAAM,OAAO,GAAG,CAAC,KAAiC,EAAE,SAAoD,EAAQ,EAAE;IAC9G,QAAQ,SAAS,CAAC,IAAI,EAAE,CAAC;QACrB,KAAK,mBAAmB,CAAC,CAAC,CAAC;YACvB,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC;YACzC,IAAI,OAAO,SAAS,KAAK,QAAQ;gBAAE,OAAO;YAC1C,KAAK,MAAM,IAAI,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBACtC,IAAI,IAAI,CAAC,IAAI,KAAK,0BAA0B;oBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,SAAS,EAAE,CAAC,CAAC;;oBAC5G,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,CAAC,IAAI,KAAK,wBAAwB,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;YAC/J,CAAC;YACD,OAAO;QACX,CAAC;QACD,KAAK,wBAAwB;YACzB,IAAI,SAAS,CAAC,WAAW;gBAAE,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,WAAW,CAAC,CAAC;YACjE,OAAO;QACX,KAAK,0BAA0B,CAAC,CAAC,CAAC;YAC9B,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;YAC1C,IAAI,WAAW,CAAC,IAAI,KAAK,qBAAqB;gBAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,IAAI,cAAc,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;iBACtI,IAAI,WAAW,CAAC,IAAI,KAAK,kBAAkB;gBAAE,KAAK,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI,IAAI,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;;gBAClH,KAAK,CAAC,GAAG,CAAC,cAAc,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC,CAAC;YACrE,OAAO;QACX,CAAC;QACD,KAAK,qBAAqB;YACtB,KAAK,MAAM,UAAU,IAAI,SAAS,CAAC,YAAY,EAAE,CAAC;gBAC9C,IAAI,SAAS,CAAC,IAAI,KAAK,OAAO,IAAI,UAAU,CAAC,EAAE,CAAC,IAAI,KAAK,YAAY,IAAI,UAAU,CAAC,IAAI,EAAE,CAAC;oBACvF,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;gBAC5E,CAAC;qBAAM,CAAC;oBACJ,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;wBAAE,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;gBACvF,CAAC;YACL,CAAC;YACD,OAAO;QACX,KAAK,qBAAqB;YACtB,IAAI,SAAS,CAAC,EAAE;gBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC,CAAC;YACtF,OAAO;QACX,KAAK,kBAAkB;YACnB,IAAI,SAAS,CAAC,EAAE;gBAAE,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;YAClE,OAAO;QACX;YACI,OAAO;IACf,CAAC;AACL,CAAC,CAAC;AAEF,oEAAoE;AACpE,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,OAAgB,EAAe,EAAE;IACzD,MAAM,KAAK,GAAG,IAAI,GAAG,EAAyB,CAAC;IAC/C,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,IAAI;QAAE,OAAO,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC;IAChE,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,OAAgB,EAAuE,EAAE;IACxG,MAAM,OAAO,GAAG,IAAI,GAAG,EAAkB,CAAC;IAC1C,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,KAAK,MAAM,SAAS,IAAI,OAAO,CAAC,IAAI,EAAE,CAAC;QACnC,IAAI,SAAS,CAAC,IAAI,KAAK,sBAAsB,IAAI,OAAO,SAAS,CAAC,MAAM,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC1F,MAAM,QAAQ,GAAG,SAAS,CAAC,QAAQ,KAAK,IAAI,IAAI,SAAS,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;YAC1H,IAAI,QAAQ,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;;gBAC1D,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,EAAE,IAAI,EAAE,WAAW,EAAE,SAAS,EAAE,SAAS,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC;QACzF,CAAC;aACI,IAAI,SAAS,CAAC,IAAI,KAAK,0BAA0B,EAAE,CAAC;YACrD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;YAC1C,MAAM,KAAK,GAAG,WAAW,CAAC,IAAI,KAAK,qBAAqB,IAAI,WAAW,CAAC,IAAI,KAAK,kBAAkB,CAAC,CAAC,CAAC,WAAW,CAAC,EAAE,EAAE,IAAI;gBACtH,CAAC,CAAC,WAAW,CAAC,IAAI,KAAK,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;YACvE,OAAO,CAAC,GAAG,CAAC,SAAS,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,IAAI,cAAc,EAAE,CAAC,CAAC;QAC9E,CAAC;aACI,IAAI,SAAS,CAAC,IAAI,KAAK,wBAAwB,EAAE,CAAC;YACnD,MAAM,WAAW,GAAG,SAAS,CAAC,WAAW,CAAC;YAC1C,IAAI,WAAW,EAAE,IAAI,KAAK,qBAAqB,EAAE,CAAC;gBAC9C,KAAK,MAAM,UAAU,IAAI,WAAW,CAAC,YAAY,EAAE,CAAC;oBAChD,KAAK,MAAM,IAAI,IAAI,YAAY,CAAC,UAAU,CAAC,EAAE,CAAC;wBAAE,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;gBACtG,CAAC;YACL,CAAC;iBACI,IAAI,WAAW,EAAE,IAAI,KAAK,qBAAqB,IAAI,WAAW,CAAC,EAAE;gBAAE,OAAO,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,WAAW,CAAC,EAAE,CAAC,IAAI,EAAE,CAAC,CAAC;YACxJ,MAAM,MAAM,GAAG,SAAS,CAAC,MAAM,EAAE,KAAK,CAAC;YACvC,KAAK,MAAM,SAAS,IAAI,SAAS,CAAC,UAAU,EAAE,CAAC;gBAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,CAAC;gBAC5C,MAAM,KAAK,GAAG,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC;gBACtC,IAAI,QAAQ,KAAK,SAAS,IAAI,KAAK,KAAK,SAAS;oBAAE,SAAS;gBAC5D,OAAO,CAAC,GAAG,CAAC,QAAQ,EAAE,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,SAAS,EAAE,MAAM,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAC;YAC5I,CAAC;QACL,CAAC;IACL,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC;AAC9B,CAAC,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,IAAY,EAAoB,EAAE;IACvD,MAAM,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACnB,KAAK,IAAI,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,KAAK,IAAI,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,OAAO,CAAC,IAAI,EAAE,KAAK,GAAG,CAAC,CAAC;QAAE,MAAM,CAAC,IAAI,CAAC,KAAK,GAAG,CAAC,CAAC,CAAC;IAC/G,OAAO,MAAM,CAAC,EAAE;QACZ,IAAI,GAAG,GAAG,CAAC,CAAC;QACZ,IAAI,IAAI,GAAG,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC;QAC7B,OAAO,GAAG,GAAG,IAAI,EAAE,CAAC;YAChB,MAAM,MAAM,GAAG,CAAC,GAAG,GAAG,IAAI,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;YACrC,IAAI,MAAM,CAAC,MAAM,CAAC,IAAI,MAAM;gBAAE,GAAG,GAAG,MAAM,CAAC;;gBACtC,IAAI,GAAG,MAAM,GAAG,CAAC,CAAC;QAC3B,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,GAAG,GAAG,CAAC,EAAE,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;IAC/D,CAAC,CAAC;AACN,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,IAAY,EAAE,OAAgB,EAAE,MAAwB,EAAU,EAAE,CAC7F,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,WAAW,CAAC,OAAO,CAAC,EAAE,GAAG,SAAS,CAAC,OAAO,CAAC,EAAE,MAAM,EAAE,CAAC,CAAC"}

package/dist/implementation/compiler/module-value.d.ts

@@ -0,0 +1,15 @@
+import type { Node } from 'estree';
+import { type Frame } from './failure.js';
+import { type Resolved } from './link.js';
+import type { Module, ModuleBinding } from './module-scope.js';
+import type { Out } from './out.js';
+import { type Scope } from './scope.js';
+import type { Value } from './value.js';
+/** Whether `name` is one of the kernel's component or resource keys. */
+export declare const isKey: (scope: Scope, name: string) => boolean;
+/** Records a failure at `position` in `module` as a frame of `name`. */
+export declare const frameIn: (module: Module, name: string) => (position: number) => Frame;
+/** A name the linker resolved. */
+export declare const resolvedValue: (node: Node, resolved: Resolved, scope: Scope, out: Out) => Value;
+/** A binding of `module`, followed through imports to the module that defines it. */
+export declare const moduleValue: (node: Node, name: string, binding: ModuleBinding, module: Module, scope: Scope, out: Out) => Value;

package/dist/implementation/compiler/module-value.js

@@ -0,0 +1,139 @@
+import { isValueType } from '../world/intrinsics.js';
+import { fail, within } from './failure.js';
+import { resolveBinding } from './link.js';
+import { rootScope } from './scope.js';
+/** Whether `name` is one of the kernel's component or resource keys. */
+export const isKey = (scope, name) => {
+    const signature = scope.unit.signature;
+    return signature.read.has(name) || signature.write.has(name) || signature.has.has(name) || signature.resources.includes(name)
+        || signature.lookups.some(lookup => lookup.read.includes(name));
+};
+/** Records a failure at `position` in `module` as a frame of `name`. */
+export const frameIn = (module, name) => (position) => ({ name, file: module.file, ...module.locate(position) });
+const displayName = (name) => name === "*default*" ? "default export" : name;
+/** An `intrinsic(declaration, implementation)` call's declaration, read from its literals. */
+const intrinsicDeclaration = (node) => {
+    if (node.type !== "ObjectExpression")
+        return fail(node, "an intrinsic is declared with an object literal");
+    let operation;
+    let form = "call";
+    let parameters = [];
+    let result;
+    const text = (value) => value.type === "Literal" && typeof value.value === "string" ? value.value : fail(value, "intrinsic fields are string literals");
+    const type = (value) => {
+        const name = text(value);
+        return isValueType(name) ? name : fail(value, `${name} isn't a WGSL type intrinsics take`);
+    };
+    for (const property of node.properties) {
+        if (property.type !== "Property" || property.computed || property.key.type !== "Identifier")
+            return fail(property, "intrinsic fields are named literals");
+        const value = property.value;
+        switch (property.key.name) {
+            case "wgsl":
+                operation = text(value);
+                break;
+            case "form": {
+                const name = text(value);
+                form = name === "infix" || name === "prefix" ? name : fail(value, "an intrinsic's form is infix or prefix");
+                break;
+            }
+            case "parameters":
+                parameters = value.type === "ArrayExpression" ? value.elements.map(element => element === null || element.type === "SpreadElement" ? fail(value, "intrinsic parameters are type names") : type(element)) : fail(value, "intrinsic parameters are an array literal");
+                break;
+            case "result":
+                result = type(value);
+                break;
+            default: return fail(property, `intrinsics have no field ${property.key.name}`);
+        }
+    }
+    if (operation === undefined || result === undefined)
+        return fail(node, "an intrinsic names its wgsl operation and result");
+    return { operation, form, parameters, result };
+};
+/** The implementation of `intrinsic(declaration, implementation)`, and its declaration; null for any other initializer. */
+const intrinsicDefinition = (init, module, scope) => {
+    const link = scope.unit.link;
+    if (init.type !== "CallExpression" || init.callee.type !== "Identifier" || link === null)
+        return null;
+    const binding = module.bindings.get(init.callee.name);
+    if (binding?.kind !== "import")
+        return null;
+    const resolved = resolveBinding(link, module, init.callee.name, binding);
+    if (resolved.kind !== "binding" || resolved.name !== "intrinsic" || !link.packages.isIntrinsicModule(resolved.module.file))
+        return null;
+    const [declaration, implementation] = init.arguments;
+    if (declaration === undefined || declaration.type === "SpreadElement" || implementation === undefined || implementation.type === "SpreadElement") {
+        return fail(init, "intrinsic takes a declaration and an implementation");
+    }
+    return { implementation, intrinsic: intrinsicDeclaration(declaration) };
+};
+/** Whether a value holds data rather than only functions and namespaces. */
+const holdsData = (value) => {
+    switch (value.kind) {
+        case "tuple": return value.items.some(holdsData);
+        case "struct": return value.fields.some(([, field]) => holdsData(field));
+        case "function":
+        case "namespace":
+        case "method": return false;
+        default: return true;
+    }
+};
+/** A definition in `module`: a function to inline, or a constant compiled in its own module. */
+const definition = (node, name, binding, module, scope, out) => {
+    const unit = scope.unit;
+    const identity = `${module.file}\0${name}`;
+    const display = displayName(name);
+    switch (binding.kind) {
+        case "function":
+            return { kind: "function", name: display, identity, params: binding.node.params, body: binding.node.body, module };
+        case "const": {
+            const declared = module === unit.module
+                ? intrinsicDefinition(binding.init, module, scope)
+                : within(node, frameIn(module, display), () => intrinsicDefinition(binding.init, module, scope));
+            const init = declared?.implementation ?? binding.init;
+            if (init.type === "ArrowFunctionExpression" || init.type === "FunctionExpression") {
+                if (init.async || init.generator)
+                    return fail(init, `${display} must be a plain function to be inlined`);
+                const intrinsic = declared === null ? {} : { intrinsic: declared.intrinsic };
+                return { kind: "function", name: display, identity, params: init.params, body: init.body, module, ...intrinsic };
+            }
+            if (unit.active.has(identity))
+                return fail(node, `${display} refers to itself`);
+            unit.active.add(identity);
+            const compile = () => unit.expression(init, rootScope(unit, true, module), out);
+            const value = module === unit.module ? compile() : within(node, frameIn(module, display), compile);
+            unit.active.delete(identity);
+            // An object or array holding data may be written after the build, whatever made it, and a kernel would have
+            // inlined it; a primitive const can't change, and the interface's own objects are fixed.
+            if (unit.tried && value.kind !== "scalar" && holdsData(value) && unit.packages?.packagePathOf(module.file)?.startsWith("interface/") !== true) {
+                return fail(node, `${display} holds values that may change, which a kernel would inline`);
+            }
+            return value;
+        }
+        case "import":
+        case "importNamespace":
+            return moduleValue(node, name, binding, module, scope, out);
+        case "other":
+            return fail(node, `${display} is not a module-scope const`);
+    }
+};
+/** A name the linker resolved. */
+export const resolvedValue = (node, resolved, scope, out) => {
+    switch (resolved.kind) {
+        case "error": return fail(node, resolved.error);
+        case "namespace": return { kind: "namespace", file: resolved.file };
+        case "binding": return definition(node, resolved.name, resolved.binding, resolved.module, scope, out);
+    }
+};
+/** A binding of `module`, followed through imports to the module that defines it. */
+export const moduleValue = (node, name, binding, module, scope, out) => {
+    const unit = scope.unit;
+    if (module === unit.module && isKey(scope, name))
+        return fail(node, `${name} is a key; use it to index, as in row[${name}]`);
+    if (binding.kind !== "import" && binding.kind !== "importNamespace")
+        return definition(node, name, binding, module, scope, out);
+    if (unit.link === null)
+        return fail(node, `${name} is imported, and this build doesn't link imports`);
+    return resolvedValue(node, resolveBinding(unit.link, module, name, binding), scope, out);
+};
+//# sourceMappingURL=module-value.js.map

package/dist/implementation/compiler/module-value.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"module-value.js","sourceRoot":"","sources":["../../../src/implementation/compiler/module-value.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,WAAW,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAc,MAAM,cAAc,CAAC;AACxD,OAAO,EAAE,cAAc,EAAiB,MAAM,WAAW,CAAC;AAG1D,OAAO,EAAE,SAAS,EAAc,MAAM,YAAY,CAAC;AAGnD,wEAAwE;AACxE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,KAAY,EAAE,IAAY,EAAW,EAAE;IACzD,MAAM,SAAS,GAAG,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC;IACvC,OAAO,SAAS,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,IAAI,SAAS,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAI,CAAC;WACtH,SAAS,CAAC,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC;AACxE,CAAC,CAAC;AAEF,wEAAwE;AACxE,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,MAAc,EAAE,IAAY,EAAE,EAAE,CAAC,CAAC,QAAgB,EAAS,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,GAAG,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC;AAEhJ,MAAM,WAAW,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,KAAK,WAAW,CAAC,CAAC,CAAC,gBAAgB,CAAC,CAAC,CAAC,IAAI,CAAC;AAG7F,8FAA8F;AAC9F,MAAM,oBAAoB,GAAG,CAAC,IAAsB,EAAqB,EAAE;IACvE,IAAI,IAAI,CAAC,IAAI,KAAK,kBAAkB;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,iDAAiD,CAAC,CAAC;IAC3G,IAAI,SAA6B,CAAC;IAClC,IAAI,IAAI,GAA8B,MAAM,CAAC;IAC7C,IAAI,UAAU,GAAwB,EAAE,CAAC;IACzC,IAAI,MAAqC,CAAC;IAC1C,MAAM,IAAI,GAAG,CAAC,KAAW,EAAU,EAAE,CAAC,KAAK,CAAC,IAAI,KAAK,SAAS,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,sCAAsC,CAAC,CAAC;IACtK,MAAM,IAAI,GAAG,CAAC,KAAW,EAAqB,EAAE;QAC5C,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;QACzB,OAAO,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,IAAI,oCAAoC,CAAC,CAAC;IAC/F,CAAC,CAAC;IACF,KAAK,MAAM,QAAQ,IAAI,IAAI,CAAC,UAAU,EAAE,CAAC;QACrC,IAAI,QAAQ,CAAC,IAAI,KAAK,UAAU,IAAI,QAAQ,CAAC,QAAQ,IAAI,QAAQ,CAAC,GAAG,CAAC,IAAI,KAAK,YAAY;YAAE,OAAO,IAAI,CAAC,QAAQ,EAAE,qCAAqC,CAAC,CAAC;QAC1J,MAAM,KAAK,GAAG,QAAQ,CAAC,KAAK,CAAC;QAC7B,QAAQ,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;YACxB,KAAK,MAAM;gBAAE,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAC,MAAM;YAC5C,KAAK,MAAM,CAAC,CAAC,CAAC;gBACV,MAAM,IAAI,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;gBACzB,IAAI,GAAG,IAAI,KAAK,OAAO,IAAI,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,wCAAwC,CAAC,CAAC;gBAC5G,MAAM;YACV,CAAC;YACD,KAAK,YAAY;gBACb,UAAU,GAAG,KAAK,CAAC,IAAI,KAAK,iBAAiB,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,CAAC,OAAO,KAAK,IAAI,IAAI,OAAO,CAAC,IAAI,KAAK,eAAe,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,qCAAqC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,EAAE,2CAA2C,CAAC,CAAC;gBACpQ,MAAM;YACV,KAAK,QAAQ;gBAAE,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC;gBAAC,MAAM;YAC3C,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,QAAQ,EAAE,4BAA4B,QAAQ,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC;QACpF,CAAC;IACL,CAAC;IACD,IAAI,SAAS,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,kDAAkD,CAAC,CAAC;IAC3H,OAAO,EAAE,SAAS,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,EAAE,CAAC;AACnD,CAAC,CAAC;AAEF,2HAA2H;AAC3H,MAAM,mBAAmB,GAAG,CAAC,IAAsB,EAAE,MAAc,EAAE,KAAY,EAA+F,EAAE;IAC9K,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC;IAC7B,IAAI,IAAI,CAAC,IAAI,KAAK,gBAAgB,IAAI,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,YAAY,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC;IACtG,MAAM,OAAO,GAAG,MAAM,CAAC,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;IACtD,IAAI,OAAO,EAAE,IAAI,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC;IAC5C,MAAM,QAAQ,GAAG,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACzE,IAAI,QAAQ,CAAC,IAAI,KAAK,SAAS,IAAI,QAAQ,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,IAAI,CAAC,QAAQ,CAAC,iBAAiB,CAAC,QAAQ,CAAC,MAAM,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACxI,MAAM,CAAC,WAAW,EAAE,cAAc,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IACrD,IAAI,WAAW,KAAK,SAAS,IAAI,WAAW,CAAC,IAAI,KAAK,eAAe,IAAI,cAAc,KAAK,SAAS,IAAI,cAAc,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAC/I,OAAO,IAAI,CAAC,IAAI,EAAE,qDAAqD,CAAC,CAAC;IAC7E,CAAC;IACD,OAAO,EAAE,cAAc,EAAE,SAAS,EAAE,oBAAoB,CAAC,WAAW,CAAC,EAAE,CAAC;AAC5E,CAAC,CAAC;AAEF,4EAA4E;AAC5E,MAAM,SAAS,GAAG,CAAC,KAAY,EAAW,EAAE;IACxC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,OAAO,CAAC,CAAC,OAAO,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACjD,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC;QACzE,KAAK,UAAU,CAAC;QAAC,KAAK,WAAW,CAAC;QAAC,KAAK,QAAQ,CAAC,CAAC,OAAO,KAAK,CAAC;QAC/D,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC;IACzB,CAAC;AACL,CAAC,CAAC;AAEF,gGAAgG;AAChG,MAAM,UAAU,GAAG,CAAC,IAAU,EAAE,IAAY,EAAE,OAAsB,EAAE,MAAc,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IACnH,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,MAAM,QAAQ,GAAG,GAAG,MAAM,CAAC,IAAI,KAAK,IAAI,EAAE,CAAC;IAC3C,MAAM,OAAO,GAAG,WAAW,CAAC,IAAI,CAAC,CAAC;IAClC,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,UAAU;YACX,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,OAAO,CAAC,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,CAAC;QACvH,KAAK,OAAO,CAAC,CAAC,CAAC;YACX,MAAM,QAAQ,GAAG,MAAM,KAAK,IAAI,CAAC,MAAM;gBACnC,CAAC,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC;gBAClD,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;YACrG,MAAM,IAAI,GAAG,QAAQ,EAAE,cAAc,IAAI,OAAO,CAAC,IAAI,CAAC;YACtD,IAAI,IAAI,CAAC,IAAI,KAAK,yBAAyB,IAAI,IAAI,CAAC,IAAI,KAAK,oBAAoB,EAAE,CAAC;gBAChF,IAAI,IAAI,CAAC,KAAK,IAAI,IAAI,CAAC,SAAS;oBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,OAAO,yCAAyC,CAAC,CAAC;gBACzG,MAAM,SAAS,GAAG,QAAQ,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,QAAQ,CAAC,SAAS,EAAE,CAAC;gBAC7E,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,SAAS,EAAE,CAAC;YACrH,CAAC;YACD,IAAI,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC;gBAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,OAAO,mBAAmB,CAAC,CAAC;YAChF,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC;YAC1B,MAAM,OAAO,GAAG,GAAU,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,MAAM,CAAC,EAAE,GAAG,CAAC,CAAC;YACvF,MAAM,KAAK,GAAG,MAAM,KAAK,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,OAAO,CAAC,CAAC;YACnG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;YAC7B,4GAA4G;YAC5G,yFAAyF;YACzF,IAAI,IAAI,CAAC,KAAK,IAAI,KAAK,CAAC,IAAI,KAAK,QAAQ,IAAI,SAAS,CAAC,KAAK,CAAC,IAAI,IAAI,CAAC,QAAQ,EAAE,aAAa,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,UAAU,CAAC,YAAY,CAAC,KAAK,IAAI,EAAE,CAAC;gBAC5I,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,OAAO,4DAA4D,CAAC,CAAC;YAC9F,CAAC;YACD,OAAO,KAAK,CAAC;QACjB,CAAC;QACD,KAAK,QAAQ,CAAC;QAAC,KAAK,iBAAiB;YACjC,OAAO,WAAW,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;QAChE,KAAK,OAAO;YACR,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,OAAO,8BAA8B,CAAC,CAAC;IACpE,CAAC;AACL,CAAC,CAAC;AAEF,kCAAkC;AAClC,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,IAAU,EAAE,QAAkB,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IAC3F,QAAQ,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,OAAO,CAAC,CAAC,OAAO,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC;QAChD,KAAK,WAAW,CAAC,CAAC,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,CAAC;QACpE,KAAK,SAAS,CAAC,CAAC,OAAO,UAAU,CAAC,IAAI,EAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1G,CAAC;AACL,CAAC,CAAC;AAEF,qFAAqF;AACrF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAU,EAAE,IAAY,EAAE,OAAsB,EAAE,MAAc,EAAE,KAAY,EAAE,GAAQ,EAAS,EAAE;IAC3H,MAAM,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC;IACxB,IAAI,MAAM,KAAK,IAAI,CAAC,MAAM,IAAI,KAAK,CAAC,KAAK,EAAE,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,yCAAyC,IAAI,GAAG,CAAC,CAAC;IAC7H,IAAI,OAAO,CAAC,IAAI,KAAK,QAAQ,IAAI,OAAO,CAAC,IAAI,KAAK,iBAAiB;QAAE,OAAO,UAAU,CAAC,IAAI,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAChI,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;QAAE,OAAO,IAAI,CAAC,IAAI,EAAE,GAAG,IAAI,mDAAmD,CAAC,CAAC;IACtG,OAAO,aAAa,CAAC,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;AAC7F,CAAC,CAAC"}

package/dist/implementation/compiler/out.d.ts

@@ -0,0 +1,4 @@
+import type { Statement } from './ir.js';
+/** Emitted statements. A function is resolved last, so it can see what the rest of the body needed. */
+export type Out = (Statement | (() => readonly Statement[]))[];
+export declare const resolve: (out: Out) => readonly Statement[];

package/dist/implementation/compiler/out.js

@@ -0,0 +1,2 @@
+export const resolve = (out) => out.flatMap(item => typeof item === "function" ? item() : [item]);
+//# sourceMappingURL=out.js.map

package/dist/implementation/compiler/out.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"out.js","sourceRoot":"","sources":["../../../src/implementation/compiler/out.ts"],"names":[],"mappings":"AAMA,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,GAAQ,EAAwB,EAAE,CAAC,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,OAAO,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC"}

package/dist/implementation/compiler/oxc.d.ts

@@ -0,0 +1,41 @@
+import type { ParseModule, StripTypes } from './memory-compiler.js';
+/** An error oxc reports, by the fields read here. */
+type OxcError = {
+    readonly message: string;
+    readonly labels: readonly {
+        readonly start: number;
+    }[];
+};
+/** What oxc's parser binding gives: its parse, with the program as ESTree JSON, as its WASM build exports it too. */
+export type OxcParser = {
+    readonly parseSync: (filename: string, source: string, options: {
+        readonly lang: "js" | "ts" | "tsx";
+        readonly preserveParens: boolean;
+    }) => {
+        readonly program: unknown;
+        readonly errors: readonly OxcError[];
+    };
+};
+/** What oxc's transformer binding gives, by the fields read here. */
+export type OxcTransformer = {
+    readonly transformSync: (filename: string, source: string, options: {
+        readonly lang: "js" | "ts" | "tsx";
+        readonly sourcemap: boolean;
+    }) => {
+        readonly code: string;
+        readonly map?: {
+            readonly mappings: string;
+        };
+        readonly errors: readonly OxcError[];
+    };
+};
+/**
+ * The bundler's `parseAst`, over oxc's parser binding: the same parser, the same options and the same ESTree JSON it
+ * reads back, so a program is the one the plugin reads (`oxc.test.ts`).
+ */
+export declare const oxcParse: (parser: OxcParser) => ParseModule;
+/** The offset in a string, counted in UTF-16 code units as JavaScript counts them, of a UTF-8 byte offset in it. */
+export declare const utf16Offset: (code: string, bytes: number) => number;
+/** The bundler's `transformWithOxc` stripping types, over oxc's transformer binding: the same JavaScript (`oxc.test.ts`). */
+export declare const oxcStrip: (transformer: OxcTransformer) => StripTypes;
+export {};

package/dist/implementation/compiler/oxc.js

@@ -0,0 +1,80 @@
+/** Whether a value is a program as the parser gives one, by the fields every program has. */
+const isProgram = (value) => typeof value === "object" && value !== null && Reflect.get(value, "type") === "Program" && Array.isArray(Reflect.get(value, "body"));
+/** A literal's value JSON can't hold: a BigInt's, or a regular expression's, at a path the parser lists. */
+const fixLiteral = (program, path) => {
+    let node = program;
+    for (const key of path)
+        node = typeof node === "object" && node !== null ? Reflect.get(node, key) : undefined;
+    if (typeof node !== "object" || node === null)
+        return;
+    const bigint = Reflect.get(node, "bigint");
+    if (typeof bigint === "string") {
+        Reflect.set(node, "value", BigInt(bigint));
+        return;
+    }
+    const regex = Reflect.get(node, "regex");
+    if (typeof regex !== "object" || regex === null)
+        return;
+    try {
+        Reflect.set(node, "value", new RegExp(String(Reflect.get(regex, "pattern")), String(Reflect.get(regex, "flags"))));
+    }
+    catch {
+        // A pattern this engine can't compile keeps no value, as the bundler's parser leaves it.
+    }
+};
+/** A parse failure as the bundler's `parseAst` throws one: its errors' messages, at the first one's position. */
+const parseError = (errors) => {
+    const error = new Error(`Parse failed with ${errors.length} error${errors.length < 2 ? "" : "s"}:\n${errors.slice(0, 5).map(item => item.message).join("\n")}`);
+    const position = errors[0]?.labels[0]?.start;
+    if (position !== undefined)
+        Reflect.set(error, "pos", position);
+    return error;
+};
+/**
+ * The bundler's `parseAst`, over oxc's parser binding: the same parser, the same options and the same ESTree JSON it
+ * reads back, so a program is the one the plugin reads (`oxc.test.ts`).
+ */
+export const oxcParse = (parser) => (code, options, file) => {
+    // A result's fields move out of the binding when read, so each is read once.
+    const { errors, program: text } = parser.parseSync(file ?? "file.js", code, { lang: options.lang, preserveParens: false });
+    if (errors.length > 0)
+        throw parseError(errors);
+    // The binding's declarations type the program as a node, but it's the JSON its wrapper parses.
+    if (typeof text !== "string")
+        throw new Error(`the parser gave no program JSON for ${file ?? "file.js"}`);
+    const parsed = JSON.parse(text);
+    const program = typeof parsed === "object" && parsed !== null ? Reflect.get(parsed, "node") : undefined;
+    const fixes = typeof parsed === "object" && parsed !== null ? Reflect.get(parsed, "fixes") : undefined;
+    if (!isProgram(program))
+        throw new Error(`the parser gave no program for ${file ?? "file.js"}`);
+    if (Array.isArray(fixes))
+        for (const path of fixes)
+            if (Array.isArray(path))
+                fixLiteral(program, path);
+    return program;
+};
+/** The offset in a string, counted in UTF-16 code units as JavaScript counts them, of a UTF-8 byte offset in it. */
+export const utf16Offset = (code, bytes) => {
+    let counted = 0;
+    for (let index = 0; index < code.length; index++) {
+        if (counted >= bytes)
+            return index;
+        const point = code.codePointAt(index) ?? 0;
+        counted += point < 0x80 ? 1 : point < 0x800 ? 2 : point < 0x10000 ? 3 : 4;
+        // A code point beyond the basic plane takes two code units.
+        if (point >= 0x10000)
+            index++;
+    }
+    return code.length;
+};
+/** The bundler's `transformWithOxc` stripping types, over oxc's transformer binding: the same JavaScript (`oxc.test.ts`). */
+export const oxcStrip = (transformer) => (code, file, lang) => {
+    const { code: stripped, map, errors } = transformer.transformSync(file, code, { lang, sourcemap: true });
+    const [first] = errors;
+    // The transformer's labels count UTF-8 bytes, where the parser's count UTF-16 code units.
+    const start = first?.labels[0]?.start;
+    if (first !== undefined)
+        return { error: `Transform failed: ${first.message}`, position: start === undefined ? undefined : utf16Offset(code, start) };
+    return { code: stripped, mappings: map?.mappings ?? "" };
+};
+//# sourceMappingURL=oxc.js.map

package/dist/implementation/compiler/oxc.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"oxc.js","sourceRoot":"","sources":["../../../src/implementation/compiler/oxc.ts"],"names":[],"mappings":"AAmBA,6FAA6F;AAC7F,MAAM,SAAS,GAAG,CAAC,KAAc,EAAyB,EAAE,CACxD,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,KAAK,SAAS,IAAI,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC;AAEzI,4GAA4G;AAC5G,MAAM,UAAU,GAAG,CAAC,OAAqB,EAAE,IAAkC,EAAQ,EAAE;IACnF,IAAI,IAAI,GAAY,OAAO,CAAC;IAC5B,KAAK,MAAM,GAAG,IAAI,IAAI;QAAE,IAAI,GAAG,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAC9G,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI;QAAE,OAAO;IACtD,MAAM,MAAM,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,CAAC;IACpD,IAAI,OAAO,MAAM,KAAK,QAAQ,EAAE,CAAC;QAC7B,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC;QAC3C,OAAO;IACX,CAAC;IACD,MAAM,KAAK,GAAY,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IAClD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO;IACxD,IAAI,CAAC;QACD,OAAO,CAAC,GAAG,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC;IACvH,CAAC;IAAC,MAAM,CAAC;QACL,yFAAyF;IAC7F,CAAC;AACL,CAAC,CAAC;AAEF,iHAAiH;AACjH,MAAM,UAAU,GAAG,CAAC,MAA2B,EAAS,EAAE;IACtD,MAAM,KAAK,GAAG,IAAI,KAAK,CAAC,qBAAqB,MAAM,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,MAAM,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAChK,MAAM,QAAQ,GAAG,MAAM,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IAC7C,IAAI,QAAQ,KAAK,SAAS;QAAE,OAAO,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC;IAChE,OAAO,KAAK,CAAC;AACjB,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,MAAiB,EAAe,EAAE,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE;IAChF,6EAA6E;IAC7E,MAAM,EAAE,MAAM,EAAE,OAAO,EAAE,IAAI,EAAE,GAAG,MAAM,CAAC,SAAS,CAAC,IAAI,IAAI,SAAS,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,OAAO,CAAC,IAAI,EAAE,cAAc,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3H,IAAI,MAAM,CAAC,MAAM,GAAG,CAAC;QAAE,MAAM,UAAU,CAAC,MAAM,CAAC,CAAC;IAChD,+FAA+F;IAC/F,IAAI,OAAO,IAAI,KAAK,QAAQ;QAAE,MAAM,IAAI,KAAK,CAAC,uCAAuC,IAAI,IAAI,SAAS,EAAE,CAAC,CAAC;IAC1G,MAAM,MAAM,GAAY,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACzC,MAAM,OAAO,GAAY,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IACjH,MAAM,KAAK,GAAY,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;IAChH,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,kCAAkC,IAAI,IAAI,SAAS,EAAE,CAAC,CAAC;IAChG,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,KAAK,MAAM,IAAI,IAAI,KAAK;YAAE,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;gBAAE,UAAU,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IACvG,OAAO,OAAO,CAAC;AACnB,CAAC,CAAC;AAEF,oHAAoH;AACpH,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAE,KAAa,EAAU,EAAE;IAC/D,IAAI,OAAO,GAAG,CAAC,CAAC;IAChB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAC/C,IAAI,OAAO,IAAI,KAAK;YAAE,OAAO,KAAK,CAAC;QACnC,MAAM,KAAK,GAAG,IAAI,CAAC,WAAW,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QAC3C,OAAO,IAAI,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QAC1E,4DAA4D;QAC5D,IAAI,KAAK,IAAI,OAAO;YAAE,KAAK,EAAE,CAAC;IAClC,CAAC;IACD,OAAO,IAAI,CAAC,MAAM,CAAC;AACvB,CAAC,CAAC;AAEF,6HAA6H;AAC7H,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,WAA2B,EAAc,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE;IACtF,MAAM,EAAE,IAAI,EAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,WAAW,CAAC,aAAa,CAAC,IAAI,EAAE,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,IAAI,EAAE,CAAC,CAAC;IACzG,MAAM,CAAC,KAAK,CAAC,GAAG,MAAM,CAAC;IACvB,0FAA0F;IAC1F,MAAM,KAAK,GAAG,KAAK,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC;IACtC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,KAAK,EAAE,qBAAqB,KAAK,CAAC,OAAO,EAAE,EAAE,QAAQ,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,WAAW,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC;IACtJ,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,EAAE,GAAG,EAAE,QAAQ,IAAI,EAAE,EAAE,CAAC;AAC7D,CAAC,CAAC"}

package/dist/implementation/compiler/package-copies.d.ts

@@ -0,0 +1,60 @@
+/**
+ * The files of one copy of the package that compiled code imports. A copy is judged by the files an importer resolves
+ * into it, so emitted code always binds to the copy, and the registry, the importer itself uses.
+ */
+export type PackageCopy = {
+    /** The runtime hook kernels attach through. */
+    readonly attachKernel: string;
+    /** The runtime hook for spawns and adds whose values pass positionally. */
+    readonly preparedSpawn: string;
+    /** The runtime hook for index lookups whose keys pass positionally. */
+    readonly preparedLookup: string;
+    /** The package root's module, for kernels that import the package when a build treats it as external. */
+    readonly index: string;
+};
+/**
+ * The files the compiler finds copies of the package in: node's file system for the plugin, or one in memory. Paths
+ * are the host's own, as its `dirname`, `extname` and `isAbsolute` read them.
+ */
+export type PackageFiles = {
+    /** A file's text; throws when it can't be read. */
+    readonly read: (file: string) => string;
+    readonly exists: (file: string) => boolean;
+    /** A path with its links followed. */
+    readonly realpath: (path: string) => string;
+    readonly dirname: (path: string) => string;
+    readonly extname: (path: string) => string;
+    readonly isAbsolute: (path: string) => boolean;
+    /** The root of the copy this compiler runs from, with forward slashes and no trailing slash. */
+    readonly ownRoot: string;
+    /** The module of it the compiler is in, with forward slashes, as `src/…` when it runs from its sources. */
+    readonly ownModule: string;
+};
+/** Where compiled code finds the package: the copies of it, and which files are which of its modules. */
+export type PackageCopies = {
+    /** The copy this compiler runs from: its sources when running from `src`, its `dist` otherwise. */
+    readonly ownCopy: PackageCopy;
+    /**
+     * The copy an importer that can't resolve the package through the build uses: the copy it is part of, or else the
+     * one installed nearest it, or else this compiler's own.
+     */
+    readonly copyForImporter: (importer: string) => PackageCopy;
+    /** Whether a file is the module math functions declare their WGSL builtins with, in any copy of the package. */
+    readonly isIntrinsicModule: (file: string) => boolean;
+    /** Whether an import specifier is the runtime hook kernels attach through, in any copy of the package. */
+    readonly isAttachKernelModule: (specifier: string) => boolean;
+    /**
+     * The copy of the package whose module of `namespace` a resolved module id is, directly or through the package
+     * root, in the id's layout; null when the id is no such module.
+     */
+    readonly namespaceCopyOf: (id: string, namespace: string) => PackageCopy | null;
+    /** A file's path in a copy of the package, without `src/` or `dist/` and its extension; null outside every copy. */
+    readonly packagePathOf: (file: string) => string | null;
+    /**
+     * The file whose types a resolved module's are: a copy of the package's `dist` module's source, which the package
+     * ships, else a JavaScript module's declarations beside it, else the module itself.
+     */
+    readonly typesFileOf: (file: string) => string;
+};
+/** The copies of the package `files` holds, each found once per directory. */
+export declare const createPackageCopies: (files: PackageFiles) => PackageCopies;