@tsonic/frontend 0.0.14 → 0.0.16

package/dist/validation/core-intrinsics.js

@@ -0,0 +1,186 @@
+/**
+ * Core intrinsic provenance validation
+ *
+ * Airplane-grade rule: Intrinsics (core numeric types, ptr/out/ref wrappers, and
+ * language intrinsics like stackalloc/trycast/thisarg) must come from @tsonic/core.
+ *
+ * If a project defines or imports a same-named symbol from somewhere else, it must
+ * NOT be treated as an intrinsic. We enforce this as a hard error to avoid
+ * silent miscompilation.
+ */
+import * as ts from "typescript";
+import * as path from "node:path";
+import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { getNodeLocation } from "./helpers.js";
+const CORE_PACKAGE_NAME = "@tsonic/core";
+const CORE_TYPES_TYPE_NAMES = new Set([
+    // Signed integer types
+    "sbyte",
+    "short",
+    "int",
+    "long",
+    "nint",
+    "int128",
+    // Unsigned integer types
+    "byte",
+    "ushort",
+    "uint",
+    "ulong",
+    "nuint",
+    "uint128",
+    // Floating point types
+    "half",
+    "float",
+    "double",
+    "decimal",
+    // Other primitives
+    "bool",
+    "char",
+    // Pointer + passing modifiers + value-type marker
+    "ptr",
+    "out",
+    "ref",
+    "inref",
+    "struct",
+]);
+const CORE_LANG_TYPE_NAMES = new Set([
+    // Extension receiver marker (type-only)
+    "thisarg",
+]);
+const CORE_LANG_VALUE_NAMES = new Set([
+    // Currently implemented intrinsics
+    "stackalloc",
+    "trycast",
+    // Declared in @tsonic/core/lang.js (reserve now to avoid future ambiguity)
+    "nameof",
+    "sizeof",
+    "defaultof",
+]);
+// Cache: package.json directory -> package name (or null if unreadable/absent)
+const packageNameCache = new Map();
+const readNearestPackageName = (fileName) => {
+    const startDir = path.dirname(fileName);
+    let dir = startDir;
+    // Walk up until root (or drive root on Windows) looking for package.json.
+    // Cache by the directory where package.json is found.
+    while (true) {
+        const cached = packageNameCache.get(dir);
+        if (cached !== undefined)
+            return cached ?? undefined;
+        const pkgPath = path.join(dir, "package.json");
+        if (ts.sys.fileExists(pkgPath)) {
+            try {
+                const raw = ts.sys.readFile(pkgPath);
+                if (!raw) {
+                    packageNameCache.set(dir, null);
+                    return undefined;
+                }
+                const parsed = JSON.parse(raw);
+                const name = typeof parsed.name === "string" ? parsed.name : undefined;
+                packageNameCache.set(dir, name ?? null);
+                return name;
+            }
+            catch {
+                packageNameCache.set(dir, null);
+                return undefined;
+            }
+        }
+        const parent = path.dirname(dir);
+        if (parent === dir) {
+            // No package.json found.
+            packageNameCache.set(dir, null);
+            return undefined;
+        }
+        dir = parent;
+    }
+};
+const isCoreDeclarationFile = (fileName, module) => {
+    const base = path.basename(fileName);
+    const expectedBase = module === "types" ? "types.d.ts" : "lang.d.ts";
+    if (base !== expectedBase)
+        return false;
+    const pkgName = readNearestPackageName(fileName);
+    return pkgName === CORE_PACKAGE_NAME;
+};
+const resolveAliasedSymbol = (checker, symbol) => {
+    if (!symbol)
+        return undefined;
+    return symbol.flags & ts.SymbolFlags.Alias ? checker.getAliasedSymbol(symbol) : symbol;
+};
+const isSymbolFromCore = (checker, symbol, module) => {
+    const resolved = resolveAliasedSymbol(checker, symbol);
+    if (!resolved)
+        return false;
+    const decls = resolved.getDeclarations?.() ?? [];
+    return decls.some((d) => isCoreDeclarationFile(d.getSourceFile().fileName, module));
+};
+const getRightmostTypeNameIdentifier = (typeName) => {
+    return ts.isIdentifier(typeName) ? typeName : typeName.right;
+};
+/**
+ * Validate that core intrinsic names resolve to @tsonic/core symbols.
+ */
+export const validateCoreIntrinsics = (sourceFile, program, collector) => {
+    const checker = program.checker;
+    const report = (acc, node, name, module, hint) => addDiagnostic(acc, createDiagnostic("TSN7440", "error", `Core intrinsic '${name}' must resolve to ${CORE_PACKAGE_NAME}/${module}.js`, getNodeLocation(sourceFile, node), hint));
+    const visitor = (node, acc) => {
+        let current = acc;
+        // Disallow declaring reserved intrinsic type names in user source.
+        if (ts.isTypeAliasDeclaration(node) ||
+            ts.isInterfaceDeclaration(node) ||
+            ts.isClassDeclaration(node) ||
+            ts.isEnumDeclaration(node)) {
+            const nameNode = node.name;
+            if (nameNode && CORE_TYPES_TYPE_NAMES.has(nameNode.text)) {
+                // Project source cannot define these; they map to CLR keywords/emission.
+                current = report(current, nameNode, nameNode.text, "types", `Remove this declaration and import '${nameNode.text}' from "@tsonic/core/types.js".`);
+            }
+            if (nameNode && CORE_LANG_TYPE_NAMES.has(nameNode.text)) {
+                current = report(current, nameNode, nameNode.text, "lang", `Remove this declaration and import '${nameNode.text}' from "@tsonic/core/lang.js".`);
+            }
+        }
+        // Disallow declaring reserved intrinsic value names in user source.
+        if (ts.isFunctionDeclaration(node) && node.name) {
+            const name = node.name.text;
+            if (CORE_LANG_VALUE_NAMES.has(name)) {
+                current = report(current, node.name, name, "lang", `Remove this declaration and import '${name}' from "@tsonic/core/lang.js".`);
+            }
+        }
+        // Enforce provenance at use sites (types).
+        if (ts.isTypeReferenceNode(node)) {
+            const nameNode = getRightmostTypeNameIdentifier(node.typeName);
+            const name = nameNode?.text;
+            if (nameNode && name && CORE_TYPES_TYPE_NAMES.has(name)) {
+                const symbol = checker.getSymbolAtLocation(nameNode);
+                if (!isSymbolFromCore(checker, symbol, "types")) {
+                    current = report(current, nameNode, name, "types", `Import '${name}' from "@tsonic/core/types.js" (do not redefine or spoof it).`);
+                }
+            }
+            if (nameNode && name && CORE_LANG_TYPE_NAMES.has(name)) {
+                const symbol = checker.getSymbolAtLocation(nameNode);
+                if (!isSymbolFromCore(checker, symbol, "lang")) {
+                    current = report(current, nameNode, name, "lang", `Import '${name}' from "@tsonic/core/lang.js" (do not redefine or spoof it).`);
+                }
+            }
+        }
+        // Enforce provenance at use sites (value intrinsics).
+        if (ts.isCallExpression(node) && ts.isIdentifier(node.expression)) {
+            const name = node.expression.text;
+            if (CORE_LANG_VALUE_NAMES.has(name)) {
+                const symbol = checker.getSymbolAtLocation(node.expression);
+                if (!isSymbolFromCore(checker, symbol, "lang")) {
+                    current = report(current, node.expression, name, "lang", `Import '${name}' from "@tsonic/core/lang.js" (do not redefine or spoof it).`);
+                }
+            }
+        }
+        // IMPORTANT: Do not return a value from the forEachChild callback.
+        // TypeScript's ts.forEachChild short-circuits when the callback returns
+        // non-undefined, which would cause us to only visit the first child.
+        ts.forEachChild(node, (child) => {
+            current = visitor(child, current);
+        });
+        return current;
+    };
+    return visitor(sourceFile, collector);
+};
+//# sourceMappingURL=core-intrinsics.js.map

package/dist/validation/core-intrinsics.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"core-intrinsics.js","sourceRoot":"","sources":["../../src/validation/core-intrinsics.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,KAAK,IAAI,MAAM,WAAW,CAAC;AAElC,OAAO,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAI/C,MAAM,iBAAiB,GAAG,cAAc,CAAC;AAEzC,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,uBAAuB;IACvB,OAAO;IACP,OAAO;IACP,KAAK;IACL,MAAM;IACN,MAAM;IACN,QAAQ;IACR,yBAAyB;IACzB,MAAM;IACN,QAAQ;IACR,MAAM;IACN,OAAO;IACP,OAAO;IACP,SAAS;IACT,uBAAuB;IACvB,MAAM;IACN,OAAO;IACP,QAAQ;IACR,SAAS;IACT,mBAAmB;IACnB,MAAM;IACN,MAAM;IACN,kDAAkD;IAClD,KAAK;IACL,KAAK;IACL,KAAK;IACL,OAAO;IACP,QAAQ;CACT,CAAC,CAAC;AAEH,MAAM,oBAAoB,GAAG,IAAI,GAAG,CAAC;IACnC,wCAAwC;IACxC,SAAS;CACV,CAAC,CAAC;AAEH,MAAM,qBAAqB,GAAG,IAAI,GAAG,CAAC;IACpC,mCAAmC;IACnC,YAAY;IACZ,SAAS;IACT,2EAA2E;IAC3E,QAAQ;IACR,QAAQ;IACR,WAAW;CACZ,CAAC,CAAC;AAEH,+EAA+E;AAC/E,MAAM,gBAAgB,GAAG,IAAI,GAAG,EAAyB,CAAC;AAE1D,MAAM,sBAAsB,GAAG,CAAC,QAAgB,EAAsB,EAAE;IACtE,MAAM,QAAQ,GAAG,IAAI,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC;IACxC,IAAI,GAAG,GAAG,QAAQ,CAAC;IAEnB,0EAA0E;IAC1E,sDAAsD;IACtD,OAAO,IAAI,EAAE,CAAC;QACZ,MAAM,MAAM,GAAG,gBAAgB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QACzC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,MAAM,IAAI,SAAS,CAAC;QAErD,MAAM,OAAO,GAAG,IAAI,CAAC,IAAI,CAAC,GAAG,EAAE,cAAc,CAAC,CAAC;QAC/C,IAAI,EAAE,CAAC,GAAG,CAAC,UAAU,CAAC,OAAO,CAAC,EAAE,CAAC;YAC/B,IAAI,CAAC;gBACH,MAAM,GAAG,GAAG,EAAE,CAAC,GAAG,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;gBACrC,IAAI,CAAC,GAAG,EAAE,CAAC;oBACT,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;oBAChC,OAAO,SAAS,CAAC;gBACnB,CAAC;gBACD,MAAM,MAAM,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAuB,CAAC;gBACrD,MAAM,IAAI,GAAG,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;gBACvE,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,IAAI,IAAI,CAAC,CAAC;gBACxC,OAAO,IAAI,CAAC;YACd,CAAC;YAAC,MAAM,CAAC;gBACP,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;gBAChC,OAAO,SAAS,CAAC;YACnB,CAAC;QACH,CAAC;QAED,MAAM,MAAM,GAAG,IAAI,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,MAAM,KAAK,GAAG,EAAE,CAAC;YACnB,yBAAyB;YACzB,gBAAgB,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;YAChC,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,GAAG,GAAG,MAAM,CAAC;IACf,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,QAAgB,EAAE,MAAkB,EAAW,EAAE;IAC9E,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC;IACrC,MAAM,YAAY,GAAG,MAAM,KAAK,OAAO,CAAC,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,WAAW,CAAC;IACrE,IAAI,IAAI,KAAK,YAAY;QAAE,OAAO,KAAK,CAAC;IAExC,MAAM,OAAO,GAAG,sBAAsB,CAAC,QAAQ,CAAC,CAAC;IACjD,OAAO,OAAO,KAAK,iBAAiB,CAAC;AACvC,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,OAAuB,EACvB,MAA6B,EACN,EAAE;IACzB,IAAI,CAAC,MAAM;QAAE,OAAO,SAAS,CAAC;IAC9B,OAAO,MAAM,CAAC,KAAK,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,CAAC,CAAC,CAAC,OAAO,CAAC,gBAAgB,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC;AACzF,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CACvB,OAAuB,EACvB,MAA6B,EAC7B,MAAkB,EACT,EAAE;IACX,MAAM,QAAQ,GAAG,oBAAoB,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;IACvD,IAAI,CAAC,QAAQ;QAAE,OAAO,KAAK,CAAC;IAE5B,MAAM,KAAK,GAAG,QAAQ,CAAC,eAAe,EAAE,EAAE,IAAI,EAAE,CAAC;IACjD,OAAO,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,qBAAqB,CAAC,CAAC,CAAC,aAAa,EAAE,CAAC,QAAQ,EAAE,MAAM,CAAC,CAAC,CAAC;AACtF,CAAC,CAAC;AAEF,MAAM,8BAA8B,GAAG,CACrC,QAAuB,EACI,EAAE;IAC7B,OAAO,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;AAC/D,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAEhC,MAAM,MAAM,GAAG,CACb,GAAyB,EACzB,IAAa,EACb,IAAY,EACZ,MAAkB,EAClB,IAAY,EACU,EAAE,CACxB,aAAa,CACX,GAAG,EACH,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,mBAAmB,IAAI,qBAAqB,iBAAiB,IAAI,MAAM,KAAK,EAC5E,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,IAAI,CACL,CACF,CAAC;IAEJ,MAAM,OAAO,GAAG,CAAC,IAAa,EAAE,GAAyB,EAAwB,EAAE;QACjF,IAAI,OAAO,GAAG,GAAG,CAAC;QAElB,mEAAmE;QACnE,IACE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;YAC/B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC;YAC3B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC,EAC1B,CAAC;YACD,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC;YAC3B,IAAI,QAAQ,IAAI,qBAAqB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACzD,yEAAyE;gBACzE,OAAO,GAAG,MAAM,CACd,OAAO,EACP,QAAQ,EACR,QAAQ,CAAC,IAAI,EACb,OAAO,EACP,uCAAuC,QAAQ,CAAC,IAAI,iCAAiC,CACtF,CAAC;YACJ,CAAC;YACD,IAAI,QAAQ,IAAI,oBAAoB,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxD,OAAO,GAAG,MAAM,CACd,OAAO,EACP,QAAQ,EACR,QAAQ,CAAC,IAAI,EACb,MAAM,EACN,uCAAuC,QAAQ,CAAC,IAAI,gCAAgC,CACrF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,oEAAoE;QACpE,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;YAChD,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC;YAC5B,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,OAAO,GAAG,MAAM,CACd,OAAO,EACP,IAAI,CAAC,IAAI,EACT,IAAI,EACJ,MAAM,EACN,uCAAuC,IAAI,gCAAgC,CAC5E,CAAC;YACJ,CAAC;QACH,CAAC;QAED,2CAA2C;QAC3C,IAAI,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,8BAA8B,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;YAC/D,MAAM,IAAI,GAAG,QAAQ,EAAE,IAAI,CAAC;YAC5B,IAAI,QAAQ,IAAI,IAAI,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACxD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;gBACrD,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,CAAC,EAAE,CAAC;oBAChD,OAAO,GAAG,MAAM,CACd,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,OAAO,EACP,WAAW,IAAI,+DAA+D,CAC/E,CAAC;gBACJ,CAAC;YACH,CAAC;YACD,IAAI,QAAQ,IAAI,IAAI,IAAI,oBAAoB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvD,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,QAAQ,CAAC,CAAC;gBACrD,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC/C,OAAO,GAAG,MAAM,CACd,OAAO,EACP,QAAQ,EACR,IAAI,EACJ,MAAM,EACN,WAAW,IAAI,8DAA8D,CAC9E,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,sDAAsD;QACtD,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC;YAClE,MAAM,IAAI,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC;YAClC,IAAI,qBAAqB,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;gBACpC,MAAM,MAAM,GAAG,OAAO,CAAC,mBAAmB,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;gBAC5D,IAAI,CAAC,gBAAgB,CAAC,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,EAAE,CAAC;oBAC/C,OAAO,GAAG,MAAM,CACd,OAAO,EACP,IAAI,CAAC,UAAU,EACf,IAAI,EACJ,MAAM,EACN,WAAW,IAAI,8DAA8D,CAC9E,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,mEAAmE;QACnE,wEAAwE;QACxE,qEAAqE;QACrE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YAC9B,OAAO,GAAG,OAAO,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QACpC,CAAC,CAAC,CAAC;QACH,OAAO,OAAO,CAAC;IACjB,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC,CAAC"}

package/dist/validation/extension-methods.d.ts

@@ -0,0 +1,17 @@
+/**
+ * Extension method validation
+ *
+ * `thisarg<T>` marks the receiver parameter of a C# extension method.
+ *
+ * Airplane-grade constraints:
+ * - Exactly one receiver parameter
+ * - Must be the first parameter
+ * - Only valid on top-level function declarations (emitted into a static container class)
+ * - Receiver cannot be optional/rest/destructured/initialized
+ * - Receiver cannot be `out`
+ */
+import * as ts from "typescript";
+import { TsonicProgram } from "../program.js";
+import { DiagnosticsCollector } from "../types/diagnostic.js";
+export declare const validateExtensionMethods: (sourceFile: ts.SourceFile, _program: TsonicProgram, collector: DiagnosticsCollector) => DiagnosticsCollector;
+//# sourceMappingURL=extension-methods.d.ts.map

package/dist/validation/extension-methods.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension-methods.d.ts","sourceRoot":"","sources":["../../src/validation/extension-methods.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AA0FhC,eAAO,MAAM,wBAAwB,GACnC,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBA2HF,CAAC"}

package/dist/validation/extension-methods.js

@@ -0,0 +1,133 @@
+/**
+ * Extension method validation
+ *
+ * `thisarg<T>` marks the receiver parameter of a C# extension method.
+ *
+ * Airplane-grade constraints:
+ * - Exactly one receiver parameter
+ * - Must be the first parameter
+ * - Only valid on top-level function declarations (emitted into a static container class)
+ * - Receiver cannot be optional/rest/destructured/initialized
+ * - Receiver cannot be `out`
+ */
+import * as ts from "typescript";
+import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { getNodeLocation } from "./helpers.js";
+const unwrapWrapperType = (typeNode) => {
+    if (!ts.isTypeReferenceNode(typeNode))
+        return undefined;
+    if (!typeNode.typeArguments || typeNode.typeArguments.length !== 1)
+        return undefined;
+    if (!ts.isIdentifier(typeNode.typeName))
+        return undefined;
+    const inner = typeNode.typeArguments[0];
+    if (!inner)
+        return undefined;
+    return {
+        wrapperName: typeNode.typeName.text,
+        inner,
+        node: typeNode,
+    };
+};
+const getReceiverMarkerInfo = (typeNode) => {
+    if (!typeNode)
+        return undefined;
+    let current = typeNode;
+    let markerNode;
+    let passing = "value";
+    // Mirror IR conversion unwrapping rules:
+    // wrappers may be nested; unwrap repeatedly.
+    while (true) {
+        if (ts.isParenthesizedTypeNode(current)) {
+            current = current.type;
+            continue;
+        }
+        const unwrapped = unwrapWrapperType(current);
+        if (!unwrapped)
+            break;
+        const { wrapperName, inner, node } = unwrapped;
+        if (wrapperName === "thisarg") {
+            markerNode ?? (markerNode = node);
+            current = inner;
+            continue;
+        }
+        if (wrapperName === "ref" || wrapperName === "out") {
+            passing = wrapperName;
+            current = inner;
+            continue;
+        }
+        if (wrapperName === "in" || wrapperName === "inref") {
+            passing = "in";
+            current = inner;
+            continue;
+        }
+        break;
+    }
+    if (!markerNode)
+        return undefined;
+    return { markerNode, passing };
+};
+const addReceiverDiagnostic = (sourceFile, collector, node, message, hint) => addDiagnostic(collector, createDiagnostic("TSN7106", "error", message, getNodeLocation(sourceFile, node), hint));
+export const validateExtensionMethods = (sourceFile, _program, collector) => {
+    const visitor = (node) => {
+        // Only check function-like nodes (where parameters exist).
+        if (ts.isFunctionDeclaration(node) ||
+            ts.isMethodDeclaration(node) ||
+            ts.isMethodSignature(node) ||
+            ts.isFunctionExpression(node) ||
+            ts.isArrowFunction(node)) {
+            const receiverParams = node.parameters
+                .map((p, index) => ({
+                param: p,
+                index,
+                info: getReceiverMarkerInfo(p.type),
+            }))
+                .filter((p) => p.info !== undefined);
+            if (receiverParams.length > 0) {
+                // Only allow on top-level function declarations.
+                const isTopLevelFunctionDecl = ts.isFunctionDeclaration(node) && node.parent === sourceFile;
+                if (!isTopLevelFunctionDecl) {
+                    for (const p of receiverParams) {
+                        collector = addReceiverDiagnostic(sourceFile, collector, p.info.markerNode, "`thisarg<T>` is only valid on top-level function declarations (C# extension methods).", "Move the function to module scope (top-level) and declare it with `export function ...`.");
+                    }
+                    // Still recurse to find additional violations in nested scopes.
+                    ts.forEachChild(node, visitor);
+                    return;
+                }
+                if (receiverParams.length > 1) {
+                    for (const p of receiverParams.slice(1)) {
+                        collector = addReceiverDiagnostic(sourceFile, collector, p.info.markerNode, "Only one `thisarg<T>` receiver parameter is allowed.");
+                    }
+                }
+                const receiver = receiverParams[0];
+                if (!receiver) {
+                    ts.forEachChild(node, visitor);
+                    return;
+                }
+                if (receiver.index !== 0) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.info.markerNode, "The `thisarg<T>` receiver parameter must be the first parameter.");
+                }
+                if (ts.isObjectBindingPattern(receiver.param.name) ||
+                    ts.isArrayBindingPattern(receiver.param.name)) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.param.name, "The `thisarg<T>` receiver parameter must be a simple identifier (no destructuring).");
+                }
+                if (receiver.param.dotDotDotToken) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.param.dotDotDotToken, "The `thisarg<T>` receiver parameter cannot be a rest parameter.");
+                }
+                if (receiver.param.questionToken) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.param.questionToken, "The `thisarg<T>` receiver parameter cannot be optional.");
+                }
+                if (receiver.param.initializer) {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.param.initializer, "The `thisarg<T>` receiver parameter cannot have a default initializer.");
+                }
+                if (receiver.info.passing === "out") {
+                    collector = addReceiverDiagnostic(sourceFile, collector, receiver.info.markerNode, "The `thisarg<T>` receiver parameter cannot be `out`.");
+                }
+            }
+        }
+        ts.forEachChild(node, visitor);
+    };
+    visitor(sourceFile);
+    return collector;
+};
+//# sourceMappingURL=extension-methods.js.map

package/dist/validation/extension-methods.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"extension-methods.js","sourceRoot":"","sources":["../../src/validation/extension-methods.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;GAWG;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;AAO/C,MAAM,iBAAiB,GAAG,CACxB,QAAqB,EAC2F,EAAE;IAClH,IAAI,CAAC,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IACxD,IAAI,CAAC,QAAQ,CAAC,aAAa,IAAI,QAAQ,CAAC,aAAa,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrF,IAAI,CAAC,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC;QAAE,OAAO,SAAS,CAAC;IAE1D,MAAM,KAAK,GAAG,QAAQ,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC;IACxC,IAAI,CAAC,KAAK;QAAE,OAAO,SAAS,CAAC;IAE7B,OAAO;QACL,WAAW,EAAE,QAAQ,CAAC,QAAQ,CAAC,IAAI;QACnC,KAAK;QACL,IAAI,EAAE,QAAQ;KACf,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,QAAiC,EACD,EAAE;IAClC,IAAI,CAAC,QAAQ;QAAE,OAAO,SAAS,CAAC;IAEhC,IAAI,OAAO,GAAgB,QAAQ,CAAC;IACpC,IAAI,UAA4C,CAAC;IACjD,IAAI,OAAO,GAAmC,OAAO,CAAC;IAEtD,yCAAyC;IACzC,6CAA6C;IAC7C,OAAO,IAAI,EAAE,CAAC;QACZ,IAAI,EAAE,CAAC,uBAAuB,CAAC,OAAO,CAAC,EAAE,CAAC;YACxC,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC;YACvB,SAAS;QACX,CAAC;QAED,MAAM,SAAS,GAAG,iBAAiB,CAAC,OAAO,CAAC,CAAC;QAC7C,IAAI,CAAC,SAAS;YAAE,MAAM;QAEtB,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,IAAI,EAAE,GAAG,SAAS,CAAC;QAE/C,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;YAC9B,UAAU,KAAV,UAAU,GAAK,IAAI,EAAC;YACpB,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS;QACX,CAAC;QAED,IAAI,WAAW,KAAK,KAAK,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;YACnD,OAAO,GAAG,WAAW,CAAC;YACtB,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS;QACX,CAAC;QAED,IAAI,WAAW,KAAK,IAAI,IAAI,WAAW,KAAK,OAAO,EAAE,CAAC;YACpD,OAAO,GAAG,IAAI,CAAC;YACf,OAAO,GAAG,KAAK,CAAC;YAChB,SAAS;QACX,CAAC;QAED,MAAM;IACR,CAAC;IAED,IAAI,CAAC,UAAU;QAAE,OAAO,SAAS,CAAC;IAClC,OAAO,EAAE,UAAU,EAAE,OAAO,EAAE,CAAC;AACjC,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,UAAyB,EACzB,SAA+B,EAC/B,IAAa,EACb,OAAe,EACf,IAAa,EACS,EAAE,CACxB,aAAa,CACX,SAAS,EACT,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,OAAO,EACP,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,IAAI,CACL,CACF,CAAC;AAEJ,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,UAAyB,EACzB,QAAuB,EACvB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,CAAC,IAAa,EAAQ,EAAE;QACtC,2DAA2D;QAC3D,IACE,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC;YAC9B,EAAE,CAAC,mBAAmB,CAAC,IAAI,CAAC;YAC5B,EAAE,CAAC,iBAAiB,CAAC,IAAI,CAAC;YAC1B,EAAE,CAAC,oBAAoB,CAAC,IAAI,CAAC;YAC7B,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EACxB,CAAC;YACD,MAAM,cAAc,GAAG,IAAI,CAAC,UAAU;iBACnC,GAAG,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;gBAClB,KAAK,EAAE,CAAC;gBACR,KAAK;gBACL,IAAI,EAAE,qBAAqB,CAAC,CAAC,CAAC,IAAI,CAAC;aACpC,CAAC,CAAC;iBACF,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,SAAS,CAInC,CAAC;YAEH,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBAC9B,iDAAiD;gBACjD,MAAM,sBAAsB,GAC1B,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,MAAM,KAAK,UAAU,CAAC;gBAE/D,IAAI,CAAC,sBAAsB,EAAE,CAAC;oBAC5B,KAAK,MAAM,CAAC,IAAI,cAAc,EAAE,CAAC;wBAC/B,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,CAAC,CAAC,IAAI,CAAC,UAAU,EACjB,uFAAuF,EACvF,0FAA0F,CAC3F,CAAC;oBACJ,CAAC;oBACD,gEAAgE;oBAChE,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC/B,OAAO;gBACT,CAAC;gBAED,IAAI,cAAc,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;oBAC9B,KAAK,MAAM,CAAC,IAAI,cAAc,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;wBACxC,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,CAAC,CAAC,IAAI,CAAC,UAAU,EACjB,sDAAsD,CACvD,CAAC;oBACJ,CAAC;gBACH,CAAC;gBAED,MAAM,QAAQ,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;gBACnC,IAAI,CAAC,QAAQ,EAAE,CAAC;oBACd,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;oBAC/B,OAAO;gBACT,CAAC;gBAED,IAAI,QAAQ,CAAC,KAAK,KAAK,CAAC,EAAE,CAAC;oBACzB,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,IAAI,CAAC,UAAU,EACxB,kEAAkE,CACnE,CAAC;gBACJ,CAAC;gBAED,IACE,EAAE,CAAC,sBAAsB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC;oBAC9C,EAAE,CAAC,qBAAqB,CAAC,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,EAC7C,CAAC;oBACD,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,KAAK,CAAC,IAAI,EACnB,qFAAqF,CACtF,CAAC;gBACJ,CAAC;gBAED,IAAI,QAAQ,CAAC,KAAK,CAAC,cAAc,EAAE,CAAC;oBAClC,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,KAAK,CAAC,cAAc,EAC7B,iEAAiE,CAClE,CAAC;gBACJ,CAAC;gBAED,IAAI,QAAQ,CAAC,KAAK,CAAC,aAAa,EAAE,CAAC;oBACjC,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,KAAK,CAAC,aAAa,EAC5B,yDAAyD,CAC1D,CAAC;gBACJ,CAAC;gBAED,IAAI,QAAQ,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC;oBAC/B,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,KAAK,CAAC,WAAW,EAC1B,wEAAwE,CACzE,CAAC;gBACJ,CAAC;gBAED,IAAI,QAAQ,CAAC,IAAI,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;oBACpC,SAAS,GAAG,qBAAqB,CAC/B,UAAU,EACV,SAAS,EACT,QAAQ,CAAC,IAAI,CAAC,UAAU,EACxB,sDAAsD,CACvD,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"}

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,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AA2JhC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBAqCF,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,EACL,oBAAoB,EAErB,MAAM,wBAAwB,CAAC;AAGhC;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAC3B,YAAY,EAAE,CAAC,UAAU,EACzB,UAAU,aAAa,EACvB,WAAW,oBAAoB,KAC9B,oBA4BF,CAAC"}

package/dist/validation/generics.js

@@ -2,128 +2,8 @@
  * Generic type validation
  */
 import * as ts from "typescript";
-import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
+import { addDiagnostic, } from "../types/diagnostic.js";
 import { checkForSymbolIndexSignature } from "../ir/generic-validator.js";
-/**
- * Check if a type node is a null or undefined literal type
- */
-const isNullishType = (typeNode) => typeNode.kind === ts.SyntaxKind.NullKeyword ||
-    typeNode.kind === ts.SyntaxKind.UndefinedKeyword ||
-    (ts.isLiteralTypeNode(typeNode) &&
-        (typeNode.literal.kind === ts.SyntaxKind.NullKeyword ||
-            typeNode.literal.kind === ts.SyntaxKind.UndefinedKeyword));
-/**
- * Check if a type node references a type parameter.
- * Returns the type parameter name if it does, undefined otherwise.
- */
-const getTypeParameterReference = (typeNode) => {
-    if (ts.isTypeReferenceNode(typeNode) && ts.isIdentifier(typeNode.typeName)) {
-        return typeNode.typeName.text;
-    }
-    return undefined;
-};
-/**
- * Check if a type parameter has a constraint that allows nullable representation.
- * - `extends struct` → C# `where T : struct` allows T? as Nullable<T>
- * - `extends object` → C# `where T : class` allows T? as nullable reference
- * - `extends SomeClass` or `extends SomeInterface` → reference type, allows T?
- */
-const hasNullableConstraint = (tp) => {
-    if (!tp.constraint) {
-        return false;
-    }
-    // `object` keyword type - T extends object
-    // This is a TypeKeyword, not a TypeReference
-    if (tp.constraint.kind === ts.SyntaxKind.ObjectKeyword) {
-        return true;
-    }
-    // Any type reference constraint (struct, SomeClass, SomeInterface, generic type)
-    // implies the type is constrained and allows proper nullable handling
-    if (ts.isTypeReferenceNode(tp.constraint)) {
-        // This covers:
-        // - T extends struct → value type (struct is a custom type in tsonic)
-        // - T extends SomeClass → reference type
-        // - T extends SomeInterface → reference type
-        // - T extends Comparable<T> → reference type (generic constraint)
-        return true;
-    }
-    // Intersection type: T extends A & B
-    // Any intersection constraint means T is constrained
-    if (ts.isIntersectionTypeNode(tp.constraint)) {
-        return true;
-    }
-    return false;
-};
-/**
- * Get the set of UNCONSTRAINED type parameter names in scope for a node.
- * Walks up the tree to find enclosing generic declarations.
- * Only returns type parameters that don't have nullable-compatible constraints.
- */
-const getUnconstrainedTypeParametersInScope = (node) => {
-    const params = new Set();
-    let current = node;
-    while (current) {
-        // Check for type parameters on various declaration types
-        if ((ts.isInterfaceDeclaration(current) ||
-            ts.isClassDeclaration(current) ||
-            ts.isTypeAliasDeclaration(current) ||
-            ts.isFunctionDeclaration(current) ||
-            ts.isMethodDeclaration(current) ||
-            ts.isArrowFunction(current) ||
-            ts.isFunctionExpression(current)) &&
-            current.typeParameters) {
-            for (const tp of current.typeParameters) {
-                // Only add if it's truly unconstrained (no nullable-compatible constraint)
-                if (!hasNullableConstraint(tp)) {
-                    params.add(tp.name.text);
-                }
-            }
-        }
-        current = current.parent;
-    }
-    return params;
-};
-/**
- * Check for nullable unions with unconstrained generic type parameters.
- * Pattern: T | null where T is an unconstrained type parameter.
- *
- * This is unsupported because C# cannot represent nullable unconstrained generics:
- * - For value types, T? requires `where T : struct` to become Nullable<T>
- * - Without constraints, T? for a value type is just T (non-nullable)
- *
- * Returns a diagnostic if the pattern is detected, undefined otherwise.
- */
-const checkNullableGenericUnion = (typeNode, sourceFile) => {
-    if (!ts.isUnionTypeNode(typeNode)) {
-        return undefined;
-    }
-    // Check if union contains null or undefined
-    const hasNullish = typeNode.types.some(isNullishType);
-    if (!hasNullish) {
-        return undefined;
-    }
-    // Check if any non-nullish type is an UNCONSTRAINED type parameter reference
-    const unconstrainedTypeParams = getUnconstrainedTypeParametersInScope(typeNode);
-    const nonNullishTypes = typeNode.types.filter((t) => !isNullishType(t));
-    for (const memberType of nonNullishTypes) {
-        const typeParamName = getTypeParameterReference(memberType);
-        if (typeParamName && unconstrainedTypeParams.has(typeParamName)) {
-            // Found a nullable union with a type parameter
-            const start = typeNode.getStart(sourceFile);
-            const end = typeNode.getEnd();
-            const { line, character } = sourceFile.getLineAndCharacterOfPosition(start);
-            return createDiagnostic("TSN7415", "error", `Nullable union '${typeNode.getText(sourceFile)}' with unconstrained generic type parameter '${typeParamName}' cannot be represented in C#. ` +
-                `Use 'object | null' for nullable generic values, or constrain the type parameter.`, {
-                file: sourceFile.fileName,
-                line: line + 1,
-                column: character,
-                length: end - start,
-            }, `In C#, T? for an unconstrained type parameter T does not provide nullability for value types. ` +
-                `Either use 'object | null' to box the value, or if T is always a reference type, this is a limitation.`);
-        }
-    }
-    return undefined;
-};
 /**
  * Validate generic types and constraints
  */
@@ -141,14 +21,6 @@ export const validateGenerics = (sourceFile, _program, collector) => {
                 collector = addDiagnostic(collector, symbolDiag);
             }
         }
-        // Check for nullable unions with unconstrained generic type parameters - TSN7415
-        // This covers property signatures, variable declarations, function parameters, etc.
-        if (ts.isTypeNode(node)) {
-            const nullableGenericDiag = checkNullableGenericUnion(node, sourceFile);
-            if (nullableGenericDiag) {
-                collector = addDiagnostic(collector, nullableGenericDiag);
-            }
-        }
         // Explicitly visit interface and type literal members
         if (ts.isInterfaceDeclaration(node) || ts.isTypeLiteralNode(node)) {
             for (const member of node.members) {

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,EAEL,aAAa,EACb,gBAAgB,GACjB,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,4BAA4B,EAAE,MAAM,4BAA4B,CAAC;AAE1E;;GAEG;AACH,MAAM,aAAa,GAAG,CAAC,QAAqB,EAAW,EAAE,CACvD,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;IAC3C,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB;IAChD,CAAC,EAAE,CAAC,iBAAiB,CAAC,QAAQ,CAAC;QAC7B,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,WAAW;YAClD,QAAQ,CAAC,OAAO,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,gBAAgB,CAAC,CAAC,CAAC;AAEjE;;;GAGG;AACH,MAAM,yBAAyB,GAAG,CAChC,QAAqB,EACD,EAAE;IACtB,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3E,OAAO,QAAQ,CAAC,QAAQ,CAAC,IAAI,CAAC;IAChC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,qBAAqB,GAAG,CAAC,EAA+B,EAAW,EAAE;IACzE,IAAI,CAAC,EAAE,CAAC,UAAU,EAAE,CAAC;QACnB,OAAO,KAAK,CAAC;IACf,CAAC;IAED,2CAA2C;IAC3C,6CAA6C;IAC7C,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iFAAiF;IACjF,sEAAsE;IACtE,IAAI,EAAE,CAAC,mBAAmB,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC1C,eAAe;QACf,sEAAsE;QACtE,yCAAyC;QACzC,6CAA6C;QAC7C,kEAAkE;QAClE,OAAO,IAAI,CAAC;IACd,CAAC;IAED,qCAAqC;IACrC,qDAAqD;IACrD,IAAI,EAAE,CAAC,sBAAsB,CAAC,EAAE,CAAC,UAAU,CAAC,EAAE,CAAC;QAC7C,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,qCAAqC,GAAG,CAAC,IAAa,EAAe,EAAE;IAC3E,MAAM,MAAM,GAAG,IAAI,GAAG,EAAU,CAAC;IACjC,IAAI,OAAO,GAAwB,IAAI,CAAC;IAExC,OAAO,OAAO,EAAE,CAAC;QACf,yDAAyD;QACzD,IACE,CAAC,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,kBAAkB,CAAC,OAAO,CAAC;YAC9B,EAAE,CAAC,sBAAsB,CAAC,OAAO,CAAC;YAClC,EAAE,CAAC,qBAAqB,CAAC,OAAO,CAAC;YACjC,EAAE,CAAC,mBAAmB,CAAC,OAAO,CAAC;YAC/B,EAAE,CAAC,eAAe,CAAC,OAAO,CAAC;YAC3B,EAAE,CAAC,oBAAoB,CAAC,OAAO,CAAC,CAAC;YACnC,OAAO,CAAC,cAAc,EACtB,CAAC;YACD,KAAK,MAAM,EAAE,IAAI,OAAO,CAAC,cAAc,EAAE,CAAC;gBACxC,2EAA2E;gBAC3E,IAAI,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,CAAC;oBAC/B,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;gBAC3B,CAAC;YACH,CAAC;QACH,CAAC;QACD,OAAO,GAAG,OAAO,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF;;;;;;;;;GASG;AACH,MAAM,yBAAyB,GAAG,CAChC,QAAqB,EACrB,UAAyB,EACwB,EAAE;IACnD,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,QAAQ,CAAC,EAAE,CAAC;QAClC,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,4CAA4C;IAC5C,MAAM,UAAU,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,CAAC,aAAa,CAAC,CAAC;IACtD,IAAI,CAAC,UAAU,EAAE,CAAC;QAChB,OAAO,SAAS,CAAC;IACnB,CAAC;IAED,6EAA6E;IAC7E,MAAM,uBAAuB,GAC3B,qCAAqC,CAAC,QAAQ,CAAC,CAAC;IAClD,MAAM,eAAe,GAAG,QAAQ,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC;IAExE,KAAK,MAAM,UAAU,IAAI,eAAe,EAAE,CAAC;QACzC,MAAM,aAAa,GAAG,yBAAyB,CAAC,UAAU,CAAC,CAAC;QAC5D,IAAI,aAAa,IAAI,uBAAuB,CAAC,GAAG,CAAC,aAAa,CAAC,EAAE,CAAC;YAChE,+CAA+C;YAC/C,MAAM,KAAK,GAAG,QAAQ,CAAC,QAAQ,CAAC,UAAU,CAAC,CAAC;YAC5C,MAAM,GAAG,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC;YAC9B,MAAM,EAAE,IAAI,EAAE,SAAS,EAAE,GACvB,UAAU,CAAC,6BAA6B,CAAC,KAAK,CAAC,CAAC;YAElD,OAAO,gBAAgB,CACrB,SAAS,EACT,OAAO,EACP,mBAAmB,QAAQ,CAAC,OAAO,CAAC,UAAU,CAAC,gDAAgD,aAAa,iCAAiC;gBAC3I,mFAAmF,EACrF;gBACE,IAAI,EAAE,UAAU,CAAC,QAAQ;gBACzB,IAAI,EAAE,IAAI,GAAG,CAAC;gBACd,MAAM,EAAE,SAAS;gBACjB,MAAM,EAAE,GAAG,GAAG,KAAK;aACpB,EACD,gGAAgG;gBAC9F,wGAAwG,CAC3G,CAAC;QACJ,CAAC;IACH,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF;;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,iFAAiF;QACjF,oFAAoF;QACpF,IAAI,EAAE,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YACxB,MAAM,mBAAmB,GAAG,yBAAyB,CAAC,IAAI,EAAE,UAAU,CAAC,CAAC;YACxE,IAAI,mBAAmB,EAAE,CAAC;gBACxB,SAAS,GAAG,aAAa,CAAC,SAAS,EAAE,mBAAmB,CAAC,CAAC;YAC5D,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;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AAEjC,OAAO,EAEL,aAAa,GACd,MAAM,wBAAwB,CAAC;AAChC,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"}

package/dist/validation/imports.js

@@ -28,7 +28,7 @@ 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, program.clrResolver);
+    const result = resolveImport(importPath, sourceFile.fileName, program.options.sourceRoot, { clrResolver: program.clrResolver, bindings: program.bindings });
     if (!result.ok) {
         const location = getNodeLocation(sourceFile, node.moduleSpecifier);
         return addDiagnostic(collector, { ...result.error, location });

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,OAAO,CAAC,WAAW,CACpB,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,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"}

package/dist/validation/index.d.ts

@@ -6,6 +6,8 @@ export { validateImports, validateImportDeclaration } from "./imports.js";
 export { validateExports } from "./exports.js";
 export { validateUnsupportedFeatures } from "./features.js";
 export { validateGenerics } from "./generics.js";
+export { validateExtensionMethods } from "./extension-methods.js";
 export { validateStaticSafety } from "./static-safety.js";
+export { validateCoreIntrinsics } from "./core-intrinsics.js";
 export { hasExportModifier, getNodeLocation } from "./helpers.js";
 //# sourceMappingURL=index.d.ts.map

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

@@ -1 +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"}
+{"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,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}

package/dist/validation/index.js

@@ -6,6 +6,8 @@ export { validateImports, validateImportDeclaration } from "./imports.js";
 export { validateExports } from "./exports.js";
 export { validateUnsupportedFeatures } from "./features.js";
 export { validateGenerics } from "./generics.js";
+export { validateExtensionMethods } from "./extension-methods.js";
 export { validateStaticSafety } from "./static-safety.js";
+export { validateCoreIntrinsics } from "./core-intrinsics.js";
 export { hasExportModifier, getNodeLocation } from "./helpers.js";
 //# sourceMappingURL=index.js.map

package/dist/validation/index.js.map

@@ -1 +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"}
+{"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,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAC9D,OAAO,EAAE,iBAAiB,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC"}

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

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/validation/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAErB,MAAM,wBAAwB,CAAC;AAOhC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,aAAa,KACrB,oBAOF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAaF,CAAC"}
+{"version":3,"file":"orchestrator.d.ts","sourceRoot":"","sources":["../../src/validation/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAErB,MAAM,wBAAwB,CAAC;AAShC;;GAEG;AACH,eAAO,MAAM,eAAe,GAC1B,SAAS,aAAa,KACrB,oBAOF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,kBAAkB,GAC7B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAeF,CAAC"}

package/dist/validation/orchestrator.js

@@ -6,7 +6,9 @@ import { validateImports } from "./imports.js";
 import { validateExports } from "./exports.js";
 import { validateUnsupportedFeatures } from "./features.js";
 import { validateGenerics } from "./generics.js";
+import { validateExtensionMethods } from "./extension-methods.js";
 import { validateStaticSafety } from "./static-safety.js";
+import { validateCoreIntrinsics } from "./core-intrinsics.js";
 /**
  * Validate an entire Tsonic program
  */
@@ -19,10 +21,12 @@ export const validateProgram = (program) => {
  */
 export const validateSourceFile = (sourceFile, program, collector) => {
     const validationFns = [
+        validateCoreIntrinsics,
         validateImports,
         validateExports,
         validateUnsupportedFeatures,
         validateGenerics,
+        validateExtensionMethods,
         validateStaticSafety,
     ];
     return validationFns.reduce((acc, fn) => fn(sourceFile, program, acc), collector);

package/dist/validation/orchestrator.js.map

@@ -1 +1 @@
-{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../src/validation/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAEL,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,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;AAE1D;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAsB,EACA,EAAE;IACxB,MAAM,SAAS,GAAG,0BAA0B,EAAE,CAAC;IAE/C,OAAO,OAAO,CAAC,WAAW,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,EACjE,SAAS,CACV,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,aAAa,GAAG;QACpB,eAAe;QACf,eAAe;QACf,2BAA2B;QAC3B,gBAAgB;QAChB,oBAAoB;KACrB,CAAC;IAEF,OAAO,aAAa,CAAC,MAAM,CACzB,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,EACzC,SAAS,CACV,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"orchestrator.js","sourceRoot":"","sources":["../../src/validation/orchestrator.ts"],"names":[],"mappings":"AAAA;;GAEG;AAIH,OAAO,EAEL,0BAA0B,GAC3B,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,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,wBAAwB,EAAE,MAAM,wBAAwB,CAAC;AAClE,OAAO,EAAE,oBAAoB,EAAE,MAAM,oBAAoB,CAAC;AAC1D,OAAO,EAAE,sBAAsB,EAAE,MAAM,sBAAsB,CAAC;AAE9D;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,OAAsB,EACA,EAAE;IACxB,MAAM,SAAS,GAAG,0BAA0B,EAAE,CAAC;IAE/C,OAAO,OAAO,CAAC,WAAW,CAAC,MAAM,CAC/B,CAAC,GAAG,EAAE,UAAU,EAAE,EAAE,CAAC,kBAAkB,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,EACjE,SAAS,CACV,CAAC;AACJ,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,aAAa,GAAG;QACpB,sBAAsB;QACtB,eAAe;QACf,eAAe;QACf,2BAA2B;QAC3B,gBAAgB;QAChB,wBAAwB;QACxB,oBAAoB;KACrB,CAAC;IAEF,OAAO,aAAa,CAAC,MAAM,CACzB,CAAC,GAAG,EAAE,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,EAAE,GAAG,CAAC,EACzC,SAAS,CACV,CAAC;AACJ,CAAC,CAAC"}

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

@@ -11,6 +11,7 @@
  * - TSN7409: 'infer' keyword not supported
  * - TSN7410: Intersection types not supported
  * - TSN7413: Dictionary key must be string or number
+ * - TSN7430: Arrow function requires explicit types (escape hatch)
  *
  * This ensures NativeAOT-compatible, predictable-performance output.
  *

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

@@ -1 +1 @@
-{"version":3,"file":"static-safety.d.ts","sourceRoot":"","sources":["../../src/validation/static-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AAShC;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBA0SF,CAAC"}
+{"version":3,"file":"static-safety.d.ts","sourceRoot":"","sources":["../../src/validation/static-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EAAE,aAAa,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,EACL,oBAAoB,EAGrB,MAAM,wBAAwB,CAAC;AA4RhC;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,YAAY,EAAE,CAAC,UAAU,EACzB,SAAS,aAAa,EACtB,WAAW,oBAAoB,KAC9B,oBAyWF,CAAC"}