@tsonic/frontend 0.0.74 → 0.0.75

package/dist/ir/type-system/type-system.d.ts

@@ -1,319 +1,14 @@
 /**
- * TypeAuthority — Alice's 100% Specification
+ * TypeAuthority — Facade
  *
- * The single, authoritative type facility for Tsonic. This is the ONLY place
- * where type information is computed or queried. All converters, validation,
- * and utilities use this interface exclusively.
- *
- * INVARIANTS (enforced by scripts/verify-invariants.sh):
- * - INV-0: No TS computed type APIs outside Binding
- * - INV-1: No convertType/getHandleRegistry outside TypeAuthority
- * - INV-2: Deterministic type sources only
- * - INV-3: Poison-on-missing-types (return unknownType + emit diagnostic)
- *
- * DAG position: orchestrator — imports all split modules, constructs state,
- * returns TypeAuthority with functions bound to shared state.
+ * Re-exports the TypeAuthority interface, TypeSystemConfig, and createTypeSystem
+ * factory from sub-modules:
+ * - type-system-types-api: TypeAuthority, TypeSystemConfig
+ * - type-system-factory: createTypeSystem
+ * - type-system-state: MemberRef, CallQuery, ResolvedCall, Site, BUILTIN_NOMINALS, poisonedCall
  */
-import type { IrType, IrFunctionType } from "../types/index.js";
-import type { Diagnostic } from "../../types/diagnostic.js";
-import type * as ts from "typescript";
-import type { DeclId, SignatureId, MemberId, TypeSyntaxId, UtilityTypeName } from "./types.js";
-import type { AliasTable } from "./internal/universe/alias-table.js";
-import type { UnifiedTypeCatalog } from "./internal/universe/types.js";
 export type { MemberRef, CallQuery, ResolvedCall, Site, } from "./type-system-state.js";
 export { BUILTIN_NOMINALS, poisonedCall } from "./type-system-state.js";
-import type { HandleRegistry, TypeRegistryAPI, NominalEnvAPI, CallQuery, ResolvedCall, MemberRef, Site, TypeSubstitutionMap } from "./type-system-state.js";
-/**
- * TypeAuthority interface — Alice's exact specification.
- *
- * Key method: resolveCall(query) — single entry point for all call resolution.
- */
-export type TypeAuthority = {
-    /**
-     * Convert a captured type syntax to IrType.
-     *
-     * This is the correct way for converters to convert inline type syntax
-     * (as X, satisfies Y, generic args) that was captured via Binding.captureTypeSyntax().
-     *
-     * ALICE'S SPEC (Phase 4): TypeSystem receives opaque handles, not ts.TypeNode.
-     * This keeps the TypeSystem public API free of TypeScript types.
-     *
-     * All converters use captureTypeSyntax() + typeFromSyntax().
-     */
-    typeFromSyntax(typeSyntaxId: TypeSyntaxId): IrType;
-    /**
-     * Get the type of a declaration by its handle.
-     *
-     * Returns unknownType + TSN5201/TSN5203 diagnostic if type cannot be determined.
-     */
-    typeOfDecl(declId: DeclId): IrType;
-    /**
-     * Get the declared type of a member (fully substituted through inheritance).
-     *
-     * Handles:
-     * - Reference types: looks up in TypeRegistry + applies NominalEnv substitution
-     * - Object types: direct structural lookup
-     * - Primitive types: maps to nominal (string→String) for member lookup
-     *
-     * Returns unknownType + TSN5203 diagnostic if member not found.
-     */
-    typeOfMember(receiver: IrType, member: MemberRef, site?: Site): IrType;
-    /**
-     * Get CLR indexer information for a receiver type (if any).
-     *
-     * Used to deterministically lower computed access (`obj[key]`) using CLR metadata
-     * rather than heuristics. This includes string-keyed indexers from ASP.NET Core
-     * collections like IQueryCollection / IHeaderDictionary.
-     */
-    getIndexerInfo(receiver: IrType, site?: Site): {
-        readonly keyClrType: string;
-        readonly valueType: IrType;
-    } | undefined;
-    /**
-     * Resolve a call site: returns fully instantiated param/return types + modes.
-     *
-     * This is the SINGLE method for all call resolution. It:
-     * 1. Loads raw signature from SignatureId
-     * 2. Computes receiver substitution (class type params)
-     * 3. Computes call substitution (method type params from explicit args + unification)
-     * 4. Returns final instantiated types
-     *
-     * Returns poisoned call on conflict (TSN5202).
-     */
-    resolveCall(query: CallQuery): ResolvedCall;
-    /**
-     * Expand a contextual expected type into inference candidates.
-     *
-     * Used by the frontend before full argument conversion so imported aliases,
-     * union members, and async wrapper shapes can participate in early
-     * contextual call specialization.
-     */
-    collectExpectedReturnCandidates(type: IrType): readonly IrType[];
-    /**
-     * Expand a type into concrete narrowing candidates.
-     *
-     * Used by flow analysis when a nominal alias (for example `Result<T, E>`)
-     * expands to an underlying union that must participate in discriminant or
-     * property-presence narrowing.
-     */
-    collectNarrowingCandidates(type: IrType): readonly IrType[];
-    /**
-     * Convert a CLR delegate nominal type (Func/Action/custom delegates) into a function type.
-     *
-     * Used for deterministic lambda contextual typing and generic inference when
-     * signatures use delegate types (e.g., LINQ's Func<T, bool>).
-     */
-    delegateToFunctionType(type: IrType): IrFunctionType | undefined;
-    /**
-     * Expand a utility type (Partial, Pick, ReturnType, etc.).
-     *
-     * All 13 utilities with deterministic constraints:
-     * - Partial/Required/Readonly: T must be object-like
-     * - Pick/Omit: K must be string literal union
-     * - ReturnType/Parameters: F must be single function
-     * - NonNullable: Works on any type
-     * - Exclude/Extract: Works on any types
-     * - Awaited: Recursive on Promise<T>, Task<T>, ValueTask<T>
-     * - Record: K must be string/number or literal union
-     *
-     * Returns unknownType + TSN7414 diagnostic on constraint violation.
-     */
-    expandUtility(name: UtilityTypeName, args: readonly IrType[], site?: Site): IrType;
-    /**
-     * Substitute type parameters with concrete types.
-     *
-     * Pure IR-to-IR transformation.
-     */
-    substitute(type: IrType, subst: TypeSubstitutionMap): IrType;
-    /**
-     * Instantiate a generic type with type arguments.
-     *
-     * Example: instantiate("Array", [string]) → Array<string> with members substituted.
-     */
-    instantiate(typeName: string, typeArgs: readonly IrType[], site?: Site): IrType;
-    /**
-     * Check if source type is assignable to target type.
-     *
-     * Conservative implementation — returns false if unsure.
-     */
-    isAssignableTo(source: IrType, target: IrType): boolean;
-    /**
-     * Check if two types are structurally equal.
-     */
-    typesEqual(a: IrType, b: IrType): boolean;
-    /**
-     * Check if a type contains unresolved type parameters.
-     */
-    containsTypeParameter(type: IrType): boolean;
-    /**
-     * Check if a declaration has type parameters (is generic).
-     *
-     * Used by getConstructedType to detect if `new Foo()` needs explicit type args.
-     * Returns true for generic classes/interfaces/type aliases.
-     */
-    hasTypeParameters(declId: DeclId): boolean;
-    /**
-     * Get the type of a member by its handle.
-     *
-     * Used by property access fallback when TypeSystem.typeOfMember() can't resolve
-     * the member through TypeRegistry/NominalEnv (e.g., CLR-bound members).
-     *
-     * Returns unknownType if member not found or has no type annotation.
-     */
-    typeOfMemberId(memberId: MemberId, receiverType?: IrType): IrType;
-    /**
-     * Get the fully-qualified name of a declaration.
-     *
-     * Used to detect aliased imports (e.g., `import { String as ClrString }`).
-     * Returns undefined if no fqName is available.
-     */
-    getFQNameOfDecl(declId: DeclId): string | undefined;
-    /**
-     * Check if a declaration is a type (interface, class, type alias, or enum).
-     *
-     * Used by import processing to distinguish type imports from value imports.
-     */
-    isTypeDecl(declId: DeclId): boolean;
-    /**
-     * Check if a declaration is an interface.
-     *
-     * Used by validation to detect nominalized interfaces.
-     */
-    isInterfaceDecl(declId: DeclId): boolean;
-    /**
-     * Check if a declaration is a type alias to an object literal type.
-     *
-     * Used by validation to detect nominalized type aliases.
-     */
-    isTypeAliasToObjectLiteral(declId: DeclId): boolean;
-    /**
-     * Check if a signature has a conditional return type.
-     *
-     * This is used to detect if a call requires specialization due to
-     * conditional return types like `T extends string ? A : B`.
-     * The check is done inside TypeSystem to avoid exposing ts.TypeNode.
-     */
-    signatureHasConditionalReturn(sigId: SignatureId): boolean;
-    /**
-     * Check if a signature has variadic type parameters.
-     *
-     * Variadic patterns like `T extends unknown[]` require specialization.
-     * This encapsulates the AST inspection inside TypeSystem.
-     *
-     * ALICE'S SPEC (Phase 5): Semantic method replaces getSignatureInfo.
-     */
-    signatureHasVariadicTypeParams(sigId: SignatureId): boolean;
-    /**
-     * Check if a declaration has an explicit type annotation.
-     *
-     * Used for deterministic typing checks (e.g., spread sources must have types).
-     * Returns true if the declaration has a typeNode.
-     *
-     * ALICE'S SPEC (Phase 5): Semantic method replaces getDeclInfo.typeNode check.
-     */
-    declHasTypeAnnotation(declId: DeclId): boolean;
-    /**
-     * Check if a member in a TypeScript base class is overridable.
-     *
-     * For TypeScript classes, checks if the base class has the given member.
-     * In TypeScript, all methods can be overridden (no `final` keyword).
-     *
-     * ALICE'S SPEC (Phase 5): Semantic method replaces getDeclInfo for override detection.
-     *
-     * @param declId The declaration ID of the base class
-     * @param memberName Name of the member to check
-     * @param memberKind Whether it's a method or property
-     * @returns { isOverride: true } if member exists and can be overridden
-     */
-    checkTsClassMemberOverride(declId: DeclId, memberName: string, memberKind: "method" | "property"): {
-        isOverride: boolean;
-        isShadow: boolean;
-    };
-    /**
-     * Get all diagnostics emitted during type queries.
-     *
-     * Call this after completing IR conversion to collect type-related diagnostics.
-     */
-    getDiagnostics(): readonly Diagnostic[];
-    /**
-     * Clear accumulated diagnostics.
-     */
-    clearDiagnostics(): void;
-};
-/**
- * Configuration for creating a TypeSystem instance.
- */
-export type TypeSystemConfig = {
-    /**
-     * Handle registry for looking up declarations and signatures.
-     *
-     * This is obtained from Binding via the internal _getHandleRegistry().
-     */
-    readonly handleRegistry: HandleRegistry;
-    /**
-     * TypeRegistry for nominal type lookup.
-     *
-     * After Step 3, this stores pure IR (IrType), not TypeNodes.
-     */
-    readonly typeRegistry: TypeRegistryAPI;
-    /**
-     * NominalEnv for inheritance chain and substitution computation.
-     */
-    readonly nominalEnv: NominalEnvAPI;
-    /**
-     * Type converter for converting TypeNodes to IrType.
-     *
-     * Used during TypeSystem construction only. After Step 3, TypeRegistry
-     * stores pure IR, so this is only needed for on-demand conversion.
-     *
-     * NOTE: Takes `unknown` because HandleRegistry stores TypeNodes as opaque.
-     * This is used internally by TypeSystem methods (resolveCall, typeOfDecl, etc.)
-     * and by typeFromSyntax. External callers don't access this directly.
-     */
-    readonly convertTypeNode: (node: unknown) => IrType;
-    /**
-     * Unified type catalog for CLR assembly type lookups.
-     *
-     * When provided, member lookups will fall through to this catalog
-     * for types not found in TypeRegistry (e.g., System.String, System.Int32).
-     * This enables method chain type recovery for built-in types.
-     *
-     * Optional during migration; will become required when migration completes.
-     */
-    readonly unifiedCatalog: UnifiedTypeCatalog;
-    /**
-     * Alias table mapping surface names to canonical TypeIds.
-     *
-     * This is required for Alice's invariant:
-     * - "string" and "System.String" unify to the same TypeId (stableId)
-     */
-    readonly aliasTable: AliasTable;
-    /**
-     * Binding-powered symbol/signature resolution helpers (opaque boundary).
-     *
-     * ALICE'S SPEC: TypeSystem may depend on Binding for symbol resolution,
-     * but must never use TypeScript computed type APIs directly.
-     *
-     * These accept `unknown` to keep the TypeSystem public surface TS-free.
-     */
-    readonly resolveIdentifier: (node: unknown) => DeclId | undefined;
-    readonly resolveCallSignature: (node: unknown) => SignatureId | undefined;
-    readonly resolveConstructorSignature: (node: unknown) => SignatureId | undefined;
-    readonly checker: ts.TypeChecker;
-    readonly tsCompilerOptions: ts.CompilerOptions;
-    readonly sourceFilesByPath: ReadonlyMap<string, ts.SourceFile>;
-};
-/**
- * Create a TypeSystem instance with internal caches.
- *
- * This is the single factory for TypeSystem. All type queries go through
- * the returned TypeSystem instance.
- *
- * Constructs the shared TypeSystemState and delegates to split modules:
- * - type-system-relations.ts: substitute, instantiate, isAssignableTo, typesEqual, containsTypeParameter
- * - type-system-call-resolution.ts: resolveCall, delegateToFunctionType, convertTypeNode
- * - type-system-inference.ts: typeOfDecl, typeOfMember, getIndexerInfo, and declaration queries
- * - type-system-utilities.ts: expandUtility
- */
-export declare const createTypeSystem: (config: TypeSystemConfig) => TypeAuthority;
+export type { TypeAuthority, TypeSystemConfig, } from "./type-system-types-api.js";
+export { createTypeSystem } from "./type-system-factory.js";
 //# sourceMappingURL=type-system.d.ts.map

package/dist/ir/type-system/type-system.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"type-system.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,MAAM,mBAAmB,CAAC;AAChE,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAC5D,OAAO,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AACtC,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,eAAe,EAChB,MAAM,YAAY,CAAC;AACpB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAAE,kBAAkB,EAAE,MAAM,8BAA8B,CAAC;AAEvE,YAAY,EACV,SAAS,EACT,SAAS,EACT,YAAY,EACZ,IAAI,GACL,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAGxE,OAAO,KAAK,EAEV,cAAc,EACd,eAAe,EACf,aAAa,EACb,SAAS,EACT,YAAY,EACZ,SAAS,EACT,IAAI,EACJ,mBAAmB,EAGpB,MAAM,wBAAwB,CAAC;AAyChC;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAK1B;;;;;;;;;;OAUG;IACH,cAAc,CAAC,YAAY,EAAE,YAAY,GAAG,MAAM,CAAC;IAMnD;;;;OAIG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAMnC;;;;;;;;;OASG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC;IAEvE;;;;;;OAMG;IACH,cAAc,CACZ,QAAQ,EAAE,MAAM,EAChB,IAAI,CAAC,EAAE,IAAI,GACV;QAAE,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAA;KAAE,GAAG,SAAS,CAAC;IAM3E;;;;;;;;;;OAUG;IACH,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,YAAY,CAAC;IAE5C;;;;;;OAMG;IACH,+BAA+B,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAEjE;;;;;;OAMG;IACH,0BAA0B,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAE5D;;;;;OAKG;IACH,sBAAsB,CAAC,IAAI,EAAE,MAAM,GAAG,cAAc,GAAG,SAAS,CAAC;IAMjE;;;;;;;;;;;;;OAaG;IACH,aAAa,CACX,IAAI,EAAE,eAAe,EACrB,IAAI,EAAE,SAAS,MAAM,EAAE,EACvB,IAAI,CAAC,EAAE,IAAI,GACV,MAAM,CAAC;IAMV;;;;OAIG;IACH,UAAU,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,mBAAmB,GAAG,MAAM,CAAC;IAE7D;;;;OAIG;IACH,WAAW,CACT,QAAQ,EAAE,MAAM,EAChB,QAAQ,EAAE,SAAS,MAAM,EAAE,EAC3B,IAAI,CAAC,EAAE,IAAI,GACV,MAAM,CAAC;IAMV;;;;OAIG;IACH,cAAc,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAExD;;OAEG;IACH,UAAU,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAAC;IAE1C;;OAEG;IACH,qBAAqB,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IAE7C;;;;;OAKG;IACH,iBAAiB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAE3C;;;;;;;OAOG;IACH,cAAc,CAAC,QAAQ,EAAE,QAAQ,EAAE,YAAY,CAAC,EAAE,MAAM,GAAG,MAAM,CAAC;IAElE;;;;;OAKG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEpD;;;;OAIG;IACH,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpC;;;;OAIG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEzC;;;;OAIG;IACH,0BAA0B,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEpD;;;;;;OAMG;IACH,6BAA6B,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC;IAE3D;;;;;;;OAOG;IACH,8BAA8B,CAAC,KAAK,EAAE,WAAW,GAAG,OAAO,CAAC;IAE5D;;;;;;;OAOG;IACH,qBAAqB,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAE/C;;;;;;;;;;;;OAYG;IACH,0BAA0B,CACxB,MAAM,EAAE,MAAM,EACd,UAAU,EAAE,MAAM,EAClB,UAAU,EAAE,QAAQ,GAAG,UAAU,GAChC;QAAE,UAAU,EAAE,OAAO,CAAC;QAAC,QAAQ,EAAE,OAAO,CAAA;KAAE,CAAC;IAM9C;;;;OAIG;IACH,cAAc,IAAI,SAAS,UAAU,EAAE,CAAC;IAExC;;OAEG;IACH,gBAAgB,IAAI,IAAI,CAAC;CAC1B,CAAC;AAMF;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B;;;;OAIG;IACH,QAAQ,CAAC,cAAc,EAAE,cAAc,CAAC;IAExC;;;;OAIG;IACH,QAAQ,CAAC,YAAY,EAAE,eAAe,CAAC;IAEvC;;OAEG;IACH,QAAQ,CAAC,UAAU,EAAE,aAAa,CAAC;IAEnC;;;;;;;;;OASG;IACH,QAAQ,CAAC,eAAe,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,CAAC;IAEpD;;;;;;;;OAQG;IACH,QAAQ,CAAC,cAAc,EAAE,kBAAkB,CAAC;IAE5C;;;;;OAKG;IACH,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;IAEhC;;;;;;;OAOG;IACH,QAAQ,CAAC,iBAAiB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IAClE,QAAQ,CAAC,oBAAoB,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,WAAW,GAAG,SAAS,CAAC;IAC1E,QAAQ,CAAC,2BAA2B,EAAE,CACpC,IAAI,EAAE,OAAO,KACV,WAAW,GAAG,SAAS,CAAC;IAC7B,QAAQ,CAAC,OAAO,EAAE,EAAE,CAAC,WAAW,CAAC;IACjC,QAAQ,CAAC,iBAAiB,EAAE,EAAE,CAAC,eAAe,CAAC;IAC/C,QAAQ,CAAC,iBAAiB,EAAE,WAAW,CAAC,MAAM,EAAE,EAAE,CAAC,UAAU,CAAC,CAAC;CAChE,CAAC;AAMF;;;;;;;;;;;GAWG;AACH,eAAO,MAAM,gBAAgB,GAAI,QAAQ,gBAAgB,KAAG,aA+I3D,CAAC"}
+{"version":3,"file":"type-system.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,YAAY,EACV,SAAS,EACT,SAAS,EACT,YAAY,EACZ,IAAI,GACL,MAAM,wBAAwB,CAAC;AAChC,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAExE,YAAY,EACV,aAAa,EACb,gBAAgB,GACjB,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/ir/type-system/type-system.js

@@ -1,136 +1,12 @@
 /**
- * TypeAuthority — Alice's 100% Specification
+ * TypeAuthority — Facade
  *
- * The single, authoritative type facility for Tsonic. This is the ONLY place
- * where type information is computed or queried. All converters, validation,
- * and utilities use this interface exclusively.
- *
- * INVARIANTS (enforced by scripts/verify-invariants.sh):
- * - INV-0: No TS computed type APIs outside Binding
- * - INV-1: No convertType/getHandleRegistry outside TypeAuthority
- * - INV-2: Deterministic type sources only
- * - INV-3: Poison-on-missing-types (return unknownType + emit diagnostic)
- *
- * DAG position: orchestrator — imports all split modules, constructs state,
- * returns TypeAuthority with functions bound to shared state.
+ * Re-exports the TypeAuthority interface, TypeSystemConfig, and createTypeSystem
+ * factory from sub-modules:
+ * - type-system-types-api: TypeAuthority, TypeSystemConfig
+ * - type-system-factory: createTypeSystem
+ * - type-system-state: MemberRef, CallQuery, ResolvedCall, Site, BUILTIN_NOMINALS, poisonedCall
  */
 export { BUILTIN_NOMINALS, poisonedCall } from "./type-system-state.js";
-// Import split module functions
-import { substitute as relSubstitute, instantiate as relInstantiate, isAssignableTo as relIsAssignableTo, typesEqual as relTypesEqual, containsTypeParameter as relContainsTypeParameter, } from "./type-system-relations.js";
-import { resolveCall as crResolveCall, collectExpectedReturnCandidates as crCollectExpectedReturnCandidates, collectNarrowingCandidates as crCollectNarrowingCandidates, delegateToFunctionType as crDelegateToFunctionType, } from "./type-system-call-resolution.js";
-import { typeOfDecl as infTypeOfDecl, typeOfMember as infTypeOfMember, getIndexerInfo as infGetIndexerInfo, typeOfMemberId as infTypeOfMemberId, getFQNameOfDecl as infGetFQNameOfDecl, isTypeDecl as infIsTypeDecl, isInterfaceDecl as infIsInterfaceDecl, isTypeAliasToObjectLiteral as infIsTypeAliasToObjectLiteral, signatureHasConditionalReturn as infSignatureHasConditionalReturn, signatureHasVariadicTypeParams as infSignatureHasVariadicTypeParams, declHasTypeAnnotation as infDeclHasTypeAnnotation, checkTsClassMemberOverride as infCheckTsClassMemberOverride, hasTypeParameters as infHasTypeParameters, typeFromSyntax as infTypeFromSyntax, } from "./type-system-inference.js";
-import { expandUtility as utExpandUtility } from "./type-system-utilities.js";
-// ═══════════════════════════════════════════════════════════════════════════
-// TYPESYSTEM FACTORY — Orchestrator
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Create a TypeSystem instance with internal caches.
- *
- * This is the single factory for TypeSystem. All type queries go through
- * the returned TypeSystem instance.
- *
- * Constructs the shared TypeSystemState and delegates to split modules:
- * - type-system-relations.ts: substitute, instantiate, isAssignableTo, typesEqual, containsTypeParameter
- * - type-system-call-resolution.ts: resolveCall, delegateToFunctionType, convertTypeNode
- * - type-system-inference.ts: typeOfDecl, typeOfMember, getIndexerInfo, and declaration queries
- * - type-system-utilities.ts: expandUtility
- */
-export const createTypeSystem = (config) => {
-    const { handleRegistry, typeRegistry, nominalEnv, convertTypeNode: convertTypeNodeRaw, unifiedCatalog, aliasTable, resolveIdentifier, resolveCallSignature, resolveConstructorSignature, checker, tsCompilerOptions, sourceFilesByPath, } = config;
-    // ─────────────────────────────────────────────────────────────────────────
-    // INTERNAL CACHES — Step 4 Implementation
-    // ─────────────────────────────────────────────────────────────────────────
-    /**
-     * Cache for declaration types.
-     * Key: DeclId.id (number)
-     * Value: IrType
-     */
-    const declTypeCache = new Map();
-    /**
-     * Cache for member declared types (fully substituted).
-     * Key: "fqName:memberName" or "fqName:memberName:typeArgs" for generics
-     * Value: IrType
-     */
-    const memberDeclaredTypeCache = new Map();
-    /**
-     * Cache for raw signature info (pre-substitution).
-     * Key: SignatureId.id (number)
-     * Value: RawSignatureInfo
-     */
-    const signatureRawCache = new Map();
-    /**
-     * Cache for nominal member lookups.
-     * Key: "fqName:typeArgs:memberName"
-     * Value: NominalLookupResult
-     */
-    const nominalMemberLookupCache = new Map();
-    /**
-     * Accumulated diagnostics from type queries.
-     */
-    const diagnostics = [];
-    // ─────────────────────────────────────────────────────────────────────────
-    // SHARED STATE — DI container for all split functions
-    // ─────────────────────────────────────────────────────────────────────────
-    const state = {
-        handleRegistry,
-        typeRegistry,
-        nominalEnv,
-        convertTypeNodeRaw,
-        unifiedCatalog,
-        aliasTable,
-        resolveIdentifier,
-        resolveCallSignature,
-        resolveConstructorSignature,
-        checker,
-        tsCompilerOptions,
-        sourceFilesByPath,
-        declTypeCache,
-        memberDeclaredTypeCache,
-        signatureRawCache,
-        nominalMemberLookupCache,
-        diagnostics,
-    };
-    // ─────────────────────────────────────────────────────────────────────────
-    // RETURN TYPESYSTEM INSTANCE
-    // ─────────────────────────────────────────────────────────────────────────
-    return {
-        // Type syntax conversion (inference module)
-        typeFromSyntax: (typeSyntaxId) => infTypeFromSyntax(state, typeSyntaxId),
-        // Declaration types (inference module)
-        typeOfDecl: (declId) => infTypeOfDecl(state, declId),
-        // Member types (inference module)
-        typeOfMember: (receiver, member, site) => infTypeOfMember(state, receiver, member, site),
-        getIndexerInfo: (receiver, site) => infGetIndexerInfo(state, receiver, site),
-        // Call resolution (call-resolution module)
-        resolveCall: (query) => crResolveCall(state, query),
-        collectExpectedReturnCandidates: (type) => crCollectExpectedReturnCandidates(state, type),
-        collectNarrowingCandidates: (type) => crCollectNarrowingCandidates(state, type),
-        delegateToFunctionType: (type) => crDelegateToFunctionType(state, type),
-        // Utility type expansion (utilities module)
-        expandUtility: (name, args, site) => utExpandUtility(state, name, args, site),
-        // Substitution & instantiation (relations module)
-        substitute: (type, subst) => relSubstitute(type, subst),
-        instantiate: (typeName, typeArgs, site) => relInstantiate(state, typeName, typeArgs, site),
-        // Type relations (relations module)
-        isAssignableTo: (source, target) => relIsAssignableTo(state, source, target),
-        typesEqual: (a, b) => relTypesEqual(a, b),
-        containsTypeParameter: (type) => relContainsTypeParameter(type),
-        // Declaration inspection (inference module)
-        hasTypeParameters: (declId) => infHasTypeParameters(state, declId),
-        typeOfMemberId: (memberId, receiverType) => infTypeOfMemberId(state, memberId, receiverType),
-        getFQNameOfDecl: (declId) => infGetFQNameOfDecl(state, declId),
-        isTypeDecl: (declId) => infIsTypeDecl(state, declId),
-        isInterfaceDecl: (declId) => infIsInterfaceDecl(state, declId),
-        isTypeAliasToObjectLiteral: (declId) => infIsTypeAliasToObjectLiteral(state, declId),
-        signatureHasConditionalReturn: (sigId) => infSignatureHasConditionalReturn(state, sigId),
-        signatureHasVariadicTypeParams: (sigId) => infSignatureHasVariadicTypeParams(state, sigId),
-        declHasTypeAnnotation: (declId) => infDeclHasTypeAnnotation(state, declId),
-        checkTsClassMemberOverride: (declId, memberName, memberKind) => infCheckTsClassMemberOverride(state, declId, memberName, memberKind),
-        // Diagnostics
-        getDiagnostics: () => diagnostics.slice(),
-        clearDiagnostics: () => {
-            diagnostics.length = 0;
-        },
-    };
-};
+export { createTypeSystem } from "./type-system-factory.js";
 //# sourceMappingURL=type-system.js.map

package/dist/ir/type-system/type-system.js.map

@@ -1 +1 @@
-{"version":3,"file":"type-system.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAqBH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAiBxE,gCAAgC;AAChC,OAAO,EACL,UAAU,IAAI,aAAa,EAC3B,WAAW,IAAI,cAAc,EAC7B,cAAc,IAAI,iBAAiB,EACnC,UAAU,IAAI,aAAa,EAC3B,qBAAqB,IAAI,wBAAwB,GAClD,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EACL,WAAW,IAAI,aAAa,EAC5B,+BAA+B,IAAI,iCAAiC,EACpE,0BAA0B,IAAI,4BAA4B,EAC1D,sBAAsB,IAAI,wBAAwB,GACnD,MAAM,kCAAkC,CAAC;AAE1C,OAAO,EACL,UAAU,IAAI,aAAa,EAC3B,YAAY,IAAI,eAAe,EAC/B,cAAc,IAAI,iBAAiB,EACnC,cAAc,IAAI,iBAAiB,EACnC,eAAe,IAAI,kBAAkB,EACrC,UAAU,IAAI,aAAa,EAC3B,eAAe,IAAI,kBAAkB,EACrC,0BAA0B,IAAI,6BAA6B,EAC3D,6BAA6B,IAAI,gCAAgC,EACjE,8BAA8B,IAAI,iCAAiC,EACnE,qBAAqB,IAAI,wBAAwB,EACjD,0BAA0B,IAAI,6BAA6B,EAC3D,iBAAiB,IAAI,oBAAoB,EACzC,cAAc,IAAI,iBAAiB,GACpC,MAAM,4BAA4B,CAAC;AAEpC,OAAO,EAAE,aAAa,IAAI,eAAe,EAAE,MAAM,4BAA4B,CAAC;AA8W9E,8EAA8E;AAC9E,oCAAoC;AACpC,8EAA8E;AAE9E;;;;;;;;;;;GAWG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,MAAwB,EAAiB,EAAE;IAC1E,MAAM,EACJ,cAAc,EACd,YAAY,EACZ,UAAU,EACV,eAAe,EAAE,kBAAkB,EACnC,cAAc,EACd,UAAU,EACV,iBAAiB,EACjB,oBAAoB,EACpB,2BAA2B,EAC3B,OAAO,EACP,iBAAiB,EACjB,iBAAiB,GAClB,GAAG,MAAM,CAAC;IAEX,4EAA4E;IAC5E,0CAA0C;IAC1C,4EAA4E;IAE5E;;;;OAIG;IACH,MAAM,aAAa,GAAG,IAAI,GAAG,EAAkB,CAAC;IAEhD;;;;OAIG;IACH,MAAM,uBAAuB,GAAG,IAAI,GAAG,EAAkB,CAAC;IAE1D;;;;OAIG;IACH,MAAM,iBAAiB,GAAG,IAAI,GAAG,EAA4B,CAAC;IAE9D;;;;OAIG;IACH,MAAM,wBAAwB,GAAG,IAAI,GAAG,EAGrC,CAAC;IAEJ;;OAEG;IACH,MAAM,WAAW,GAAiB,EAAE,CAAC;IAErC,4EAA4E;IAC5E,sDAAsD;IACtD,4EAA4E;IAE5E,MAAM,KAAK,GAAoB;QAC7B,cAAc;QACd,YAAY;QACZ,UAAU;QACV,kBAAkB;QAClB,cAAc;QACd,UAAU;QACV,iBAAiB;QACjB,oBAAoB;QACpB,2BAA2B;QAC3B,OAAO;QACP,iBAAiB;QACjB,iBAAiB;QACjB,aAAa;QACb,uBAAuB;QACvB,iBAAiB;QACjB,wBAAwB;QACxB,WAAW;KACZ,CAAC;IAEF,4EAA4E;IAC5E,6BAA6B;IAC7B,4EAA4E;IAE5E,OAAO;QACL,4CAA4C;QAC5C,cAAc,EAAE,CAAC,YAAY,EAAE,EAAE,CAAC,iBAAiB,CAAC,KAAK,EAAE,YAAY,CAAC;QAExE,uCAAuC;QACvC,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC;QAEpD,kCAAkC;QAClC,YAAY,EAAE,CAAC,QAAQ,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,CACvC,eAAe,CAAC,KAAK,EAAE,QAAQ,EAAE,MAAM,EAAE,IAAI,CAAC;QAChD,cAAc,EAAE,CAAC,QAAQ,EAAE,IAAI,EAAE,EAAE,CACjC,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,IAAI,CAAC;QAE1C,2CAA2C;QAC3C,WAAW,EAAE,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC;QACnD,+BAA+B,EAAE,CAAC,IAAI,EAAE,EAAE,CACxC,iCAAiC,CAAC,KAAK,EAAE,IAAI,CAAC;QAChD,0BAA0B,EAAE,CAAC,IAAI,EAAE,EAAE,CACnC,4BAA4B,CAAC,KAAK,EAAE,IAAI,CAAC;QAC3C,sBAAsB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC;QAEvE,4CAA4C;QAC5C,aAAa,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,EAAE,EAAE,CAClC,eAAe,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC;QAE1C,kDAAkD;QAClD,UAAU,EAAE,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,IAAI,EAAE,KAAK,CAAC;QACvD,WAAW,EAAE,CAAC,QAAQ,EAAE,QAAQ,EAAE,IAAI,EAAE,EAAE,CACxC,cAAc,CAAC,KAAK,EAAE,QAAQ,EAAE,QAAQ,EAAE,IAAI,CAAC;QAEjD,oCAAoC;QACpC,cAAc,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,EAAE,CACjC,iBAAiB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,CAAC;QAC1C,UAAU,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,CAAC,CAAC;QACzC,qBAAqB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC,wBAAwB,CAAC,IAAI,CAAC;QAE/D,4CAA4C;QAC5C,iBAAiB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,oBAAoB,CAAC,KAAK,EAAE,MAAM,CAAC;QAClE,cAAc,EAAE,CAAC,QAAQ,EAAE,YAAY,EAAE,EAAE,CACzC,iBAAiB,CAAC,KAAK,EAAE,QAAQ,EAAE,YAAY,CAAC;QAClD,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC;QAC9D,UAAU,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,MAAM,CAAC;QACpD,eAAe,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,kBAAkB,CAAC,KAAK,EAAE,MAAM,CAAC;QAC9D,0BAA0B,EAAE,CAAC,MAAM,EAAE,EAAE,CACrC,6BAA6B,CAAC,KAAK,EAAE,MAAM,CAAC;QAC9C,6BAA6B,EAAE,CAAC,KAAK,EAAE,EAAE,CACvC,gCAAgC,CAAC,KAAK,EAAE,KAAK,CAAC;QAChD,8BAA8B,EAAE,CAAC,KAAK,EAAE,EAAE,CACxC,iCAAiC,CAAC,KAAK,EAAE,KAAK,CAAC;QACjD,qBAAqB,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,wBAAwB,CAAC,KAAK,EAAE,MAAM,CAAC;QAC1E,0BAA0B,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,UAAU,EAAE,EAAE,CAC7D,6BAA6B,CAAC,KAAK,EAAE,MAAM,EAAE,UAAU,EAAE,UAAU,CAAC;QAEtE,cAAc;QACd,cAAc,EAAE,GAAG,EAAE,CAAC,WAAW,CAAC,KAAK,EAAE;QACzC,gBAAgB,EAAE,GAAG,EAAE;YACrB,WAAW,CAAC,MAAM,GAAG,CAAC,CAAC;QACzB,CAAC;KACF,CAAC;AACJ,CAAC,CAAC"}
+{"version":3,"file":"type-system.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAQH,OAAO,EAAE,gBAAgB,EAAE,YAAY,EAAE,MAAM,wBAAwB,CAAC;AAOxE,OAAO,EAAE,gBAAgB,EAAE,MAAM,0BAA0B,CAAC"}

package/dist/ir/type-system/types.d.ts

@@ -139,6 +139,8 @@ export type UtilityTypeName = "Partial" | "Required" | "Readonly" | "Pick" | "Om
 export type ParameterMode = "value" | "ref" | "out" | "in";
 /** Poison type for undeterminable types */
 export declare const unknownType: IrType;
+/** Explicit user-authored `unknown` type */
+export declare const explicitUnknownType: IrType;
 /** Poison type for impossible types */
 export declare const neverType: IrType;
 /** Void type for functions with no return */

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

@@ -1 +1 @@
-{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAM5D;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB,gBAAgB,GAChB,eAAe,GACf,cAAc,GACd,eAAe,GACf,oBAAoB,GACpB,qBAAqB,GACrB,iBAAiB,GACjB,eAAe,GACf,oBAAoB,GACpB,WAAW,GACX,kBAAkB,GAClB,uBAAuB,GACvB,OAAO,CAAC;AAMZ;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAM3D;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,SAAS,GACT,UAAU,GACV,UAAU,GACV,MAAM,GACN,MAAM,GACN,QAAQ,GACR,SAAS,GACT,SAAS,GACT,aAAa,GACb,YAAY,GACZ,YAAY,GACZ,SAAS,GACT,cAAc,CAAC;AAMnB;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;AAM3D,2CAA2C;AAC3C,eAAO,MAAM,WAAW,EAAE,MAAgC,CAAC;AAE3D,uCAAuC;AACvC,eAAO,MAAM,SAAS,EAAE,MAA8B,CAAC;AAEvD,6CAA6C;AAC7C,eAAO,MAAM,QAAQ,EAAE,MAA6B,CAAC;AAErD,eAAe;AACf,eAAO,MAAM,OAAO,EAAE,MAA4B,CAAC;AAMnD;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,IAAI,MAAM,KAAG,MAGtC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,eAAe,GAAI,IAAI,MAAM,KAAG,WAG3C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,QAAQ,MAAM,EAAE,MAAM,MAAM,KAAG,QAI1D,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,IAAI,MAAM,KAAG,YAG5C,CAAC;AAMH;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,MAAM,KAAG,UAGpC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,aAAa,SAAS,UAAU,EAAE,KAAG,UAG7D,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,YAAY,SAAS,aAAa,EAAE,EACpC,YAAY,MAAM,EAClB,iBAAiB,SAAS,iBAAiB,EAAE,KAC5C,eAKD,CAAC"}
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAChD,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,2BAA2B,CAAC;AAM5D;;;;;GAKG;AACH,MAAM,MAAM,MAAM,GAAG;IACnB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;;;;GAKG;AACH,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAC;IAChC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,QAAQ,CAAC,OAAO,EAAE,UAAU,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,CAAC;AAEF;;;;;;;;;;;;;GAaG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,OAAO,EAAE,cAAc,CAAC;IACjC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAMF;;;;;GAKG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IACvD,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;CAC1B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAC;CAC/B,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,cAAc,GACtB,gBAAgB,GAChB,eAAe,GACf,cAAc,GACd,eAAe,GACf,oBAAoB,GACpB,qBAAqB,GACrB,iBAAiB,GACjB,eAAe,GACf,oBAAoB,GACpB,WAAW,GACX,kBAAkB,GAClB,uBAAuB,GACvB,OAAO,CAAC;AAMZ;;GAEG;AACH,MAAM,MAAM,gBAAgB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAM3D;;GAEG;AACH,MAAM,MAAM,eAAe,GACvB,SAAS,GACT,UAAU,GACV,UAAU,GACV,MAAM,GACN,MAAM,GACN,QAAQ,GACR,SAAS,GACT,SAAS,GACT,aAAa,GACb,YAAY,GACZ,YAAY,GACZ,SAAS,GACT,cAAc,CAAC;AAMnB;;GAEG;AACH,MAAM,MAAM,aAAa,GAAG,OAAO,GAAG,KAAK,GAAG,KAAK,GAAG,IAAI,CAAC;AAM3D,2CAA2C;AAC3C,eAAO,MAAM,WAAW,EAAE,MAAgC,CAAC;AAE3D,4CAA4C;AAC5C,eAAO,MAAM,mBAAmB,EAAE,MAGjC,CAAC;AAEF,uCAAuC;AACvC,eAAO,MAAM,SAAS,EAAE,MAA8B,CAAC;AAEvD,6CAA6C;AAC7C,eAAO,MAAM,QAAQ,EAAE,MAA6B,CAAC;AAErD,eAAe;AACf,eAAO,MAAM,OAAO,EAAE,MAA4B,CAAC;AAMnD;;GAEG;AACH,eAAO,MAAM,UAAU,GAAI,IAAI,MAAM,KAAG,MAGtC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,eAAe,GAAI,IAAI,MAAM,KAAG,WAG3C,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,YAAY,GAAI,QAAQ,MAAM,EAAE,MAAM,MAAM,KAAG,QAI1D,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,gBAAgB,GAAI,IAAI,MAAM,KAAG,YAG5C,CAAC;AAMH;;GAEG;AACH,eAAO,MAAM,MAAM,GAAI,MAAM,MAAM,KAAG,UAGpC,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,SAAS,GAAI,aAAa,SAAS,UAAU,EAAE,KAAG,UAG7D,CAAC;AAEH;;GAEG;AACH,eAAO,MAAM,WAAW,GACtB,YAAY,SAAS,aAAa,EAAE,EACpC,YAAY,MAAM,EAClB,iBAAiB,SAAS,iBAAiB,EAAE,KAC5C,eAKD,CAAC"}

package/dist/ir/type-system/types.js

@@ -13,6 +13,11 @@
 // ═══════════════════════════════════════════════════════════════════════════
 /** Poison type for undeterminable types */
 export const unknownType = { kind: "unknownType" };
+/** Explicit user-authored `unknown` type */
+export const explicitUnknownType = {
+    kind: "unknownType",
+    explicit: true,
+};
 /** Poison type for impossible types */
 export const neverType = { kind: "neverType" };
 /** Void type for functions with no return */

package/dist/ir/type-system/types.js.map

@@ -1 +1 @@
-{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/ir/type-system/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAiMH,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,2CAA2C;AAC3C,MAAM,CAAC,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;AAE3D,uCAAuC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAEvD,6CAA6C;AAC7C,MAAM,CAAC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAErD,eAAe;AACf,MAAM,CAAC,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAEnD,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC;IACjD,OAAO,EAAE,QAAQ;IACjB,EAAE;CACH,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,EAAU,EAAe,EAAE,CAAC,CAAC;IAC3D,OAAO,EAAE,aAAa;IACtB,EAAE;CACH,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,IAAY,EAAY,EAAE,CAAC,CAAC;IACvE,OAAO,EAAE,UAAU;IACnB,MAAM;IACN,IAAI;CACL,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,EAAU,EAAgB,EAAE,CAAC,CAAC;IAC7D,OAAO,EAAE,cAAc;IACvB,EAAE;CACH,CAAC,CAAC;AAEH,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC;IACnD,IAAI;IACJ,WAAW,EAAE,EAAE;CAChB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,WAAkC,EAAc,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,WAAW;IACjB,WAAW;CACZ,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,UAAoC,EACpC,UAAkB,EAClB,cAA6C,EAC5B,EAAE,CAAC,CAAC;IACrB,UAAU;IACV,UAAU;IACV,cAAc;IACd,WAAW,EAAE,EAAE;CAChB,CAAC,CAAC"}
+{"version":3,"file":"types.js","sourceRoot":"","sources":["../../../src/ir/type-system/types.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAiMH,8EAA8E;AAC9E,YAAY;AACZ,8EAA8E;AAE9E,2CAA2C;AAC3C,MAAM,CAAC,MAAM,WAAW,GAAW,EAAE,IAAI,EAAE,aAAa,EAAE,CAAC;AAE3D,4CAA4C;AAC5C,MAAM,CAAC,MAAM,mBAAmB,GAAW;IACzC,IAAI,EAAE,aAAa;IACnB,QAAQ,EAAE,IAAI;CACf,CAAC;AAEF,uCAAuC;AACvC,MAAM,CAAC,MAAM,SAAS,GAAW,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;AAEvD,6CAA6C;AAC7C,MAAM,CAAC,MAAM,QAAQ,GAAW,EAAE,IAAI,EAAE,UAAU,EAAE,CAAC;AAErD,eAAe;AACf,MAAM,CAAC,MAAM,OAAO,GAAW,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;AAEnD,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,EAAU,EAAU,EAAE,CAAC,CAAC;IACjD,OAAO,EAAE,QAAQ;IACjB,EAAE;CACH,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,EAAU,EAAe,EAAE,CAAC,CAAC;IAC3D,OAAO,EAAE,aAAa;IACtB,EAAE;CACH,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,MAAc,EAAE,IAAY,EAAY,EAAE,CAAC,CAAC;IACvE,OAAO,EAAE,UAAU;IACnB,MAAM;IACN,IAAI;CACL,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,EAAU,EAAgB,EAAE,CAAC,CAAC;IAC7D,OAAO,EAAE,cAAc;IACvB,EAAE;CACH,CAAC,CAAC;AAEH,8EAA8E;AAC9E,2BAA2B;AAC3B,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAY,EAAc,EAAE,CAAC,CAAC;IACnD,IAAI;IACJ,WAAW,EAAE,EAAE;CAChB,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,WAAkC,EAAc,EAAE,CAAC,CAAC;IAC5E,IAAI,EAAE,WAAW;IACjB,WAAW;CACZ,CAAC,CAAC;AAEH;;GAEG;AACH,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,UAAoC,EACpC,UAAkB,EAClB,cAA6C,EAC5B,EAAE,CAAC,CAAC;IACrB,UAAU;IACV,UAAU;IACV,cAAc;IACd,WAAW,EAAE,EAAE;CAChB,CAAC,CAAC"}

package/dist/ir/type-system/utility-type-filter-helpers.d.ts

@@ -0,0 +1,40 @@
+/**
+ * Utility Type Filter Helpers — Exclude/Extract/NonNullable/ReturnType/Parameters/Awaited/Record
+ *
+ * Implements utility types that filter, extract, or transform types without
+ * modifying object members:
+ * - NonNullable: Filter null/undefined from union
+ * - Exclude/Extract: Filter union members by type matching
+ * - ReturnType/Parameters: Extract from function types
+ * - Awaited: Recursive unwrap of async wrappers
+ * - Record: Create dictionary or object type from keys + value
+ *
+ * DAG position: depends on type-system-state + type-system-relations
+ */
+import type { IrType } from "../types/index.js";
+import type { TypeSystemState, Site } from "./type-system-state.js";
+/**
+ * Expand ReturnType<F>: Extract return type from function type
+ */
+export declare const expandReturnTypeUtility: (state: TypeSystemState, type: IrType, site?: Site) => IrType;
+/**
+ * Expand Parameters<F>: Extract parameters as tuple from function type
+ */
+export declare const expandParametersUtility: (state: TypeSystemState, type: IrType, site?: Site) => IrType;
+/**
+ * Expand Exclude<T, U> or Extract<T, U>
+ */
+export declare const expandExcludeExtractUtility: (tType: IrType, uType: IrType, isExtract: boolean) => IrType;
+/**
+ * Expand NonNullable<T>: Filter out null and undefined from union
+ */
+export declare const expandNonNullableUtility: (type: IrType) => IrType;
+/**
+ * Expand Awaited<T>: Recursively unwrap Promise/Task/ValueTask.
+ */
+export declare const expandAwaitedUtility: (state: TypeSystemState, type: IrType) => IrType;
+/**
+ * Expand Record<K, V>: Create dictionary or object type.
+ */
+export declare const expandRecordUtility: (state: TypeSystemState, keyArg: IrType, valueArg: IrType, site?: Site) => IrType;
+//# sourceMappingURL=utility-type-filter-helpers.d.ts.map

package/dist/ir/type-system/utility-type-filter-helpers.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"utility-type-filter-helpers.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/utility-type-filter-helpers.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAuB,MAAM,mBAAmB,CAAC;AAErE,OAAO,KAAK,EAAE,eAAe,EAAE,IAAI,EAAE,MAAM,wBAAwB,CAAC;AAQpE;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,OAAO,IAAI,KACV,MAWF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,uBAAuB,GAClC,OAAO,eAAe,EACtB,MAAM,MAAM,EACZ,OAAO,IAAI,KACV,MAcF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,2BAA2B,GACtC,OAAO,MAAM,EACb,OAAO,MAAM,EACb,WAAW,OAAO,KACjB,MAwBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,wBAAwB,GAAI,MAAM,MAAM,KAAG,MAqBvD,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,oBAAoB,GAC/B,OAAO,eAAe,EACtB,MAAM,MAAM,KACX,MAwBF,CAAC;AAEF;;GAEG;AACH,eAAO,MAAM,mBAAmB,GAC9B,OAAO,eAAe,EACtB,QAAQ,MAAM,EACd,UAAU,MAAM,EAChB,OAAO,IAAI,KACV,MAkCF,CAAC"}