@scriptc/compiler 0.1.6 → 0.2.0

package/dist/frontend/ts7/source-parser.d.ts

@@ -0,0 +1,25 @@
+import type { SourceFile } from "./ast-types.js";
+import { Ts7Api } from "./api.js";
+import type { Ts7FileSystem } from "./rpc-filesystem.js";
+export type Ts7SourceKind = "js" | "jsx" | "ts" | "tsx";
+export type Ts7SourceApiFactory = (options: {
+    cwd: string;
+    fs: Ts7FileSystem;
+}) => Ts7Api;
+/** A syntax-only session with a closed, in-memory filesystem. Parsing a
+ * source string never reads imports, project configuration, or libraries
+ * from disk. The returned AST owns its wire data and outlives the session.
+ * Only one project and one input are retained between requests. */
+export declare class Ts7SourceParser {
+    private readonly api;
+    private readonly files;
+    private readonly configPath;
+    private previousPath;
+    private previousText;
+    private previousFile;
+    private closed;
+    private readonly cwd;
+    constructor(createApi: Ts7SourceApiFactory, cwd?: string);
+    parse(fileName: string, source: string, kind: Ts7SourceKind): SourceFile;
+    close(): void;
+}

package/dist/frontend/ts7/source-parser.js

@@ -0,0 +1,96 @@
+import { resolve } from "node:path";
+import { Ts7Api } from "./api.js";
+import { tsgoPath } from "./session-path.js";
+/** A syntax-only session with a closed, in-memory filesystem. Parsing a
+ * source string never reads imports, project configuration, or libraries
+ * from disk. The returned AST owns its wire data and outlives the session.
+ * Only one project and one input are retained between requests. */
+export class Ts7SourceParser {
+    api;
+    files = new Map();
+    configPath;
+    previousPath;
+    previousText;
+    previousFile;
+    closed = false;
+    cwd;
+    constructor(createApi, cwd = process.cwd()) {
+        this.cwd = resolve(cwd);
+        this.configPath = tsgoPath(resolve(this.cwd, "__scriptc-source-parser.tsconfig.json"));
+        this.api = createApi({
+            cwd: this.cwd,
+            fs: {
+                readFile: (path) => this.files.get(tsgoPath(path)) ?? null,
+                fileExists: (path) => this.files.has(tsgoPath(path)),
+                directoryExists: (path) => {
+                    const directory = tsgoPath(path);
+                    for (const file of this.files.keys()) {
+                        if (file.startsWith(directory.endsWith("/") ? directory : directory + "/"))
+                            return true;
+                    }
+                    return false;
+                },
+                realpath: (path) => path,
+                getAccessibleEntries: () => ({ files: [], directories: [] }),
+            },
+        });
+    }
+    parse(fileName, source, kind) {
+        if (this.closed)
+            throw new Error("TypeScript source parser is closed");
+        // The native parser selects its grammar from the extension. Preserve a
+        // matching source name, including declaration and module suffixes.
+        const extensionMatches = kind === "ts" ? /\.(?:[cm]?ts)$/.test(fileName)
+            : kind === "js" ? /\.(?:[cm]?js)$/.test(fileName)
+                : fileName.endsWith("." + kind);
+        const path = tsgoPath(resolve(this.cwd, extensionMatches ? fileName : fileName + "." + kind));
+        if (path === this.configPath)
+            throw new Error("source path conflicts with the parser configuration");
+        if (path === this.previousPath && source === this.previousText && this.previousFile !== undefined)
+            return this.previousFile;
+        const previousPath = this.previousPath;
+        this.files.clear();
+        this.files.set(path, source);
+        this.files.set(this.configPath, JSON.stringify({
+            compilerOptions: {
+                target: "esnext", module: "esnext", jsx: "preserve", allowJs: true,
+                noResolve: true, noLib: true, types: [], noEmit: true,
+            },
+            files: [path], include: [],
+        }));
+        // Invalidate the bounded project instead of retaining every source path
+        // ever parsed. A previous result remains a detached, immutable AST.
+        const snapshot = this.api.updateSnapshot({
+            openProjects: [this.configPath],
+            fileChanges: {
+                changed: [this.configPath, path],
+                created: previousPath === path ? [] : [path],
+                deleted: previousPath !== undefined && previousPath !== path ? [previousPath] : [],
+            },
+        });
+        try {
+            const project = snapshot.getProject(this.configPath);
+            const file = project?.program.getSourceFile(path);
+            if (file === undefined)
+                throw new Error(`could not parse source file ${fileName}`);
+            this.previousPath = path;
+            this.previousText = source;
+            this.previousFile = file;
+            return file;
+        }
+        finally {
+            snapshot.dispose();
+        }
+    }
+    close() {
+        if (this.closed)
+            return;
+        this.closed = true;
+        this.files.clear();
+        this.previousPath = undefined;
+        this.previousText = undefined;
+        this.previousFile = undefined;
+        this.api.close();
+    }
+}
+//# sourceMappingURL=source-parser.js.map

package/dist/frontend/ts7/source-parser.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-parser.js","sourceRoot":"","sources":["../../../src/frontend/ts7/source-parser.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAEpC,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAC;AAElC,OAAO,EAAE,QAAQ,EAAE,MAAM,mBAAmB,CAAC;AAK7C;;;mEAGmE;AACnE,MAAM,OAAO,eAAe;IACT,GAAG,CAAS;IACZ,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IAClC,UAAU,CAAS;IAC5B,YAAY,CAAqB;IACjC,YAAY,CAAqB;IACjC,YAAY,CAAyB;IACrC,MAAM,GAAG,KAAK,CAAC;IACN,GAAG,CAAS;IAE7B,YAAY,SAA8B,EAAE,GAAG,GAAG,OAAO,CAAC,GAAG,EAAE;QAC7D,IAAI,CAAC,GAAG,GAAG,OAAO,CAAC,GAAG,CAAC,CAAC;QACxB,IAAI,CAAC,UAAU,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,uCAAuC,CAAC,CAAC,CAAC;QACvF,IAAI,CAAC,GAAG,GAAG,SAAS,CAAC;YACnB,GAAG,EAAE,IAAI,CAAC,GAAG;YACb,EAAE,EAAE;gBACF,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,IAAI;gBAC1D,UAAU,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;gBACpD,eAAe,EAAE,CAAC,IAAI,EAAE,EAAE;oBACxB,MAAM,SAAS,GAAG,QAAQ,CAAC,IAAI,CAAC,CAAC;oBACjC,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC;wBACrC,IAAI,IAAI,CAAC,UAAU,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,GAAG,GAAG,CAAC;4BAAE,OAAO,IAAI,CAAC;oBAC1F,CAAC;oBACD,OAAO,KAAK,CAAC;gBACf,CAAC;gBACD,QAAQ,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI;gBACxB,oBAAoB,EAAE,GAAG,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;aAC7D;SACF,CAAC,CAAC;IACL,CAAC;IAED,KAAK,CAAC,QAAgB,EAAE,MAAc,EAAE,IAAmB;QACzD,IAAI,IAAI,CAAC,MAAM;YAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAC;QACvE,uEAAuE;QACvE,mEAAmE;QACnE,MAAM,gBAAgB,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC;YACtE,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,gBAAgB,CAAC,IAAI,CAAC,QAAQ,CAAC;gBACjD,CAAC,CAAC,QAAQ,CAAC,QAAQ,CAAC,GAAG,GAAG,IAAI,CAAC,CAAC;QAClC,MAAM,IAAI,GAAG,QAAQ,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,EAAE,gBAAgB,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,GAAG,GAAG,GAAG,IAAI,CAAC,CAAC,CAAC;QAC9F,IAAI,IAAI,KAAK,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;QACrG,IAAI,IAAI,KAAK,IAAI,CAAC,YAAY,IAAI,MAAM,KAAK,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,YAAY,KAAK,SAAS;YAAE,OAAO,IAAI,CAAC,YAAY,CAAC;QAC5H,MAAM,YAAY,GAAG,IAAI,CAAC,YAAY,CAAC;QACvC,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC,SAAS,CAAC;YAC7C,eAAe,EAAE;gBACf,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,QAAQ,EAAE,GAAG,EAAE,UAAU,EAAE,OAAO,EAAE,IAAI;gBAClE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,EAAE,MAAM,EAAE,IAAI;aACtD;YACD,KAAK,EAAE,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,EAAE;SAC3B,CAAC,CAAC,CAAC;QACJ,wEAAwE;QACxE,oEAAoE;QACpE,MAAM,QAAQ,GAAG,IAAI,CAAC,GAAG,CAAC,cAAc,CAAC;YACvC,YAAY,EAAE,CAAC,IAAI,CAAC,UAAU,CAAC;YAC/B,WAAW,EAAE;gBACX,OAAO,EAAE,CAAC,IAAI,CAAC,UAAU,EAAE,IAAI,CAAC;gBAChC,OAAO,EAAE,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;gBAC5C,OAAO,EAAE,YAAY,KAAK,SAAS,IAAI,YAAY,KAAK,IAAI,CAAC,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,EAAE;aACnF;SACF,CAAC,CAAC;QACH,IAAI,CAAC;YACH,MAAM,OAAO,GAAG,QAAQ,CAAC,UAAU,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;YACrD,MAAM,IAAI,GAAG,OAAO,EAAE,OAAO,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC;YAClD,IAAI,IAAI,KAAK,SAAS;gBAAE,MAAM,IAAI,KAAK,CAAC,+BAA+B,QAAQ,EAAE,CAAC,CAAC;YACnF,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;YACzB,IAAI,CAAC,YAAY,GAAG,MAAM,CAAC;YAC3B,IAAI,CAAC,YAAY,GAAG,IAAI,CAAC;YACzB,OAAO,IAAI,CAAC;QACd,CAAC;gBAAS,CAAC;YACT,QAAQ,CAAC,OAAO,EAAE,CAAC;QACrB,CAAC;IACH,CAAC;IAED,KAAK;QACH,IAAI,IAAI,CAAC,MAAM;YAAE,OAAO;QACxB,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;QACnB,IAAI,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC;QACnB,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,YAAY,GAAG,SAAS,CAAC;QAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC;IACnB,CAAC;CACF"}

package/dist/frontend/ts7/source-parser.test.d.ts

@@ -0,0 +1 @@
+export {};

package/dist/frontend/ts7/source-parser.test.js

@@ -0,0 +1,151 @@
+import { mkdtempSync, rmSync, writeFileSync } from "node:fs";
+import { tmpdir } from "node:os";
+import { join, resolve } from "node:path";
+import { afterEach, expect, test } from "vitest";
+import ts5 from "typescript5";
+import { Ts7Api } from "./rpc-api.js";
+import { Ts7SourceParser } from "./source-parser.js";
+import { closeSourceParser, parseSourceFile } from "./source-parser-node.js";
+import * as ts from "./syntax.js";
+const parsers = [];
+const directories = [];
+afterEach(() => {
+    for (const parser of parsers.splice(0))
+        parser.close();
+    for (const directory of directories.splice(0))
+        rmSync(directory, { recursive: true, force: true });
+    closeSourceParser();
+});
+function create() {
+    const directory = mkdtempSync(join(process.platform === "win32" ? tmpdir() : "/tmp", "scriptc-source-parser-"));
+    directories.push(directory);
+    let filesystem;
+    const parser = new Ts7SourceParser((options) => {
+        filesystem = options.fs;
+        return new Ts7Api(options);
+    }, directory);
+    parsers.push(parser);
+    return { parser, directory, fs: filesystem };
+}
+test("each parse owns its text and nodes across same-path edits, deletion and close", () => {
+    const { parser } = create();
+    const first = parser.parse("input.ts", "export const first = 1;", "ts");
+    expect(parser.parse("input.ts", first.text, "ts")).toBe(first);
+    const second = parser.parse("input.ts", "export const second = 2;", "ts");
+    expect(second.text).toBe("export const second = 2;");
+    expect(second).not.toBe(first);
+    const other = parser.parse("other.js", "exports.third = 3;", "js");
+    const empty = parser.parse("input.ts", "", "ts");
+    expect(empty.statements).toEqual([]);
+    const restored = parser.parse("input.ts", first.text, "ts");
+    expect(restored.text).toBe(first.text);
+    parser.close();
+    parser.close();
+    expect(first.statements[0].getText()).toBe("export const first = 1;");
+    expect(second.statements[0].parent).toBe(second);
+    expect(other.statements[0].getText()).toBe("exports.third = 3;");
+    expect(() => parser.parse("late.ts", "", "ts")).toThrow("closed");
+});
+test("the syntax filesystem hides project configuration, dependencies and libraries", () => {
+    const { parser, directory, fs } = create();
+    writeFileSync(join(directory, "tsconfig.json"), '{"extends":"./missing.json","compilerOptions":{"jsx":"react"}}');
+    writeFileSync(join(directory, "dependency.ts"), "export const fromDisk = 42;");
+    const source = 'import { fromDisk } from "./dependency.js"; export const result = fromDisk;';
+    const file = parser.parse("input.ts", source, "ts");
+    expect(file.text).toBe(source);
+    expect(fs.readFile(join(directory, "dependency.ts"))).toBeNull();
+    expect(fs.readFile(join(directory, "tsconfig.json"))).toBeNull();
+    expect(fs.fileExists(join(directory, "dependency.ts"))).toBe(false);
+    expect(fs.directoryExists(join(directory, "node_modules"))).toBe(false);
+    expect(fs.getAccessibleEntries(directory)).toEqual({ files: [], directories: [] });
+    expect(fs.readFile(join(directory, "input.ts"))).toBe(source);
+    parser.parse("next.ts", "export {};", "ts");
+    expect(fs.readFile(join(directory, "input.ts"))).toBeNull();
+    parser.close();
+    expect(fs.fileExists(join(directory, "next.ts"))).toBe(false);
+});
+const syntaxCases = [
+    { name: "empty.ts", kind: "ts", source: "" },
+    { name: "bom.ts", kind: "ts", source: "\ufeffexport const value = 1;\r\n" },
+    { name: "comments.js", kind: "js", source: "#!/usr/bin/env node\n// leading\n/** detail */\nexport class A { value = 1; }\n" },
+    { name: "unicode.ts", kind: "ts", source: 'const 工作 = "😀";\r\nexport { 工作 };\n' },
+    { name: "types.d.mts", kind: "ts", source: "export declare class A { optional?: A | null; definite!: number; method?(): string; }" },
+    { name: "broken.ts", kind: "ts", source: "export const incomplete = ;\nfunction broken( {\n" },
+    { name: "component.tsx", kind: "tsx", source: 'export const element = <main title="x">Hello {value}<span /></main>;' },
+    { name: "component.jsx", kind: "jsx", source: "export default <><span /> text</>;" },
+];
+for (const { name, kind, source } of syntaxCases) {
+    test(`standalone syntax preserves TypeScript source spans: ${name}`, () => {
+        const { parser } = create();
+        const file = parser.parse(name, source, kind);
+        const grammar = kind === "ts" ? ts5.ScriptKind.TS : kind === "js" ? ts5.ScriptKind.JS
+            : kind === "tsx" ? ts5.ScriptKind.TSX : ts5.ScriptKind.JSX;
+        const oracle = ts5.createSourceFile(name, source, ts5.ScriptTarget.Latest, true, grammar);
+        expect(file.text).toBe(source);
+        expect(file.isDeclarationFile).toBe(oracle.isDeclarationFile);
+        expect(file.statements.map((statement) => ({ start: statement.getStart(), end: statement.end, text: statement.getText() })))
+            .toEqual(oracle.statements.map((statement) => ({ start: statement.getStart(), end: statement.end, text: statement.getText() })));
+        for (let position = 0; position <= source.length; position++) {
+            expect(file.getLineAndCharacterOfPosition(position)).toEqual(oracle.getLineAndCharacterOfPosition(position));
+        }
+    });
+}
+test("explicit grammar keeps declaration suffixes and separates same-name inputs", () => {
+    const { parser, directory } = create();
+    const types = parser.parse("input.d.cts", "export declare class A {}", "ts");
+    expect(types.isDeclarationFile).toBe(true);
+    expect(types.fileName).toBe(resolve(directory, "input.d.cts").split("\\").join("/"));
+    const source = "export class B {}";
+    const js = parser.parse("input.d.cts", source, "js");
+    expect(js.isDeclarationFile).toBe(false);
+    expect(js.fileName).toMatch(/input\.d\.cts\.js$/);
+    expect(parser.parse("input.d.cts", source, "ts").isDeclarationFile).toBe(true);
+});
+test("optional declarations expose question tokens without confusing definite assignment", () => {
+    const { parser } = create();
+    const file = parser.parse("input.ts", "class A { optional?: number; definite!: number; method?(): void; } type M<T> = { [K in keyof T]-?: T[K] };", "ts");
+    const declaration = file.statements[0];
+    if (!ts.isClassDeclaration(declaration))
+        throw new Error("expected class");
+    expect(declaration.members[0].questionToken?.kind).toBe(ts.SyntaxKind.QuestionToken);
+    expect(declaration.members[0].questionToken).toBe(declaration.members[0].postfixToken);
+    expect(declaration.members[1].questionToken).toBeUndefined();
+    expect(declaration.members[1].postfixToken?.kind).toBe(ts.SyntaxKind.ExclamationToken);
+    expect(declaration.members[2].questionToken?.kind).toBe(ts.SyntaxKind.QuestionToken);
+    const alias = file.statements[1];
+    if (!ts.isTypeAliasDeclaration(alias) || !ts.isMappedTypeNode(alias.type))
+        throw new Error("expected mapped type");
+    expect(alias.type.questionToken?.kind).toBe(ts.SyntaxKind.MinusToken);
+});
+test("Node parser shutdown permits a fresh independent session", () => {
+    const first = parseSourceFile("input.ts", "export const first = 1;", "ts");
+    closeSourceParser();
+    const second = parseSourceFile("input.ts", "export const second = 2;", "ts");
+    expect(first.text).toBe("export const first = 1;");
+    expect(second.text).toBe("export const second = 2;");
+});
+test("JSDoc callable types cannot replace method body views", () => {
+    const { parser } = create();
+    const source = `class A {
+    /** @type {() => string} */
+    callable() { return "first"; }
+    /** @type {{ (): number }} */
+    signature() { return 2; }
+    /** @returns {string} */
+    annotated() { return "third"; }
+    ordinary() { return true; }
+  }`;
+    const file = parser.parse("methods.js", source, "js");
+    const oracle = ts5.createSourceFile("methods.js", source, ts5.ScriptTarget.Latest, true, ts5.ScriptKind.JS);
+    const native = file.statements[0];
+    const expected = oracle.statements[0];
+    if (!ts.isClassDeclaration(native) || !ts5.isClassDeclaration(expected))
+        throw new Error("expected class");
+    expect(native.members.map((member) => member.body?.getText()))
+        .toEqual(expected.members.map((member) => ts5.isMethodDeclaration(member) ? member.body?.getText() : undefined));
+    for (const member of native.members) {
+        expect(member.body?.kind).toBe(ts.SyntaxKind.Block);
+        expect(member.body?.parent).toBe(member);
+    }
+});
+//# sourceMappingURL=source-parser.test.js.map

package/dist/frontend/ts7/source-parser.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"source-parser.test.js","sourceRoot":"","sources":["../../../src/frontend/ts7/source-parser.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,WAAW,EAAE,MAAM,EAAE,aAAa,EAAE,MAAM,SAAS,CAAC;AAC7D,OAAO,EAAE,MAAM,EAAE,MAAM,SAAS,CAAC;AACjC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,MAAM,WAAW,CAAC;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,QAAQ,CAAC;AACjD,OAAO,GAAG,MAAM,aAAa,CAAC;AAC9B,OAAO,EAAE,MAAM,EAAE,MAAM,cAAc,CAAC;AAEtC,OAAO,EAAE,eAAe,EAAsB,MAAM,oBAAoB,CAAC;AACzE,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,yBAAyB,CAAC;AAC7E,OAAO,KAAK,EAAE,MAAM,aAAa,CAAC;AAElC,MAAM,OAAO,GAAsB,EAAE,CAAC;AACtC,MAAM,WAAW,GAAa,EAAE,CAAC;AACjC,SAAS,CAAC,GAAG,EAAE;IACb,KAAK,MAAM,MAAM,IAAI,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,MAAM,CAAC,KAAK,EAAE,CAAC;IACvD,KAAK,MAAM,SAAS,IAAI,WAAW,CAAC,MAAM,CAAC,CAAC,CAAC;QAAE,MAAM,CAAC,SAAS,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACnG,iBAAiB,EAAE,CAAC;AACtB,CAAC,CAAC,CAAC;AAEH,SAAS,MAAM;IACb,MAAM,SAAS,GAAG,WAAW,CAAC,IAAI,CAAC,OAAO,CAAC,QAAQ,KAAK,OAAO,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,wBAAwB,CAAC,CAAC,CAAC;IAChH,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IAC5B,IAAI,UAA0B,CAAC;IAC/B,MAAM,MAAM,GAAG,IAAI,eAAe,CAAC,CAAC,OAAO,EAAE,EAAE;QAC7C,UAAU,GAAG,OAAO,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,MAAM,CAAC,OAAO,CAAC,CAAC;IAC7B,CAAC,EAAE,SAAS,CAAC,CAAC;IACd,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IACrB,OAAO,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,UAAU,EAAE,CAAC;AAC/C,CAAC;AAED,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAC5B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,yBAAyB,EAAE,IAAI,CAAC,CAAC;IACxE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/D,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,0BAA0B,EAAE,IAAI,CAAC,CAAC;IAC1E,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;IACrD,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAC/B,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,oBAAoB,EAAE,IAAI,CAAC,CAAC;IACnE,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC;IACjD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;IACrC,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IAC5D,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IACvC,MAAM,CAAC,KAAK,EAAE,CAAC;IACf,MAAM,CAAC,KAAK,EAAE,CAAC;IACf,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACvE,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAClD,MAAM,CAAC,KAAK,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC,OAAO,EAAE,CAAC,CAAC,IAAI,CAAC,oBAAoB,CAAC,CAAC;IAClE,MAAM,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;AACpE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,+EAA+E,EAAE,GAAG,EAAE;IACzF,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,EAAE,GAAG,MAAM,EAAE,CAAC;IAC3C,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,gEAAgE,CAAC,CAAC;IAClH,aAAa,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,EAAE,6BAA6B,CAAC,CAAC;IAC/E,MAAM,MAAM,GAAG,6EAA6E,CAAC;IAC7F,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACpD,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC/B,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjE,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IACjE,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,eAAe,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACpE,MAAM,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,SAAS,EAAE,cAAc,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACxE,MAAM,CAAC,EAAE,CAAC,oBAAoB,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC,CAAC;IACnF,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC9D,MAAM,CAAC,KAAK,CAAC,SAAS,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;IAC5C,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,IAAI,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,QAAQ,EAAE,CAAC;IAC5D,MAAM,CAAC,KAAK,EAAE,CAAC;IACf,MAAM,CAAC,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,SAAS,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAChE,CAAC,CAAC,CAAC;AAEH,MAAM,WAAW,GAA4D;IAC3E,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE;IAC5C,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,mCAAmC,EAAE;IAC3E,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,iFAAiF,EAAE;IAC9H,EAAE,IAAI,EAAE,YAAY,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,sCAAsC,EAAE;IAClF,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,uFAAuF,EAAE;IACpI,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,mDAAmD,EAAE;IAC9F,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,sEAAsE,EAAE;IACtH,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,EAAE,oCAAoC,EAAE;CACrF,CAAC;AAEF,KAAK,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,WAAW,EAAE,CAAC;IACjD,IAAI,CAAC,wDAAwD,IAAI,EAAE,EAAE,GAAG,EAAE;QACxE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;QAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;QAC9C,MAAM,OAAO,GAAG,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,IAAI,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,EAAE;YACnF,CAAC,CAAC,IAAI,KAAK,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC;QAC7D,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,OAAO,CAAC,CAAC;QAC1F,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;QAC/B,MAAM,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,iBAAiB,CAAC,CAAC;QAC9D,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC;aACzH,OAAO,CAAC,MAAM,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,SAAS,CAAC,QAAQ,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,EAAE,IAAI,EAAE,SAAS,CAAC,OAAO,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QACnI,KAAK,IAAI,QAAQ,GAAG,CAAC,EAAE,QAAQ,IAAI,MAAM,CAAC,MAAM,EAAE,QAAQ,EAAE,EAAE,CAAC;YAC7D,MAAM,CAAC,IAAI,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,MAAM,CAAC,6BAA6B,CAAC,QAAQ,CAAC,CAAC,CAAC;QAC/G,CAAC;IACH,CAAC,CAAC,CAAC;AACL,CAAC;AAED,IAAI,CAAC,4EAA4E,EAAE,GAAG,EAAE;IACtF,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,GAAG,MAAM,EAAE,CAAC;IACvC,MAAM,KAAK,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,2BAA2B,EAAE,IAAI,CAAC,CAAC;IAC7E,MAAM,CAAC,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC3C,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC;IACrF,MAAM,MAAM,GAAG,mBAAmB,CAAC;IACnC,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACrD,MAAM,CAAC,EAAE,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IACzC,MAAM,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,OAAO,CAAC,oBAAoB,CAAC,CAAC;IAClD,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,aAAa,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,iBAAiB,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AACjF,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,oFAAoF,EAAE,GAAG,EAAE;IAC9F,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAC5B,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,UAAU,EAAE,4GAA4G,EAAE,IAAI,CAAC,CAAC;IAC1J,MAAM,WAAW,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;IACxC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,WAAW,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC3E,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACtF,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,YAAY,CAAC,CAAC;IACzF,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,aAAa,CAAC,CAAC,aAAa,EAAE,CAAC;IAC9D,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,YAAY,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC;IACxF,MAAM,CAAC,WAAW,CAAC,OAAO,CAAC,CAAC,CAAE,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC,CAAC;IACtF,MAAM,KAAK,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;IAClC,IAAI,CAAC,EAAE,CAAC,sBAAsB,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC,gBAAgB,CAAC,KAAK,CAAC,IAAI,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,sBAAsB,CAAC,CAAC;IACnH,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,UAAU,CAAC,CAAC;AACxE,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,0DAA0D,EAAE,GAAG,EAAE;IACpE,MAAM,KAAK,GAAG,eAAe,CAAC,UAAU,EAAE,yBAAyB,EAAE,IAAI,CAAC,CAAC;IAC3E,iBAAiB,EAAE,CAAC;IACpB,MAAM,MAAM,GAAG,eAAe,CAAC,UAAU,EAAE,0BAA0B,EAAE,IAAI,CAAC,CAAC;IAC7E,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,yBAAyB,CAAC,CAAC;IACnD,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,0BAA0B,CAAC,CAAC;AACvD,CAAC,CAAC,CAAC;AAEH,IAAI,CAAC,uDAAuD,EAAE,GAAG,EAAE;IACjE,MAAM,EAAE,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC;IAC5B,MAAM,MAAM,GAAG;;;;;;;;IAQb,CAAC;IACH,MAAM,IAAI,GAAG,MAAM,CAAC,KAAK,CAAC,YAAY,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC;IACtD,MAAM,MAAM,GAAG,GAAG,CAAC,gBAAgB,CAAC,YAAY,EAAE,MAAM,EAAE,GAAG,CAAC,YAAY,CAAC,MAAM,EAAE,IAAI,EAAE,GAAG,CAAC,UAAU,CAAC,EAAE,CAAC,CAAC;IAC5G,MAAM,MAAM,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;IACnC,MAAM,QAAQ,GAAG,MAAM,CAAC,UAAU,CAAC,CAAC,CAAE,CAAC;IACvC,IAAI,CAAC,EAAE,CAAC,kBAAkB,CAAC,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,kBAAkB,CAAC,QAAQ,CAAC;QAAE,MAAM,IAAI,KAAK,CAAC,gBAAgB,CAAC,CAAC;IAC3G,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC;SAC3D,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,GAAG,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC;IACnH,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,OAAO,EAAE,CAAC;QACpC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC;QACpD,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;IAC3C,CAAC;AACH,CAAC,CAAC,CAAC"}

package/dist/frontend/ts7/syntax.d.ts

@@ -0,0 +1,3 @@
+/** Parser-independent syntax operations shared by Node and native clients. */
+export * from "./enums.js";
+export * from "./ast.js";

package/dist/frontend/ts7/syntax.js

@@ -0,0 +1,4 @@
+/** Parser-independent syntax operations shared by Node and native clients. */
+export * from "./enums.js";
+export * from "./ast.js";
+//# sourceMappingURL=syntax.js.map

package/dist/frontend/ts7/syntax.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"syntax.js","sourceRoot":"","sources":["../../../src/frontend/ts7/syntax.ts"],"names":[],"mappings":"AAAA,8EAA8E;AAC9E,cAAc,YAAY,CAAC;AAC3B,cAAc,UAAU,CAAC"}

package/dist/frontend/tsc-codes.js

@@ -86,6 +86,9 @@ export const JS_RELAXED_TSC_CODES = new Set([
     2308, 2614,
     // 2740's sibling elaboration ("Property X is missing in type Y")
     2741,
+    // JavaScript subclasses may widen fields or add method parameters.
+    // Class lowering checks native storage and override ABIs at each use.
+    2415,
     // unresolvable modules: Node throws WHEN the require executes — the
     // binding types as any and reached uses fence (never a silent pass)
     2307, 2792,

package/dist/frontend/tsc-codes.js.map

@@ -1 +1 @@
-{"version":3,"file":"tsc-codes.js","sourceRoot":"","sources":["../../src/frontend/tsc-codes.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,8BAA8B;IAC9B,6BAA6B;IAC7B,gBAAgB;IAChB,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,oBAAoB;IACpB,oCAAoC;IACpC,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iBAAiB;IACjB,8BAA8B;CACtB,CAAC;AAEX;;;;;;;;;;eAUe;AACf,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iCAAiC;IACjC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IACxF,oEAAoE;IACpE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACrC,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IAC1D,IAAI,EAAE,4DAA4D;IAClE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IACtB,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,oEAAoE;IACpE,kBAAkB;IAClB,IAAI,EAAE,IAAI;IACV,qEAAqE;IACrE,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IACxC,uEAAuE;IACvE,4DAA4D;IAC5D,IAAI,EAAE,IAAI,EAAE,IAAI;IAChB,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,wEAAwE;IACxE,qEAAqE;IACrE,wDAAwD;IACxD,IAAI;IACJ,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI,EAAE,IAAI;IACV,iEAAiE;IACjE,IAAI;IACJ,oEAAoE;IACpE,oEAAoE;IACpE,IAAI,EAAE,IAAI;IACV,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,uEAAuE;IACvE,KAAK,EAAE,IAAI;CACZ,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF;;gCAEgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC9C,CAAC"}
+{"version":3,"file":"tsc-codes.js","sourceRoot":"","sources":["../../src/frontend/tsc-codes.ts"],"names":[],"mappings":"AAAA,kEAAkE;AAClE,MAAM,CAAC,MAAM,eAAe,GAAG;IAC7B,QAAQ;IACR,eAAe;IACf,kBAAkB;IAClB,qBAAqB;IACrB,qBAAqB;IACrB,8BAA8B;IAC9B,6BAA6B;IAC7B,gBAAgB;IAChB,cAAc;IACd,4BAA4B;IAC5B,0BAA0B;IAC1B,4BAA4B;IAC5B,oBAAoB;IACpB,oCAAoC;IACpC,mBAAmB;IACnB,4BAA4B;IAC5B,gBAAgB;IAChB,oBAAoB;IACpB,mBAAmB;IACnB,sBAAsB;IACtB,cAAc;IACd,iEAAiE;IACjE,qEAAqE;IACrE,kEAAkE;IAClE,kEAAkE;IAClE,iBAAiB;IACjB,8BAA8B;CACtB,CAAC;AAEX;;;;;;;;;;eAUe;AACf,MAAM,CAAC,MAAM,oBAAoB,GAAwB,IAAI,GAAG,CAAC;IAC/D,kEAAkE;IAClE,8DAA8D;IAC9D,iCAAiC;IACjC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IACxF,oEAAoE;IACpE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAK;IACrC,oEAAoE;IACpE,uEAAuE;IACvE,qEAAqE;IACrE,qEAAqE;IACrE,mCAAmC;IACnC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IAC1D,IAAI,EAAE,4DAA4D;IAClE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IACtB,uEAAuE;IACvE,wEAAwE;IACxE,4EAA4E;IAC5E,oEAAoE;IACpE,kBAAkB;IAClB,IAAI,EAAE,IAAI;IACV,qEAAqE;IACrE,uEAAuE;IACvE,mEAAmE;IACnE,sEAAsE;IACtE,kEAAkE;IAClE,sEAAsE;IACtE,wDAAwD;IACxD,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI;IACxC,uEAAuE;IACvE,4DAA4D;IAC5D,IAAI,EAAE,IAAI,EAAE,IAAI;IAChB,uEAAuE;IACvE,wEAAwE;IACxE,qEAAqE;IACrE,yCAAyC;IACzC,IAAI;IACJ,wEAAwE;IACxE,qEAAqE;IACrE,wDAAwD;IACxD,IAAI;IACJ,wEAAwE;IACxE,sEAAsE;IACtE,6DAA6D;IAC7D,IAAI,EAAE,IAAI;IACV,iEAAiE;IACjE,IAAI;IACJ,mEAAmE;IACnE,sEAAsE;IACtE,IAAI;IACJ,oEAAoE;IACpE,oEAAoE;IACpE,IAAI,EAAE,IAAI;IACV,iEAAiE;IACjE,uEAAuE;IACvE,oEAAoE;IACpE,sEAAsE;IACtE,sEAAsE;IACtE,uEAAuE;IACvE,KAAK,EAAE,IAAI;CACZ,CAAC,CAAC;AAEH;2EAC2E;AAC3E,MAAM,CAAC,MAAM,qBAAqB,GAAwB,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtF;;gCAEgC;AAChC,MAAM,UAAU,kBAAkB,CAAC,QAAgB;IACjD,OAAO,qBAAqB,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;AAC9C,CAAC"}

package/dist/frontend/type-mapper.d.ts

@@ -1,7 +1,10 @@
 import * as ts from "./ts7/adapter.js";
-import type { IrRecordShape, IrType, IrUnionDef } from "../ir/ir.js";
+import type { IrRecordShape, IrType, IrUnionDef, IrUnionDiscriminant } from "../ir/ir.js";
 import { typeKey } from "../ir/ir.js";
 export { typeKey };
+/** Empty JS object inference describes no fixed layout. Keep these values
+ * in checked storage across fields, parameters and function signatures. */
+export declare function jsOpenObjectType(decl: ts.Node | undefined, type: IrType, shapes: ShapeRegistry, unions: UnionRegistry): IrType;
 /** The ambient TYPE names of the fetch slice. Under --dynamic their
  * values live in the embedded engine and map to island handles (jsval).
  * Static fetch gives Response, RequestInit, AbortController/AbortSignal, response
@@ -115,10 +118,9 @@ export declare class ShapeRegistry {
     get(shapeId: string): IrRecordShape | undefined;
 }
 /** The frontend's union interner — mirrors ShapeRegistry. A union's
- * canonical identity is its typeKey-sorted arm list; two ts unions whose
- * arms map to the same IR types share one unionId (and later one runtime
- * tag numbering: an arm's index in the canonical list IS its tag). Owned by
- * the Lowerer; threaded through mapType exactly like ShapeRegistry. */
+ * canonical identity includes its typeKey-sorted arms and literal
+ * discriminator contract. An arm's index in that list IS its runtime tag.
+ * Owned by the Lowerer; threaded through mapType like ShapeRegistry. */
 export declare class UnionRegistry {
     private readonly byKey;
     private readonly byId;
@@ -147,16 +149,19 @@ export declare class UnionRegistry {
     recursivePending(t: ts.Type): boolean;
     /** Completes a recursive placeholder with its canonical arm list and
      * registers the structural key (first writer wins, like shapes). */
-    finalizeRecursive(t: ts.Type, arms: IrType[]): string;
-    /** Interns a canonical (typeKey-sorted, deduplicated) arm list, returning
-     * its unionId. */
-    intern(arms: IrType[]): string;
+    finalizeRecursive(t: ts.Type, arms: IrType[], discriminant?: IrUnionDiscriminant): string;
+    /** Interns canonical arms and discriminator cases, returning their unionId. */
+    intern(arms: IrType[], discriminant?: IrUnionDiscriminant): string;
+    /** An exact arm transformation keeps the source's semantic variants. */
+    transform(source: IrUnionDef, arms: IrType[]): string;
     get(unionId: string): IrUnionDef | undefined;
 }
 /** Human-readable rendering of an IrType for diagnostics (records expand to
  * their canonical field list, unions to their arms; `checker.typeToString`
- * can't — it never sees IR types). `seen` breaks recursive shapes/unions:
- * a back-reference renders as "..." instead of expanding forever. */
+ * can't — it never sees IR types). Bound the traversal as well as its output:
+ * cycle detection alone still expands a shared acyclic graph exponentially.
+ * The same budget covers every sibling, and deep wrapper chains truncate
+ * before exhausting the JS stack. Small types retain their full spelling. */
 export declare function formatIrType(t: IrType, shapes: ShapeRegistry, unions: UnionRegistry, seen?: Set<string>): string;
 /** True when a type contains a record anywhere (the trigger for the
  * shape-mismatch diagnostic SC2002 — non-record mismatches are tsc's or
@@ -218,15 +223,18 @@ export interface TypeMapperCtx {
      * concrete instantiation reference (`Box<number>`) — the Lowerer
      * registers/reuses the instantiation (`Box%0`) and answers its object
      * type; null when a type argument doesn't map, the cap tripped, or the
-     * family never collected. Absent in checkers with no lowering attached
-     * (generic instance types stay unmapped there). */
-    genericClassInstance?: (decl: ts.ClassLikeDeclaration, typeRef: ts.Type) => IrType | null;
+     * family never collected. The argument mapper retains substitutions from
+     * class-derived interfaces as well as the current function bindings.
+     * Absent in checkers with no lowering attached (generic instance types
+     * stay unmapped there). */
+    genericClassInstance?: (decl: ts.ClassLikeDeclaration, typeRef: ts.Type, mapArgument: (type: ts.Type) => IrType | null) => IrType | null;
     /** MIXIN class nodes (the class inside a mixin function): one shared
      * AST node, one instantiation per call site — the node's instance type
      * resolves to the instantiation CURRENTLY collecting/lowering (`this`
      * inside members, self-referential member types), null outside any
      * mixin context (the type alone cannot name a call site). */
     mixinClassInstance?: (decl: ts.ClassLikeDeclaration) => IrType | null;
+    localClassInstance?: (decl: ts.ClassLikeDeclaration) => IrType | null;
     /** MIXIN instance INTERSECTIONS (`Tagged.C & Derived` — values built
      * through a mixin result): resolved by chain structure to the unique
      * pinned instantiation they describe; null when ambiguous or when no
@@ -317,8 +325,8 @@ export declare function unitOnlyUnion(unions: UnionRegistry): IrType;
  * answers undefined). ONE shape per channel pair — `g.next()`'s lowering,
  * `.return()`, `.throw()`, the for-of desugar, and mapType's
  * IteratorResult alias mapping all intern through here, so reads agree.
- * Null when the combined union would be illegal (a func/set arm beside
- * data arms, a map/regex/Date arm — kinds with no narrowing test): such
+ * Null when the combined union would be illegal (a container arm beside
+ * data arms, a regex/Date arm — kinds with no narrowing test here): such
  * generators stay unmapped. */
 export declare function genResultRecord(yieldT: IrType, retT: IrType, shapes: ShapeRegistry, unions: UnionRegistry): (IrType & {
     kind: "record";
@@ -329,14 +337,16 @@ export declare function genResultRecord(yieldT: IrType, retT: IrType, shapes: Sh
  * fields, tuple/array elements, variable slots) substitute unitOnlyUnion
  * for these; RETURN positions keep the VOID mapping (a void return is not
  * a value). */
-export declare function isUnitOnlyTsType(t: ts.Type): boolean;
+export declare function isUnitOnlyTsType(t: ts.Type, resolveTypeParam?: TypeParamResolver): boolean;
 /** IR-level `t | undefined`, canonicalized and fenced exactly like the
- * ts-union branch of mapType (typeKey-sorted arms, deduplicated; map/
- * regex/Date/dyn/void arms unrepresentable; a func arm IS representable — the
+ * ts-union branch of mapType (typeKey-sorted arms, deduplicated;
+ * Date/dyn/void arms unrepresentable; a func arm IS representable — the
  * result is exactly the nullable-callback shape mapType's union branch
  * admits, `(() => void) | undefined`) so the interned union is IDENTICAL
  * to what mapping the checker's own `T | undefined` produces. */
 export declare function withUndefinedArm(t: IrType, unions: UnionRegistry): IrType | null;
+/** Preserve a nullish runtime value that JavaScript inference omitted. */
+export declare function withUnitArm(t: IrType, kind: "nullT" | "undefinedT", unions: UnionRegistry): IrType | null;
 /** A GENERIC-callable member type (`m<T>(x: T): T` / `f: <T>(x: T) => T` in
  * an object type): pure function-shaped — call signatures only, every one
  * carrying its own type parameters — with no data properties, no construct