@velarscript/compiler 0.10.1

package/dist/types.d.ts

@@ -0,0 +1,356 @@
+import type { TypeReference, TypeSyntax } from "./ast.ts";
+export interface EnumInfo {
+    readonly identity: string;
+    readonly members: ReadonlySet<string>;
+}
+/**
+ * D55 rule 120: a generic record declaration, in the form every later stage
+ * needs it — the identity its instantiations are keyed under, the parameter
+ * names and their bounds, and the field table with the `parameter` types still
+ * standing in it. This is the shape that crosses a module interface, so a
+ * dependent can write `Box<its own record>` without the declaring module ever
+ * having anticipated that argument.
+ */
+export interface GenericTypeInfo {
+    readonly identity: string;
+    readonly name: string;
+    readonly parameterNames: readonly string[];
+    readonly parameterBounds: readonly (TypeParameterBound | null)[];
+    readonly fields: ReadonlyMap<string, ValueType>;
+    readonly readonlyFields?: ReadonlySet<string>;
+}
+export type ExtensionTypeDisplay = {
+    readonly kind: "named";
+    readonly name: string;
+} | {
+    readonly kind: "constructor";
+    readonly prefix: string;
+    readonly name: string;
+} | {
+    readonly kind: "properties";
+    readonly name: string;
+    readonly result: string;
+    readonly hiddenOptionalProperties?: ReadonlyMap<string, string>;
+};
+/**
+ * A target-owned type family. Core traverses its nested types and owns stable
+ * identity, while the active language extension owns semantic compatibility
+ * between roles in the family (for example a framework constructor satisfying
+ * a framework contract).
+ */
+export interface ExtensionValueType {
+    readonly kind: "extension";
+    readonly extensionId: string;
+    readonly family: string;
+    readonly role: string;
+    readonly nominal?: string;
+    readonly properties: ReadonlyMap<string, ValueType>;
+    readonly requiredProperties: ReadonlySet<string>;
+    readonly arguments: readonly ValueType[];
+    readonly metadata?: Readonly<Record<string, string>>;
+    readonly display: ExtensionTypeDisplay;
+}
+/**
+ * D55 rule 121: a generic record applied to arguments — `Box<string>`. The
+ * arguments ride on the application rather than inside the `parameter` kind,
+ * which keeps that kind's De Bruijn contract literal; this is D41 item 61's own
+ * precedent for bounds, applied to the other piece of discriminating
+ * information. The canonical instantiation identity is a pure function of
+ * `declaration` and `arguments` (`genericApplicationIdentity`), so every stage
+ * that rebuilds an application — the analyzer, a module interface, generic
+ * `def` substitution — computes the same string without agreeing on anything
+ * else. `fieldsOf` is untouched: the identity keys an already-substituted field
+ * table, so no call site of it ever substitutes.
+ */
+export interface GenericApplication {
+    /** The declaration's identity once nominals are resolved; its source name before that. */
+    readonly declaration: string;
+    /** The declaration's display name (`Box`), so substitution can rebuild the display text. */
+    readonly name: string;
+    readonly arguments: readonly ValueType[];
+}
+export type ValueType = {
+    readonly kind: "unknown";
+    readonly restricted?: boolean;
+}
+/**
+ * `textConvertible` marks the compiler-owned text-conversion domain (charter
+ * section 14). It is not spellable in source: only the built-in `str`
+ * declares it, so a bare `str` stays a first-class value while assignability
+ * still admits exactly the conversion whitelist at every call site.
+ */
+ | {
+    readonly kind: "any";
+    readonly textConvertible?: true;
+} | {
+    readonly kind: "null";
+} | {
+    readonly kind: "string";
+} | {
+    readonly kind: "number";
+} | {
+    readonly kind: "bool";
+} | {
+    readonly kind: "optional";
+    readonly inner: ValueType;
+} | {
+    readonly kind: "list";
+    readonly element: ValueType;
+    readonly readonlyView?: true;
+} | {
+    readonly kind: "set";
+    readonly element: ValueType;
+    readonly readonlyView?: true;
+} | {
+    readonly kind: "map";
+    readonly key: ValueType;
+    readonly value: ValueType;
+    readonly readonlyView?: true;
+} | {
+    readonly kind: "record";
+    readonly value: ValueType;
+    readonly readonlyView?: true;
+} | {
+    readonly kind: "promise";
+    readonly value: ValueType;
+} | {
+    readonly kind: "object";
+    readonly fields: ReadonlyMap<string, ValueType>;
+    readonly readonlyFields?: ReadonlySet<string>;
+    readonly optionalFields?: ReadonlySet<string>;
+    readonly readonlyView?: true;
+    /**
+     * D51 (audit 12): a standard capability handle a target declares
+     * structurally rather than as a named type — a socket, an event stream, a
+     * terminal. `using` supplies the contract for capability handles (charter
+     * section 16), and only a compiler extension can set this flag, so a user
+     * record with a `close()` is still never auto-detected as ownable.
+     */
+    readonly capabilityHandle?: true;
+} | {
+    readonly kind: "parameter";
+    readonly name: string;
+    readonly index: number;
+} | {
+    readonly kind: "named";
+    readonly name: string;
+    readonly identity?: string;
+    readonly readonlyView?: true;
+    readonly application?: GenericApplication;
+} | {
+    readonly kind: "class";
+    readonly name: string;
+    readonly identity?: string;
+} | {
+    readonly kind: "enum";
+    readonly name: string;
+    readonly identity: string;
+} | {
+    readonly kind: "enumMember";
+    readonly name: string;
+    readonly identity: string;
+    readonly member: string;
+} | {
+    readonly kind: "enumObject";
+    readonly name: string;
+    readonly identity: string;
+    readonly members: ReadonlySet<string>;
+} | {
+    readonly kind: "typeObject";
+    readonly name: string;
+    readonly value?: ValueType;
+} | {
+    readonly kind: "runtimeType";
+    readonly value: ValueType;
+} | {
+    readonly kind: "classConstructor";
+    readonly name: string;
+    readonly identity?: string;
+} | ExtensionValueType | {
+    readonly kind: "function";
+    readonly typeParameterNames?: readonly string[];
+    readonly typeParameterBounds?: readonly (TypeParameterBound | null)[];
+    readonly parameters: readonly ValueType[];
+    readonly parameterNames?: readonly string[];
+    readonly requiredParameters: number;
+    readonly rest?: ValueType;
+    readonly result: ValueType;
+} | {
+    readonly kind: "action";
+    readonly typeParameterNames?: readonly string[];
+    readonly typeParameterBounds?: readonly (TypeParameterBound | null)[];
+    readonly parameters: readonly ValueType[];
+    readonly parameterNames?: readonly string[];
+    readonly requiredParameters: number;
+    readonly rest?: ValueType;
+    readonly result: ValueType;
+} | {
+    readonly kind: "intrinsic";
+    readonly name: string;
+    readonly typeParameterNames?: readonly string[];
+    readonly typeParameterBounds?: readonly (TypeParameterBound | null)[];
+    readonly parameters: readonly ValueType[];
+    readonly parameterNames?: readonly string[];
+    readonly requiredParameters: number;
+    readonly rest?: ValueType;
+    readonly result: ValueType;
+} | {
+    readonly kind: "union";
+    readonly members: readonly ValueType[];
+};
+/** Canonical identities for Core's cross-runtime binary storage types. */
+export declare const VELAR_BYTES_TYPE_IDENTITY = "velar/binary#type:Bytes";
+export declare const VELAR_UINT8_BUFFER_TYPE_IDENTITY = "velar/binary#type:UInt8Buffer";
+export declare const VELAR_UINT16_BUFFER_TYPE_IDENTITY = "velar/binary#type:UInt16Buffer";
+export declare const VELAR_UINT32_BUFFER_TYPE_IDENTITY = "velar/binary#type:UInt32Buffer";
+export declare const VELAR_FLOAT32_BUFFER_TYPE_IDENTITY = "velar/binary#type:Float32Buffer";
+export type BinaryStorageKind = "bytes" | "uint8" | "uint16" | "uint32" | "float32";
+/**
+ * Binary storage stays nominal even though its JavaScript representation is a
+ * typed array. This keeps Buffer's accidental surface out of source while
+ * giving the analyzer and emitter one exact fast-path discriminator.
+ */
+export declare function binaryStorageKind(type: ValueType): BinaryStorageKind | null;
+export declare const unknownType: ValueType;
+export declare const invalidType: ValueType;
+export declare const anyType: ValueType;
+/** The declared parameter domain of the built-in `str`; see `isTextConvertibleType`. */
+export declare const textConvertibleType: ValueType;
+export declare const nullType: ValueType;
+export declare const stringType: ValueType;
+export declare const numberType: ValueType;
+export declare const boolType: ValueType;
+/**
+ * D41 item 61: the complete, closed bound vocabulary. A bound is a name the
+ * compiler owns; users cannot define one, and there is no syntax for combining
+ * two — D51 rule 110: not because the three form a containment chain (they do
+ * not: a Web text-shaped value satisfies Text and is refused by Data), but
+ * because no real function demands two at once. The grant table below is the
+ * whole definition; nothing computes a relation between two bounds.
+ */
+export declare const typeParameterBoundNames: readonly ["Comparable", "Text", "Data"];
+export type TypeParameterBound = (typeof typeParameterBoundNames)[number];
+/** The capabilities a bound unlocks inside the declaring body. */
+export type BoundCapability = "text" | "order" | "data";
+export declare function isTypeParameterBound(name: string): name is TypeParameterBound;
+/** Reads the grant table. An unbounded parameter (`null`) grants nothing. */
+export declare function boundGrants(bound: TypeParameterBound | null | undefined, capability: BoundCapability): boolean;
+/**
+ * A callable carrying `actual` bounds may stand where `expected` bounds are
+ * declared only when it demands no capability the target does not promise —
+ * decided by the same grant table, one capability at a time.
+ */
+export declare function boundAccepts(actual: TypeParameterBound | null, expected: TypeParameterBound | null): boolean;
+export interface TypeEnvironment {
+    fieldsOf(identity: string): ReadonlyMap<string, ValueType> | null;
+    readonlyFieldsOf?(identity: string): ReadonlySet<string> | null;
+    isSubclassOf(actual: string, expected: string): boolean;
+    isPrimitiveType(name: string): boolean;
+    isPrimitiveSubtype(actual: string, expected: string): boolean;
+    isExtensionTypeAssignable?(actual: ExtensionValueType, expected: ExtensionValueType, assign: (actual: ValueType, expected: ValueType) => boolean): boolean | undefined;
+    /** Target-owned total text forms used by f-strings and the built-in `str`. */
+    extensionTextForm?(type: ValueType): boolean | undefined;
+    /** Expands declared type aliases; the text-conversion domain checks the expanded shape. */
+    expandTypeAliases?(type: ValueType): ValueType;
+    /**
+     * D41 item 61 risk 2: the declared bound of a type parameter in scope. The
+     * bound deliberately lives outside the `parameter` type kind (whose identity
+     * encodes only its De Bruijn index), so the environment answers it from the
+     * declaration frame the annotation was resolved in.
+     */
+    boundOf?(type: Extract<ValueType, {
+        kind: "parameter";
+    }>): TypeParameterBound | null;
+    /** Decides whether a solved type argument satisfies a declared bound. */
+    satisfiesBound?(type: ValueType, bound: TypeParameterBound): boolean;
+}
+/**
+ * The text-conversion whitelist (charter section 14): values whose text form is
+ * total and hook-free. This is the single authority behind both the direct
+ * `str(value)` / f-string check and the assignability of the `textConvertible`
+ * parameter domain, so `str` used as a value cannot admit anything a direct
+ * call rejects.
+ */
+export declare function isTextConvertibleType(type: ValueType, environment: TypeEnvironment): boolean;
+export type ExtensionTypeSyntaxResolver = (syntax: TypeSyntax, resolve: (syntax: TypeSyntax) => ValueType) => ValueType | undefined;
+export declare function resolveTypeReference(reference: TypeReference, extension?: ExtensionTypeSyntaxResolver): ValueType;
+export declare function typeFromSyntax(syntax: TypeSyntax, extension?: ExtensionTypeSyntaxResolver): ValueType;
+/**
+ * The canonical identity of one instantiation. D55 rule 121 puts the arguments
+ * in the identity string rather than adding a field `typeIdentity` would have
+ * to learn, so `Box<string>` and `Box<number>` are two identities and
+ * `typeIdentity`'s `named` branch is unchanged. Arguments are keyed by their
+ * own identities, which is what makes `Box<Id>` and `Box<string>` one type when
+ * `Id` is an alias of `string`.
+ */
+export declare function genericApplicationIdentity(declaration: string, arguments_: readonly ValueType[]): string;
+/** The display text of one instantiation — `Box<string>`. */
+export declare function genericApplicationName(name: string, arguments_: readonly ValueType[]): string;
+/** The one constructor for a resolved application, so identity and text never diverge. */
+export declare function genericApplicationType(declaration: string, name: string, arguments_: readonly ValueType[], readonlyView?: boolean): Extract<ValueType, {
+    kind: "named";
+}>;
+/**
+ * Rebuilds a type with `map` applied to each type it directly contains. The
+ * nested positions are exactly the ones `substituteTypeParameters` walks, kept
+ * in one place so a traversal added by a caller cannot miss one of them.
+ */
+export declare function mapNestedTypes(type: ValueType, map: (nested: ValueType) => ValueType): ValueType;
+export declare function formatTypeReference(reference: TypeReference): string;
+export declare function formatTypeSyntax(syntax: TypeSyntax): string;
+export declare function isReadonlyView(type: ValueType): boolean;
+export declare function readonlyViewOf(type: ValueType): ValueType;
+export declare function mutableViewOf(type: ValueType): ValueType;
+export declare function optionalOf(type: ValueType): ValueType;
+export declare function nonOptional(type: ValueType): ValueType;
+export declare function unionOf(types: readonly ValueType[]): ValueType;
+export declare function mergeTypes(left: ValueType, right: ValueType): ValueType;
+export declare function resolvedAsyncType(type: ValueType): ValueType;
+export declare function sameType(left: ValueType, right: ValueType): boolean;
+export declare function sameTypeIgnoringCallableParameterNames(left: ValueType, right: ValueType): boolean;
+export declare function isAssignable(actual: ValueType, expected: ValueType, environment: TypeEnvironment, seen?: Set<string>): boolean;
+export declare function semanticTypeIdentity(type: ValueType): string;
+export declare const analysisTypeIdentity: typeof semanticTypeIdentity;
+export declare function isInvalidType(type: ValueType): boolean;
+export declare function describeType(type: ValueType): string;
+type CallableType = Extract<ValueType, {
+    readonly kind: "function" | "action" | "intrinsic";
+}>;
+export declare function typeContainsParameter(type: ValueType, matches?: (parameter: Extract<ValueType, {
+    kind: "parameter";
+}>) => boolean): boolean;
+export declare function typeContainsRuntimeTypeCheck(type: ValueType): boolean;
+export declare function substituteTypeParameters(type: ValueType, bindings: readonly (ValueType | null)[]): ValueType;
+export declare function bindNamedTypeParameters(type: ValueType, parameters: ReadonlyMap<string, ValueType>): ValueType;
+/**
+ * D51 item NEW-D3: `unknown` never *binds* a parameter — merging it would erase
+ * every concrete actual at the other positions — but the site must still be
+ * remembered. A bounded parameter that only `unknown` ever reached is solved to
+ * `unknown`, which satisfies no bound; dropping the site silently let `unknown`
+ * through every bound and on into the implicit-conversion the bound forbids.
+ * Callers that check bounds pass this sink; the rest may ignore it.
+ */
+export declare function unifyTypeParameters(pattern: ValueType, actual: ValueType, bindings: (ValueType | null)[], fieldsOf?: (identity: string) => ReadonlyMap<string, ValueType> | null, unknownParameters?: Set<number>): void;
+/** A type argument solved for a bounded parameter that the bound rejects. */
+export interface GenericBoundViolation {
+    readonly index: number;
+    readonly name: string;
+    readonly bound: TypeParameterBound;
+    readonly solved: ValueType;
+}
+/**
+ * Reports every solved binding its declared bound rejects. `satisfiesBound` is
+ * the environment's decision procedure, so the three predicates that answer a
+ * bound live in exactly one place (the analyzer).
+ */
+export declare function collectGenericBoundViolations(callable: CallableType, bindings: readonly (ValueType | null)[], satisfiesBound: (type: ValueType, bound: TypeParameterBound) => boolean, unknownParameters?: ReadonlySet<number>): readonly GenericBoundViolation[];
+/**
+ * D55 rule 124: the same judgment for a declaration that is not a callable —
+ * `type Box<T: Data>` applied to an argument. The callable form above is now a
+ * thin caller, so a bound is decided in exactly one place no matter which
+ * declaration form carries it.
+ */
+export declare function collectTypeArgumentBoundViolations(names: readonly string[] | undefined, bounds: readonly (TypeParameterBound | null)[] | undefined, bindings: readonly (ValueType | null)[], satisfiesBound: (type: ValueType, bound: TypeParameterBound) => boolean, unknownParameters?: ReadonlySet<number>): readonly GenericBoundViolation[];
+export declare function instantiateGenericCallable(actual: CallableType, expected: CallableType, environment: TypeEnvironment, violations?: GenericBoundViolation[]): CallableType;
+export {};
+//# sourceMappingURL=types.d.ts.map

package/dist/types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"types.d.ts","sourceRoot":"","sources":["../src/types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,UAAU,EAAE,MAAM,UAAU,CAAC;AAE1D,MAAM,WAAW,QAAQ;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CACvC;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,cAAc,EAAE,SAAS,MAAM,EAAE,CAAC;IAC3C,QAAQ,CAAC,eAAe,EAAE,SAAS,CAAC,kBAAkB,GAAG,IAAI,CAAC,EAAE,CAAC;IACjE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAChD,QAAQ,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;CAC/C;AAED,MAAM,MAAM,oBAAoB,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAChF;IACE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,wBAAwB,CAAC,EAAE,WAAW,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CACjE,CAAC;AAEN;;;;;GAKG;AACH,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACpD,QAAQ,CAAC,kBAAkB,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IACjD,QAAQ,CAAC,SAAS,EAAE,SAAS,SAAS,EAAE,CAAC;IACzC,QAAQ,CAAC,QAAQ,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;IACrD,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;CACxC;AAED;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,kBAAkB;IACjC,0FAA0F;IAC1F,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAC;IAC7B,4FAA4F;IAC5F,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,SAAS,SAAS,EAAE,CAAC;CAC1C;AAED,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,OAAO,CAAA;CAAE;AAC7D;;;;;GAKG;GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,eAAe,CAAC,EAAE,IAAI,CAAA;CAAE,GACzD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACxD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAA;CAAE,GACpF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAA;CAAE,GAC1G;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAA;CAAE,GACpF;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACvD;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IAChD,QAAQ,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,cAAc,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,CAAC;IAC9C,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC;IAC7B;;;;;;OAMG;IACH,QAAQ,CAAC,gBAAgB,CAAC,EAAE,IAAI,CAAC;CAClC,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,YAAY,CAAC,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,WAAW,CAAC,EAAE,kBAAkB,CAAA;CAAE,GACtJ;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GAC7E;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAA;CAAE,GAC3E;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,GAC1G;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,WAAW,CAAC,MAAM,CAAC,CAAA;CAAE,GACxH;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAA;CAAE,GAClF;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE,GACxF,kBAAkB,GAClB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,CAAC,kBAAkB,GAAG,IAAI,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACzU;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,CAAC,kBAAkB,GAAG,IAAI,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACvU;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,kBAAkB,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,mBAAmB,CAAC,EAAE,SAAS,CAAC,kBAAkB,GAAG,IAAI,CAAC,EAAE,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,SAAS,SAAS,EAAE,CAAC;IAAC,QAAQ,CAAC,cAAc,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAAE,GACjW;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,CAAC;AAEvE,0EAA0E;AAC1E,eAAO,MAAM,yBAAyB,4BAA4B,CAAC;AACnE,eAAO,MAAM,gCAAgC,kCAAkC,CAAC;AAChF,eAAO,MAAM,iCAAiC,mCAAmC,CAAC;AAClF,eAAO,MAAM,iCAAiC,mCAAmC,CAAC;AAClF,eAAO,MAAM,kCAAkC,oCAAoC,CAAC;AAEpF,MAAM,MAAM,iBAAiB,GAAG,OAAO,GAAG,OAAO,GAAG,QAAQ,GAAG,QAAQ,GAAG,SAAS,CAAC;AAEpF;;;;GAIG;AACH,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,SAAS,GAAG,iBAAiB,GAAG,IAAI,CAQ3E;AAED,eAAO,MAAM,WAAW,EAAE,SAA+B,CAAC;AAC1D,eAAO,MAAM,WAAW,EAAE,SAA8C,CAAC;AACzE,eAAO,MAAM,OAAO,EAAE,SAA2B,CAAC;AAClD,wFAAwF;AACxF,eAAO,MAAM,mBAAmB,EAAE,SAAiE,CAAC;AACpG,eAAO,MAAM,QAAQ,EAAE,SAA4B,CAAC;AACpD,eAAO,MAAM,UAAU,EAAE,SAA8B,CAAC;AACxD,eAAO,MAAM,UAAU,EAAE,SAA8B,CAAC;AACxD,eAAO,MAAM,QAAQ,EAAE,SAA4B,CAAC;AAEpD;;;;;;;GAOG;AACH,eAAO,MAAM,uBAAuB,yCAAyD,CAAC;AAE9F,MAAM,MAAM,kBAAkB,GAAG,CAAC,OAAO,uBAAuB,CAAC,CAAC,MAAM,CAAC,CAAC;AAE1E,kEAAkE;AAClE,MAAM,MAAM,eAAe,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,CAAC;AAcxD,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,IAAI,kBAAkB,CAE7E;AAED,6EAA6E;AAC7E,wBAAgB,WAAW,CAAC,KAAK,EAAE,kBAAkB,GAAG,IAAI,GAAG,SAAS,EAAE,UAAU,EAAE,eAAe,GAAG,OAAO,CAE9G;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,kBAAkB,GAAG,IAAI,EAAE,QAAQ,EAAE,kBAAkB,GAAG,IAAI,GAAG,OAAO,CAI5G;AAED,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAI,CAAC;IAClE,gBAAgB,CAAC,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC;IAChE,YAAY,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IACxD,eAAe,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;IACvC,kBAAkB,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,GAAG,OAAO,CAAC;IAC9D,yBAAyB,CAAC,CACxB,MAAM,EAAE,kBAAkB,EAC1B,QAAQ,EAAE,kBAAkB,EAC5B,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,KAAK,OAAO,GAC1D,OAAO,GAAG,SAAS,CAAC;IACvB,8EAA8E;IAC9E,iBAAiB,CAAC,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,GAAG,SAAS,CAAC;IACzD,2FAA2F;IAC3F,iBAAiB,CAAC,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAAC;IAC/C;;;;;OAKG;IACH,OAAO,CAAC,CAAC,IAAI,EAAE,OAAO,CAAC,SAAS,EAAE;QAAE,IAAI,EAAE,WAAW,CAAA;KAAE,CAAC,GAAG,kBAAkB,GAAG,IAAI,CAAC;IACrF,yEAAyE;IACzE,cAAc,CAAC,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,kBAAkB,GAAG,OAAO,CAAC;CACtE;AAED;;;;;;GAMG;AACH,wBAAgB,qBAAqB,CAAC,IAAI,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,GAAG,OAAO,CAsB5F;AAED,MAAM,MAAM,2BAA2B,GAAG,CACxC,MAAM,EAAE,UAAU,EAClB,OAAO,EAAE,CAAC,MAAM,EAAE,UAAU,KAAK,SAAS,KACvC,SAAS,GAAG,SAAS,CAAC;AAE3B,wBAAgB,oBAAoB,CAAC,SAAS,EAAE,aAAa,EAAE,SAAS,CAAC,EAAE,2BAA2B,GAAG,SAAS,CAEjH;AAED,wBAAgB,cAAc,CAAC,MAAM,EAAE,UAAU,EAAE,SAAS,CAAC,EAAE,2BAA2B,GAAG,SAAS,CA0DrG;AAED;;;;;;;GAOG;AACH,wBAAgB,0BAA0B,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,CAExG;AAED,6DAA6D;AAC7D,wBAAgB,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,SAAS,SAAS,EAAE,GAAG,MAAM,CAE7F;AAED,0FAA0F;AAC1F,wBAAgB,sBAAsB,CACpC,WAAW,EAAE,MAAM,EACnB,IAAI,EAAE,MAAM,EACZ,UAAU,EAAE,SAAS,SAAS,EAAE,EAChC,YAAY,UAAQ,GACnB,OAAO,CAAC,SAAS,EAAE;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC,CAQvC;AAED;;;;GAIG;AACH,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,EAAE,GAAG,EAAE,CAAC,MAAM,EAAE,SAAS,KAAK,SAAS,GAAG,SAAS,CA2ChG;AAED,wBAAgB,mBAAmB,CAAC,SAAS,EAAE,aAAa,GAAG,MAAM,CAEpE;AAED,wBAAgB,gBAAgB,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,CAU3D;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAIvD;AAED,wBAAgB,cAAc,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAQzD;AAED,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAUxD;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAWrD;AAED,wBAAgB,WAAW,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAEtD;AAED,wBAAgB,OAAO,CAAC,KAAK,EAAE,SAAS,SAAS,EAAE,GAAG,SAAS,CAoB9D;AAED,wBAAgB,UAAU,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,SAAS,CA8BvE;AAED,wBAAgB,iBAAiB,CAAC,IAAI,EAAE,SAAS,GAAG,SAAS,CAK5D;AAED,wBAAgB,QAAQ,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAEnE;AAKD,wBAAgB,sCAAsC,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,GAAG,OAAO,CAEjG;AASD,wBAAgB,YAAY,CAAC,MAAM,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,EAAE,WAAW,EAAE,eAAe,EAAE,IAAI,GAAE,GAAG,CAAC,MAAM,CAAa,GAAG,OAAO,CA0KzI;AAED,wBAAgB,oBAAoB,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAE5D;AAED,eAAO,MAAM,oBAAoB,6BAAuB,CAAC;AA6FzD,wBAAgB,aAAa,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAEtD;AAED,wBAAgB,YAAY,CAAC,IAAI,EAAE,SAAS,GAAG,MAAM,CAqEpD;AAOD,KAAK,YAAY,GAAG,OAAO,CAAC,SAAS,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,QAAQ,GAAG,WAAW,CAAA;CAAE,CAAC,CAAC;AAE/F,wBAAgB,qBAAqB,CACnC,IAAI,EAAE,SAAS,EACf,OAAO,GAAE,CAAC,SAAS,EAAE,OAAO,CAAC,SAAS,EAAE;IAAE,IAAI,EAAE,WAAW,CAAA;CAAE,CAAC,KAAK,OAAoB,GACtF,OAAO,CAsCT;AAMD,wBAAgB,4BAA4B,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CA2BrE;AAED,wBAAgB,wBAAwB,CAAC,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,CA6D5G;AAED,wBAAgB,uBAAuB,CAAC,IAAI,EAAE,SAAS,EAAE,UAAU,EAAE,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,SAAS,CAkD9G;AAED;;;;;;;GAOG;AACH,wBAAgB,mBAAmB,CACjC,OAAO,EAAE,SAAS,EAClB,MAAM,EAAE,SAAS,EACjB,QAAQ,EAAE,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,EAC9B,QAAQ,GAAE,CAAC,QAAQ,EAAE,MAAM,KAAK,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,GAAG,IAAiB,EAClF,iBAAiB,CAAC,EAAE,GAAG,CAAC,MAAM,CAAC,GAC9B,IAAI,CAEN;AAwHD,6EAA6E;AAC7E,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;IACnC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;CAC5B;AAWD;;;;GAIG;AACH,wBAAgB,6BAA6B,CAC3C,QAAQ,EAAE,YAAY,EACtB,QAAQ,EAAE,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,EACvC,cAAc,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,kBAAkB,KAAK,OAAO,EACvE,iBAAiB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GACtC,SAAS,qBAAqB,EAAE,CAQlC;AAED;;;;;GAKG;AACH,wBAAgB,kCAAkC,CAChD,KAAK,EAAE,SAAS,MAAM,EAAE,GAAG,SAAS,EACpC,MAAM,EAAE,SAAS,CAAC,kBAAkB,GAAG,IAAI,CAAC,EAAE,GAAG,SAAS,EAC1D,QAAQ,EAAE,SAAS,CAAC,SAAS,GAAG,IAAI,CAAC,EAAE,EACvC,cAAc,EAAE,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,kBAAkB,KAAK,OAAO,EACvE,iBAAiB,CAAC,EAAE,WAAW,CAAC,MAAM,CAAC,GACtC,SAAS,qBAAqB,EAAE,CAiBlC;AAED,wBAAgB,0BAA0B,CACxC,MAAM,EAAE,YAAY,EACpB,QAAQ,EAAE,YAAY,EACtB,WAAW,EAAE,eAAe,EAC5B,UAAU,CAAC,EAAE,qBAAqB,EAAE,GACnC,YAAY,CA8Bd"}