/**
 * TypeAuthority — Single Source of Truth for All Type Queries
 *
 * ALICE'S SPEC (Phase 5): This is the ONLY public API for type operations.
 * The public module is structurally incapable of supporting a parallel type system.
 *
 * INVARIANT: No ts.Type, ts.Symbol, or computed type APIs appear in this layer.
 * INVARIANT: No raw structures (TypeNodes, declarations, registries) are exported.
 * INVARIANT: All type information flows through semantic methods only.
 *
 * The Binding layer handles TS symbol resolution and produces opaque handles
 * (DeclId, SignatureId, MemberId, TypeSyntaxId) that cross into this layer.
 */
// ═══════════════════════════════════════════════════════════════════════════════
// FACTORY FUNCTIONS — For handle creation and result construction
// ═══════════════════════════════════════════════════════════════════════════════
export { makeDeclId, makeSignatureId, makeMemberId, makeTypeSyntaxId, typeOk, typeError, signatureOk, unknownType, neverType, voidType, anyType, } from "./types.js";
export { BUILTIN_NOMINALS, poisonedCall, createTypeSystem, } from "./type-system.js";
// ═══════════════════════════════════════════════════════════════════════════════
// INTERNAL TYPES — NOT EXPORTED
// ═══════════════════════════════════════════════════════════════════════════════
//
// The following types are INTERNAL ONLY and must NOT be exported:
// - TypeSystemDeps
// - HandleRegistry
// - DeclInfo, SignatureInfo, MemberInfo, TypeSyntaxInfo
// - ParameterNode, TypeParameterNode
// - SignatureTypePredicate
// - DeclKind
// - TypeSystemConfig
// - TypeRegistryAPI, NominalEnvAPI
// - RawSignatureInfo
// - TypeSubstitutionMap (internal)
// - MemberLookupResult (internal)
//
// These are defined in type-system/internal/* and imported only by:
// - type-system implementation
// - binding implementation
//
// ALICE'S SPEC: The public module is structurally incapable of supporting
// a parallel type system. No raw structures. No escape hatches.
// ═══════════════════════════════════════════════════════════════════════════════
//# sourceMappingURL=index.js.map