ramosedb 0.0.0-stage → 0.4.0

package/dist/db/query/kernel.js

@@ -0,0 +1,284 @@
+import { FUNCTIONS } from "../../internal/core/query/builtins.js";
+let nextVarId = 1;
+export const mkVar = (kind = "value", ns) => ({ _tag: "QVar", id: nextVarId++, kind, ns });
+export const isVar = (x) => typeof x === "object" && x !== null && x._tag === "QVar";
+const BLANK = { _tag: "QBlank" };
+export const isBlank = (x) => typeof x === "object" && x !== null && x._tag === "QBlank";
+function yieldSelf(self) {
+    let state = 0;
+    return {
+        next(v) {
+            if (state === 0) {
+                state = 1;
+                return { done: false, value: self };
+            }
+            return { done: true, value: v };
+        },
+    };
+}
+const toGen = (b) => {
+    if (typeof b === "function")
+        return b();
+    if (typeof b.next !== "function") {
+        return b[Symbol.iterator]();
+    }
+    return b;
+};
+export const runBody = (gen, ctx) => {
+    let step = gen.next();
+    while (!step.done) {
+        step = gen.next(dispatch(step.value, ctx));
+    }
+    return step.value;
+};
+export const collectBody = (b) => {
+    const ctx = { clauses: [] };
+    runBody(toGen(b), ctx);
+    return ctx.clauses;
+};
+const dispatch = (cmd, ctx) => {
+    switch (cmd._tag) {
+        case "fact":
+            ctx.clauses.push(cmd);
+            return cmd.handle;
+        case "cmp":
+            ctx.clauses.push(cmd);
+            return undefined;
+        case "fnBind":
+            ctx.clauses.push(cmd);
+            return cmd.ret;
+        case "or":
+            ctx.clauses.push({ _tag: "orGroup", branches: cmd.branches.map(collectBody) });
+            return undefined;
+        case "not":
+            ctx.clauses.push({ _tag: "notGroup", clauses: collectBody(cmd.body) });
+            return undefined;
+        case "member": {
+            const v = mkVar("entity", cmd.ns.ns);
+            ctx.clauses.push({ _tag: "memberOf", ns: cmd.ns, v });
+            return v;
+        }
+        case "splice":
+            return cmd.splice(ctx);
+    }
+};
+export const isPullSpec = (x) => typeof x === "object" && x !== null && x._tag === "pullSpec";
+export const isRowsSpec = (x) => typeof x === "object" && x !== null && x._tag === "rowsSpec";
+export const isAggSpec = (x) => typeof x === "object" && x !== null && x._tag === "aggSpec";
+export const isValueSpec = (x) => typeof x === "object" && x !== null && x._tag === "valueSpec";
+export const isDistinctSpec = (x) => typeof x === "object" && x !== null && x._tag === "distinctSpec";
+export const FOCUS = Object.freeze({
+    _tag: "QVar",
+    id: -1,
+    kind: "entity",
+});
+export const isFocusSentinel = (v) => isVar(v) && v.id === -1;
+const factHandle = (cmd) => ({
+    get e() {
+        if (cmd.eVar === undefined) {
+            cmd.eVar = isVar(cmd.e0)
+                ? cmd.e0
+                : mkVar("entity", cmd.attr === undefined ? undefined : nsOfIdent(cmd.attr.ident));
+        }
+        return cmd.eVar;
+    },
+    get v() {
+        if (cmd.vVar === undefined) {
+            cmd.vVar = isVar(cmd.v0)
+                ? cmd.v0
+                : mkVar(isRefAttr(cmd.attr) ? "entity" : "value", refTargetNs(cmd.attr));
+        }
+        return cmd.vVar;
+    },
+    get t() {
+        if (cmd.txVar === undefined) {
+            cmd.txVar = mkVar("t");
+            cmd.txKind = "t";
+        }
+        else if (cmd.txKind !== "t") {
+            throw new Error("ramose/query: read f.t or f.tx, not both — they are the same position read two ways");
+        }
+        return cmd.txVar;
+    },
+    get tx() {
+        if (cmd.txVar === undefined) {
+            cmd.txVar = mkVar("tx");
+            cmd.txKind = "tx";
+        }
+        else if (cmd.txKind !== "tx") {
+            throw new Error("ramose/query: read f.t or f.tx, not both — they are the same position read two ways");
+        }
+        return cmd.txVar;
+    },
+    get op() {
+        cmd.opVar ??= mkVar("op");
+        return cmd.opVar;
+    },
+});
+const nsOfIdent = (ident) => /^:([^/]+)\//.exec(ident)?.[1];
+const isRefAttr = (attr) => attr !== undefined && attr.valueType === "ref";
+const refTargetNs = (attr) => {
+    if (!isRefAttr(attr))
+        return undefined;
+    const schema = attr.schema;
+    const resolve = schema?._resolve;
+    if (typeof resolve !== "function")
+        return undefined;
+    try {
+        const ns = resolve()?.ns;
+        return typeof ns === "string" ? ns : undefined;
+    }
+    catch {
+        return undefined;
+    }
+};
+const cmp = (op, args, ignoreCase = false) => ({
+    _tag: "cmp",
+    op,
+    args,
+    ...(ignoreCase ? { ignoreCase: true } : {}),
+    [Symbol.iterator]() {
+        return yieldSelf(this);
+    },
+});
+const stringPred = (op) => (v, needle, opts) => cmp(op, [v, needle], opts?.ignoreCase === true);
+const fnBind = (fn, args) => {
+    if (typeof fn !== "string" || fn.length === 0 || !Object.hasOwn(FUNCTIONS, fn)) {
+        throw new Error(`ramose/query: Q.call(${JSON.stringify(fn)}) is not an engine function — the documented builtins are the names Q.call accepts`);
+    }
+    const ret = mkVar("value");
+    return {
+        _tag: "fnBind",
+        fn,
+        args,
+        ret,
+        [Symbol.iterator]() {
+            return yieldSelf(this);
+        },
+    };
+};
+const factImpl = (e, attr, v) => {
+    const a = attr === undefined || isBlank(attr) ? undefined : attr;
+    if (a !== undefined && typeof a.ident !== "string") {
+        throw new Error("ramose/query: Q.fact's attr position takes an attribute reference (Issue.title) or Q._");
+    }
+    const cmd = {
+        _tag: "fact",
+        e0: e,
+        attr: a,
+        v0: v,
+    };
+    cmd.handle = factHandle(cmd);
+    cmd[Symbol.iterator] = function () {
+        return yieldSelf(this);
+    };
+    if (isVar(e) && a !== undefined && e.ns === undefined)
+        e.ns = nsOfIdent(a.ident);
+    return cmd;
+};
+const fact = (e, attr, v) => factImpl(e, attr, v);
+const agg = (fn, v) => {
+    if (!isVar(v)) {
+        throw new Error(`ramose/query: Q.${fn === "count-distinct" ? "countDistinct" : fn}(...) aggregates a bound var`);
+    }
+    return { _tag: "aggSpec", fn, v };
+};
+const distinctInner = (proj) => {
+    if (isDistinctSpec(proj))
+        return proj.inner;
+    if (isValueSpec(proj)) {
+        throw new Error("ramose/query: Q.distinct(...) wraps a row projection — Q.value is a scalar, not a set of rows");
+    }
+    if (isPullSpec(proj) || isRowsSpec(proj))
+        return proj;
+    if (isVar(proj) ||
+        isAggSpec(proj) ||
+        isBlank(proj) ||
+        proj === null ||
+        typeof proj !== "object" ||
+        Array.isArray(proj)) {
+        throw new Error("ramose/query: Q.distinct(...) wraps a row projection — Q.pull, Q.rows({ … }), or a record of bound handles");
+    }
+    const tag = proj._tag;
+    if (typeof tag === "string") {
+        throw new Error("ramose/query: Q.distinct(...) wraps a row projection — Q.pull, Q.rows({ … }), or a record of bound handles");
+    }
+    if (Object.keys(proj).length === 0) {
+        throw new Error("ramose/query: the body returned an empty projection — name at least one cell");
+    }
+    return proj;
+};
+/**
+ * The kernel, as one namespace. Everything here is an inert description;
+ * `db.query` is where computation (and Effect) begins.
+ */
+export const Q = {
+    fact,
+    var: () => mkVar("value"),
+    _: BLANK,
+    eq: (a, b) => cmp("=", [a, b]),
+    ne: (a, b) => cmp("not=", [a, b]),
+    lt: (a, b) => cmp("<", [a, b]),
+    lte: (a, b) => cmp("<=", [a, b]),
+    gt: (a, b) => cmp(">", [a, b]),
+    gte: (a, b) => cmp(">=", [a, b]),
+    startsWith: stringPred("starts-with?"),
+    endsWith: stringPred("ends-with?"),
+    includes: stringPred("includes?"),
+    matches: (v, re) => cmp("re-find?", [re, v]),
+    in: (v, values) => cmp("in", [v, values]),
+    call: (fn, ...args) => fnBind(fn, args),
+    or: (...branches) => ({
+        _tag: "or",
+        branches,
+        [Symbol.iterator]() {
+            return yieldSelf(this);
+        },
+    }),
+    not: (body) => ({
+        _tag: "not",
+        body,
+        [Symbol.iterator]() {
+            return yieldSelf(this);
+        },
+    }),
+    pull: (focus, shape) => {
+        if (!isVar(focus)) {
+            throw new Error("ramose/query: Q.pull's first argument is the bound focus var");
+        }
+        return { _tag: "pullSpec", focus, shape: shape };
+    },
+    rows: (cells) => ({
+        _tag: "rowsSpec",
+        cells,
+    }),
+    value: (cell) => {
+        if (!isAggSpec(cell) && !isVar(cell) && !isPullSpec(cell)) {
+            throw new Error("ramose/query: Q.value(...) takes a bound var, Q.pull, or an aggregate cell");
+        }
+        return { _tag: "valueSpec", cell: cell };
+    },
+    distinct: (proj) => ({
+        _tag: "distinctSpec",
+        inner: distinctInner(proj),
+    }),
+    focus: FOCUS,
+    row: (base, extra) => {
+        if (isDistinctSpec(base)) {
+            return Q.distinct(Q.row(base.inner, extra));
+        }
+        const cells = isRowsSpec(base)
+            ? { ...base.cells, ...extra }
+            : isPullSpec(base)
+                ? { ...extra, ["…"]: base }
+                : { ...base, ...extra };
+        return { _tag: "rowsSpec", cells: cells };
+    },
+    count: (v) => agg("count", v),
+    countDistinct: (v) => agg("count-distinct", v),
+    sum: (v) => agg("sum", v),
+    avg: (v) => agg("avg", v),
+    min: (v) => agg("min", v),
+    max: (v) => agg("max", v),
+};
+//# sourceMappingURL=kernel.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"kernel.js","sourceRoot":"","sources":["../../../src/db/query/kernel.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,uCAAuC,CAAC;AAkClE,IAAI,SAAS,GAAG,CAAC,CAAC;AAElB,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,IAAI,GAAY,OAAO,EACvB,EAAW,EACA,EAAE,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,IAAI,EAAE,EAAE,EAAE,CAAc,CAAC;AAE3E,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,CAAU,EAAe,EAAE,CAC/C,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAwB,CAAC,IAAI,KAAK,MAAM,CAAC;AAKnF,MAAM,KAAK,GAAU,EAAE,IAAI,EAAE,QAAQ,EAAE,CAAC;AAExC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,CAAU,EAAc,EAAE,CAChD,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAwB,CAAC,IAAI,KAAK,QAAQ,CAAC;AAoBrF,SAAS,SAAS,CAAI,IAAa;IACjC,IAAI,KAAK,GAAG,CAAC,CAAC;IACd,OAAO;QACL,IAAI,CAAC,CAAU;YACb,IAAI,KAAK,KAAK,CAAC,EAAE,CAAC;gBAChB,KAAK,GAAG,CAAC,CAAC;gBACV,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAkB,EAAE,CAAC;YACpD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,CAAM,EAAE,CAAC;QACvC,CAAC;KACF,CAAC;AACJ,CAAC;AAwHD,MAAM,KAAK,GAAG,CAAC,CAAU,EAAqB,EAAE;IAC9C,IAAI,OAAO,CAAC,KAAK,UAAU;QAAE,OAAO,CAAC,EAAE,CAAC;IACxC,IAAI,OAAQ,CAAgC,CAAC,IAAI,KAAK,UAAU,EAAE,CAAC;QACjE,OAAQ,CAAuB,CAAC,MAAM,CAAC,QAAQ,CAAC,EAAuB,CAAC;IAC1E,CAAC;IACD,OAAO,CAAsB,CAAC;AAChC,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,OAAO,GAAG,CAAI,GAAgB,EAAE,GAAa,EAAK,EAAE;IAC/D,IAAI,IAAI,GAAG,GAAG,CAAC,IAAI,EAAE,CAAC;IACtB,OAAO,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,IAAI,GAAG,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC7C,CAAC;IACD,OAAO,IAAI,CAAC,KAAK,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAU,EAAa,EAAE;IACnD,MAAM,GAAG,GAAa,EAAE,OAAO,EAAE,EAAE,EAAE,CAAC;IACtC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACvB,OAAO,GAAG,CAAC,OAAO,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,GAAe,EAAE,GAAa,EAAW,EAAE;IAC3D,QAAQ,GAAG,CAAC,IAAI,EAAE,CAAC;QACjB,KAAK,MAAM;YACT,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,OAAO,GAAG,CAAC,MAAM,CAAC;QACpB,KAAK,KAAK;YACR,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ;YACX,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACtB,OAAO,GAAG,CAAC,GAAG,CAAC;QACjB,KAAK,IAAI;YACP,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,GAAG,CAAC,QAAQ,CAAC,GAAG,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC;YAC/E,OAAO,SAAS,CAAC;QACnB,KAAK,KAAK;YACR,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YACvE,OAAO,SAAS,CAAC;QACnB,KAAK,QAAQ,EAAE,CAAC;YACd,MAAM,CAAC,GAAG,KAAK,CAAmB,QAAQ,EAAE,GAAG,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;YACvD,GAAG,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,EAAE,EAAE,GAAG,CAAC,EAAE,EAAE,CAAC,EAAE,CAAC,CAAC;YACtD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,QAAQ;YACX,OAAO,GAAG,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;IAC3B,CAAC;AACH,CAAC,CAAC;AA2CF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAiB,EAAE,CACtD,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAwB,CAAC,IAAI,KAAK,UAAU,CAAC;AACvF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAiB,EAAE,CACtD,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAwB,CAAC,IAAI,KAAK,UAAU,CAAC;AACvF,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAU,EAAgB,EAAE,CACpD,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAwB,CAAC,IAAI,KAAK,SAAS,CAAC;AACtF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,CAAU,EAAkB,EAAE,CACxD,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAwB,CAAC,IAAI,KAAK,WAAW,CAAC;AACxF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,CAAU,EAAqB,EAAE,CAC9D,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI,IAAK,CAAwB,CAAC,IAAI,KAAK,cAAc,CAAC;AAE3F,MAAM,CAAC,MAAM,KAAK,GAAW,MAAM,CAAC,MAAM,CAAC;IACzC,IAAI,EAAE,MAAM;IACZ,EAAE,EAAE,CAAC,CAAC;IACN,IAAI,EAAE,QAAQ;CACf,CAAW,CAAC;AAEb,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAU,EAAe,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC;AA4BpF,MAAM,UAAU,GAAG,CAAC,GASnB,EAAmB,EAAE,CAAC,CAAC;IACtB,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,CAAC,CAAC,GAAG,CAAC,EAAE;gBACR,CAAC,CAAC,KAAK,CAAC,QAAQ,EAAE,GAAG,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;QACtF,CAAC;QACD,OAAO,GAAG,CAAC,IAAoB,CAAC;IAClC,CAAC;IACD,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YAC3B,GAAG,CAAC,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;gBACtB,CAAC,CAAC,GAAG,CAAC,EAAE;gBACR,CAAC,CAAC,KAAK,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,WAAW,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,GAAG,CAAC,IAAgB,CAAC;IAC9B,CAAC;IACD,IAAI,CAAC;QACH,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5B,GAAG,CAAC,KAAK,GAAG,KAAK,CAAS,GAAG,CAAC,CAAC;YAC/B,GAAG,CAAC,MAAM,GAAG,GAAG,CAAC;QACnB,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,KAAK,GAAG,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,qFAAqF,CAAC,CAAC;QACzG,CAAC;QACD,OAAO,GAAG,CAAC,KAAoB,CAAC;IAClC,CAAC;IACD,IAAI,EAAE;QACJ,IAAI,GAAG,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YAC5B,GAAG,CAAC,KAAK,GAAG,KAAK,CAAU,IAAI,CAAC,CAAC;YACjC,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC;QACpB,CAAC;aAAM,IAAI,GAAG,CAAC,MAAM,KAAK,IAAI,EAAE,CAAC;YAC/B,MAAM,IAAI,KAAK,CAAC,qFAAqF,CAAC,CAAC;QACzG,CAAC;QACD,OAAO,GAAG,CAAC,KAAqB,CAAC;IACnC,CAAC;IACD,IAAI,EAAE;QACJ,GAAG,CAAC,KAAK,KAAK,KAAK,CAAU,IAAI,CAAC,CAAC;QACnC,OAAO,GAAG,CAAC,KAAqB,CAAC;IACnC,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,SAAS,GAAG,CAAC,KAAa,EAAsB,EAAE,CACtD,aAAa,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;AAEjC,MAAM,SAAS,GAAG,CAAC,IAA0B,EAAW,EAAE,CACxD,IAAI,KAAK,SAAS,IAAK,IAAgC,CAAC,SAAS,KAAK,KAAK,CAAC;AAE9E,MAAM,WAAW,GAAG,CAAC,IAA0B,EAAsB,EAAE;IACrE,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC;QAAE,OAAO,SAAS,CAAC;IACvC,MAAM,MAAM,GAAI,IAA6B,CAAC,MAAM,CAAC;IACrD,MAAM,OAAO,GAAI,MAA4D,EAAE,QAAQ,CAAC;IACxF,IAAI,OAAO,OAAO,KAAK,UAAU;QAAE,OAAO,SAAS,CAAC;IACpD,IAAI,CAAC;QACH,MAAM,EAAE,GAAG,OAAO,EAAE,EAAE,EAAE,CAAC;QACzB,OAAO,OAAO,EAAE,KAAK,QAAQ,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC;IACjD,CAAC;IAAC,MAAM,CAAC;QACP,OAAO,SAAS,CAAC;IACnB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,GAAG,GAAG,CAAC,EAAU,EAAE,IAAyB,EAAE,UAAU,GAAG,KAAK,EAAc,EAAE,CAAC,CAAC;IACtF,IAAI,EAAE,KAAK;IACX,EAAE;IACF,IAAI;IACJ,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,EAAE,IAAa,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;IACpD,CAAC,MAAM,CAAC,QAAQ,CAAC;QACf,OAAO,SAAS,CAAO,IAAI,CAAC,CAAC;IAC/B,CAAC;CACF,CAAC,CAAC;AAEH,MAAM,UAAU,GACd,CAAC,EAAU,EAAE,EAAE,CACf,CAAC,CAAkB,EAAE,MAAuB,EAAE,IAAqB,EAAc,EAAE,CACjF,GAAG,CAAC,EAAE,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,KAAK,IAAI,CAAC,CAAC;AAEpD,MAAM,MAAM,GAAG,CAAC,EAAU,EAAE,IAAyB,EAAiB,EAAE;IACtE,IAAI,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,SAAS,EAAE,EAAE,CAAC,EAAE,CAAC;QAC/E,MAAM,IAAI,KAAK,CACb,wBAAwB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,oFAAoF,CAC/H,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAG,KAAK,CAAC,OAAO,CAAC,CAAC;IAC3B,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,EAAE;QACF,IAAI;QACJ,GAAG;QACH,CAAC,MAAM,CAAC,QAAQ,CAAC;YACf,OAAO,SAAS,CAAS,IAAI,CAAC,CAAC;QACjC,CAAC;KACF,CAAC;AACJ,CAAC,CAAC;AAYF,MAAM,QAAQ,GAAG,CACf,CAAY,EACZ,IAAgB,EAChB,CAAY,EACe,EAAE;IAC7B,MAAM,CAAC,GAAG,IAAI,KAAK,SAAS,IAAI,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC;IACjE,IAAI,CAAC,KAAK,SAAS,IAAI,OAAQ,CAAyB,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC5E,MAAM,IAAI,KAAK,CAAC,wFAAwF,CAAC,CAAC;IAC5G,CAAC;IACD,MAAM,GAAG,GAAG;QACV,IAAI,EAAE,MAAM;QACZ,EAAE,EAAE,CAAC;QACL,IAAI,EAAE,CAAC;QACP,EAAE,EAAE,CAAC;KACoD,CAAC;IAC5D,GAAG,CAAC,MAAM,GAAG,UAAU,CAAC,GAAG,CAAC,CAAC;IAC7B,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG;QACrB,OAAO,SAAS,CAA2B,IAAI,CAAC,CAAC;IACnD,CAAC,CAAC;IACF,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,CAAC,EAAE,KAAK,SAAS;QAAE,CAAC,CAAC,EAAE,GAAG,SAAS,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;IACjF,OAAO,GAAgC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,IAAI,GAAG,CACX,CAAK,EACL,IAA6B,EAC7B,CAAY,EACe,EAAE,CAAC,QAAQ,CAAC,CAAC,EAAE,IAA6B,EAAE,CAAC,CAAC,CAAC;AAI9E,MAAM,GAAG,GAAG,CAAI,EAAiB,EAAE,CAAS,EAAc,EAAE;IAC1D,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC;QACd,MAAM,IAAI,KAAK,CAAC,mBAAmB,EAAE,KAAK,gBAAgB,CAAC,CAAC,CAAC,eAAe,CAAC,CAAC,CAAC,EAAE,8BAA8B,CAAC,CAAC;IACnH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,EAAE,CAAC;AACpC,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,IAAa,EAAyB,EAAE;IAC7D,IAAI,cAAc,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,KAAK,CAAC;IAC5C,IAAI,WAAW,CAAC,IAAI,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CACb,+FAA+F,CAChG,CAAC;IACJ,CAAC;IACD,IAAI,UAAU,CAAC,IAAI,CAAC,IAAI,UAAU,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACtD,IACE,KAAK,CAAC,IAAI,CAAC;QACX,SAAS,CAAC,IAAI,CAAC;QACf,OAAO,CAAC,IAAI,CAAC;QACb,IAAI,KAAK,IAAI;QACb,OAAO,IAAI,KAAK,QAAQ;QACxB,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EACnB,CAAC;QACD,MAAM,IAAI,KAAK,CACb,4GAA4G,CAC7G,CAAC;IACJ,CAAC;IACD,MAAM,GAAG,GAAI,IAA2B,CAAC,IAAI,CAAC;IAC9C,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC5B,MAAM,IAAI,KAAK,CACb,4GAA4G,CAC7G,CAAC;IACJ,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,KAAK,CAAC,8EAA8E,CAAC,CAAC;IAClG,CAAC;IACD,OAAO,IAAkB,CAAC;AAC5B,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,CAAC,GAAG;IACf,IAAI;IAEJ,GAAG,EAAE,GAAwB,EAAE,CAAC,KAAK,CAAI,OAAO,CAAC;IAEjD,CAAC,EAAE,KAAK;IAER,EAAE,EAAE,CAAI,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,EAAE,EAAE,CAAI,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,GAAG,CAAC,MAAM,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACxE,EAAE,EAAE,CAAI,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,GAAG,EAAE,CAAI,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,EAAE,EAAE,CAAI,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACrE,GAAG,EAAE,CAAI,CAAa,EAAE,CAAa,EAAc,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACvE,UAAU,EAAE,UAAU,CAAC,cAAc,CAAC;IACtC,QAAQ,EAAE,UAAU,CAAC,YAAY,CAAC;IAClC,QAAQ,EAAE,UAAU,CAAC,WAAW,CAAC;IACjC,OAAO,EAAE,CAAC,CAAkB,EAAE,EAAmB,EAAc,EAAE,CAC/D,GAAG,CAAC,UAAU,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC;IAC1B,EAAE,EAAE,CAAI,CAAa,EAAE,MAAoB,EAAc,EAAE,CACzD,GAAG,CAAC,IAAI,EAAE,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;IAExB,IAAI,EAAE,CAAC,EAAU,EAAE,GAAG,IAAgB,EAAiB,EAAE,CAAC,MAAM,CAAC,EAAE,EAAE,IAAI,CAAC;IAE1E,EAAE,EAAE,CAAC,GAAG,QAA4B,EAAa,EAAE,CAAC,CAAC;QACnD,IAAI,EAAE,IAAI;QACV,QAAQ;QACR,CAAC,MAAM,CAAC,QAAQ,CAAC;YACf,OAAO,SAAS,CAAO,IAAI,CAAC,CAAC;QAC/B,CAAC;KACF,CAAC;IAEF,GAAG,EAAE,CAAC,IAAa,EAAc,EAAE,CAAC,CAAC;QACnC,IAAI,EAAE,KAAK;QACX,IAAI;QACJ,CAAC,MAAM,CAAC,QAAQ,CAAC;YACf,OAAO,SAAS,CAAO,IAAI,CAAC,CAAC;QAC/B,CAAC;KACF,CAAC;IAEF,IAAI,EAAE,CACJ,KAAQ,EACR,KAAoD,EACzB,EAAE;QAC7B,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YAClB,MAAM,IAAI,KAAK,CAAC,8DAA8D,CAAC,CAAC;QAClF,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAK,EAAE,KAAc,EAAE,CAAC;IAC5D,CAAC;IAED,IAAI,EAAE,CAA6B,KAAQ,EAA0B,EAAE,CAAC,CAAC;QACvE,IAAI,EAAE,UAAU;QAChB,KAAK;KACN,CAAC;IAEF,KAAK,EAAE,CACL,IAAO,EACkB,EAAE;QAC3B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1D,MAAM,IAAI,KAAK,CACb,4EAA4E,CAC7E,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,WAAW,EAAE,IAAI,EAAE,IAAuC,EAAE,CAAC;IAC9E,CAAC;IAED,QAAQ,EAAE,CAA+B,IAAO,EAAoC,EAAE,CAAC,CAAC;QACtF,IAAI,EAAE,cAAc;QACpB,KAAK,EAAE,aAAa,CAAC,IAAI,CAAC;KAC3B,CAAC;IAEF,KAAK,EAAE,KAAK;IAEZ,GAAG,EAAE,CACH,IAAU,EACV,KAAY,EAGyC,EAAE;QACvD,IAAI,cAAc,CAAC,IAAI,CAAC,EAAE,CAAC;YACzB,OAAO,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,CAAC,CAAU,CAAC;QACvD,CAAC;QACD,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC;YAC5B,CAAC,CAAC,EAAE,GAAG,IAAI,CAAC,KAAK,EAAE,GAAG,KAAK,EAAE;YAC7B,CAAC,CAAC,UAAU,CAAC,IAAI,CAAC;gBAChB,CAAC,CAAC,EAAE,GAAG,KAAK,EAAE,CAAC,GAAG,CAAC,EAAE,IAAI,EAAE;gBAC3B,CAAC,CAAC,EAAE,GAAI,IAAmB,EAAE,GAAG,KAAK,EAAE,CAAC;QAC5C,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,KAAK,EAAE,KAAmB,EAAW,CAAC;IACnE,CAAC;IAED,KAAK,EAAE,CAAC,CAAS,EAAmB,EAAE,CAAC,GAAG,CAAC,OAAO,EAAE,CAAC,CAAC;IACtD,aAAa,EAAE,CAAC,CAAS,EAAmB,EAAE,CAAC,GAAG,CAAC,gBAAgB,EAAE,CAAC,CAAC;IACvE,GAAG,EAAE,CAAC,CAAuB,EAAmB,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IAChE,GAAG,EAAE,CAAC,CAAuB,EAA0B,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACvE,GAAG,EAAE,CAAI,CAAS,EAAqB,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;IACvD,GAAG,EAAE,CAAI,CAAS,EAAqB,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;CACxD,CAAC"}

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

@@ -0,0 +1,168 @@
+import type { Eid } from "../Eid.ts";
+import { type AnyComposer } from "../Composer.ts";
+import type { AnyEntity } from "../Entity.ts";
+import type { UnbrandedId } from "../idents.ts";
+import type { AttrValue, FocusSelect, OrderDir, OrderEmpty, PathCarrier, Shape, ValidShape, SelectResult } from "../shapes.ts";
+import type { EntityEq, FocusMismatch, InFocus, OwnerOf, RefTarget, ReverseOk } from "./focus.ts";
+import { type AggSpec, type AnyVar, type AttrLike, type EidCell, type QueryGen, type StringPredOpts, type Var } from "./kernel.ts";
+import { type Pipeline } from "./query.ts";
+/** The row a bare (select-less) pipeline yields: the matched entity id. */
+export type IdRow<N extends AnyComposer = AnyComposer> = {
+    readonly id: Eid<N>;
+};
+/**
+ * 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 declare const entities: <N extends AnyComposer>(ns: N) => Pipeline<IdRow<N>, N>;
+type FilterOut<X> = [X] extends [never] ? QueryGen<void> : [X] extends [Pipeline<infer Row, infer N>] ? [N] extends [AnyComposer] ? Pipeline<Row, N> : QueryGen<void> : QueryGen<void>;
+type FilterParam<X, A> = [X] extends [Pipeline<any, infer N>] ? [A] extends [void] ? X : [InFocus<A, N>] extends [true] ? X : FocusMismatch : X;
+/**
+ * A filter parameterized by the focus namespace. `N` is the pipeline
+ * focus the stage may be applied to; the attr-capturing form
+ * (`FilterStage<AnyComposer, typeof User.name>`) rejects a foreign
+ * field map at the call site. The return carries an ident brand so a
+ * policy `FragFn` can tell a `Query.is` from a handwritten generator
+ * (`{ _ident?: never }`).
+ */
+export type FilterStage<N extends AnyComposer = AnyComposer, A = void> = <X>(x: FilterParam<X, A>) => FilterOut<X> & {
+    readonly _ident?: A extends {
+        readonly ident: infer I extends string;
+    } ? I : ":db/id";
+};
+type FollowOut<A extends AttrLike, X> = [X] extends [never] ? QueryGen<Var<Eid<RefTarget<A, AnyComposer>>>> : [X] extends [Pipeline<infer _Row, infer N>] ? [N] extends [AnyComposer] ? Pipeline<IdRow<RefTarget<A, N>>, RefTarget<A, N>> : QueryGen<Var<Eid<RefTarget<A, AnyComposer>>>> : QueryGen<Var<Eid<RefTarget<A, AnyComposer>>>>;
+type FollowParam<X, A> = [X] extends [Pipeline<any, infer N>] ? [InFocus<A, N>] extends [true] ? X : FocusMismatch : X;
+/** `follow(A)` as a dual stage: pipeline in keeps a branded target row. */
+export type FollowStage<A extends AttrLike> = <X>(x: FollowParam<X, A>) => FollowOut<A, X>;
+/**
+ * `{ id }` row when a traversal's target namespace is not known
+ * statically (`backlink`, `stage`). `row.id` is the documented
+ * unbranded-number hatch; the row itself is not a branded cell.
+ */
+export type HatchIdRow = {
+    readonly id: UnbrandedId;
+};
+type TraversalOut<A, X> = [X] extends [never] ? QueryGen<Var<EidCell>> : [X] extends [Pipeline<any, any>] ? [A] extends [void] ? Pipeline<HatchIdRow> : Pipeline<HatchIdRow, OwnerOf<A>> : QueryGen<Var<EidCell>>;
+type ReverseParam<X, A> = [X] extends [Pipeline<any, infer N>] ? [A] extends [void] ? X : [ReverseOk<A, N>] extends [true] ? X : FocusMismatch : X;
+/** A traversal: refocuses the pipeline; as a fragment, returns the new focus. */
+export type TraversalStage<A = void> = <X>(x: ReverseParam<X, A>) => TraversalOut<A, 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 declare const stage: {
+    (frag: (focus: AnyVar) => QueryGen<Var<EidCell>>): TraversalStage;
+    (frag: (focus: AnyVar) => QueryGen<void>): FilterStage;
+};
+type EntityIn<E> = EntityEq<E> | {
+    readonly id: EntityEq<E>;
+};
+type RefIn<A> = A extends {
+    readonly ident: ":db/id";
+} ? EntityIn<OwnerOf<A>> : A extends {
+    readonly valueType: "ref";
+} ? EntityIn<RefTarget<A, AnyComposer>> : never;
+type ValueIn<A> = AttrValue<A> | AnyVar | {
+    readonly id: number;
+} | RefIn<A>;
+type IdIn<E> = number | EntityEq<E> | {
+    readonly id: number | EntityEq<E>;
+};
+type IdFilterStage<E> = <X>(x: [X] extends [Pipeline<any, infer N>] ? [E] extends [AnyEntity] ? [N] extends [AnyEntity] ? ([N] extends [E] ? X : FocusMismatch) : X : X : X) => FilterOut<X> & {
+    readonly _ident?: ":db/id";
+};
+/** `is(A, v)`: `p(e) := [e A v]`. `is(N.id, v)` is the same filter as {@link byId}. */
+export declare const is: <A extends AttrLike>(attr: A, value: ValueIn<A>) => FilterStage<AnyComposer, A>;
+/**
+ * `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 declare const byId: <E extends AnyComposer = AnyComposer>(id: IdIn<E> | AnyVar) => IdFilterStage<E>;
+/** `has(A)`: the focus carries some `A` fact. */
+export declare const has: <A extends AttrLike>(attr: A) => FilterStage<AnyComposer, A>;
+/** `missing(A)`: no `A` fact at all. */
+export declare const missing: <A extends AttrLike>(attr: A) => FilterStage<AnyComposer, A>;
+export declare const matching: <A extends AttrLike>(attr: A, pred: (v: Var<AttrValue<A>>) => Iterable<unknown>) => FilterStage<AnyComposer, A>;
+type StageAttr<S> = S extends FilterStage<any, infer A> ? A : void;
+/**
+ * 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 declare const any: <const S extends readonly FilterStage<AnyComposer, any>[]>(...stages: S) => FilterStage<AnyComposer, StageAttr<S[number]>>;
+/**
+ * Negation of a filter stage — `not(any(...))` is the negated disjunction.
+ * Built on {@link Q.not}.
+ */
+export declare const not: <A = void>(stage: FilterStage<AnyComposer, A>) => FilterStage<AnyComposer, A>;
+/** `gt(A, v)`: the attr's value is greater than `v`. */
+export declare const gt: <A extends AttrLike>(attr: A, value: AttrValue<A>) => FilterStage<AnyComposer, A>;
+/** `gte(A, v)`: the attr's value is greater than or equal to `v`. */
+export declare const gte: <A extends AttrLike>(attr: A, value: AttrValue<A>) => FilterStage<AnyComposer, A>;
+/** `lt(A, v)`: the attr's value is less than `v`. */
+export declare const lt: <A extends AttrLike>(attr: A, value: AttrValue<A>) => FilterStage<AnyComposer, A>;
+/** `lte(A, v)`: the attr's value is less than or equal to `v`. */
+export declare const lte: <A extends AttrLike>(attr: A, value: AttrValue<A>) => FilterStage<AnyComposer, A>;
+/** `startsWith(A, s)`: the string attr starts with `s`. */
+export declare const startsWith: <A extends AttrLike>(attr: A, needle: Extract<AttrValue<A>, string>, opts?: StringPredOpts) => FilterStage<AnyComposer, A>;
+/** `includes(A, s)`: the string attr contains `s`. */
+export declare const includes: <A extends AttrLike>(attr: A, needle: Extract<AttrValue<A>, string>, opts?: StringPredOpts) => FilterStage<AnyComposer, A>;
+/** `follow(A)`: `p(e) → other := [e A other]` — refocus on the target. */
+export declare const follow: <A extends AttrLike>(attr: A) => FollowStage<A>;
+/** `backlink(A)`: same clause, opposite mode — refocus on the referrer. */
+export declare const backlink: <A extends AttrLike>(attr: A) => TraversalStage<A>;
+type ElemPred = (focus: AnyVar) => Iterable<unknown>;
+export type ReverseFilter<A extends AttrLike> = <X>(x: ReverseParam<X, A>) => FilterOut<X>;
+/** `some(R, ps…)`: ∃ other. `[other R e]` ∧ ps(other). */
+export declare const some: <A extends AttrLike>(ref: A, ...ps: readonly ElemPred[]) => ReverseFilter<A>;
+/** `none(R, ps…)`: ¬∃ other. `[other R e]` ∧ ps(other). */
+export declare const none: <A extends AttrLike>(ref: A, ...ps: readonly ElemPred[]) => ReverseFilter<A>;
+/** `every(R, ps…)`: ¬∃ other. `[other R e]` ∧ ¬ps(other) — vacuously true
+ * of a focus nothing points at, like the nav surface's `every`. */
+export declare const every: <A extends AttrLike>(ref: A, ...ps: readonly ElemPred[]) => ReverseFilter<A>;
+/** Some fact about the focus was asserted at basis `t >= since`. */
+export declare const updatedSince: (since: number) => FilterStage;
+/** Some fact about the focus rides a transaction whose entity carries
+ * `[tx A who]` — provenance as an ordinary clause. */
+export declare const assertedBy: <A extends AttrLike>(attr: A, who: ValueIn<A>) => FilterStage;
+type SelectArg<S, N extends AnyComposer> = [S] extends [FocusSelect<N, S>] ? unknown : FocusMismatch;
+/** 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 declare const select: {
+    <const S extends Shape>(shape: S & ValidShape<S>): <N extends AnyComposer>(q: Pipeline<any, N> & SelectArg<S, N>) => Pipeline<SelectResult<S>, N>;
+    <const S extends Shape, const Extra>(shape: S & ValidShape<S>, extra: (e: Var<EidCell>) => Extra & {
+        readonly [K in keyof Extra]: AggSpec<any>;
+    }): <N extends AnyComposer>(q: Pipeline<any, N> & SelectArg<S, N>) => Pipeline<SelectResult<S> & {
+        readonly [K in keyof Extra]: Extra[K] extends AggSpec<infer T> ? T : never;
+    }, N>;
+    <const S extends Shape, const Extra>(shape: S & ValidShape<S>, extra: Extra & {
+        readonly [K in keyof Extra]: AggSpec<any>;
+    }): <N extends AnyComposer>(q: Pipeline<any, N> & SelectArg<S, N>) => Pipeline<SelectResult<S> & {
+        readonly [K in keyof Extra]: Extra[K] extends AggSpec<infer T> ? T : never;
+    }, N>;
+};
+type OrderKeyArg<K, Row, N extends AnyComposer> = [K] extends [string] ? [K] extends [keyof Row] ? unknown : FocusMismatch : [InFocus<K, N>] extends [true] ? unknown : FocusMismatch;
+/** Contribute a sort key: a selected column's name, or an attr path. */
+export declare const orderBy: <const K extends string | PathCarrier>(key: K, dir?: OrderDir, opts?: {
+    readonly empty?: OrderEmpty;
+}) => <Row, N extends AnyComposer>(q: Pipeline<Row, N> & OrderKeyArg<K, Row, N>) => Pipeline<Row, N>;
+/** Keep at most `n` rows. */
+export declare const limit: (n: number) => <Row, N extends AnyComposer>(q: Pipeline<Row, N>) => Pipeline<Row, N>;
+/** Drop `n` rows from the front of the (ordered) result. */
+export declare const offset: (n: number) => <Row, N extends AnyComposer>(q: Pipeline<Row, N>) => Pipeline<Row, 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 declare const ids: () => <Row, N extends AnyComposer>(q: Pipeline<Row, N>) => Pipeline<IdRow<N>, N>;
+export {};
+//# sourceMappingURL=lib.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"lib.d.ts","sourceRoot":"","sources":["../../../src/db/query/lib.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,GAAG,EAAE,MAAM,WAAW,CAAC;AACrC,OAAO,EAAc,KAAK,WAAW,EAAE,MAAM,gBAAgB,CAAC;AAC9D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AAC9C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,cAAc,CAAC;AAChD,OAAO,KAAK,EACV,SAAS,EACT,WAAW,EACX,QAAQ,EACR,UAAU,EACV,WAAW,EACX,KAAK,EACL,UAAU,EACV,YAAY,EACb,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EACV,QAAQ,EACR,aAAa,EACb,OAAO,EACP,OAAO,EACP,SAAS,EACT,SAAS,EACV,MAAM,YAAY,CAAC;AACpB,OAAO,EAEL,KAAK,OAAO,EACZ,KAAK,MAAM,EACX,KAAK,QAAQ,EACb,KAAK,OAAO,EACZ,KAAK,QAAQ,EACb,KAAK,cAAc,EACnB,KAAK,GAAG,EACT,MAAM,aAAa,CAAC;AACrB,OAAO,EAAc,KAAK,QAAQ,EAAoC,MAAM,YAAY,CAAC;AA0BzF,2EAA2E;AAC3E,MAAM,MAAM,KAAK,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,IAAI;IAAE,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAEjF;;;;GAIG;AACH,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,WAAW,MAAM,CAAC,KAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAK3E,CAAC;AAEF,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACnC,QAAQ,CAAC,IAAI,CAAC,GACd,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GACxC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,GACvB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAChB,QAAQ,CAAC,IAAI,CAAC,GAChB,QAAQ,CAAC,IAAI,CAAC,CAAC;AAErB,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GACzD,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAChB,CAAC,GACD,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC5B,CAAC,GACD,aAAa,GACjB,CAAC,CAAC;AAEN;;;;;;;GAOG;AACH,MAAM,MAAM,WAAW,CACrB,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,CAAC,GAAG,IAAI,IACN,CAAC,CAAC,EACJ,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KACjB,SAAS,CAAC,CAAC,CAAC,GAAG;IAClB,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;KAAE,GAAG,CAAC,GAAG,QAAQ,CAAC;CACvF,CAAC;AAEF,KAAK,SAAS,CAAC,CAAC,SAAS,QAAQ,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACvD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GAC7C,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,MAAM,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,GACzC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,GACvB,QAAQ,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACjD,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GAC/C,QAAQ,CAAC,GAAG,CAAC,GAAG,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;AAEpD,KAAK,WAAW,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GACzD,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC5B,CAAC,GACD,aAAa,GACf,CAAC,CAAC;AAEN,2EAA2E;AAC3E,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,EAC9C,CAAC,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,KACjB,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAErB;;;;GAIG;AACH,MAAM,MAAM,UAAU,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,WAAW,CAAA;CAAE,CAAC;AAEtD,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GACzC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,GACtB,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,GAC9B,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAChB,QAAQ,CAAC,UAAU,CAAC,GACpB,QAAQ,CAAC,UAAU,EAAE,OAAO,CAAC,CAAC,CAAC,CAAC,GAClC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC;AAE7B,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GAC1D,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAChB,CAAC,GACD,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC9B,CAAC,GACD,aAAa,GACjB,CAAC,CAAC;AAEN,iFAAiF;AACjF,MAAM,MAAM,cAAc,CAAC,CAAC,GAAG,IAAI,IAAI,CAAC,CAAC,EACvC,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,KAClB,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAexB;;;;;GAKG;AACH,eAAO,MAAM,KAAK,EAAE;IAClB,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAC,GAAG,cAAc,CAAC;IAClE,CAAC,IAAI,EAAE,CAAC,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC;CAG6B,CAAC;AAEvF,KAAK,QAAQ,CAAC,CAAC,IAAI,QAAQ,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAE9D,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GAClD,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,GACpB,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GACrC,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,GACnC,KAAK,CAAC;AAEZ,KAAK,OAAO,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;AAE7E,KAAK,IAAI,CAAC,CAAC,IAAI,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;CAAE,CAAC;AAE5E,KAAK,aAAa,CAAC,CAAC,IAAI,CAAC,CAAC,EACxB,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,CAAC,GACnC,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GACrB,CAAC,CAAC,CAAC,SAAS,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,GAAG,CAAC,GACnE,CAAC,GACH,CAAC,KACF,SAAS,CAAC,CAAC,CAAC,GAAG;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,QAAQ,CAAA;CAAE,CAAC;AAEnD,uFAAuF;AACvF,eAAO,MAAM,EAAE,GAAI,CAAC,SAAS,QAAQ,QAC7B,CAAC,SACA,OAAO,CAAC,CAAC,CAAC,KAChB,WAAW,CAAC,WAAW,EAAE,CAAC,CAGzB,CAAC;AAEL;;;;;;GAMG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,WAAW,GAAG,WAAW,MAClD,IAAI,CAAC,CAAC,CAAC,GAAG,MAAM,KACnB,aAAa,CAAC,CAAC,CAGM,CAAC;AAEzB,iDAAiD;AACjD,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,KAAG,WAAW,CAAC,WAAW,EAAE,CAAC,CAGxE,CAAC;AAEL,wCAAwC;AACxC,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,KAAG,WAAW,CAAC,WAAW,EAAE,CAAC,CAG5E,CAAC;AAEL,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,QAAQ,QACnC,CAAC,QACD,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,KAChD,WAAW,CAAC,WAAW,EAAE,CAAC,CAIzB,CAAC;AAEL,KAAK,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,IAAI,CAAC;AAKnE;;;;GAIG;AACH,eAAO,MAAM,GAAG,GAAI,KAAK,CAAC,CAAC,SAAS,SAAS,WAAW,CAAC,WAAW,EAAE,GAAG,CAAC,EAAE,aAC/D,CAAC,KACX,WAAW,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAO/C,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,GAAG,GAAI,CAAC,GAAG,IAAI,SAAS,WAAW,CAAC,WAAW,EAAE,CAAC,CAAC,KAAG,WAAW,CAAC,WAAW,EAAE,CAAC,CAGzF,CAAC;AAEL,wDAAwD;AACxD,eAAO,MAAM,EAAE,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,KAAG,WAAW,CAAC,WAAW,EAAE,CAAC,CACzD,CAAC;AAExC,qEAAqE;AACrE,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,KAAG,WAAW,CAAC,WAAW,EAAE,CAAC,CACzD,CAAC;AAEzC,qDAAqD;AACrD,eAAO,MAAM,EAAE,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,KAAG,WAAW,CAAC,WAAW,EAAE,CAAC,CACzD,CAAC;AAExC,kEAAkE;AAClE,eAAO,MAAM,GAAG,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,SAAS,SAAS,CAAC,CAAC,CAAC,KAAG,WAAW,CAAC,WAAW,EAAE,CAAC,CACzD,CAAC;AAEzC,2DAA2D;AAC3D,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,QAAQ,QACrC,CAAC,UACC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,SAC9B,cAAc,KACpB,WAAW,CAAC,WAAW,EAAE,CAAC,CACwC,CAAC;AAEtE,sDAAsD;AACtD,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,QAAQ,QACnC,CAAC,UACC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,SAC9B,cAAc,KACpB,WAAW,CAAC,WAAW,EAAE,CAAC,CACsC,CAAC;AAEpE,0EAA0E;AAC1E,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,KAAG,WAAW,CAAC,CAAC,CAGjC,CAAC;AAElC,2EAA2E;AAC3E,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,KAAG,cAAc,CAAC,CAAC,CAGnE,CAAC;AAEL,KAAK,QAAQ,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC;AAErD,MAAM,MAAM,aAAa,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,EAChD,CAAC,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,KAClB,SAAS,CAAC,CAAC,CAAC,CAAC;AAQlB,0DAA0D;AAC1D,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,QAAQ,OAChC,CAAC,SACC,SAAS,QAAQ,EAAE,KACzB,aAAa,CAAC,CAAC,CAId,CAAC;AAEL,2DAA2D;AAC3D,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,QAAQ,OAChC,CAAC,SACC,SAAS,QAAQ,EAAE,KACzB,aAAa,CAAC,CAAC,CAMd,CAAC;AAEL;mEACmE;AACnE,eAAO,MAAM,KAAK,GAAI,CAAC,SAAS,QAAQ,OACjC,CAAC,SACC,SAAS,QAAQ,EAAE,KACzB,aAAa,CAAC,CAAC,CAQd,CAAC;AAEL,oEAAoE;AACpE,eAAO,MAAM,YAAY,UAAW,MAAM,KAAG,WAIzC,CAAC;AAEL;sDACsD;AACtD,eAAO,MAAM,UAAU,GAAI,CAAC,SAAS,QAAQ,QAAQ,CAAC,OAAO,OAAO,CAAC,CAAC,CAAC,KAAG,WAItE,CAAC;AAYL,KAAK,SAAS,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GACtE,OAAO,GACP,aAAa,CAAC;AAElB;;gEAEgE;AAChE,eAAO,MAAM,MAAM,EAAE;IACnB,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,EACpB,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GACvB,CAAC,CAAC,SAAS,WAAW,EACvB,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAClC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IAClC,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,CAAC,KAAK,EACjC,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,EACxB,KAAK,EAAE,CAAC,CAAC,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,KAAK,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC;KAAE,GAChF,CAAC,CAAC,SAAS,WAAW,EACvB,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAClC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;KAAE,EAAE,CAAC,CAAC,CAAC;IACnH,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,CAAC,KAAK,EACjC,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,EACxB,KAAK,EAAE,KAAK,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC;KAAE,GAC3D,CAAC,CAAC,SAAS,WAAW,EACvB,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,KAClC,QAAQ,CAAC,YAAY,CAAC,CAAC,CAAC,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,KAAK,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK;KAAE,EAAE,CAAC,CAAC,CAAC;CAOrG,CAAC;AAEjB,KAAK,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,GAClE,CAAC,CAAC,CAAC,SAAS,CAAC,MAAM,GAAG,CAAC,GACrB,OAAO,GACP,aAAa,GACf,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAC5B,OAAO,GACP,aAAa,CAAC;AAEpB,wEAAwE;AACxE,eAAO,MAAM,OAAO,GACjB,KAAK,CAAC,CAAC,SAAS,MAAM,GAAG,WAAW,OAC9B,CAAC,QACD,QAAQ,SACN;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAA;CAAE,MAEvC,GAAG,EAAE,CAAC,SAAS,WAAW,KACtB,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,CAAC,KAC3C,QAAQ,CAAC,GAAG,EAAE,CAAC,CAMd,CAAC;AAEP,6BAA6B;AAC7B,eAAO,MAAM,KAAK,MACZ,MAAM,MACT,GAAG,EAAE,CAAC,SAAS,WAAW,KAAK,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,CACN,CAAC;AAE/D,4DAA4D;AAC5D,eAAO,MAAM,MAAM,MACb,MAAM,MACT,GAAG,EAAE,CAAC,SAAS,WAAW,KAAK,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,GAAG,EAAE,CAAC,CACJ,CAAC;AAEjE;;;;;GAKG;AACH,eAAO,MAAM,GAAG,SAEb,GAAG,EAAE,CAAC,SAAS,WAAW,KAAK,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,KAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,CAAC,CAClB,CAAC"}