@tsonic/frontend 0.0.62 → 0.0.64

package/dist/validation/features.js

@@ -4,6 +4,36 @@
 import * as ts from "typescript";
 import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
 import { getNodeLocation } from "./helpers.js";
+const SUPPORTED_IMPORT_META_FIELDS = new Set(["url", "filename", "dirname"]);
+const isSupportedImportMetaUsage = (node) => {
+    if (node.keywordToken !== ts.SyntaxKind.ImportKeyword ||
+        node.name.text !== "meta") {
+        return false;
+    }
+    const parent = node.parent;
+    return (ts.isPropertyAccessExpression(parent) &&
+        parent.expression === node &&
+        SUPPORTED_IMPORT_META_FIELDS.has(parent.name.text));
+};
+const isDynamicImportCall = (node) => node.expression.kind === ts.SyntaxKind.ImportKeyword;
+const isSupportedDynamicImportUsage = (node) => {
+    if (!isDynamicImportCall(node))
+        return false;
+    if (node.arguments.length !== 1)
+        return false;
+    const [arg] = node.arguments;
+    if (!arg)
+        return false;
+    const isStaticSpecifier = ts.isStringLiteral(arg) || ts.isNoSubstitutionTemplateLiteral(arg);
+    if (!isStaticSpecifier)
+        return false;
+    const awaitExpr = node.parent;
+    if (!ts.isAwaitExpression(awaitExpr) || awaitExpr.expression !== node) {
+        return false;
+    }
+    const statement = awaitExpr.parent;
+    return (ts.isExpressionStatement(statement) && statement.expression === awaitExpr);
+};
 /**
  * Validate that unsupported features are not used
  */
@@ -11,22 +41,17 @@ export const validateUnsupportedFeatures = (sourceFile, _program, collector) =>
     const visitor = (node) => {
         // Check for features we don't support yet
         if (ts.isWithStatement(node)) {
-            collector = addDiagnostic(collector, createDiagnostic("TSN2001", "error", "'with' statement not supported", getNodeLocation(sourceFile, node)));
-        }
-        if (ts.isMetaProperty(node)) {
-            collector = addDiagnostic(collector, createDiagnostic("TSN2001", "error", "Meta properties (import.meta) not supported", getNodeLocation(sourceFile, node)));
+            collector = addDiagnostic(collector, createDiagnostic("TSN2001", "error", "'with' statement is not supported in strict AOT mode", getNodeLocation(sourceFile, node)));
         }
-        if (ts.isCallExpression(node) &&
-            node.expression.kind === ts.SyntaxKind.ImportKeyword) {
-            collector = addDiagnostic(collector, createDiagnostic("TSN2001", "error", "Dynamic import() not supported", getNodeLocation(sourceFile, node), "Use static imports"));
+        if (ts.isMetaProperty(node) && !isSupportedImportMetaUsage(node)) {
+            collector = addDiagnostic(collector, createDiagnostic("TSN2001", "error", "Meta properties (import.meta) not supported in this form", getNodeLocation(sourceFile, node)));
         }
-        // Check for Promise.then/catch/finally chaining (not supported)
-        if (ts.isCallExpression(node) &&
-            ts.isPropertyAccessExpression(node.expression)) {
-            const methodName = node.expression.name.text;
-            if (["then", "catch", "finally"].includes(methodName)) {
-                collector = addDiagnostic(collector, createDiagnostic("TSN3011", "error", `Promise.${methodName}() is not supported`, getNodeLocation(sourceFile, node), "Use async/await instead of Promise chaining"));
+        if (ts.isCallExpression(node) && isDynamicImportCall(node)) {
+            if (isSupportedDynamicImportUsage(node)) {
+                ts.forEachChild(node, visitor);
+                return;
             }
+            collector = addDiagnostic(collector, createDiagnostic("TSN2001", "error", 'Dynamic import() is only supported in side-effect form: await import("./module.js");', getNodeLocation(sourceFile, node), "Use static imports, or use side-effect form with a static string literal specifier."));
         }
         ts.forEachChild(node, visitor);
     };

package/dist/validation/features.js.map

@@ -1 +1 @@
-{"version":3,"file":"features.js","sourceRoot":"","sources":["../../src/validation/features.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,0CAA0C;QAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gCAAgC,EAChC,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,6CAA6C,EAC7C,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;QACJ,CAAC;QAED,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EACpD,CAAC;YACD,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gCAAgC,EAChC,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,oBAAoB,CACrB,CACF,CAAC;QACJ,CAAC;QAED,gEAAgE;QAChE,IACE,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC;YACzB,EAAE,CAAC,0BAA0B,CAAC,IAAI,CAAC,UAAU,CAAC,EAC9C,CAAC;YACD,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC;YAC7C,IAAI,CAAC,MAAM,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;gBACtD,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,WAAW,UAAU,qBAAqB,EAC1C,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,6CAA6C,CAC9C,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
+{"version":3,"file":"features.js","sourceRoot":"","sources":["../../src/validation/features.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C,MAAM,4BAA4B,GAAG,IAAI,GAAG,CAAC,CAAC,KAAK,EAAE,UAAU,EAAE,SAAS,CAAC,CAAC,CAAC;AAE7E,MAAM,0BAA0B,GAAG,CAAC,IAAqB,EAAW,EAAE;IACpE,IACE,IAAI,CAAC,YAAY,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QACjD,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,MAAM,EACzB,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,OAAO,CACL,EAAE,CAAC,0BAA0B,CAAC,MAAM,CAAC;QACrC,MAAM,CAAC,UAAU,KAAK,IAAI;QAC1B,4BAA4B,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CACnD,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,IAAuB,EAAW,EAAE,CAC/D,IAAI,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,CAAC;AAEvD,MAAM,6BAA6B,GAAG,CAAC,IAAuB,EAAW,EAAE;IACzE,IAAI,CAAC,mBAAmB,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IAC7C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IAE9C,MAAM,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC,SAAS,CAAC;IAC7B,IAAI,CAAC,GAAG;QAAE,OAAO,KAAK,CAAC;IACvB,MAAM,iBAAiB,GACrB,EAAE,CAAC,eAAe,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,+BAA+B,CAAC,GAAG,CAAC,CAAC;IACrE,IAAI,CAAC,iBAAiB;QAAE,OAAO,KAAK,CAAC;IAErC,MAAM,SAAS,GAAG,IAAI,CAAC,MAAM,CAAC;IAC9B,IAAI,CAAC,EAAE,CAAC,iBAAiB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC;QACtE,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,SAAS,GAAG,SAAS,CAAC,MAAM,CAAC;IACnC,OAAO,CACL,EAAE,CAAC,qBAAqB,CAAC,SAAS,CAAC,IAAI,SAAS,CAAC,UAAU,KAAK,SAAS,CAC1E,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,2BAA2B,GAAG,CACzC,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,0CAA0C;QAC1C,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sDAAsD,EACtD,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,IAAI,CAAC,0BAA0B,CAAC,IAAI,CAAC,EAAE,CAAC;YACjE,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,0DAA0D,EAC1D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;QACJ,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC3D,IAAI,6BAA6B,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxC,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC/B,OAAO;YACT,CAAC;YACD,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sFAAsF,EACtF,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qFAAqF,CACtF,CACF,CAAC;QACJ,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/validation/features.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=features.test.d.ts.map

package/dist/validation/features.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"features.test.d.ts","sourceRoot":"","sources":["../../src/validation/features.test.ts"],"names":[],"mappings":""}

package/dist/validation/features.test.js

@@ -0,0 +1,273 @@
+import { describe, it } from "mocha";
+import { expect } from "chai";
+import * as ts from "typescript";
+import { validateUnsupportedFeatures } from "./features.js";
+import { createDiagnosticsCollector } from "../types/diagnostic.js";
+import { DotnetMetadataRegistry } from "../dotnet-metadata.js";
+import { BindingRegistry } from "../program/bindings.js";
+import { createClrBindingsResolver } from "../resolver/clr-bindings-resolver.js";
+import { createBinding } from "../ir/binding/index.js";
+const createTestProgram = (source, fileName = "test.ts") => {
+    const sourceFile = ts.createSourceFile(fileName, source, ts.ScriptTarget.Latest, true, ts.ScriptKind.TS);
+    const compilerOptions = {
+        target: ts.ScriptTarget.ES2022,
+        module: ts.ModuleKind.NodeNext,
+        strict: true,
+        noEmit: true,
+        skipLibCheck: true,
+    };
+    const host = ts.createCompilerHost(compilerOptions);
+    const originalGetSourceFile = host.getSourceFile;
+    host.getSourceFile = (name, languageVersionOrOptions, onError, shouldCreateNewSourceFile) => {
+        if (name === fileName) {
+            return sourceFile;
+        }
+        return originalGetSourceFile.call(host, name, languageVersionOrOptions, onError, shouldCreateNewSourceFile);
+    };
+    const program = ts.createProgram([fileName], compilerOptions, host);
+    const checker = program.getTypeChecker();
+    return {
+        program,
+        checker,
+        options: {
+            projectRoot: "/test",
+            sourceRoot: "/test",
+            rootNamespace: "Test",
+        },
+        sourceFiles: [sourceFile],
+        declarationSourceFiles: [],
+        metadata: new DotnetMetadataRegistry(),
+        bindings: new BindingRegistry(),
+        clrResolver: createClrBindingsResolver("/test"),
+        binding: createBinding(checker),
+        sourceFile,
+    };
+};
+const runValidation = (sourceText) => {
+    const testProgram = createTestProgram(sourceText);
+    return validateUnsupportedFeatures(testProgram.sourceFile, testProgram, createDiagnosticsCollector());
+};
+const hasDiagnostic = (result, code, messageFragment) => result.diagnostics.some((d) => d.code === code &&
+    (messageFragment === undefined || d.message.includes(messageFragment)));
+describe("validateUnsupportedFeatures", () => {
+    describe("TSN2001", () => {
+        it("rejects with-statement in strict AOT mode", () => {
+            const result = runValidation(`
+        const scope = { x: 1 };
+        with (scope) {
+          console.log(x);
+        }
+      `);
+            expect(result.hasErrors).to.equal(true);
+            expect(hasDiagnostic(result, "TSN2001", "'with' statement is not supported in strict AOT mode")).to.equal(true);
+        });
+        it("rejects nested with-statement in function body", () => {
+            const result = runValidation(`
+        function f(scope: { x: number }): number {
+          with (scope) {
+            return x;
+          }
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "'with' statement")).to.equal(true);
+        });
+        it("does not flag object property named 'with'", () => {
+            const result = runValidation(`
+        const obj = { with: 1 };
+        console.log(obj.with);
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "'with' statement")).to.equal(false);
+        });
+        it("allows import.meta.url", () => {
+            const result = runValidation(`
+        const url = import.meta.url;
+        console.log(url);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("allows import.meta.filename", () => {
+            const result = runValidation(`
+        const file = import.meta.filename;
+        console.log(file);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("allows import.meta.dirname", () => {
+            const result = runValidation(`
+        const dir = import.meta.dirname;
+        console.log(dir);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("rejects unsupported import.meta fields", () => {
+            const result = runValidation(`
+        const bad = import.meta.env;
+        console.log(bad);
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "import.meta")).to.equal(true);
+        });
+        it("rejects bare import.meta", () => {
+            const result = runValidation(`
+        const meta = import.meta;
+        console.log(meta);
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "import.meta")).to.equal(true);
+        });
+        it("rejects dynamic import() when returned as a value", () => {
+            const result = runValidation(`
+        async function load() {
+          return import("./module.js");
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "Dynamic import()")).to.equal(true);
+        });
+        it("rejects await import() when module namespace is consumed", () => {
+            const result = runValidation(`
+        async function load() {
+          const module = await import("./module.js");
+          return module;
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "Dynamic import()")).to.equal(true);
+        });
+        it("allows dynamic import() in side-effect form", () => {
+            const result = runValidation(`
+        async function load() {
+          await import("./module.js");
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "Dynamic import()")).to.equal(false);
+        });
+        it("rejects dynamic import() side-effect form with non-literal specifier", () => {
+            const result = runValidation(`
+        async function load(name: string) {
+          await import(name);
+        }
+      `);
+            expect(hasDiagnostic(result, "TSN2001", "Dynamic import()")).to.equal(true);
+        });
+        it("does not reject static import declarations", () => {
+            const result = runValidation(`
+        import { value } from "./module.js";
+        console.log(value);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+        it("does not reject import type queries", () => {
+            const result = runValidation(`
+        type Foo = import("./module.js").Foo;
+        const x: Foo | undefined = undefined;
+        console.log(x);
+      `);
+            expect(hasDiagnostic(result, "TSN2001")).to.equal(false);
+        });
+    });
+    describe("Promise chaining support (TSN3011 retired)", () => {
+        it("allows Promise.then chaining", () => {
+            const result = runValidation(`
+        const p: Promise<number> = Promise.resolve(1);
+        p.then((x) => x + 1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows Promise.catch chaining", () => {
+            const result = runValidation(`
+        const p: Promise<number> = Promise.resolve(1);
+        p.catch(() => 0);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows Promise.finally chaining", () => {
+            const result = runValidation(`
+        const p: Promise<number> = Promise.resolve(1);
+        p.finally(() => {});
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows Promise chain composition", () => {
+            const result = runValidation(`
+        const p: Promise<number> = Promise.resolve(1);
+        p.then((x) => x + 1).catch(() => 0).finally(() => {});
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows chaining on Promise returned by async functions", () => {
+            const result = runValidation(`
+        async function load(): Promise<number> {
+          return 1;
+        }
+        load().then((x) => x + 1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("allows optional chaining on Promise receivers", () => {
+            const result = runValidation(`
+        const p: Promise<number> | undefined = Promise.resolve(1);
+        p?.then((x) => x + 1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag class methods named then", () => {
+            const result = runValidation(`
+        class Builder {
+          then(v: number): number {
+            return v + 1;
+          }
+        }
+        const b = new Builder();
+        b.then(1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag class methods named catch", () => {
+            const result = runValidation(`
+        class Catcher {
+          catch(v: number): number {
+            return v + 1;
+          }
+        }
+        const c = new Catcher();
+        c.catch(1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag class methods named finally", () => {
+            const result = runValidation(`
+        class Finalizer {
+          finally(v: number): number {
+            return v + 1;
+          }
+        }
+        const f = new Finalizer();
+        f.finally(1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag typed object callbacks named then", () => {
+            const result = runValidation(`
+        type Builder = { then(v: number): number };
+        const b: Builder = { then: (v: number) => v + 1 };
+        b.then(1);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag non-call property access to 'then'", () => {
+            const result = runValidation(`
+        const obj = { then: 123 };
+        const value = obj.then;
+        console.log(value);
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+        it("does not flag regular function name 'then'", () => {
+            const result = runValidation(`
+        function then(v: number): number {
+          return v + 1;
+        }
+        console.log(then(1));
+      `);
+            expect(hasDiagnostic(result, "TSN3011")).to.equal(false);
+        });
+    });
+});
+//# sourceMappingURL=features.test.js.map

package/dist/validation/features.test.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"features.test.js","sourceRoot":"","sources":["../../src/validation/features.test.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,EAAE,EAAE,MAAM,OAAO,CAAC;AACrC,OAAO,EAAE,MAAM,EAAE,MAAM,MAAM,CAAC;AAC9B,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,0BAA0B,EAAE,MAAM,wBAAwB,CAAC;AAEpE,OAAO,EAAE,sBAAsB,EAAE,MAAM,uBAAuB,CAAC;AAC/D,OAAO,EAAE,eAAe,EAAE,MAAM,wBAAwB,CAAC;AACzD,OAAO,EAAE,yBAAyB,EAAE,MAAM,sCAAsC,CAAC;AACjF,OAAO,EAAE,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAIvD,MAAM,iBAAiB,GAAG,CACxB,MAAc,EACd,QAAQ,GAAG,SAAS,EACoC,EAAE;IAC1D,MAAM,UAAU,GAAG,EAAE,CAAC,gBAAgB,CACpC,QAAQ,EACR,MAAM,EACN,EAAE,CAAC,YAAY,CAAC,MAAM,EACtB,IAAI,EACJ,EAAE,CAAC,UAAU,CAAC,EAAE,CACjB,CAAC;IAEF,MAAM,eAAe,GAAuB;QAC1C,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;QAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,QAAQ;QAC9B,MAAM,EAAE,IAAI;QACZ,MAAM,EAAE,IAAI;QACZ,YAAY,EAAE,IAAI;KACnB,CAAC;IAEF,MAAM,IAAI,GAAG,EAAE,CAAC,kBAAkB,CAAC,eAAe,CAAC,CAAC;IACpD,MAAM,qBAAqB,GAAG,IAAI,CAAC,aAAa,CAAC;IACjD,IAAI,CAAC,aAAa,GAAG,CACnB,IAAY,EACZ,wBAAsE,EACtE,OAAmC,EACnC,yBAAmC,EACnC,EAAE;QACF,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;YACtB,OAAO,UAAU,CAAC;QACpB,CAAC;QACD,OAAO,qBAAqB,CAAC,IAAI,CAC/B,IAAI,EACJ,IAAI,EACJ,wBAAwB,EACxB,OAAO,EACP,yBAAyB,CAC1B,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC,CAAC,QAAQ,CAAC,EAAE,eAAe,EAAE,IAAI,CAAC,CAAC;IACpE,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IAEzC,OAAO;QACL,OAAO;QACP,OAAO;QACP,OAAO,EAAE;YACP,WAAW,EAAE,OAAO;YACpB,UAAU,EAAE,OAAO;YACnB,aAAa,EAAE,MAAM;SACtB;QACD,WAAW,EAAE,CAAC,UAAU,CAAC;QACzB,sBAAsB,EAAE,EAAE;QAC1B,QAAQ,EAAE,IAAI,sBAAsB,EAAE;QACtC,QAAQ,EAAE,IAAI,eAAe,EAAE;QAC/B,WAAW,EAAE,yBAAyB,CAAC,OAAO,CAAC;QAC/C,OAAO,EAAE,aAAa,CAAC,OAAO,CAAC;QAC/B,UAAU;KACX,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,UAAkB,EAAoB,EAAE;IAC7D,MAAM,WAAW,GAAG,iBAAiB,CAAC,UAAU,CAAC,CAAC;IAClD,OAAO,2BAA2B,CAChC,WAAW,CAAC,UAAU,EACtB,WAAW,EACX,0BAA0B,EAAE,CAC7B,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,MAAwB,EACxB,IAAY,EACZ,eAAwB,EACxB,EAAE,CACF,MAAM,CAAC,WAAW,CAAC,IAAI,CACrB,CAAC,CAAC,EAAE,EAAE,CACJ,CAAC,CAAC,IAAI,KAAK,IAAI;IACf,CAAC,eAAe,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,CAAC,QAAQ,CAAC,eAAe,CAAC,CAAC,CACzE,CAAC;AAEJ,QAAQ,CAAC,6BAA6B,EAAE,GAAG,EAAE;IAC3C,QAAQ,CAAC,SAAS,EAAE,GAAG,EAAE;QACvB,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;OAK5B,CAAC,CAAC;YAEH,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;YACxC,MAAM,CACJ,aAAa,CACX,MAAM,EACN,SAAS,EACT,sDAAsD,CACvD,CACF,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACnB,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,gDAAgD,EAAE,GAAG,EAAE;YACxD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;OAM5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,KAAK,CACN,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wBAAwB,EAAE,GAAG,EAAE;YAChC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6BAA6B,EAAE,GAAG,EAAE;YACrC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4BAA4B,EAAE,GAAG,EAAE;YACpC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0BAA0B,EAAE,GAAG,EAAE;YAClC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;QACzE,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,mDAAmD,EAAE,GAAG,EAAE;YAC3D,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,0DAA0D,EAAE,GAAG,EAAE;YAClE,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;OAK5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,6CAA6C,EAAE,GAAG,EAAE;YACrD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,KAAK,CACN,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,sEAAsE,EAAE,GAAG,EAAE;YAC9E,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,EAAE,kBAAkB,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CACnE,IAAI,CACL,CAAC;QACJ,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,qCAAqC,EAAE,GAAG,EAAE;YAC7C,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;IAEH,QAAQ,CAAC,4CAA4C,EAAE,GAAG,EAAE;QAC1D,EAAE,CAAC,8BAA8B,EAAE,GAAG,EAAE;YACtC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+BAA+B,EAAE,GAAG,EAAE;YACvC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iCAAiC,EAAE,GAAG,EAAE;YACzC,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kCAAkC,EAAE,GAAG,EAAE;YAC1C,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wDAAwD,EAAE,GAAG,EAAE;YAChE,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;OAK5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,+CAA+C,EAAE,GAAG,EAAE;YACvD,MAAM,MAAM,GAAG,aAAa,CAAC;;;OAG5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,wCAAwC,EAAE,GAAG,EAAE;YAChD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;OAQ5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,yCAAyC,EAAE,GAAG,EAAE;YACjD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;OAQ5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,2CAA2C,EAAE,GAAG,EAAE;YACnD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;;;;OAQ5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,iDAAiD,EAAE,GAAG,EAAE;YACzD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,kDAAkD,EAAE,GAAG,EAAE;YAC1D,MAAM,MAAM,GAAG,aAAa,CAAC;;;;OAI5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;QAEH,EAAE,CAAC,4CAA4C,EAAE,GAAG,EAAE;YACpD,MAAM,MAAM,GAAG,aAAa,CAAC;;;;;OAK5B,CAAC,CAAC;YAEH,MAAM,CAAC,aAAa,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC"}

package/dist/validation/generics.d.ts

@@ -7,5 +7,5 @@ import { DiagnosticsCollector } from "../types/diagnostic.js";
 /**
  * Validate generic types and constraints
  */
-export declare const validateGenerics: (sourceFile: ts.SourceFile, _program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+export declare const validateGenerics: (_sourceFile: ts.SourceFile, _program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
 //# sourceMappingURL=generics.d.ts.map

package/dist/validation/generics.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"generics.d.ts","sourceRoot":"","sources":["../../src/validation/generics.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAiB,MAAM,wBAAwB,CAAC;AAG7E;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBA4BF,CAAC"}
+{"version":3,"file":"generics.d.ts","sourceRoot":"","sources":["../../src/validation/generics.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EAAE,oBAAoB,EAAE,MAAM,wBAAwB,CAAC;AAE9D;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,aAAa,EAAE,CAAC,UAAU,EAC1B,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBAGF,CAAC"}

package/dist/validation/generics.js

@@ -1,35 +1,11 @@
 /**
  * Generic type validation
  */
-import * as ts from "typescript";
-import { addDiagnostic } from "../types/diagnostic.js";
-import { checkForSymbolIndexSignature } from "../ir/generic-validator.js";
 /**
  * Validate generic types and constraints
  */
-export const validateGenerics = (sourceFile, _program, collector) => {
-    // Debug: log when validation runs
-    if (process.env.DEBUG_GENERICS) {
-        console.log(`[validateGenerics] Checking: ${sourceFile.fileName}`);
-    }
-    const visitor = (node) => {
-        // Only check for truly unsupported features (no static C# mapping)
-        // Symbol index signatures - TSN7203
-        if (ts.isIndexSignatureDeclaration(node)) {
-            const symbolDiag = checkForSymbolIndexSignature(node, sourceFile);
-            if (symbolDiag) {
-                collector = addDiagnostic(collector, symbolDiag);
-            }
-        }
-        // Explicitly visit interface and type literal members
-        if (ts.isInterfaceDeclaration(node) || ts.isTypeLiteralNode(node)) {
-            for (const member of node.members) {
-                visitor(member);
-            }
-        }
-        ts.forEachChild(node, visitor);
-    };
-    visitor(sourceFile);
+export const validateGenerics = (_sourceFile, _program, collector) => {
+    // TSN7203 retired; no generic-only blockers remain in this pass.
     return collector;
 };
 //# sourceMappingURL=generics.js.map

package/dist/validation/generics.js.map

@@ -1 +1 @@
-{"version":3,"file":"generics.js","sourceRoot":"","sources":["../../src/validation/generics.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAAwB,aAAa,EAAE,MAAM,wBAAwB,CAAC;AAC7E,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,kCAAkC;IAClC,IAAI,OAAO,CAAC,GAAG,CAAC,cAAc,EAAE,CAAC;QAC/B,OAAO,CAAC,GAAG,CAAC,gCAAgC,UAAU,CAAC,QAAQ,EAAE,CAAC,CAAC;IACrE,CAAC;IAED,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,mEAAmE;QACnE,oCAAoC;QACpC,IAAI,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,UAAU,GAAG,4BAA4B,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YAClE,IAAI,UAAU,EAAE,CAAC;gBACf,SAAS,GAAG,aAAa,CAAC,SAAS,EAAE,UAAU,CAAC,CAAC;YACnD,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAClE,KAAK,MAAM,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;gBAClC,OAAO,CAAC,MAAM,CAAC,CAAC;YAClB,CAAC;QACH,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
+{"version":3,"file":"generics.js","sourceRoot":"","sources":["../../src/validation/generics.ts"],"names":[],"mappings":"AAAA;;GAEG;AAMH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,WAA0B,EAC1B,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,iEAAiE;IACjE,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/validation/imports.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../src/validation/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AAIhC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAuBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBA0CF,CAAC"}
+{"version":3,"file":"imports.d.ts","sourceRoot":"","sources":["../../src/validation/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AAKhC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAuBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,yBAAyB,GACpC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAmFF,CAAC"}

package/dist/validation/imports.js

@@ -4,21 +4,26 @@
 import * as ts from "typescript";
 import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
 import { resolveImport } from "../resolver.js";
+import { resolveNodeModuleAlias } from "../resolver/node-module-aliases.js";
 import { getNodeLocation } from "./helpers.js";
 /**
  * Validate all imports in a source file
  */
 export const validateImports = (sourceFile, program, collector) => {
+    let currentCollector = collector;
     const visitor = (node) => {
         if (ts.isImportDeclaration(node)) {
-            return validateImportDeclaration(node, sourceFile, program, collector);
+            currentCollector = validateImportDeclaration(node, sourceFile, program, currentCollector);
+            return;
         }
         if (ts.isImportTypeNode(node)) {
-            return addDiagnostic(collector, createDiagnostic("TSN2001", "error", "Import type syntax not supported", getNodeLocation(sourceFile, node), "Use regular imports instead"));
+            // Supported: type-only imports are erased at runtime.
+            return;
         }
-        return ts.forEachChild(node, visitor) ?? collector;
+        ts.forEachChild(node, visitor);
     };
-    return visitor(sourceFile);
+    visitor(sourceFile);
+    return currentCollector;
 };
 /**
  * Validate a specific import declaration
@@ -28,11 +33,30 @@ export const validateImportDeclaration = (node, sourceFile, program, collector)
         return addDiagnostic(collector, createDiagnostic("TSN2001", "error", "Dynamic imports not supported", getNodeLocation(sourceFile, node), "Use static import statements"));
     }
     const importPath = node.moduleSpecifier.text;
-    const result = resolveImport(importPath, sourceFile.fileName, program.options.sourceRoot, { clrResolver: program.clrResolver, bindings: program.bindings });
+    const result = resolveImport(importPath, sourceFile.fileName, program.options.sourceRoot, {
+        clrResolver: program.clrResolver,
+        bindings: program.bindings,
+        surface: program.options.surface,
+    });
     if (!result.ok) {
         const location = getNodeLocation(sourceFile, node.moduleSpecifier);
         return addDiagnostic(collector, { ...result.error, location });
     }
+    const nodeAlias = resolveNodeModuleAlias(importPath);
+    if (nodeAlias) {
+        if (node.importClause?.name) {
+            return addDiagnostic(collector, createDiagnostic("TSN1004", "error", `Default import is not supported for "${importPath}"`, getNodeLocation(sourceFile, node.importClause.name), `Use named import: import { ${nodeAlias.moduleName} } from "${importPath}";`));
+        }
+        if (node.importClause?.namedBindings &&
+            ts.isNamedImports(node.importClause.namedBindings)) {
+            for (const spec of node.importClause.namedBindings.elements) {
+                const importedName = (spec.propertyName ?? spec.name).text;
+                if (importedName !== nodeAlias.moduleName) {
+                    return addDiagnostic(collector, createDiagnostic("TSN1004", "error", `Unsupported member import "${importedName}" from "${importPath}"`, getNodeLocation(sourceFile, spec), `Only "${nodeAlias.moduleName}" is exported from "${importPath}" in the Tsonic Node surface`));
+                }
+            }
+        }
+    }
     // Check for default imports from local modules (we might want to restrict this)
     if (result.value.isLocal && node.importClause?.name) {
         return addDiagnostic(collector, createDiagnostic("TSN2001", "warning", "Default imports from local modules may not work as expected", getNodeLocation(sourceFile, node.importClause), "Consider using named imports"));

package/dist/validation/imports.js.map

@@ -1 +1 @@
-{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../src/validation/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,CAAC,IAAa,EAAwB,EAAE;QACtD,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,OAAO,yBAAyB,CAAC,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;QACzE,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,kCAAkC,EAClC,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,6BAA6B,CAC9B,CACF,CAAC;QACJ,CAAC;QAED,OAAO,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,IAAI,SAAS,CAAC;IACrD,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC,UAAU,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA0B,EAC1B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9C,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,+BAA+B,EAC/B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,8BAA8B,CAC/B,CACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,aAAa,CAC1B,UAAU,EACV,UAAU,CAAC,QAAQ,EACnB,OAAO,CAAC,OAAO,CAAC,UAAU,EAC1B,EAAE,WAAW,EAAE,OAAO,CAAC,WAAW,EAAE,QAAQ,EAAE,OAAO,CAAC,QAAQ,EAAE,CACjE,CAAC;IAEF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;QACnE,OAAO,aAAa,CAAC,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,gFAAgF;IAChF,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC;QACpD,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,SAAS,EACT,6DAA6D,EAC7D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,EAC9C,8BAA8B,CAC/B,CACF,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}
+{"version":3,"file":"imports.js","sourceRoot":"","sources":["../../src/validation/imports.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,aAAa,EAAE,MAAM,gBAAgB,CAAC;AAC/C,OAAO,EAAE,sBAAsB,EAAE,MAAM,oCAAoC,CAAC;AAC5E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAE/C;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,IAAI,gBAAgB,GAAG,SAAS,CAAC;IACjC,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,gBAAgB,GAAG,yBAAyB,CAC1C,IAAI,EACJ,UAAU,EACV,OAAO,EACP,gBAAgB,CACjB,CAAC;YACF,OAAO;QACT,CAAC;QAED,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,sDAAsD;YACtD,OAAO;QACT,CAAC;QAED,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;IACjC,CAAC,CAAC;IAEF,OAAO,CAAC,UAAU,CAAC,CAAC;IACpB,OAAO,gBAAgB,CAAC;AAC1B,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,IAA0B,EAC1B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,eAAe,CAAC,EAAE,CAAC;QAC9C,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,+BAA+B,EAC/B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,8BAA8B,CAC/B,CACF,CAAC;IACJ,CAAC;IAED,MAAM,UAAU,GAAG,IAAI,CAAC,eAAe,CAAC,IAAI,CAAC;IAC7C,MAAM,MAAM,GAAG,aAAa,CAC1B,UAAU,EACV,UAAU,CAAC,QAAQ,EACnB,OAAO,CAAC,OAAO,CAAC,UAAU,EAC1B;QACE,WAAW,EAAE,OAAO,CAAC,WAAW;QAChC,QAAQ,EAAE,OAAO,CAAC,QAAQ;QAC1B,OAAO,EAAE,OAAO,CAAC,OAAO,CAAC,OAAO;KACjC,CACF,CAAC;IAEF,IAAI,CAAC,MAAM,CAAC,EAAE,EAAE,CAAC;QACf,MAAM,QAAQ,GAAG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,eAAe,CAAC,CAAC;QACnE,OAAO,aAAa,CAAC,SAAS,EAAE,EAAE,GAAG,MAAM,CAAC,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,SAAS,GAAG,sBAAsB,CAAC,UAAU,CAAC,CAAC;IACrD,IAAI,SAAS,EAAE,CAAC;QACd,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC;YAC5B,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,wCAAwC,UAAU,GAAG,EACrD,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EACnD,8BAA8B,SAAS,CAAC,UAAU,YAAY,UAAU,IAAI,CAC7E,CACF,CAAC;QACJ,CAAC;QAED,IACE,IAAI,CAAC,YAAY,EAAE,aAAa;YAChC,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,EAClD,CAAC;YACD,KAAK,MAAM,IAAI,IAAI,IAAI,CAAC,YAAY,CAAC,aAAa,CAAC,QAAQ,EAAE,CAAC;gBAC5D,MAAM,YAAY,GAAG,CAAC,IAAI,CAAC,YAAY,IAAI,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC;gBAC3D,IAAI,YAAY,KAAK,SAAS,CAAC,UAAU,EAAE,CAAC;oBAC1C,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,8BAA8B,YAAY,WAAW,UAAU,GAAG,EAClE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,SAAS,SAAS,CAAC,UAAU,uBAAuB,UAAU,8BAA8B,CAC7F,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,gFAAgF;IAChF,IAAI,MAAM,CAAC,KAAK,CAAC,OAAO,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,EAAE,CAAC;QACpD,OAAO,aAAa,CAClB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,SAAS,EACT,6DAA6D,EAC7D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,YAAY,CAAC,EAC9C,8BAA8B,CAC/B,CACF,CAAC;IACJ,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC"}

package/dist/validation/imports.test.d.ts

@@ -0,0 +1,2 @@
+export {};
+//# sourceMappingURL=imports.test.d.ts.map

package/dist/validation/imports.test.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"imports.test.d.ts","sourceRoot":"","sources":["../../src/validation/imports.test.ts"],"names":[],"mappings":""}