@rindle/client 0.1.0-rc.5

package/dist/operators.js

@@ -0,0 +1,45 @@
+// Named value-operators (`eq`/`gt`/`like`/…) + boolean combinators (`or`/`and`) for the
+// query builder. Operators are VALUE-ONLY — the value type `V` is inferred from the value,
+// and the FIELD is bound separately (by `where.<field>(…)` or `table.<field>(…)`), so
+// `or`/`exists` need no closure (WASM-CLIENT-DESIGN.md §6).
+const PRED = Symbol("rindle.pred");
+function mk(op, value) {
+    return { [PRED]: true, op, value };
+}
+export function isPred(x) {
+    return typeof x === "object" && x !== null && x[PRED] === true;
+}
+export const eq = (v) => mk("=", v);
+export const ne = (v) => mk("!=", v);
+export const gt = (v) => mk(">", v);
+export const ge = (v) => mk(">=", v);
+export const lt = (v) => mk("<", v);
+export const le = (v) => mk("<=", v);
+export const like = (pattern) => mk("LIKE", pattern);
+export const notLike = (pattern) => mk("NOT LIKE", pattern);
+export const ilike = (pattern) => mk("ILIKE", pattern);
+export const notIlike = (pattern) => mk("NOT ILIKE", pattern);
+export const inList = (values) => mk("IN", values);
+export const notInList = (values) => mk("NOT IN", values);
+export const is = (v) => mk("IS", v);
+export const isNot = (v) => mk("IS NOT", v);
+/** Build a `simple` condition from a field name + (predicate | bare value). */
+export function fieldCondition(field, arg) {
+    const op = isPred(arg) ? arg.op : "=";
+    const value = isPred(arg) ? arg.value : arg;
+    return {
+        type: "simple",
+        op,
+        left: { type: "column", name: field },
+        right: { type: "literal", value },
+    };
+}
+/** All children must hold. */
+export function and(...conds) {
+    return { type: "and", conditions: conds };
+}
+/** At least one child must hold. */
+export function or(...conds) {
+    return { type: "or", conditions: conds };
+}
+//# sourceMappingURL=operators.js.map

package/dist/operators.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operators.js","sourceRoot":"","sources":["../src/operators.ts"],"names":[],"mappings":"AAAA,wFAAwF;AACxF,2FAA2F;AAC3F,sFAAsF;AACtF,4DAA4D;AAI5D,MAAM,IAAI,GAAkB,MAAM,CAAC,aAAa,CAAC,CAAC;AAUlD,SAAS,EAAE,CAAI,EAAY,EAAE,KAAe;IAC1C,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,EAAE,EAAE,KAAK,EAAa,CAAC;AAChD,CAAC;AAED,MAAM,UAAU,MAAM,CAAC,CAAU;IAC/B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAA6B,CAAC,IAAI,CAAC,KAAK,IAAI,CAAC;AAC9F,CAAC;AAED,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,CAAI,EAAW,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAa,CAAC,CAAC;AAC/D,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,CAAI,EAAW,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAa,CAAC,CAAC;AAChE,MAAM,CAAC,MAAM,EAAE,GAAG,CAA4B,CAAI,EAAW,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAa,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,EAAE,GAAG,CAA4B,CAAI,EAAW,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAa,CAAC,CAAC;AACxF,MAAM,CAAC,MAAM,EAAE,GAAG,CAA4B,CAAI,EAAW,EAAE,CAAC,EAAE,CAAC,GAAG,EAAE,CAAa,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,EAAE,GAAG,CAA4B,CAAI,EAAW,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAa,CAAC,CAAC;AACxF,MAAM,CAAC,MAAM,IAAI,GAAG,CAAC,OAAe,EAAgB,EAAE,CAAC,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAC3E,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,OAAe,EAAgB,EAAE,CAAC,EAAE,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC;AAClF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,OAAe,EAAgB,EAAE,CAAC,EAAE,CAAC,OAAO,EAAE,OAAO,CAAC,CAAC;AAC7E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,OAAe,EAAgB,EAAE,CAAC,EAAE,CAAC,WAAW,EAAE,OAAO,CAAC,CAAC;AACpF,MAAM,CAAC,MAAM,MAAM,GAAG,CAAI,MAAW,EAAW,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,MAAkB,CAAC,CAAC;AAChF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAI,MAAW,EAAW,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,MAAkB,CAAC,CAAC;AACvF,MAAM,CAAC,MAAM,EAAE,GAAG,CAAI,CAAI,EAAW,EAAE,CAAC,EAAE,CAAC,IAAI,EAAE,CAAa,CAAC,CAAC;AAChE,MAAM,CAAC,MAAM,KAAK,GAAG,CAAI,CAAI,EAAW,EAAE,CAAC,EAAE,CAAC,QAAQ,EAAE,CAAa,CAAC,CAAC;AASvE,+EAA+E;AAC/E,MAAM,UAAU,cAAc,CAAC,KAAa,EAAE,GAAY;IACxD,MAAM,EAAE,GAAa,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAChD,MAAM,KAAK,GAAa,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,GAAgB,CAAC;IACpE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,IAAI,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE;QACrC,KAAK,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE;KAClC,CAAC;AACJ,CAAC;AAED,8BAA8B;AAC9B,MAAM,UAAU,GAAG,CAAI,GAAG,KAAgB;IACxC,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,UAAU,EAAE,KAAK,EAAa,CAAC;AACvD,CAAC;AAED,oCAAoC;AACpC,MAAM,UAAU,EAAE,CAAI,GAAG,KAAgB;IACvC,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAa,CAAC;AACtD,CAAC"}

package/dist/query.d.ts

@@ -0,0 +1,280 @@
+import type { Ast, Dir } from "./ast.ts";
+import type { Arg, Cond } from "./operators.ts";
+import type { AnyCols, ColsMap, ColT, Relationship, RowOf, Schema, TableLike } from "./schema.ts";
+import type { ArrayView, SingularArrayView } from "./view.ts";
+type FieldFn<C extends AnyCols, K extends keyof C, Rels, One extends boolean, Sel extends string> = (arg: Arg<ColT<C[K]>>) => Query<C, Rels, One, Sel>;
+/** `where.closed(false)`, `where.priority(gt(3))`. */
+type WhereProxy<C extends AnyCols, Rels, One extends boolean, Sel extends string> = {
+    [K in keyof C]: FieldFn<C, K, Rels, One, Sel>;
+};
+/** `whereClosed(false)`, `wherePriority(gt(3))`. */
+type WhereSugar<C extends AnyCols, Rels, One extends boolean, Sel extends string> = {
+    [K in keyof C as `where${Capitalize<string & K>}`]: FieldFn<C, K, Rels, One, Sel>;
+};
+/** What `materialize()` returns: singular (`R | null`) for a top-level `.one()`, else plural. */
+type MaterializedView<R, One extends boolean> = One extends true ? SingularArrayView<R> : ArrayView<R>;
+/**
+ * The result row type of a projection (masking, FRAGMENT-COMPOSITION-DESIGN.md §6 / §10.6).
+ * `Sel` is the union of columns named via `select(...)`. With nothing selected (`Sel = never`)
+ * it stays the full {@link RowOf} — the "no `select` ⇒ all columns" convention, kept and made
+ * type-honest. Once any column is selected, the row is **masked** to exactly those columns, so a
+ * component (its fragment) can read only what it declared. `Pick` only ever *removes* fields, so
+ * narrowing is always sound versus a runtime row that may still carry more.
+ */
+type Projected<C extends AnyCols, Sel extends string> = [Sel] extends [never] ? RowOf<C> : Pick<RowOf<C>, Sel & keyof C>;
+interface QueryBase<C extends AnyCols, Rels, One extends boolean, Sel extends string> {
+    /** Present when this local query came from `defineQuery`; used as the remote identity. */
+    readonly name?: string;
+    /** Present when this local query came from `defineQuery`; sent with `name` upstream. */
+    readonly args?: unknown;
+    /** Condition form — consumes `or()`/`and()`/`exists()`/field conditions (AND-ed across calls).
+     *  Filters over the FULL column set (`RowOf<C>`), independent of what's `select`ed/masked. */
+    where(cond: Cond<RowOf<C>>): Query<C, Rels, One, Sel>;
+    orderBy<K extends keyof C>(col: K, dir: Dir): Query<C, Rels, One, Sel>;
+    /** Project a subset of columns (PROJECTION-SUPPORT-DESIGN.md §6, masking §6/§10.6). Chainable
+     *  (each call unions into `Sel`); omit to select all. Drives what the server syncs, what the
+     *  view reports, AND — once any column is named — narrows the result row TYPE to exactly the
+     *  selection (masking). `where`/`orderBy`/`start`/`sub` still see the full column set. */
+    select<K extends keyof C & string>(...cols: K[]): Query<C, Rels, One, Sel | K>;
+    limit(n: number): Query<C, Rels, One, Sel>;
+    /** Cursor paging: start at (or, with `exclusive`, after) the partial `cursor` row over the
+     *  sort columns. Lowers to a `Skip` in the engine. */
+    start(cursor: Partial<RowOf<C>>, opts?: {
+        exclusive?: boolean;
+    }): Query<C, Rels, One, Sel>;
+    /** Return a single row: `materialize()` yields a {@link SingularArrayView} (`data: R | null`)
+     *  and the engine caps the query to `limit = 1`. */
+    one(): Query<C, Rels, true, Sel>;
+    /** **Merge** a {@link Fragment} into THIS node — Relay's "spread on the same type" (§5). The
+     *  fragment must be over the same table (enforced in the result type: a fragment over a different
+     *  table yields `never`, plus a runtime throw). Unions the projection (`Sel | FSel`), folds in the
+     *  fragment's nested relationships (`Rels & FRels`), and merges any same-`alias` edge recursively
+     *  — canonically, so `include` order doesn't matter (§10.5). Two fragments that spread the same
+     *  alias with a conflicting row-set (correlation/where/orderBy/…) **throw** (§10.2); an included
+     *  fragment may **not** add a root `where`/`orderBy`/`limit` (§10.3). This is also the single-shot
+     *  way to ROOT a fragment onto a base query (`queries.issue.where.id(x).include(IssueCard)`) — the
+     *  loader's composed root — equivalent to applying the fragment, but canonicalized.
+     *
+     *  The fragment's columns are a *separate* inferred parameter `FC` (not the class `C`) so that
+     *  `include` keeps `C` out of any contravariant position — preserving `Query<Concrete>`'s
+     *  assignability to `Query<AnyCols>` (needed by `Store<ColsMap>`/`QueryRoot`). Same-table is then
+     *  checked as the mutual-assignability of `C` and `FC` in the return type. */
+    include<FC extends AnyCols, FRels = {}, FSel extends string = never>(fragment: Fragment<FC, FRels, FSel>): [C] extends [FC] ? ([FC] extends [C] ? Query<C, Rels & FRels, One, Sel | FSel> : never) : never;
+    /** Nest a child by EXPLICIT correlation (no schema relationship). `alias` is the result key.
+     *  The child's own projection (`CSel`) masks the nested row, so a fragment spread here
+     *  contributes exactly the columns it declared. */
+    sub<A extends string, CC extends AnyCols, CRels = {}, CSel extends string = never>(alias: A, child: TableLike<CC>, corr: {
+        parent: Array<keyof C & string>;
+        child: Array<keyof CC & string>;
+    }, build?: (q: Query<CC>) => Query<CC, CRels, boolean, CSel>): Query<C, Rels & {
+        [P in A]: Array<Projected<CC, CSel> & CRels>;
+    }, One, Sel>;
+    /** Nest a child by a named {@link Relationship} (`rel(parent, child, {...})`) — the correlation comes
+     *  from the relationship, so no `{ parent, child }` keys are restated. The relationship must belong to
+     *  THIS table (its parent columns are checked against `C`). `alias` is still the result key. */
+    sub<A extends string, CC extends AnyCols, CRels = {}, CSel extends string = never>(alias: A, relationship: Relationship<C, CC>, build?: (q: Query<CC>) => Query<CC, CRels, boolean, CSel>): Query<C, Rels & {
+        [P in A]: Array<Projected<CC, CSel> & CRels>;
+    }, One, Sel>;
+    /** Add a **relationship aggregate** — `issue.countAs("commentCount", comment, …)`
+     *  (`REDUCE-DESIGN.md` §9). Like {@link sub} (explicit correlation, optional child
+     *  `build` for a filtered `count(child WHERE …)`), but the relationship surfaces a single
+     *  scalar `count(*)` of the correlated child rows named `alias` — so the result key is a
+     *  `number`, not an array; an empty (childless) parent reads `0`. */
+    countAs<A extends string, CC extends AnyCols>(alias: A, child: TableLike<CC>, corr: {
+        parent: Array<keyof C & string>;
+        child: Array<keyof CC & string>;
+    }, build?: (q: Query<CC>) => Query<CC, unknown>): Query<C, Rels & {
+        [P in A]: number;
+    }, One, Sel>;
+    /** `countAs` by a named {@link Relationship} — like the explicit form, but the correlation comes from
+     *  `rel(...)` instead of being restated. */
+    countAs<A extends string, CC extends AnyCols>(alias: A, relationship: Relationship<C, CC>, build?: (q: Query<CC>) => Query<CC, unknown>): Query<C, Rels & {
+        [P in A]: number;
+    }, One, Sel>;
+    /** The compiled Zero-wire AST (what a backend's `query` consumes). */
+    ast(): Ast;
+    /** Materialize into a live, typed view. Wired by the Store/backend. A top-level `.one()`
+     *  yields a {@link SingularArrayView}; otherwise an {@link ArrayView}. The row is masked to the
+     *  projection ({@link Projected}) — full {@link RowOf} until a column is `select`ed. */
+    materialize(): MaterializedView<Projected<C, Sel> & Rels, One>;
+}
+export type Query<C extends AnyCols, Rels = {}, One extends boolean = false, Sel extends string = never> = Omit<QueryBase<C, Rels, One, Sel>, "where"> & {
+    where: QueryBase<C, Rels, One, Sel>["where"] & WhereProxy<C, Rels, One, Sel>;
+} & WhereSugar<C, Rels, One, Sel>;
+type AnyQuery = Query<any, any, any>;
+/** Turn raw, UNTRUSTED wire args into the canonical, typed args a query is built from. Its return
+ *  type IS the query's args type — written once, it flows to both the client call signature and the
+ *  `build` step, so there's no second place to restate the shape. */
+export type QueryValidator<Args> = (rawArgs: unknown) => Args;
+/**
+ * Build a `Query` (an `Ast` constructor) from already-validated args, plus an optional CONTEXT — the
+ * authenticated principal the query is scoped to. `Ctx` is **off-wire**: the client passes its own
+ * session ctx at the callsite, the server injects the AUTHORITATIVE ctx ({@link NamedQuery.resolve}
+ * via `registerQueries`), and the wire still carries only `name` + args. Both tiers run the same
+ * `build`, so whenever their ctx agrees the AST is byte-identical — and a client can never spoof it,
+ * since the server re-derives ctx from its trusted session and ignores anything the client claimed.
+ *
+ * The ctx is a *tuple* so a query opts into it by how it types `build`'s second parameter — and that
+ * shape becomes the call signature verbatim:
+ *   - `(args) => Q` — no ctx (`q(args)`).
+ *   - `(args, ctx: C) => Q` — ctx REQUIRED (`q(args, ctx)`); for always-authenticated queries.
+ *   - `(args, ctx?: C) => Q` — ctx OPTIONAL (`q(args)` or `q(args, ctx)`); sound only when "no ctx"
+ *     is a real, SYMMETRIC state — i.e. the build yields the SAME broad AST whether ctx is absent or
+ *     present-with-no-user (anonymous / SSR), since the server always forwards a ctx (possibly
+ *     anonymous). Otherwise type ctx required so the type catches an omitted ctx.
+ */
+export type QueryBuilder<Args, Q extends AnyQuery, Ctx extends readonly unknown[] = []> = (args: Args, ...ctx: Ctx) => Q;
+/**
+ * A single, co-located NAMED query (see {@link defineQuery}). It is:
+ *   - **callable on the client** — `q(args, ctx?)` validates + builds + stamps the result with its
+ *     remote subscription identity (`name` + args — NOT ctx), so a component that imports it always
+ *     SYNCS. There is no unstamped builder to import by accident.
+ *   - **registerable on the server** — it carries its `queryName` and a `resolve` that re-runs the
+ *     SAME validator on untrusted wire args and builds the AUTHORITATIVE `Query` from the server's
+ *     own ctx ({@link registerQueries `registerQueries`} in `@rindle/api-server`).
+ *
+ * `Ctx` is the ctx parameter list mirrored from `build` — `[]`, `[ctx: C]`, or `[ctx?: C]`. It is
+ * never part of the wire identity.
+ */
+export interface NamedQuery<Args, Ctx extends readonly unknown[], Q extends AnyQuery> {
+    (args: Args, ...ctx: Ctx): Q;
+    /** The wire identity. The daemon leases by this name; client and server MUST agree on it — which
+     *  they do, because both sides import the SAME `defineQuery` value. */
+    readonly queryName: string;
+    /** Server-side: validate raw wire args, then build the authoritative `Query` from the server's
+     *  authoritative ctx (forwarded by `registerQueries`). */
+    resolve(rawArgs: unknown, ...ctx: Ctx): Q;
+}
+/**
+ * Define ONE co-located, named query. Keep it next to the component that reads it (a `*.queries.ts`
+ * file), so a query lives where its fragments and its component live.
+ *
+ * The returned value is callable on the client (it stamps its result with `name` + args, so the
+ * subscription SYNCS) and registerable on the server ({@link registerQueries}). The optional
+ * `validate` step turns untrusted wire args into the canonical args type — and that type flows to
+ * both the call signature and `build`, so the shape is written exactly once. `validate` runs on
+ * BOTH tiers (it builds the byte-identical authoritative AST on the server, and guards + guarantees
+ * the same AST on the client). If the server must DIVERGE from the client, define a second
+ * `defineQuery` with the same `name` for the server and register that one instead.
+ *
+ * `build` may take a second CONTEXT parameter (see {@link QueryBuilder}). Context is off-wire: the
+ * client passes its session ctx at the callsite, the server injects its authoritative ctx — so a
+ * per-user query stays symmetric without ever trusting (or transmitting) a client-supplied identity.
+ *
+ * ```ts
+ * // recentComments({ limit }) — validated, no ctx, byte-identical on both tiers
+ * export const recentCommentsQuery = defineQuery(
+ *   "recentComments",
+ *   (raw): { limit: number } => ({ limit: validateFeedLimit(raw) }),
+ *   ({ limit }) => q.comment.orderBy("createdAt", "desc").limit(limit).include(FeedItemFragment),
+ * );
+ *
+ * // myIssues({ limit }, ctx) — ctx-scoped; the wire still carries only { limit }
+ * export const myIssuesQuery = defineQuery(
+ *   "myIssues",
+ *   (raw): { limit: number } => ({ limit: validateLimit(raw) }),
+ *   ({ limit }, ctx: { user: string }) => q.issue.where.ownerId(ctx.user).limit(limit),
+ * );
+ * // client: myIssuesQuery({ limit: 20 }, { user: currentUser() })
+ * ```
+ */
+export declare function defineQuery<Q extends AnyQuery>(name: string, build: () => Q): NamedQuery<void, [], Q>;
+export declare function defineQuery<Args, Ctx extends readonly unknown[], Q extends AnyQuery>(name: string, build: (args: Args, ...ctx: Ctx) => Q): NamedQuery<Args, Ctx, Q>;
+export declare function defineQuery<Args, Ctx extends readonly unknown[], Q extends AnyQuery>(name: string, validate: QueryValidator<Args>, build: (args: Args, ...ctx: Ctx) => Q): NamedQuery<Args, Ctx, Q>;
+declare const FRAGMENT_BRAND: unique symbol;
+/**
+ * A reusable, typed *selection over a table* — Relay's "fragment", promoted to a first-class
+ * value. **Two verbs** compose a fragment, on one axis — does its data belong to THIS row or to a
+ * related one:
+ *
+ *   - SAME node — `q.include(Frag)`: merge its selection into this node. This is also how you
+ *     **root** a fragment onto a base query — `queries.t.where.id(x).include(Frag)`.
+ *   - CHILD node — `q.sub(alias, child, corr, Frag)`: nest it under a relationship (`sub`'s 4th arg).
+ *
+ * A `Fragment` is therefore also a `build` transform (`(q: Query<C>) => Query<C, Rels>`); that
+ * call signature is the mechanism by which `sub` accepts a fragment as its build. Prefer
+ * `include` to root a fragment (canonical + merged) over calling it directly. It additionally
+ * carries its `table` (for {@link FragmentRef}/`useFragment` typing and masking). Composing
+ * fragments assembles ONE {@link Ast} → one materialization → one `/query` — the whole point
+ * (no request waterfall; design §1).
+ */
+export interface Fragment<C extends AnyCols, Rels = {}, Sel extends string = never> {
+    (q: Query<C>): Query<C, Rels, false, Sel>;
+    readonly table: TableLike<C>;
+    readonly [FRAGMENT_BRAND]: true;
+}
+/**
+ * The "fragment ref" a parent passes down for a {@link Fragment} read: the already-projected
+ * node(s) at the fragment's alias in the shared root view — i.e. the fragment's result shape.
+ * It is **masked** ({@link Projected}) to the fragment's own `select` — a fragment reads only the
+ * columns it declared. A fragment with no `select` stays the full `RowOf<C> & Rels` (§10.6).
+ */
+export type FragmentRef<F> = F extends Fragment<infer C, infer Rels, infer Sel> ? Projected<C, Sel> & Rels : never;
+/**
+ * Define a co-located, composable {@link Fragment}: a named selection over `table`. The returned
+ * value is callable (the `build` transform), so it threads through the existing `sub`/`Rels`
+ * spine — no GraphQL, no codegen, no schema change (design §3).
+ *
+ * ```ts
+ * const UserAvatar = defineFragment(schema.user, (f) => f.select("id", "name", "avatarUrl"));
+ * const CommentRow = defineFragment(schema.comment, (f) =>
+ *   f.select("id", "body", "authorId")
+ *    .sub("author", schema.user, { parent: ["authorId"], child: ["id"] }, UserAvatar));
+ * ```
+ */
+export declare function defineFragment<C extends AnyCols, Rels = {}, Sel extends string = never>(table: TableLike<C>, build: (q: Query<C>) => Query<C, Rels, boolean, Sel>): Fragment<C, Rels, Sel>;
+/** Runtime guard: is `v` a {@link Fragment} (a `defineFragment` value, not a plain build fn)? */
+export declare function isFragment(v: unknown): v is Fragment<AnyCols, unknown>;
+/** Options for `exists` / `notExists`. */
+export interface ExistsOpts {
+    /**
+     * Fold this `EXISTS` as a build-time **scalar** subquery: when the child binds a
+     * statically-unique key, the engine reads it once, inlines the correlation value as a
+     * literal, and deletes the join. **Snapshot semantics** — the inlined value does not
+     * react to later child changes. Defaults to `false` (a live `EXISTS` join).
+     */
+    scalar?: boolean;
+}
+/** `EXISTS` by a named {@link Relationship} — correlation from the rel; the parent row type is the
+ *  relationship's parent, so the condition lands on the matching `.where()`. */
+export declare function exists<PC extends AnyCols, CC extends AnyCols>(relationship: Relationship<PC, CC>, build?: (q: Query<CC>) => Query<CC, unknown>, opts?: ExistsOpts): Cond<RowOf<PC>>;
+/** `EXISTS (<correlated subquery>)` — a condition (use inside `where`/`or`/`and`). */
+export declare function exists<CC extends AnyCols, R = unknown>(child: TableLike<CC>, corr: {
+    parent: Array<keyof R & string>;
+    child: Array<keyof CC & string>;
+}, build?: (q: Query<CC>) => Query<CC, unknown>, opts?: ExistsOpts): Cond<R>;
+/** `NOT EXISTS` by a named {@link Relationship}. */
+export declare function notExists<PC extends AnyCols, CC extends AnyCols>(relationship: Relationship<PC, CC>, build?: (q: Query<CC>) => Query<CC, unknown>, opts?: ExistsOpts): Cond<RowOf<PC>>;
+/** `NOT EXISTS (<correlated subquery>)`. */
+export declare function notExists<CC extends AnyCols, R = unknown>(child: TableLike<CC>, corr: {
+    parent: Array<keyof R & string>;
+    child: Array<keyof CC & string>;
+}, build?: (q: Query<CC>) => Query<CC, unknown>, opts?: ExistsOpts): Cond<R>;
+/**
+ * `EXISTS (<correlated subquery>)` as a **server-only, non-syncing** gate (`exists_noSync`).
+ * Identical to {@link exists} for filtering parent visibility, but stamps the subquery
+ * `system: "permissions"`, so the engine's normalized serializer prunes its witnesses from the
+ * footprint — the permission table's rows are never synced to the client and the client never
+ * re-evaluates the gate. Use this when building the **server's** query (the user's API server);
+ * the client holds its own un-gated query.
+ */
+export declare function existsNoSync<PC extends AnyCols, CC extends AnyCols>(relationship: Relationship<PC, CC>, build?: (q: Query<CC>) => Query<CC, unknown>): Cond<RowOf<PC>>;
+export declare function existsNoSync<CC extends AnyCols, R = unknown>(child: TableLike<CC>, corr: {
+    parent: Array<keyof R & string>;
+    child: Array<keyof CC & string>;
+}, build?: (q: Query<CC>) => Query<CC, unknown>): Cond<R>;
+/** `NOT EXISTS (<correlated subquery>)` as a **server-only, non-syncing** gate — the `NOT EXISTS` form of {@link existsNoSync} (a deny-style permission rule). */
+export declare function notExistsNoSync<PC extends AnyCols, CC extends AnyCols>(relationship: Relationship<PC, CC>, build?: (q: Query<CC>) => Query<CC, unknown>): Cond<RowOf<PC>>;
+export declare function notExistsNoSync<CC extends AnyCols, R = unknown>(child: TableLike<CC>, corr: {
+    parent: Array<keyof R & string>;
+    child: Array<keyof CC & string>;
+}, build?: (q: Query<CC>) => Query<CC, unknown>): Cond<R>;
+export type QueryRoot<S extends ColsMap> = {
+    [N in keyof S]: Query<S[N]>;
+};
+/** A typed query entry over a schema: `queries(schema).issue.where.closed(false)…`. */
+export declare function queries<S extends ColsMap>(schema: Schema<S>, onMaterialize?: (query: AnyQuery) => unknown): QueryRoot<S>;
+/** A schema-bound query-builder factory for portable client/server query definitions. */
+export declare function newQueryBuilder<S extends ColsMap>(schema: Schema<S>): QueryRoot<S>;
+export {};
+//# sourceMappingURL=query.d.ts.map

package/dist/query.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../src/query.ts"],"names":[],"mappings":"AAQA,OAAO,KAAK,EAAE,GAAG,EAAwC,GAAG,EAAiC,MAAM,UAAU,CAAC;AAE9G,OAAO,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,gBAAgB,CAAC;AAEhD,OAAO,KAAK,EAAE,OAAO,EAA6B,OAAO,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAa,MAAM,aAAa,CAAC;AAExI,OAAO,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,MAAM,WAAW,CAAC;AAQ9D,KAAK,OAAO,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,MAAM,CAAC,EAAE,IAAI,EAAE,GAAG,SAAS,OAAO,EAAE,GAAG,SAAS,MAAM,IAAI,CAClG,GAAG,EAAE,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KACjB,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAE9B,sDAAsD;AACtD,KAAK,UAAU,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,EAAE,GAAG,SAAS,OAAO,EAAE,GAAG,SAAS,MAAM,IAAI;KACjF,CAAC,IAAI,MAAM,CAAC,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC;CAC9C,CAAC;AAEF,oDAAoD;AACpD,KAAK,UAAU,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,EAAE,GAAG,SAAS,OAAO,EAAE,GAAG,SAAS,MAAM,IAAI;KACjF,CAAC,IAAI,MAAM,CAAC,IAAI,QAAQ,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,EAAE,GAAG,OAAO,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC;CAClF,CAAC;AAEF,iGAAiG;AACjG,KAAK,gBAAgB,CAAC,CAAC,EAAE,GAAG,SAAS,OAAO,IAAI,GAAG,SAAS,IAAI,GAAG,iBAAiB,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAAC;AAEvG;;;;;;;GAOG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,GAAG,SAAS,MAAM,IAAI,CAAC,GAAG,CAAC,SAAS,CAAC,KAAK,CAAC,GACzE,KAAK,CAAC,CAAC,CAAC,GACR,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,MAAM,CAAC,CAAC,CAAC;AAElC,UAAU,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,EAAE,GAAG,SAAS,OAAO,EAAE,GAAG,SAAS,MAAM;IAClF,0FAA0F;IAC1F,QAAQ,CAAC,IAAI,CAAC,EAAE,MAAM,CAAC;IACvB,wFAAwF;IACxF,QAAQ,CAAC,IAAI,CAAC,EAAE,OAAO,CAAC;IACxB;kGAC8F;IAC9F,KAAK,CAAC,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACtD,OAAO,CAAC,CAAC,SAAS,MAAM,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,GAAG,EAAE,GAAG,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACvE;;;8FAG0F;IAC1F,MAAM,CAAC,CAAC,SAAS,MAAM,CAAC,GAAG,MAAM,EAAE,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC,CAAC;IAC/E,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3C;0DACsD;IACtD,KAAK,CAAC,MAAM,EAAE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE;QAAE,SAAS,CAAC,EAAE,OAAO,CAAA;KAAE,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC3F;wDACoD;IACpD,GAAG,IAAI,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;IACjC;;;;;;;;;;;;;kFAa8E;IAC9E,OAAO,CAAC,EAAE,SAAS,OAAO,EAAE,KAAK,GAAG,EAAE,EAAE,IAAI,SAAS,MAAM,GAAG,KAAK,EACjE,QAAQ,EAAE,QAAQ,CAAC,EAAE,EAAE,KAAK,EAAE,IAAI,CAAC,GAClC,CAAC,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,CAAC,CAAC,EAAE,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG,KAAK,EAAE,GAAG,EAAE,GAAG,GAAG,IAAI,CAAC,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;IACnG;;uDAEmD;IACnD,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,OAAO,EAAE,KAAK,GAAG,EAAE,EAAE,IAAI,SAAS,MAAM,GAAG,KAAK,EAC/E,KAAK,EAAE,CAAC,EACR,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EACpB,IAAI,EAAE;QAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;QAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAA;KAAE,EAC1E,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,GACxD,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG;SAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;KAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/E;;oGAEgG;IAChG,GAAG,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,OAAO,EAAE,KAAK,GAAG,EAAE,EAAE,IAAI,SAAS,MAAM,GAAG,KAAK,EAC/E,KAAK,EAAE,CAAC,EACR,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,EACjC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,KAAK,EAAE,OAAO,EAAE,IAAI,CAAC,GACxD,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG;SAAG,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC,SAAS,CAAC,EAAE,EAAE,IAAI,CAAC,GAAG,KAAK,CAAC;KAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAC/E;;;;yEAIqE;IACrE,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,OAAO,EAC1C,KAAK,EAAE,CAAC,EACR,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EACpB,IAAI,EAAE;QAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;QAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAA;KAAE,EAC1E,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,GAC3C,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG;SAAG,CAAC,IAAI,CAAC,GAAG,MAAM;KAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnD;gDAC4C;IAC5C,OAAO,CAAC,CAAC,SAAS,MAAM,EAAE,EAAE,SAAS,OAAO,EAC1C,KAAK,EAAE,CAAC,EACR,YAAY,EAAE,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,EACjC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,GAC3C,KAAK,CAAC,CAAC,EAAE,IAAI,GAAG;SAAG,CAAC,IAAI,CAAC,GAAG,MAAM;KAAE,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnD,sEAAsE;IACtE,GAAG,IAAI,GAAG,CAAC;IACX;;4FAEwF;IACxF,WAAW,IAAI,gBAAgB,CAAC,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAC;CAChE;AAED,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,GAAG,SAAS,OAAO,GAAG,KAAK,EAAE,GAAG,SAAS,MAAM,GAAG,KAAK,IACnG,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,EAAE,OAAO,CAAC,GAC3C;IAAE,KAAK,EAAE,SAAS,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAA;CAAE,GAChF,UAAU,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAElC,KAAK,QAAQ,GAAG,KAAK,CAAC,GAAG,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;AAerC;;qEAEqE;AACrE,MAAM,MAAM,cAAc,CAAC,IAAI,IAAI,CAAC,OAAO,EAAE,OAAO,KAAK,IAAI,CAAC;AAC9D;;;;;;;;;;;;;;;;GAgBG;AACH,MAAM,MAAM,YAAY,CAAC,IAAI,EAAE,CAAC,SAAS,QAAQ,EAAE,GAAG,SAAS,SAAS,OAAO,EAAE,GAAG,EAAE,IAAI,CACxF,IAAI,EAAE,IAAI,EACV,GAAG,GAAG,EAAE,GAAG,KACR,CAAC,CAAC;AAEP;;;;;;;;;;;GAWG;AACH,MAAM,WAAW,UAAU,CAAC,IAAI,EAAE,GAAG,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,QAAQ;IAClF,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;IAC7B;2EACuE;IACvE,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B;8DAC0D;IAC1D,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,GAAG,GAAG,EAAE,GAAG,GAAG,CAAC,CAAC;CAC3C;AAED;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;;GAgCG;AACH,wBAAgB,WAAW,CAAC,CAAC,SAAS,QAAQ,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,GAAG,UAAU,CAAC,IAAI,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC;AACvG,wBAAgB,WAAW,CAAC,IAAI,EAAE,GAAG,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,QAAQ,EAClF,IAAI,EAAE,MAAM,EACZ,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,GACpC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAC5B,wBAAgB,WAAW,CAAC,IAAI,EAAE,GAAG,SAAS,SAAS,OAAO,EAAE,EAAE,CAAC,SAAS,QAAQ,EAClF,IAAI,EAAE,MAAM,EACZ,QAAQ,EAAE,cAAc,CAAC,IAAI,CAAC,EAC9B,KAAK,EAAE,CAAC,IAAI,EAAE,IAAI,EAAE,GAAG,GAAG,EAAE,GAAG,KAAK,CAAC,GACpC,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,CAAC,CAAC,CAAC;AAkB5B,QAAA,MAAM,cAAc,EAAE,OAAO,MAAkC,CAAC;AAEhE;;;;;;;;;;;;;;;GAeG;AACH,MAAM,WAAW,QAAQ,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,GAAG,SAAS,MAAM,GAAG,KAAK;IAChF,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1C,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC;IAC7B,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,IAAI,CAAC;CACjC;AAED;;;;;GAKG;AACH,MAAM,MAAM,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,IAAI,EAAE,MAAM,GAAG,CAAC,GAC3E,SAAS,CAAC,CAAC,EAAE,GAAG,CAAC,GAAG,IAAI,GACxB,KAAK,CAAC;AAEV;;;;;;;;;;;GAWG;AACH,wBAAgB,cAAc,CAAC,CAAC,SAAS,OAAO,EAAE,IAAI,GAAG,EAAE,EAAE,GAAG,SAAS,MAAM,GAAG,KAAK,EACrF,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,EACnB,KAAK,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,KAAK,KAAK,CAAC,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,GAAG,CAAC,GACnD,QAAQ,CAAC,CAAC,EAAE,IAAI,EAAE,GAAG,CAAC,CAGxB;AAED,iGAAiG;AACjG,wBAAgB,UAAU,CAAC,CAAC,EAAE,OAAO,GAAG,CAAC,IAAI,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC,CAEtE;AAoRD,0CAA0C;AAC1C,MAAM,WAAW,UAAU;IACzB;;;;;OAKG;IACH,MAAM,CAAC,EAAE,OAAO,CAAC;CAClB;AA2BD;gFACgF;AAChF,wBAAgB,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,OAAO,EAC3D,YAAY,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,EAClC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,EAC5C,IAAI,CAAC,EAAE,UAAU,GAChB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACnB,sFAAsF;AACtF,wBAAgB,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC,GAAG,OAAO,EACpD,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EACpB,IAAI,EAAE;IAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAA;CAAE,EAC1E,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,EAC5C,IAAI,CAAC,EAAE,UAAU,GAChB,IAAI,CAAC,CAAC,CAAC,CAAC;AAOX,oDAAoD;AACpD,wBAAgB,SAAS,CAAC,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,OAAO,EAC9D,YAAY,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,EAClC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,EAC5C,IAAI,CAAC,EAAE,UAAU,GAChB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACnB,4CAA4C;AAC5C,wBAAgB,SAAS,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC,GAAG,OAAO,EACvD,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EACpB,IAAI,EAAE;IAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAA;CAAE,EAC1E,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,EAC5C,IAAI,CAAC,EAAE,UAAU,GAChB,IAAI,CAAC,CAAC,CAAC,CAAC;AAOX;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,OAAO,EACjE,YAAY,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,EAClC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,GAC3C,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACnB,wBAAgB,YAAY,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC,GAAG,OAAO,EAC1D,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EACpB,IAAI,EAAE;IAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAA;CAAE,EAC1E,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,GAC3C,IAAI,CAAC,CAAC,CAAC,CAAC;AAMX,kKAAkK;AAClK,wBAAgB,eAAe,CAAC,EAAE,SAAS,OAAO,EAAE,EAAE,SAAS,OAAO,EACpE,YAAY,EAAE,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,EAClC,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,GAC3C,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC;AACnB,wBAAgB,eAAe,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC,GAAG,OAAO,EAC7D,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,EACpB,IAAI,EAAE;IAAE,MAAM,EAAE,KAAK,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;IAAC,KAAK,EAAE,KAAK,CAAC,MAAM,EAAE,GAAG,MAAM,CAAC,CAAA;CAAE,EAC1E,KAAK,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,CAAC,KAAK,KAAK,CAAC,EAAE,EAAE,OAAO,CAAC,GAC3C,IAAI,CAAC,CAAC,CAAC,CAAC;AAQX,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,OAAO,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAE3E,uFAAuF;AACvF,wBAAgB,OAAO,CAAC,CAAC,SAAS,OAAO,EACvC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,EACjB,aAAa,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,KAAK,OAAO,GAC3C,SAAS,CAAC,CAAC,CAAC,CAed;AAED,yFAAyF;AACzF,wBAAgB,eAAe,CAAC,CAAC,SAAS,OAAO,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,CAElF"}