@tsonic/frontend 0.0.14 → 0.0.15

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

@@ -0,0 +1,617 @@
+/**
+ * TypeAuthority — Alice's 100% Specification
+ *
+ * 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)
+ */
+import type { IrType, IrFunctionType, IrMethodSignature } from "../types/index.js";
+import type { Diagnostic } from "../../types/diagnostic.js";
+import type { DeclId, SignatureId, MemberId, TypeSyntaxId, TypeParameterInfo, UtilityTypeName, ParameterMode } from "./types.js";
+import type { AliasTable } from "./internal/universe/alias-table.js";
+import type { TypeId, UnifiedTypeCatalog } from "./internal/universe/types.js";
+/**
+ * TypeAuthority interface — Alice's exact specification.
+ *
+ * Key method: resolveCall(query) — single entry point for all call resolution.
+ */
+export interface 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.
+     *
+     * NOTE: The deprecated convertTypeNode() method has been removed.
+     * All converters now 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;
+    /**
+     * 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;
+    /**
+     * 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>
+     * - 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): 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;
+}
+/**
+ * MemberRef — Reference to a member by ID or name.
+ *
+ * byId: Use when MemberId is available (stable identity).
+ * byName: Use for dynamic access (property access expressions).
+ */
+export type MemberRef = {
+    readonly kind: "byId";
+    readonly id: MemberId;
+} | {
+    readonly kind: "byName";
+    readonly name: string;
+};
+/**
+ * CallQuery — Input to resolveCall().
+ *
+ * Contains all information needed to resolve a call site.
+ *
+ * IMPORTANT (Alice's spec): argumentCount is REQUIRED for totality.
+ * Even if signature lookup fails, TypeSystem must return correct-arity
+ * arrays filled with unknownType. This prevents fallback behavior.
+ */
+export type CallQuery = {
+    /** The signature being called (from Binding.resolveCallSignature) */
+    readonly sigId: SignatureId;
+    /**
+     * Number of arguments at the call site.
+     *
+     * REQUIRED for totality: Used to construct correct-arity poisoned result
+     * when signature lookup fails. Without this, TypeSystem cannot guarantee
+     * parameterTypes.length === argumentCount.
+     */
+    readonly argumentCount: number;
+    /** Receiver type for member calls (e.g., `arr` in `arr.map(...)`) */
+    readonly receiverType?: IrType;
+    /** Explicit type arguments from call syntax (e.g., `fn<string>(...)`) */
+    readonly explicitTypeArgs?: readonly IrType[];
+    /** Argument types for deterministic unification (undefined = unknown) */
+    readonly argTypes?: readonly (IrType | undefined)[];
+    /** Blame location for diagnostics */
+    readonly site?: Site;
+};
+/**
+ * ResolvedCall — Output of resolveCall().
+ *
+ * Contains fully instantiated types after all substitutions applied.
+ */
+export type ResolvedCall = {
+    /** Fully instantiated parameter types (undefined = missing annotation) */
+    readonly parameterTypes: readonly (IrType | undefined)[];
+    /** Parameter passing modes (value, ref, out, in) */
+    readonly parameterModes: readonly ParameterMode[];
+    /** Fully instantiated return type */
+    readonly returnType: IrType;
+    /**
+     * Type predicate info for narrowing (x is T).
+     * Only present if the function has a type predicate return type.
+     */
+    readonly typePredicate?: TypePredicateResult;
+    /** Diagnostics emitted during resolution */
+    readonly diagnostics: readonly Diagnostic[];
+};
+/**
+ * TypePredicateResult — Resolved type predicate info.
+ *
+ * Extracted from SignatureInfo.typePredicate and converted to IR types.
+ */
+export type TypePredicateResult = {
+    readonly kind: "param";
+    readonly parameterIndex: number;
+    readonly targetType: IrType;
+} | {
+    readonly kind: "this";
+    readonly targetType: IrType;
+};
+/**
+ * Site — Blame location for diagnostics.
+ *
+ * Used to report errors at the correct source location.
+ */
+export type Site = {
+    /** Source file path */
+    readonly file?: string;
+    /** 0-based line number */
+    readonly line?: number;
+    /** 0-based column number */
+    readonly column?: number;
+    /** Original AST node (for detailed location) */
+    readonly node?: unknown;
+};
+/**
+ * Type substitution map — maps type parameter names to concrete types.
+ */
+export type TypeSubstitutionMap = ReadonlyMap<string, IrType>;
+/**
+ * Raw signature information extracted from Binding.
+ *
+ * This is the pre-substitution form stored in the signature cache.
+ */
+export type RawSignatureInfo = {
+    /** Parameter types (undefined = missing annotation → TSN5201) */
+    readonly parameterTypes: readonly (IrType | undefined)[];
+    /** Return type (voidType if not specified) */
+    readonly returnType: IrType;
+    /** Parameter modes */
+    readonly parameterModes: readonly ParameterMode[];
+    /** Type parameters for generic methods */
+    readonly typeParameters: readonly TypeParameterInfo[];
+    /** Parameter names (for diagnostics) */
+    readonly parameterNames: readonly string[];
+    /**
+     * Type predicate (x is T) - extracted at Binding registration time.
+     * Contains target type as IrType.
+     */
+    readonly typePredicate?: TypePredicateResult;
+    /**
+     * Declaring identity — CRITICAL for inheritance substitution.
+     *
+     * Without this, resolveCall cannot compute receiver substitution.
+     * Uses simple TS name, resolved via UnifiedTypeCatalog.resolveTsName().
+     */
+    readonly declaringTypeTsName?: string;
+    readonly declaringMemberName?: string;
+};
+/**
+ * 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;
+};
+/**
+ * HandleRegistry — maps opaque handles to their underlying data.
+ *
+ * Created and managed by the Binding layer. TypeSystem uses this
+ * to look up declaration and signature information.
+ */
+export interface HandleRegistry {
+    /** Get declaration info for a DeclId */
+    getDecl(id: DeclId): DeclInfo | undefined;
+    /** Get signature info for a SignatureId */
+    getSignature(id: SignatureId): SignatureInfo | undefined;
+    /** Get member info for a MemberId */
+    getMember(id: MemberId): MemberInfo | undefined;
+    /**
+     * Get captured type syntax for a TypeSyntaxId.
+     *
+     * Returns the TypeNode that was captured via Binding.captureTypeSyntax().
+     * TypeSystem uses this internally to convert captured syntax to IrType.
+     */
+    getTypeSyntax(id: TypeSyntaxId): TypeSyntaxInfo | undefined;
+}
+/**
+ * Type syntax info stored in the handle registry.
+ */
+export type TypeSyntaxInfo = {
+    /** The captured TypeNode (ts.TypeNode, cast to unknown) */
+    readonly typeNode: unknown;
+};
+/**
+ * Captured class member names for override detection.
+ * Pure data — no TS nodes.
+ */
+export type ClassMemberNames = {
+    readonly methods: ReadonlySet<string>;
+    readonly properties: ReadonlySet<string>;
+};
+/**
+ * Declaration info in the handle registry.
+ */
+export type DeclInfo = {
+    /** Explicit type annotation (ts.TypeNode, cast to unknown) */
+    readonly typeNode?: unknown;
+    /** Declaration kind */
+    readonly kind: DeclKind;
+    /** Fully-qualified name */
+    readonly fqName?: string;
+    /** Declaration AST node (ts.Declaration, cast to unknown) */
+    readonly declNode?: unknown;
+    /** Captured class member names (for class declarations only) */
+    readonly classMemberNames?: ClassMemberNames;
+};
+export type DeclKind = "variable" | "function" | "class" | "interface" | "typeAlias" | "enum" | "parameter" | "property" | "method";
+/**
+ * Signature info in the handle registry.
+ *
+ * IMPORTANT: Must include declaring identity for resolveCall().
+ */
+export type SignatureInfo = {
+    /** Parameter nodes */
+    readonly parameters: readonly ParameterNode[];
+    /** Return type node (ts.TypeNode, cast to unknown) */
+    readonly returnTypeNode?: unknown;
+    /** Type parameters */
+    readonly typeParameters?: readonly TypeParameterNode[];
+    /**
+     * Declaring type simple TS name (e.g., "Box" not "Test.Box").
+     *
+     * CRITICAL: Required for inheritance substitution in resolveCall().
+     * Resolved via UnifiedTypeCatalog.resolveTsName() to get CLR FQ name.
+     */
+    readonly declaringTypeTsName?: string;
+    /**
+     * Declaring member name.
+     *
+     * CRITICAL: Required for inheritance substitution in resolveCall().
+     */
+    readonly declaringMemberName?: string;
+    /**
+     * Type predicate information for `x is T` return types.
+     *
+     * Extracted at registration time via pure syntax inspection.
+     * Contains targetTypeNode which TypeSystem converts to IrType.
+     */
+    readonly typePredicate?: SignatureTypePredicateRaw;
+};
+/**
+ * Raw type predicate info as stored in SignatureInfo.
+ * Contains TypeNode, not IrType.
+ */
+export type SignatureTypePredicateRaw = {
+    readonly kind: "param";
+    readonly parameterName: string;
+    readonly parameterIndex: number;
+    readonly targetTypeNode: unknown;
+} | {
+    readonly kind: "this";
+    readonly targetTypeNode: unknown;
+};
+export type ParameterNode = {
+    readonly name: string;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isRest: boolean;
+    readonly mode?: ParameterMode;
+};
+export type TypeParameterNode = {
+    readonly name: string;
+    readonly constraintNode?: unknown;
+    readonly defaultNode?: unknown;
+};
+/**
+ * Member info in the handle registry.
+ */
+export type MemberInfo = {
+    readonly name: string;
+    readonly declNode?: unknown;
+    readonly typeNode?: unknown;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+};
+/**
+ * TypeRegistry API — minimal interface needed by TypeSystem.
+ *
+ * After Step 3, TypeRegistry stores pure IR.
+ */
+export interface TypeRegistryAPI {
+    /** Resolve a type by fully-qualified name */
+    resolveNominal(fqName: string): TypeRegistryEntry | undefined;
+    /** Resolve a type by simple name (returns first match) */
+    resolveBySimpleName(simpleName: string): TypeRegistryEntry | undefined;
+    /** Get fully-qualified name from simple name */
+    getFQName(simpleName: string): string | undefined;
+    /** Get member type from a nominal type (pure IR after Step 3) */
+    getMemberType(fqNominal: string, memberName: string): IrType | undefined;
+    /** Check if a type is registered */
+    hasType(fqName: string): boolean;
+}
+/**
+ * Type parameter info in TypeRegistry.
+ *
+ * Pure IR representation of type parameters.
+ */
+export type TypeParameterEntry = {
+    readonly name: string;
+    readonly constraint?: IrType;
+    readonly defaultType?: IrType;
+};
+/**
+ * TypeRegistry entry.
+ *
+ * After Step 3, members/heritage store IrType, not TypeNodes.
+ */
+export type TypeRegistryEntry = {
+    readonly kind: "class" | "interface" | "typeAlias";
+    readonly name: string;
+    readonly fullyQualifiedName: string;
+    readonly typeParameters: readonly TypeParameterEntry[];
+    readonly members: ReadonlyMap<string, TypeRegistryMemberInfo>;
+};
+/**
+ * Member info in TypeRegistry.
+ *
+ * Pure IR representation - stores IrType, not TypeNode.
+ */
+export type TypeRegistryMemberInfo = {
+    readonly kind: "property" | "method" | "indexSignature";
+    readonly name: string;
+    readonly type: IrType | undefined;
+    readonly isOptional: boolean;
+    readonly isReadonly: boolean;
+    readonly methodSignatures?: readonly IrMethodSignature[];
+};
+/**
+ * NominalEnv API — Phase 6: TypeId-based interface.
+ */
+export interface NominalEnvAPI {
+    /** Get inheritance chain for a type (returns TypeIds) */
+    getInheritanceChain(typeId: TypeId): readonly TypeId[];
+    /** Get substitution for a parent type given child instantiation */
+    getInstantiation(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], targetTypeId: TypeId): ReadonlyMap<string, IrType> | undefined;
+    /** Find the declaring type of a member in the inheritance chain */
+    findMemberDeclaringType(receiverTypeId: TypeId, receiverTypeArgs: readonly IrType[], memberName: string): MemberLookupResult | undefined;
+}
+/**
+ * Result of looking up a member in the inheritance chain.
+ */
+export type MemberLookupResult = {
+    /** TypeId of the type that declares the member */
+    readonly declaringTypeId: TypeId;
+    /** Substitution to apply to the member's declared type */
+    readonly substitution: ReadonlyMap<string, IrType>;
+};
+/**
+ * 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 declare const BUILTIN_NOMINALS: Readonly<Record<string, string>>;
+/** Poison type for undeterminable types */
+export declare const unknownType: IrType;
+/** Poison type for impossible types */
+export declare const neverType: IrType;
+/** Void type for functions with no return */
+export declare const voidType: IrType;
+/**
+ * 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` and fall back to legacy.
+ *
+ * @param arity Number of parameters/arguments (from CallQuery.argumentCount)
+ * @param diagnostics Diagnostics explaining why resolution failed
+ */
+export declare const poisonedCall: (arity: number, diagnostics: readonly Diagnostic[]) => ResolvedCall;
+/**
+ * Create a TypeSystem instance with internal caches.
+ *
+ * This is the single factory for TypeSystem. All type queries go through
+ * the returned TypeSystem instance.
+ */
+export declare const createTypeSystem: (config: TypeSystemConfig) => TypeAuthority;
+//# sourceMappingURL=type-system.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"type-system.d.ts","sourceRoot":"","sources":["../../../src/ir/type-system/type-system.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,EACV,MAAM,EACN,cAAc,EAMd,iBAAiB,EAClB,MAAM,mBAAmB,CAAC;AAE3B,OAAO,KAAK,EAAE,UAAU,EAAkB,MAAM,2BAA2B,CAAC;AAC5E,OAAO,KAAK,EACV,MAAM,EACN,WAAW,EACX,QAAQ,EACR,YAAY,EACZ,iBAAiB,EACjB,eAAe,EACf,aAAa,EACd,MAAM,YAAY,CAAC;AAQpB,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oCAAoC,CAAC;AACrE,OAAO,KAAK,EAEV,MAAM,EACN,kBAAkB,EACnB,MAAM,8BAA8B,CAAC;AAMtC;;;;GAIG;AACH,MAAM,WAAW,aAAa;IAK5B;;;;;;;;;;;OAWG;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;IAMvE;;;;;;;;;;OAUG;IACH,WAAW,CAAC,KAAK,EAAE,SAAS,GAAG,YAAY,CAAC;IAE5C;;;;;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,GAAG,MAAM,CAAC;IAE3C;;;;;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;AAMD;;;;;GAKG;AACH,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;;;;;GAQG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,qEAAqE;IACrE,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC;IAE5B;;;;;;OAMG;IACH,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAE/B,qEAAqE;IACrE,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAE/B,yEAAyE;IACzE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAE9C,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEpD,qCAAqC;IACrC,QAAQ,CAAC,IAAI,CAAC,EAAE,IAAI,CAAC;CACtB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,YAAY,GAAG;IACzB,0EAA0E;IAC1E,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzD,oDAAoD;IACpD,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAElD,qCAAqC;IACrC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAE7C,4CAA4C;IAC5C,QAAQ,CAAC,WAAW,EAAE,SAAS,UAAU,EAAE,CAAC;CAC7C,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,mBAAmB,GAC3B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;CAC7B,CAAC;AAIN;;;;GAIG;AACH,MAAM,MAAM,IAAI,GAAG;IACjB,uBAAuB;IACvB,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,0BAA0B;IAC1B,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IAEvB,4BAA4B;IAC5B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,gDAAgD;IAChD,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;CACzB,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,mBAAmB,GAAG,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;AAM9D;;;;GAIG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,iEAAiE;IACjE,QAAQ,CAAC,cAAc,EAAE,SAAS,CAAC,MAAM,GAAG,SAAS,CAAC,EAAE,CAAC;IAEzD,8CAA8C;IAC9C,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAE5B,sBAAsB;IACtB,QAAQ,CAAC,cAAc,EAAE,SAAS,aAAa,EAAE,CAAC;IAElD,0CAA0C;IAC1C,QAAQ,CAAC,cAAc,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAEtD,wCAAwC;IACxC,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAE3C;;;OAGG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC;IAE7C;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IACtC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;CACvC,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,CAAC,IAAI,EAAE,OAAO,KAAK,WAAW,GAAG,SAAS,CAAC;CAClF,CAAC;AAMF;;;;;GAKG;AACH,MAAM,WAAW,cAAc;IAC7B,wCAAwC;IACxC,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,GAAG,SAAS,CAAC;IAE1C,2CAA2C;IAC3C,YAAY,CAAC,EAAE,EAAE,WAAW,GAAG,aAAa,GAAG,SAAS,CAAC;IAEzD,qCAAqC;IACrC,SAAS,CAAC,EAAE,EAAE,QAAQ,GAAG,UAAU,GAAG,SAAS,CAAC;IAEhD;;;;;OAKG;IACH,aAAa,CAAC,EAAE,EAAE,YAAY,GAAG,cAAc,GAAG,SAAS,CAAC;CAC7D;AAED;;GAEG;AACH,MAAM,MAAM,cAAc,GAAG;IAC3B,2DAA2D;IAC3D,QAAQ,CAAC,QAAQ,EAAE,OAAO,CAAC;CAC5B,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACtC,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC1C,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,QAAQ,GAAG;IACrB,8DAA8D;IAC9D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,uBAAuB;IACvB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAExB,2BAA2B;IAC3B,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IAEzB,6DAA6D;IAC7D,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAE5B,gEAAgE;IAChE,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,QAAQ,GAChB,UAAU,GACV,UAAU,GACV,OAAO,GACP,WAAW,GACX,WAAW,GACX,MAAM,GACN,WAAW,GACX,UAAU,GACV,QAAQ,CAAC;AAEb;;;;GAIG;AACH,MAAM,MAAM,aAAa,GAAG;IAC1B,sBAAsB;IACtB,QAAQ,CAAC,UAAU,EAAE,SAAS,aAAa,EAAE,CAAC;IAE9C,sDAAsD;IACtD,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAElC,sBAAsB;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;IAEvD;;;;;OAKG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAEtC;;;;OAIG;IACH,QAAQ,CAAC,mBAAmB,CAAC,EAAE,MAAM,CAAC;IAEtC;;;;;OAKG;IACH,QAAQ,CAAC,aAAa,CAAC,EAAE,yBAAyB,CAAC;CACpD,CAAC;AAEF;;;GAGG;AACH,MAAM,MAAM,yBAAyB,GACjC;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,aAAa,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,cAAc,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,OAAO,CAAC;CAClC,CAAC;AAEN,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,IAAI,CAAC,EAAE,aAAa,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,CAAC,EAAE,OAAO,CAAC;IAClC,QAAQ,CAAC,WAAW,CAAC,EAAE,OAAO,CAAC;CAChC,CAAC;AAEF;;GAEG;AACH,MAAM,MAAM,UAAU,GAAG;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,QAAQ,CAAC,EAAE,OAAO,CAAC;IAC5B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,6CAA6C;IAC7C,cAAc,CAAC,MAAM,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAE9D,0DAA0D;IAC1D,mBAAmB,CAAC,UAAU,EAAE,MAAM,GAAG,iBAAiB,GAAG,SAAS,CAAC;IAEvE,gDAAgD;IAChD,SAAS,CAAC,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAElD,iEAAiE;IACjE,aAAa,CAAC,SAAS,EAAE,MAAM,EAAE,UAAU,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS,CAAC;IAEzE,oCAAoC;IACpC,OAAO,CAAC,MAAM,EAAE,MAAM,GAAG,OAAO,CAAC;CAClC;AAED;;;;GAIG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,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;;;;GAIG;AACH,MAAM,MAAM,iBAAiB,GAAG;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,GAAG,WAAW,GAAG,WAAW,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,cAAc,EAAE,SAAS,kBAAkB,EAAE,CAAC;IAEvD,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,EAAE,sBAAsB,CAAC,CAAC;CAC/D,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,sBAAsB,GAAG;IACnC,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,gBAAgB,CAAC;IACxD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,SAAS,CAAC;IAClC,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC;IAC7B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,SAAS,iBAAiB,EAAE,CAAC;CAC1D,CAAC;AAEF;;GAEG;AACH,MAAM,WAAW,aAAa;IAC5B,yDAAyD;IACzD,mBAAmB,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,MAAM,EAAE,CAAC;IAEvD,mEAAmE;IACnE,gBAAgB,CACd,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,YAAY,EAAE,MAAM,GACnB,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,SAAS,CAAC;IAE3C,mEAAmE;IACnE,uBAAuB,CACrB,cAAc,EAAE,MAAM,EACtB,gBAAgB,EAAE,SAAS,MAAM,EAAE,EACnC,UAAU,EAAE,MAAM,GACjB,kBAAkB,GAAG,SAAS,CAAC;CACnC;AAED;;GAEG;AACH,MAAM,MAAM,kBAAkB,GAAG;IAC/B,kDAAkD;IAClD,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IAEjC,0DAA0D;IAC1D,QAAQ,CAAC,YAAY,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACpD,CAAC;AAMF;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAM7D,CAAC;AAMF,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;;;;;;;;;GASG;AACH,eAAO,MAAM,YAAY,GACvB,OAAO,MAAM,EACb,aAAa,SAAS,UAAU,EAAE,KACjC,YAKD,CAAC;AAeH;;;;;GAKG;AACH,eAAO,MAAM,gBAAgB,GAC3B,QAAQ,gBAAgB,KACvB,aAu8FF,CAAC"}