@tsonic/frontend 0.0.74 → 0.0.75

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

@@ -1,229 +1,5 @@
-/**
- * TypeSystem Shared Types, State, and Leaf Helpers
- *
- * This is the leaf module in the type-system DAG. It contains:
- * - All shared type/interface definitions used by split modules
- * - TypeSystemState type (the DI container for all type-system functions)
- * - Pure helper functions that have no cross-module dependencies
- *
- * DAG position: LEAF (no imports from other type-system-* split modules)
- */
-import { unknownType, neverType, voidType } from "./types.js";
-import { stableIrTypeKey } from "../types/type-ops.js";
-// Re-export constants for convenience
-export { unknownType, neverType, voidType };
-// ═══════════════════════════════════════════════════════════════════════════
-// BUILTIN NOMINAL MAPPING
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Mapping from primitive type names to their nominal type names.
- *
- * Used by typeOfMember to look up members on primitives.
- * e.g., `"hello".length` → String.length
- */
-export const BUILTIN_NOMINALS = {
-    string: "String",
-    number: "Number",
-    boolean: "Boolean",
-    bigint: "BigInt",
-    symbol: "Symbol",
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// POISON VALUES
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Create a poisoned ResolvedCall with correct arity.
- *
- * CRITICAL (Alice's spec): Empty arrays are ILLEGAL.
- * Poisoned results must have correct arity so callers cannot
- * detect failure via `length === 0`.
- *
- * @param arity Number of parameters/arguments (from CallQuery.argumentCount)
- * @param diagnostics Diagnostics explaining why resolution failed
- */
-export const poisonedCall = (arity, diagnostics) => ({
-    parameterTypes: Array(arity).fill(unknownType),
-    parameterModes: Array(arity).fill("value"),
-    returnType: unknownType,
-    hasDeclaredReturnType: false,
-    diagnostics,
-});
-// ═══════════════════════════════════════════════════════════════════════════
-// DIAGNOSTIC HELPERS
-// ═══════════════════════════════════════════════════════════════════════════
-export const emitDiagnostic = (state, code, message, site) => {
-    const location = site?.file !== undefined &&
-        site?.line !== undefined &&
-        site?.column !== undefined
-        ? {
-            file: site.file,
-            line: site.line,
-            column: site.column,
-            length: 1, // Default length
-        }
-        : undefined;
-    state.diagnostics.push({
-        code,
-        severity: "error",
-        message,
-        location,
-    });
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// CACHE KEY HELPERS
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Create a cache key for member type lookup.
- */
-export const makeMemberCacheKey = (fqName, memberName, typeArgs) => {
-    if (typeArgs && typeArgs.length > 0) {
-        return `${fqName}:${memberName}:${typeArgs.map(stableIrTypeKey).join(",")}`;
-    }
-    return `${fqName}:${memberName}`;
-};
-/**
- * Create a cache key for nominal lookup.
- */
-export const makeNominalLookupKey = (fqName, typeArgs, memberName) => {
-    return `${fqName}:${typeArgs.map(stableIrTypeKey).join(",")}:${memberName}`;
-};
-// Helper to check if type is null/undefined primitive
-export const isNullishPrimitive = (t) => {
-    return (t.kind === "primitiveType" && (t.name === "null" || t.name === "undefined"));
-};
-export const addUndefinedToType = (type) => {
-    const undefinedType = { kind: "primitiveType", name: "undefined" };
-    if (type.kind === "unionType") {
-        const hasUndefined = type.types.some((x) => x.kind === "primitiveType" && x.name === "undefined");
-        return hasUndefined
-            ? type
-            : { ...type, types: [...type.types, undefinedType] };
-    }
-    return { kind: "unionType", types: [type, undefinedType] };
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// TYPE ID RESOLUTION
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Resolve a surface name to a canonical TypeId.
- *
- * Order:
- * 1) AliasTable (primitives/globals/System.* canonicalization)
- * 2) UnifiedTypeCatalog by tsName
- * 3) UnifiedTypeCatalog by clrName
- *
- * IMPORTANT (airplane-grade):
- * Resolution must be arity-aware when type arguments are present. Facade
- * types often omit the `_N` generic arity suffix (e.g. `IList<T>` is a
- * facade over `IList_1<T>`). When `arity` is provided and the direct
- * resolution doesn't match, we deterministically try `<name>_<arity>`.
- */
-export const resolveTypeIdByName = (state, name, arity) => {
-    const directCandidates = [];
-    const pushCandidate = (candidate) => {
-        if (!candidate)
-            return;
-        if (directCandidates.some((existing) => existing.stableId === candidate.stableId)) {
-            return;
-        }
-        directCandidates.push(candidate);
-    };
-    pushCandidate(state.aliasTable.get(name));
-    pushCandidate(state.unifiedCatalog.resolveTsName(name));
-    pushCandidate(state.unifiedCatalog.resolveClrName(name));
-    if (arity === undefined) {
-        return directCandidates[0];
-    }
-    const matchesArity = (candidate) => state.unifiedCatalog.getTypeParameters(candidate).length === arity;
-    const directMatch = directCandidates.find(matchesArity);
-    if (directMatch)
-        return directMatch;
-    // Facade name without arity suffix → try tsbindgen's structural encoding.
-    if (arity > 0) {
-        const suffixed = `${name}_${arity}`;
-        const suffixedCandidates = [];
-        const pushSuffixedCandidate = (candidate) => {
-            if (!candidate)
-                return;
-            if (suffixedCandidates.some((existing) => existing.stableId === candidate.stableId)) {
-                return;
-            }
-            suffixedCandidates.push(candidate);
-        };
-        pushSuffixedCandidate(state.aliasTable.get(suffixed));
-        pushSuffixedCandidate(state.unifiedCatalog.resolveTsName(suffixed));
-        pushSuffixedCandidate(state.unifiedCatalog.resolveClrName(suffixed));
-        const suffixedMatch = suffixedCandidates.find(matchesArity);
-        if (suffixedMatch)
-            return suffixedMatch;
-    }
-    return undefined;
-};
-// ═══════════════════════════════════════════════════════════════════════════
-// NORMALIZATION HELPERS
-// ═══════════════════════════════════════════════════════════════════════════
-/**
- * Normalize a receiver type to nominal form for member lookup.
- *
- * Phase 6: Returns TypeId + typeArgs for TypeId-based NominalEnv.
- *
- * ALICE'S RULE R3: Primitive-to-nominal bridging is part of TypeSystem.
- */
-export const normalizeToNominal = (state, type) => {
-    if (type.kind === "referenceType") {
-        const arity = type.typeArguments?.length;
-        const typeId = type.typeId ??
-            (type.resolvedClrType
-                ? resolveTypeIdByName(state, type.resolvedClrType, arity)
-                : undefined) ??
-            resolveTypeIdByName(state, type.name, arity);
-        if (!typeId)
-            return undefined;
-        return { typeId, typeArgs: type.typeArguments ?? [] };
-    }
-    if (type.kind === "primitiveType") {
-        const typeId = resolveTypeIdByName(state, type.name, 0);
-        if (!typeId)
-            return undefined;
-        return { typeId, typeArgs: [] };
-    }
-    if (type.kind === "arrayType") {
-        const arrayTypeId = resolveTypeIdByName(state, "Array", 1);
-        if (!arrayTypeId)
-            return undefined;
-        return { typeId: arrayTypeId, typeArgs: [type.elementType] };
-    }
-    return undefined;
-};
-// tsbindgen-generated "sticky extension scope" helpers are TS-only wrappers that
-// must erase for deterministic IR typing and call inference.
-//
-// Example (generated bindings for Tsonic source):
-//   import type { ExtensionMethods as __TsonicExt_Ef } from "@tsonic/efcore/Microsoft.EntityFrameworkCore.js";
-//   readonly Tenants: __TsonicExt_Ef<...>;
-//
-// These wrapper types have no CLR identity. For the compiler, the only meaningful
-// runtime/CLR shape is the inner type argument.
-export const stripTsonicExtensionWrappers = (type) => {
-    if (type.kind === "referenceType") {
-        if (type.name.startsWith("__TsonicExt_") &&
-            (type.typeArguments?.length ?? 0) === 1) {
-            const inner = type.typeArguments?.[0];
-            return inner ? stripTsonicExtensionWrappers(inner) : type;
-        }
-    }
-    return type;
-};
-export const stripNullishForInference = (type) => {
-    if (isNullishPrimitive(type))
-        return undefined;
-    if (type.kind !== "unionType")
-        return type;
-    const filtered = type.types.filter((t) => !isNullishPrimitive(t));
-    if (filtered.length === 0)
-        return undefined;
-    if (filtered.length === 1 && filtered[0])
-        return filtered[0];
-    return { kind: "unionType", types: filtered };
-};
+/** Shared type-system state barrel. */
+export * from "./type-system-state-types.js";
+export * from "./type-system-state-model.js";
+export * from "./type-system-state-helpers.js";
 //# sourceMappingURL=type-system-state.js.map

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

@@ -1 +1 @@
-{"version":3,"file":"type-system-state.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state.ts"],"names":[],"mappings":"AAAA;;;;;;;;;GASG;AAiBH,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC9D,OAAO,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAIvD,sCAAsC;AACtC,OAAO,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAC;AA2b5C,8EAA8E;AAC9E,0BAA0B;AAC1B,8EAA8E;AAE9E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,gBAAgB,GAAqC;IAChE,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;IAChB,OAAO,EAAE,SAAS;IAClB,MAAM,EAAE,QAAQ;IAChB,MAAM,EAAE,QAAQ;CACjB,CAAC;AAEF,8EAA8E;AAC9E,gBAAgB;AAChB,8EAA8E;AAE9E;;;;;;;;;GASG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAa,EACb,WAAkC,EACpB,EAAE,CAAC,CAAC;IAClB,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC;IAC9C,cAAc,EAAE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,OAAgB,CAAC;IACnD,UAAU,EAAE,WAAW;IACvB,qBAAqB,EAAE,KAAK;IAC5B,WAAW;CACZ,CAAC,CAAC;AAiDH,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAsB,EACtB,IAAoB,EACpB,OAAe,EACf,IAAW,EACL,EAAE;IACR,MAAM,QAAQ,GACZ,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,EAAE,IAAI,KAAK,SAAS;QACxB,IAAI,EAAE,MAAM,KAAK,SAAS;QACxB,CAAC,CAAC;YACE,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,IAAI,EAAE,IAAI,CAAC,IAAI;YACf,MAAM,EAAE,IAAI,CAAC,MAAM;YACnB,MAAM,EAAE,CAAC,EAAE,iBAAiB;SAC7B;QACH,CAAC,CAAC,SAAS,CAAC;IAEhB,KAAK,CAAC,WAAW,CAAC,IAAI,CAAC;QACrB,IAAI;QACJ,QAAQ,EAAE,OAAO;QACjB,OAAO;QACP,QAAQ;KACT,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,8EAA8E;AAC9E,oBAAoB;AACpB,8EAA8E;AAE9E;;GAEG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAc,EACd,UAAkB,EAClB,QAA4B,EACpB,EAAE;IACV,IAAI,QAAQ,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QACpC,OAAO,GAAG,MAAM,IAAI,UAAU,IAAI,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC;IAC9E,CAAC;IACD,OAAO,GAAG,MAAM,IAAI,UAAU,EAAE,CAAC;AACnC,CAAC,CAAC;AAEF;;GAEG;AACH,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,MAAc,EACd,QAA2B,EAC3B,UAAkB,EACV,EAAE;IACV,OAAO,GAAG,MAAM,IAAI,QAAQ,CAAC,GAAG,CAAC,eAAe,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,IAAI,UAAU,EAAE,CAAC;AAC9E,CAAC,CAAC;AAEF,sDAAsD;AACtD,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,CAAS,EAC8C,EAAE;IACzD,OAAO,CACL,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,CAAC,IAAI,KAAK,MAAM,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAAC,CAC5E,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAAU,EAAE;IACzD,MAAM,aAAa,GAAW,EAAE,IAAI,EAAE,eAAe,EAAE,IAAI,EAAE,WAAW,EAAE,CAAC;IAC3E,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,YAAY,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,CAClC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,eAAe,IAAI,CAAC,CAAC,IAAI,KAAK,WAAW,CAC5D,CAAC;QACF,OAAO,YAAY;YACjB,CAAC,CAAC,IAAI;YACN,CAAC,CAAC,EAAE,GAAG,IAAI,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,KAAK,EAAE,aAAa,CAAC,EAAE,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,EAAE,CAAC;AAC7D,CAAC,CAAC;AAEF,8EAA8E;AAC9E,qBAAqB;AACrB,8EAA8E;AAE9E;;;;;;;;;;;;;GAaG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,KAAsB,EACtB,IAAY,EACZ,KAAc,EACM,EAAE;IACtB,MAAM,gBAAgB,GAAa,EAAE,CAAC;IACtC,MAAM,aAAa,GAAG,CAAC,SAA6B,EAAQ,EAAE;QAC5D,IAAI,CAAC,SAAS;YAAE,OAAO;QACvB,IACE,gBAAgB,CAAC,IAAI,CACnB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ,CACvD,EACD,CAAC;YACD,OAAO;QACT,CAAC;QACD,gBAAgB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACnC,CAAC,CAAC;IAEF,aAAa,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;IAC1C,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,IAAI,CAAC,CAAC,CAAC;IACxD,aAAa,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,IAAI,CAAC,CAAC,CAAC;IAEzD,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,OAAO,gBAAgB,CAAC,CAAC,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,YAAY,GAAG,CAAC,SAAiB,EAAW,EAAE,CAClD,KAAK,CAAC,cAAc,CAAC,iBAAiB,CAAC,SAAS,CAAC,CAAC,MAAM,KAAK,KAAK,CAAC;IAErE,MAAM,WAAW,GAAG,gBAAgB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;IACxD,IAAI,WAAW;QAAE,OAAO,WAAW,CAAC;IAEpC,0EAA0E;IAC1E,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QACd,MAAM,QAAQ,GAAG,GAAG,IAAI,IAAI,KAAK,EAAE,CAAC;QACpC,MAAM,kBAAkB,GAAa,EAAE,CAAC;QACxC,MAAM,qBAAqB,GAAG,CAAC,SAA6B,EAAQ,EAAE;YACpE,IAAI,CAAC,SAAS;gBAAE,OAAO;YACvB,IACE,kBAAkB,CAAC,IAAI,CACrB,CAAC,QAAQ,EAAE,EAAE,CAAC,QAAQ,CAAC,QAAQ,KAAK,SAAS,CAAC,QAAQ,CACvD,EACD,CAAC;gBACD,OAAO;YACT,CAAC;YACD,kBAAkB,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QACrC,CAAC,CAAC;QAEF,qBAAqB,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAC;QACtD,qBAAqB,CAAC,KAAK,CAAC,cAAc,CAAC,aAAa,CAAC,QAAQ,CAAC,CAAC,CAAC;QACpE,qBAAqB,CAAC,KAAK,CAAC,cAAc,CAAC,cAAc,CAAC,QAAQ,CAAC,CAAC,CAAC;QAErE,MAAM,aAAa,GAAG,kBAAkB,CAAC,IAAI,CAAC,YAAY,CAAC,CAAC;QAC5D,IAAI,aAAa;YAAE,OAAO,aAAa,CAAC;IAC1C,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,8EAA8E;AAC9E,wBAAwB;AACxB,8EAA8E;AAE9E;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAsB,EACtB,IAAY,EACiD,EAAE;IAC/D,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,CAAC;QACzC,MAAM,MAAM,GACV,IAAI,CAAC,MAAM;YACX,CAAC,IAAI,CAAC,eAAe;gBACnB,CAAC,CAAC,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,eAAe,EAAE,KAAK,CAAC;gBACzD,CAAC,CAAC,SAAS,CAAC;YACd,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;QAC/C,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,IAAI,CAAC,aAAa,IAAI,EAAE,EAAE,CAAC;IACxD,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,MAAM,MAAM,GAAG,mBAAmB,CAAC,KAAK,EAAE,IAAI,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;QACxD,IAAI,CAAC,MAAM;YAAE,OAAO,SAAS,CAAC;QAC9B,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,CAAC;IAClC,CAAC;IAED,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW,EAAE,CAAC;QAC9B,MAAM,WAAW,GAAG,mBAAmB,CAAC,KAAK,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC;QAC3D,IAAI,CAAC,WAAW;YAAE,OAAO,SAAS,CAAC;QACnC,OAAO,EAAE,MAAM,EAAE,WAAW,EAAE,QAAQ,EAAE,CAAC,IAAI,CAAC,WAAW,CAAC,EAAE,CAAC;IAC/D,CAAC;IAED,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,iFAAiF;AACjF,6DAA6D;AAC7D,EAAE;AACF,kDAAkD;AAClD,+GAA+G;AAC/G,2CAA2C;AAC3C,EAAE;AACF,kFAAkF;AAClF,gDAAgD;AAChD,MAAM,CAAC,MAAM,4BAA4B,GAAG,CAAC,IAAY,EAAU,EAAE;IACnE,IAAI,IAAI,CAAC,IAAI,KAAK,eAAe,EAAE,CAAC;QAClC,IACE,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,cAAc,CAAC;YACpC,CAAC,IAAI,CAAC,aAAa,EAAE,MAAM,IAAI,CAAC,CAAC,KAAK,CAAC,EACvC,CAAC;YACD,MAAM,KAAK,GAAG,IAAI,CAAC,aAAa,EAAE,CAAC,CAAC,CAAC,CAAC;YACtC,OAAO,KAAK,CAAC,CAAC,CAAC,4BAA4B,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC;QAC5D,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CAAC,IAAY,EAAsB,EAAE;IAC3E,IAAI,kBAAkB,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IAC/C,IAAI,IAAI,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC3C,MAAM,QAAQ,GAAG,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC;IAClE,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,IAAI,QAAQ,CAAC,MAAM,KAAK,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC;QAAE,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC;IAC7D,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC;AAChD,CAAC,CAAC"}
+{"version":3,"file":"type-system-state.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-state.ts"],"names":[],"mappings":"AAAA,uCAAuC;AAEvC,cAAc,8BAA8B,CAAC;AAC7C,cAAc,8BAA8B,CAAC;AAC7C,cAAc,gCAAgC,CAAC"}

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

@@ -0,0 +1,341 @@
+/**
+ * TypeAuthority — Interface & Config Definitions
+ *
+ * Contains the TypeAuthority interface (Alice's exact API) and
+ * TypeSystemConfig for factory construction. Split from type-system.ts
+ * for file-size compliance.
+ *
+ * DAG position: pure types — no runtime logic, only type definitions.
+ */
+import type { IrType, IrFunctionType, IrParameter } 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";
+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 readable value type of a declaration by its handle.
+     *
+     * This differs from `typeOfDecl` for optional value declarations such as:
+     * - `param?: T` parameters
+     * - `prop?: T` properties
+     *
+     * In those cases, reads observe `T | undefined`.
+     */
+    typeOfValueRead(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;
+    /**
+     * Try to get the declared type of a member without emitting diagnostics.
+     *
+     * Used by strict feature-detection paths that need to inspect explicit shape
+     * without turning absence into a speculative compiler error.
+     */
+    tryTypeOfMember(receiver: IrType, member: MemberRef): IrType | undefined;
+    /**
+     * 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;
+    /**
+     * Resolve the best semantic overload candidate from a candidate set.
+     *
+     * Binding may provide multiple arity-compatible candidates when the TypeScript
+     * layer cannot faithfully distinguish CLR/native-first-party surfaces. This
+     * method lets TypeSystem remain the authority for final semantic selection.
+     */
+    selectBestCallCandidate(fallbackSigId: SignatureId | undefined, candidateSigIds: readonly SignatureId[] | undefined, query: Omit<CallQuery, "sigId">): {
+        readonly sigId: SignatureId | undefined;
+        readonly resolved: ResolvedCall | undefined;
+    };
+    resolveCallableType(type: IrType | undefined, query: Pick<CallQuery, "argumentCount" | "argTypes" | "explicitTypeArgs" | "expectedReturnType">): {
+        readonly callableType: IrFunctionType | undefined;
+        readonly resolved: ResolvedCall | undefined;
+    };
+    /**
+     * 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 whether a value of `source` can satisfy `value instanceof Target`.
+     *
+     * This is intentionally stricter than general assignability:
+     * `instanceof` must respect constructor-instance identity and inheritance,
+     * not broad structural compatibility such as shared iterable shapes.
+     */
+    matchesInstanceofTarget(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", parameters?: readonly IrParameter[], baseClassType?: IrType): {
+        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 = {
+    readonly sourceRoot: string;
+    readonly rootNamespace: string;
+    /**
+     * 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 resolveTypeReference: (node: unknown) => DeclId | undefined;
+    readonly resolveShorthandAssignment: (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>;
+};
+//# sourceMappingURL=type-system-types-api.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-types-api.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-types-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AAEH,OAAO,KAAK,EAAE,MAAM,EAAE,cAAc,EAAE,WAAW,EAAE,MAAM,mBAAmB,CAAC;AAC7E,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,OAAO,KAAK,EACV,cAAc,EACd,eAAe,EACf,aAAa,EACb,SAAS,EACT,YAAY,EACZ,SAAS,EACT,IAAI,EACJ,mBAAmB,EACpB,MAAM,wBAAwB,CAAC;AAMhC;;;;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;IAEnC;;;;;;;;OAQG;IACH,eAAe,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAAC;IAMxC;;;;;;;;;OASG;IACH,YAAY,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,EAAE,IAAI,CAAC,EAAE,IAAI,GAAG,MAAM,CAAC;IAEvE;;;;;OAKG;IACH,eAAe,CAAC,QAAQ,EAAE,MAAM,EAAE,MAAM,EAAE,SAAS,GAAG,MAAM,GAAG,SAAS,CAAC;IAEzE;;;;;;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,uBAAuB,CACrB,aAAa,EAAE,WAAW,GAAG,SAAS,EACtC,eAAe,EAAE,SAAS,WAAW,EAAE,GAAG,SAAS,EACnD,KAAK,EAAE,IAAI,CAAC,SAAS,EAAE,OAAO,CAAC,GAC9B;QACD,QAAQ,CAAC,KAAK,EAAE,WAAW,GAAG,SAAS,CAAC;QACxC,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,SAAS,CAAC;KAC7C,CAAC;IAEF,mBAAmB,CACjB,IAAI,EAAE,MAAM,GAAG,SAAS,EACxB,KAAK,EAAE,IAAI,CACT,SAAS,EACT,eAAe,GAAG,UAAU,GAAG,kBAAkB,GAAG,oBAAoB,CACzE,GACA;QACD,QAAQ,CAAC,YAAY,EAAE,cAAc,GAAG,SAAS,CAAC;QAClD,QAAQ,CAAC,QAAQ,EAAE,YAAY,GAAG,SAAS,CAAC;KAC7C,CAAC;IAEF;;;;;;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;;;;;;OAMG;IACH,uBAAuB,CAAC,MAAM,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;IAEjE;;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,EACjC,UAAU,CAAC,EAAE,SAAS,WAAW,EAAE,EACnC,aAAa,CAAC,EAAE,MAAM,GACrB;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,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B;;;;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,MAAM,GAAG,SAAS,CAAC;IACrE,QAAQ,CAAC,0BAA0B,EAAE,CAAC,IAAI,EAAE,OAAO,KAAK,MAAM,GAAG,SAAS,CAAC;IAC3E,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"}

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

@@ -0,0 +1,11 @@
+/**
+ * TypeAuthority — Interface & Config Definitions
+ *
+ * Contains the TypeAuthority interface (Alice's exact API) and
+ * TypeSystemConfig for factory construction. Split from type-system.ts
+ * for file-size compliance.
+ *
+ * DAG position: pure types — no runtime logic, only type definitions.
+ */
+export {};
+//# sourceMappingURL=type-system-types-api.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-system-types-api.js","sourceRoot":"","sources":["../../../src/ir/type-system/type-system-types-api.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG"}