@tsonic/frontend 0.0.4 → 0.0.11

package/dist/validation/static-safety.js

@@ -5,7 +5,12 @@
  * - TSN7401: 'any' type usage
  * - TSN7403: Object literal without contextual nominal type
  * - TSN7405: Untyped function/arrow/lambda parameter
- * - TSN7413: Dictionary key must be string type
+ * - TSN7406: Mapped types not supported
+ * - TSN7407: Conditional types not supported
+ * - TSN7408: Mixed variadic tuples not supported
+ * - TSN7409: 'infer' keyword not supported
+ * - TSN7410: Intersection types not supported
+ * - TSN7413: Dictionary key must be string or number
  *
  * This ensures NativeAOT-compatible, predictable-performance output.
  *
@@ -16,6 +21,9 @@
 import * as ts from "typescript";
 import { addDiagnostic, createDiagnostic, } from "../types/diagnostic.js";
 import { getNodeLocation } from "./helpers.js";
+import { inferLambdaParamTypes } from "../ir/type-converter/index.js";
+import { UNSUPPORTED_MAPPED_UTILITY_TYPES, UNSUPPORTED_CONDITIONAL_UTILITY_TYPES, } from "./unsupported-utility-types.js";
+import { checkSynthesisEligibility } from "../ir/converters/anonymous-synthesis.js";
 /**
  * Validate a source file for static safety violations.
  */
@@ -36,49 +44,122 @@ export const validateStaticSafety = (sourceFile, program, collector) => {
         // Covers: function declarations, methods, constructors, arrow functions, function expressions
         if (ts.isParameter(node) && !node.type) {
             const parent = node.parent;
-            const isFunctionLike = ts.isFunctionDeclaration(parent) ||
-                ts.isMethodDeclaration(parent) ||
-                ts.isConstructorDeclaration(parent) ||
-                ts.isArrowFunction(parent) ||
-                ts.isFunctionExpression(parent) ||
-                ts.isGetAccessorDeclaration(parent) ||
-                ts.isSetAccessorDeclaration(parent);
-            if (isFunctionLike) {
-                const paramName = ts.isIdentifier(node.name) ? node.name.text : "param";
-                currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7405", "error", `Parameter '${paramName}' must have an explicit type annotation.`, getNodeLocation(sourceFile, node), "Add a type annotation to this parameter."));
+            // For lambdas (arrow functions and function expressions), allow inference from context
+            const isLambda = ts.isArrowFunction(parent) || ts.isFunctionExpression(parent);
+            if (isLambda) {
+                // Try contextual signature inference
+                const inference = inferLambdaParamTypes(parent, checker);
+                const paramIndex = parent.parameters.indexOf(node);
+                // If inference succeeded for this parameter, don't emit TSN7405
+                if (inference && inference.paramTypes[paramIndex] !== undefined) {
+                    // Inference succeeded - no error needed
+                }
+                else {
+                    // Inference failed - emit TSN7405
+                    const paramName = ts.isIdentifier(node.name)
+                        ? node.name.text
+                        : "param";
+                    currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7405", "error", `Parameter '${paramName}' must have an explicit type annotation.`, getNodeLocation(sourceFile, node), "Add a type annotation to this parameter, or use the lambda in a context that provides type inference (e.g., array.sort, array.map)."));
+                }
+            }
+            else {
+                // For non-lambdas (function declarations, methods, constructors, accessors),
+                // always require explicit type annotations
+                const isFunctionLike = ts.isFunctionDeclaration(parent) ||
+                    ts.isMethodDeclaration(parent) ||
+                    ts.isConstructorDeclaration(parent) ||
+                    ts.isGetAccessorDeclaration(parent) ||
+                    ts.isSetAccessorDeclaration(parent);
+                if (isFunctionLike) {
+                    const paramName = ts.isIdentifier(node.name)
+                        ? node.name.text
+                        : "param";
+                    currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7405", "error", `Parameter '${paramName}' must have an explicit type annotation.`, getNodeLocation(sourceFile, node), "Add a type annotation to this parameter."));
+                }
             }
         }
         // TSN7403: Check for object literals without contextual nominal type
+        // Now supports auto-synthesis for eligible object literals (spreads, arrow props)
         if (ts.isObjectLiteralExpression(node)) {
             const contextualType = checker.getContextualType(node);
-            // Must have a contextual type that resolves to a nominal type or dictionary
-            if (!contextualType ||
-                !isNominalOrDictionaryType(contextualType, checker)) {
-                currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7403", "error", "Object literal requires a contextual nominal type (interface, type alias, or class). Anonymous object types are not supported.", getNodeLocation(sourceFile, node), "Add a type annotation like 'const x: MyInterface = { ... }' or define an interface/type alias."));
+            // If there's a contextual nominal type, we're good
+            if (contextualType &&
+                isNominalOrDictionaryType(contextualType, checker)) {
+                // Has contextual type - no synthesis needed
+            }
+            else {
+                // No contextual type - check if eligible for synthesis
+                const eligibility = checkSynthesisEligibility(node, checker);
+                if (!eligibility.eligible) {
+                    // Not eligible for synthesis - emit diagnostic with specific reason
+                    currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7403", "error", `Object literal cannot be synthesized: ${eligibility.reason}`, getNodeLocation(sourceFile, node), "Use an explicit type annotation, or restructure to use only identifier keys and arrow functions."));
+                }
+                // If eligible, synthesis will happen during IR conversion
             }
         }
-        // TSN7413: Check for non-string dictionary keys
-        // Record<K, V> where K is not string
+        // Check TypeReferenceNode for utility types and dictionary keys
         if (ts.isTypeReferenceNode(node)) {
             const typeName = node.typeName;
-            if (ts.isIdentifier(typeName) && typeName.text === "Record") {
-                const typeArgs = node.typeArguments;
-                const keyTypeNode = typeArgs?.[0];
-                if (keyTypeNode !== undefined) {
-                    if (!isStringKeyType(keyTypeNode)) {
-                        currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7413", "error", "Dictionary key type must be 'string'. Non-string key types are not supported for NativeAOT compatibility.", getNodeLocation(sourceFile, keyTypeNode), "Use Record<string, V> instead of Record<number, V> or other key types."));
+            if (ts.isIdentifier(typeName)) {
+                const name = typeName.text;
+                const hasTypeArgs = node.typeArguments && node.typeArguments.length > 0;
+                // TSN7406: Mapped-type utility types (these expand to mapped types internally)
+                // Only check when type arguments are present to avoid false positives for
+                // user-defined types named "Partial", etc.
+                if (hasTypeArgs && UNSUPPORTED_MAPPED_UTILITY_TYPES.has(name)) {
+                    currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7406", "error", `Utility type '${name}' is not supported (it uses mapped types internally).`, getNodeLocation(sourceFile, node), `Replace '${name}' with an explicit interface that has the desired properties.`));
+                }
+                // TSN7407: Conditional-type utility types (these expand to conditional types internally)
+                // Only check when type arguments are present
+                if (hasTypeArgs && UNSUPPORTED_CONDITIONAL_UTILITY_TYPES.has(name)) {
+                    currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7407", "error", `Utility type '${name}' is not supported (it uses conditional types internally).`, getNodeLocation(sourceFile, node), `Replace '${name}' with an explicit type definition.`));
+                }
+                // TSN7413: Record<K, V> where K is not an allowed key type
+                if (name === "Record") {
+                    const typeArgs = node.typeArguments;
+                    const keyTypeNode = typeArgs?.[0];
+                    if (keyTypeNode !== undefined) {
+                        if (!isAllowedKeyType(keyTypeNode)) {
+                            currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7413", "error", "Dictionary key type must be 'string' or 'number'. Other key types are not supported.", getNodeLocation(sourceFile, keyTypeNode), "Use Record<string, V> or Record<number, V>."));
+                        }
                     }
                 }
             }
         }
-        // TSN7413: Check for non-string index signatures
-        // { [k: number]: V } is not allowed
+        // TSN7413: Check for unsupported index signature key types
+        // Only string and number are allowed (matches TypeScript's index signature constraints)
         if (ts.isIndexSignatureDeclaration(node)) {
             const keyParam = node.parameters[0];
-            if (keyParam?.type && !isStringKeyType(keyParam.type)) {
-                currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7413", "error", "Index signature key type must be 'string'. Non-string key types are not supported for NativeAOT compatibility.", getNodeLocation(sourceFile, keyParam.type), "Use { [key: string]: V } instead of { [key: number]: V }."));
+            if (keyParam?.type && !isAllowedKeyType(keyParam.type)) {
+                currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7413", "error", "Index signature key type must be 'string' or 'number'. Other key types are not supported.", getNodeLocation(sourceFile, keyParam.type), "Use { [key: string]: V } or { [key: number]: V }."));
+            }
+        }
+        // TSN7406: Check for mapped types (e.g., { [P in keyof T]: ... })
+        if (ts.isMappedTypeNode(node)) {
+            currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7406", "error", "Mapped types are not supported. Write an explicit interface or class instead.", getNodeLocation(sourceFile, node), "Replace mapped types like Partial<T>, Required<T>, or { [P in keyof T]: ... } with explicit interface definitions."));
+        }
+        // TSN7407: Check for conditional types (e.g., T extends U ? X : Y)
+        if (ts.isConditionalTypeNode(node)) {
+            currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7407", "error", "Conditional types are not supported. Use explicit union types or overloads instead.", getNodeLocation(sourceFile, node), "Replace conditional types like Extract<T, U> or T extends X ? Y : Z with explicit type definitions."));
+        }
+        // TSN7408: Check for variadic tuple types with mixed elements (e.g., [string, ...number[]])
+        // Pure variadic tuples like [...T[]] are OK (converted to arrays), fixed tuples are OK
+        // Mixed tuples with both fixed and rest elements are not supported
+        if (ts.isTupleTypeNode(node)) {
+            const hasRest = node.elements.some((el) => ts.isRestTypeNode(el));
+            const hasFixed = node.elements.some((el) => !ts.isRestTypeNode(el));
+            if (hasRest && hasFixed) {
+                currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7408", "error", "Variadic tuple types with mixed fixed and rest elements are not supported.", getNodeLocation(sourceFile, node), "Use a fixed-length tuple like [T1, T2] or an array like T[] instead."));
             }
         }
+        // TSN7409: Check for 'infer' keyword in conditional types
+        if (ts.isInferTypeNode(node)) {
+            currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7409", "error", "The 'infer' keyword is not supported. Use explicit type parameters instead.", getNodeLocation(sourceFile, node), "Replace infer patterns with explicit generic type parameters."));
+        }
+        // TSN7410: Check for intersection types (e.g., A & B)
+        if (ts.isIntersectionTypeNode(node)) {
+            currentCollector = addDiagnostic(currentCollector, createDiagnostic("TSN7410", "error", "Intersection types (A & B) are not supported. Use a nominal type that explicitly includes all required members.", getNodeLocation(sourceFile, node), "Replace the intersection with an interface or class that combines the members, or a type alias to an object type with explicit members."));
+        }
         // Continue visiting children
         ts.forEachChild(node, (child) => {
             currentCollector = visitor(child, currentCollector);
@@ -92,14 +173,26 @@ export const validateStaticSafety = (sourceFile, program, collector) => {
  * or a dictionary type that we can emit.
  *
  * Returns false for anonymous object types like `{ x: number }` without a name.
+ *
+ * Special case: Union types defined via type aliases (e.g., Result<T, E> = { ok: true; value: T } | {...})
+ * are considered nominal because we generate synthetic interfaces for them during IR building.
  */
 const isNominalOrDictionaryType = (type, checker) => {
     // Check if it's a dictionary type (Record<K,V> or index signature)
     if (isTsDictionaryType(type)) {
         return true;
     }
+    // Check if the type has an aliasSymbol (used via a type alias)
+    // This catches: type Result = { ok: true } | { ok: false }
+    // where the union was defined via a type alias
+    if (type.aliasSymbol) {
+        const aliasDecl = type.aliasSymbol.getDeclarations()?.[0];
+        if (aliasDecl && ts.isTypeAliasDeclaration(aliasDecl)) {
+            return true;
+        }
+    }
     // Check if the type has a symbol with a declaration (named type)
-    const symbol = type.getSymbol() ?? type.aliasSymbol;
+    const symbol = type.getSymbol();
     if (symbol) {
         const declarations = symbol.getDeclarations();
         const decl = declarations?.[0];
@@ -112,6 +205,14 @@ const isNominalOrDictionaryType = (type, checker) => {
             }
         }
     }
+    // Check for union types with aliasSymbol (discriminated unions via type alias)
+    // This handles: return { ok: true, value } where return type is Result<T,E>
+    if (type.isUnion()) {
+        // Check if this union was created from a type alias
+        if (type.aliasSymbol) {
+            return true;
+        }
+    }
     // Check for primitive types (allowed)
     if (type.flags & ts.TypeFlags.String ||
         type.flags & ts.TypeFlags.Number ||
@@ -145,19 +246,26 @@ const isTsDictionaryType = (type) => {
     return !!(stringIndexType || numberIndexType);
 };
 /**
- * Check if a type node represents a string key type.
- * Only `string` keyword is allowed for dictionary keys.
+ * Check if a type node represents an allowed dictionary key type.
+ * Allowed: string, number (matches TypeScript's PropertyKey constraint)
+ *
+ * Note: TypeScript's Record<K, V> only allows K extends keyof any (string | number | symbol).
+ * We support string and number. Symbol is rejected via TSN7203.
  */
-const isStringKeyType = (typeNode) => {
-    // Direct string keyword
-    if (typeNode.kind === ts.SyntaxKind.StringKeyword) {
+const isAllowedKeyType = (typeNode) => {
+    // Direct keywords
+    if (typeNode.kind === ts.SyntaxKind.StringKeyword ||
+        typeNode.kind === ts.SyntaxKind.NumberKeyword) {
         return true;
     }
-    // Type reference to "string"
+    // Type reference to allowed types
     if (ts.isTypeReferenceNode(typeNode)) {
         const typeName = typeNode.typeName;
-        if (ts.isIdentifier(typeName) && typeName.text === "string") {
-            return true;
+        if (ts.isIdentifier(typeName)) {
+            const name = typeName.text;
+            if (name === "string" || name === "number") {
+                return true;
+            }
         }
     }
     return false;

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

@@ -1 +1 @@
-{"version":3,"file":"static-safety.js","sourceRoot":"","sources":["../../src/validation/static-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;GAcG;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,oBAAoB,GAAG,CAClC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAEhC,MAAM,OAAO,GAAG,CACd,IAAa,EACb,YAAkC,EACZ,EAAE;QACxB,IAAI,gBAAgB,GAAG,YAAY,CAAC;QAEpC,qDAAqD;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3C,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gGAAgG,EAChG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qFAAqF,CACtF,CACF,CAAC;QACJ,CAAC;QAED,8CAA8C;QAC9C,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAC3C,CAAC;YACD,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,0EAA0E,EAC1E,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,2EAA2E,CAC5E,CACF,CAAC;QACJ,CAAC;QAED,iDAAiD;QACjD,8FAA8F;QAC9F,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAC3B,MAAM,cAAc,GAClB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;gBAChC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;gBAC9B,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;gBACnC,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC;gBAC1B,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC;gBAC/B,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;gBACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;YAEtC,IAAI,cAAc,EAAE,CAAC;gBACnB,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,OAAO,CAAC;gBACxE,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,cAAc,SAAS,0CAA0C,EACjE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,0CAA0C,CAC3C,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAEvD,4EAA4E;YAC5E,IACE,CAAC,cAAc;gBACf,CAAC,yBAAyB,CAAC,cAAc,EAAE,OAAO,CAAC,EACnD,CAAC;gBACD,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gIAAgI,EAChI,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,gGAAgG,CACjG,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,gDAAgD;QAChD,qCAAqC;QACrC,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,QAAQ,EAAE,CAAC;gBAC5D,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC;gBACpC,MAAM,WAAW,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;gBAClC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;oBAC9B,IAAI,CAAC,eAAe,CAAC,WAAW,CAAC,EAAE,CAAC;wBAClC,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2GAA2G,EAC3G,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,EACxC,wEAAwE,CACzE,CACF,CAAC;oBACJ,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,iDAAiD;QACjD,oCAAoC;QACpC,IAAI,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,QAAQ,EAAE,IAAI,IAAI,CAAC,eAAe,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACtD,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gHAAgH,EAChH,eAAe,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,EAC1C,2DAA2D,CAC5D,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,6BAA6B;QAC7B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YAC9B,gBAAgB,GAAG,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,OAAO,gBAAgB,CAAC;IAC1B,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,yBAAyB,GAAG,CAChC,IAAa,EACb,OAAuB,EACd,EAAE;IACX,mEAAmE;IACnE,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,iEAAiE;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,IAAI,IAAI,CAAC,WAAW,CAAC;IACpD,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,uCAAuC;YACvC,IACE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAC3B,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,IACE,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM;QAChC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM;QAChC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO;QACjC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI;QAC9B,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS;QACnC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kCAAkC;IAClC,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAW,EAAE;IACpD,qCAAqC;IACrC,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yDAAyD;IACzD,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAClD,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAElD,OAAO,CAAC,CAAC,CAAC,eAAe,IAAI,eAAe,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,eAAe,GAAG,CAAC,QAAqB,EAAW,EAAE;IACzD,wBAAwB;IACxB,IAAI,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAAE,CAAC;QAClD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,6BAA6B;IAC7B,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACnC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC5D,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}
+{"version":3,"file":"static-safety.js","sourceRoot":"","sources":["../../src/validation/static-safety.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;GAmBG;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;AAC/C,OAAO,EAAE,qBAAqB,EAAE,MAAM,+BAA+B,CAAC;AACtE,OAAO,EACL,gCAAgC,EAChC,qCAAqC,GACtC,MAAM,gCAAgC,CAAC;AACxC,OAAO,EAAE,yBAAyB,EAAE,MAAM,yCAAyC,CAAC;AAEpF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,UAAyB,EACzB,OAAsB,EACtB,SAA+B,EACT,EAAE;IACxB,MAAM,OAAO,GAAG,OAAO,CAAC,OAAO,CAAC;IAEhC,MAAM,OAAO,GAAG,CACd,IAAa,EACb,YAAkC,EACZ,EAAE;QACxB,IAAI,gBAAgB,GAAG,YAAY,CAAC;QAEpC,qDAAqD;QACrD,IAAI,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAAE,CAAC;YAC3C,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,gGAAgG,EAChG,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qFAAqF,CACtF,CACF,CAAC;QACJ,CAAC;QAED,8CAA8C;QAC9C,IACE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC;YACvB,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,UAAU,EAC3C,CAAC;YACD,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,0EAA0E,EAC1E,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,2EAA2E,CAC5E,CACF,CAAC;QACJ,CAAC;QAED,iDAAiD;QACjD,8FAA8F;QAC9F,IAAI,EAAE,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;YACvC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC;YAE3B,uFAAuF;YACvF,MAAM,QAAQ,GACZ,EAAE,CAAC,eAAe,CAAC,MAAM,CAAC,IAAI,EAAE,CAAC,oBAAoB,CAAC,MAAM,CAAC,CAAC;YAEhE,IAAI,QAAQ,EAAE,CAAC;gBACb,qCAAqC;gBACrC,MAAM,SAAS,GAAG,qBAAqB,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;gBACzD,MAAM,UAAU,GAAG,MAAM,CAAC,UAAU,CAAC,OAAO,CAC1C,IAA+B,CAChC,CAAC;gBAEF,gEAAgE;gBAChE,IAAI,SAAS,IAAI,SAAS,CAAC,UAAU,CAAC,UAAU,CAAC,KAAK,SAAS,EAAE,CAAC;oBAChE,wCAAwC;gBAC1C,CAAC;qBAAM,CAAC;oBACN,kCAAkC;oBAClC,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;wBAChB,CAAC,CAAC,OAAO,CAAC;oBACZ,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,cAAc,SAAS,0CAA0C,EACjE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qIAAqI,CACtI,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,6EAA6E;gBAC7E,2CAA2C;gBAC3C,MAAM,cAAc,GAClB,EAAE,CAAC,qBAAqB,CAAC,MAAM,CAAC;oBAChC,EAAE,CAAC,mBAAmB,CAAC,MAAM,CAAC;oBAC9B,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;oBACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC;oBACnC,EAAE,CAAC,wBAAwB,CAAC,MAAM,CAAC,CAAC;gBAEtC,IAAI,cAAc,EAAE,CAAC;oBACnB,MAAM,SAAS,GAAG,EAAE,CAAC,YAAY,CAAC,IAAI,CAAC,IAAI,CAAC;wBAC1C,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI;wBAChB,CAAC,CAAC,OAAO,CAAC;oBACZ,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,cAAc,SAAS,0CAA0C,EACjE,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,0CAA0C,CAC3C,CACF,CAAC;gBACJ,CAAC;YACH,CAAC;QACH,CAAC;QAED,qEAAqE;QACrE,kFAAkF;QAClF,IAAI,EAAE,CAAC,yBAAyB,CAAC,IAAI,CAAC,EAAE,CAAC;YACvC,MAAM,cAAc,GAAG,OAAO,CAAC,iBAAiB,CAAC,IAAI,CAAC,CAAC;YAEvD,mDAAmD;YACnD,IACE,cAAc;gBACd,yBAAyB,CAAC,cAAc,EAAE,OAAO,CAAC,EAClD,CAAC;gBACD,4CAA4C;YAC9C,CAAC;iBAAM,CAAC;gBACN,uDAAuD;gBACvD,MAAM,WAAW,GAAG,yBAAyB,CAAC,IAAI,EAAE,OAAO,CAAC,CAAC;gBAC7D,IAAI,CAAC,WAAW,CAAC,QAAQ,EAAE,CAAC;oBAC1B,oEAAoE;oBACpE,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,yCAAyC,WAAW,CAAC,MAAM,EAAE,EAC7D,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,kGAAkG,CACnG,CACF,CAAC;gBACJ,CAAC;gBACD,0DAA0D;YAC5D,CAAC;QACH,CAAC;QAED,gEAAgE;QAChE,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,EAAE,CAAC;gBAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;gBAC3B,MAAM,WAAW,GAAG,IAAI,CAAC,aAAa,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC,CAAC;gBAExE,+EAA+E;gBAC/E,0EAA0E;gBAC1E,2CAA2C;gBAC3C,IAAI,WAAW,IAAI,gCAAgC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBAC9D,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iBAAiB,IAAI,uDAAuD,EAC5E,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,YAAY,IAAI,+DAA+D,CAChF,CACF,CAAC;gBACJ,CAAC;gBAED,yFAAyF;gBACzF,6CAA6C;gBAC7C,IAAI,WAAW,IAAI,qCAAqC,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC;oBACnE,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iBAAiB,IAAI,4DAA4D,EACjF,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,YAAY,IAAI,qCAAqC,CACtD,CACF,CAAC;gBACJ,CAAC;gBAED,2DAA2D;gBAC3D,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;oBACtB,MAAM,QAAQ,GAAG,IAAI,CAAC,aAAa,CAAC;oBACpC,MAAM,WAAW,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC,CAAC;oBAClC,IAAI,WAAW,KAAK,SAAS,EAAE,CAAC;wBAC9B,IAAI,CAAC,gBAAgB,CAAC,WAAW,CAAC,EAAE,CAAC;4BACnC,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,sFAAsF,EACtF,eAAe,CAAC,UAAU,EAAE,WAAW,CAAC,EACxC,6CAA6C,CAC9C,CACF,CAAC;wBACJ,CAAC;oBACH,CAAC;gBACH,CAAC;YACH,CAAC;QACH,CAAC;QAED,2DAA2D;QAC3D,wFAAwF;QACxF,IAAI,EAAE,CAAC,2BAA2B,CAAC,IAAI,CAAC,EAAE,CAAC;YACzC,MAAM,QAAQ,GAAG,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;YACpC,IAAI,QAAQ,EAAE,IAAI,IAAI,CAAC,gBAAgB,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvD,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,2FAA2F,EAC3F,eAAe,CAAC,UAAU,EAAE,QAAQ,CAAC,IAAI,CAAC,EAC1C,mDAAmD,CACpD,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,kEAAkE;QAClE,IAAI,EAAE,CAAC,gBAAgB,CAAC,IAAI,CAAC,EAAE,CAAC;YAC9B,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,+EAA+E,EAC/E,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,oHAAoH,CACrH,CACF,CAAC;QACJ,CAAC;QAED,mEAAmE;QACnE,IAAI,EAAE,CAAC,qBAAqB,CAAC,IAAI,CAAC,EAAE,CAAC;YACnC,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,qFAAqF,EACrF,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,qGAAqG,CACtG,CACF,CAAC;QACJ,CAAC;QAED,4FAA4F;QAC5F,uFAAuF;QACvF,mEAAmE;QACnE,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,MAAM,OAAO,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;YAClE,MAAM,QAAQ,GAAG,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,EAAE,CAAC,cAAc,CAAC,EAAE,CAAC,CAAC,CAAC;YAEpE,IAAI,OAAO,IAAI,QAAQ,EAAE,CAAC;gBACxB,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,4EAA4E,EAC5E,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,sEAAsE,CACvE,CACF,CAAC;YACJ,CAAC;QACH,CAAC;QAED,0DAA0D;QAC1D,IAAI,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC,EAAE,CAAC;YAC7B,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,6EAA6E,EAC7E,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,+DAA+D,CAChE,CACF,CAAC;QACJ,CAAC;QAED,sDAAsD;QACtD,IAAI,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC,EAAE,CAAC;YACpC,gBAAgB,GAAG,aAAa,CAC9B,gBAAgB,EAChB,gBAAgB,CACd,SAAS,EACT,OAAO,EACP,iHAAiH,EACjH,eAAe,CAAC,UAAU,EAAE,IAAI,CAAC,EACjC,yIAAyI,CAC1I,CACF,CAAC;QACJ,CAAC;QAED,6BAA6B;QAC7B,EAAE,CAAC,YAAY,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,EAAE;YAC9B,gBAAgB,GAAG,OAAO,CAAC,KAAK,EAAE,gBAAgB,CAAC,CAAC;QACtD,CAAC,CAAC,CAAC;QAEH,OAAO,gBAAgB,CAAC;IAC1B,CAAC,CAAC;IAEF,OAAO,OAAO,CAAC,UAAU,EAAE,SAAS,CAAC,CAAC;AACxC,CAAC,CAAC;AAEF;;;;;;;;GAQG;AACH,MAAM,yBAAyB,GAAG,CAChC,IAAa,EACb,OAAuB,EACd,EAAE;IACX,mEAAmE;IACnE,IAAI,kBAAkB,CAAC,IAAI,CAAC,EAAE,CAAC;QAC7B,OAAO,IAAI,CAAC;IACd,CAAC;IAED,+DAA+D;IAC/D,2DAA2D;IAC3D,+CAA+C;IAC/C,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;QACrB,MAAM,SAAS,GAAG,IAAI,CAAC,WAAW,CAAC,eAAe,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC;QAC1D,IAAI,SAAS,IAAI,EAAE,CAAC,sBAAsB,CAAC,SAAS,CAAC,EAAE,CAAC;YACtD,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,iEAAiE;IACjE,MAAM,MAAM,GAAG,IAAI,CAAC,SAAS,EAAE,CAAC;IAChC,IAAI,MAAM,EAAE,CAAC;QACX,MAAM,YAAY,GAAG,MAAM,CAAC,eAAe,EAAE,CAAC;QAC9C,MAAM,IAAI,GAAG,YAAY,EAAE,CAAC,CAAC,CAAC,CAAC;QAC/B,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,uCAAuC;YACvC,IACE,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,sBAAsB,CAAC,IAAI,CAAC;gBAC/B,EAAE,CAAC,kBAAkB,CAAC,IAAI,CAAC,EAC3B,CAAC;gBACD,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,+EAA+E;IAC/E,4EAA4E;IAC5E,IAAI,IAAI,CAAC,OAAO,EAAE,EAAE,CAAC;QACnB,oDAAoD;QACpD,IAAI,IAAI,CAAC,WAAW,EAAE,CAAC;YACrB,OAAO,IAAI,CAAC;QACd,CAAC;IACH,CAAC;IAED,sCAAsC;IACtC,IACE,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM;QAChC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,MAAM;QAChC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,OAAO;QACjC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI;QAC9B,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,SAAS;QACnC,IAAI,CAAC,KAAK,GAAG,EAAE,CAAC,SAAS,CAAC,IAAI,EAC9B,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kCAAkC;IAClC,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QAC3D,OAAO,IAAI,CAAC;IACd,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,kBAAkB,GAAG,CAAC,IAAa,EAAW,EAAE;IACpD,qCAAqC;IACrC,IAAI,IAAI,CAAC,WAAW,EAAE,IAAI,KAAK,QAAQ,EAAE,CAAC;QACxC,OAAO,IAAI,CAAC;IACd,CAAC;IAED,yDAAyD;IACzD,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAClD,MAAM,eAAe,GAAG,IAAI,CAAC,kBAAkB,EAAE,CAAC;IAElD,OAAO,CAAC,CAAC,CAAC,eAAe,IAAI,eAAe,CAAC,CAAC;AAChD,CAAC,CAAC;AAEF;;;;;;GAMG;AACH,MAAM,gBAAgB,GAAG,CAAC,QAAqB,EAAW,EAAE;IAC1D,kBAAkB;IAClB,IACE,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa;QAC7C,QAAQ,CAAC,IAAI,KAAK,EAAE,CAAC,UAAU,CAAC,aAAa,EAC7C,CAAC;QACD,OAAO,IAAI,CAAC;IACd,CAAC;IAED,kCAAkC;IAClC,IAAI,EAAE,CAAC,mBAAmB,CAAC,QAAQ,CAAC,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC;QACnC,IAAI,EAAE,CAAC,YAAY,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,MAAM,IAAI,GAAG,QAAQ,CAAC,IAAI,CAAC;YAC3B,IAAI,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,QAAQ,EAAE,CAAC;gBAC3C,OAAO,IAAI,CAAC;YACd,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,KAAK,CAAC;AACf,CAAC,CAAC"}

package/dist/validation/unsupported-utility-types.d.ts

@@ -0,0 +1,38 @@
+/**
+ * Centralized list of unsupported TypeScript utility types
+ *
+ * These utility types internally use mapped or conditional types which are not
+ * supported in Tsonic. They are detected by name in TypeReferenceNode validation.
+ *
+ * Note: This only applies to the built-in utility types from TypeScript's lib.
+ * User-defined types with these names (without type arguments) are allowed.
+ */
+/**
+ * Mapped-type utility types (TSN7406)
+ *
+ * These expand to mapped types internally:
+ * - Partial<T>   → { [P in keyof T]?: T[P] }
+ * - Required<T>  → { [P in keyof T]-?: T[P] }
+ * - Readonly<T>  → { readonly [P in keyof T]: T[P] }
+ * - Pick<T, K>   → { [P in K]: T[P] }
+ * - Omit<T, K>   → { [P in Exclude<keyof T, K>]: T[P] }
+ *
+ * Note: Record<K, V> is handled separately (allowed when K is string, TSN7413 otherwise)
+ * Note: ReadonlyArray<T> is NOT a mapped type - it maps to IReadOnlyList<T> and is supported
+ */
+export declare const UNSUPPORTED_MAPPED_UTILITY_TYPES: Set<string>;
+/**
+ * Conditional-type utility types (TSN7407)
+ *
+ * These expand to conditional types internally:
+ * - Extract<T, U>         → T extends U ? T : never
+ * - Exclude<T, U>         → T extends U ? never : T
+ * - NonNullable<T>        → T & {}  (or T extends null | undefined ? never : T)
+ * - ReturnType<T>         → T extends (...args: any) => infer R ? R : any
+ * - Parameters<T>         → T extends (...args: infer P) => any ? P : never
+ * - ConstructorParameters → ConstructorType extends abstract new (...args: infer P) => any ? P : never
+ * - InstanceType<T>       → T extends abstract new (...args: any) => infer R ? R : any
+ * - Awaited<T>            → T extends PromiseLike<infer U> ? Awaited<U> : T
+ */
+export declare const UNSUPPORTED_CONDITIONAL_UTILITY_TYPES: Set<string>;
+//# sourceMappingURL=unsupported-utility-types.d.ts.map

package/dist/validation/unsupported-utility-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"unsupported-utility-types.d.ts","sourceRoot":"","sources":["../../src/validation/unsupported-utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,gCAAgC,aAM3C,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,qCAAqC,aAShD,CAAC"}

package/dist/validation/unsupported-utility-types.js

@@ -0,0 +1,53 @@
+/**
+ * Centralized list of unsupported TypeScript utility types
+ *
+ * These utility types internally use mapped or conditional types which are not
+ * supported in Tsonic. They are detected by name in TypeReferenceNode validation.
+ *
+ * Note: This only applies to the built-in utility types from TypeScript's lib.
+ * User-defined types with these names (without type arguments) are allowed.
+ */
+/**
+ * Mapped-type utility types (TSN7406)
+ *
+ * These expand to mapped types internally:
+ * - Partial<T>   → { [P in keyof T]?: T[P] }
+ * - Required<T>  → { [P in keyof T]-?: T[P] }
+ * - Readonly<T>  → { readonly [P in keyof T]: T[P] }
+ * - Pick<T, K>   → { [P in K]: T[P] }
+ * - Omit<T, K>   → { [P in Exclude<keyof T, K>]: T[P] }
+ *
+ * Note: Record<K, V> is handled separately (allowed when K is string, TSN7413 otherwise)
+ * Note: ReadonlyArray<T> is NOT a mapped type - it maps to IReadOnlyList<T> and is supported
+ */
+export const UNSUPPORTED_MAPPED_UTILITY_TYPES = new Set([
+    "Partial",
+    "Required",
+    "Readonly",
+    "Pick",
+    "Omit",
+]);
+/**
+ * Conditional-type utility types (TSN7407)
+ *
+ * These expand to conditional types internally:
+ * - Extract<T, U>         → T extends U ? T : never
+ * - Exclude<T, U>         → T extends U ? never : T
+ * - NonNullable<T>        → T & {}  (or T extends null | undefined ? never : T)
+ * - ReturnType<T>         → T extends (...args: any) => infer R ? R : any
+ * - Parameters<T>         → T extends (...args: infer P) => any ? P : never
+ * - ConstructorParameters → ConstructorType extends abstract new (...args: infer P) => any ? P : never
+ * - InstanceType<T>       → T extends abstract new (...args: any) => infer R ? R : any
+ * - Awaited<T>            → T extends PromiseLike<infer U> ? Awaited<U> : T
+ */
+export const UNSUPPORTED_CONDITIONAL_UTILITY_TYPES = new Set([
+    "Extract",
+    "Exclude",
+    "NonNullable",
+    "ReturnType",
+    "Parameters",
+    "ConstructorParameters",
+    "InstanceType",
+    "Awaited",
+]);
+//# sourceMappingURL=unsupported-utility-types.js.map

package/dist/validation/unsupported-utility-types.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"unsupported-utility-types.js","sourceRoot":"","sources":["../../src/validation/unsupported-utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,gCAAgC,GAAG,IAAI,GAAG,CAAC;IACtD,SAAS;IACT,UAAU;IACV,UAAU;IACV,MAAM;IACN,MAAM;CACP,CAAC,CAAC;AAEH;;;;;;;;;;;;GAYG;AACH,MAAM,CAAC,MAAM,qCAAqC,GAAG,IAAI,GAAG,CAAC;IAC3D,SAAS;IACT,SAAS;IACT,aAAa;IACb,YAAY;IACZ,YAAY;IACZ,uBAAuB;IACvB,cAAc;IACd,SAAS;CACV,CAAC,CAAC"}