ramosedb 0.0.1 → 0.4.0

package/dist/db/query/lib.js

@@ -0,0 +1,175 @@
+import { isComposer } from "../Composer.js";
+import { Q, } from "./kernel.js";
+import { isPipeline } from "./query.js";
+const addStage = (p, stage) => makePipeline(p.ns, [...p.stages, stage]);
+const makePipeline = (ns, stages) => ({
+    _tag: "Pipeline",
+    ns,
+    stages,
+    [Symbol.iterator]() {
+        let state = 0;
+        const cmd = { _tag: "member", ns };
+        return {
+            next: (v) => state === 0
+                ? ((state = 1), { done: false, value: cmd })
+                : { done: true, value: v },
+        };
+    },
+});
+/**
+ * The source stage: concrete entities of one type, or every concrete type
+ * composing one trait. Membership is derived from the protected type fact
+ * and current deployed composition through a catalog-generated rule.
+ */
+export const entities = (ns) => {
+    if (!isComposer(ns)) {
+        throw new Error("ramose/query: entities(...) takes an entity or trait");
+    }
+    return makePipeline(ns, []);
+};
+const filter = (frag) => ((x) => isPipeline(x) ? addStage(x, { kind: "frag", frag }) : frag(x));
+const traversal = (frag) => ((x) => isPipeline(x) ? addStage(x, { kind: "frag", frag }) : frag(x));
+/**
+ * Lift a plain fragment into a pipeable stage — the same adapter every
+ * shipped combinator uses, so a userland combinator is indistinguishable
+ * from a shipped one. A fragment returning a handle refocuses the
+ * pipeline; `void` keeps the focus.
+ */
+export const stage = ((frag) => ((x) => isPipeline(x) ? addStage(x, { kind: "frag", frag }) : frag(x)));
+/** `is(A, v)`: `p(e) := [e A v]`. `is(N.id, v)` is the same filter as {@link byId}. */
+export const is = (attr, value) => filter(function* (e) {
+    yield* Q.fact(e, attr, value);
+});
+/**
+ * `byId(id)`: the focus is this entity. The blessed spelling of a filter by
+ * entity id — a serializable query stage, equivalent to `is(N.id, id)`. The
+ * id is an entity identity, a local id, or an `{ id }` cell; lowering unifies
+ * the focus with that id (`ground`), and never emits a `:db/id` pattern (that
+ * is not an attribute).
+ */
+export const byId = (id) => filter(function* (e) {
+    yield* Q.fact(e, { ident: ":db/id" }, id);
+});
+/** `has(A)`: the focus carries some `A` fact. */
+export const has = (attr) => filter(function* (e) {
+    yield* Q.fact(e, attr);
+});
+/** `missing(A)`: no `A` fact at all. */
+export const missing = (attr) => filter(function* (e) {
+    yield* Q.not(has(attr)(e));
+});
+export const matching = (attr, pred) => filter(function* (e) {
+    const f = yield* Q.fact(e, attr);
+    yield* pred(f.v);
+});
+const asFrag = (stage, e) => stage(e);
+/**
+ * Disjunction of filter stages — `any(startsWith(Issue.title, x), includes(Issue.body, x))`.
+ * Built on {@link Q.or}; usable in fluent `.where(...)`. Each arm is
+ * namespace-constrained the same way `is` / `matching` are.
+ */
+export const any = (...stages) => {
+    if (stages.length === 0) {
+        throw new Error("ramose/query: any(...) needs at least one stage");
+    }
+    return filter(function* (e) {
+        yield* Q.or(...stages.map((s) => () => asFrag(s, e)));
+    });
+};
+/**
+ * Negation of a filter stage — `not(any(...))` is the negated disjunction.
+ * Built on {@link Q.not}.
+ */
+export const not = (stage) => filter(function* (e) {
+    yield* Q.not(() => asFrag(stage, e));
+});
+/** `gt(A, v)`: the attr's value is greater than `v`. */
+export const gt = (attr, value) => matching(attr, (v) => Q.gt(v, value));
+/** `gte(A, v)`: the attr's value is greater than or equal to `v`. */
+export const gte = (attr, value) => matching(attr, (v) => Q.gte(v, value));
+/** `lt(A, v)`: the attr's value is less than `v`. */
+export const lt = (attr, value) => matching(attr, (v) => Q.lt(v, value));
+/** `lte(A, v)`: the attr's value is less than or equal to `v`. */
+export const lte = (attr, value) => matching(attr, (v) => Q.lte(v, value));
+/** `startsWith(A, s)`: the string attr starts with `s`. */
+export const startsWith = (attr, needle, opts) => matching(attr, (v) => Q.startsWith(v, needle, opts));
+/** `includes(A, s)`: the string attr contains `s`. */
+export const includes = (attr, needle, opts) => matching(attr, (v) => Q.includes(v, needle, opts));
+/** `follow(A)`: `p(e) → other := [e A other]` — refocus on the target. */
+export const follow = (attr) => traversal(function* (e) {
+    return (yield* Q.fact(e, attr)).v;
+});
+/** `backlink(A)`: same clause, opposite mode — refocus on the referrer. */
+export const backlink = (attr) => traversal(function* (other) {
+    return (yield* Q.fact(Q._, attr, other)).e;
+});
+const reverseFilter = (frag) => ((x) => isPipeline(x) ? addStage(x, { kind: "frag", frag }) : frag(x));
+/** `some(R, ps…)`: ∃ other. `[other R e]` ∧ ps(other). */
+export const some = (ref, ...ps) => reverseFilter(function* (e) {
+    const other = yield* backlink(ref)(e);
+    for (const p of ps)
+        yield* p(other);
+});
+/** `none(R, ps…)`: ¬∃ other. `[other R e]` ∧ ps(other). */
+export const none = (ref, ...ps) => reverseFilter(function* (e) {
+    yield* Q.not(function* () {
+        const other = yield* backlink(ref)(e);
+        for (const p of ps)
+            yield* p(other);
+    });
+});
+/** `every(R, ps…)`: ¬∃ other. `[other R e]` ∧ ¬ps(other) — vacuously true
+ * of a focus nothing points at, like the nav surface's `every`. */
+export const every = (ref, ...ps) => reverseFilter(function* (e) {
+    yield* Q.not(function* () {
+        const other = yield* backlink(ref)(e);
+        yield* Q.not(function* () {
+            for (const p of ps)
+                yield* p(other);
+        });
+    });
+});
+/** Some fact about the focus was asserted at basis `t >= since`. */
+export const updatedSince = (since) => filter(function* (e) {
+    const f = yield* Q.fact(e);
+    yield* Q.gte(f.t, since);
+});
+/** Some fact about the focus rides a transaction whose entity carries
+ * `[tx A who]` — provenance as an ordinary clause. */
+export const assertedBy = (attr, who) => filter(function* (e) {
+    const f = yield* Q.fact(e);
+    yield* Q.fact(f.tx, attr, who);
+});
+const assertPipeline = (x, what) => {
+    if (!isPipeline(x)) {
+        throw new Error(`ramose/query: ${what}(...) is a pipeline terminal — it closes a pipe, it is not a fragment`);
+    }
+    return x;
+};
+/** Contribute the projection — what a generator body says with its return.
+ * A second argument adds aggregate cells beside the shape
+ * (`.select({ name: User.name }, { n: Q.count(Q.focus) })`). */
+export const select = ((shape, extra) => (q) => addStage(assertPipeline(q, "select"), {
+    kind: "select",
+    shape,
+    extra,
+}));
+/** Contribute a sort key: a selected column's name, or an attr path. */
+export const orderBy = (key, dir = "asc", opts) => (q) => addStage(assertPipeline(q, "orderBy"), {
+    kind: "orderBy",
+    key,
+    dir,
+    empty: opts?.empty ?? "last",
+});
+/** Keep at most `n` rows. */
+export const limit = (n) => (q) => addStage(assertPipeline(q, "limit"), { kind: "limit", n });
+/** Drop `n` rows from the front of the (ordered) result. */
+export const offset = (n) => (q) => addStage(assertPipeline(q, "offset"), { kind: "offset", n });
+/**
+ * Project only the matched entity ids — today's cheap-subscription shape
+ * (`{ id }` rows). The focus namespace is the pipeline's `N`, so a
+ * `pipe(entities(User), ids())` row is `IdRow<User>` and a valid
+ * {@link import("../idents.ts").EntityRef}.
+ */
+export const ids = () => (q) => addStage(assertPipeline(q, "ids"), { kind: "ids" });
+//# sourceMappingURL=lib.js.map

package/dist/db/query/lib.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"lib.js","sourceRoot":"","sources":["../../../src/db/query/lib.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAoB,MAAM,gBAAgB,CAAC;AAqB9D,OAAO,EACL,CAAC,GAQF,MAAM,aAAa,CAAC;AACrB,OAAO,EAAE,UAAU,EAAmD,MAAM,YAAY,CAAC;AAEzF,MAAM,QAAQ,GAAG,CACf,CAAuB,EACvB,KAAgB,EACE,EAAE,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC;AAEhE,MAAM,YAAY,GAAG,CACnB,EAAK,EACL,MAA4B,EACV,EAAE,CAAC,CAAC;IACtB,IAAI,EAAE,UAAU;IAChB,EAAE;IACF,MAAM;IACN,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,IAAI,KAAK,GAAG,CAAC,CAAC;QACd,MAAM,GAAG,GAAG,EAAE,IAAI,EAAE,QAAiB,EAAE,EAAE,EAAE,CAAC;QAC5C,OAAO;YACL,IAAI,EAAE,CAAC,CAAU,EAAE,EAAE,CACnB,KAAK,KAAK,CAAC;gBACT,CAAC,CAAC,CAAC,CAAC,KAAK,GAAG,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,KAAc,EAAE,KAAK,EAAE,GAAY,EAAE,CAAC;gBAC9D,CAAC,CAAC,EAAE,IAAI,EAAE,IAAa,EAAE,KAAK,EAAE,CAAgB,EAAE;SACvD,CAAC;IACJ,CAAC;CACF,CAAC,CAAC;AAKH;;;;GAIG;AACH,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAwB,EAAK,EAAyB,EAAE;IAC9E,IAAI,CAAC,UAAU,CAAC,EAAE,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;IAC1E,CAAC;IACD,OAAO,YAAY,CAAC,EAAE,EAAE,EAAE,CAAC,CAAC;AAC9B,CAAC,CAAC;AAkFF,MAAM,MAAM,GAAG,CAAW,IAAuC,EAA+B,EAAE,CAChG,CAAC,CAAC,CAAU,EAAE,EAAE,CACd,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAW,CAAC,CAGxE,CAAC;AAEJ,MAAM,SAAS,GAAG,CAChB,IAA+C,EAC5B,EAAE,CACrB,CAAC,CAAC,CAAU,EAAE,EAAE,CACd,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAW,CAAC,CAAsB,CAAC;AAElG;;;;;GAKG;AACH,MAAM,CAAC,MAAM,KAAK,GAGd,CAAC,CAAC,IAAsC,EAAE,EAAE,CAC9C,CAAC,CAAC,CAAU,EAAE,EAAE,CACd,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAW,CAAC,CAAC,CAAU,CAAC;AAsBvF,uFAAuF;AACvF,MAAM,CAAC,MAAM,EAAE,GAAG,CAChB,IAAO,EACP,KAAiB,EACY,EAAE,CAC/B,MAAM,CAAI,QAAQ,CAAC,EAAE,CAAC;IACpB,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAChC,CAAC,CAAC,CAAC;AAEL;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,EAAoB,EACF,EAAE,CACpB,MAAM,CAAO,QAAQ,CAAC,EAAE,CAAC;IACvB,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,EAAE,KAAK,EAAE,QAAiB,EAAE,EAAE,EAAE,CAAC,CAAC;AACrD,CAAC,CAAqB,CAAC;AAEzB,iDAAiD;AACjD,MAAM,CAAC,MAAM,GAAG,GAAG,CAAqB,IAAO,EAA+B,EAAE,CAC9E,MAAM,CAAI,QAAQ,CAAC,EAAE,CAAC;IACpB,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;AACzB,CAAC,CAAC,CAAC;AAEL,wCAAwC;AACxC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAqB,IAAO,EAA+B,EAAE,CAClF,MAAM,CAAI,QAAQ,CAAC,EAAE,CAAC;IACpB,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC7B,CAAC,CAAC,CAAC;AAEL,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAO,EACP,IAAiD,EACpB,EAAE,CAC/B,MAAM,CAAI,QAAQ,CAAC,EAAE,CAAC;IACpB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;IACjC,KAAK,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAsB,CAAsB,CAAC;AAC7D,CAAC,CAAC,CAAC;AAIL,MAAM,MAAM,GAAG,CAAC,KAAoC,EAAE,CAAS,EAAqB,EAAE,CACpF,KAAK,CAAC,CAAC,CAAsB,CAAC;AAEhC;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CACjB,GAAG,MAAS,EACoC,EAAE;IAClD,IAAI,MAAM,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,MAAM,CAAuB,QAAQ,CAAC,EAAE,CAAC;QAC9C,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC;IACxD,CAAC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,GAAG,GAAG,CAAW,KAAkC,EAA+B,EAAE,CAC/F,MAAM,CAAI,QAAQ,CAAC,EAAE,CAAC;IACpB,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,MAAM,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;AACvC,CAAC,CAAC,CAAC;AAEL,wDAAwD;AACxD,MAAM,CAAC,MAAM,EAAE,GAAG,CAAqB,IAAO,EAAE,KAAmB,EAA+B,EAAE,CAClG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;AAExC,qEAAqE;AACrE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAqB,IAAO,EAAE,KAAmB,EAA+B,EAAE,CACnG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;AAEzC,qDAAqD;AACrD,MAAM,CAAC,MAAM,EAAE,GAAG,CAAqB,IAAO,EAAE,KAAmB,EAA+B,EAAE,CAClG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;AAExC,kEAAkE;AAClE,MAAM,CAAC,MAAM,GAAG,GAAG,CAAqB,IAAO,EAAE,KAAmB,EAA+B,EAAE,CACnG,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;AAEzC,2DAA2D;AAC3D,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,IAAO,EACP,MAAqC,EACrC,IAAqB,EACQ,EAAE,CAC/B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,UAAU,CAAC,CAAgB,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAEtE,sDAAsD;AACtD,MAAM,CAAC,MAAM,QAAQ,GAAG,CACtB,IAAO,EACP,MAAqC,EACrC,IAAqB,EACQ,EAAE,CAC/B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAgB,EAAE,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;AAEpE,0EAA0E;AAC1E,MAAM,CAAC,MAAM,MAAM,GAAG,CAAqB,IAAO,EAAkB,EAAE,CACpE,SAAS,CAAC,QAAQ,CAAC,EAAE,CAAC;IACpB,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAiB,CAAC;AACpD,CAAC,CAA8B,CAAC;AAElC,2EAA2E;AAC3E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAqB,IAAO,EAAqB,EAAE,CACzE,SAAS,CAAI,QAAQ,CAAC,EAAE,KAAK;IAC3B,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC,CAAiB,CAAC;AAC7D,CAAC,CAAC,CAAC;AAQL,MAAM,aAAa,GAAG,CACpB,IAAuC,EACrB,EAAE,CACpB,CAAC,CAAC,CAAU,EAAE,EAAE,CACd,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAW,CAAC,CAAqB,CAAC;AAEjG,0DAA0D;AAC1D,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,GAAM,EACN,GAAG,EAAuB,EACR,EAAE,CACpB,aAAa,CAAI,QAAQ,CAAC,EAAE,CAAC;IAC3B,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,KAAK,MAAM,CAAC,IAAI,EAAE;QAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAsB,CAAC;AAC3D,CAAC,CAAC,CAAC;AAEL,2DAA2D;AAC3D,MAAM,CAAC,MAAM,IAAI,GAAG,CAClB,GAAM,EACN,GAAG,EAAuB,EACR,EAAE,CACpB,aAAa,CAAI,QAAQ,CAAC,EAAE,CAAC;IAC3B,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;QACpB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,MAAM,CAAC,IAAI,EAAE;YAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAsB,CAAC;IAC3D,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEL;mEACmE;AACnE,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,GAAM,EACN,GAAG,EAAuB,EACR,EAAE,CACpB,aAAa,CAAI,QAAQ,CAAC,EAAE,CAAC;IAC3B,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;QACpB,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QACtC,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,QAAQ,CAAC;YACpB,KAAK,MAAM,CAAC,IAAI,EAAE;gBAAE,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAsB,CAAC;QAC3D,CAAC,CAAC,CAAC;IACL,CAAC,CAAC,CAAC;AACL,CAAC,CAAC,CAAC;AAEL,oEAAoE;AACpE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,KAAa,EAAe,EAAE,CACzD,MAAM,CAAO,QAAQ,CAAC,EAAE,CAAC;IACvB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC;AAC3B,CAAC,CAAC,CAAC;AAEL;sDACsD;AACtD,MAAM,CAAC,MAAM,UAAU,GAAG,CAAqB,IAAO,EAAE,GAAe,EAAe,EAAE,CACtF,MAAM,CAAO,QAAQ,CAAC,EAAE,CAAC;IACvB,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3B,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,EAAE,GAAG,CAAC,CAAC;AACjC,CAAC,CAAC,CAAC;AAEL,MAAM,cAAc,GAAG,CACrB,CAAU,EACV,IAAY,EACM,EAAE;IACpB,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC;QACnB,MAAM,IAAI,KAAK,CAAC,iBAAiB,IAAI,uEAAuE,CAAC,CAAC;IAChH,CAAC;IACD,OAAO,CAAqB,CAAC;AAC/B,CAAC,CAAC;AAMF;;gEAEgE;AAChE,MAAM,CAAC,MAAM,MAAM,GAkBf,CAAC,CAAC,KAAY,EAAE,KAAmB,EAAE,EAAE,CACzC,CAAwB,CAAmB,EAAoB,EAAE,CAC/D,QAAQ,CAAC,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE;IACpC,IAAI,EAAE,QAAQ;IACd,KAAK;IACL,KAAK;CACN,CAAC,CAAU,CAAC;AAUjB,wEAAwE;AACxE,MAAM,CAAC,MAAM,OAAO,GAClB,CACE,GAAM,EACN,GAAG,GAAa,KAAK,EACrB,IAAsC,EACtC,EAAE,CACJ,CACE,CAA4C,EAC1B,EAAE,CACpB,QAAQ,CAAC,cAAc,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE;IACrC,IAAI,EAAE,SAAS;IACf,GAAG;IACH,GAAG;IACH,KAAK,EAAE,IAAI,EAAE,KAAK,IAAI,MAAM;CAC7B,CAAC,CAAC;AAEP,6BAA6B;AAC7B,MAAM,CAAC,MAAM,KAAK,GAChB,CAAC,CAAS,EAAE,EAAE,CACd,CAA6B,CAAmB,EAAoB,EAAE,CACpE,QAAQ,CAAC,cAAc,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,CAAC,EAAE,CAAC,CAAC;AAE/D,4DAA4D;AAC5D,MAAM,CAAC,MAAM,MAAM,GACjB,CAAC,CAAS,EAAE,EAAE,CACd,CAA6B,CAAmB,EAAoB,EAAE,CACpE,QAAQ,CAAC,cAAc,CAAC,CAAC,EAAE,QAAQ,CAAC,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC,EAAE,CAAC,CAAC;AAEjE;;;;;GAKG;AACH,MAAM,CAAC,MAAM,GAAG,GACd,GAAG,EAAE,CACL,CAA6B,CAAmB,EAAyB,EAAE,CACzE,QAAQ,CAAC,cAAc,CAAC,CAAC,EAAE,KAAK,CAAC,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAC"}

package/dist/db/query/query.d.ts

@@ -0,0 +1,209 @@
+import { type Eid } from "../Eid.ts";
+import type { AnyComposer } from "../Composer.ts";
+import { type OrderDir, type OrderEmpty, type PathCarrier, type Shape } from "../shapes.ts";
+import { type AggSpec, type AnyVar, type BClause, type Cell, type EidCell, type CellRecord, type Fragment, type Position, type PullSpec, type QueryGen, type RowOfProjection, type SpliceCommand, type ValueSpec, type Var } from "./kernel.ts";
+/**
+ * Where a page ended — feed it to `q.after` to get the next one. Opaque: the
+ * `keys` are the last row's sort-key values (the entity-id tie-breaker
+ * included), and they mean something only to the query that minted them —
+ * `.after` rejects a cursor whose shape does not fit. Hold it in memory, or
+ * round-trip through `Query.encodeCursor` / `Query.decodeCursor` so Instant
+ * keys stay `Date`s (a JSON-stringified `Date` sorts as a string).
+ */
+export interface Cursor {
+    readonly _tag: "Cursor";
+    readonly keys: readonly unknown[];
+}
+export declare const isCursor: (x: unknown) => x is Cursor;
+/**
+ * What a cursor-paged query resolves to: the page's rows, and the cursor of
+ * its last row — `null` when there is no next page (the page came back empty,
+ * or shorter than its `limit`). Without a `limit`, a full sweep always ends
+ * on one empty page: the peer cannot know the last row is the last.
+ */
+export interface Page<Row = unknown> {
+    readonly rows: readonly Row[];
+    readonly cursor: Cursor | null;
+}
+export type BuiltOrder = {
+    readonly kind: "path";
+    readonly path: readonly string[];
+    readonly revs: readonly boolean[];
+    readonly ref: boolean;
+    readonly dir: OrderDir;
+    readonly empty: OrderEmpty;
+} | {
+    readonly kind: "cell";
+    readonly cell: Cell;
+    readonly dir: OrderDir;
+    readonly empty: OrderEmpty;
+};
+export type SelectExtra = CellRecord | ((focus: AnyVar) => CellRecord);
+export type PipeStage = {
+    readonly kind: "frag";
+    readonly frag: Fragment<AnyVar, unknown>;
+} | {
+    readonly kind: "select";
+    readonly shape: Shape;
+    readonly extra?: SelectExtra | undefined;
+} | {
+    readonly kind: "orderBy";
+    readonly key: string | PathCarrier;
+    readonly dir: OrderDir;
+    readonly empty: OrderEmpty;
+} | {
+    readonly kind: "limit";
+    readonly n: number;
+} | {
+    readonly kind: "offset";
+    readonly n: number;
+} | {
+    readonly kind: "ids";
+};
+export type QueryOrderKey<Row = unknown> = (string & keyof Row) | AnyVar | AggSpec<any> | ((row: Row) => unknown);
+export interface QueryOrder {
+    readonly key: unknown;
+    readonly dir: OrderDir;
+    readonly empty: OrderEmpty;
+}
+/**
+ * The pipe surface's incremental builder for the same body value
+ * `Query.build` writes directly. `Row` is a phantom: the row the
+ * pipeline's terminals have shaped so far. `N` is the current focus
+ * namespace (`entities(User)` starts as `User`; `follow` moves it).
+ * Runtime `ns` is the scan root `entities(...)` planted — membership
+ * lowering reads that object; `N` is the type-level focus and does
+ * not have to stay in lockstep after a traversal. In a generator
+ * body the same value is a clause source: `yield* entities(Issue)`
+ * mints the branded focus var and contributes membership.
+ */
+export interface Pipeline<Row = unknown, N extends AnyComposer = AnyComposer> {
+    readonly _tag: "Pipeline";
+    readonly ns: N;
+    readonly stages: readonly PipeStage[];
+    readonly _row?: Row;
+    [Symbol.iterator](): Iterator<never, Var<Eid<N>>, any>;
+}
+export declare const isPipeline: (x: unknown) => x is Pipeline;
+/** What `yield* q.open(p)` answers: the focus to keep constraining, and the
+ * opened query's projected columns to keep (or extend). `cols` is typed as
+ * a pull spec carrying the opened query's row — treat it as opaque: return
+ * it, or extend it with `Q.row(cols, extra)`. */
+export interface OpenResult<Row = unknown> {
+    readonly focus: Var<EidCell>;
+    readonly cols: PullSpec<Row>;
+    readonly _row?: Row;
+}
+interface OpenCommand<Row> extends SpliceCommand {
+    readonly _row?: Row;
+    [Symbol.iterator](): Iterator<never, OpenResult<Row>, any>;
+}
+type QueryTerm = "rows" | "value" | "one" | "oneOrFail" | "after";
+export interface QueryObject<Row = unknown, Out = readonly Row[], Term extends QueryTerm = "rows"> {
+    readonly _tag: "Query";
+    readonly body: () => unknown;
+    readonly stripCursor: boolean;
+    readonly take: "one" | "oneOrFail" | undefined;
+    readonly seek: Cursor | null | undefined;
+    readonly orders: readonly QueryOrder[];
+    readonly limitN: number | undefined;
+    readonly offsetN: number | undefined;
+    open(): OpenCommand<Row>;
+    logic(): QueryObject<Row, Term extends "value" ? Out : readonly Row[], Term extends "value" ? "value" : "rows">;
+    orderBy(key: (row: Row) => unknown, dir?: OrderDir, opts?: {
+        readonly empty?: OrderEmpty;
+    }): QueryObject<Row, Out, Term>;
+    orderBy(key: any, dir?: OrderDir, opts?: {
+        readonly empty?: OrderEmpty;
+    }): QueryObject<Row, Out, Term>;
+    limit(n: number): QueryObject<Row, Out, Term>;
+    offset(n: number): QueryObject<Row, Out, Term>;
+    one(): QueryObject<Row, Row | null, "one">;
+    oneOrFail(): QueryObject<Row, Row, "oneOrFail">;
+    after(cursor: Cursor | null): QueryObject<Row, Page<Row>, "after">;
+    readonly _row?: Row;
+    readonly _out?: Out;
+}
+export type AnyQueryObject = QueryObject<any, any>;
+/**
+ * The row type a query yields — so an app names it once, from the query,
+ * instead of restating the shape by hand:
+ *
+ * ```ts
+ * const boardQuery = Query.build(() => pipe(entities(Issue), select({ … })));
+ * type BoardRow = Ramose.Row<typeof boardQuery>;   // one row
+ * type BoardRows = Ramose.Rows<typeof boardQuery>; // the readonly array
+ * ```
+ */
+export type Row<Q> = Q extends QueryObject<infer R, any> ? R : never;
+/** The readonly array of {@link Row} — what `db.query` resolves an unpaged,
+ * untaken query to. */
+export type Rows<Q> = readonly Row<Q>[];
+export declare const isQueryObject: (x: unknown) => x is AnyQueryObject;
+export type QueryBody<P, Prj> = (p: P) => QueryGen<Prj> | Pipeline<any>;
+type RowFromBody<B> = B extends () => infer Out ? Out extends QueryGen<infer Prj> ? Prj extends ValueSpec<infer T> ? T : Prj extends AnyVar ? {
+    readonly id: number;
+} : RowOfProjection<Prj> : Out extends Pipeline<infer Row> ? Row : never : never;
+type IsValueBody<B> = B extends () => QueryGen<infer Prj> ? (Prj extends ValueSpec<any> ? true : false) : false;
+type OutFromBody<B> = IsValueBody<B> extends true ? RowFromBody<B> : readonly RowFromBody<B>[];
+export declare const makeQueryObject: <Row, Out = readonly Row[], Term extends QueryTerm = "rows">(body: () => unknown, stripCursor: boolean, take?: "one" | "oneOrFail", seek?: Cursor | null, orders?: readonly QueryOrder[], limitN?: number, offsetN?: number) => QueryObject<Row, Out, Term>;
+/**
+ * Build a query. The body returns the projection; both the pipe and
+ * generator spellings denote the same value. Put changing values in the
+ * body as literals — `Query.build` takes one argument.
+ */
+export declare function q<B extends () => QueryGen<any> | Pipeline<any>>(body: B): QueryObject<RowFromBody<B>, OutFromBody<B>, IsValueBody<B> extends true ? "value" : "rows">;
+interface RuleBuilt {
+    readonly headVars: readonly AnyVar[];
+    readonly retVar: AnyVar | undefined;
+    readonly clauses: readonly BClause[];
+}
+/**
+ * A named rule: apply it to bound handles (`yield* projectOf(issue)`) and
+ * the application records an inert call descriptor — the body is expanded
+ * by the engine, not the builder, which is what makes recursion work and
+ * what lets the same value install as policy data.
+ */
+export interface RuleValue {
+    (...args: readonly Position[]): SpliceCommand;
+    readonly _tag: "QueryRule";
+    readonly ruleName: string;
+    ensureBuilt(): RuleBuilt;
+}
+export declare const isRuleValue: (x: unknown) => x is RuleValue;
+/**
+ * `Query.rule(name, body)` — the named form of the head/body constructor.
+ * The body's parameters are the bound head vars; a returned var joins the
+ * head as the free position (promotion: an instantiated fragment becomes a
+ * named engine rule in exactly this one mechanical call).
+ */
+export declare function rule(name: string, body: (...vars: never[]) => QueryGen<unknown>): RuleValue;
+/**
+ * Lift an enricher generator into a query transformer: the query-level
+ * generics live here, never in user code. The enricher sees the opened
+ * query's focus and returns extra cells for the row.
+ */
+export declare const enrich: <Extra extends CellRecord>(body: (e: Var<EidCell>) => QueryGen<Extra>) => <Row>(qv: QueryObject<Row>) => QueryObject<Row & RowOfProjection<Extra>>;
+/** Shape-preserving sibling of {@link enrich}: extra constraints, same row. */
+export declare const refine: (frag: Fragment<Var<EidCell>, unknown>) => <Row>(qv: QueryObject<Row>) => QueryObject<Row>;
+export type QueryLowering = {
+    readonly entity?: ((eid: number) => unknown) | undefined;
+    readonly resolveEntity?: ((id: unknown) => unknown) | undefined;
+};
+export declare const symbolicIdentityLowering: () => {
+    readonly lowering: QueryLowering;
+    readonly identities: readonly unknown[];
+};
+export interface LoweredKernelQuery {
+    readonly query: Record<string, unknown>;
+    readonly shape: string;
+    readonly rowShape: string;
+    readonly finalize: (result: unknown) => unknown;
+    readonly result: "page" | "row" | "rows";
+    readonly bindsEntities: boolean;
+}
+export declare const lowerQueryAst: (qv: AnyQueryObject) => Record<string, unknown>;
+export declare const tryLowerQueryObject: (qv: AnyQueryObject, lowering?: QueryLowering) => LoweredKernelQuery;
+export declare const lowerQueryObject: (qv: AnyQueryObject, lowering?: QueryLowering) => LoweredKernelQuery;
+export {};
+//# sourceMappingURL=query.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"query.d.ts","sourceRoot":"","sources":["../../../src/db/query/query.ts"],"names":[],"mappings":"AAEA,OAAO,EAAW,KAAK,GAAG,EAAE,MAAM,WAAW,CAAC;AAG9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EAKL,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,WAAW,EAChB,KAAK,KAAK,EAIX,MAAM,cAAc,CAAC;AAUtB,OAAO,EAaL,KAAK,OAAO,EACZ,KAAK,MAAM,EACX,KAAK,OAAO,EAGZ,KAAK,IAAI,EAET,KAAK,OAAO,EACZ,KAAK,UAAU,EAGf,KAAK,QAAQ,EACb,KAAK,QAAQ,EAEb,KAAK,QAAQ,EACb,KAAK,QAAQ,EACb,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,SAAS,EACd,KAAK,GAAG,EACT,MAAM,aAAa,CAAC;AAErB;;;;;;;GAOG;AACH,MAAM,WAAW,MAAM;IACrB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;CACnC;AAED,eAAO,MAAM,QAAQ,MAAO,OAAO,KAAG,CAAC,IAAI,MAII,CAAC;AAEhD;;;;;GAKG;AACH,MAAM,WAAW,IAAI,CAAC,GAAG,GAAG,OAAO;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,GAAG,EAAE,CAAC;IAC9B,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC;CAChC;AAED,MAAM,MAAM,UAAU,GAClB;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,SAAS,OAAO,EAAE,CAAC;IAClC,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IACpB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B,CAAC;AAEN,MAAM,MAAM,WAAW,GAAG,UAAU,GAAG,CAAC,CAAC,KAAK,EAAE,MAAM,KAAK,UAAU,CAAC,CAAC;AAEvE,MAAM,MAAM,SAAS,GACjB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC,CAAA;CAAE,GACnE;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;CAC1C,GACD;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,GAAG,EAAE,MAAM,GAAG,WAAW,CAAC;IACnC,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAC9C;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC;AAE7B,MAAM,MAAM,aAAa,CAAC,GAAG,GAAG,OAAO,IACnC,CAAC,MAAM,GAAG,MAAM,GAAG,CAAC,GACpB,MAAM,GACN,OAAO,CAAC,GAAG,CAAC,GACZ,CAAC,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,CAAC,CAAC;AAE5B,MAAM,WAAW,UAAU;IACzB,QAAQ,CAAC,GAAG,EAAE,OAAO,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,QAAQ,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC;CAC5B;AAED;;;;;;;;;;GAUG;AACH,MAAM,WAAW,QAAQ,CAAC,GAAG,GAAG,OAAO,EAAE,CAAC,SAAS,WAAW,GAAG,WAAW;IAC1E,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,EAAE,EAAE,CAAC,CAAC;IACf,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAC;IACtC,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;IACpB,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;CACxD;AAED,eAAO,MAAM,UAAU,MAAO,OAAO,KAAG,CAAC,IAAI,QACyC,CAAC;AASvF;;;iDAGiD;AACjD,MAAM,WAAW,UAAU,CAAC,GAAG,GAAG,OAAO;IACvC,QAAQ,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC;IAC7B,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;CACrB;AAED,UAAU,WAAW,CAAC,GAAG,CAAE,SAAQ,aAAa;IAC9C,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;IACpB,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,QAAQ,CAAC,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;CAC5D;AAED,KAAK,SAAS,GAAG,MAAM,GAAG,OAAO,GAAG,KAAK,GAAG,WAAW,GAAG,OAAO,CAAC;AAElE,MAAM,WAAW,WAAW,CAC1B,GAAG,GAAG,OAAO,EACb,GAAG,GAAG,SAAS,GAAG,EAAE,EACpB,IAAI,SAAS,SAAS,GAAG,MAAM;IAE/B,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,IAAI,EAAE,MAAM,OAAO,CAAC;IAC7B,QAAQ,CAAC,WAAW,EAAE,OAAO,CAAC;IAC9B,QAAQ,CAAC,IAAI,EAAE,KAAK,GAAG,WAAW,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,IAAI,EAAE,MAAM,GAAG,IAAI,GAAG,SAAS,CAAC;IACzC,QAAQ,CAAC,MAAM,EAAE,SAAS,UAAU,EAAE,CAAC;IACvC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAC;IAErC,IAAI,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;IAEzB,KAAK,IAAI,WAAW,CAClB,GAAG,EACH,IAAI,SAAS,OAAO,GAAG,GAAG,GAAG,SAAS,GAAG,EAAE,EAC3C,IAAI,SAAS,OAAO,GAAG,OAAO,GAAG,MAAM,CACxC,CAAC;IAEF,OAAO,CAAC,GAAG,EAAE,CAAC,GAAG,EAAE,GAAG,KAAK,OAAO,EAAE,GAAG,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAA;KAAE,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IACzH,OAAO,CACL,GAAG,EAAE,GAAG,EACR,GAAG,CAAC,EAAE,QAAQ,EACd,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAA;KAAE,GACrC,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAE/B,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAE9C,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;IAE/C,GAAG,IAAI,WAAW,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC;IAC3C,SAAS,IAAI,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,WAAW,CAAC,CAAC;IAChD,KAAK,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,GAAG,WAAW,CAAC,GAAG,EAAE,IAAI,CAAC,GAAG,CAAC,EAAE,OAAO,CAAC,CAAC;IAEnE,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,GAAG,CAAC;CACrB;AAED,MAAM,MAAM,cAAc,GAAG,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;AAEnD;;;;;;;;;GASG;AACH,MAAM,MAAM,GAAG,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,MAAM,CAAC,EAAE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AAErE;uBACuB;AACvB,MAAM,MAAM,IAAI,CAAC,CAAC,IAAI,SAAS,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC;AAExC,eAAO,MAAM,aAAa,MAAO,OAAO,KAAG,CAAC,IAAI,cACmC,CAAC;AAwapF,MAAM,MAAM,SAAS,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,KAAK,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,CAAC;AAExE,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,MAAM,GAAG,GAC3C,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,CAAC,GAC7B,GAAG,SAAS,SAAS,CAAC,MAAM,CAAC,CAAC,GAC5B,CAAC,GACD,GAAG,SAAS,MAAM,GAChB;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GACvB,eAAe,CAAC,GAAG,CAAC,GACxB,GAAG,SAAS,QAAQ,CAAC,MAAM,GAAG,CAAC,GAC7B,GAAG,GACH,KAAK,GACT,KAAK,CAAC;AAEV,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,MAAM,QAAQ,CAAC,MAAM,GAAG,CAAC,GAAG,CAAC,GAAG,SAAS,SAAS,CAAC,GAAG,CAAC,GAAG,IAAI,GAAG,KAAK,CAAC,GAAG,KAAK,CAAC;AAEhH,KAAK,WAAW,CAAC,CAAC,IAAI,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,WAAW,CAAC,CAAC,CAAC,GAAG,SAAS,WAAW,CAAC,CAAC,CAAC,EAAE,CAAC;AAE/F,eAAO,MAAM,eAAe,GAC1B,GAAG,EACH,GAAG,GAAG,SAAS,GAAG,EAAE,EACpB,IAAI,SAAS,SAAS,GAAG,MAAM,QAEzB,MAAM,OAAO,eACN,OAAO,SACb,KAAK,GAAG,WAAW,SACnB,MAAM,GAAG,IAAI,WACZ,SAAS,UAAU,EAAE,WACpB,MAAM,YACL,MAAM,KACf,WAAW,CAAC,GAAG,EAAE,GAAG,EAAE,IAAI,CAsD5B,CAAC;AAEF;;;;GAIG;AACH,wBAAgB,CAAC,CAAC,CAAC,SAAS,MAAM,QAAQ,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,GAAG,CAAC,EAC7D,IAAI,EAAE,CAAC,GACN,WAAW,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,OAAO,GAAG,MAAM,CAAC,CAS7F;AAED,UAAU,SAAS;IACjB,QAAQ,CAAC,QAAQ,EAAE,SAAS,MAAM,EAAE,CAAC;IACrC,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC;IACpC,QAAQ,CAAC,OAAO,EAAE,SAAS,OAAO,EAAE,CAAC;CACtC;AAED;;;;;GAKG;AACH,MAAM,WAAW,SAAS;IACxB,CAAC,GAAG,IAAI,EAAE,SAAS,QAAQ,EAAE,GAAG,aAAa,CAAC;IAC9C,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,WAAW,IAAI,SAAS,CAAC;CAC1B;AAED,eAAO,MAAM,WAAW,MAAO,OAAO,KAAG,CAAC,IAAI,SAC6B,CAAC;AAI5E;;;;;GAKG;AACH,wBAAgB,IAAI,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,EAAE,KAAK,QAAQ,CAAC,OAAO,CAAC,GAAG,SAAS,CAkD3F;AA2CD;;;;GAIG;AACH,eAAO,MAAM,MAAM,GAChB,KAAK,SAAS,UAAU,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,KAAK,CAAC,MACpE,GAAG,MAAM,WAAW,CAAC,GAAG,CAAC,KAAG,WAAW,CAAC,GAAG,GAAG,eAAe,CAAC,KAAK,CAAC,CAQlE,CAAC;AAEN,+EAA+E;AAC/E,eAAO,MAAM,MAAM,SACV,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,EAAE,OAAO,CAAC,MACrC,GAAG,MAAM,WAAW,CAAC,GAAG,CAAC,KAAG,WAAW,CAAC,GAAG,CAQzC,CAAC;AAEN,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,MAAM,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;IACzD,QAAQ,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC,EAAE,EAAE,OAAO,KAAK,OAAO,CAAC,GAAG,SAAS,CAAC;CACjE,CAAC;AAEF,eAAO,MAAM,wBAAwB,QAAO;IAC1C,QAAQ,CAAC,QAAQ,EAAE,aAAa,CAAC;IACjC,QAAQ,CAAC,UAAU,EAAE,SAAS,OAAO,EAAE,CAAC;CAOzC,CAAC;AAEF,MAAM,WAAW,kBAAkB;IACjC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACxC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,QAAQ,EAAE,MAAM,CAAC;IAC1B,QAAQ,CAAC,QAAQ,EAAE,CAAC,MAAM,EAAE,OAAO,KAAK,OAAO,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,GAAG,KAAK,GAAG,MAAM,CAAC;IACzC,QAAQ,CAAC,aAAa,EAAE,OAAO,CAAC;CACjC;AAgDD,eAAO,MAAM,aAAa,OAAQ,cAAc,KAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAC7C,CAAC;AAE7B,eAAO,MAAM,mBAAmB,OAC1B,cAAc,aACP,aAAa,KACvB,kBASF,CAAC;AAEF,eAAO,MAAM,gBAAgB,OACvB,cAAc,aACP,aAAa,KACvB,kBA+/BF,CAAC"}