@tsonic/frontend 0.0.13 → 0.0.15

package/dist/ir/{type-converter → type-system/internal/type-converter}/utility-types.d.ts

@@ -1,11 +1,14 @@
 /**
  * Utility type expansion - Partial, Required, Readonly, Pick, Omit
  *
- * These utility types are expanded at compile time by resolving the type
- * through TypeScript's type checker and converting the result to IrObjectType.
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * These utility types are expanded using AST-based analysis only.
+ * No banned APIs (getTypeAtLocation, getTypeOfSymbolAtLocation, typeToTypeNode).
+ * Uses Binding for symbol resolution and extracts types from TypeNodes.
  */
 import * as ts from "typescript";
-import { IrType, IrObjectType } from "../types.js";
+import { IrType, IrObjectType } from "../../../types.js";
+import type { Binding } from "../../../binding/index.js";
 /**
  * Set of supported mapped utility types that can be expanded
  */
@@ -16,7 +19,7 @@ export declare const EXPANDABLE_UTILITY_TYPES: Set<string>;
 export declare const isExpandableUtilityType: (name: string) => boolean;
 /**
  * Set of supported conditional utility types that can be expanded
- * These delegate to TypeScript's type checker for evaluation.
+ * Uses AST-based syntactic algorithms, not TS type evaluation.
  */
 export declare const EXPANDABLE_CONDITIONAL_UTILITY_TYPES: Set<string>;
 /**
@@ -26,53 +29,37 @@ export declare const isExpandableConditionalUtilityType: (name: string) => boole
 /**
  * Expand a mapped utility type to an IrObjectType.
  *
- * This function uses TypeScript's type checker to resolve the utility type
- * and extracts the properties from the resolved type.
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses AST-based analysis only. Gets members from type declarations,
+ * not from ts.Type resolution.
  *
  * @param node - The TypeReferenceNode for the utility type
  * @param typeName - The name of the utility type (Partial, Required, etc.)
- * @param checker - The TypeScript type checker
+ * @param binding - The Binding layer for symbol resolution
  * @param convertType - Function to convert nested types
  * @returns IrObjectType with the expanded properties, or null if expansion fails
  */
-export declare const expandUtilityType: (node: ts.TypeReferenceNode, typeName: string, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrObjectType | null;
+export declare const expandUtilityType: (node: ts.TypeReferenceNode, typeName: string, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrObjectType | null;
 /**
  * Expand a conditional utility type (NonNullable, Exclude, Extract) to IR.
  *
- * This function delegates to TypeScript's type checker to evaluate the
- * conditional type, then converts the resolved result to IR.
- *
- * CONCRETE-ONLY EXPANSION RULE:
- * This function ONLY expands utility types when ALL type arguments are concrete
- * (non-generic). If any type argument contains a type parameter, we return null
- * and let the caller fall through to referenceType. This is intentional because:
- *
- * 1. TypeScript's conditional types are distributive over unions, which requires
- *    knowing the actual types at compile time.
- * 2. For generic contexts like `function f<T>(x: NonNullable<T>)`, we cannot
- *    evaluate the conditional - it must remain as a type reference.
- * 3. This matches TypeScript semantics: deferred evaluation in generic contexts.
- *
- * Gating conditions:
- * - Returns null if any type argument contains type parameters (generic context)
- * - Returns null if TypeScript cannot resolve the type
- *
- * Special handling:
- * - NonNullable<any> → anyType (preserve)
- * - NonNullable<unknown> → unknownType (preserve)
- * - NonNullable<never> → neverType (preserve)
- * - Result is never → neverType
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses AST-based syntactic algorithms only. No getTypeAtLocation or typeToTypeNode.
  *
  * @param node - The TypeReferenceNode for the utility type
- * @param typeName - The name of the utility type (NonNullable, Exclude, Extract)
- * @param checker - The TypeScript type checker
+ * @param typeName - The name of the utility type (NonNullable, Exclude, Extract, etc.)
+ * @param binding - The Binding layer for symbol resolution
  * @param convertType - Function to convert nested types
  * @returns IR type with the expanded result, or null if expansion fails
  */
-export declare const expandConditionalUtilityType: (node: ts.TypeReferenceNode, typeName: string, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrType | null;
+export declare const expandConditionalUtilityType: (node: ts.TypeReferenceNode, typeName: string, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrType | null;
 /**
  * Expand Record<K, T> to IrObjectType when K is a finite set of literal keys.
  *
+ * DETERMINISTIC IR TYPING (INV-0 compliant):
+ * Uses AST-based analysis only. Extracts literal keys from TypeNode,
+ * not from ts.Type.
+ *
  * Gating conditions:
  * - Returns null if K contains type parameters (generic context)
  * - Returns null if K is string or number (should remain IrDictionaryType)
@@ -85,9 +72,9 @@ export declare const expandConditionalUtilityType: (node: ts.TypeReferenceNode,
  * - Record<K, T> → null (type parameter)
  *
  * @param node - The TypeReferenceNode for Record<K, T>
- * @param checker - The TypeScript type checker
+ * @param binding - The Binding layer for symbol resolution
  * @param convertType - Function to convert nested types
  * @returns IrObjectType with the expanded properties, or null if should use dictionary
  */
-export declare const expandRecordType: (node: ts.TypeReferenceNode, checker: ts.TypeChecker, convertType: (node: ts.TypeNode, checker: ts.TypeChecker) => IrType) => IrObjectType | null;
+export declare const expandRecordType: (node: ts.TypeReferenceNode, binding: Binding, convertType: (node: ts.TypeNode, binding: Binding) => IrType) => IrObjectType | null;
 //# sourceMappingURL=utility-types.d.ts.map

package/dist/ir/type-system/internal/type-converter/utility-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility-types.d.ts","sourceRoot":"","sources":["../../../../../src/ir/type-system/internal/type-converter/utility-types.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,MAAM,YAAY,CAAC;AACjC,OAAO,EACL,MAAM,EACN,YAAY,EAGb,MAAM,mBAAmB,CAAC;AAC3B,OAAO,KAAK,EAAE,OAAO,EAAmB,MAAM,2BAA2B,CAAC;AAE1E;;GAEG;AACH,eAAO,MAAM,wBAAwB,aAMnC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAAI,MAAM,MAAM,KAAG,OACnB,CAAC;AAErC;;;GAGG;AACH,eAAO,MAAM,oCAAoC,aAO/C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,kCAAkC,GAAI,MAAM,MAAM,KAAG,OAClB,CAAC;AA4OjD;;;;;;;;;;;;GAYG;AACH,eAAO,MAAM,iBAAiB,GAC5B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,YAAY,GAAG,IA4JjB,CAAC;AA6gBF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,4BAA4B,GACvC,MAAM,EAAE,CAAC,iBAAiB,EAC1B,UAAU,MAAM,EAChB,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,MAAM,GAAG,IAQX,CAAC;AAEF;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,eAAO,MAAM,gBAAgB,GAC3B,MAAM,EAAE,CAAC,iBAAiB,EAC1B,SAAS,OAAO,EAChB,aAAa,CAAC,IAAI,EAAE,EAAE,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,KAAK,MAAM,KAC3D,YAAY,GAAG,IA4CjB,CAAC"}