@tsonic/frontend 0.0.1 → 0.0.2

package/dist/types/test-harness.js

@@ -0,0 +1,127 @@
+/**
+ * Test harness for support types tests.
+ * Creates a real TypeScript program with support type definitions
+ * and provides helpers to extract ts.Type objects.
+ */
+import * as ts from "typescript";
+import * as path from "path";
+import * as os from "os";
+import * as fs from "fs";
+/**
+ * Support type definitions (from _support/types.d.ts)
+ */
+const SUPPORT_TYPES_DEFS = `
+// Support types for CLR interop
+export type TSByRef<T> = { value: T };
+export type TSUnsafePointer<T> = { __brand: "unsafe-pointer"; __type: T };
+export type TSDelegate<TArgs extends any[], TReturn> = { __brand: "delegate"; __args: TArgs; __return: TReturn };
+export type TSNullable<T> = { __brand: "nullable"; __value: T };
+export type TSFixed<T, N extends number> = { __brand: "fixed"; __type: T; __size: N };
+export type TSStackAlloc<T> = { __brand: "stackalloc"; __type: T };
+`;
+/**
+ * Test code that uses the support types
+ */
+const TEST_CODE = `
+import type { TSByRef, TSUnsafePointer, TSDelegate, TSNullable, TSFixed, TSStackAlloc } from "./support-types";
+
+// Test variables with support types
+const byRef: TSByRef<number> = { value: 42 };
+const unsafePtr: TSUnsafePointer<string> = null!;
+const delegate: TSDelegate<[string], void> = null!;
+const nullable: TSNullable<number> = null!;
+const fixed: TSFixed<number, 10> = null!;
+const stackAlloc: TSStackAlloc<number> = null!;
+`;
+/**
+ * Create a test harness with a real TypeScript program.
+ * Returns program, checker, and source file for testing.
+ */
+export const createTestHarness = () => {
+    // Create temporary directory
+    const tmpDir = fs.mkdtempSync(path.join(os.tmpdir(), "tsonic-test-"));
+    // Write support types definition file
+    const supportTypesPath = path.join(tmpDir, "support-types.d.ts");
+    fs.writeFileSync(supportTypesPath, SUPPORT_TYPES_DEFS);
+    // Write test code file
+    const testCodePath = path.join(tmpDir, "test.ts");
+    fs.writeFileSync(testCodePath, TEST_CODE);
+    // Create TypeScript program
+    const program = ts.createProgram({
+        rootNames: [testCodePath],
+        options: {
+            target: ts.ScriptTarget.ES2020,
+            module: ts.ModuleKind.ES2020,
+            moduleResolution: ts.ModuleResolutionKind.Node10,
+            strict: true,
+            skipLibCheck: true,
+            noEmit: true,
+        },
+    });
+    const checker = program.getTypeChecker();
+    const sourceFile = program.getSourceFile(testCodePath);
+    if (!sourceFile) {
+        throw new Error("Failed to get source file from test program");
+    }
+    const cleanup = () => {
+        // Clean up temporary files
+        fs.rmSync(tmpDir, { recursive: true, force: true });
+    };
+    return {
+        program,
+        checker,
+        sourceFile,
+        cleanup,
+    };
+};
+/**
+ * Extract the type of a variable declaration by name.
+ * Gets the type from the type annotation node, not the inferred type.
+ */
+export const getVariableType = (sourceFile, checker, variableName) => {
+    let foundType = undefined;
+    const visit = (node) => {
+        if (ts.isVariableDeclaration(node)) {
+            if (ts.isIdentifier(node.name) && node.name.text === variableName) {
+                // Get type from type annotation if present
+                if (node.type) {
+                    foundType = checker.getTypeFromTypeNode(node.type);
+                }
+                else {
+                    foundType = checker.getTypeAtLocation(node);
+                }
+            }
+        }
+        ts.forEachChild(node, visit);
+    };
+    visit(sourceFile);
+    return foundType;
+};
+/**
+ * Get all support type instances from the test harness.
+ */
+export const getSupportTypes = (harness) => {
+    const byRef = getVariableType(harness.sourceFile, harness.checker, "byRef");
+    const unsafePointer = getVariableType(harness.sourceFile, harness.checker, "unsafePtr");
+    const delegate = getVariableType(harness.sourceFile, harness.checker, "delegate");
+    const nullable = getVariableType(harness.sourceFile, harness.checker, "nullable");
+    const fixed = getVariableType(harness.sourceFile, harness.checker, "fixed");
+    const stackAlloc = getVariableType(harness.sourceFile, harness.checker, "stackAlloc");
+    if (!byRef ||
+        !unsafePointer ||
+        !delegate ||
+        !nullable ||
+        !fixed ||
+        !stackAlloc) {
+        throw new Error("Failed to extract all support types from test harness");
+    }
+    return {
+        byRef,
+        unsafePointer,
+        delegate,
+        nullable,
+        fixed,
+        stackAlloc,
+    };
+};
+//# sourceMappingURL=test-harness.js.map

package/dist/types/test-harness.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"test-harness.js","sourceRoot":"","sources":["../../src/types/test-harness.ts"],"names":[],"mappings":"AAAA;;;;GAIG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,MAAM,CAAC;AAC7B,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AACzB,OAAO,KAAK,EAAE,MAAM,IAAI,CAAC;AAEzB;;GAEG;AACH,MAAM,kBAAkB,GAAG;;;;;;;;CAQ1B,CAAC;AAEF;;GAEG;AACH,MAAM,SAAS,GAAG;;;;;;;;;;CAUjB,CAAC;AASF;;;GAGG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,GAAgB,EAAE;IACjD,6BAA6B;IAC7B,MAAM,MAAM,GAAG,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,cAAc,CAAC,CAAC,CAAC;IAEtE,sCAAsC;IACtC,MAAM,gBAAgB,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,oBAAoB,CAAC,CAAC;IACjE,EAAE,CAAC,aAAa,CAAC,gBAAgB,EAAE,kBAAkB,CAAC,CAAC;IAEvD,uBAAuB;IACvB,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAClD,EAAE,CAAC,aAAa,CAAC,YAAY,EAAE,SAAS,CAAC,CAAC;IAE1C,4BAA4B;IAC5B,MAAM,OAAO,GAAG,EAAE,CAAC,aAAa,CAAC;QAC/B,SAAS,EAAE,CAAC,YAAY,CAAC;QACzB,OAAO,EAAE;YACP,MAAM,EAAE,EAAE,CAAC,YAAY,CAAC,MAAM;YAC9B,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,MAAM;YAC5B,gBAAgB,EAAE,EAAE,CAAC,oBAAoB,CAAC,MAAM;YAChD,MAAM,EAAE,IAAI;YACZ,YAAY,EAAE,IAAI;YAClB,MAAM,EAAE,IAAI;SACb;KACF,CAAC,CAAC;IAEH,MAAM,OAAO,GAAG,OAAO,CAAC,cAAc,EAAE,CAAC;IACzC,MAAM,UAAU,GAAG,OAAO,CAAC,aAAa,CAAC,YAAY,CAAC,CAAC;IAEvD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,MAAM,IAAI,KAAK,CAAC,6CAA6C,CAAC,CAAC;IACjE,CAAC;IAED,MAAM,OAAO,GAAG,GAAG,EAAE;QACnB,2BAA2B;QAC3B,EAAE,CAAC,MAAM,CAAC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACtD,CAAC,CAAC;IAEF,OAAO;QACL,OAAO;QACP,OAAO;QACP,UAAU;QACV,OAAO;KACR,CAAC;AACJ,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,OAAuB,EACvB,YAAoB,EACC,EAAE;IACvB,IAAI,SAAS,GAAwB,SAAS,CAAC;IAE/C,MAAM,KAAK,GAAG,CAAC,IAAa,EAAQ,EAAE;QACpC,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,YAAY,EAAE,CAAC;gBAClE,2CAA2C;gBAC3C,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBACd,SAAS,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBACrD,CAAC;qBAAM,CAAC;oBACN,SAAS,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;gBAC9C,CAAC;YACH,CAAC;QACH,CAAC;QACD,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IAC/B,CAAC,CAAC;IAEF,KAAK,CAAC,UAAU,CAAC,CAAC;IAClB,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAoB,EAQpB,EAAE;IACF,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,aAAa,GAAG,eAAe,CACnC,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,OAAO,EACf,WAAW,CACZ,CAAC;IACF,MAAM,QAAQ,GAAG,eAAe,CAC9B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,OAAO,EACf,UAAU,CACX,CAAC;IACF,MAAM,QAAQ,GAAG,eAAe,CAC9B,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,OAAO,EACf,UAAU,CACX,CAAC;IACF,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,UAAU,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;IAC5E,MAAM,UAAU,GAAG,eAAe,CAChC,OAAO,CAAC,UAAU,EAClB,OAAO,CAAC,OAAO,EACf,YAAY,CACb,CAAC;IAEF,IACE,CAAC,KAAK;QACN,CAAC,aAAa;QACd,CAAC,QAAQ;QACT,CAAC,QAAQ;QACT,CAAC,KAAK;QACN,CAAC,UAAU,EACX,CAAC;QACD,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IAED,OAAO;QACL,KAAK;QACL,aAAa;QACb,QAAQ;QACR,QAAQ;QACR,KAAK;QACL,UAAU;KACX,CAAC;AACJ,CAAC,CAAC"}

package/dist/validation/aot-safety.d.ts

@@ -0,0 +1,24 @@
+/**
+ * AOT Safety Validation
+ *
+ * Detects patterns that would require C# `dynamic` and rejects them early:
+ * - `any` type usage
+ * - Dynamic member access on untyped objects
+ * - Object literals without contextual nominal types
+ *
+ * This ensures NativeAOT-compatible, predictable-performance output.
+ */
+import * as ts from "typescript";
+import { TsonicProgram } from "../program.js";
+import { DiagnosticsCollector } from "../types/diagnostic.js";
+/**
+ * Validate a source file for AOT safety violations.
+ *
+ * Detects:
+ * - TSN7401: 'any' type usage
+ * - TSN7402: Dynamic member access
+ * - TSN7403: Object literal without contextual type
+ * - TSN7405: Untyped lambda parameter
+ */
+export declare const validateAotSafety: (sourceFile: ts.SourceFile, program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+//# sourceMappingURL=aot-safety.d.ts.map

package/dist/validation/aot-safety.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"aot-safety.d.ts","sourceRoot":"","sources":["../../src/validation/aot-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AAGhC;;;;;;;;GAQG;AACH,eAAO,MAAM,iBAAiB,GAC5B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAmHF,CAAC"}

package/dist/validation/aot-safety.js

@@ -0,0 +1,114 @@
+/**
+ * AOT Safety Validation
+ *
+ * Detects patterns that would require C# `dynamic` and rejects them early:
+ * - `any` type usage
+ * - Dynamic member access on untyped objects
+ * - Object literals without contextual nominal types
+ *
+ * This ensures NativeAOT-compatible, predictable-performance output.
+ */
+import * as ts from "typescript";
+import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { getNodeLocation } from "./helpers.js";
+/**
+ * Validate a source file for AOT safety violations.
+ *
+ * Detects:
+ * - TSN7401: 'any' type usage
+ * - TSN7402: Dynamic member access
+ * - TSN7403: Object literal without contextual type
+ * - TSN7405: Untyped lambda parameter
+ */
+export const validateAotSafety = (sourceFile, program, collector) => {
+    const checker = program.checker;
+    const visitor = (node) => {
+        // Check for explicit 'any' type annotations
+        if (ts.isTypeReferenceNode(node)) {
+            const typeName = node.typeName;
+            if (ts.isIdentifier(typeName) && typeName.text === "any") {
+                collector = addDiagnostic(collector, createDiagnostic("TSN7401", "error", "'any' type is not supported in AOT mode. Provide a concrete type, use Dictionary<string, T>, or define a nominal type.", getNodeLocation(sourceFile, node), "Replace 'any' with a specific type like 'object', 'unknown', or a custom interface."));
+            }
+        }
+        // Check for 'any' keyword in type position
+        if (node.kind === ts.SyntaxKind.AnyKeyword) {
+            const parent = node.parent;
+            // Skip if this is inside a type assertion (as any) - we'll handle that separately
+            if (!ts.isAsExpression(parent) && !ts.isTypeAssertionExpression(parent)) {
+                collector = addDiagnostic(collector, createDiagnostic("TSN7401", "error", "'any' type is not supported in AOT mode. Provide a concrete type, use Dictionary<string, T>, or define a nominal type.", getNodeLocation(sourceFile, node), "Replace 'any' with a specific type like 'object', 'unknown', or a custom interface."));
+            }
+        }
+        // Check for untyped function parameters
+        if (ts.isParameter(node) && !node.type) {
+            // Check if this is in a callback/arrow context where type might be inferred
+            const parent = node.parent;
+            if (ts.isFunctionDeclaration(parent) ||
+                ts.isMethodDeclaration(parent) ||
+                ts.isConstructorDeclaration(parent)) {
+                // Top-level function/method parameters must have explicit types
+                collector = addDiagnostic(collector, createDiagnostic("TSN7405", "error", "Function parameter must have an explicit type annotation.", getNodeLocation(sourceFile, node), "Add a type annotation to this parameter."));
+            }
+        }
+        // Check for object literals without contextual type
+        if (ts.isObjectLiteralExpression(node)) {
+            const contextualType = checker.getContextualType(node);
+            if (!contextualType) {
+                // No contextual type - check if parent provides one
+                const parent = node.parent;
+                // Allow if it's a typed variable declaration
+                if (ts.isVariableDeclaration(parent) && parent.type) {
+                    // Has explicit type annotation - OK
+                }
+                else if (ts.isPropertyAssignment(parent)) {
+                    // Inside another object literal - will be checked at parent level
+                }
+                else if (ts.isReturnStatement(parent)) {
+                    // Return type should provide context - check function
+                    const func = findContainingFunction(parent);
+                    if (func && func.type) {
+                        // Has return type annotation - OK
+                    }
+                    else {
+                        collector = addDiagnostic(collector, createDiagnostic("TSN7403", "error", "Object literal requires a contextual nominal type. Provide a type annotation or define an interface.", getNodeLocation(sourceFile, node), "Add a type annotation like 'const x: MyType = { ... }' or define an interface."));
+                    }
+                }
+                else if (ts.isVariableDeclaration(parent) &&
+                    !parent.type &&
+                    !isCallExpressionArgument(node)) {
+                    // Untyped variable with object literal - error
+                    collector = addDiagnostic(collector, createDiagnostic("TSN7403", "error", "Object literal requires a contextual nominal type. Provide a type annotation or define an interface.", getNodeLocation(sourceFile, node), "Add a type annotation like 'const x: MyType = { ... }' or define an interface."));
+                }
+            }
+        }
+        ts.forEachChild(node, visitor);
+    };
+    visitor(sourceFile);
+    return collector;
+};
+/**
+ * Find the containing function declaration/expression for a node
+ */
+const findContainingFunction = (node) => {
+    let current = node.parent;
+    while (current) {
+        if (ts.isFunctionDeclaration(current) ||
+            ts.isFunctionExpression(current) ||
+            ts.isArrowFunction(current) ||
+            ts.isMethodDeclaration(current)) {
+            return current;
+        }
+        current = current.parent;
+    }
+    return undefined;
+};
+/**
+ * Check if a node is an argument to a call expression
+ */
+const isCallExpressionArgument = (node) => {
+    const parent = node.parent;
+    if (ts.isCallExpression(parent)) {
+        return parent.arguments.includes(node);
+    }
+    return false;
+};
+//# sourceMappingURL=aot-safety.js.map

package/dist/validation/aot-safety.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"aot-safety.js","sourceRoot":"","sources":["../../src/validation/aot-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;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;;;;;;;;GAQG;AACH,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAChC,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,4CAA4C;QAC5C,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC;YAC/B,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,KAAK,EAAE,CAAC;gBACzD,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,wHAAwH,EACxH,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qFAAqF,CACtF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,2CAA2C;QAC3C,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3C,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,kFAAkF;YAClF,IAAI,CAAC,EAAE,CAAC,cAAc,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,CAAC,yBAAyB,CAAC,MAAM,CAAC,EAAE,CAAC;gBACxE,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,wHAAwH,EACxH,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qFAAqF,CACtF,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,wCAAwC;QACxC,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,4EAA4E;YAC5E,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,IACE,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;gBAChC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;gBAC9B,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,EACnC,CAAC;gBACD,gEAAgE;gBAChE,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2DAA2D,EAC3D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,0CAA0C,CAC3C,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,oDAAoD;QACpD,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YACvD,IAAI,CAAC,cAAc,EAAE,CAAC;gBACpB,oDAAoD;gBACpD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;gBAE3B,6CAA6C;gBAC7C,IAAI,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC,IAAI,MAAM,CAAC,IAAI,EAAE,CAAC;oBACpD,oCAAoC;gBACtC,CAAC;qBAAM,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,EAAE,CAAC;oBAC3C,kEAAkE;gBACpE,CAAC;qBAAM,IAAI,EAAE,CAAC,iBAAiB,CAAC,MAAM,CAAC,EAAE,CAAC;oBACxC,sDAAsD;oBACtD,MAAM,IAAI,GAAG,sBAAsB,CAAC,MAAM,CAAC,CAAC;oBAC5C,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;wBACtB,kCAAkC;oBACpC,CAAC;yBAAM,CAAC;wBACN,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sGAAsG,EACtG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,gFAAgF,CACjF,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;qBAAM,IACL,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;oBAChC,CAAC,MAAM,CAAC,IAAI;oBACZ,CAAC,wBAAwB,CAAC,IAAI,CAAC,EAC/B,CAAC;oBACD,+CAA+C;oBAC/C,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sGAAsG,EACtG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,gFAAgF,CACjF,CACF,CAAC;gBACJ,CAAC;YACH,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;AAEF;;GAEG;AACH,MAAM,sBAAsB,GAAG,CAC7B,IAAa,EAC2B,EAAE;IAC1C,IAAI,OAAO,GAAwB,IAAI,CAAC,MAAM,CAAC;IAC/C,OAAO,OAAO,EAAE,CAAC;QACf,IACE,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC;YAChC,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC,EAC/B,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,wBAAwB,GAAG,CAAC,IAAa,EAAW,EAAE;IAC1D,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;IAC3B,IAAI,EAAE,CAAC,gBAAgB,CAAC,MAAM,CAAC,EAAE,CAAC;QAChC,OAAO,MAAM,CAAC,SAAS,CAAC,QAAQ,CAAC,IAAqB,CAAC,CAAC;IAC1D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/validation/exports.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Export validation
+ */
+import * as ts from "typescript";
+import { TsonicProgram } from "../program.js";
+import { DiagnosticsCollector } from "../types/diagnostic.js";
+/**
+ * Validate exports (check for duplicates)
+ */
+export declare const validateExports: (sourceFile: ts.SourceFile, _program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+//# sourceMappingURL=exports.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"exports.d.ts","sourceRoot":"","sources":["../../src/validation/exports.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;AAGhC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBA6EF,CAAC"}

package/dist/validation/exports.js

@@ -0,0 +1,56 @@
+/**
+ * Export validation
+ */
+import * as ts from "typescript";
+import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { hasExportModifier, getNodeLocation } from "./helpers.js";
+/**
+ * Validate exports (check for duplicates)
+ */
+export const validateExports = (sourceFile, _program, collector) => {
+    const exportedNames = new Set();
+    const visitor = (node) => {
+        if (ts.isExportDeclaration(node) || ts.isExportAssignment(node)) {
+            // Validate export syntax
+            if (ts.isExportAssignment(node) && !node.isExportEquals) {
+                // export default is allowed
+            }
+            else if (ts.isExportDeclaration(node) &&
+                node.exportClause &&
+                ts.isNamedExports(node.exportClause)) {
+                node.exportClause.elements.forEach((spec) => {
+                    const name = spec.name.text;
+                    if (exportedNames.has(name)) {
+                        collector = addDiagnostic(collector, createDiagnostic("TSN1005", "error", `Duplicate export: "${name}"`, getNodeLocation(sourceFile, spec)));
+                    }
+                    exportedNames.add(name);
+                });
+            }
+        }
+        if (ts.isVariableStatement(node) && hasExportModifier(node)) {
+            node.declarationList.declarations.forEach((decl) => {
+                if (ts.isIdentifier(decl.name)) {
+                    const name = decl.name.text;
+                    if (exportedNames.has(name)) {
+                        collector = addDiagnostic(collector, createDiagnostic("TSN1005", "error", `Duplicate export: "${name}"`, getNodeLocation(sourceFile, decl)));
+                    }
+                    exportedNames.add(name);
+                }
+            });
+        }
+        if ((ts.isFunctionDeclaration(node) || ts.isClassDeclaration(node)) &&
+            hasExportModifier(node)) {
+            const name = node.name?.text;
+            if (name) {
+                if (exportedNames.has(name)) {
+                    collector = addDiagnostic(collector, createDiagnostic("TSN1005", "error", `Duplicate export: "${name}"`, getNodeLocation(sourceFile, node)));
+                }
+                exportedNames.add(name);
+            }
+        }
+        ts.forEachChild(node, visitor);
+    };
+    visitor(sourceFile);
+    return collector;
+};
+//# sourceMappingURL=exports.js.map

package/dist/validation/exports.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"exports.js","sourceRoot":"","sources":["../../src/validation/exports.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,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAElE;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,MAAM,aAAa,GAAG,IAAI,GAAG,EAAU,CAAC;IAExC,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;YAChE,yBAAyB;YACzB,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,cAAc,EAAE,CAAC;gBACxD,4BAA4B;YAC9B,CAAC;iBAAM,IACL,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;gBAC5B,IAAI,CAAC,YAAY;gBACjB,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,YAAY,CAAC,EACpC,CAAC;gBACD,IAAI,CAAC,YAAY,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;oBAC1C,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sBAAsB,IAAI,GAAG,EAC7B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;oBACJ,CAAC;oBACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1B,CAAC,CAAC,CAAC;YACL,CAAC;QACH,CAAC;QAED,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC5D,IAAI,CAAC,eAAe,CAAC,YAAY,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;gBACjD,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC/B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;oBAC5B,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;wBAC5B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sBAAsB,IAAI,GAAG,EAC7B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;oBACJ,CAAC;oBACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;gBAC1B,CAAC;YACH,CAAC,CAAC,CAAC;QACL,CAAC;QAED,IACE,CAAC,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,CAAC;YAC/D,iBAAiB,CAAC,IAAI,CAAC,EACvB,CAAC;YACD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC;YAC7B,IAAI,IAAI,EAAE,CAAC;gBACT,IAAI,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC5B,SAAS,GAAG,aAAa,CACvB,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sBAAsB,IAAI,GAAG,EAC7B,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,CAClC,CACF,CAAC;gBACJ,CAAC;gBACD,aAAa,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;YAC1B,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"}

package/dist/validation/features.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Unsupported feature validation
+ */
+import * as ts from "typescript";
+import { TsonicProgram } from "../program.js";
+import { DiagnosticsCollector } from "../types/diagnostic.js";
+/**
+ * Validate that unsupported features are not used
+ */
+export declare const validateUnsupportedFeatures: (sourceFile: ts.SourceFile, _program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+//# sourceMappingURL=features.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"features.d.ts","sourceRoot":"","sources":["../../src/validation/features.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;AAGhC;;GAEG;AACH,eAAO,MAAM,2BAA2B,GACtC,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBAoEF,CAAC"}

package/dist/validation/features.js

@@ -0,0 +1,36 @@
+/**
+ * Unsupported feature validation
+ */
+import * as ts from "typescript";
+import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { getNodeLocation } from "./helpers.js";
+/**
+ * Validate that unsupported features are not used
+ */
+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)));
+        }
+        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"));
+        }
+        // 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"));
+            }
+        }
+        ts.forEachChild(node, visitor);
+    };
+    visitor(sourceFile);
+    return collector;
+};
+//# sourceMappingURL=features.js.map

package/dist/validation/features.js.map

@@ -0,0 +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"}

package/dist/validation/generics.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Generic type validation
+ */
+import * as ts from "typescript";
+import { TsonicProgram } from "../program.js";
+import { DiagnosticsCollector } from "../types/diagnostic.js";
+/**
+ * Validate generic types and constraints
+ */
+export declare const validateGenerics: (sourceFile: ts.SourceFile, _program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+//# sourceMappingURL=generics.d.ts.map

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

@@ -0,0 +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,oBAuBF,CAAC"}

package/dist/validation/generics.js

@@ -0,0 +1,31 @@
+/**
+ * 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) => {
+    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);
+    return collector;
+};
+//# sourceMappingURL=generics.js.map

package/dist/validation/generics.js.map

@@ -0,0 +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,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"}

package/dist/validation/helpers.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Validation helper functions
+ */
+import * as ts from "typescript";
+export { hasExportModifier } from "../graph/helpers.js";
+/**
+ * Get location information for a node
+ */
+export declare const getNodeLocation: (sourceFile: ts.SourceFile, node: ts.Node) => {
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+    readonly length: number;
+};
+//# sourceMappingURL=helpers.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.d.ts","sourceRoot":"","sources":["../../src/validation/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAGjC,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,YAAY,EAAE,CAAC,UAAU,EACzB,MAAM,EAAE,CAAC,IAAI,KACZ;IACD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CAWzB,CAAC"}

package/dist/validation/helpers.js

@@ -0,0 +1,18 @@
+/**
+ * Validation helper functions
+ */
+// Re-export hasExportModifier from graph helpers to avoid duplication
+export { hasExportModifier } from "../graph/helpers.js";
+/**
+ * Get location information for a node
+ */
+export const getNodeLocation = (sourceFile, node) => {
+    const { line, character } = sourceFile.getLineAndCharacterOfPosition(node.getStart());
+    return {
+        file: sourceFile.fileName,
+        line: line + 1,
+        column: character + 1,
+        length: node.getWidth(),
+    };
+};
+//# sourceMappingURL=helpers.js.map

package/dist/validation/helpers.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"helpers.js","sourceRoot":"","sources":["../../src/validation/helpers.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,sEAAsE;AACtE,OAAO,EAAE,iBAAiB,EAAE,MAAM,qBAAqB,CAAC;AAExD;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,UAAyB,EACzB,IAAa,EAMb,EAAE;IACF,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GAAG,UAAU,CAAC,6BAA6B,CAClE,IAAI,CAAC,QAAQ,EAAE,CAChB,CAAC;IACF,OAAO;QACL,IAAI,EAAE,UAAU,CAAC,QAAQ;QACzB,IAAI,EAAE,IAAI,GAAG,CAAC;QACd,MAAM,EAAE,SAAS,GAAG,CAAC;QACrB,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE;KACxB,CAAC;AACJ,CAAC,CAAC"}

package/dist/validation/imports.d.ts

@@ -0,0 +1,15 @@
+/**
+ * Import validation
+ */
+import * as ts from "typescript";
+import { TsonicProgram } from "../program.js";
+import { DiagnosticsCollector } from "../types/diagnostic.js";
+/**
+ * Validate all imports in a source file
+ */
+export declare const validateImports: (sourceFile: ts.SourceFile, program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+/**
+ * Validate a specific import declaration
+ */
+export declare const validateImportDeclaration: (node: ts.ImportDeclaration, sourceFile: ts.SourceFile, program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+//# sourceMappingURL=imports.d.ts.map

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

@@ -0,0 +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"}

package/dist/validation/imports.js

@@ -0,0 +1,42 @@
+/**
+ * Import validation
+ */
+import * as ts from "typescript";
+import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { resolveImport } from "../resolver.js";
+import { getNodeLocation } from "./helpers.js";
+/**
+ * Validate all imports in a source file
+ */
+export const validateImports = (sourceFile, program, collector) => {
+    const visitor = (node) => {
+        if (ts.isImportDeclaration(node)) {
+            return validateImportDeclaration(node, sourceFile, program, collector);
+        }
+        if (ts.isImportTypeNode(node)) {
+            return addDiagnostic(collector, createDiagnostic("TSN2001", "error", "Import type syntax not supported", getNodeLocation(sourceFile, node), "Use regular imports instead"));
+        }
+        return ts.forEachChild(node, visitor) ?? collector;
+    };
+    return visitor(sourceFile);
+};
+/**
+ * Validate a specific import declaration
+ */
+export const validateImportDeclaration = (node, sourceFile, program, collector) => {
+    if (!ts.isStringLiteral(node.moduleSpecifier)) {
+        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, program.dotnetResolver);
+    if (!result.ok) {
+        const location = getNodeLocation(sourceFile, node.moduleSpecifier);
+        return addDiagnostic(collector, { ...result.error, location });
+    }
+    // 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"));
+    }
+    return collector;
+};
+//# sourceMappingURL=imports.js.map

package/dist/validation/imports.js.map

@@ -0,0 +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,OAAO,CAAC,cAAc,CACvB,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"}

package/dist/validation/index.d.ts

@@ -0,0 +1,11 @@
+/**
+ * Validation - Public API
+ */
+export { validateProgram, validateSourceFile } from "./orchestrator.js";
+export { validateImports, validateImportDeclaration } from "./imports.js";
+export { validateExports } from "./exports.js";
+export { validateUnsupportedFeatures } from "./features.js";
+export { validateGenerics } from "./generics.js";
+export { validateStaticSafety } from "./static-safety.js";
+export { hasExportModifier, getNodeLocation } from "./helpers.js";
+//# sourceMappingURL=index.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}

package/{src/validation/index.ts → dist/validation/index.js}

@@ -1,7 +1,6 @@
 /**
  * Validation - Public API
  */
-
 export { validateProgram, validateSourceFile } from "./orchestrator.js";
 export { validateImports, validateImportDeclaration } from "./imports.js";
 export { validateExports } from "./exports.js";
@@ -9,3 +8,4 @@ export { validateUnsupportedFeatures } from "./features.js";
 export { validateGenerics } from "./generics.js";
 export { validateStaticSafety } from "./static-safety.js";
 export { hasExportModifier, getNodeLocation } from "./helpers.js";
+//# sourceMappingURL=index.js.map

package/dist/validation/index.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"index.js","sourceRoot":"","sources":["../../src/validation/index.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,EAAE,eAAe,EAAE,kBAAkB,EAAE,MAAM,mBAAmB,CAAC;AACxE,OAAO,EAAE,eAAe,EAAE,yBAAyB,EAAE,MAAM,cAAc,CAAC;AAC1E,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,2BAA2B,EAAE,MAAM,eAAe,CAAC;AAC5D,OAAO,EAAE,gBAAgB,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}