@bjornpagen/bumbledb 0.1.0 → 0.3.0

package/dist/query/lower.d.ts

@@ -1,145 +1,348 @@
 /**
- * `query()` and the IR lowering (PRD-08). A query is built inside a scope
- * callback (variable identity is lexical and typed) and is an INERT value:
- * `Query<Rels, Row, Params>` with `Row` inferred from `select` and
- * `Params` from every parameter the returned rules (and the predicates
- * they reach) use. Lowering is a pure function of the query value down to
- * the bridge's `ProgramIr` (`bumbledb/crates/bumbledb/src/ir.rs`, the
- * bijection target): relations and predicates by declaration ordinal (the
- * declaration-order-is-ids law the engine's manifest pins), variables by
- * dense per-rule first-occurrence ids (rule-scoped, exactly as the IR
- * scopes them), params by scope declaration order. Lowering is STABLE —
- * the same query value lowers to deeply-equal IR every time, and two
- * identically-written queries lower identically (prepared-query caching
- * upstream keys on this). Construction validates negation safety (typed,
- * naming the variable — earlier and warmer than the engine's refusal);
- * everything else (strata, types, aggregates rosters, rule caps) is the
- * ENGINE's judge, surfacing its typed errors at prepare. No invented
- * limits: rule counts and predicate counts are never pre-checked here.
+ * `query()` and the IR lowering, STRUCTURAL edition. A query is built
+ * kysely-shaped — `query(S).rule(r => r.match(Rel, { f: r.var("x") })
+ * .where(r.eq(r.var("x"), r.param("p"))).select("x"))` — and is an INERT
+ * value: `Query<Rels, Row, Params>` with `Row` inferred from each rule's
+ * `.select` and `Params` inferred to be EXACTLY the params the rules use
+ * (params are typed BY USE; a param value no rule uses never registers, so
+ * every query executes under its own inferred type). Vars are string
+ * names, domain-typed by the field they first bind and joined by reuse —
+ * the rule builder's environment carries name → field descriptor through
+ * the chain, checked structurally at every reuse (`JoinOk`), so the old
+ * brand-equal join is now the domain-equal compile error. Lowering is a
+ * pure function of the query value down to the bridge's `ProgramIr`
+ * (`bumbledb/crates/bumbledb/src/ir.rs`, the bijection target): relations
+ * by declaration ordinal (the declaration-order-is-ids law the engine's
+ * manifest pins), variables by dense per-rule first-occurrence ids
+ * (rule-scoped, exactly as the IR scopes them), params by first-use order
+ * across the program walk. Lowering is STABLE — the same query value
+ * lowers to deeply-equal IR every time, and two identically-written
+ * queries lower identically. Construction validates negation safety and
+ * name-boundness (typed, naming the variable — earlier and warmer than
+ * the engine's refusal); everything else (strata, types, aggregate
+ * rosters, rule caps) is the ENGINE's judge, surfacing its typed errors
+ * at prepare. No invented limits: rule and predicate counts are never
+ * pre-checked here.
  */
-import { phantom } from "#brand.ts";
-import { type FieldData } from "#fields.ts";
+import type { AnyField } from "#fields.ts";
+import type { ClassRecordOf, SchemaClasses } from "#law.ts";
 import type { ProgramIr, TaggedValue } from "#native.ts";
-import type { AnyBodyItem } from "#query/atom.ts";
-import type { ColumnValues, Predicate, PredicateColumnsInput, PredicateParams, PredicateRuleInput, PredicateSelf } from "#query/predicate.ts";
-import type { AnyVar, ItemParams, MaskParam, Param, ParamSet, ParamsRecord, ParamsShape, QueryRegistry, Var } from "#query/scope.ts";
-import type { AggregateData, RowOf, SelectShape } from "#query/select.ts";
-import type { FieldRef } from "#relation.ts";
-import type { Schema, SchemaRelations } from "#schema.ts";
+import type { AnyCond, BindEnv, BindParamsShape, CheckBindings, CheckCond, CmpKind, CondParamsShape, MatchFields, MatchOwner, MatchShape, RecData, RuleData, SelectColumn } from "#query/atom.ts";
+import { allen, and, covers, eq, ge, gt, le, lt, ne, not, or, pointIn } from "#query/atom.ts";
+import type { ClassedField, EnvShape, Flatten, InferredOf, JoinOk, ParamEntry, ParamsRecord, Var } from "#query/scope.ts";
+import { inferred, makeDuration, makeMaskParam, makeParam, makeSetParam, makeVar, makeVars } from "#query/scope.ts";
+import type { CheckNameSelect, CheckSelect, RowOfNameSelect, RowOfSelect, SelectEntry } from "#query/select.ts";
+import { argMax, argMin, count, countDistinct, max, min, pack, sum } from "#query/select.ts";
+import type { FieldsShape } from "#relation.ts";
+import type { AnySchema, Schema, SchemaRelations } from "#schema.ts";
 /**
- * The scope value the `query()` build callback receives: variable and
- * parameter declaration plus predicate declaration (engine recursion).
+ * The matchable members of a schema's record — ordinary relations AND
+ * closed vocabularies (ψ query atoms: a closed atom is an ordinary EDB
+ * atom over the sealed extension; the ENGINE decides whether it folds to a
+ * plan-constant member set or joins the L1-resident virtual image — the
+ * SDK lowers pass-through and never knows which).
  */
-interface Scope<Rels extends SchemaRelations> {
-    /**
-     * Declares one query variable, typed by the field it is declared from
-     * — usable in ANY atom position whose field carries the same brand
-     * (the nominal join discipline). Two calls are two variables.
-     */
-    var<V>(field: FieldRef<keyof Rels & string, string, V>): Var<V>;
-    /**
-     * Declares one scalar parameter under a mandatory name literal — the
-     * key of the typed params object `execute` takes.
-     */
-    param<const Name extends string, V>(name: Name, field: FieldRef<keyof Rels & string, string, V>): Param<Name, V>;
-    /**
-     * Declares one set parameter (the IR's `ParamSet`): bound at execution
-     * to a readonly array; a binding position matches on set membership.
-     */
-    paramSet<const Name extends string, V>(name: Name, field: FieldRef<keyof Rels & string, string, V>): ParamSet<Name, V>;
-    /**
-     * Declares one Allen-mask parameter (`MaskTerm::Param`): the temporal
-     * relation as a bind-time 13-bit mask argument.
-     */
-    allenParam<const Name extends string>(name: Name): MaskParam<Name>;
+type QueryRelation<Rels extends SchemaRelations> = Extract<Rels[keyof Rels], MatchOwner>;
+/** The environment after one bindings record: the incoming env plus every var the record binds (as classed slots). */
+type EnvOfMatch<Env extends EnvShape, F extends FieldsShape, CR, B> = Flatten<Env & BindEnv<F, CR, B>> extends infer E extends EnvShape ? E : never;
+/** Reads an inferred-params carrier off a rec reference or rule value. */
+type ParamsOf<T> = InferredOf<T> extends {
+    readonly params: infer P extends ParamsRecord;
+} ? P : Record<never, never>;
+/** Reads an inferred-row carrier off a rule value or query. */
+type RowOf<T> = InferredOf<T> extends {
+    readonly row: infer R;
+} ? R : never;
+/**
+ * A recursive predicate's HEAD signature as classed slots (descriptor +
+ * law-computed class), position for position — carried on the rec
+ * reference so an `idb` join can be judged against it; `undefined` on
+ * values that carry no head (a plain query rule, or an unthreaded rec
+ * handle before its first rule).
+ */
+type HeadShape = readonly ClassedField[] | undefined;
+/**
+ * One finished rule as a plain value: the runtime data plus the inferred
+ * row/params carrier (and, for a RECURSIVE rule, the head's positional
+ * field descriptors — the signature `idb` joins pair against).
+ * `.rule(...)` consumes it; hosts never build one by hand.
+ */
+interface RuleValue<Row, P extends ParamsRecord, Head extends HeadShape = undefined> {
+    readonly rule: RuleData;
+    readonly [inferred]?: {
+        readonly row: Row;
+        readonly params: P;
+        readonly head: Head;
+    };
+}
+/** Any finished rule value. */
+type AnyRuleValue = RuleValue<unknown, ParamsRecord, HeadShape>;
+/** The positional head-field tuple of a recursive rule's names-only select. */
+type HeadFieldsOf<Env extends EnvShape, S extends readonly string[]> = {
+    readonly [I in keyof S]: Env[S[I] & keyof Env];
+};
+/** Reads an inferred-head carrier off a rule value or rec reference. */
+type HeadOf<T> = InferredOf<T> extends {
+    readonly head: infer H extends readonly ClassedField[];
+} ? H : undefined;
+/**
+ * A recursive predicate REFERENCE — the shape `idb()` targets carry: the
+ * name (type-level identity: a recursive rule's own `idb` accepts only its
+ * own name — the self-recursion cut), the runtime data (value identity),
+ * the params its attached rules have used so far, and the head signature
+ * its FIRST rule sealed (thread the value `.rule(...)` returns into an
+ * `idb` and the program's `Params` type stays exact AND the idb join is
+ * arity- and domain-checked against the head).
+ */
+interface RecRef<Name extends string, P extends ParamsRecord, Head extends HeadShape = HeadShape> {
+    readonly name: Name;
+    readonly data: RecData;
+    readonly [inferred]?: {
+        readonly params: P;
+        readonly head: Head;
+    };
+}
+/** One `idb` position's judgment: the var must be bound by a relation atom, class-equal to the head slot when the head is carried. */
+type IdbVarOk<Env extends EnvShape, T, F> = T extends Var<infer N extends string> ? N extends keyof Env ? F extends ClassedField ? JoinOk<Env[N], F> : true : false : false;
+/**
+ * The validated `idb` variable tuple: every var must already be bound by a
+ * relation atom of the rule; and when the target carries its head
+ * signature (the threaded rec handle), the tuple must match the head's
+ * arity and every position must be class-equal to its head slot — the
+ * same wall `JoinOk` holds for EDB atoms. An unthreaded handle carries no
+ * head; its joins stay boundness-checked here and arity/class-judged at
+ * prepare (the engine's law stands behind both tiers).
+ */
+type CheckIdbVars<Env extends EnvShape, V, Head extends HeadShape = undefined> = Head extends readonly ClassedField[] ? V extends readonly unknown[] ? V["length"] extends Head["length"] ? {
+    readonly [I in keyof V]: IdbVarOk<Env, V[I], Head[I & keyof Head]> extends true ? V[I] : never;
+} : {
+    readonly [I in keyof V]: never;
+} : never : {
+    readonly [I in keyof V]: IdbVarOk<Env, V[I], undefined> extends true ? V[I] : never;
+};
+/**
+ * The term/predicate/aggregate constructor vocabulary every rule builder
+ * carries — pure value builders, environment-free: the chain's `.where`,
+ * `.match`, and `.select` seams judge their output against the rule
+ * environment.
+ */
+interface TermOps {
+    /** Declares/names one variable: typed by the field it first binds; reuse joins. */
+    readonly var: typeof makeVar;
+    /** Mints several variables at once — `const { service, w } = r.vars("service", "w")`: each name typed exactly; duplicates refuse. */
+    readonly vars: typeof makeVars;
+    /** Names one scalar parameter: typed by its use; the key of the execute params object. */
+    readonly param: typeof makeParam;
+    /** Names one ∈-set parameter (the IR's `ParamSet`): bound to a readonly array at execution. */
+    readonly inSet: typeof makeSetParam;
+    /** Names one Allen-mask parameter (`MaskTerm::Param`): a bind-time 13-bit mask number. */
+    readonly maskParam: typeof makeMaskParam;
+    /** The measure of an interval-typed variable: `|[s, e)| = e − s`, u64. */
+    readonly duration: typeof makeDuration;
+    readonly eq: typeof eq;
+    readonly ne: typeof ne;
+    readonly lt: typeof lt;
+    readonly le: typeof le;
+    readonly gt: typeof gt;
+    readonly ge: typeof ge;
+    readonly pointIn: typeof pointIn;
+    readonly covers: typeof covers;
+    readonly allen: typeof allen;
+    readonly and: typeof and;
+    readonly or: typeof or;
+    readonly not: typeof not;
+    readonly count: typeof count;
+    readonly countDistinct: typeof countDistinct;
+    readonly sum: typeof sum;
+    readonly min: typeof min;
+    readonly max: typeof max;
+    readonly argMax: typeof argMax;
+    readonly argMin: typeof argMin;
+    readonly pack: typeof pack;
+}
+/** The rule builder a `query(S).rule(...)` callback receives: the ops plus the first atom (`Classes` — the schema type's class map, the join judge's authority). */
+interface QueryRuleScope<Rels extends SchemaRelations, Classes extends SchemaClasses = SchemaClasses> extends TermOps {
+    /** The first EDB atom of the rule: fields bind vars, params, ∈-sets, or bare literals; absence is the wildcard (same-named vars within the record join class-equal). */
+    match<R extends QueryRelation<Rels>, const B extends MatchShape<MatchFields<R>>>(relation: R, bindings: B & CheckBindings<Record<never, never>, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>): QueryRuleChain<Rels, EnvOfMatch<Record<never, never>, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>, BindParamsShape<MatchFields<R>, B>, Classes>;
+}
+/** The chain of a plain query rule: more atoms, residual predicates, then the head. */
+interface QueryRuleChain<Rels extends SchemaRelations, Env extends EnvShape, P extends ParamsRecord, Classes extends SchemaClasses = SchemaClasses> {
+    /** One more positive EDB atom — var reuse joins, class-equal by the environment check. */
+    match<R extends QueryRelation<Rels>, const B extends MatchShape<MatchFields<R>>>(relation: R, bindings: B & CheckBindings<Env, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>): QueryRuleChain<Rels, EnvOfMatch<Env, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>, Flatten<P & BindParamsShape<MatchFields<R>, B>>, Classes>;
+    /** One residual predicate: a comparison, an `and`/`or` tree, or a negated atom (`r.not`). */
+    where<const C extends AnyCond>(cond: CheckCond<Env, Classes, C> & C): QueryRuleChain<Rels, Env, Flatten<P & CondParamsShape<Env, C>>, Classes>;
+    /** The head projection: var names, the measure, and aggregates; written order = answer column order. */
+    select<const S extends readonly SelectEntry[]>(...entries: CheckSelect<Env, S> & S): RuleValue<RowOfSelect<Env, S>, P>;
+}
+/** The rule builder an OUTPUT rule of a `program()` receives: a query rule plus finished-stratum `idb` atoms. */
+interface OutputRuleScope<Rels extends SchemaRelations, Classes extends SchemaClasses = SchemaClasses> extends TermOps {
+    match<R extends QueryRelation<Rels>, const B extends MatchShape<MatchFields<R>>>(relation: R, bindings: B & CheckBindings<Record<never, never>, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>): OutputRuleChain<Rels, EnvOfMatch<Record<never, never>, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>, BindParamsShape<MatchFields<R>, B>, Classes>;
+}
+/** The chain of an output rule: atoms, predicates, `idb` joins over the program's recs, then the head. */
+interface OutputRuleChain<Rels extends SchemaRelations, Env extends EnvShape, P extends ParamsRecord, Classes extends SchemaClasses = SchemaClasses> {
+    match<R extends QueryRelation<Rels>, const B extends MatchShape<MatchFields<R>>>(relation: R, bindings: B & CheckBindings<Env, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>): OutputRuleChain<Rels, EnvOfMatch<Env, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>, Flatten<P & BindParamsShape<MatchFields<R>, B>>, Classes>;
+    where<const C extends AnyCond>(cond: CheckCond<Env, Classes, C> & C): OutputRuleChain<Rels, Env, Flatten<P & CondParamsShape<Env, C>>, Classes>;
     /**
-     * Declares one IDB predicate with a named, field-typed head; its rules
-     * are given in the declaration through a callback receiving the
-     * predicate's own reference (self-recursion is `self.match({...})`).
-     * `.match` on the returned value uses it as a body atom elsewhere.
+     * One `idb` atom over a FINISHED stratum (any rec of this program): a
+     * positional join against the rec's head. An idb atom is a join
+     * position — every variable must already be bound by a relation atom of
+     * the rule (the theory's own domain relation; the rec's answers are
+     * theory values, so the join is identity). Threading the rec value the
+     * last `.rule(...)` returned carries its rules' params into `Params`
+     * AND its head signature, so the join is arity- and class-checked
+     * against the head at compile time.
      */
-    predicate<const Cols extends PredicateColumnsInput, const Rules extends readonly PredicateRuleInput<ColumnValues<Cols>>[]>(name: string, columns: Cols, rules: (self: PredicateSelf<ColumnValues<Cols>>) => Rules): Predicate<ColumnValues<Cols>, PredicateParams<Rules>>;
+    idb<Target extends RecRef<string, ParamsRecord>, const V extends readonly Var<string>[]>(target: Target, ...vars: CheckIdbVars<Env, V, HeadOf<Target>> & V): OutputRuleChain<Rels, Env, Flatten<P & ParamsOf<Target>>, Classes>;
+    select<const S extends readonly SelectEntry[]>(...entries: CheckSelect<Env, S> & S): RuleValue<RowOfSelect<Env, S>, P>;
+}
+/** The rule builder a RECURSIVE rule (`rec.rule(...)`) receives. */
+interface RecRuleScope<Rels extends SchemaRelations, Self extends string, Classes extends SchemaClasses = SchemaClasses> extends TermOps {
+    match<R extends QueryRelation<Rels>, const B extends MatchShape<MatchFields<R>>>(relation: R, bindings: B & CheckBindings<Record<never, never>, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>): RecRuleChain<Rels, Self, EnvOfMatch<Record<never, never>, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>, BindParamsShape<MatchFields<R>, B>, Classes>;
 }
 /**
- * What the build callback returns: `rules` is an array of conjunctions
- * (multiple rules = set union — answers are SETS, no order/limit exists;
- * the host sorts); `select` is the head record — non-aggregate entries are
- * the implicit group key.
+ * The chain of a recursive rule. Its `idb` accepts ONLY the rec itself —
+ * the self-recursion cut as a type-level boundary (mutual recursion is
+ * unwritable; a finished lower stratum is folded by the OUTPUT rules) —
+ * and its `select` takes bound variable NAMES only: aggregates and the
+ * measure are unrepresentable in a recursive head (the strata judge's
+ * `AggregationThroughCycle`/`MeasureInRecursiveHead`, made unwritable).
  */
-interface QueryBuild {
-    readonly rules: readonly (readonly AnyBodyItem[])[];
-    readonly select: SelectShape;
-}
-/** One classified select column as runtime data. */
-type SelectEntryData = {
-    readonly kind: "var";
-    readonly over: AnyVar;
-} | {
-    readonly kind: "measure";
-    readonly over: AnyVar;
-} | {
-    readonly kind: "aggregate";
-    readonly aggregate: AggregateData;
-};
-/** One answer column: its name (the row object key) and its entry. */
-interface SelectColumn {
-    readonly name: string;
-    readonly entry: SelectEntryData;
+interface RecRuleChain<Rels extends SchemaRelations, Self extends string, Env extends EnvShape, P extends ParamsRecord, Classes extends SchemaClasses = SchemaClasses> {
+    match<R extends QueryRelation<Rels>, const B extends MatchShape<MatchFields<R>>>(relation: R, bindings: B & CheckBindings<Env, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>): RecRuleChain<Rels, Self, EnvOfMatch<Env, MatchFields<R>, ClassRecordOf<Classes, R["name"]>, B>, Flatten<P & BindParamsShape<MatchFields<R>, B>>, Classes>;
+    where<const C extends AnyCond>(cond: CheckCond<Env, Classes, C> & C): RecRuleChain<Rels, Self, Env, Flatten<P & CondParamsShape<Env, C>>, Classes>;
+    /** The self-recursive atom: `idb(self, ...boundVars)` — only this rec's own reference is accepted (threaded, its head arity- and class-checks the join). */
+    idb<Target extends RecRef<Self, ParamsRecord>, const V extends readonly Var<string>[]>(target: Target, ...vars: CheckIdbVars<Env, V, HeadOf<Target>> & V): RecRuleChain<Rels, Self, Env, P, Classes>;
+    /** The recursive head: bound variable names only (the creation quarantine, restated for fixpoint topology); the value carries the head's classed slots for `idb` pairing. */
+    select<const S extends readonly string[]>(...names: CheckNameSelect<Env, S> & S): RuleValue<RowOfNameSelect<Env, S>, P, HeadFieldsOf<Env, S>>;
 }
-/** A query's runtime description — everything lowering and execution read. */
+/** A query's runtime description — everything lowering, the wire marshal, and answer decode read. */
 interface QueryData {
-    readonly registry: QueryRegistry;
-    readonly rules: readonly (readonly AnyBodyItem[])[];
+    /** The program's recursive predicates in declaration order (empty for a plain query); `PredId` = index. */
+    readonly recs: readonly RecData[];
+    /** The output rules in written order (multiple rules = set union). */
+    readonly rules: readonly RuleData[];
+    /** The head columns (every rule derives the same head; written order = answer column order). */
     readonly select: readonly SelectColumn[];
+    /** The registered params in first-use order across the program walk (= dense `ParamId`s). */
+    readonly params: readonly ParamEntry[];
 }
 /**
  * An inert query value. `Row` is the inferred answer-row object type;
- * `Params` the inferred execute-params object type. Prepare with
- * `db.prepare(q)`; nothing here touches an engine.
+ * `Params` the inferred execute-params object type — exactly the params
+ * the rules use. Prepare with `db.prepare(q)`; nothing here touches an
+ * engine.
  */
-interface Query<Rels extends SchemaRelations, Row, Params extends ParamsRecord> {
-    readonly schema: Schema<Rels>;
+interface Query<Rels extends SchemaRelations, Row, Params extends ParamsRecord, Classes extends SchemaClasses = SchemaClasses> {
+    readonly schema: Schema<Rels, Classes>;
     readonly data: QueryData;
-    readonly [phantom]?: {
+    /** One more rule — the query's answers are the SET UNION of its rules' answers; every rule derives the same head. */
+    rule<RV extends AnyRuleValue>(build: (r: QueryRuleScope<Rels, Classes>) => RV): Query<Rels, Row | RowOf<RV>, Flatten<Params & ParamsOf<RV>>, Classes>;
+    readonly [inferred]?: {
         readonly row: Row;
         readonly params: Params;
     };
 }
-/** Any query value, whatever its schema and inferred types. */
-type AnyQuery = Query<SchemaRelations, unknown, ParamsRecord>;
+/**
+ * Any query value as lowering and the runtime consume it: the theory it
+ * was built against and its runtime description — every `Query` (typed or
+ * program-built) carries exactly this.
+ */
+interface AnyQuery {
+    readonly schema: AnySchema;
+    readonly data: QueryData;
+}
 /** Extracts a query value's inferred answer-row type. */
-type QueryRow<Q extends AnyQuery> = Exclude<Q[typeof phantom], undefined>["row"];
+type QueryRow<Q extends AnyQuery> = RowOf<Q>;
 /** Extracts a query value's inferred execute-params type. */
-type QueryParams<Q extends AnyQuery> = Exclude<Q[typeof phantom], undefined>["params"];
-/** The params object type a build result implies (union over every rule item). */
-type BuildParams<R extends QueryBuild> = ParamsShape<ItemParams<R["rules"][number][number]>>;
+type QueryParams<Q extends AnyQuery> = ParamsOf<Q>;
+/** The entry value of `query(S)`: the first `.rule` mints the query. */
+interface QueryStart<Rels extends SchemaRelations, Classes extends SchemaClasses = SchemaClasses> {
+    rule<RV extends AnyRuleValue>(build: (r: QueryRuleScope<Rels, Classes>) => RV): Query<Rels, RowOf<RV>, ParamsOf<RV>, Classes>;
+}
 /**
- * Builds a query as a typed value: runs `build` inside a fresh scope,
- * classifies the select record (written order = answer column order),
- * validates negation safety across every rule (the predicates' rules
- * included), and freezes. Rule counts, strata legality, and every deeper
- * roster stay the engine's judge at prepare.
+ * The one runtime chain every context shares — non-generic on purpose: the
+ * typed chain interfaces (`QueryRuleChain`/`OutputRuleChain`/`RecRuleChain`)
+ * apply at the scope factories' boundaries, and the runtime beneath them is
+ * one plain value walk. Context gates the two context-bound verbs: `idb`
+ * (a program construct — self-only inside a rec, any rec of the program in
+ * the output, refused in a plain query) and the recursive `select`
+ * (bound variable names only — the creation quarantine).
  */
-declare function query<Rels extends SchemaRelations, const R extends QueryBuild>(theory: Schema<Rels>, build: ($: Scope<Rels>) => R): Query<Rels, RowOf<R["select"]>, BuildParams<R>>;
+interface RawChain {
+    match(relation: MatchOwner, bindings: Readonly<Record<string, unknown>>): RawChain;
+    where(cond: AnyCond): RawChain;
+    idb(target: RecRef<string, ParamsRecord>, ...vars: readonly Var<string>[]): RawChain;
+    select(...entries: readonly SelectEntry[]): RuleValue<never, never>;
+}
+/** The runtime rule-builder shape beneath every typed scope. */
+interface RawScope extends TermOps {
+    match(relation: MatchOwner, bindings: Readonly<Record<string, unknown>>): RawChain;
+}
+/** Which rule family a chain builds — gates `idb` and the recursive select — plus the schema's runtime class map (the join judge's authority). */
+type ChainContext = {
+    readonly classes: SchemaClasses;
+} & ({
+    readonly kind: "query";
+} | {
+    readonly kind: "rec";
+    readonly self: RecData;
+} | {
+    readonly kind: "output";
+    readonly program: ProgramState;
+});
+/** Builds one runtime rule-builder over a context. */
+declare function makeRawScope(context: ChainContext): RawScope;
+/** Builds one output-rule builder over a program's recs. */
+declare function makeOutputRuleScope<Rels extends SchemaRelations, Classes extends SchemaClasses>(program: ProgramState): OutputRuleScope<Rels, Classes>;
+/** One program's build-time registry: its recs in declaration order (sealed when the output is declared) and the theory's class map. */
+interface ProgramState {
+    readonly recs: RecData[];
+    readonly classes: SchemaClasses;
+    sealed: boolean;
+}
+/** Assembles one typed query value (rules already completed). */
+declare function makeQuery<Rels extends SchemaRelations, Row, P extends ParamsRecord, Classes extends SchemaClasses>(theory: Schema<Rels, Classes>, recs: readonly RecData[], rules: readonly RuleData[]): Query<Rels, Row, P, Classes>;
+/**
+ * Opens a query over a schema: `query(S).rule(r => ...)`. Each `.rule`
+ * adds one conjunctive rule; multiple rules are the set union (answers are
+ * SETS — no order or limit exists anywhere; hosts sort). The schema's
+ * law-computed class map rides into every rule builder — the join walls
+ * compare class names off it, at the type level and at construction alike.
+ */
+declare function query<Rels extends SchemaRelations, Classes extends SchemaClasses>(theory: Schema<Rels, Classes>): QueryStart<Rels, Classes>;
 /**
  * Tags one host literal at a FIELD position (atom bindings): the field's
- * structural type directs the tag, never a guess. At an interval field a
+ * structural kind directs the tag, never a guess. At an interval field a
  * bigint literal tags as the ELEMENT type — the IR's membership typing
  * rule (point membership), an interval-shaped literal as the interval
- * (value equality). A closed-reference literal is its branded id, tagged
- * u64 after a roster re-verification (queries cross ids, never handle
- * names).
+ * (value equality). A closed-reference literal is its bare handle id,
+ * tagged u64 after a roster verification.
+ */
+declare function taggedLiteral(context: string, field: AnyField, value: unknown): TaggedValue;
+/**
+ * Tags one host literal at a COMPARISON or PARAM position, where the
+ * SIBLING anchors the type: a measure sibling is u64, an interval-field
+ * sibling contributes its element domain (so both a point literal in
+ * `covers` and a `span` literal in `allen` tag correctly), a scalar
+ * sibling its own type. At `pointIn` the operand order is interval-left,
+ * point-right (`ir::CmpOp::PointIn`), so an interval-shaped literal
+ * beside a scalar element-typed sibling is the LEGAL lhs of
+ * `covers(span(...), t)` and tags as the interval of the sibling's
+ * element domain; under every other operator an interval shape against a
+ * scalar sibling stays refused (the engine's IllegalComparison — the
+ * bug-hunt fix, preserved op-aware).
  */
-declare function taggedLiteral(context: string, field: FieldData, value: unknown): TaggedValue;
+declare function taggedCmpLiteral(context: string, sibling: AnyField | "measure", value: unknown, op: CmpKind | "binding"): TaggedValue;
 /**
  * Lowers a query value to the bridge's `ProgramIr` — pure and stable: the
- * declared predicates in declaration order (`PredId` = index), the output
- * predicate (built from `rules` + `select`) appended last. Relations lower
- * by declaration ordinal, the law the engine's own manifest pins;
- * `db.prepare` re-verifies the alignment against the live manifest before
- * sending.
+ * recs in declaration order (`PredId` = index), the output predicate
+ * (rules + head) appended last. Relations lower by declaration ordinal,
+ * the law the engine's own manifest pins; `db.prepare` re-verifies the
+ * alignment against the live manifest before sending. Every registered
+ * param must carry a field anchor by now — an unanchorable param (its
+ * every use beside a literal) is refused here, naming it.
  */
 declare function lowerQuery(q: AnyQuery): ProgramIr;
-export type { AnyQuery, BuildParams, Query, QueryBuild, QueryData, QueryParams, QueryRow, Scope, SelectColumn, SelectEntryData };
-export { lowerQuery, query, taggedLiteral };
+export type { AnyQuery, AnyRuleValue, HeadFieldsOf, HeadOf, HeadShape, OutputRuleChain, OutputRuleScope, ParamsOf, ProgramState, Query, QueryData, QueryParams, QueryRelation, QueryRow, QueryRuleChain, QueryRuleScope, QueryStart, RawChain, RawScope, RecRef, RecRuleChain, RecRuleScope, RowOf, RuleValue, TermOps };
+export { lowerQuery, makeOutputRuleScope, makeQuery, makeRawScope, query, taggedCmpLiteral, taggedLiteral };
 //# sourceMappingURL=lower.d.ts.map

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

@@ -1 +1 @@
-{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../src/query/lower.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,EAA6B,KAAK,SAAS,EAAE,MAAM,YAAY,CAAA;AACtE,OAAO,KAAK,EAQX,SAAS,EAET,WAAW,EAEX,MAAM,YAAY,CAAA;AAEnB,OAAO,KAAK,EACX,WAAW,EAQX,MAAM,gBAAgB,CAAA;AAEvB,OAAO,KAAK,EACX,YAAY,EACZ,SAAS,EACT,qBAAqB,EAErB,eAAe,EACf,kBAAkB,EAClB,aAAa,EACb,MAAM,qBAAqB,CAAA;AAE5B,OAAO,KAAK,EAEX,MAAM,EACN,UAAU,EACV,SAAS,EACT,KAAK,EACL,QAAQ,EACR,YAAY,EACZ,WAAW,EACX,aAAa,EACb,GAAG,EACH,MAAM,iBAAiB,CAAA;AAGxB,OAAO,KAAK,EAAE,aAAa,EAAE,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AACzE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,cAAc,CAAA;AAC5C,OAAO,KAAK,EAAa,MAAM,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEpE;;;GAGG;AACH,UAAU,KAAK,CAAC,IAAI,SAAS,eAAe;IAC3C;;;;OAIG;IACH,GAAG,CAAC,CAAC,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,IAAI,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAA;IAC/D;;;OAGG;IACH,KAAK,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,IAAI,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IAChH;;;OAGG;IACH,QAAQ,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,QAAQ,CAAC,MAAM,IAAI,GAAG,MAAM,EAAE,MAAM,EAAE,CAAC,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,CAAA;IACtH;;;OAGG;IACH,UAAU,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,SAAS,CAAC,IAAI,CAAC,CAAA;IAClE;;;;;OAKG;IACH,SAAS,CACR,KAAK,CAAC,IAAI,SAAS,qBAAqB,EACxC,KAAK,CAAC,KAAK,SAAS,SAAS,kBAAkB,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,EAAE,EAErE,IAAI,EAAE,MAAM,EACZ,OAAO,EAAE,IAAI,EACb,KAAK,EAAE,CAAC,IAAI,EAAE,aAAa,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC,KAAK,KAAK,GACvD,SAAS,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAA;CACxD;AAED;;;;;GAKG;AACH,UAAU,UAAU;IACnB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,WAAW,EAAE,CAAC,EAAE,CAAA;IACnD,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;CAC5B;AAED,oDAAoD;AACpD,KAAK,eAAe,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAA;CAAE,CAAA;AAEpE,sEAAsE;AACtE,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAA;CAC/B;AAED,8EAA8E;AAC9E,UAAU,SAAS;IAClB,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAA;IAChC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,SAAS,WAAW,EAAE,CAAC,EAAE,CAAA;IACnD,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAA;CACxC;AAED;;;;GAIG;AACH,UAAU,KAAK,CAAC,IAAI,SAAS,eAAe,EAAE,GAAG,EAAE,MAAM,SAAS,YAAY;IAC7E,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;IAC7B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CACnE;AAED,+DAA+D;AAC/D,KAAK,QAAQ,GAAG,KAAK,CAAC,eAAe,EAAE,OAAO,EAAE,YAAY,CAAC,CAAA;AAE7D,yDAAyD;AACzD,KAAK,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC,KAAK,CAAC,CAAA;AAEhF,6DAA6D;AAC7D,KAAK,WAAW,CAAC,CAAC,SAAS,QAAQ,IAAI,OAAO,CAAC,CAAC,CAAC,OAAO,OAAO,CAAC,EAAE,SAAS,CAAC,CAAC,QAAQ,CAAC,CAAA;AAEtF,kFAAkF;AAClF,KAAK,WAAW,CAAC,CAAC,SAAS,UAAU,IAAI,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAA;AAkG5F;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,IAAI,SAAS,eAAe,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,EACtE,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,EACpB,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,GAC1B,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAmDjD;AAmBD;;;;;;;;GAQG;AACH,iBAAS,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAsCrF;AAiYD;;;;;;;GAOG;AACH,iBAAS,UAAU,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CAqD1C;AAED,YAAY,EACX,QAAQ,EACR,WAAW,EACX,KAAK,EACL,UAAU,EACV,SAAS,EACT,WAAW,EACX,QAAQ,EACR,KAAK,EACL,YAAY,EACZ,eAAe,EACf,CAAA;AACD,OAAO,EAAE,UAAU,EAAE,KAAK,EAAE,aAAa,EAAE,CAAA"}
+{"version":3,"file":"lower.d.ts","sourceRoot":"","sources":["../../src/query/lower.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;;;;GAyBG;AAGH,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAE1C,OAAO,KAAK,EAAE,aAAa,EAAE,aAAa,EAAE,MAAM,SAAS,CAAA;AAC3D,OAAO,KAAK,EAQX,SAAS,EAET,WAAW,EAEX,MAAM,YAAY,CAAA;AACnB,OAAO,KAAK,EAEX,OAAO,EAEP,OAAO,EAEP,eAAe,EACf,aAAa,EACb,SAAS,EAET,OAAO,EAGP,eAAe,EAEf,WAAW,EACX,UAAU,EACV,UAAU,EAEV,OAAO,EACP,QAAQ,EAER,YAAY,EAGZ,MAAM,gBAAgB,CAAA;AACvB,OAAO,EAAE,KAAK,EAAE,GAAG,EAAE,MAAM,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,OAAO,EAAE,MAAM,gBAAgB,CAAA;AAC7F,OAAO,KAAK,EACX,YAAY,EACZ,QAAQ,EACR,OAAO,EACP,UAAU,EACV,MAAM,EACN,UAAU,EACV,YAAY,EACZ,GAAG,EACH,MAAM,iBAAiB,CAAA;AACxB,OAAO,EAEN,QAAQ,EAER,YAAY,EACZ,aAAa,EACb,SAAS,EACT,YAAY,EACZ,OAAO,EACP,QAAQ,EAGR,MAAM,iBAAiB,CAAA;AACxB,OAAO,KAAK,EAAE,eAAe,EAAE,WAAW,EAAE,eAAe,EAAE,WAAW,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC/G,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,aAAa,EAAE,GAAG,EAAE,GAAG,EAAE,IAAI,EAAE,GAAG,EAAE,MAAM,kBAAkB,CAAA;AAC5F,OAAO,KAAK,EAAE,WAAW,EAAiB,MAAM,cAAc,CAAA;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,EAAE,eAAe,EAAE,MAAM,YAAY,CAAA;AAEpE;;;;;;GAMG;AACH,KAAK,aAAa,CAAC,IAAI,SAAS,eAAe,IAAI,OAAO,CAAC,IAAI,CAAC,MAAM,IAAI,CAAC,EAAE,UAAU,CAAC,CAAA;AAExF,sHAAsH;AACtH,KAAK,UAAU,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,SAAS,WAAW,EAAE,EAAE,EAAE,CAAC,IACjE,OAAO,CAAC,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,SAAS,MAAM,CAAC,SAAS,QAAQ,GAAG,CAAC,GAAG,KAAK,CAAA;AAE9E,0EAA0E;AAC1E,KAAK,QAAQ,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,YAAY,CAAA;CAAE,GAAG,CAAC,GAAG,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;AAErH,+DAA+D;AAC/D,KAAK,KAAK,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAA;AAE3E;;;;;;GAMG;AACH,KAAK,SAAS,GAAG,SAAS,YAAY,EAAE,GAAG,SAAS,CAAA;AAEpD;;;;;GAKG;AACH,UAAU,SAAS,CAAC,GAAG,EAAE,CAAC,SAAS,YAAY,EAAE,IAAI,SAAS,SAAS,GAAG,SAAS;IAClF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;IACvB,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAA;CACpF;AAED,+BAA+B;AAC/B,KAAK,YAAY,GAAG,SAAS,CAAC,OAAO,EAAE,YAAY,EAAE,SAAS,CAAC,CAAA;AAE/D,+EAA+E;AAC/E,KAAK,YAAY,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;IACtE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,CAAC;CAC9C,CAAA;AAED,wEAAwE;AACxE,KAAK,MAAM,CAAC,CAAC,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,SAAS,YAAY,EAAE,CAAA;CAAE,GAAG,CAAC,GAAG,SAAS,CAAA;AAEjH;;;;;;;;GAQG;AACH,UAAU,MAAM,CAAC,IAAI,SAAS,MAAM,EAAE,CAAC,SAAS,YAAY,EAAE,IAAI,SAAS,SAAS,GAAG,SAAS;IAC/F,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;KAAE,CAAA;CACjE;AAED,sIAAsI;AACtI,KAAK,QAAQ,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,EAAE,CAAC,IACvC,CAAC,SAAS,GAAG,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,GAClC,CAAC,SAAS,MAAM,GAAG,GAClB,CAAC,SAAS,YAAY,GACrB,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GACjB,IAAI,GACL,KAAK,GACN,KAAK,CAAA;AAET;;;;;;;;GAQG;AACH,KAAK,YAAY,CAAC,GAAG,SAAS,QAAQ,EAAE,CAAC,EAAE,IAAI,SAAS,SAAS,GAAG,SAAS,IAAI,IAAI,SAAS,SAAS,YAAY,EAAE,GAClH,CAAC,SAAS,SAAS,OAAO,EAAE,GAC3B,CAAC,CAAC,QAAQ,CAAC,SAAS,IAAI,CAAC,QAAQ,CAAC,GACjC;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,GAAG,MAAM,IAAI,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAAE,GAClG;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK;CAAE,GACnC,KAAK,GACN;IAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,SAAS,IAAI,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK;CAAE,CAAA;AAE1F;;;;;GAKG;AACH,UAAU,OAAO;IAChB,mFAAmF;IACnF,QAAQ,CAAC,GAAG,EAAE,OAAO,OAAO,CAAA;IAC5B,qIAAqI;IACrI,QAAQ,CAAC,IAAI,EAAE,OAAO,QAAQ,CAAA;IAC9B,0FAA0F;IAC1F,QAAQ,CAAC,KAAK,EAAE,OAAO,SAAS,CAAA;IAChC,+FAA+F;IAC/F,QAAQ,CAAC,KAAK,EAAE,OAAO,YAAY,CAAA;IACnC,0FAA0F;IAC1F,QAAQ,CAAC,SAAS,EAAE,OAAO,aAAa,CAAA;IACxC,0EAA0E;IAC1E,QAAQ,CAAC,QAAQ,EAAE,OAAO,YAAY,CAAA;IACtC,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,CAAA;IACtB,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,CAAA;IACtB,QAAQ,CAAC,OAAO,EAAE,OAAO,OAAO,CAAA;IAChC,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;IAC9B,QAAQ,CAAC,KAAK,EAAE,OAAO,KAAK,CAAA;IAC5B,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAA;IACxB,QAAQ,CAAC,EAAE,EAAE,OAAO,EAAE,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAA;IACxB,QAAQ,CAAC,KAAK,EAAE,OAAO,KAAK,CAAA;IAC5B,QAAQ,CAAC,aAAa,EAAE,OAAO,aAAa,CAAA;IAC5C,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAA;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAA;IACxB,QAAQ,CAAC,GAAG,EAAE,OAAO,GAAG,CAAA;IACxB,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;IAC9B,QAAQ,CAAC,MAAM,EAAE,OAAO,MAAM,CAAA;IAC9B,QAAQ,CAAC,IAAI,EAAE,OAAO,IAAI,CAAA;CAC1B;AAED,oKAAoK;AACpK,UAAU,cAAc,CAAC,IAAI,SAAS,eAAe,EAAE,OAAO,SAAS,aAAa,GAAG,aAAa,CAAE,SAAQ,OAAO;IACpH,wKAAwK;IACxK,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAC9E,QAAQ,EAAE,CAAC,EACX,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACrG,cAAc,CAChB,IAAI,EACJ,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACtF,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAClC,OAAO,CACP,CAAA;CACD;AAED,uFAAuF;AACvF,UAAU,cAAc,CACvB,IAAI,SAAS,eAAe,EAC5B,GAAG,SAAS,QAAQ,EACpB,CAAC,SAAS,YAAY,EACtB,OAAO,SAAS,aAAa,GAAG,aAAa;IAE7C,0FAA0F;IAC1F,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAC9E,QAAQ,EAAE,CAAC,EACX,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACpF,cAAc,CAChB,IAAI,EACJ,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACrE,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAC/C,OAAO,CACP,CAAA;IACD,6FAA6F;IAC7F,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,EAC5B,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,GAClC,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IAC3E,wGAAwG;IACxG,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,WAAW,EAAE,EAAE,GAAG,OAAO,EAAE,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACtH;AAED,iHAAiH;AACjH,UAAU,eAAe,CAAC,IAAI,SAAS,eAAe,EAAE,OAAO,SAAS,aAAa,GAAG,aAAa,CAAE,SAAQ,OAAO;IACrH,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAC9E,QAAQ,EAAE,CAAC,EACX,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACrG,eAAe,CACjB,IAAI,EACJ,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACtF,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAClC,OAAO,CACP,CAAA;CACD;AAED,0GAA0G;AAC1G,UAAU,eAAe,CACxB,IAAI,SAAS,eAAe,EAC5B,GAAG,SAAS,QAAQ,EACpB,CAAC,SAAS,YAAY,EACtB,OAAO,SAAS,aAAa,GAAG,aAAa;IAE7C,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAC9E,QAAQ,EAAE,CAAC,EACX,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACpF,eAAe,CACjB,IAAI,EACJ,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACrE,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAC/C,OAAO,CACP,CAAA;IACD,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,EAC5B,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,GAClC,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IAC5E;;;;;;;;;OASG;IACH,GAAG,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,EACtF,MAAM,EAAE,MAAM,EACd,GAAG,IAAI,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAC/C,eAAe,CAAC,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IACrE,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,WAAW,EAAE,EAAE,GAAG,OAAO,EAAE,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,WAAW,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACtH;AAED,oEAAoE;AACpE,UAAU,YAAY,CAAC,IAAI,SAAS,eAAe,EAAE,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,aAAa,GAAG,aAAa,CACtH,SAAQ,OAAO;IACf,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAC9E,QAAQ,EAAE,CAAC,EACX,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACrG,YAAY,CACd,IAAI,EACJ,IAAI,EACJ,UAAU,CAAC,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACtF,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAClC,OAAO,CACP,CAAA;CACD;AAED;;;;;;;GAOG;AACH,UAAU,YAAY,CACrB,IAAI,SAAS,eAAe,EAC5B,IAAI,SAAS,MAAM,EACnB,GAAG,SAAS,QAAQ,EACpB,CAAC,SAAS,YAAY,EACtB,OAAO,SAAS,aAAa,GAAG,aAAa;IAE7C,KAAK,CAAC,CAAC,SAAS,aAAa,CAAC,IAAI,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,EAC9E,QAAQ,EAAE,CAAC,EACX,QAAQ,EAAE,CAAC,GAAG,aAAa,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,GACpF,YAAY,CACd,IAAI,EACJ,IAAI,EACJ,UAAU,CAAC,GAAG,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,aAAa,CAAC,OAAO,EAAE,CAAC,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,EACrE,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAC/C,OAAO,CACP,CAAA;IACD,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,EAC5B,IAAI,EAAE,SAAS,CAAC,GAAG,EAAE,OAAO,EAAE,CAAC,CAAC,GAAG,CAAC,GAClC,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,CAAC,GAAG,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IAC/E,4JAA4J;IAC5J,GAAG,CAAC,MAAM,SAAS,MAAM,CAAC,IAAI,EAAE,YAAY,CAAC,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,EACpF,MAAM,EAAE,MAAM,EACd,GAAG,IAAI,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAC/C,YAAY,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;IAC5C,6KAA6K;IAC7K,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE,EACvC,GAAG,KAAK,EAAE,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,CAAC,GACnC,SAAS,CAAC,eAAe,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,EAAE,YAAY,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAA;CAC9D;AAED,qGAAqG;AACrG,UAAU,SAAS;IAClB,2GAA2G;IAC3G,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAA;IACjC,sEAAsE;IACtE,QAAQ,CAAC,KAAK,EAAE,SAAS,QAAQ,EAAE,CAAA;IACnC,gGAAgG;IAChG,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAA;IACxC,6FAA6F;IAC7F,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAA;CACtC;AAED;;;;;GAKG;AACH,UAAU,KAAK,CACd,IAAI,SAAS,eAAe,EAC5B,GAAG,EACH,MAAM,SAAS,YAAY,EAC3B,OAAO,SAAS,aAAa,GAAG,aAAa;IAE7C,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;IACtC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,qHAAqH;IACrH,IAAI,CAAC,EAAE,SAAS,YAAY,EAC3B,KAAK,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAC7C,KAAK,CAAC,IAAI,EAAE,GAAG,GAAG,KAAK,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,MAAM,GAAG,QAAQ,CAAC,EAAE,CAAC,CAAC,EAAE,OAAO,CAAC,CAAA;IACxE,QAAQ,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;QAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;KAAE,CAAA;CACpE;AAED;;;;GAIG;AACH,UAAU,QAAQ;IACjB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;IAC1B,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;CACxB;AAED,yDAAyD;AACzD,KAAK,QAAQ,CAAC,CAAC,SAAS,QAAQ,IAAI,KAAK,CAAC,CAAC,CAAC,CAAA;AAE5C,6DAA6D;AAC7D,KAAK,WAAW,CAAC,CAAC,SAAS,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,CAAA;AAElD,wEAAwE;AACxE,UAAU,UAAU,CAAC,IAAI,SAAS,eAAe,EAAE,OAAO,SAAS,aAAa,GAAG,aAAa;IAC/F,IAAI,CAAC,EAAE,SAAS,YAAY,EAC3B,KAAK,EAAE,CAAC,CAAC,EAAE,cAAc,CAAC,IAAI,EAAE,OAAO,CAAC,KAAK,EAAE,GAC7C,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,CAAC,EAAE,QAAQ,CAAC,EAAE,CAAC,EAAE,OAAO,CAAC,CAAA;CAChD;AA0iBD;;;;;;;;GAQG;AACH,UAAU,QAAQ;IACjB,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAA;IAClF,KAAK,CAAC,IAAI,EAAE,OAAO,GAAG,QAAQ,CAAA;IAC9B,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,EAAE,GAAG,IAAI,EAAE,SAAS,GAAG,CAAC,MAAM,CAAC,EAAE,GAAG,QAAQ,CAAA;IACpF,MAAM,CAAC,GAAG,OAAO,EAAE,SAAS,WAAW,EAAE,GAAG,SAAS,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;CACnE;AAED,gEAAgE;AAChE,UAAU,QAAS,SAAQ,OAAO;IACjC,KAAK,CAAC,QAAQ,EAAE,UAAU,EAAE,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,GAAG,QAAQ,CAAA;CAClF;AAED,kJAAkJ;AAClJ,KAAK,YAAY,GAAG;IAAE,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;CAAE,GAAG,CACvD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAChD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,YAAY,CAAA;CAAE,CAC7D,CAAA;AAwED,sDAAsD;AACtD,iBAAS,YAAY,CAAC,OAAO,EAAE,YAAY,GAAG,QAAQ,CASrD;AA0BD,4DAA4D;AAC5D,iBAAS,mBAAmB,CAAC,IAAI,SAAS,eAAe,EAAE,OAAO,SAAS,aAAa,EACvF,OAAO,EAAE,YAAY,GACnB,eAAe,CAAC,IAAI,EAAE,OAAO,CAAC,CAMhC;AAED,wIAAwI;AACxI,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,OAAO,EAAE,CAAA;IACxB,QAAQ,CAAC,OAAO,EAAE,aAAa,CAAA;IAC/B,MAAM,EAAE,OAAO,CAAA;CACf;AA0HD,iEAAiE;AACjE,iBAAS,SAAS,CAAC,IAAI,SAAS,eAAe,EAAE,GAAG,EAAE,CAAC,SAAS,YAAY,EAAE,OAAO,SAAS,aAAa,EAC1G,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,EAC7B,IAAI,EAAE,SAAS,OAAO,EAAE,EACxB,KAAK,EAAE,SAAS,QAAQ,EAAE,GACxB,KAAK,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,EAAE,OAAO,CAAC,CAM9B;AAED;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,IAAI,SAAS,eAAe,EAAE,OAAO,SAAS,aAAa,EACzE,MAAM,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,CAAC,GAC3B,UAAU,CAAC,IAAI,EAAE,OAAO,CAAC,CAW3B;AA8DD;;;;;;;GAOG;AACH,iBAAS,aAAa,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAsCpF;AAED;;;;;;;;;;;;GAYG;AACH,iBAAS,gBAAgB,CACxB,OAAO,EAAE,MAAM,EACf,OAAO,EAAE,QAAQ,GAAG,SAAS,EAC7B,KAAK,EAAE,OAAO,EACd,EAAE,EAAE,OAAO,GAAG,SAAS,GACrB,WAAW,CAmBb;AAgRD;;;;;;;;GAQG;AACH,iBAAS,UAAU,CAAC,CAAC,EAAE,QAAQ,GAAG,SAAS,CAyC1C;AAED,YAAY,EACX,QAAQ,EACR,YAAY,EACZ,YAAY,EACZ,MAAM,EACN,SAAS,EACT,eAAe,EACf,eAAe,EACf,QAAQ,EACR,YAAY,EACZ,KAAK,EACL,SAAS,EACT,WAAW,EACX,aAAa,EACb,QAAQ,EACR,cAAc,EACd,cAAc,EACd,UAAU,EACV,QAAQ,EACR,QAAQ,EACR,MAAM,EACN,YAAY,EACZ,YAAY,EACZ,KAAK,EACL,SAAS,EACT,OAAO,EACP,CAAA;AACD,OAAO,EAAE,UAAU,EAAE,mBAAmB,EAAE,SAAS,EAAE,YAAY,EAAE,KAAK,EAAE,gBAAgB,EAAE,aAAa,EAAE,CAAA"}