@honua/react 0.1.0-beta.0 → 0.1.2-beta.0

package/query-planner/semantic-types.d.ts

@@ -0,0 +1,265 @@
+import type { CrsDefinition, ExecutableBoundingBox, ExecutableCrsBinding, ExecutableGeometryValue, ExtensionIdentifier, JsonPrimitive, JsonValue, SourceProtocol, SourceSchemaV2 } from "../contract/schema.js";
+export type FieldName<TRecord> = Extract<keyof TRecord, string>;
+type NonNullish<TValue> = Exclude<TValue, null | undefined>;
+type Scalar = string | number | boolean | bigint | Date;
+type IsUntyped<TValue> = unknown extends TValue ? true : false;
+export type ScalarFieldName<TRecord> = {
+    [TKey in FieldName<TRecord>]-?: IsUntyped<NonNullish<TRecord[TKey]>> extends true ? TKey : NonNullish<TRecord[TKey]> extends Scalar ? TKey : never;
+}[FieldName<TRecord>];
+export type StringFieldName<TRecord> = {
+    [TKey in FieldName<TRecord>]-?: IsUntyped<NonNullish<TRecord[TKey]>> extends true ? TKey : NonNullish<TRecord[TKey]> extends TemporalValue ? never : NonNullish<TRecord[TKey]> extends string ? TKey : never;
+}[FieldName<TRecord>];
+export type OrderableFieldName<TRecord> = {
+    [TKey in FieldName<TRecord>]-?: IsUntyped<NonNullish<TRecord[TKey]>> extends true ? TKey : NonNullish<TRecord[TKey]> extends string | number | bigint | Date ? TKey : never;
+}[FieldName<TRecord>];
+export type NumericFieldName<TRecord> = {
+    [TKey in FieldName<TRecord>]-?: IsUntyped<NonNullish<TRecord[TKey]>> extends true ? TKey : NonNullish<TRecord[TKey]> extends number | bigint ? TKey : never;
+}[FieldName<TRecord>];
+export type GroupableFieldName<TRecord> = ScalarFieldName<TRecord>;
+declare const temporalValueBrand: unique symbol;
+/** Schema/role-derived temporal string; an ordinary string does not gain temporal operators. */
+export type TemporalValue<TKind extends "date" | "instant" = "date" | "instant"> = string & {
+    readonly [temporalValueBrand]: TKind;
+};
+export type TemporalFieldName<TRecord> = {
+    [TKey in FieldName<TRecord>]-?: IsUntyped<NonNullish<TRecord[TKey]>> extends true ? TKey : NonNullish<TRecord[TKey]> extends TemporalValue | Date ? TKey : never;
+}[FieldName<TRecord>];
+export type GeometryFieldName<TRecord> = {
+    [TKey in FieldName<TRecord>]-?: IsUntyped<NonNullish<TRecord[TKey]>> extends true ? TKey : NonNullish<TRecord[TKey]> extends ExecutableGeometryValue ? TKey : never;
+}[FieldName<TRecord>];
+export type QueryLiteral<TValue> = IsUntyped<NonNullish<TValue>> extends true ? JsonValue : NonNullish<TValue> extends bigint | Date ? string : NonNullish<TValue> extends JsonPrimitive ? NonNullish<TValue> : JsonValue;
+export interface PropertyNode<TField extends string = string> {
+    readonly kind: "property";
+    readonly name: TField;
+}
+export interface LiteralNode<TValue extends JsonValue = JsonValue> {
+    readonly kind: "literal";
+    readonly value: TValue;
+}
+export type EqualityOperator = "eq" | "ne";
+export type OrderedComparisonOperator = "lt" | "lte" | "gt" | "gte";
+type EqualityNode<TRecord> = {
+    [TKey in ScalarFieldName<TRecord>]: {
+        readonly kind: "comparison";
+        readonly operator: EqualityOperator;
+        readonly left: PropertyNode<TKey>;
+        readonly right: LiteralNode<QueryLiteral<TRecord[TKey]>>;
+    };
+}[ScalarFieldName<TRecord>];
+type OrderedComparisonNode<TRecord> = {
+    [TKey in OrderableFieldName<TRecord>]: {
+        readonly kind: "comparison";
+        readonly operator: OrderedComparisonOperator;
+        readonly left: PropertyNode<TKey>;
+        readonly right: LiteralNode<QueryLiteral<TRecord[TKey]>>;
+    };
+}[OrderableFieldName<TRecord>];
+export type ComparisonNode<TRecord> = EqualityNode<TRecord> | OrderedComparisonNode<TRecord>;
+type ListNodeForRecord<TRecord> = {
+    [TKey in ScalarFieldName<TRecord>]: {
+        readonly kind: "list";
+        readonly operator: "in";
+        readonly operand: PropertyNode<TKey>;
+        readonly values: readonly [LiteralNode<QueryLiteral<TRecord[TKey]>>, ...LiteralNode<QueryLiteral<TRecord[TKey]>>[]];
+    };
+}[ScalarFieldName<TRecord>];
+export type ListNode<TRecord> = ListNodeForRecord<TRecord>;
+type RangeNodeForRecord<TRecord> = {
+    [TKey in OrderableFieldName<TRecord>]: {
+        readonly kind: "range";
+        readonly operator: "between";
+        readonly operand: PropertyNode<TKey>;
+        readonly lower: LiteralNode<QueryLiteral<TRecord[TKey]>>;
+        readonly upper: LiteralNode<QueryLiteral<TRecord[TKey]>>;
+    };
+}[OrderableFieldName<TRecord>];
+export type RangeNode<TRecord> = RangeNodeForRecord<TRecord>;
+export interface NullNode<TField extends string = string> {
+    readonly kind: "null";
+    readonly operator: "is-null" | "is-not-null";
+    readonly operand: PropertyNode<TField>;
+}
+export interface PatternNode<TField extends string = string> {
+    readonly kind: "pattern";
+    readonly operator: "like";
+    readonly operand: PropertyNode<TField>;
+    readonly pattern: string;
+    readonly caseSensitive?: boolean;
+}
+export type TopologicalSpatialPredicate = "equals" | "intersects" | "within" | "contains" | "disjoint" | "touches" | "overlaps" | "crosses";
+export type DistanceSpatialPredicate = "within-distance" | "beyond-distance";
+export type SpatialPredicate = TopologicalSpatialPredicate | "bbox-intersects" | DistanceSpatialPredicate;
+export type DistanceUnit = "metre" | "kilometre" | "foot" | "us-survey-foot" | "mile" | "nautical-mile" | "degree" | "radian";
+export interface DistanceOperand {
+    readonly value: number;
+    readonly unit: DistanceUnit;
+    readonly mode: "planar" | "geodesic";
+}
+export type SourceSpatiality = "primary-geometry" | "non-spatial" | "ambiguous-geometry";
+export type SpatialNode<TRecord, TSpatiality extends SourceSpatiality> = TSpatiality extends "non-spatial" ? never : ({
+    readonly kind: "spatial";
+    readonly operator: TopologicalSpatialPredicate;
+    readonly geometry: ExecutableGeometryValue;
+} | {
+    readonly kind: "spatial";
+    readonly operator: "bbox-intersects";
+    readonly bbox: ExecutableBoundingBox;
+} | {
+    readonly kind: "spatial";
+    readonly operator: DistanceSpatialPredicate;
+    readonly geometry: ExecutableGeometryValue;
+    readonly distance: DistanceOperand;
+}) & (TSpatiality extends "primary-geometry" ? {
+    readonly property?: PropertyNode<GeometryFieldName<TRecord>>;
+} : {
+    readonly property: PropertyNode<GeometryFieldName<TRecord>>;
+});
+export type TemporalPredicate = "before" | "after" | "during" | "time-intersects";
+export type TemporalLiteralNode = {
+    readonly kind: "temporal-literal";
+    readonly valueType: "date" | "instant";
+    readonly value: string;
+} | {
+    readonly kind: "temporal-literal";
+    readonly valueType: "interval";
+    readonly value: readonly [string, string];
+};
+type TemporalNodeForRecord<TRecord> = {
+    [TKey in TemporalFieldName<TRecord>]: {
+        readonly kind: "temporal";
+        readonly operator: TemporalPredicate;
+        readonly operand: PropertyNode<TKey>;
+        readonly value: TemporalLiteralNode;
+    };
+}[TemporalFieldName<TRecord>];
+export type TemporalNode<TRecord> = TemporalNodeForRecord<TRecord>;
+export type BuiltInNativeDialect = "honua-grpc" | "geoservices-sql92" | "cql2-json" | "cql2-text" | "fes-2.0" | "odata-4.0" | "duckdb-sql";
+export type NativeDialectFor<TProtocol extends SourceProtocol> = TProtocol extends "grpc" ? "honua-grpc" : TProtocol extends "geoservices-feature-service" | "geoservices-map-service" | "geoservices-image-service" ? "geoservices-sql92" : TProtocol extends "ogc-features" | "ogc-records" | "stac" ? "cql2-json" | "cql2-text" : TProtocol extends "wfs" ? "fes-2.0" : TProtocol extends "odata" ? "odata-4.0" : TProtocol extends "geoparquet" ? "duckdb-sql" : TProtocol extends ExtensionIdentifier ? `${TProtocol}.${string}` : never;
+export type NativePayloadFor<TDialect extends BuiltInNativeDialect | ExtensionIdentifier> = TDialect extends "cql2-json" | "honua-grpc" ? {
+    readonly format: "json";
+    readonly value: JsonValue;
+} : TDialect extends "fes-2.0" ? {
+    readonly format: "xml";
+    readonly text: string;
+} : TDialect extends "geoservices-sql92" | "cql2-text" | "odata-4.0" | "duckdb-sql" ? {
+    readonly format: "text";
+    readonly text: string;
+} : TDialect extends ExtensionIdentifier ? {
+    readonly format: "text" | "xml";
+    readonly text: string;
+} | {
+    readonly format: "json";
+    readonly value: JsonValue;
+} : never;
+export type NativeFilter<TDialect extends BuiltInNativeDialect | ExtensionIdentifier> = {
+    readonly kind: "native";
+    readonly dialect: TDialect;
+    readonly payload: NativePayloadFor<TDialect>;
+};
+export type SemanticFilter<TRecord, TSpatiality extends SourceSpatiality> = ComparisonNode<TRecord> | ListNode<TRecord> | RangeNode<TRecord> | NullNode<FieldName<TRecord>> | PatternNode<StringFieldName<TRecord>> | SpatialNode<TRecord, TSpatiality> | TemporalNode<TRecord> | {
+    readonly kind: "boolean";
+    readonly operator: "and" | "or";
+    readonly args: readonly [SemanticFilter<TRecord, TSpatiality>, ...SemanticFilter<TRecord, TSpatiality>[]];
+} | {
+    readonly kind: "not";
+    readonly arg: SemanticFilter<TRecord, TSpatiality>;
+};
+export type QueryFilter<TRecord, TProtocol extends SourceProtocol, TSpatiality extends SourceSpatiality> = SemanticFilter<TRecord, TSpatiality> | (NativeDialectFor<TProtocol> extends never ? never : NativeFilter<NativeDialectFor<TProtocol>>);
+export interface SemanticSort<TRecord> {
+    readonly field: OrderableFieldName<TRecord>;
+    readonly direction: "asc" | "desc";
+    readonly nulls?: "first" | "last" | "native";
+}
+export type CountMetric<TRecord, TAlias extends string = string> = {
+    readonly fn: "count";
+    readonly field?: FieldName<TRecord>;
+    readonly as: TAlias;
+};
+export type NumericMetric<TRecord, TAlias extends string = string> = {
+    readonly fn: "sum" | "avg" | "stddev" | "variance";
+    readonly field: NumericFieldName<TRecord>;
+    readonly as: TAlias;
+};
+export type ExtremumMetric<TRecord, TAlias extends string = string> = {
+    readonly fn: "min" | "max";
+    readonly field: OrderableFieldName<TRecord>;
+    readonly as: TAlias;
+};
+export type AggregateMetric<TRecord, TAlias extends string = string> = CountMetric<TRecord, TAlias> | NumericMetric<TRecord, TAlias> | ExtremumMetric<TRecord, TAlias>;
+export type GeometryProjectionFor<TRecord, TSpatiality extends SourceSpatiality> = TSpatiality extends "non-spatial" ? "omit" : TSpatiality extends "primary-geometry" ? "include" | "omit" | {
+    readonly field: GeometryFieldName<TRecord>;
+} : "omit" | {
+    readonly field: GeometryFieldName<TRecord>;
+};
+export type OutputCrsFor<TSpatiality extends SourceSpatiality> = TSpatiality extends "non-spatial" ? never : Exclude<CrsDefinition, {
+    readonly kind: "unknown";
+}>;
+export interface FirstPageRequest {
+    readonly kind: "first";
+    readonly limit?: number;
+}
+export interface OffsetPageRequest {
+    readonly kind: "offset";
+    readonly offset: number;
+    readonly limit?: number;
+}
+/** Continuation values remain runtime-owned and are intentionally outside the S1 JSON AST. */
+export type SemanticPageRequest = FirstPageRequest | OffsetPageRequest;
+interface SemanticQueryBase<TRecord, TProtocol extends SourceProtocol, TSpatiality extends SourceSpatiality> {
+    readonly filter?: QueryFilter<TRecord, TProtocol, TSpatiality>;
+    readonly sort?: readonly SemanticSort<TRecord>[];
+    readonly page?: SemanticPageRequest;
+    readonly outputCrs?: OutputCrsFor<TSpatiality>;
+}
+export interface SemanticFeatureQuery<TRecord, TProtocol extends SourceProtocol, TSpatiality extends SourceSpatiality, TSelect extends readonly FieldName<TRecord>[] | undefined = undefined, TGeometry extends GeometryProjectionFor<TRecord, TSpatiality> = GeometryProjectionFor<TRecord, TSpatiality>> extends SemanticQueryBase<TRecord, TProtocol, TSpatiality> {
+    readonly kind: "features";
+    readonly select?: TSelect;
+    readonly geometry?: TGeometry;
+}
+export interface SemanticAggregateQuery<TRecord, TProtocol extends SourceProtocol, TSpatiality extends SourceSpatiality, TGroupBy extends readonly GroupableFieldName<TRecord>[] = readonly [], TMetrics extends readonly [AggregateMetric<TRecord>, ...AggregateMetric<TRecord>[]] = readonly [
+    AggregateMetric<TRecord>,
+    ...AggregateMetric<TRecord>[]
+]> extends SemanticQueryBase<TRecord, TProtocol, TSpatiality> {
+    readonly kind: "aggregate";
+    readonly groupBy: TGroupBy;
+    readonly metrics: TMetrics;
+}
+export type SemanticQuery<TRecord, TProtocol extends SourceProtocol, TSpatiality extends SourceSpatiality> = SemanticFeatureQuery<TRecord, TProtocol, TSpatiality, readonly FieldName<TRecord>[] | undefined, GeometryProjectionFor<TRecord, TSpatiality>> | SemanticAggregateQuery<TRecord, TProtocol, TSpatiality, readonly GroupableFieldName<TRecord>[], readonly [AggregateMetric<TRecord>, ...AggregateMetric<TRecord>[]]>;
+export type SpatialityForSchema<TSchema extends Pick<SourceSchemaV2, "geometry">> = TSchema["geometry"] extends {
+    readonly state: "none";
+} ? "non-spatial" : TSchema["geometry"] extends {
+    readonly state: "known";
+    readonly primaryField: {
+        readonly state: "known";
+    };
+} ? "primary-geometry" : "ambiguous-geometry";
+export interface ParseSemanticQueryOptions {
+    /** A verified schema is reparsed before use so JavaScript callers cannot forge schema truth. */
+    readonly schema?: SourceSchemaV2;
+    /** When present, a native expression must match this source protocol. */
+    readonly protocol?: SourceProtocol;
+}
+/** Identity inputs carried into canonical semantic-query bytes and hashes. */
+export interface CanonicalSemanticQueryOptions extends ParseSemanticQueryOptions {
+    /** Version/fingerprint of the CRS registry or transform policy used by the caller. */
+    readonly crsVersion?: string;
+    /** Version/fingerprint of the authorization/capability policy used by the caller. */
+    readonly policyVersion?: string;
+}
+/** External CQL2 filter context that cannot be encoded inside CQL2 JSON itself. */
+export interface Cql2JsonInterchangeOptions extends ParseSemanticQueryOptions {
+    /**
+     * CRS and coordinate order represented by spatial literals. Required when a
+     * supported expression contains a geometry or bounding box.
+     */
+    readonly filterCrs?: ExecutableCrsBinding;
+}
+/** Strict, supported CQL2 JSON filter expression. */
+export type Cql2JsonExpression = Readonly<{
+    op: string;
+    args: readonly JsonValue[];
+}>;
+export type LegacyWhereProtocol = "geoservices-feature-service" | "geoservices-map-service" | "geoservices-image-service" | "ogc-features" | "ogc-records" | "stac" | "odata" | "geoparquet";
+export type LegacyWhereDialectFor<TProtocol extends LegacyWhereProtocol> = TProtocol extends "geoservices-feature-service" | "geoservices-map-service" | "geoservices-image-service" ? "geoservices-sql92" : TProtocol extends "ogc-features" | "ogc-records" | "stac" ? "cql2-text" : TProtocol extends "odata" ? "odata-4.0" : "duckdb-sql";
+export {};
+//# sourceMappingURL=semantic-types.d.ts.map

package/query-planner/semantic-types.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic-types.d.ts","sourceRoot":"","sources":["../../../src/query-planner/semantic-types.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EACV,aAAa,EACb,qBAAqB,EACrB,oBAAoB,EACpB,uBAAuB,EACvB,mBAAmB,EACnB,aAAa,EACb,SAAS,EACT,cAAc,EACd,cAAc,EACf,MAAM,uBAAuB,CAAC;AAE/B,MAAM,MAAM,SAAS,CAAC,OAAO,IAAI,OAAO,CAAC,MAAM,OAAO,EAAE,MAAM,CAAC,CAAC;AAChE,KAAK,UAAU,CAAC,MAAM,IAAI,OAAO,CAAC,MAAM,EAAE,IAAI,GAAG,SAAS,CAAC,CAAC;AAC5D,KAAK,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,IAAI,CAAC;AACxD,KAAK,SAAS,CAAC,MAAM,IAAI,OAAO,SAAS,MAAM,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/D,MAAM,MAAM,eAAe,CAAC,OAAO,IAAI;KACpC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7E,IAAI,GACJ,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,GACtC,IAAI,GACJ,KAAK;CACZ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;AAEtB,MAAM,MAAM,eAAe,CAAC,OAAO,IAAI;KACpC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7E,IAAI,GACJ,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,aAAa,GAC7C,KAAK,GACL,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,GACtC,IAAI,GACJ,KAAK;CACd,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;AAEtB,MAAM,MAAM,kBAAkB,CAAC,OAAO,IAAI;KACvC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7E,IAAI,GACJ,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAAG,MAAM,GAAG,IAAI,GAC/D,IAAI,GACJ,KAAK;CACZ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;AAEtB,MAAM,MAAM,gBAAgB,CAAC,OAAO,IAAI;KACrC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7E,IAAI,GACJ,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,MAAM,GAAG,MAAM,GAC/C,IAAI,GACJ,KAAK;CACZ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;AAEtB,MAAM,MAAM,kBAAkB,CAAC,OAAO,IAAI,eAAe,CAAC,OAAO,CAAC,CAAC;AAEnE,OAAO,CAAC,MAAM,kBAAkB,EAAE,OAAO,MAAM,CAAC;AAEhD,gGAAgG;AAChG,MAAM,MAAM,aAAa,CAAC,KAAK,SAAS,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,IAAI,MAAM,GAAG;IAC1F,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,KAAK,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,iBAAiB,CAAC,OAAO,IAAI;KACtC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7E,IAAI,GACJ,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,aAAa,GAAG,IAAI,GACpD,IAAI,GACJ,KAAK;CACZ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;AAEtB,MAAM,MAAM,iBAAiB,CAAC,OAAO,IAAI;KACtC,IAAI,IAAI,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7E,IAAI,GACJ,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,SAAS,uBAAuB,GACvD,IAAI,GACJ,KAAK;CACZ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,CAAC;AAEtB,MAAM,MAAM,YAAY,CAAC,MAAM,IAAI,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,SAAS,IAAI,GACzE,SAAS,GACT,UAAU,CAAC,MAAM,CAAC,SAAS,MAAM,GAAG,IAAI,GACtC,MAAM,GACN,UAAU,CAAC,MAAM,CAAC,SAAS,aAAa,GACtC,UAAU,CAAC,MAAM,CAAC,GAClB,SAAS,CAAC;AAElB,MAAM,WAAW,YAAY,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM;IAC1D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,WAAW,WAAW,CAAC,MAAM,SAAS,SAAS,GAAG,SAAS;IAC/D,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB;AAED,MAAM,MAAM,gBAAgB,GAAG,IAAI,GAAG,IAAI,CAAC;AAC3C,MAAM,MAAM,yBAAyB,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,CAAC;AAEpE,KAAK,YAAY,CAAC,OAAO,IAAI;KAC1B,IAAI,IAAI,eAAe,CAAC,OAAO,CAAC,GAAG;QAClC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;QAC5B,QAAQ,CAAC,QAAQ,EAAE,gBAAgB,CAAC;QACpC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;KAC1D;CACF,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;AAE5B,KAAK,qBAAqB,CAAC,OAAO,IAAI;KACnC,IAAI,IAAI,kBAAkB,CAAC,OAAO,CAAC,GAAG;QACrC,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;QAC5B,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;QAC7C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;QAClC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;KAC1D;CACF,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;AAE/B,MAAM,MAAM,cAAc,CAAC,OAAO,IAAI,YAAY,CAAC,OAAO,CAAC,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;AAE7F,KAAK,iBAAiB,CAAC,OAAO,IAAI;KAC/B,IAAI,IAAI,eAAe,CAAC,OAAO,CAAC,GAAG;QAClC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;QACtB,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxB,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;QACrC,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,GAAG,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;KACrH;CACF,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC;AAE5B,MAAM,MAAM,QAAQ,CAAC,OAAO,IAAI,iBAAiB,CAAC,OAAO,CAAC,CAAC;AAE3D,KAAK,kBAAkB,CAAC,OAAO,IAAI;KAChC,IAAI,IAAI,kBAAkB,CAAC,OAAO,CAAC,GAAG;QACrC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QACvB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC;QAC7B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;QACrC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;QACzD,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;KAC1D;CACF,CAAC,kBAAkB,CAAC,OAAO,CAAC,CAAC,CAAC;AAE/B,MAAM,MAAM,SAAS,CAAC,OAAO,IAAI,kBAAkB,CAAC,OAAO,CAAC,CAAC;AAE7D,MAAM,WAAW,QAAQ,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM;IACtD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,aAAa,CAAC;IAC7C,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;CACxC;AAED,MAAM,WAAW,WAAW,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM;IACzD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,MAAM,CAAC,CAAC;IACvC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAC;CAClC;AAED,MAAM,MAAM,2BAA2B,GACnC,QAAQ,GACR,YAAY,GACZ,QAAQ,GACR,UAAU,GACV,UAAU,GACV,SAAS,GACT,UAAU,GACV,SAAS,CAAC;AACd,MAAM,MAAM,wBAAwB,GAAG,iBAAiB,GAAG,iBAAiB,CAAC;AAC7E,MAAM,MAAM,gBAAgB,GAAG,2BAA2B,GAAG,iBAAiB,GAAG,wBAAwB,CAAC;AAC1G,MAAM,MAAM,YAAY,GACpB,OAAO,GACP,WAAW,GACX,MAAM,GACN,gBAAgB,GAChB,MAAM,GACN,eAAe,GACf,QAAQ,GACR,QAAQ,CAAC;AAEb,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,UAAU,CAAC;CACtC;AAED,MAAM,MAAM,gBAAgB,GAAG,kBAAkB,GAAG,aAAa,GAAG,oBAAoB,CAAC;AAEzF,MAAM,MAAM,WAAW,CAAC,OAAO,EAAE,WAAW,SAAS,gBAAgB,IAAI,WAAW,SAAS,aAAa,GACtG,KAAK,GACL,CACI;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,2BAA2B,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;CAC5C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;IACrC,QAAQ,CAAC,IAAI,EAAE,qBAAqB,CAAC;CACtC,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,QAAQ,EAAE,uBAAuB,CAAC;IAC3C,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;CACpC,CACJ,GACC,CAAC,WAAW,SAAS,kBAAkB,GACnC;IAAE,QAAQ,CAAC,QAAQ,CAAC,EAAE,YAAY,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAA;CAAE,GAChE;IAAE,QAAQ,CAAC,QAAQ,EAAE,YAAY,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAA;CAAE,CAAC,CAAC;AAE3E,MAAM,MAAM,iBAAiB,GAAG,QAAQ,GAAG,OAAO,GAAG,QAAQ,GAAG,iBAAiB,CAAC;AAElF,MAAM,MAAM,mBAAmB,GAC3B;IAAE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACrG;IACE,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAClC,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAC;IAC/B,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAC3C,CAAC;AAEN,KAAK,qBAAqB,CAAC,OAAO,IAAI;KACnC,IAAI,IAAI,iBAAiB,CAAC,OAAO,CAAC,GAAG;QACpC,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;QAC1B,QAAQ,CAAC,QAAQ,EAAE,iBAAiB,CAAC;QACrC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,CAAC;QACrC,QAAQ,CAAC,KAAK,EAAE,mBAAmB,CAAC;KACrC;CACF,CAAC,iBAAiB,CAAC,OAAO,CAAC,CAAC,CAAC;AAE9B,MAAM,MAAM,YAAY,CAAC,OAAO,IAAI,qBAAqB,CAAC,OAAO,CAAC,CAAC;AAEnE,MAAM,MAAM,oBAAoB,GAC5B,YAAY,GACZ,mBAAmB,GACnB,WAAW,GACX,WAAW,GACX,SAAS,GACT,WAAW,GACX,YAAY,CAAC;AAEjB,MAAM,MAAM,gBAAgB,CAAC,SAAS,SAAS,cAAc,IAAI,SAAS,SAAS,MAAM,GACrF,YAAY,GACZ,SAAS,SAAS,6BAA6B,GAAG,yBAAyB,GAAG,2BAA2B,GACvG,mBAAmB,GACnB,SAAS,SAAS,cAAc,GAAG,aAAa,GAAG,MAAM,GACvD,WAAW,GAAG,WAAW,GACzB,SAAS,SAAS,KAAK,GACrB,SAAS,GACT,SAAS,SAAS,OAAO,GACvB,WAAW,GACX,SAAS,SAAS,YAAY,GAC5B,YAAY,GACZ,SAAS,SAAS,mBAAmB,GACnC,GAAG,SAAS,IAAI,MAAM,EAAE,GACxB,KAAK,CAAC;AAEtB,MAAM,MAAM,gBAAgB,CAAC,QAAQ,SAAS,oBAAoB,GAAG,mBAAmB,IAAI,QAAQ,SAChG,WAAW,GACX,YAAY,GACZ;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GACtD,QAAQ,SAAS,SAAS,GACxB;IAAE,QAAQ,CAAC,MAAM,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjD,QAAQ,SAAS,mBAAmB,GAAG,WAAW,GAAG,WAAW,GAAG,YAAY,GAC7E;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClD,QAAQ,SAAS,mBAAmB,GAE9B;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,GAC1D,KAAK,CAAC;AAEhB,MAAM,MAAM,YAAY,CAAC,QAAQ,SAAS,oBAAoB,GAAG,mBAAmB,IAAI;IACtF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC,QAAQ,CAAC,CAAC;CAC9C,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,OAAO,EAAE,WAAW,SAAS,gBAAgB,IACpE,cAAc,CAAC,OAAO,CAAC,GACvB,QAAQ,CAAC,OAAO,CAAC,GACjB,SAAS,CAAC,OAAO,CAAC,GAClB,QAAQ,CAAC,SAAS,CAAC,OAAO,CAAC,CAAC,GAC5B,WAAW,CAAC,eAAe,CAAC,OAAO,CAAC,CAAC,GACrC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GACjC,YAAY,CAAC,OAAO,CAAC,GACrB;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,QAAQ,EAAE,KAAK,GAAG,IAAI,CAAC;IAChC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,CAAC;CAC3G,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,CAAA;CAAE,CAAC;AAEjF,MAAM,MAAM,WAAW,CAAC,OAAO,EAAE,SAAS,SAAS,cAAc,EAAE,WAAW,SAAS,gBAAgB,IACnG,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,GACpC,CAAC,gBAAgB,CAAC,SAAS,CAAC,SAAS,KAAK,GAAG,KAAK,GAAG,YAAY,CAAC,gBAAgB,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;AAEpG,MAAM,WAAW,YAAY,CAAC,OAAO;IACnC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,SAAS,EAAE,KAAK,GAAG,MAAM,CAAC;IACnC,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,GAAG,MAAM,GAAG,QAAQ,CAAC;CAC9C;AAED,MAAM,MAAM,WAAW,CAAC,OAAO,EAAE,MAAM,SAAS,MAAM,GAAG,MAAM,IAAI;IACjE,QAAQ,CAAC,EAAE,EAAE,OAAO,CAAC;IACrB,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,CAAC,OAAO,CAAC,CAAC;IACpC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,aAAa,CAAC,OAAO,EAAE,MAAM,SAAS,MAAM,GAAG,MAAM,IAAI;IACnE,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,KAAK,GAAG,QAAQ,GAAG,UAAU,CAAC;IACnD,QAAQ,CAAC,KAAK,EAAE,gBAAgB,CAAC,OAAO,CAAC,CAAC;IAC1C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,OAAO,EAAE,MAAM,SAAS,MAAM,GAAG,MAAM,IAAI;IACpE,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,KAAK,CAAC;IAC3B,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC,OAAO,CAAC,CAAC;IAC5C,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;CACrB,CAAC;AAEF,MAAM,MAAM,eAAe,CAAC,OAAO,EAAE,MAAM,SAAS,MAAM,GAAG,MAAM,IAC/D,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,GAC5B,aAAa,CAAC,OAAO,EAAE,MAAM,CAAC,GAC9B,cAAc,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;AAEpC,MAAM,MAAM,qBAAqB,CAAC,OAAO,EAAE,WAAW,SAAS,gBAAgB,IAAI,WAAW,SAAS,aAAa,GAChH,MAAM,GACN,WAAW,SAAS,kBAAkB,GACpC,SAAS,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAA;CAAE,GACnE,MAAM,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC,OAAO,CAAC,CAAA;CAAE,CAAC;AAE9D,MAAM,MAAM,YAAY,CAAC,WAAW,SAAS,gBAAgB,IAAI,WAAW,SAAS,aAAa,GAC9F,KAAK,GACL,OAAO,CAAC,aAAa,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAC,CAAC;AAEzD,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,MAAM,WAAW,iBAAiB;IAChC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;CACzB;AAED,8FAA8F;AAC9F,MAAM,MAAM,mBAAmB,GAAG,gBAAgB,GAAG,iBAAiB,CAAC;AAEvE,UAAU,iBAAiB,CAAC,OAAO,EAAE,SAAS,SAAS,cAAc,EAAE,WAAW,SAAS,gBAAgB;IACzG,QAAQ,CAAC,MAAM,CAAC,EAAE,WAAW,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAAC;IAC/D,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC;IACjD,QAAQ,CAAC,IAAI,CAAC,EAAE,mBAAmB,CAAC;IACpC,QAAQ,CAAC,SAAS,CAAC,EAAE,YAAY,CAAC,WAAW,CAAC,CAAC;CAChD;AAED,MAAM,WAAW,oBAAoB,CACnC,OAAO,EACP,SAAS,SAAS,cAAc,EAChC,WAAW,SAAS,gBAAgB,EACpC,OAAO,SAAS,SAAS,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,SAAS,GAAG,SAAS,EACrE,SAAS,SAAS,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,CAC3G,SAAQ,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC;IAC1D,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,QAAQ,CAAC,EAAE,SAAS,CAAC;CAC/B;AAED,MAAM,WAAW,sBAAsB,CACrC,OAAO,EACP,SAAS,SAAS,cAAc,EAChC,WAAW,SAAS,gBAAgB,EACpC,QAAQ,SAAS,SAAS,kBAAkB,CAAC,OAAO,CAAC,EAAE,GAAG,SAAS,EAAE,EACrE,QAAQ,SAAS,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,GAAG,SAAS;IAC7F,eAAe,CAAC,OAAO,CAAC;IACxB,GAAG,eAAe,CAAC,OAAO,CAAC,EAAE;CAC9B,CACD,SAAQ,iBAAiB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC;IAC1D,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;IAC3B,QAAQ,CAAC,OAAO,EAAE,QAAQ,CAAC;CAC5B;AAED,MAAM,MAAM,aAAa,CAAC,OAAO,EAAE,SAAS,SAAS,cAAc,EAAE,WAAW,SAAS,gBAAgB,IACrG,oBAAoB,CAClB,OAAO,EACP,SAAS,EACT,WAAW,EACX,SAAS,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,SAAS,EACzC,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,CAC5C,GACD,sBAAsB,CACpB,OAAO,EACP,SAAS,EACT,WAAW,EACX,SAAS,kBAAkB,CAAC,OAAO,CAAC,EAAE,EACtC,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,CACnE,CAAC;AAEN,MAAM,MAAM,mBAAmB,CAAC,OAAO,SAAS,IAAI,CAAC,cAAc,EAAE,UAAU,CAAC,IAAI,OAAO,CAAC,UAAU,CAAC,SAAS;IAC9G,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,GACG,aAAa,GACb,OAAO,CAAC,UAAU,CAAC,SAAS;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,YAAY,EAAE;QAAE,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;KAAE,CAAC;CACpD,GACD,kBAAkB,GAClB,oBAAoB,CAAC;AAE3B,MAAM,WAAW,yBAAyB;IACxC,gGAAgG;IAChG,QAAQ,CAAC,MAAM,CAAC,EAAE,cAAc,CAAC;IACjC,yEAAyE;IACzE,QAAQ,CAAC,QAAQ,CAAC,EAAE,cAAc,CAAC;CACpC;AAED,8EAA8E;AAC9E,MAAM,WAAW,6BAA8B,SAAQ,yBAAyB;IAC9E,sFAAsF;IACtF,QAAQ,CAAC,UAAU,CAAC,EAAE,MAAM,CAAC;IAC7B,qFAAqF;IACrF,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CACjC;AAED,mFAAmF;AACnF,MAAM,WAAW,0BAA2B,SAAQ,yBAAyB;IAC3E;;;OAGG;IACH,QAAQ,CAAC,SAAS,CAAC,EAAE,oBAAoB,CAAC;CAC3C;AAED,qDAAqD;AACrD,MAAM,MAAM,kBAAkB,GAAG,QAAQ,CAAC;IACxC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,SAAS,SAAS,EAAE,CAAC;CAC5B,CAAC,CAAC;AAEH,MAAM,MAAM,mBAAmB,GAC3B,6BAA6B,GAC7B,yBAAyB,GACzB,2BAA2B,GAC3B,cAAc,GACd,aAAa,GACb,MAAM,GACN,OAAO,GACP,YAAY,CAAC;AAEjB,MAAM,MAAM,qBAAqB,CAAC,SAAS,SAAS,mBAAmB,IAAI,SAAS,SAChF,6BAA6B,GAC7B,yBAAyB,GACzB,2BAA2B,GAC3B,mBAAmB,GACnB,SAAS,SAAS,cAAc,GAAG,aAAa,GAAG,MAAM,GACvD,WAAW,GACX,SAAS,SAAS,OAAO,GACvB,WAAW,GACX,YAAY,CAAC"}

package/query-planner/semantic-types.js

@@ -0,0 +1 @@
+export {};

package/query-planner/semantic.d.ts

@@ -0,0 +1,54 @@
+import { type JsonValue, type SourceProtocol } from "../contract/schema.js";
+import type { AggregateMetric, ComparisonNode, EqualityOperator, FieldName, GeometryProjectionFor, GroupableFieldName, LiteralNode, NativeDialectFor, NativeFilter, NullNode, OrderableFieldName, OrderedComparisonOperator, ParseSemanticQueryOptions, PatternNode, PropertyNode, QueryLiteral, RangeNode, ScalarFieldName, SemanticAggregateQuery, SemanticFeatureQuery, SemanticFilter, SemanticQuery, SourceSpatiality, SpatialNode, StringFieldName, TemporalFieldName, TemporalLiteralNode, TemporalNode, TemporalPredicate } from "./semantic-types.js";
+export declare const MAX_SEMANTIC_QUERY_BYTES: number;
+export declare const MAX_SEMANTIC_QUERY_DEPTH = 64;
+export declare const MAX_SEMANTIC_QUERY_NODES = 20000;
+export declare const MAX_SEMANTIC_QUERY_COLLECTION_ITEMS = 10000;
+export declare const MAX_SEMANTIC_QUERY_TEXT_BYTES: number;
+type RuntimeQuery = SemanticQuery<Record<string, unknown>, SourceProtocol, SourceSpatiality>;
+/** @internal Shared bounded JSON boundary for semantic interchange codecs. */
+export declare function parseBoundedSemanticJson(value: string | unknown): JsonValue;
+/**
+ * Parse untrusted JSON or an untyped JavaScript value into a deeply immutable
+ * semantic query. Syntax, resource bounds, dialect payload shape, and (when
+ * supplied) schema field/type compatibility are all checked before return.
+ */
+export declare function parseSemanticQuery(value: string | unknown, options?: ParseSemanticQueryOptions): RuntimeQuery;
+/** Validate and freeze a typed query while preserving its generic relationship. */
+export declare function defineSemanticQuery<const TQuery extends {
+    readonly kind: "features" | "aggregate";
+}>(query: TQuery, options?: ParseSemanticQueryOptions): TQuery;
+export interface SemanticQueryBuilder<TRecord, TProtocol extends SourceProtocol, TSpatiality extends SourceSpatiality> {
+    property<TKey extends FieldName<TRecord>>(name: TKey): PropertyNode<TKey>;
+    literal<const TValue extends JsonValue>(value: TValue): LiteralNode<TValue>;
+    comparison<TKey extends ScalarFieldName<TRecord>>(operator: EqualityOperator, left: PropertyNode<TKey>, right: QueryLiteral<TRecord[TKey]> | LiteralNode<QueryLiteral<TRecord[TKey]>>): ComparisonNode<TRecord>;
+    comparison<TKey extends OrderableFieldName<TRecord>>(operator: OrderedComparisonOperator, left: PropertyNode<TKey>, right: QueryLiteral<TRecord[TKey]> | LiteralNode<QueryLiteral<TRecord[TKey]>>): ComparisonNode<TRecord>;
+    inList<TKey extends ScalarFieldName<TRecord>>(operand: PropertyNode<TKey>, values: readonly [
+        QueryLiteral<TRecord[TKey]> | LiteralNode<QueryLiteral<TRecord[TKey]>>,
+        ...(QueryLiteral<TRecord[TKey]> | LiteralNode<QueryLiteral<TRecord[TKey]>>)[]
+    ]): SemanticFilter<TRecord, TSpatiality>;
+    between<TKey extends OrderableFieldName<TRecord>>(operand: PropertyNode<TKey>, lower: QueryLiteral<TRecord[TKey]> | LiteralNode<QueryLiteral<TRecord[TKey]>>, upper: QueryLiteral<TRecord[TKey]> | LiteralNode<QueryLiteral<TRecord[TKey]>>): RangeNode<TRecord>;
+    isNull<TKey extends FieldName<TRecord>>(operand: PropertyNode<TKey>, operator?: "is-null" | "is-not-null"): NullNode<TKey>;
+    like<TKey extends StringFieldName<TRecord>>(operand: PropertyNode<TKey>, pattern: string, options?: {
+        readonly caseSensitive?: boolean;
+    }): PatternNode<TKey>;
+    and(...args: readonly [SemanticFilter<TRecord, TSpatiality>, ...SemanticFilter<TRecord, TSpatiality>[]]): SemanticFilter<TRecord, TSpatiality>;
+    or(...args: readonly [SemanticFilter<TRecord, TSpatiality>, ...SemanticFilter<TRecord, TSpatiality>[]]): SemanticFilter<TRecord, TSpatiality>;
+    not(arg: SemanticFilter<TRecord, TSpatiality>): SemanticFilter<TRecord, TSpatiality>;
+    temporal<TKey extends TemporalFieldName<TRecord>>(operator: TemporalPredicate, operand: PropertyNode<TKey>, value: TemporalLiteralNode): TemporalNode<TRecord>;
+    native<TDialect extends NativeDialectFor<TProtocol>>(dialect: TDialect, payload: NativeFilter<TDialect>["payload"]): NativeFilter<TDialect>;
+    features<const TSelect extends readonly FieldName<TRecord>[] | undefined = undefined, const TGeometry extends GeometryProjectionFor<TRecord, TSpatiality> = GeometryProjectionFor<TRecord, TSpatiality>>(query?: Omit<SemanticFeatureQuery<TRecord, TProtocol, TSpatiality, TSelect, TGeometry>, "kind">): SemanticFeatureQuery<TRecord, TProtocol, TSpatiality, TSelect, TGeometry>;
+    aggregate<const TGroupBy extends readonly GroupableFieldName<TRecord>[], const TMetrics extends readonly [AggregateMetric<TRecord>, ...AggregateMetric<TRecord>[]]>(query: Omit<SemanticAggregateQuery<TRecord, TProtocol, TSpatiality, TGroupBy, TMetrics>, "kind">): SemanticAggregateQuery<TRecord, TProtocol, TSpatiality, TGroupBy, TMetrics>;
+}
+/** Create immutable, schema-typed AST nodes without importing a protocol compiler. */
+export declare function createSemanticQueryBuilder<TRecord, TProtocol extends SourceProtocol, TSpatiality extends SourceSpatiality = "ambiguous-geometry">(): SemanticQueryBuilder<TRecord, TProtocol, TSpatiality>;
+/** Build a validated spatial node without weakening its executable operand. */
+export declare function defineSpatialNode<TRecord, TSpatiality extends Exclude<SourceSpatiality, "non-spatial">>(value: SpatialNode<TRecord, TSpatiality>): SpatialNode<TRecord, TSpatiality>;
+export declare function temporalLiteral(valueType: "date" | "instant", value: string): Extract<TemporalLiteralNode, {
+    readonly valueType: "date" | "instant";
+}>;
+export declare function temporalLiteral(valueType: "interval", value: readonly [string, string]): Extract<TemporalLiteralNode, {
+    readonly valueType: "interval";
+}>;
+export {};
+//# sourceMappingURL=semantic.d.ts.map

package/query-planner/semantic.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"semantic.d.ts","sourceRoot":"","sources":["../../../src/query-planner/semantic.ts"],"names":[],"mappings":"AAAA,OAAO,EAEL,KAAK,SAAS,EAGd,KAAK,cAAc,EAOpB,MAAM,uBAAuB,CAAC;AAE/B,OAAO,KAAK,EACV,eAAe,EAEf,cAAc,EAEd,gBAAgB,EAChB,SAAS,EACT,qBAAqB,EACrB,kBAAkB,EAClB,WAAW,EACX,gBAAgB,EAChB,YAAY,EACZ,QAAQ,EACR,kBAAkB,EAClB,yBAAyB,EACzB,yBAAyB,EACzB,WAAW,EACX,YAAY,EAEZ,YAAY,EACZ,SAAS,EACT,eAAe,EACf,sBAAsB,EACtB,oBAAoB,EACpB,cAAc,EAEd,aAAa,EAEb,gBAAgB,EAChB,WAAW,EACX,eAAe,EACf,iBAAiB,EACjB,mBAAmB,EACnB,YAAY,EACZ,iBAAiB,EAClB,MAAM,qBAAqB,CAAC;AAG7B,eAAO,MAAM,wBAAwB,QAAa,CAAC;AACnD,eAAO,MAAM,wBAAwB,KAAK,CAAC;AAC3C,eAAO,MAAM,wBAAwB,QAAS,CAAC;AAC/C,eAAO,MAAM,mCAAmC,QAAS,CAAC;AAC1D,eAAO,MAAM,6BAA6B,QAAY,CAAC;AAyDvD,KAAK,YAAY,GAAG,aAAa,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,cAAc,EAAE,gBAAgB,CAAC,CAAC;AAW7F,8EAA8E;AAC9E,wBAAgB,wBAAwB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,GAAG,SAAS,CAE3E;AAED;;;;GAIG;AACH,wBAAgB,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,OAAO,EAAE,OAAO,GAAE,yBAA8B,GAAG,YAAY,CAYjH;AAED,mFAAmF;AACnF,wBAAgB,mBAAmB,CAAC,KAAK,CAAC,MAAM,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,WAAW,CAAA;CAAE,EAClG,KAAK,EAAE,MAAM,EACb,OAAO,GAAE,yBAA8B,GACtC,MAAM,CAER;AAED,MAAM,WAAW,oBAAoB,CAAC,OAAO,EAAE,SAAS,SAAS,cAAc,EAAE,WAAW,SAAS,gBAAgB;IACnH,QAAQ,CAAC,IAAI,SAAS,SAAS,CAAC,OAAO,CAAC,EAAE,IAAI,EAAE,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAC;IAC1E,OAAO,CAAC,KAAK,CAAC,MAAM,SAAS,SAAS,EAAE,KAAK,EAAE,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,CAAC;IAC5E,UAAU,CAAC,IAAI,SAAS,eAAe,CAAC,OAAO,CAAC,EAC9C,QAAQ,EAAE,gBAAgB,EAC1B,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EACxB,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAC5E,cAAc,CAAC,OAAO,CAAC,CAAC;IAC3B,UAAU,CAAC,IAAI,SAAS,kBAAkB,CAAC,OAAO,CAAC,EACjD,QAAQ,EAAE,yBAAyB,EACnC,IAAI,EAAE,YAAY,CAAC,IAAI,CAAC,EACxB,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAC5E,cAAc,CAAC,OAAO,CAAC,CAAC;IAC3B,MAAM,CAAC,IAAI,SAAS,eAAe,CAAC,OAAO,CAAC,EAC1C,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAC3B,MAAM,EAAE,SAAS;QACf,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;QACtE,GAAG,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE;KAC9E,GACA,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACxC,OAAO,CAAC,IAAI,SAAS,kBAAkB,CAAC,OAAO,CAAC,EAC9C,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAC3B,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,EAC7E,KAAK,EAAE,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,GAAG,WAAW,CAAC,YAAY,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,GAC5E,SAAS,CAAC,OAAO,CAAC,CAAC;IACtB,MAAM,CAAC,IAAI,SAAS,SAAS,CAAC,OAAO,CAAC,EACpC,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAC3B,QAAQ,CAAC,EAAE,SAAS,GAAG,aAAa,GACnC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAClB,IAAI,CAAC,IAAI,SAAS,eAAe,CAAC,OAAO,CAAC,EACxC,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAC3B,OAAO,EAAE,MAAM,EACf,OAAO,CAAC,EAAE;QAAE,QAAQ,CAAC,aAAa,CAAC,EAAE,OAAO,CAAA;KAAE,GAC7C,WAAW,CAAC,IAAI,CAAC,CAAC;IACrB,GAAG,CACD,GAAG,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,GAClG,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACxC,EAAE,CACA,GAAG,IAAI,EAAE,SAAS,CAAC,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,GAAG,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,EAAE,CAAC,GAClG,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACxC,GAAG,CAAC,GAAG,EAAE,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,cAAc,CAAC,OAAO,EAAE,WAAW,CAAC,CAAC;IACrF,QAAQ,CAAC,IAAI,SAAS,iBAAiB,CAAC,OAAO,CAAC,EAC9C,QAAQ,EAAE,iBAAiB,EAC3B,OAAO,EAAE,YAAY,CAAC,IAAI,CAAC,EAC3B,KAAK,EAAE,mBAAmB,GACzB,YAAY,CAAC,OAAO,CAAC,CAAC;IACzB,MAAM,CAAC,QAAQ,SAAS,gBAAgB,CAAC,SAAS,CAAC,EACjD,OAAO,EAAE,QAAQ,EACjB,OAAO,EAAE,YAAY,CAAC,QAAQ,CAAC,CAAC,SAAS,CAAC,GACzC,YAAY,CAAC,QAAQ,CAAC,CAAC;IAC1B,QAAQ,CACN,KAAK,CAAC,OAAO,SAAS,SAAS,SAAS,CAAC,OAAO,CAAC,EAAE,GAAG,SAAS,GAAG,SAAS,EAC3E,KAAK,CAAC,SAAS,SAAS,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,qBAAqB,CAAC,OAAO,EAAE,WAAW,CAAC,EAEjH,KAAK,CAAC,EAAE,IAAI,CAAC,oBAAoB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,EAAE,MAAM,CAAC,GAC9F,oBAAoB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,OAAO,EAAE,SAAS,CAAC,CAAC;IAC7E,SAAS,CACP,KAAK,CAAC,QAAQ,SAAS,SAAS,kBAAkB,CAAC,OAAO,CAAC,EAAE,EAC7D,KAAK,CAAC,QAAQ,SAAS,SAAS,CAAC,eAAe,CAAC,OAAO,CAAC,EAAE,GAAG,eAAe,CAAC,OAAO,CAAC,EAAE,CAAC,EAEzF,KAAK,EAAE,IAAI,CAAC,sBAAsB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,EAAE,MAAM,CAAC,GAC/F,sBAAsB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,EAAE,QAAQ,EAAE,QAAQ,CAAC,CAAC;CAChF;AAED,sFAAsF;AACtF,wBAAgB,0BAA0B,CACxC,OAAO,EACP,SAAS,SAAS,cAAc,EAChC,WAAW,SAAS,gBAAgB,GAAG,oBAAoB,KACxD,oBAAoB,CAAC,OAAO,EAAE,SAAS,EAAE,WAAW,CAAC,CAgEzD;AAED,+EAA+E;AAC/E,wBAAgB,iBAAiB,CAAC,OAAO,EAAE,WAAW,SAAS,OAAO,CAAC,gBAAgB,EAAE,aAAa,CAAC,EACrG,KAAK,EAAE,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,GACvC,WAAW,CAAC,OAAO,EAAE,WAAW,CAAC,CAGnC;AAED,wBAAgB,eAAe,CAC7B,SAAS,EAAE,MAAM,GAAG,SAAS,EAC7B,KAAK,EAAE,MAAM,GACZ,OAAO,CAAC,mBAAmB,EAAE;IAAE,QAAQ,CAAC,SAAS,EAAE,MAAM,GAAG,SAAS,CAAA;CAAE,CAAC,CAAC;AAC5E,wBAAgB,eAAe,CAC7B,SAAS,EAAE,UAAU,EACrB,KAAK,EAAE,SAAS,CAAC,MAAM,EAAE,MAAM,CAAC,GAC/B,OAAO,CAAC,mBAAmB,EAAE;IAAE,QAAQ,CAAC,SAAS,EAAE,UAAU,CAAA;CAAE,CAAC,CAAC"}