@bjornpagen/bumbledb 0.1.0

package/dist/query/atom.d.ts

@@ -0,0 +1,285 @@
+/**
+ * Query atoms and conditions (PRD-08) — the body vocabulary of a rule,
+ * mirroring the engine IR variant for variant
+ * (`bumbledb/crates/bumbledb/src/ir.rs`, the bijection target;
+ * `docs/architecture/20-query-ir.md` normative): `match` is the named-field
+ * atom (unmentioned fields ARE the wildcard — no wildcard value exists),
+ * `not` is negation-as-position (anti-join), `is`/`ne`/`lt`/`le`/`gt`/`ge`
+ * are the comparison roster, `covers` is the IR's `PointIn` predicate,
+ * `allen` the 13-bit-mask interval-pair comparison, `and`/`or` the input
+ * condition-tree grammar (distributed to DNF by the engine's validation),
+ * and `duration` the measure term. Nothing beyond the IR exists here: no
+ * convenience operator fakes an unsupported comparison.
+ */
+import type { IntervalValue } from "#brand.ts";
+import { phantom } from "#brand.ts";
+import type { OneOf } from "#face.ts";
+import type { FieldData, FieldValue } from "#fields.ts";
+import type { PredicateData } from "#query/predicate.ts";
+import type { AnyTerm, AnyVar, ItemParams, MaskParam, Param, ParamSet, ParamsRecord, ParamsShape, TermContribution, Var } from "#query/scope.ts";
+import type { AnyRelation, FieldsShape, Relation } from "#relation.ts";
+/**
+ * One atom-binding position as runtime data: a scope term, a host literal
+ * (tagged at lowering by the FIELD's structural type — a point-typed
+ * literal at an interval field is the IR's membership typing rule), or an
+ * `oneOf` literal set (lowered to a fresh variable plus a disjunctive
+ * equality condition — the three-confinement law's rule-level OR, spelled
+ * for the caller as one binding).
+ */
+type BindingTerm = {
+    readonly kind: "term";
+    readonly value: AnyTerm;
+} | {
+    readonly kind: "literal";
+    readonly value: unknown;
+} | {
+    readonly kind: "oneOf";
+    readonly values: readonly unknown[];
+};
+/** One resolved binding: the field's name, its description, and the term. */
+interface BindingEntry {
+    readonly field: string;
+    readonly data: FieldData;
+    readonly term: BindingTerm;
+}
+/** Where an atom draws its facts: a stored relation or a scope predicate. */
+type AtomSourceData = {
+    readonly kind: "relation";
+    readonly relation: AnyRelation;
+} | {
+    readonly kind: "predicate";
+    readonly pred: PredicateData;
+};
+/**
+ * One atom value (positive or negated — negation is a position in the
+ * rule, not a kind of atom, exactly as the IR reuses `Atom` unchanged).
+ * The phantom carries the params object the atom's bindings contribute.
+ */
+interface MatchAtom<P extends ParamsRecord> {
+    readonly item: "atom";
+    readonly negated: boolean;
+    readonly source: AtomSourceData;
+    readonly bindings: readonly BindingEntry[];
+    readonly [phantom]?: P;
+}
+/** One comparison side as runtime data. */
+type CmpTerm = {
+    readonly kind: "term";
+    readonly value: AnyTerm;
+} | {
+    readonly kind: "literal";
+    readonly value: unknown;
+} | {
+    readonly kind: "measure";
+    readonly over: AnyVar;
+};
+/** The `allen` mask position: a literal 13-bit mask or a mask parameter. */
+type MaskData = {
+    readonly kind: "literal";
+    readonly mask: number;
+} | {
+    readonly kind: "param";
+    readonly param: MaskParam<string>;
+};
+/** One comparison operator as runtime data (mirrors `ir::CmpOp`). */
+type CmpOpData = {
+    readonly kind: "eq";
+} | {
+    readonly kind: "ne";
+} | {
+    readonly kind: "lt";
+} | {
+    readonly kind: "le";
+} | {
+    readonly kind: "gt";
+} | {
+    readonly kind: "ge";
+} | {
+    readonly kind: "allen";
+    readonly mask: MaskData;
+} | {
+    readonly kind: "pointIn";
+};
+/** One comparison condition value. */
+interface ComparisonItem<P extends ParamsRecord> {
+    readonly item: "cmp";
+    readonly op: CmpOpData;
+    readonly lhs: CmpTerm;
+    readonly rhs: CmpTerm;
+    readonly [phantom]?: P;
+}
+/**
+ * One condition-tree node (`ir::ConditionTree`): any boolean combination
+ * of comparisons — the engine's validation distributes nested OR to DNF
+ * rules; the surface admits exactly what the IR admits.
+ */
+interface ConditionTreeItem<P extends ParamsRecord> {
+    readonly item: "tree";
+    readonly op: "and" | "or";
+    readonly children: readonly AnyCondition[];
+    readonly [phantom]?: P;
+}
+/** Any condition value, whatever its params. */
+type AnyCondition = ComparisonItem<ParamsRecord> | ConditionTreeItem<ParamsRecord>;
+/** Any rule body item: an atom (either polarity) or a condition. */
+type AnyBodyItem = MatchAtom<ParamsRecord> | AnyCondition;
+/**
+ * The measure of an interval-typed variable (`ir::Term::Measure`, surface
+ * `Duration`): `|[s, e)| = e − s`, u64 — legal as one side of an order
+ * comparison, as a projected select entry, and as the input of
+ * `sum`/`min`/`max`; every other position is unwritable here exactly as
+ * the IR rejects it typed. A ray has no finite measure — the engine's
+ * `MeasureOfRay` execution error; exclude rays first (`allen` against a
+ * bounded window).
+ */
+interface Duration {
+    readonly measure: AnyVar;
+    readonly [phantom]?: bigint;
+}
+/**
+ * What a binding position of value type `V` accepts: a branded literal, a
+ * disjunctive `oneOf` literal set, a `Var`/`Param`/`ParamSet` of the same
+ * brand — and, when the field is interval-typed, a point-typed term (the
+ * IR's membership typing rule: an element-typed term at an interval field
+ * is point membership; an interval-typed term is value equality).
+ */
+type TermInput<V> = V | OneOf<V> | Var<V> | Param<string, V> | ParamSet<string, V> | (V extends IntervalValue ? PointTermInput : never);
+/** The point-typed terms an interval field position additionally accepts. */
+type PointTermInput = bigint | Var<bigint> | Param<string, bigint> | ParamSet<string, bigint>;
+/**
+ * The `match` bindings record: per field, a term of that field's brand;
+ * unmentioned fields are wildcards (absence IS the wildcard — the IR has
+ * no wildcard variant to spell).
+ */
+type MatchInput<Fields extends FieldsShape> = {
+    readonly [K in keyof Fields]?: TermInput<FieldValue<Fields[K]>>;
+};
+/** The params object a bindings record contributes (used by `match`). */
+type BindingsParams<B> = ParamsShape<TermContribution<B[keyof B]>>;
+/**
+ * Resolves a bindings record against an ordered field roster (shared by
+ * relation atoms here and predicate atoms in `#query/predicate.ts`), in
+ * the record's written order.
+ */
+declare function resolveBindings(context: string, fields: ReadonlyArray<{
+    readonly name: string;
+    readonly field: FieldData;
+}>, bindings: Readonly<Record<string, unknown>>): readonly BindingEntry[];
+/**
+ * The named-field atom — the semantic twin of `query!`'s `Node(id: c)`:
+ * fields bind vars, params, branded literals, `oneOf` sets, or (interval
+ * fields) point terms; unmentioned fields are wildcards; a zero-binding
+ * atom is a nonemptiness gate on the relation (IR-legal, so writable).
+ */
+declare function match<Name extends string, Fields extends FieldsShape, const B extends MatchInput<Fields>>(relation: Relation<Name, Fields>, bindings: B): MatchAtom<BindingsParams<B>>;
+/**
+ * Negation — anti-join over sets, no null trick: a binding satisfies the
+ * negated atom iff NO fact matches it. Safety (every negated var bound
+ * positively) is validated at `query()` construction with an error naming
+ * the variable; the negated atom binds nothing, only rejects. An `oneOf`
+ * binding is refused HERE, at construction: it lowers to a synthetic
+ * variable bound only inside the atom plus a rule-level OR — which is
+ * exactly the shape the safety rule rejects, and semantically wrong for
+ * negation anyway (¬∃(f = a ∨ f = b) is a CONJUNCTION of negated atoms,
+ * ¬∃(f = a) ∧ ¬∃(f = b), never one negated atom's OR).
+ */
+declare function not<P extends ParamsRecord>(atom: MatchAtom<P>): MatchAtom<P>;
+/**
+ * The equality atom (`ir::CmpOp::Eq`) — for binding a var to a param or
+ * literal where punning inside `match` doesn't apply, and for var-to-var
+ * unification. Prefer direct placement (`match(Account, { kind:
+ * Kind.Savings })`); `is` exists for the var-to-param case. `ParamSet` is
+ * legal here and under no other operator (the IR's `Eq`-only set rule).
+ */
+declare function is<V, const R extends Var<V> | Param<string, V> | ParamSet<string, V> | V>(left: Var<V>, right: R): ComparisonItem<ParamsShape<TermContribution<R>>>;
+/** Typed disequality (`ir::CmpOp::Ne`). "Not in set" has no operator — write a negated atom. */
+declare function ne<V, const R extends Var<V> | Param<string, V> | V>(left: Var<V>, right: R): ComparisonItem<ParamsShape<TermContribution<R>>>;
+/**
+ * One side of an order comparison: a u64/i64-typed var or param, a bigint
+ * literal, or the measure (`duration(v)`) — order operators are legal for
+ * the orderable types only, never intervals/bytes/strings/bools (the IR's
+ * comparison rules; each refusal is the engine's own typed diagnostic).
+ */
+type OrderInput = Var<bigint> | Param<string, bigint> | bigint | Duration;
+/** Strict less-than (`ir::CmpOp::Lt`). */
+declare function lt<const L extends OrderInput, const R extends OrderInput>(left: L, right: R): ComparisonItem<ParamsShape<TermContribution<L> | TermContribution<R>>>;
+/** Less-or-equal (`ir::CmpOp::Le`). */
+declare function le<const L extends OrderInput, const R extends OrderInput>(left: L, right: R): ComparisonItem<ParamsShape<TermContribution<L> | TermContribution<R>>>;
+/** Strict greater-than (`ir::CmpOp::Gt`). */
+declare function gt<const L extends OrderInput, const R extends OrderInput>(left: L, right: R): ComparisonItem<ParamsShape<TermContribution<L> | TermContribution<R>>>;
+/** Greater-or-equal (`ir::CmpOp::Ge`). */
+declare function ge<const L extends OrderInput, const R extends OrderInput>(left: L, right: R): ComparisonItem<ParamsShape<TermContribution<L> | TermContribution<R>>>;
+/** An interval-typed comparison side: a var, a param, or a `span` literal. */
+type IntervalInput = Var<IntervalValue> | Param<string, IntervalValue> | IntervalValue;
+/** A point-typed comparison side. */
+type PointInput = Var<bigint> | Param<string, bigint> | bigint;
+/**
+ * Point membership as a predicate (`ir::CmpOp::PointIn`): `covers(iv, t)`
+ * holds iff `iv.start ≤ t < iv.end` — the predicate form of the membership
+ * typing rule, for terms already bound elsewhere. Interval ⊇ interval is
+ * NOT this operator; that predicate is `allen(a, ALLEN.covers, b)`. The IR
+ * orders the operands interval-left, point-right; so does this surface.
+ */
+declare function covers<const I extends IntervalInput, const T extends PointInput>(interval: I, point: T): ComparisonItem<ParamsShape<TermContribution<I> | TermContribution<T>>>;
+/**
+ * The Allen coordinate system's named constants — the 13 basics in the
+ * engine's palindromic bit order (bit i = basic i:
+ * `bumbledb/crates/bumbledb/src/allen.rs`, a specified representation)
+ * plus the workload composites, values identical to the engine's. Compose
+ * with `|`: `ALLEN.before | ALLEN.meets`.
+ */
+declare const ALLEN: Readonly<{
+    before: number;
+    meets: number;
+    overlaps: number;
+    starts: number;
+    during: number;
+    finishes: number;
+    equals: number;
+    finishedBy: number;
+    contains: number;
+    startedBy: number;
+    overlappedBy: number;
+    metBy: number;
+    after: number;
+    /** The point-sets share a point (9 bits; under half-open intervals *meets* shares none). */
+    intersects: number;
+    /** Point-set ⊇: equals ∪ contains ∪ started-by ∪ finished-by. */
+    covers: number;
+    /** Point-set ⊆ — `covers`' converse: equals ∪ during ∪ starts ∪ finishes. */
+    coveredBy: number;
+    /** The point-sets share no point: before ∪ meets ∪ met-by ∪ after. */
+    disjoint: number;
+}>;
+/**
+ * THE interval-pair comparison (`ir::CmpOp::Allen`): two interval terms of
+ * one element type, satisfied iff the pair's classification is in the
+ * 13-bit mask — a literal built from the `ALLEN` constants, or a mask
+ * parameter (`$.allenParam`). Vacuous masks (empty/full) are the engine's
+ * two distinct typed rejections; nothing is pre-judged here beyond the
+ * representable bit range.
+ */
+declare function allen<const A extends IntervalInput, const M extends number | MaskParam<string>, const B extends IntervalInput>(left: A, mask: M, right: B): ComparisonItem<ParamsShape<TermContribution<A> | TermContribution<M> | TermContribution<B>>>;
+/**
+ * Conjunction node of the input condition grammar (`ConditionTree::And`).
+ * The rule's condition list is already a conjunction — `and` exists for
+ * nesting under `or`, and the empty combination keeps the IR's algebraic
+ * reading (`And([])` is true).
+ */
+declare function and<const C extends readonly AnyCondition[]>(...children: C): ConditionTreeItem<ParamsShape<ItemParams<C[number]>>>;
+/**
+ * Disjunction node of the input condition grammar (`ConditionTree::Or`) —
+ * the one place the surface admits a nested OR; validation distributes it
+ * to DNF rules engine-side (OR is data or it is nothing). `Or([])` keeps
+ * its algebraic reading (false: the rule denotes nothing).
+ */
+declare function or<const C extends readonly AnyCondition[]>(...children: C): ConditionTreeItem<ParamsShape<ItemParams<C[number]>>>;
+/**
+ * The measure term — surface `Duration`, IR `Measure`: the point-set
+ * cardinality `end − start` of an interval-typed variable, u64. See
+ * {@link Duration} for the legal positions.
+ */
+declare function duration<IV extends IntervalValue>(over: Var<IV>): Duration;
+export type { AnyBodyItem, AnyCondition, AtomSourceData, BindingEntry, BindingsParams, BindingTerm, CmpOpData, CmpTerm, ComparisonItem, ConditionTreeItem, Duration, IntervalInput, MaskData, MatchAtom, MatchInput, OrderInput, PointInput, PointTermInput, TermInput };
+export { ALLEN, allen, and, covers, duration, ge, gt, is, le, lt, match, ne, not, or, resolveBindings };
+//# sourceMappingURL=atom.d.ts.map

package/dist/query/atom.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"atom.d.ts","sourceRoot":"","sources":["../../src/query/atom.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAGH,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAC9C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AACrC,OAAO,KAAK,EAAE,SAAS,EAAE,UAAU,EAAE,MAAM,YAAY,CAAA;AACvD,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,qBAAqB,CAAA;AACxD,OAAO,KAAK,EACX,OAAO,EACP,MAAM,EACN,UAAU,EACV,SAAS,EACT,KAAK,EACL,QAAQ,EACR,YAAY,EACZ,WAAW,EACX,gBAAgB,EAChB,GAAG,EACH,MAAM,iBAAiB,CAAA;AAExB,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAEtE;;;;;;;GAOG;AACH,KAAK,WAAW,GACb;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,OAAO,EAAE,CAAA;CAAE,CAAA;AAElE,6EAA6E;AAC7E,UAAU,YAAY;IACrB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAA;CAC1B;AAED,6EAA6E;AAC7E,KAAK,cAAc,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,QAAQ,EAAE,WAAW,CAAA;CAAE,GAC7D;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;CAAE,CAAA;AAE/D;;;;GAIG;AACH,UAAU,SAAS,CAAC,CAAC,SAAS,YAAY;IACzC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,MAAM,EAAE,cAAc,CAAA;IAC/B,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IAC1C,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACtB;AAED,2CAA2C;AAC3C,KAAK,OAAO,GACT;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAA;AAEtD,4EAA4E;AAC5E,KAAK,QAAQ,GACV;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,MAAM,CAAC,CAAA;CAAE,CAAA;AAEhE,qEAAqE;AACrE,KAAK,SAAS,GACX;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CAAE,CAAA;AAE/B,sCAAsC;AACtC,UAAU,cAAc,CAAC,CAAC,SAAS,YAAY;IAC9C,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;IACrB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAA;IACrB,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACtB;AAED;;;;GAIG;AACH,UAAU,iBAAiB,CAAC,CAAC,SAAS,YAAY;IACjD,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,EAAE,EAAE,KAAK,GAAG,IAAI,CAAA;IACzB,QAAQ,CAAC,QAAQ,EAAE,SAAS,YAAY,EAAE,CAAA;IAC1C,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACtB;AAED,gDAAgD;AAChD,KAAK,YAAY,GAAG,cAAc,CAAC,YAAY,CAAC,GAAG,iBAAiB,CAAC,YAAY,CAAC,CAAA;AAElF,oEAAoE;AACpE,KAAK,WAAW,GAAG,SAAS,CAAC,YAAY,CAAC,GAAG,YAAY,CAAA;AAEzD;;;;;;;;GAQG;AACH,UAAU,QAAQ;IACjB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAA;IACxB,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,MAAM,CAAA;CAC3B;AAED;;;;;;GAMG;AACH,KAAK,SAAS,CAAC,CAAC,IACb,CAAC,GACD,KAAK,CAAC,CAAC,CAAC,GACR,GAAG,CAAC,CAAC,CAAC,GACN,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAChB,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GACnB,CAAC,CAAC,SAAS,aAAa,GAAG,cAAc,GAAG,KAAK,CAAC,CAAA;AAErD,6EAA6E;AAC7E,KAAK,cAAc,GAAG,MAAM,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;AAE7F;;;;GAIG;AACH,KAAK,UAAU,CAAC,MAAM,SAAS,WAAW,IAAI;IAC7C,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CAC/D,CAAA;AAED,yEAAyE;AACzE,KAAK,cAAc,CAAC,CAAC,IAAI,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAA;AAuBlE;;;;GAIG;AACH,iBAAS,eAAe,CACvB,OAAO,EAAE,MAAM,EACf,MAAM,EAAE,aAAa,CAAC;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;CAAE,CAAC,EAC3E,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GACzC,SAAS,YAAY,EAAE,CAqBzB;AAED;;;;;GAKG;AACH,iBAAS,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,WAAW,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,MAAM,CAAC,EACjG,QAAQ,EAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,EAChC,QAAQ,EAAE,CAAC,GACT,SAAS,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC,CAW9B;AAED;;;;;;;;;;GAUG;AACH,iBAAS,GAAG,CAAC,CAAC,SAAS,YAAY,EAAE,IAAI,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAkBrE;AAoCD;;;;;;GAMG;AACH,iBAAS,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,EACjF,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EACZ,KAAK,EAAE,CAAC,GACN,cAAc,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAElD;AAED,gGAAgG;AAChG,iBAAS,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,GAAG,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,CAAC,CAAC,GAAG,CAAC,EAC3D,IAAI,EAAE,GAAG,CAAC,CAAC,CAAC,EACZ,KAAK,EAAE,CAAC,GACN,cAAc,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAElD;AAED;;;;;GAKG;AACH,KAAK,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,GAAG,QAAQ,CAAA;AAczE,0CAA0C;AAC1C,iBAAS,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,EACjE,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,GACN,cAAc,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAExE;AAED,uCAAuC;AACvC,iBAAS,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,EACjE,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,GACN,cAAc,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAExE;AAED,6CAA6C;AAC7C,iBAAS,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,EACjE,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,GACN,cAAc,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAExE;AAED,0CAA0C;AAC1C,iBAAS,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,EACjE,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,GACN,cAAc,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAExE;AAED,8EAA8E;AAC9E,KAAK,aAAa,GAAG,GAAG,CAAC,aAAa,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,aAAa,CAAC,GAAG,aAAa,CAAA;AAEtF,qCAAqC;AACrC,KAAK,UAAU,GAAG,GAAG,CAAC,MAAM,CAAC,GAAG,KAAK,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,MAAM,CAAA;AAE9D;;;;;;GAMG;AACH,iBAAS,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,aAAa,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,EACxE,QAAQ,EAAE,CAAC,EACX,KAAK,EAAE,CAAC,GACN,cAAc,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CAKxE;AAUD;;;;;;GAMG;AACH,QAAA,MAAM,KAAK;;;;;;;;;;;;;;IAcV,4FAA4F;;IAE5F,iEAAiE;;IAEjE,6EAA6E;;IAE7E,sEAAsE;;EAErE,CAAA;AAEF;;;;;;;GAOG;AACH,iBAAS,KAAK,CACb,KAAK,CAAC,CAAC,SAAS,aAAa,EAC7B,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,SAAS,CAAC,MAAM,CAAC,EAC1C,KAAK,CAAC,CAAC,SAAS,aAAa,EAE7B,IAAI,EAAE,CAAC,EACP,IAAI,EAAE,CAAC,EACP,KAAK,EAAE,CAAC,GACN,cAAc,CAAC,WAAW,CAAC,gBAAgB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,CA4B9F;AAED;;;;;GAKG;AACH,iBAAS,GAAG,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,YAAY,EAAE,EACnD,GAAG,QAAQ,EAAE,CAAC,GACZ,iBAAiB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAMvD;AAED;;;;;GAKG;AACH,iBAAS,EAAE,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,YAAY,EAAE,EAClD,GAAG,QAAQ,EAAE,CAAC,GACZ,iBAAiB,CAAC,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAMvD;AAED;;;;GAIG;AACH,iBAAS,QAAQ,CAAC,EAAE,SAAS,aAAa,EAAE,IAAI,EAAE,GAAG,CAAC,EAAE,CAAC,GAAG,QAAQ,CAOnE;AAED,YAAY,EACX,WAAW,EACX,YAAY,EACZ,cAAc,EACd,YAAY,EACZ,cAAc,EACd,WAAW,EACX,SAAS,EACT,OAAO,EACP,cAAc,EACd,iBAAiB,EACjB,QAAQ,EACR,aAAa,EACb,QAAQ,EACR,SAAS,EACT,UAAU,EACV,UAAU,EACV,UAAU,EACV,cAAc,EACd,SAAS,EACT,CAAA;AACD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,eAAe,EAAE,CAAA"}

package/dist/query/atom.js

@@ -0,0 +1,281 @@
+/**
+ * Query atoms and conditions (PRD-08) — the body vocabulary of a rule,
+ * mirroring the engine IR variant for variant
+ * (`bumbledb/crates/bumbledb/src/ir.rs`, the bijection target;
+ * `docs/architecture/20-query-ir.md` normative): `match` is the named-field
+ * atom (unmentioned fields ARE the wildcard — no wildcard value exists),
+ * `not` is negation-as-position (anti-join), `is`/`ne`/`lt`/`le`/`gt`/`ge`
+ * are the comparison roster, `covers` is the IR's `PointIn` predicate,
+ * `allen` the 13-bit-mask interval-pair comparison, `and`/`or` the input
+ * condition-tree grammar (distributed to DNF by the engine's validation),
+ * and `duration` the measure term. Nothing beyond the IR exists here: no
+ * convenience operator fakes an unsupported comparison.
+ */
+import * as errors from "@superbuilders/errors";
+import { phantom } from "#brand.ts";
+import { isTerm, term } from "#query/scope.ts";
+/** Narrows an `oneOf` literal set (the detection rule `where()` uses). */
+function isOneOf(value) {
+    return typeof value === "object" && value !== null && "literals" in value && Array.isArray(value.literals);
+}
+/** Resolves one binding value to its runtime term. */
+function bindingTermOf(context, value) {
+    if (isTerm(value)) {
+        if (value[term] === "maskParam") {
+            throw errors.new(`${context}: an Allen-mask param is not a field-typed value — masks live in allen() conditions only`);
+        }
+        return Object.freeze({ kind: "term", value });
+    }
+    if (isOneOf(value)) {
+        return Object.freeze({ kind: "oneOf", values: Object.freeze([...value.literals]) });
+    }
+    return Object.freeze({ kind: "literal", value });
+}
+/**
+ * Resolves a bindings record against an ordered field roster (shared by
+ * relation atoms here and predicate atoms in `#query/predicate.ts`), in
+ * the record's written order.
+ */
+function resolveBindings(context, fields, bindings) {
+    const entries = [];
+    for (const [fieldName, value] of Object.entries(bindings)) {
+        if (value === undefined) {
+            continue;
+        }
+        const declared = fields.find(function byName(candidate) {
+            return candidate.name === fieldName;
+        });
+        if (declared === undefined) {
+            throw errors.new(`${context} has no field ${fieldName}`);
+        }
+        entries.push(Object.freeze({
+            field: fieldName,
+            data: declared.field,
+            term: bindingTermOf(`${context}.${fieldName}`, value)
+        }));
+    }
+    return Object.freeze(entries);
+}
+/**
+ * The named-field atom — the semantic twin of `query!`'s `Node(id: c)`:
+ * fields bind vars, params, branded literals, `oneOf` sets, or (interval
+ * fields) point terms; unmentioned fields are wildcards; a zero-binding
+ * atom is a nonemptiness gate on the relation (IR-legal, so writable).
+ */
+function match(relation, bindings) {
+    return Object.freeze({
+        item: "atom",
+        negated: false,
+        source: Object.freeze({ kind: "relation", relation }),
+        bindings: resolveBindings(`relation ${relation.name}`, relation.data.fields, Object.fromEntries(Object.entries(bindings)))
+    });
+}
+/**
+ * Negation — anti-join over sets, no null trick: a binding satisfies the
+ * negated atom iff NO fact matches it. Safety (every negated var bound
+ * positively) is validated at `query()` construction with an error naming
+ * the variable; the negated atom binds nothing, only rejects. An `oneOf`
+ * binding is refused HERE, at construction: it lowers to a synthetic
+ * variable bound only inside the atom plus a rule-level OR — which is
+ * exactly the shape the safety rule rejects, and semantically wrong for
+ * negation anyway (¬∃(f = a ∨ f = b) is a CONJUNCTION of negated atoms,
+ * ¬∃(f = a) ∧ ¬∃(f = b), never one negated atom's OR).
+ */
+function not(atom) {
+    if (atom.item !== "atom" || atom.negated) {
+        throw errors.new("negation is a position in the rule, not an operator — not() takes one positive atom");
+    }
+    for (const binding of atom.bindings) {
+        if (binding.term.kind === "oneOf") {
+            const source = atom.source.kind === "relation" ? atom.source.relation.name : `predicate ${atom.source.pred.name}`;
+            throw errors.new(`negated ${source} atom binds ${binding.field} with oneOf(...) — ¬∃(${binding.field} = a ∨ ${binding.field} = b) means ¬∃(${binding.field} = a) ∧ ¬∃(${binding.field} = b): write one not(match(...)) per literal, or bind a paramSet`);
+        }
+    }
+    return Object.freeze({
+        item: "atom",
+        negated: true,
+        source: atom.source,
+        bindings: atom.bindings
+    });
+}
+/** Builds one comparison value. */
+function comparison(op, lhs, rhs) {
+    return Object.freeze({ item: "cmp", op: Object.freeze(op), lhs, rhs });
+}
+/** Narrows a `duration()` value. */
+function isDuration(value) {
+    return typeof value === "object" && value !== null && "measure" in value && !isTerm(value);
+}
+/** Resolves one comparison side to its runtime term. */
+function cmpTermOf(value) {
+    if (isTerm(value)) {
+        return Object.freeze({ kind: "term", value });
+    }
+    if (isDuration(value)) {
+        return Object.freeze({ kind: "measure", over: value.measure });
+    }
+    return Object.freeze({ kind: "literal", value });
+}
+/**
+ * Rejects a comparison with no term side: it is constant-valued, the
+ * engine's own validation refuses it, and the lowering has no field
+ * position to type the literals by — fail here with the same verdict.
+ */
+function assertTermSide(op, lhs, rhs) {
+    if (lhs.kind === "literal" && rhs.kind === "literal") {
+        throw errors.new(`${op}: a comparison without a variable or parameter side is constant-valued — write the query you mean`);
+    }
+}
+/**
+ * The equality atom (`ir::CmpOp::Eq`) — for binding a var to a param or
+ * literal where punning inside `match` doesn't apply, and for var-to-var
+ * unification. Prefer direct placement (`match(Account, { kind:
+ * Kind.Savings })`); `is` exists for the var-to-param case. `ParamSet` is
+ * legal here and under no other operator (the IR's `Eq`-only set rule).
+ */
+function is(left, right) {
+    return comparison(Object.freeze({ kind: "eq" }), cmpTermOf(left), cmpTermOf(right));
+}
+/** Typed disequality (`ir::CmpOp::Ne`). "Not in set" has no operator — write a negated atom. */
+function ne(left, right) {
+    return comparison(Object.freeze({ kind: "ne" }), cmpTermOf(left), cmpTermOf(right));
+}
+/** The shared order-comparison constructor. */
+function order(op, left, right) {
+    const lhs = cmpTermOf(left);
+    const rhs = cmpTermOf(right);
+    assertTermSide(op, lhs, rhs);
+    return comparison(Object.freeze({ kind: op }), lhs, rhs);
+}
+/** Strict less-than (`ir::CmpOp::Lt`). */
+function lt(left, right) {
+    return order("lt", left, right);
+}
+/** Less-or-equal (`ir::CmpOp::Le`). */
+function le(left, right) {
+    return order("le", left, right);
+}
+/** Strict greater-than (`ir::CmpOp::Gt`). */
+function gt(left, right) {
+    return order("gt", left, right);
+}
+/** Greater-or-equal (`ir::CmpOp::Ge`). */
+function ge(left, right) {
+    return order("ge", left, right);
+}
+/**
+ * Point membership as a predicate (`ir::CmpOp::PointIn`): `covers(iv, t)`
+ * holds iff `iv.start ≤ t < iv.end` — the predicate form of the membership
+ * typing rule, for terms already bound elsewhere. Interval ⊇ interval is
+ * NOT this operator; that predicate is `allen(a, ALLEN.covers, b)`. The IR
+ * orders the operands interval-left, point-right; so does this surface.
+ */
+function covers(interval, point) {
+    const lhs = cmpTermOf(interval);
+    const rhs = cmpTermOf(point);
+    assertTermSide("covers", lhs, rhs);
+    return comparison(Object.freeze({ kind: "pointIn" }), lhs, rhs);
+}
+/**
+ * The 13-bit mask range: bits above the low 13 are unrepresentable in the
+ * engine's `AllenMask` (`bumbledb/crates/bumbledb/src/allen.rs`:
+ * `AllenMask::new` refuses them) — the check here is the same boundary,
+ * moved to construction where the message can name the constants.
+ */
+const ALLEN_ALL_BITS = (1 << 13) - 1;
+/**
+ * The Allen coordinate system's named constants — the 13 basics in the
+ * engine's palindromic bit order (bit i = basic i:
+ * `bumbledb/crates/bumbledb/src/allen.rs`, a specified representation)
+ * plus the workload composites, values identical to the engine's. Compose
+ * with `|`: `ALLEN.before | ALLEN.meets`.
+ */
+const ALLEN = Object.freeze({
+    before: 1 << 0,
+    meets: 1 << 1,
+    overlaps: 1 << 2,
+    starts: 1 << 3,
+    during: 1 << 4,
+    finishes: 1 << 5,
+    equals: 1 << 6,
+    finishedBy: 1 << 7,
+    contains: 1 << 8,
+    startedBy: 1 << 9,
+    overlappedBy: 1 << 10,
+    metBy: 1 << 11,
+    after: 1 << 12,
+    /** The point-sets share a point (9 bits; under half-open intervals *meets* shares none). */
+    intersects: (1 << 2) | (1 << 3) | (1 << 4) | (1 << 5) | (1 << 6) | (1 << 7) | (1 << 8) | (1 << 9) | (1 << 10),
+    /** Point-set ⊇: equals ∪ contains ∪ started-by ∪ finished-by. */
+    covers: (1 << 6) | (1 << 8) | (1 << 9) | (1 << 7),
+    /** Point-set ⊆ — `covers`' converse: equals ∪ during ∪ starts ∪ finishes. */
+    coveredBy: (1 << 6) | (1 << 4) | (1 << 3) | (1 << 5),
+    /** The point-sets share no point: before ∪ meets ∪ met-by ∪ after. */
+    disjoint: (1 << 0) | (1 << 1) | (1 << 11) | (1 << 12)
+});
+/**
+ * THE interval-pair comparison (`ir::CmpOp::Allen`): two interval terms of
+ * one element type, satisfied iff the pair's classification is in the
+ * 13-bit mask — a literal built from the `ALLEN` constants, or a mask
+ * parameter (`$.allenParam`). Vacuous masks (empty/full) are the engine's
+ * two distinct typed rejections; nothing is pre-judged here beyond the
+ * representable bit range.
+ */
+function allen(left, mask, right) {
+    const lhs = cmpTermOf(left);
+    const rhs = cmpTermOf(right);
+    assertTermSide("allen", lhs, rhs);
+    const maskValue = mask;
+    if (typeof maskValue === "number") {
+        if (!Number.isInteger(maskValue) || maskValue < 0 || maskValue > ALLEN_ALL_BITS) {
+            throw errors.new(`allen mask ${maskValue} is not a 13-bit mask — build masks from the ALLEN constants (bumbledb allen.rs: bits above the low 13 are unrepresentable)`);
+        }
+        return comparison(Object.freeze({
+            kind: "allen",
+            mask: Object.freeze({ kind: "literal", mask: maskValue })
+        }), lhs, rhs);
+    }
+    return comparison(Object.freeze({
+        kind: "allen",
+        mask: Object.freeze({ kind: "param", param: maskValue })
+    }), lhs, rhs);
+}
+/**
+ * Conjunction node of the input condition grammar (`ConditionTree::And`).
+ * The rule's condition list is already a conjunction — `and` exists for
+ * nesting under `or`, and the empty combination keeps the IR's algebraic
+ * reading (`And([])` is true).
+ */
+function and(...children) {
+    return Object.freeze({
+        item: "tree",
+        op: "and",
+        children: Object.freeze([...children])
+    });
+}
+/**
+ * Disjunction node of the input condition grammar (`ConditionTree::Or`) —
+ * the one place the surface admits a nested OR; validation distributes it
+ * to DNF rules engine-side (OR is data or it is nothing). `Or([])` keeps
+ * its algebraic reading (false: the rule denotes nothing).
+ */
+function or(...children) {
+    return Object.freeze({
+        item: "tree",
+        op: "or",
+        children: Object.freeze([...children])
+    });
+}
+/**
+ * The measure term — surface `Duration`, IR `Measure`: the point-set
+ * cardinality `end − start` of an interval-typed variable, u64. See
+ * {@link Duration} for the legal positions.
+ */
+function duration(over) {
+    if (over.data.type.kind !== "interval") {
+        throw errors.new(`duration(${over.relation}.${over.field}): the measure is defined over interval-typed variables only`);
+    }
+    return Object.freeze({ measure: over });
+}
+export { ALLEN, allen, and, covers, duration, ge, gt, is, le, lt, match, ne, not, or, resolveBindings };
+//# sourceMappingURL=atom.js.map

package/dist/query/atom.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"atom.js","sourceRoot":"","sources":["../../src/query/atom.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAgBnC,OAAO,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAsI9C,0EAA0E;AAC1E,SAAS,OAAO,CAAC,KAAc;IAC9B,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,UAAU,IAAI,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAA;AAC3G,CAAC;AAED,sDAAsD;AACtD,SAAS,aAAa,CAAC,OAAe,EAAE,KAAc;IACrD,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,IAAI,KAAK,CAAC,IAAI,CAAC,KAAK,WAAW,EAAE,CAAC;YACjC,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,OAAO,0FAA0F,CACpG,CAAA;QACF,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,KAAK,EAAE,CAAC,CAAA;IACvD,CAAC;IACD,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAA;IAC7F,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,CAAC,CAAA;AAC1D,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CACvB,OAAe,EACf,MAA2E,EAC3E,QAA2C;IAE3C,MAAM,OAAO,GAAmB,EAAE,CAAA;IAClC,KAAK,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,EAAE,CAAC;QAC3D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACzB,SAAQ;QACT,CAAC;QACD,MAAM,QAAQ,GAAG,MAAM,CAAC,IAAI,CAAC,SAAS,MAAM,CAAC,SAAS;YACrD,OAAO,SAAS,CAAC,IAAI,KAAK,SAAS,CAAA;QACpC,CAAC,CAAC,CAAA;QACF,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,MAAM,CAAC,GAAG,CAAC,GAAG,OAAO,iBAAiB,SAAS,EAAE,CAAC,CAAA;QACzD,CAAC;QACD,OAAO,CAAC,IAAI,CACX,MAAM,CAAC,MAAM,CAAC;YACb,KAAK,EAAE,SAAS;YAChB,IAAI,EAAE,QAAQ,CAAC,KAAK;YACpB,IAAI,EAAE,aAAa,CAAC,GAAG,OAAO,IAAI,SAAS,EAAE,EAAE,KAAK,CAAC;SACrD,CAAC,CACF,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;AAC9B,CAAC;AAED;;;;;GAKG;AACH,SAAS,KAAK,CACb,QAAgC,EAChC,QAAW;IAEX,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,MAAe;QACrB,OAAO,EAAE,KAAK;QACd,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,QAAQ,EAAE,CAAC;QAC9D,QAAQ,EAAE,eAAe,CACxB,YAAY,QAAQ,CAAC,IAAI,EAAE,EAC3B,QAAQ,CAAC,IAAI,CAAC,MAAM,EACpB,MAAM,CAAC,WAAW,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAC5C;KACD,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;;;;GAUG;AACH,SAAS,GAAG,CAAyB,IAAkB;IACtD,IAAI,IAAI,CAAC,IAAI,KAAK,MAAM,IAAI,IAAI,CAAC,OAAO,EAAE,CAAC;QAC1C,MAAM,MAAM,CAAC,GAAG,CAAC,qFAAqF,CAAC,CAAA;IACxG,CAAC;IACD,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QACrC,IAAI,OAAO,CAAC,IAAI,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YACnC,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,IAAI,KAAK,UAAU,CAAC,CAAC,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,aAAa,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,EAAE,CAAA;YACjH,MAAM,MAAM,CAAC,GAAG,CACf,WAAW,MAAM,eAAe,OAAO,CAAC,KAAK,yBAAyB,OAAO,CAAC,KAAK,UAAU,OAAO,CAAC,KAAK,kBAAkB,OAAO,CAAC,KAAK,cAAc,OAAO,CAAC,KAAK,kEAAkE,CACtO,CAAA;QACF,CAAC;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,MAAe;QACrB,OAAO,EAAE,IAAI;QACb,MAAM,EAAE,IAAI,CAAC,MAAM;QACnB,QAAQ,EAAE,IAAI,CAAC,QAAQ;KACvB,CAAC,CAAA;AACH,CAAC;AAED,mCAAmC;AACnC,SAAS,UAAU,CAAC,EAAa,EAAE,GAAY,EAAE,GAAY;IAC5D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAc,EAAE,EAAE,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,EAAE,CAAC,CAAA;AAChF,CAAC;AAED,oCAAoC;AACpC,SAAS,UAAU,CAAC,KAAc;IACjC,OAAO,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,SAAS,IAAI,KAAK,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;AAC3F,CAAC;AAED,wDAAwD;AACxD,SAAS,SAAS,CAAC,KAAc;IAChC,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;QACnB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAe,EAAE,KAAK,EAAE,CAAC,CAAA;IACvD,CAAC;IACD,IAAI,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;QACvB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;IACxE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,KAAK,EAAE,CAAC,CAAA;AAC1D,CAAC;AAED;;;;GAIG;AACH,SAAS,cAAc,CAAC,EAAU,EAAE,GAAY,EAAE,GAAY;IAC7D,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;QACtD,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,EAAE,mGAAmG,CACxG,CAAA;IACF,CAAC;AACF,CAAC;AAED;;;;;;GAMG;AACH,SAAS,EAAE,CACV,IAAY,EACZ,KAAQ;IAER,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;AAC7F,CAAC;AAED,gGAAgG;AAChG,SAAS,EAAE,CACV,IAAY,EACZ,KAAQ;IAER,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,CAAC,EAAE,SAAS,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAA;AAC7F,CAAC;AAUD,+CAA+C;AAC/C,SAAS,KAAK,CACb,EAA6B,EAC7B,IAAO,EACP,KAAQ;IAER,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;IAC5B,cAAc,CAAC,EAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;IAC5B,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;AACzD,CAAC;AAED,0CAA0C;AAC1C,SAAS,EAAE,CACV,IAAO,EACP,KAAQ;IAER,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,uCAAuC;AACvC,SAAS,EAAE,CACV,IAAO,EACP,KAAQ;IAER,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,6CAA6C;AAC7C,SAAS,EAAE,CACV,IAAO,EACP,KAAQ;IAER,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAED,0CAA0C;AAC1C,SAAS,EAAE,CACV,IAAO,EACP,KAAQ;IAER,OAAO,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;AAChC,CAAC;AAQD;;;;;;GAMG;AACH,SAAS,MAAM,CACd,QAAW,EACX,KAAQ;IAER,MAAM,GAAG,GAAG,SAAS,CAAC,QAAQ,CAAC,CAAA;IAC/B,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;IAC5B,cAAc,CAAC,QAAQ,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;IAClC,OAAO,UAAU,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;AACzE,CAAC;AAED;;;;;GAKG;AACH,MAAM,cAAc,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAA;AAEpC;;;;;;GAMG;AACH,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC;IAC3B,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,KAAK,EAAE,CAAC,IAAI,CAAC;IACb,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,MAAM,EAAE,CAAC,IAAI,CAAC;IACd,UAAU,EAAE,CAAC,IAAI,CAAC;IAClB,QAAQ,EAAE,CAAC,IAAI,CAAC;IAChB,SAAS,EAAE,CAAC,IAAI,CAAC;IACjB,YAAY,EAAE,CAAC,IAAI,EAAE;IACrB,KAAK,EAAE,CAAC,IAAI,EAAE;IACd,KAAK,EAAE,CAAC,IAAI,EAAE;IACd,4FAA4F;IAC5F,UAAU,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IAC7G,iEAAiE;IACjE,MAAM,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACjD,6EAA6E;IAC7E,SAAS,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC;IACpD,sEAAsE;IACtE,QAAQ,EAAE,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;CACrD,CAAC,CAAA;AAEF;;;;;;;GAOG;AACH,SAAS,KAAK,CAKb,IAAO,EACP,IAAO,EACP,KAAQ;IAER,MAAM,GAAG,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAC3B,MAAM,GAAG,GAAG,SAAS,CAAC,KAAK,CAAC,CAAA;IAC5B,cAAc,CAAC,OAAO,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;IACjC,MAAM,SAAS,GAA+B,IAAI,CAAA;IAClD,IAAI,OAAO,SAAS,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,SAAS,CAAC,IAAI,SAAS,GAAG,CAAC,IAAI,SAAS,GAAG,cAAc,EAAE,CAAC;YACjF,MAAM,MAAM,CAAC,GAAG,CACf,cAAc,SAAS,6HAA6H,CACpJ,CAAA;QACF,CAAC;QACD,OAAO,UAAU,CAChB,MAAM,CAAC,MAAM,CAAC;YACb,IAAI,EAAE,OAAgB;YACtB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAkB,EAAE,IAAI,EAAE,SAAS,EAAE,CAAC;SAClE,CAAC,EACF,GAAG,EACH,GAAG,CACH,CAAA;IACF,CAAC;IACD,OAAO,UAAU,CAChB,MAAM,CAAC,MAAM,CAAC;QACb,IAAI,EAAE,OAAgB;QACtB,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAgB,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC;KACjE,CAAC,EACF,GAAG,EACH,GAAG,CACH,CAAA;AACF,CAAC;AAED;;;;;GAKG;AACH,SAAS,GAAG,CACX,GAAG,QAAW;IAEd,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,MAAe;QACrB,EAAE,EAAE,KAAc;QAClB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC;KACtC,CAAC,CAAA;AACH,CAAC;AAED;;;;;GAKG;AACH,SAAS,EAAE,CACV,GAAG,QAAW;IAEd,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,MAAe;QACrB,EAAE,EAAE,IAAa;QACjB,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC;KACtC,CAAC,CAAA;AACH,CAAC;AAED;;;;GAIG;AACH,SAAS,QAAQ,CAA2B,IAAa;IACxD,IAAI,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACxC,MAAM,MAAM,CAAC,GAAG,CACf,YAAY,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,KAAK,8DAA8D,CACrG,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAA;AACxC,CAAC;AAuBD,OAAO,EAAE,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,QAAQ,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,eAAe,EAAE,CAAA"}