ramosedb 0.0.1 → 0.4.0

package/dist/db/query/cursor.js

@@ -0,0 +1,150 @@
+import { fromJson, toJson } from "../../internal/core/json.js";
+import { inspectPullField } from "../Pull.js";
+import { isCursor, isPipeline, lowerQueryObject, symbolicIdentityLowering, } from "./query.js";
+const kindOfValueType = (vt) => {
+    switch (vt) {
+        case "instant":
+            return "instant";
+        case "bytes":
+            return "bytes";
+        case "uuid":
+            return "uuid";
+        case "long":
+        case "double":
+        case "ref":
+            return "number";
+        case "string":
+            return "string";
+        case "boolean":
+            return "boolean";
+        default:
+            return "unknown";
+    }
+};
+const kindOfKey = (key, pipe) => {
+    if (typeof key === "object" && key !== null && "valueType" in key) {
+        return kindOfValueType(key.valueType);
+    }
+    if (typeof key === "string" && pipe !== undefined) {
+        const select = [...pipe.stages].reverse().find((s) => s.kind === "select");
+        if (select !== undefined && select.kind === "select") {
+            const field = select.shape[key];
+            if (field !== undefined) {
+                const attr = inspectPullField(field).attr;
+                if (attr?.valueType !== undefined)
+                    return kindOfValueType(attr.valueType);
+            }
+        }
+        const field = pipe.ns.fields[key];
+        if (field?.valueType !== undefined)
+            return kindOfValueType(field.valueType);
+        if (key === "id")
+            return "number";
+    }
+    return "unknown";
+};
+const pagedQuery = (q) => q.seek !== undefined ? q : q.after(null);
+const cursorKeyCount = (q) => {
+    const order = lowerQueryObject(pagedQuery(q), symbolicIdentityLowering().lowering).query.order;
+    if (order === undefined || order.length === 0) {
+        throw new Error("ramose/query: encodeCursor / decodeCursor pages a sorted query — add an orderBy for the cursor to be a position in");
+    }
+    return order.length;
+};
+const cursorKeyKinds = (q) => {
+    const n = cursorKeyCount(q);
+    const body = q.body();
+    const pipe = isPipeline(body) ? body : undefined;
+    const kinds = [];
+    if (pipe !== undefined) {
+        for (const st of pipe.stages) {
+            if (st.kind === "orderBy")
+                kinds.push(kindOfKey(st.key, pipe));
+        }
+    }
+    for (const o of q.orders)
+        kinds.push(kindOfKey(o.key, pipe));
+    while (kinds.length < n)
+        kinds.push("number");
+    return kinds.slice(0, n);
+};
+const retypeKey = (value, kind) => {
+    switch (kind) {
+        case "instant": {
+            if (value instanceof Date)
+                return value;
+            if (typeof value === "number")
+                return new Date(value);
+            if (typeof value === "string") {
+                const ms = Date.parse(value);
+                if (Number.isNaN(ms)) {
+                    throw new Error("ramose/query: decodeCursor could not read this cursor");
+                }
+                return new Date(ms);
+            }
+            return value;
+        }
+        case "bytes":
+            return value instanceof Uint8Array ? value : value;
+        default:
+            return value;
+    }
+};
+const b64urlEncode = (s) => {
+    const bytes = new TextEncoder().encode(s);
+    let bin = "";
+    for (const b of bytes)
+        bin += String.fromCharCode(b);
+    return btoa(bin).replace(/\+/g, "-").replace(/\//g, "_").replace(/=+$/g, "");
+};
+const b64urlDecode = (s) => {
+    const pad = s.length % 4 === 0 ? "" : "=".repeat(4 - (s.length % 4));
+    const b64 = s.replace(/-/g, "+").replace(/_/g, "/") + pad;
+    const bin = atob(b64);
+    const bytes = new Uint8Array(bin.length);
+    for (let i = 0; i < bin.length; i++)
+        bytes[i] = bin.charCodeAt(i);
+    return new TextDecoder().decode(bytes);
+};
+const CURSOR_PREFIX = "r1.";
+/**
+ * Pack a page cursor for a URL. The string is opaque; only
+ * {@link decodeCursor} against the same query rehydrates Instant / bytes.
+ */
+export const encodeCursor = (q, cursor) => {
+    if (!isCursor(cursor)) {
+        throw new Error("ramose/query: encodeCursor takes a Cursor");
+    }
+    const n = cursorKeyCount(q);
+    if (cursor.keys.length !== n) {
+        throw new Error(`ramose/query: this cursor does not fit — it carries ${cursor.keys.length} sort-key values and the query orders by ${n}; a cursor only continues the query that minted it`);
+    }
+    return CURSOR_PREFIX + b64urlEncode(JSON.stringify(toJson(cursor.keys)));
+};
+/**
+ * Rehydrate a string {@link encodeCursor} produced. Instant keys come back
+ * as `Date`; a JSON-stringified ISO instant is re-typed from the query's
+ * sort keys, not left as a string.
+ */
+export const decodeCursor = (q, encoded) => {
+    if (typeof encoded !== "string" || !encoded.startsWith(CURSOR_PREFIX)) {
+        throw new Error("ramose/query: decodeCursor takes the string encodeCursor produced");
+    }
+    let raw;
+    try {
+        raw = fromJson(JSON.parse(b64urlDecode(encoded.slice(CURSOR_PREFIX.length))));
+    }
+    catch {
+        throw new Error("ramose/query: decodeCursor could not read this cursor");
+    }
+    if (!Array.isArray(raw)) {
+        throw new Error("ramose/query: decodeCursor could not read this cursor");
+    }
+    const n = cursorKeyCount(q);
+    if (raw.length !== n) {
+        throw new Error(`ramose/query: this cursor does not fit — it carries ${raw.length} sort-key values and the query orders by ${n}; a cursor only continues the query that minted it`);
+    }
+    const kinds = cursorKeyKinds(q);
+    return { _tag: "Cursor", keys: raw.map((k, i) => retypeKey(k, kinds[i] ?? "unknown")) };
+};
+//# sourceMappingURL=cursor.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"cursor.js","sourceRoot":"","sources":["../../../src/db/query/cursor.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,EAAE,MAAM,6BAA6B,CAAC;AAC/D,OAAO,EAAE,gBAAgB,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EACL,QAAQ,EACR,UAAU,EACV,gBAAgB,EAChB,wBAAwB,GAIzB,MAAM,YAAY,CAAC;AAWpB,MAAM,eAAe,GAAG,CAAC,EAAW,EAAiB,EAAE;IACrD,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB,KAAK,OAAO;YACV,OAAO,OAAO,CAAC;QACjB,KAAK,MAAM;YACT,OAAO,MAAM,CAAC;QAChB,KAAK,MAAM,CAAC;QACZ,KAAK,QAAQ,CAAC;QACd,KAAK,KAAK;YACR,OAAO,QAAQ,CAAC;QAClB,KAAK,QAAQ;YACX,OAAO,QAAQ,CAAC;QAClB,KAAK,SAAS;YACZ,OAAO,SAAS,CAAC;QACnB;YACE,OAAO,SAAS,CAAC;IACrB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,GAAY,EAAE,IAA0B,EAAiB,EAAE;IAC5E,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,IAAI,IAAI,WAAW,IAAI,GAAG,EAAE,CAAC;QAClE,OAAO,eAAe,CAAE,GAA8B,CAAC,SAAS,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QAClD,MAAM,MAAM,GAAG,CAAC,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC;QAC3E,IAAI,MAAM,KAAK,SAAS,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YACrD,MAAM,KAAK,GAAI,MAAM,CAAC,KAAiC,CAAC,GAAG,CAAC,CAAC;YAC7D,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,MAAM,IAAI,GAAG,gBAAgB,CAAC,KAAK,CAAC,CAAC,IAA2C,CAAC;gBACjF,IAAI,IAAI,EAAE,SAAS,KAAK,SAAS;oBAAE,OAAO,eAAe,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;YAC5E,CAAC;QACH,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,EAAE,CAAC,MAAM,CAAC,GAAG,CAAwC,CAAC;QACzE,IAAI,KAAK,EAAE,SAAS,KAAK,SAAS;YAAE,OAAO,eAAe,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;QAC5E,IAAI,GAAG,KAAK,IAAI;YAAE,OAAO,QAAQ,CAAC;IACpC,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,CAAiB,EAAkB,EAAE,CACvD,CAAC,CAAC,IAAI,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;AAE3C,MAAM,cAAc,GAAG,CAAC,CAAiB,EAAU,EAAE;IACnD,MAAM,KAAK,GAAG,gBAAgB,CAC5B,UAAU,CAAC,CAAC,CAAC,EACb,wBAAwB,EAAE,CAAC,QAAQ,CACpC,CAAC,KAAK,CAAC,KAA8B,CAAC;IACvC,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC9C,MAAM,IAAI,KAAK,CACb,oHAAoH,CACrH,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC,MAAM,CAAC;AACtB,CAAC,CAAC;AAEF,MAAM,cAAc,GAAG,CAAC,CAAiB,EAA4B,EAAE;IACrE,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC5B,MAAM,IAAI,GAAG,CAAC,CAAC,IAAI,EAAE,CAAC;IACtB,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,SAAS,CAAC;IACjD,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;QACvB,KAAK,MAAM,EAAE,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAC7B,IAAI,EAAE,CAAC,IAAI,KAAK,SAAS;gBAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;QACjE,CAAC;IACH,CAAC;IACD,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM;QAAE,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC;IAC7D,OAAO,KAAK,CAAC,MAAM,GAAG,CAAC;QAAE,KAAK,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC;IAC9C,OAAO,KAAK,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,KAAc,EAAE,IAAmB,EAAW,EAAE;IACjE,QAAQ,IAAI,EAAE,CAAC;QACb,KAAK,SAAS,EAAE,CAAC;YACf,IAAI,KAAK,YAAY,IAAI;gBAAE,OAAO,KAAK,CAAC;YACxC,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;YACtD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC9B,MAAM,EAAE,GAAG,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;gBAC7B,IAAI,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,EAAE,CAAC;oBACrB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;gBAC3E,CAAC;gBACD,OAAO,IAAI,IAAI,CAAC,EAAE,CAAC,CAAC;YACtB,CAAC;YACD,OAAO,KAAK,CAAC;QACf,CAAC;QACD,KAAK,OAAO;YACV,OAAO,KAAK,YAAY,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC;QACrD;YACE,OAAO,KAAK,CAAC;IACjB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,CAAS,EAAU,EAAE;IACzC,MAAM,KAAK,GAAG,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,GAAG,GAAG,EAAE,CAAC;IACb,KAAK,MAAM,CAAC,IAAI,KAAK;QAAE,GAAG,IAAI,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC;IACrD,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,MAAM,EAAE,EAAE,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,CAAS,EAAU,EAAE;IACzC,MAAM,GAAG,GAAG,CAAC,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC;IACrE,MAAM,GAAG,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,IAAI,EAAE,GAAG,CAAC,GAAG,GAAG,CAAC;IAC1D,MAAM,GAAG,GAAG,IAAI,CAAC,GAAG,CAAC,CAAC;IACtB,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,GAAG,CAAC,MAAM,EAAE,CAAC,EAAE;QAAE,KAAK,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC;IAClE,OAAO,IAAI,WAAW,EAAE,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AACzC,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,KAAK,CAAC;AAE5B;;;GAGG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAiB,EAAE,MAAc,EAAU,EAAE;IACxE,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,CAAC;QACtB,MAAM,IAAI,KAAK,CAAC,2CAA2C,CAAC,CAAC;IAC/D,CAAC;IACD,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,uDAAuD,MAAM,CAAC,IAAI,CAAC,MAAM,4CAA4C,CAAC,oDAAoD,CAC3K,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,GAAG,YAAY,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,CAAiB,EAAE,OAAe,EAAU,EAAE;IACzE,IAAI,OAAO,OAAO,KAAK,QAAQ,IAAI,CAAC,OAAO,CAAC,UAAU,CAAC,aAAa,CAAC,EAAE,CAAC;QACtE,MAAM,IAAI,KAAK,CAAC,mEAAmE,CAAC,CAAC;IACvF,CAAC;IACD,IAAI,GAAY,CAAC;IACjB,IAAI,CAAC;QACH,GAAG,GAAG,QAAQ,CAAC,IAAI,CAAC,KAAK,CAAC,YAAY,CAAC,OAAO,CAAC,KAAK,CAAC,aAAa,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;IAChF,CAAC;IAAC,MAAM,CAAC;QACP,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,uDAAuD,CAAC,CAAC;IAC3E,CAAC;IACD,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAC5B,IAAI,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrB,MAAM,IAAI,KAAK,CACb,uDAAuD,GAAG,CAAC,MAAM,4CAA4C,CAAC,oDAAoD,CACnK,CAAC;IACJ,CAAC;IACD,MAAM,KAAK,GAAG,cAAc,CAAC,CAAC,CAAC,CAAC;IAChC,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,SAAS,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC,EAAE,CAAC;AAC1F,CAAC,CAAC"}

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

@@ -0,0 +1,7 @@
+import type { PullElemPred } from "../../internal/core/query/ast.ts";
+import { type AnyVar } from "./kernel.ts";
+export type ElemFilterFragment = (focus: AnyVar) => Iterable<unknown>;
+export declare const lowerElemFilter: (preds: readonly ElemFilterFragment[], attr: {
+    readonly ident: string;
+}) => PullElemPred[];
+//# sourceMappingURL=elemFilter.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"elemFilter.d.ts","sourceRoot":"","sources":["../../../src/db/query/elemFilter.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAGV,YAAY,EACb,MAAM,kCAAkC,CAAC;AAG1C,OAAO,EAKL,KAAK,MAAM,EAMZ,MAAM,aAAa,CAAC;AAErB,MAAM,MAAM,kBAAkB,GAAG,CAAC,KAAK,EAAE,MAAM,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC;AA+GtE,eAAO,MAAM,eAAe,UACnB,SAAS,kBAAkB,EAAE,QAC9B;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,KAC/B,YAAY,EAuNd,CAAC"}

package/dist/db/query/elemFilter.js

@@ -0,0 +1,280 @@
+import { refTargetNs } from "../Pull.js";
+import { isMutationRef } from "../refs.js";
+import { collectBody, isBlank, isVar, mkVar, } from "./kernel.js";
+const err = (msg) => {
+    throw new Error(`ramose/query: ${msg}`);
+};
+const OPS = {
+    "=": "=",
+    "not=": "!=",
+    "<": "<",
+    "<=": "<=",
+    ">": ">",
+    ">=": ">=",
+    "starts-with?": "starts-with?",
+    "ends-with?": "ends-with?",
+    "includes?": "includes?",
+    in: "in",
+};
+const FLIPPED = {
+    "=": "=",
+    "not=": "!=",
+    "<": ">",
+    "<=": ">=",
+    ">": "<",
+    ">=": "<=",
+};
+const unwrapEidLike = (v) => typeof v === "object" &&
+    v !== null &&
+    typeof v.id === "number" &&
+    Object.keys(v).length === 1
+    ? v.id
+    : v;
+const regexSource = (re) => {
+    if (typeof re === "string")
+        return re;
+    if (re.flags !== "") {
+        err(`matches(/${re.source}/${re.flags}) — the peer compiles the pattern with no flags; express it in the pattern instead`);
+    }
+    return re.source;
+};
+const lowerValue = (v) => {
+    const named = typeof v === "object" && v !== null
+        ? v.id
+        : v;
+    if (isMutationRef(named)) {
+        err("a pull-phase filter is compiled into the query value itself, before any replica binding exists, so it cannot resolve an entity identity — constrain the entity in the query's own where()");
+    }
+    return unwrapEidLike(v);
+};
+const isCmpPred = (p) => typeof p.op === "string" && Array.isArray(p.path);
+const andOf = (preds) => preds.length === 1 ? preds[0] : { and: [...preds] };
+const isRefAttr = (attr) => typeof attr === "object" &&
+    attr !== null &&
+    attr.valueType === "ref";
+const collectVarIds = (list, into) => {
+    for (const c of list) {
+        switch (c._tag) {
+            case "fact": {
+                const e = c.eVar ?? c.e0;
+                if (isVar(e))
+                    into.add(e.id);
+                const v = c.vVar ?? c.v0;
+                if (isVar(v))
+                    into.add(v.id);
+                if (c.txVar)
+                    into.add(c.txVar.id);
+                if (c.opVar)
+                    into.add(c.opVar.id);
+                break;
+            }
+            case "cmp":
+                for (const a of c.args)
+                    if (isVar(a))
+                        into.add(a.id);
+                break;
+            case "fnBind":
+                for (const a of c.args)
+                    if (isVar(a))
+                        into.add(a.id);
+                into.add(c.ret.id);
+                break;
+            case "memberOf":
+                into.add(c.v.id);
+                break;
+            case "ruleCall":
+                for (const a of c.args)
+                    if (isVar(a))
+                        into.add(a.id);
+                into.add(c.ret.id);
+                break;
+            case "orGroup":
+                c.branches.forEach((b) => collectVarIds(b, into));
+                break;
+            case "notGroup":
+                collectVarIds(c.clauses, into);
+                break;
+        }
+    }
+};
+const mentions = (c, v) => {
+    const one = new Set();
+    collectVarIds([c], one);
+    return one.has(v.id);
+};
+export const lowerElemFilter = (preds, attr) => {
+    const elem = isRefAttr(attr)
+        ? mkVar("entity", refTargetNs(attr))
+        : mkVar("value");
+    const clauses = [];
+    for (const p of preds) {
+        if (typeof p !== "function") {
+            err(`the where filter on ${attr.ident} takes filter fragments — is(...), has(...), a (v) => comparison, or any fragment built from the kernel`);
+        }
+        clauses.push(...collectBody(p(elem)));
+    }
+    const seen = new Set();
+    collectVarIds(clauses, seen);
+    for (const id of seen) {
+        if (id < elem.id) {
+            err(`the where filter on ${attr.ident} closes over a var from the enclosing query — a pull-phase filter runs per element after the rows are fixed, so it cannot correlate with the outer query; constrain the rows in the query itself, or compare against a literal or param`);
+        }
+    }
+    const used = new Set();
+    const bound = new Set([elem.id]);
+    const predsOn = (v, list) => {
+        const out = [];
+        for (const c of list) {
+            if (used.has(c) || !mentions(c, v))
+                continue;
+            used.add(c);
+            out.push(oneClause(c, v, list));
+        }
+        return out;
+    };
+    const predsOfList = (list, v) => {
+        const out = predsOn(v, list);
+        const leftover = list.find((c) => !used.has(c));
+        if (leftover !== undefined)
+            rejectClause(leftover);
+        return out;
+    };
+    const rejectClause = (c) => {
+        switch (c._tag) {
+            case "memberOf":
+                return err(`entities(...) does not lower to a pull filter on ${attr.ident} — the collection already scopes its elements; constrain them with clauses on the element`);
+            case "ruleCall":
+                return err(`a named rule does not lower to a pull filter on ${attr.ident} — the pull phase has no rule engine; inline the fragment instead`);
+            case "fnBind":
+                return err(`Q.call does not lower to a pull filter on ${attr.ident} — the pull phase has no function bindings; constrain the rows in the query itself`);
+            default:
+                return err(`a clause in the where filter on ${attr.ident} neither constrains the element nor chains from it — a pull-phase filter walks paths from each element; it cannot join two chains on a shared var or correlate with other clauses`);
+        }
+    };
+    const hopPred = (ident, reverse, target, list) => {
+        if (bound.has(target.id)) {
+            err(`the where filter on ${attr.ident} reaches one var by two facts — a pull-phase filter walks a tree of paths and cannot join them; chain from a single binding instead`);
+        }
+        bound.add(target.id);
+        const inner = predsOn(target, list);
+        if (inner.length === 0) {
+            return exists(ident, reverse);
+        }
+        if (inner.length === 1 && isCmpPred(inner[0])) {
+            const p = inner[0];
+            const revs = [reverse, ...(p.reverse ?? p.path.map(() => false))];
+            return {
+                path: [ident, ...p.path],
+                ...(revs.some(Boolean) ? { reverse: revs } : {}),
+                op: p.op,
+                ...("value" in p ? { value: p.value } : {}),
+            };
+        }
+        return {
+            some: {
+                path: [ident],
+                ...(reverse ? { reverse: [true] } : {}),
+                pred: andOf(inner),
+            },
+        };
+    };
+    const exists = (ident, reverse) => ({
+        path: [ident],
+        ...(reverse ? { reverse: [true] } : {}),
+        op: "exists",
+    });
+    const factPred = (c, v, list) => {
+        if (c.attr === undefined) {
+            err(`the where filter on ${attr.ident} uses an attribute-free fact — a pull filter walks named attributes from each element`);
+        }
+        if (c.txVar !== undefined || c.opVar !== undefined) {
+            err(`the where filter on ${attr.ident} reads a time position (f.t / f.tx / f.op) — the pull phase reads the present; ask time questions in the query itself`);
+        }
+        const ident = c.attr.ident;
+        const e = c.eVar ?? c.e0;
+        const val = c.vVar ?? c.v0;
+        if (isVar(e) && e.id === v.id) {
+            if (isVar(val))
+                return hopPred(ident, false, val, list);
+            if (val === undefined || isBlank(val))
+                return exists(ident, false);
+            return { path: [ident], op: "=", value: lowerValue(val) };
+        }
+        if (isVar(val) && val.id === v.id) {
+            if (!isRefAttr(c.attr)) {
+                err(`the where filter on ${attr.ident} walks ${ident} backwards — only a reference can be read from its target`);
+            }
+            if (isVar(e))
+                return hopPred(ident, true, e, list);
+            if (e === undefined || isBlank(e))
+                return exists(ident, true);
+            return {
+                path: [ident, ":db/id"],
+                reverse: [true, false],
+                op: "=",
+                value: lowerValue(e),
+            };
+        }
+        return err(`the where filter on ${attr.ident}: a fact mentions the element only through a position the pull phase cannot walk`);
+    };
+    const cmpPred = (op, args, v, ignoreCase) => {
+        if (ignoreCase) {
+            err(`the where filter on ${attr.ident}: ignoreCase does not lower to a pull filter — constrain the rows in the query itself, or compare against a lowercased literal`);
+        }
+        const other = args.find((a) => !(isVar(a) && a.id === v.id));
+        if (isVar(other)) {
+            err(`the where filter on ${attr.ident} compares two bound values — a pull-phase filter compares each reached value against a constant`);
+        }
+        if (op === "re-find?") {
+            const [pattern, subject] = args;
+            if (!(isVar(subject) && subject.id === v.id)) {
+                err(`the where filter on ${attr.ident}: matches(...) must test the element's value — the pattern cannot be the bound side`);
+            }
+            return {
+                path: [],
+                op: "re-find?",
+                value: regexSource(pattern),
+            };
+        }
+        const first = args[0];
+        const subjectFirst = isVar(first) && first.id === v.id;
+        if (op === "in") {
+            if (!subjectFirst) {
+                err(`the where filter on ${attr.ident}: Q.in's first argument is the element's value`);
+            }
+            const values = args[1];
+            return {
+                path: [],
+                op: "in",
+                value: Array.isArray(values)
+                    ? values.map(lowerValue)
+                    : err(`Q.in takes an array of values, got ${String(values)}`),
+            };
+        }
+        const mapped = subjectFirst ? OPS[op] : FLIPPED[op];
+        if (mapped === undefined) {
+            err(subjectFirst
+                ? `the where filter on ${attr.ident}: the comparison "${op}" does not lower to a pull filter`
+                : `the where filter on ${attr.ident}: "${op}" must test the element's value — write the element as the first operand`);
+        }
+        return { path: [], op: mapped, value: lowerValue(other) };
+    };
+    const oneClause = (c, v, list) => {
+        switch (c._tag) {
+            case "fact":
+                return factPred(c, v, list);
+            case "cmp":
+                return cmpPred(c.op, c.args, v, c.ignoreCase);
+            case "orGroup":
+                return { or: c.branches.map((b) => andOf(predsOfList(b, v))) };
+            case "notGroup":
+                return { not: andOf(predsOfList(c.clauses, v)) };
+            case "memberOf":
+            case "ruleCall":
+            case "fnBind":
+                return rejectClause(c);
+        }
+    };
+    return predsOfList(clauses, elem);
+};
+//# sourceMappingURL=elemFilter.js.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"elemFilter.js","sourceRoot":"","sources":["../../../src/db/query/elemFilter.ts"],"names":[],"mappings":"AAKA,OAAO,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EACL,WAAW,EACX,OAAO,EACP,KAAK,EACL,KAAK,GAON,MAAM,aAAa,CAAC;AAIrB,MAAM,GAAG,GAAG,CAAC,GAAW,EAAS,EAAE;IACjC,MAAM,IAAI,KAAK,CAAC,iBAAiB,GAAG,EAAE,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,GAAG,GAAwC;IAC/C,GAAG,EAAE,GAAG;IACR,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,cAAc,EAAE,cAAc;IAC9B,YAAY,EAAE,YAAY;IAC1B,WAAW,EAAE,WAAW;IACxB,EAAE,EAAE,IAAI;CACT,CAAC;AAEF,MAAM,OAAO,GAAwC;IACnD,GAAG,EAAE,GAAG;IACR,MAAM,EAAE,IAAI;IACZ,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;IACV,GAAG,EAAE,GAAG;IACR,IAAI,EAAE,IAAI;CACX,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,CAAU,EAAW,EAAE,CAC5C,OAAO,CAAC,KAAK,QAAQ;IACrB,CAAC,KAAK,IAAI;IACV,OAAQ,CAAsB,CAAC,EAAE,KAAK,QAAQ;IAC9C,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,MAAM,KAAK,CAAC;IACzB,CAAC,CAAE,CAAoB,CAAC,EAAE;IAC1B,CAAC,CAAC,CAAC,CAAC;AAER,MAAM,WAAW,GAAG,CAAC,EAAmB,EAAU,EAAE;IAClD,IAAI,OAAO,EAAE,KAAK,QAAQ;QAAE,OAAO,EAAE,CAAC;IACtC,IAAI,EAAE,CAAC,KAAK,KAAK,EAAE,EAAE,CAAC;QACpB,GAAG,CACD,YAAY,EAAE,CAAC,MAAM,IAAI,EAAE,CAAC,KAAK,oFAAoF,CACtH,CAAC;IACJ,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,CAAU,EAAW,EAAE;IACzC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,IAAI;QAC/C,CAAC,CAAE,CAA+B,CAAC,EAAE;QACrC,CAAC,CAAC,CAAC,CAAC;IACN,IAAI,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,GAAG,CACD,2LAA2L,CAC5L,CAAC;IACJ,CAAC;IACD,OAAO,aAAa,CAAC,CAAC,CAAC,CAAC;AAC1B,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAAC,CAAe,EAAoB,EAAE,CACtD,OAAQ,CAAiB,CAAC,EAAE,KAAK,QAAQ,IAAI,KAAK,CAAC,OAAO,CAAE,CAAiB,CAAC,IAAI,CAAC,CAAC;AAEtF,MAAM,KAAK,GAAG,CAAC,KAA8B,EAAgB,EAAE,CAC7D,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,KAAK,CAAC,EAAE,CAAC;AAEvD,MAAM,SAAS,GAAG,CAAC,IAAa,EAAW,EAAE,CAC3C,OAAO,IAAI,KAAK,QAAQ;IACxB,IAAI,KAAK,IAAI;IACZ,IAAgC,CAAC,SAAS,KAAK,KAAK,CAAC;AAExD,MAAM,aAAa,GAAG,CAAC,IAAwB,EAAE,IAAiB,EAAQ,EAAE;IAC1E,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;QACrB,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM,EAAE,CAAC;gBACZ,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC;gBACzB,IAAI,KAAK,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC7B,MAAM,CAAC,GAAG,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC;gBACzB,IAAI,KAAK,CAAC,CAAC,CAAC;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBAC7B,IAAI,CAAC,CAAC,KAAK;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAClC,IAAI,CAAC,CAAC,KAAK;oBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;gBAClC,MAAM;YACR,CAAC;YACD,KAAK,KAAK;gBACR,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,KAAK,CAAC,CAAC,CAAC;wBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrD,MAAM;YACR,KAAK,QAAQ;gBACX,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,KAAK,CAAC,CAAC,CAAC;wBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnB,MAAM;YACR,KAAK,UAAU;gBACb,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACjB,MAAM;YACR,KAAK,UAAU;gBACb,KAAK,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI;oBAAE,IAAI,KAAK,CAAC,CAAC,CAAC;wBAAE,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;gBACrD,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;gBACnB,MAAM;YACR,KAAK,SAAS;gBACZ,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,aAAa,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;gBAClD,MAAM;YACR,KAAK,UAAU;gBACb,aAAa,CAAC,CAAC,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;gBAC/B,MAAM;QACV,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CAAC,CAAU,EAAE,CAAS,EAAW,EAAE;IAClD,MAAM,GAAG,GAAG,IAAI,GAAG,EAAU,CAAC;IAC9B,aAAa,CAAC,CAAC,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;IACxB,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAAoC,EACpC,IAAgC,EAChB,EAAE;IAClB,MAAM,IAAI,GAAW,SAAS,CAAC,IAAI,CAAC;QAClC,CAAC,CAAC,KAAK,CAAU,QAAQ,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC7C,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC;IAEnB,MAAM,OAAO,GAAc,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,IAAI,KAAK,EAAE,CAAC;QACtB,IAAI,OAAO,CAAC,KAAK,UAAU,EAAE,CAAC;YAC5B,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,yGAAyG,CAC3I,CAAC;QACJ,CAAC;QACD,OAAO,CAAC,IAAI,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,IAAI,CAAY,CAAC,CAAC,CAAC;IACnD,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,aAAa,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;IAC7B,KAAK,MAAM,EAAE,IAAI,IAAI,EAAE,CAAC;QACtB,IAAI,EAAE,GAAG,IAAI,CAAC,EAAE,EAAE,CAAC;YACjB,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,yOAAyO,CAC3Q,CAAC;QACJ,CAAC;IACH,CAAC;IAED,MAAM,IAAI,GAAG,IAAI,GAAG,EAAW,CAAC;IAChC,MAAM,KAAK,GAAG,IAAI,GAAG,CAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC;IAEzC,MAAM,OAAO,GAAG,CAAC,CAAS,EAAE,IAAwB,EAAkB,EAAE;QACtE,MAAM,GAAG,GAAmB,EAAE,CAAC;QAC/B,KAAK,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;YACrB,IAAI,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC;gBAAE,SAAS;YAC7C,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC;YACZ,GAAG,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC;QAClC,CAAC;QACD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,WAAW,GAAG,CAAC,IAAwB,EAAE,CAAS,EAAkB,EAAE;QAC1E,MAAM,GAAG,GAAG,OAAO,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC;QAC7B,MAAM,QAAQ,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;QAChD,IAAI,QAAQ,KAAK,SAAS;YAAE,YAAY,CAAC,QAAQ,CAAC,CAAC;QACnD,OAAO,GAAG,CAAC;IACb,CAAC,CAAC;IAEF,MAAM,YAAY,GAAG,CAAC,CAAU,EAAS,EAAE;QACzC,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,UAAU;gBACb,OAAO,GAAG,CACR,oDAAoD,IAAI,CAAC,KAAK,2FAA2F,CAC1J,CAAC;YACJ,KAAK,UAAU;gBACb,OAAO,GAAG,CACR,mDAAmD,IAAI,CAAC,KAAK,mEAAmE,CACjI,CAAC;YACJ,KAAK,QAAQ;gBACX,OAAO,GAAG,CACR,6CAA6C,IAAI,CAAC,KAAK,oFAAoF,CAC5I,CAAC;YACJ;gBACE,OAAO,GAAG,CACR,mCAAmC,IAAI,CAAC,KAAK,mLAAmL,CACjO,CAAC;QACN,CAAC;IACH,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CACd,KAAa,EACb,OAAgB,EAChB,MAAc,EACd,IAAwB,EACV,EAAE;QAChB,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC;YACzB,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,qIAAqI,CACvK,CAAC;QACJ,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACrB,MAAM,KAAK,GAAG,OAAO,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QACpC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;YACvB,OAAO,MAAM,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;QAChC,CAAC;QACD,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,SAAS,CAAC,KAAK,CAAC,CAAC,CAAE,CAAC,EAAE,CAAC;YAC/C,MAAM,CAAC,GAAG,KAAK,CAAC,CAAC,CAAE,CAAC;YACpB,MAAM,IAAI,GAAG,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC,CAAC,OAAO,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,EAAE,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAClE,OAAO;gBACL,IAAI,EAAE,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,IAAI,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBAChD,EAAE,EAAE,CAAC,CAAC,EAAE;gBACR,GAAG,CAAC,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aAC5C,CAAC;QACJ,CAAC;QACD,OAAO;YACL,IAAI,EAAE;gBACJ,IAAI,EAAE,CAAC,KAAK,CAAC;gBACb,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;gBACvC,IAAI,EAAE,KAAK,CAAC,KAAK,CAAC;aACnB;SACF,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,MAAM,GAAG,CAAC,KAAa,EAAE,OAAgB,EAAe,EAAE,CAAC,CAAC;QAChE,IAAI,EAAE,CAAC,KAAK,CAAC;QACb,GAAG,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;QACvC,EAAE,EAAE,QAAQ;KACb,CAAC,CAAC;IAEH,MAAM,QAAQ,GAAG,CAAC,CAAuB,EAAE,CAAS,EAAE,IAAwB,EAAgB,EAAE;QAC9F,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,EAAE,CAAC;YACzB,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,uFAAuF,CACzH,CAAC;QACJ,CAAC;QACD,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,IAAI,CAAC,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnD,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,uHAAuH,CACzJ,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,CAAC,CAAC,IAAK,CAAC,KAAK,CAAC;QAC5B,MAAM,CAAC,GAAyB,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC;QAC/C,MAAM,GAAG,GAAyB,CAAC,CAAC,IAAI,IAAI,CAAC,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAC9B,IAAI,KAAK,CAAC,GAAG,CAAC;gBAAE,OAAO,OAAO,CAAC,KAAK,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC;YACxD,IAAI,GAAG,KAAK,SAAS,IAAI,OAAO,CAAC,GAAG,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;YACnE,OAAO,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,GAAG,EAAE,KAAK,EAAE,UAAU,CAAC,GAAG,CAAC,EAAE,CAAC;QAC5D,CAAC;QACD,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,GAAG,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;YAClC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC;gBACvB,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,UAAU,KAAK,2DAA2D,CAC5G,CAAC;YACJ,CAAC;YACD,IAAI,KAAK,CAAC,CAAC,CAAC;gBAAE,OAAO,OAAO,CAAC,KAAK,EAAE,IAAI,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YACnD,IAAI,CAAC,KAAK,SAAS,IAAI,OAAO,CAAC,CAAC,CAAC;gBAAE,OAAO,MAAM,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;YAC9D,OAAO;gBACL,IAAI,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC;gBACvB,OAAO,EAAE,CAAC,IAAI,EAAE,KAAK,CAAC;gBACtB,EAAE,EAAE,GAAG;gBACP,KAAK,EAAE,UAAU,CAAC,CAAC,CAAC;aACrB,CAAC;QACJ,CAAC;QACD,OAAO,GAAG,CACR,uBAAuB,IAAI,CAAC,KAAK,kFAAkF,CACpH,CAAC;IACJ,CAAC,CAAC;IAEF,MAAM,OAAO,GAAG,CAAC,EAAU,EAAE,IAAyB,EAAE,CAAS,EAAE,UAAoB,EAAgB,EAAE;QACvG,IAAI,UAAU,EAAE,CAAC;YACf,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,gIAAgI,CAClK,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QAC7D,IAAI,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,iGAAiG,CACnI,CAAC;QACJ,CAAC;QACD,IAAI,EAAE,KAAK,UAAU,EAAE,CAAC;YACtB,MAAM,CAAC,OAAO,EAAE,OAAO,CAAC,GAAG,IAAI,CAAC;YAChC,IAAI,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC;gBAC7C,GAAG,CACD,uBAAuB,IAAI,CAAC,KAAK,qFAAqF,CACvH,CAAC;YACJ,CAAC;YACD,OAAO;gBACL,IAAI,EAAE,EAAE;gBACR,EAAE,EAAE,UAAU;gBACd,KAAK,EAAE,WAAW,CAAC,OAA0B,CAAC;aAC/C,CAAC;QACJ,CAAC;QACD,MAAM,KAAK,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;QACtB,MAAM,YAAY,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,KAAK,CAAC,EAAE,KAAK,CAAC,CAAC,EAAE,CAAC;QACvD,IAAI,EAAE,KAAK,IAAI,EAAE,CAAC;YAChB,IAAI,CAAC,YAAY,EAAE,CAAC;gBAClB,GAAG,CAAC,uBAAuB,IAAI,CAAC,KAAK,gDAAgD,CAAC,CAAC;YACzF,CAAC;YACD,MAAM,MAAM,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;YACvB,OAAO;gBACL,IAAI,EAAE,EAAE;gBACR,EAAE,EAAE,IAAI;gBACR,KAAK,EAAE,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC;oBAC1B,CAAC,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC;oBACxB,CAAC,CAAC,GAAG,CAAC,sCAAsC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;aAChE,CAAC;QACJ,CAAC;QACD,MAAM,MAAM,GAAG,YAAY,CAAC,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC;QACpD,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;YACzB,GAAG,CACD,YAAY;gBACV,CAAC,CAAC,uBAAuB,IAAI,CAAC,KAAK,qBAAqB,EAAE,mCAAmC;gBAC7F,CAAC,CAAC,uBAAuB,IAAI,CAAC,KAAK,MAAM,EAAE,0EAA0E,CACxH,CAAC;QACJ,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,EAAE,EAAE,EAAE,EAAE,MAAO,EAAE,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,EAAE,CAAC;IAC7D,CAAC,CAAC;IAEF,MAAM,SAAS,GAAG,CAAC,CAAU,EAAE,CAAS,EAAE,IAAwB,EAAgB,EAAE;QAClF,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;YACf,KAAK,MAAM;gBACT,OAAO,QAAQ,CAAC,CAAC,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;YAC9B,KAAK,KAAK;gBACR,OAAO,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,UAAU,CAAC,CAAC;YAChD,KAAK,SAAS;gBACZ,OAAO,EAAE,EAAE,EAAE,CAAC,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC;YACjE,KAAK,UAAU;gBACb,OAAO,EAAE,GAAG,EAAE,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YACnD,KAAK,UAAU,CAAC;YAChB,KAAK,UAAU,CAAC;YAChB,KAAK,QAAQ;gBACX,OAAO,YAAY,CAAC,CAAC,CAAC,CAAC;QAC3B,CAAC;IACH,CAAC,CAAC;IAEF,OAAO,WAAW,CAAC,OAAO,EAAE,IAAI,CAAC,CAAC;AACpC,CAAC,CAAC"}

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

@@ -0,0 +1,92 @@
+import type { Eid } from "../Eid.ts";
+import { type AnyComposer } from "../Composer.ts";
+import type { EntityEq, FocusAttr } from "./focus.ts";
+import type { AttrValue, FocusShape, OrderDir, OrderEmpty, SelectResult, Shape, ValidShape } from "../shapes.ts";
+import { type IdRow } from "./lib.ts";
+import { type AggSpec, type EidCell, type Var } from "./kernel.ts";
+import { type Pipeline, type QueryObject, type QueryOrderKey } from "./query.ts";
+type IsMany<A> = A extends {
+    readonly cardinality: "many";
+} ? true : false;
+type IsRef<A> = A extends {
+    readonly valueType: "ref";
+} ? true : false;
+type IsOptional<A> = A extends {
+    readonly isOptional: true;
+} ? true : undefined extends AttrValue<A> ? true : false;
+type FriendlyScalar<T> = T extends Date ? Date : T;
+type RefTarget<A, Enclosing extends AnyComposer> = A extends {
+    readonly schema: {
+        readonly _target?: infer T;
+    };
+} ? [T] extends [AnyComposer] ? T : Enclosing : AnyComposer;
+/**
+ * A ref under the default shape: an `{ id }` cell branded with the
+ * *target* entity, never auto-nested. `Comment.issue` → `{ id: Eid<Issue> }`.
+ */
+export type RefIdCell<N extends AnyComposer = AnyComposer> = {
+    readonly id: Eid<N>;
+};
+type ScalarRow<A, Enclosing extends AnyComposer> = IsRef<A> extends true ? RefIdCell<RefTarget<A, Enclosing>> : FriendlyScalar<Exclude<AttrValue<A>, undefined>>;
+type FieldRow<A, Enclosing extends AnyComposer> = IsMany<A> extends true ? readonly ScalarRow<A, Enclosing>[] : IsOptional<A> extends true ? ScalarRow<A, Enclosing> | undefined : ScalarRow<A, Enclosing>;
+/**
+ * The row a select-less fluent query yields: friendly keys, refs as
+ * `{ id: Eid<Target> }` cells. `| undefined` only on optional fields;
+ * required scalars stay required. Card-many are arrays. Not `all(N)` /
+ * `[*]` — lowering expands `N.fields` into this shape.
+ */
+export type EntityRow<N extends AnyComposer> = {
+    readonly id: Eid<N>;
+} & {
+    readonly [K in keyof N["fields"]]: FieldRow<N["fields"][K], N>;
+};
+export declare const entityShape: (ns: AnyComposer) => Shape;
+type RefEq<A, Enclosing extends AnyComposer> = AttrValue<A> | EntityEq<RefTarget<A, Enclosing>> | {
+    readonly id: number | EntityEq<RefTarget<A, Enclosing>>;
+};
+type EqValue<A, Enclosing extends AnyComposer> = IsRef<A> extends true ? RefEq<A, Enclosing> : AttrValue<A>;
+/**
+ * Object-literal equality filters. Keys are the entity's fields (plus `id`);
+ * a wrong key or value type is a compile error.
+ */
+export type WhereEq<N extends AnyComposer> = {
+    readonly [K in keyof N["fields"]]?: EqValue<N["fields"][K], N>;
+} & {
+    readonly id?: Eid<N> | number | EntityEq<N> | {
+        readonly id: number | EntityEq<N>;
+    };
+};
+/**
+ * A closed query that still accepts chain methods. Immutable: each call
+ * returns a new value, hoistable at module scope exactly as `Query.q` is.
+ */
+export interface FluentQuery<N extends AnyComposer = AnyComposer, Row = unknown, Out = readonly Row[]> extends QueryObject<Row, Out> {
+    where<const W extends WhereEq<N>>(eq: W): FluentQuery<N, Row, Out>;
+    where(...stages: ReadonlyArray<(q: Pipeline<Row, N>) => Pipeline<Row, N>>): FluentQuery<N, Row, Out>;
+    select<const S extends Shape>(shape: S & ValidShape<S> & FocusShape<N, S>): FluentQuery<N, SelectResult<S>>;
+    select<const S extends Shape, const Extra>(shape: S & ValidShape<S> & FocusShape<N, S>, extra: (e: Var<EidCell>) => Extra & {
+        readonly [K in keyof Extra]: AggSpec<any>;
+    }): FluentQuery<N, SelectResult<S> & {
+        readonly [K in keyof Extra]: Extra[K] extends AggSpec<infer T> ? T : never;
+    }>;
+    select<const S extends Shape, const Extra>(shape: S & ValidShape<S> & FocusShape<N, S>, extra: Extra & {
+        readonly [K in keyof Extra]: AggSpec<any>;
+    }): FluentQuery<N, SelectResult<S> & {
+        readonly [K in keyof Extra]: Extra[K] extends AggSpec<infer T> ? T : never;
+    }>;
+    orderBy(key: QueryOrderKey<Row> | FocusAttr<N>, dir?: OrderDir, opts?: {
+        readonly empty?: OrderEmpty;
+    }): FluentQuery<N, Row, Out>;
+    limit(n: number): FluentQuery<N, Row, Out>;
+    offset(n: number): FluentQuery<N, Row, Out>;
+    ids(): FluentQuery<N, IdRow<N>>;
+}
+/**
+ * Start a fluent query at an entity. Select-less, the row is the full
+ * entity (friendly keys); `.select` narrows, `.ids` keeps today's id-only
+ * cheap subscription. Put changing values in `.where` — two independently
+ * built queries with the same literals share a live subscription.
+ */
+export declare const from: <N extends AnyComposer>(ns: N) => FluentQuery<N, EntityRow<N>>;
+export {};
+//# sourceMappingURL=fluent.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"fluent.d.ts","sourceRoot":"","sources":["../../../src/db/query/fluent.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,QAAQ,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AACtD,OAAO,KAAK,EACV,SAAS,EACT,UAAU,EACV,QAAQ,EACR,UAAU,EAEV,YAAY,EACZ,KAAK,EACL,UAAU,EACX,MAAM,cAAc,CAAC;AACtB,OAAO,EAOL,KAAK,KAAK,EACX,MAAM,UAAU,CAAC;AAClB,OAAO,EACL,KAAK,OAAO,EAEZ,KAAK,OAAO,EACZ,KAAK,GAAG,EACT,MAAM,aAAa,CAAC;AACrB,OAAO,EAGL,KAAK,QAAQ,EACb,KAAK,WAAW,EAEhB,KAAK,aAAa,EACnB,MAAM,YAAY,CAAC;AAEpB,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAC3E,KAAK,KAAK,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AACvE,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,UAAU,EAAE,IAAI,CAAA;CAAE,GACxD,IAAI,GACJ,SAAS,SAAS,SAAS,CAAC,CAAC,CAAC,GAC5B,IAAI,GACJ,KAAK,CAAC;AAEZ,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS,IAAI,GAAG,IAAI,GAAG,CAAC,CAAC;AAEnD,KAAK,SAAS,CAAC,CAAC,EAAE,SAAS,SAAS,WAAW,IAAI,CAAC,SAAS;IAC3D,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC;CACjD,GACG,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,GACvB,CAAC,GACD,SAAS,GACT,WAAW,CAAC;AAElB;;;GAGG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,WAAW,GAAG,WAAW,IAAI;IAC3D,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;CACrB,CAAC;AAEF,KAAK,SAAS,CAAC,CAAC,EAAE,SAAS,SAAS,WAAW,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GACpE,SAAS,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GAClC,cAAc,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;AAErD,KAAK,QAAQ,CAAC,CAAC,EAAE,SAAS,SAAS,WAAW,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GACpE,SAAS,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,EAAE,GAClC,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACxB,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,GAAG,SAAS,GACnC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC;AAE9B;;;;;GAKG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,WAAW,IAAI;IAC7C,QAAQ,CAAC,EAAE,EAAE,GAAG,CAAC,CAAC,CAAC,CAAC;CACrB,GAAG;IACF,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC/D,CAAC;AAmBF,eAAO,MAAM,WAAW,OAAQ,WAAW,KAAG,KAmB7C,CAAC;AAYF,KAAK,KAAK,CAAC,CAAC,EAAE,SAAS,SAAS,WAAW,IACvC,SAAS,CAAC,CAAC,CAAC,GACZ,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,GACjC;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAA;CAAE,CAAC;AAEhE,KAAK,OAAO,CAAC,CAAC,EAAE,SAAS,SAAS,WAAW,IAAI,KAAK,CAAC,CAAC,CAAC,SAAS,IAAI,GAClE,KAAK,CAAC,CAAC,EAAE,SAAS,CAAC,GACnB,SAAS,CAAC,CAAC,CAAC,CAAC;AAEjB;;;GAGG;AACH,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,WAAW,IAAI;IAC3C,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CAC/D,GAAG;IACF,QAAQ,CAAC,EAAE,CAAC,EACR,GAAG,CAAC,CAAC,CAAC,GACN,MAAM,GACN,QAAQ,CAAC,CAAC,CAAC,GACX;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAA;KAAE,CAAC;CAC3C,CAAC;AAuCF;;;GAGG;AACH,MAAM,WAAW,WAAW,CAC1B,CAAC,SAAS,WAAW,GAAG,WAAW,EACnC,GAAG,GAAG,OAAO,EACb,GAAG,GAAG,SAAS,GAAG,EAAE,CACpB,SAAQ,WAAW,CAAC,GAAG,EAAE,GAAG,CAAC;IAC7B,KAAK,CAAC,KAAK,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IACnE,KAAK,CACH,GAAG,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,KAAK,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAClE,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE5B,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,EAC1B,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAC1C,WAAW,CAAC,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC;IACnC,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,CAAC,KAAK,EACvC,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3C,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,WAAW,CAAC,CAAC,EAAE,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,CAAC,CAAC;IACpH,MAAM,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,CAAC,KAAK,EACvC,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,EAC3C,KAAK,EAAE,KAAK,GAAG;QAAE,QAAQ,EAAE,CAAC,IAAI,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,CAAC;KAAE,GAC3D,WAAW,CAAC,CAAC,EAAE,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,CAAC,CAAC;IAEpH,OAAO,CACL,GAAG,EAAE,aAAa,CAAC,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,CAAC,EACtC,GAAG,CAAC,EAAE,QAAQ,EACd,IAAI,CAAC,EAAE;QAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAA;KAAE,GACrC,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE5B,KAAK,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE3C,MAAM,CAAC,CAAC,EAAE,MAAM,GAAG,WAAW,CAAC,CAAC,EAAE,GAAG,EAAE,GAAG,CAAC,CAAC;IAE5C,GAAG,IAAI,WAAW,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;CACjC;AAsED;;;;;GAKG;AACH,eAAO,MAAM,IAAI,GAAI,CAAC,SAAS,WAAW,MAAM,CAAC,KAAG,WAAW,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAK9E,CAAC"}