@rhizomes/rhizomatic 0.1.0

package/dist/policy.js

@@ -0,0 +1,186 @@
+// Resolution policies and Views (SPEC-5, ERRATA-5). resolve : Policy -> HView -> View is the
+// only exit from the algebra into application space; all pluralism is policy choice (P5).
+import { array, bool, encode, float, map, tstr } from "./cbor.js";
+import { bytesToHex } from "./hash.js";
+import { comparePrimitives, evalPred } from "./pred.js";
+// --- ordering (R3: every chain ends in an implicit lexById tiebreak) ------------------------------
+function cmpByOrder(order, a, b) {
+    switch (order.kind) {
+        case "byTimestamp": {
+            const d = a.delta.claims.timestamp - b.delta.claims.timestamp;
+            if (d !== 0)
+                return order.dir === "desc" ? -d : d;
+            return 0;
+        }
+        case "byAuthorRank": {
+            const rank = (author) => {
+                const i = order.authors.indexOf(author);
+                return i === -1 ? order.authors.length : i;
+            };
+            return rank(a.delta.claims.author) - rank(b.delta.claims.author);
+        }
+        case "byPred": {
+            const am = evalPred(order.pred, a.delta) ? 0 : 1;
+            const bm = evalPred(order.pred, b.delta) ? 0 : 1;
+            if (am !== bm)
+                return am - bm; // matches first
+            return cmpByOrder(order.then, a, b);
+        }
+        case "lexById":
+            return a.delta.id < b.delta.id ? -1 : a.delta.id > b.delta.id ? 1 : 0;
+    }
+}
+function sortEntries(order, entries) {
+    return [...entries].sort((a, b) => {
+        const primary = cmpByOrder(order, a, b);
+        if (primary !== 0)
+            return primary;
+        return a.delta.id < b.delta.id ? -1 : a.delta.id > b.delta.id ? 1 : 0;
+    });
+}
+// --- candidate value extraction (R1) ---------------------------------------------------------------
+function renderTarget(t, expansion, policy) {
+    if (expansion !== undefined)
+        return resolveView(policy, expansion);
+    switch (t.kind) {
+        case "primitive":
+            return t.value;
+        case "entity":
+            return t.entity.id;
+        case "delta":
+            return t.deltaRef.delta;
+    }
+}
+function candidateValue(e, root, policy) {
+    const nonFiling = [];
+    e.delta.claims.pointers.forEach((p, i) => {
+        const filing = p.target.kind === "entity" && p.target.entity.id === root;
+        if (filing)
+            return;
+        nonFiling.push([p.role, renderTarget(p.target, e.expanded?.get(i), policy)]);
+    });
+    if (nonFiling.length === 0)
+        return true; // the bare fact of the edge
+    if (nonFiling.length === 1)
+        return nonFiling[0][1];
+    const obj = {};
+    for (const [role, v] of nonFiling) {
+        const existing = obj[role];
+        if (existing === undefined)
+            obj[role] = v;
+        else if (Array.isArray(existing))
+            obj[role] = [...existing, v];
+        else
+            obj[role] = [existing, v];
+    }
+    return obj;
+}
+// --- View canonical form (R4) ----------------------------------------------------------------------
+export function viewToCbor(v) {
+    if (typeof v === "string")
+        return tstr(v);
+    if (typeof v === "number")
+        return float(v);
+    if (typeof v === "boolean")
+        return bool(v);
+    if (Array.isArray(v))
+        return array(v.map(viewToCbor));
+    const entries = Object.entries(v).map(([k, x]) => [k, viewToCbor(x)]);
+    return map(entries);
+}
+export function viewCanonicalHex(v) {
+    return bytesToHex(encode(viewToCbor(v)));
+}
+// --- resolution ------------------------------------------------------------------------------------
+const ABSENT = Symbol("absent");
+function isPrimitive(v) {
+    return typeof v === "string" || typeof v === "number" || typeof v === "boolean";
+}
+function applyMerge(fn, entries, root, policy) {
+    // Fold in ascending delta-id order — float addition is order-dependent (R2).
+    const sorted = sortEntries({ kind: "lexById" }, entries);
+    if (fn === "count")
+        return sorted.length === 0 ? ABSENT : sorted.length;
+    const prims = sorted
+        .map((e) => candidateValue(e, root, policy))
+        .filter((v) => isPrimitive(v));
+    switch (fn) {
+        case "max":
+        case "min": {
+            if (prims.length === 0)
+                return ABSENT;
+            return prims.reduce((acc, v) => {
+                const c = comparePrimitives(v, acc);
+                return (fn === "max" ? c > 0 : c < 0) ? v : acc;
+            });
+        }
+        case "sum": {
+            const nums = prims.filter((v) => typeof v === "number");
+            if (nums.length === 0)
+                return ABSENT;
+            return nums.reduce((a, b) => a + b, 0);
+        }
+        case "and":
+        case "or": {
+            const bools = prims.filter((v) => typeof v === "boolean");
+            if (bools.length === 0)
+                return ABSENT;
+            return fn === "and" ? bools.every(Boolean) : bools.some(Boolean);
+        }
+        case "concatSorted": {
+            if (prims.length === 0)
+                return ABSENT;
+            return [...prims].sort(comparePrimitives);
+        }
+    }
+}
+function applyPropPolicy(pp, entries, root, policy) {
+    switch (pp.kind) {
+        case "pick": {
+            if (entries.length === 0)
+                return ABSENT;
+            const sorted = sortEntries(pp.order, entries);
+            return candidateValue(sorted[0], root, policy);
+        }
+        case "all": {
+            if (entries.length === 0)
+                return ABSENT;
+            return sortEntries(pp.order, entries).map((e) => candidateValue(e, root, policy));
+        }
+        case "merge":
+            return applyMerge(pp.fn, entries, root, policy);
+        case "conflicts": {
+            const sorted = sortEntries(pp.order, entries);
+            const seen = new Set();
+            const distinct = [];
+            for (const e of sorted) {
+                const v = candidateValue(e, root, policy);
+                const key = viewCanonicalHex(v);
+                if (!seen.has(key)) {
+                    seen.add(key);
+                    distinct.push(v);
+                }
+            }
+            return distinct.length >= 2 ? distinct : ABSENT;
+        }
+        case "absentAs": {
+            const inner = applyPropPolicy(pp.then, entries, root, policy);
+            return inner === ABSENT ? pp.constant : inner;
+        }
+    }
+}
+// resolve(policy, HView) -> View. Deterministic; total; provenance-optional (SPEC-5 §2).
+// The View covers every property named in the policy plus every HView property (R3).
+export function resolveView(policy, hview) {
+    const keys = new Set([...policy.props.keys(), ...hview.props.keys()]);
+    const obj = {};
+    for (const key of keys) {
+        const entries = hview.props.get(key) ?? [];
+        const pp = policy.props.get(key) ?? policy.default;
+        const v = applyPropPolicy(pp, entries, hview.id, policy);
+        if (v !== ABSENT)
+            obj[key] = v;
+    }
+    return obj;
+}
+//# sourceMappingURL=policy.js.map

package/dist/policy.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"policy.js","sourceRoot":"","sources":["../src/policy.ts"],"names":[],"mappings":"AAAA,6FAA6F;AAC7F,0FAA0F;AAE1F,OAAO,EAAkB,KAAK,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,MAAM,WAAW,CAAC;AAClF,OAAO,EAAE,UAAU,EAAE,MAAM,WAAW,CAAC;AAEvC,OAAO,EAAE,iBAAiB,EAAE,QAAQ,EAAa,MAAM,WAAW,CAAC;AAyBnE,qGAAqG;AAErG,SAAS,UAAU,CAAC,KAAY,EAAE,CAAU,EAAE,CAAU;IACtD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACnB,KAAK,aAAa,CAAC,CAAC,CAAC;YACnB,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,GAAG,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS,CAAC;YAC9D,IAAI,CAAC,KAAK,CAAC;gBAAE,OAAO,KAAK,CAAC,GAAG,KAAK,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YAClD,OAAO,CAAC,CAAC;QACX,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,MAAM,IAAI,GAAG,CAAC,MAAc,EAAE,EAAE;gBAC9B,MAAM,CAAC,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC;gBACxC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;YAC7C,CAAC,CAAC;YACF,OAAO,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;QACnE,CAAC;QACD,KAAK,QAAQ,CAAC,CAAC,CAAC;YACd,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,MAAM,EAAE,GAAG,QAAQ,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;YACjD,IAAI,EAAE,KAAK,EAAE;gBAAE,OAAO,EAAE,GAAG,EAAE,CAAC,CAAC,gBAAgB;YAC/C,OAAO,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACtC,CAAC;QACD,KAAK,SAAS;YACZ,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,CAAC;AACH,CAAC;AAED,SAAS,WAAW,CAAC,KAAY,EAAE,OAA2B;IAC5D,OAAO,CAAC,GAAG,OAAO,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QAChC,MAAM,OAAO,GAAG,UAAU,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;QACxC,IAAI,OAAO,KAAK,CAAC;YAAE,OAAO,OAAO,CAAC;QAClC,OAAO,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,EAAE,GAAG,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACxE,CAAC,CAAC,CAAC;AACL,CAAC;AAED,sGAAsG;AAEtG,SAAS,YAAY,CAAC,CAAS,EAAE,SAA4B,EAAE,MAAc;IAC3E,IAAI,SAAS,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;IACnE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,WAAW;YACd,OAAO,CAAC,CAAC,KAAK,CAAC;QACjB,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,MAAM,CAAC,EAAE,CAAC;QACrB,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,QAAQ,CAAC,KAAK,CAAC;IAC5B,CAAC;AACH,CAAC;AAED,SAAS,cAAc,CAAC,CAAU,EAAE,IAAY,EAAE,MAAc;IAC9D,MAAM,SAAS,GAA0B,EAAE,CAAC;IAC5C,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE;QACvC,MAAM,MAAM,GAAG,CAAC,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI,CAAC;QACzE,IAAI,MAAM;YAAE,OAAO;QACnB,SAAS,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,YAAY,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,CAAC;IAC/E,CAAC,CAAC,CAAC;IACH,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,IAAI,CAAC,CAAC,4BAA4B;IACrE,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC,CAAC,CAAE,CAAC,CAAC,CAAC,CAAC;IACpD,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,KAAK,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,IAAI,SAAS,EAAE,CAAC;QAClC,MAAM,QAAQ,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;QAC3B,IAAI,QAAQ,KAAK,SAAS;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;aACrC,IAAI,KAAK,CAAC,OAAO,CAAC,QAAQ,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,QAAQ,EAAE,CAAC,CAAC,CAAC;;YAC1D,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC;AAED,sGAAsG;AAEtG,MAAM,UAAU,UAAU,CAAC,CAAO;IAChC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IAC1C,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC;IAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;QAAE,OAAO,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,CAAC,CAAC;IACtD,MAAM,OAAO,GAAG,MAAM,CAAC,OAAO,CAAC,CAA4B,CAAC,CAAC,GAAG,CAC9D,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,EAAgC,EAAE,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAC7D,CAAC;IACF,OAAO,GAAG,CAAC,OAAO,CAAC,CAAC;AACtB,CAAC;AAED,MAAM,UAAU,gBAAgB,CAAC,CAAO;IACtC,OAAO,UAAU,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;AAC3C,CAAC;AAED,sGAAsG;AAEtG,MAAM,MAAM,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAC;AAGhC,SAAS,WAAW,CAAC,CAAO;IAC1B,OAAO,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,OAAO,CAAC,KAAK,SAAS,CAAC;AAClF,CAAC;AAED,SAAS,UAAU,CACjB,EAAW,EACX,OAA2B,EAC3B,IAAY,EACZ,MAAc;IAEd,6EAA6E;IAC7E,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,IAAI,EAAE,SAAS,EAAE,EAAE,OAAO,CAAC,CAAC;IACzD,IAAI,EAAE,KAAK,OAAO;QAAE,OAAO,MAAM,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC;IACxE,MAAM,KAAK,GAAG,MAAM;SACjB,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;SAC3C,MAAM,CAAC,CAAC,CAAC,EAAkB,EAAE,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,QAAQ,EAAE,EAAE,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YACtC,OAAO,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,EAAE;gBAC7B,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;gBACpC,OAAO,CAAC,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAC;YAClD,CAAC,CAAC,CAAC;QACL,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,MAAM,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAe,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,CAAC;YACrE,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YACrC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC,CAAC;QACzC,CAAC;QACD,KAAK,KAAK,CAAC;QACX,KAAK,IAAI,CAAC,CAAC,CAAC;YACV,MAAM,KAAK,GAAG,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,EAAgB,EAAE,CAAC,OAAO,CAAC,KAAK,SAAS,CAAC,CAAC;YACxE,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YACtC,OAAO,EAAE,KAAK,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QACnE,CAAC;QACD,KAAK,cAAc,CAAC,CAAC,CAAC;YACpB,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YACtC,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC;QAC5C,CAAC;IACH,CAAC;AACH,CAAC;AAED,SAAS,eAAe,CACtB,EAAc,EACd,OAA2B,EAC3B,IAAY,EACZ,MAAc;IAEd,QAAQ,EAAE,CAAC,IAAI,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,CAAC,CAAC;YACZ,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YACxC,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC9C,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC,CAAE,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,KAAK,CAAC,CAAC,CAAC;YACX,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;gBAAE,OAAO,MAAM,CAAC;YACxC,OAAO,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC;QACpF,CAAC;QACD,KAAK,OAAO;YACV,OAAO,UAAU,CAAC,EAAE,CAAC,EAAE,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;QAClD,KAAK,WAAW,CAAC,CAAC,CAAC;YACjB,MAAM,MAAM,GAAG,WAAW,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC;YAC9C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;YAC/B,MAAM,QAAQ,GAAW,EAAE,CAAC;YAC5B,KAAK,MAAM,CAAC,IAAI,MAAM,EAAE,CAAC;gBACvB,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;gBAC1C,MAAM,GAAG,GAAG,gBAAgB,CAAC,CAAC,CAAC,CAAC;gBAChC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;oBACnB,IAAI,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;oBACd,QAAQ,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC;gBACnB,CAAC;YACH,CAAC;YACD,OAAO,QAAQ,CAAC,MAAM,IAAI,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;QAClD,CAAC;QACD,KAAK,UAAU,CAAC,CAAC,CAAC;YAChB,MAAM,KAAK,GAAG,eAAe,CAAC,EAAE,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;YAC9D,OAAO,KAAK,KAAK,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC;QAChD,CAAC;IACH,CAAC;AACH,CAAC;AAED,yFAAyF;AACzF,qFAAqF;AACrF,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAY;IACtD,MAAM,IAAI,GAAG,IAAI,GAAG,CAAS,CAAC,GAAG,MAAM,CAAC,KAAK,CAAC,IAAI,EAAE,EAAE,GAAG,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;IAC9E,MAAM,GAAG,GAAyB,EAAE,CAAC;IACrC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,OAAO,GAAG,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,EAAE,CAAC;QAC3C,MAAM,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC;QACnD,MAAM,CAAC,GAAG,eAAe,CAAC,EAAE,EAAE,OAAO,EAAE,KAAK,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QACzD,IAAI,CAAC,KAAK,MAAM;YAAE,GAAG,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;IACjC,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/pred.d.ts

@@ -0,0 +1,78 @@
+import type { Delta, Primitive } from "./types.js";
+export type Cmp = "eq" | "neq" | "lt" | "lte" | "gt" | "gte" | "prefix" | "inSet";
+export interface Hole {
+    readonly kind: "hole";
+    readonly name: string;
+}
+export type Bindings = ReadonlyMap<string, Primitive>;
+export declare function resolveParam(p: Primitive | Hole, bindings: Bindings | undefined): Primitive;
+export type StrMatch = {
+    readonly kind: "exact";
+    readonly value: string;
+} | {
+    readonly kind: "prefix";
+    readonly value: string;
+} | {
+    readonly kind: "inSet";
+    readonly values: readonly string[];
+} | {
+    readonly kind: "aliased";
+    readonly name: string;
+    readonly via?: string;
+    readonly trust?: Pred;
+};
+export type ValMatch = {
+    readonly kind: "vcmp";
+    readonly cmp: Cmp;
+    readonly value: Primitive | Hole;
+} | {
+    readonly kind: "between";
+    readonly lo: Primitive;
+    readonly hi: Primitive;
+} | {
+    readonly kind: "inSet";
+    readonly values: readonly Primitive[];
+};
+export type EntityMatch = {
+    readonly kind: "const";
+    readonly id: string;
+} | {
+    readonly kind: "root";
+} | Hole;
+export interface PPred {
+    readonly role?: StrMatch;
+    readonly targetEntity?: EntityMatch;
+    readonly targetDelta?: string;
+    readonly context?: StrMatch;
+    readonly targetIsPrimitive?: boolean;
+    readonly targetValue?: ValMatch;
+}
+export type Pred = {
+    readonly kind: "true";
+} | {
+    readonly kind: "false";
+} | {
+    readonly kind: "match";
+    readonly field: "author" | "timestamp" | "id";
+    readonly cmp: Cmp;
+    readonly constant: Primitive | Hole | readonly Primitive[];
+} | {
+    readonly kind: "hasPointer";
+    readonly ppred: PPred;
+} | {
+    readonly kind: "and";
+    readonly left: Pred;
+    readonly right: Pred;
+} | {
+    readonly kind: "or";
+    readonly left: Pred;
+    readonly right: Pred;
+} | {
+    readonly kind: "not";
+    readonly pred: Pred;
+};
+export declare function comparePrimitives(a: Primitive, b: Primitive): number;
+export declare function strMatch(m: StrMatch, s: string): boolean;
+export declare function substituteHoles(pred: Pred, bindings: Bindings | undefined): Pred;
+export declare function evalPred(pred: Pred, delta: Delta, root?: string, bindings?: Bindings): boolean;
+//# sourceMappingURL=pred.d.ts.map

package/dist/pred.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"pred.d.ts","sourceRoot":"","sources":["../src/pred.ts"],"names":[],"mappings":"AAGA,OAAO,KAAK,EAAE,KAAK,EAAW,SAAS,EAAE,MAAM,YAAY,CAAC;AAE5D,MAAM,MAAM,GAAG,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,IAAI,GAAG,KAAK,GAAG,QAAQ,GAAG,OAAO,CAAC;AAGlF,MAAM,WAAW,IAAI;IACnB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB;AAED,MAAM,MAAM,QAAQ,GAAG,WAAW,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC;AAGtD,wBAAgB,YAAY,CAAC,CAAC,EAAE,SAAS,GAAG,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,SAAS,CAK3F;AAED,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GAClD;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,GAE9D;IACE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,CAAC;CACvB,CAAC;AAEN,MAAM,MAAM,QAAQ,GAChB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,GAAG,IAAI,CAAA;CAAE,GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,SAAS,CAAA;CAAE,GAC5E;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,SAAS,SAAS,EAAE,CAAA;CAAE,CAAC;AAGtE,MAAM,MAAM,WAAW,GACnB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,GAC/C;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB,IAAI,CAAC;AAET,MAAM,WAAW,KAAK;IACpB,QAAQ,CAAC,IAAI,CAAC,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,YAAY,CAAC,EAAE,WAAW,CAAC;IACpC,QAAQ,CAAC,WAAW,CAAC,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,OAAO,CAAC,EAAE,QAAQ,CAAC;IAC5B,QAAQ,CAAC,iBAAiB,CAAC,EAAE,OAAO,CAAC;IACrC,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC;CACjC;AAED,MAAM,MAAM,IAAI,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GAC1B;IACE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,WAAW,GAAG,IAAI,CAAC;IAC9C,QAAQ,CAAC,GAAG,EAAE,GAAG,CAAC;IAClB,QAAQ,CAAC,QAAQ,EAAE,SAAS,GAAG,IAAI,GAAG,SAAS,SAAS,EAAE,CAAC;CAC5D,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAClE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC;AAwBlD,wBAAgB,iBAAiB,CAAC,CAAC,EAAE,SAAS,EAAE,CAAC,EAAE,SAAS,GAAG,MAAM,CAUpE;AAmCD,wBAAgB,QAAQ,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,MAAM,GAAG,OAAO,CAYxD;AAmED,wBAAgB,eAAe,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,QAAQ,GAAG,SAAS,GAAG,IAAI,CAqDhF;AAKD,wBAAgB,QAAQ,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,QAAQ,GAAG,OAAO,CAiC9F"}

package/dist/pred.js

@@ -0,0 +1,228 @@
+// The predicate grammar and its evaluator (SPEC-2 §3). Predicates are total, terminating,
+// single-delta: they see one delta at a time, never the rest of the set.
+// Resolve a possibly-parameterized primitive. Unbound holes fail loudly (E15).
+export function resolveParam(p, bindings) {
+    if (typeof p !== "object")
+        return p;
+    const bound = bindings?.get(p.name);
+    if (bound === undefined)
+        throw new Error(`unbound hole "${p.name}" (E15)`);
+    return bound;
+}
+// --- the canonical total order over primitives (ERRATA-2 E3) ------------------------------------
+const utf8 = new TextEncoder();
+function utf8Compare(a, b) {
+    const ab = utf8.encode(a);
+    const bb = utf8.encode(b);
+    const n = Math.min(ab.length, bb.length);
+    for (let i = 0; i < n; i++) {
+        const d = ab[i] - bb[i];
+        if (d !== 0)
+            return d;
+    }
+    return ab.length - bb.length;
+}
+function typeRank(v) {
+    if (typeof v === "boolean")
+        return 0;
+    if (typeof v === "number")
+        return 1;
+    return 2;
+}
+// Type rank first (bool < number < string), then value; strings by NFC UTF-8 bytes.
+export function comparePrimitives(a, b) {
+    const ra = typeRank(a);
+    const rb = typeRank(b);
+    if (ra !== rb)
+        return ra - rb;
+    if (typeof a === "boolean")
+        return (a ? 1 : 0) - (b ? 1 : 0);
+    if (typeof a === "number") {
+        const bn = b;
+        return a < bn ? -1 : a > bn ? 1 : 0;
+    }
+    return utf8Compare(a, b);
+}
+function compareWith(cmp, subject, constant) {
+    if (cmp === "inSet") {
+        const values = constant;
+        return values.some((v) => comparePrimitives(subject, v) === 0);
+    }
+    if (cmp === "prefix") {
+        return (typeof subject === "string" && typeof constant === "string" && subject.startsWith(constant));
+    }
+    const c = comparePrimitives(subject, constant);
+    switch (cmp) {
+        case "eq":
+            return c === 0;
+        case "neq":
+            return c !== 0;
+        case "lt":
+            return c < 0;
+        case "lte":
+            return c <= 0;
+        case "gt":
+            return c > 0;
+        case "gte":
+            return c >= 0;
+    }
+}
+// --- evaluation ----------------------------------------------------------------------------------
+export function strMatch(m, s) {
+    switch (m.kind) {
+        case "exact":
+            return s === m.value;
+        case "prefix":
+            return s.startsWith(m.value);
+        case "inSet":
+            return m.values.includes(s);
+        case "aliased":
+            // Every consumer expands aliased against the ambient input first (SPEC-9 §4.1).
+            throw new Error(`aliased("${m.name}") must be expanded before matching (SPEC-9)`);
+    }
+}
+function valMatch(m, v, bindings) {
+    switch (m.kind) {
+        case "vcmp":
+            // cmp "inSet" is rejected at parse time (E1) — ValMatch has its own inSet arm.
+            return compareWith(m.cmp, v, resolveParam(m.value, bindings));
+        case "between":
+            return comparePrimitives(v, m.lo) >= 0 && comparePrimitives(v, m.hi) <= 0;
+        case "inSet":
+            return m.values.some((x) => comparePrimitives(v, x) === 0);
+    }
+}
+function entityWant(m, root, bindings) {
+    if (m.kind === "const")
+        return m.id;
+    // The root variable matches nothing without an ambient root (E10).
+    if (m.kind === "root")
+        return root;
+    const bound = resolveParam(m, bindings);
+    if (typeof bound !== "string") {
+        throw new Error(`hole "${m.name}" bound to a non-string where an entity id is required (E15)`);
+    }
+    return bound;
+}
+function pointerMatches(p, ptr, root, bindings) {
+    if (p.role !== undefined && !strMatch(p.role, ptr.role))
+        return false;
+    if (p.targetEntity !== undefined) {
+        if (ptr.target.kind !== "entity")
+            return false;
+        const want = entityWant(p.targetEntity, root, bindings);
+        if (want === undefined || ptr.target.entity.id !== want)
+            return false;
+    }
+    if (p.targetDelta !== undefined) {
+        if (ptr.target.kind !== "delta" || ptr.target.deltaRef.delta !== p.targetDelta)
+            return false;
+    }
+    if (p.context !== undefined) {
+        const ctx = ptr.target.kind === "entity"
+            ? ptr.target.entity.context
+            : ptr.target.kind === "delta"
+                ? ptr.target.deltaRef.context
+                : undefined;
+        if (ctx === undefined || !strMatch(p.context, ctx))
+            return false;
+    }
+    if (p.targetIsPrimitive !== undefined) {
+        if ((ptr.target.kind === "primitive") !== p.targetIsPrimitive)
+            return false;
+    }
+    if (p.targetValue !== undefined) {
+        if (ptr.target.kind !== "primitive" || !valMatch(p.targetValue, ptr.target.value, bindings)) {
+            return false;
+        }
+    }
+    return true;
+}
+// Eagerly resolve every hole in a predicate against the ambient bindings (E15). Applied where
+// a predicate meets data (select / mask-trust), so an unbound hole errors deterministically —
+// regardless of how many deltas the operand happens to hold.
+export function substituteHoles(pred, bindings) {
+    switch (pred.kind) {
+        case "true":
+        case "false":
+            return pred;
+        case "match": {
+            const c = pred.constant;
+            if (typeof c === "object" && !Array.isArray(c)) {
+                return { ...pred, constant: resolveParam(c, bindings) };
+            }
+            return pred;
+        }
+        case "hasPointer": {
+            const p = pred.ppred;
+            let te = p.targetEntity;
+            if (te !== undefined && te.kind === "hole") {
+                const bound = resolveParam(te, bindings);
+                if (typeof bound !== "string") {
+                    throw new Error(`hole "${te.name}" bound to a non-string where an entity id is required (E15)`);
+                }
+                te = { kind: "const", id: bound };
+            }
+            let tv = p.targetValue;
+            if (tv !== undefined && tv.kind === "vcmp" && typeof tv.value === "object") {
+                tv = { ...tv, value: resolveParam(tv.value, bindings) };
+            }
+            if (te === p.targetEntity && tv === p.targetValue)
+                return pred;
+            return {
+                kind: "hasPointer",
+                ppred: {
+                    ...p,
+                    ...(te === undefined ? {} : { targetEntity: te }),
+                    ...(tv === undefined ? {} : { targetValue: tv }),
+                },
+            };
+        }
+        case "and":
+            return {
+                kind: "and",
+                left: substituteHoles(pred.left, bindings),
+                right: substituteHoles(pred.right, bindings),
+            };
+        case "or":
+            return {
+                kind: "or",
+                left: substituteHoles(pred.left, bindings),
+                right: substituteHoles(pred.right, bindings),
+            };
+        case "not":
+            return { kind: "not", pred: substituteHoles(pred.pred, bindings) };
+    }
+}
+// Total and terminating: O(|delta|) per evaluation, no data dereference (SPEC-2 §3).
+// `root` is the ambient root entity, consulted only by the root variable (E10). Holes are
+// substituted away before predicates meet data; a stray hole here means "unbound" (E15).
+export function evalPred(pred, delta, root, bindings) {
+    switch (pred.kind) {
+        case "true":
+            return true;
+        case "false":
+            return false;
+        case "match": {
+            const subject = pred.field === "author"
+                ? delta.claims.author
+                : pred.field === "timestamp"
+                    ? delta.claims.timestamp
+                    : delta.id;
+            const c = pred.constant;
+            const constant = typeof c === "object" && !Array.isArray(c)
+                ? resolveParam(c, bindings)
+                : c;
+            return compareWith(pred.cmp, subject, constant);
+        }
+        case "hasPointer":
+            return delta.claims.pointers.some((ptr) => pointerMatches(pred.ppred, ptr, root, bindings));
+        case "and":
+            return (evalPred(pred.left, delta, root, bindings) && evalPred(pred.right, delta, root, bindings));
+        case "or":
+            return (evalPred(pred.left, delta, root, bindings) || evalPred(pred.right, delta, root, bindings));
+        case "not":
+            return !evalPred(pred.pred, delta, root, bindings);
+    }
+}
+//# sourceMappingURL=pred.js.map

package/dist/pred.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"pred.js","sourceRoot":"","sources":["../src/pred.ts"],"names":[],"mappings":"AAAA,0FAA0F;AAC1F,yEAAyE;AAczE,+EAA+E;AAC/E,MAAM,UAAU,YAAY,CAAC,CAAmB,EAAE,QAA8B;IAC9E,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,MAAM,KAAK,GAAG,QAAQ,EAAE,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;IACpC,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,KAAK,CAAC,iBAAiB,CAAC,CAAC,IAAI,SAAS,CAAC,CAAC;IAC3E,OAAO,KAAK,CAAC;AACf,CAAC;AAgDD,mGAAmG;AAEnG,MAAM,IAAI,GAAG,IAAI,WAAW,EAAE,CAAC;AAE/B,SAAS,WAAW,CAAC,CAAS,EAAE,CAAS;IACvC,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,EAAE,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;IAC1B,MAAM,CAAC,GAAG,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,CAAC,CAAC;IACzC,KAAK,IAAI,CAAC,GAAG,CAAC,EAAE,CAAC,GAAG,CAAC,EAAE,CAAC,EAAE,EAAE,CAAC;QAC3B,MAAM,CAAC,GAAG,EAAE,CAAC,CAAC,CAAE,GAAG,EAAE,CAAC,CAAC,CAAE,CAAC;QAC1B,IAAI,CAAC,KAAK,CAAC;YAAE,OAAO,CAAC,CAAC;IACxB,CAAC;IACD,OAAO,EAAE,CAAC,MAAM,GAAG,EAAE,CAAC,MAAM,CAAC;AAC/B,CAAC;AAED,SAAS,QAAQ,CAAC,CAAY;IAC5B,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC;IACrC,IAAI,OAAO,CAAC,KAAK,QAAQ;QAAE,OAAO,CAAC,CAAC;IACpC,OAAO,CAAC,CAAC;AACX,CAAC;AAED,oFAAoF;AACpF,MAAM,UAAU,iBAAiB,CAAC,CAAY,EAAE,CAAY;IAC1D,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,MAAM,EAAE,GAAG,QAAQ,CAAC,CAAC,CAAC,CAAC;IACvB,IAAI,EAAE,KAAK,EAAE;QAAE,OAAO,EAAE,GAAG,EAAE,CAAC;IAC9B,IAAI,OAAO,CAAC,KAAK,SAAS;QAAE,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAE,CAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC1E,IAAI,OAAO,CAAC,KAAK,QAAQ,EAAE,CAAC;QAC1B,MAAM,EAAE,GAAG,CAAW,CAAC;QACvB,OAAO,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IACtC,CAAC;IACD,OAAO,WAAW,CAAC,CAAC,EAAE,CAAW,CAAC,CAAC;AACrC,CAAC;AAED,SAAS,WAAW,CAClB,GAAQ,EACR,OAAkB,EAClB,QAA0C;IAE1C,IAAI,GAAG,KAAK,OAAO,EAAE,CAAC;QACpB,MAAM,MAAM,GAAG,QAAgC,CAAC;QAChD,OAAO,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,OAAO,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IACjE,CAAC;IACD,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;QACrB,OAAO,CACL,OAAO,OAAO,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,QAAQ,IAAI,OAAO,CAAC,UAAU,CAAC,QAAQ,CAAC,CAC5F,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,GAAG,iBAAiB,CAAC,OAAO,EAAE,QAAqB,CAAC,CAAC;IAC5D,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,IAAI;YACP,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,KAAK;YACR,OAAO,CAAC,KAAK,CAAC,CAAC;QACjB,KAAK,IAAI;YACP,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,KAAK;YACR,OAAO,CAAC,IAAI,CAAC,CAAC;QAChB,KAAK,IAAI;YACP,OAAO,CAAC,GAAG,CAAC,CAAC;QACf,KAAK,KAAK;YACR,OAAO,CAAC,IAAI,CAAC,CAAC;IAClB,CAAC;AACH,CAAC;AAED,oGAAoG;AAEpG,MAAM,UAAU,QAAQ,CAAC,CAAW,EAAE,CAAS;IAC7C,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,OAAO;YACV,OAAO,CAAC,KAAK,CAAC,CAAC,KAAK,CAAC;QACvB,KAAK,QAAQ;YACX,OAAO,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC;QAC/B,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC;QAC9B,KAAK,SAAS;YACZ,gFAAgF;YAChF,MAAM,IAAI,KAAK,CAAC,YAAY,CAAC,CAAC,IAAI,8CAA8C,CAAC,CAAC;IACtF,CAAC;AACH,CAAC;AAED,SAAS,QAAQ,CAAC,CAAW,EAAE,CAAY,EAAE,QAA8B;IACzE,QAAQ,CAAC,CAAC,IAAI,EAAE,CAAC;QACf,KAAK,MAAM;YACT,+EAA+E;YAC/E,OAAO,WAAW,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,EAAE,YAAY,CAAC,CAAC,CAAC,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC;QAChE,KAAK,SAAS;YACZ,OAAO,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,IAAI,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;QAC5E,KAAK,OAAO;YACV,OAAO,CAAC,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC,EAAE,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC;IAC/D,CAAC;AACH,CAAC;AAED,SAAS,UAAU,CACjB,CAAc,EACd,IAAwB,EACxB,QAA8B;IAE9B,IAAI,CAAC,CAAC,IAAI,KAAK,OAAO;QAAE,OAAO,CAAC,CAAC,EAAE,CAAC;IACpC,mEAAmE;IACnE,IAAI,CAAC,CAAC,IAAI,KAAK,MAAM;QAAE,OAAO,IAAI,CAAC;IACnC,MAAM,KAAK,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;IACxC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,KAAK,CAAC,SAAS,CAAC,CAAC,IAAI,8DAA8D,CAAC,CAAC;IACjG,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC;AAED,SAAS,cAAc,CACrB,CAAQ,EACR,GAAY,EACZ,IAAwB,EACxB,QAA8B;IAE9B,IAAI,CAAC,CAAC,IAAI,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,IAAI,EAAE,GAAG,CAAC,IAAI,CAAC;QAAE,OAAO,KAAK,CAAC;IACtE,IAAI,CAAC,CAAC,YAAY,KAAK,SAAS,EAAE,CAAC;QACjC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;QAC/C,MAAM,IAAI,GAAG,UAAU,CAAC,CAAC,CAAC,YAAY,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QACxD,IAAI,IAAI,KAAK,SAAS,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;IACxE,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO,IAAI,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,KAAK,CAAC,CAAC,WAAW;YAAE,OAAO,KAAK,CAAC;IAC/F,CAAC;IACD,IAAI,CAAC,CAAC,OAAO,KAAK,SAAS,EAAE,CAAC;QAC5B,MAAM,GAAG,GACP,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,QAAQ;YAC1B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO;YAC3B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,OAAO;gBAC3B,CAAC,CAAC,GAAG,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO;gBAC7B,CAAC,CAAC,SAAS,CAAC;QAClB,IAAI,GAAG,KAAK,SAAS,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,EAAE,GAAG,CAAC;YAAE,OAAO,KAAK,CAAC;IACnE,CAAC;IACD,IAAI,CAAC,CAAC,iBAAiB,KAAK,SAAS,EAAE,CAAC;QACtC,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,CAAC,KAAK,CAAC,CAAC,iBAAiB;YAAE,OAAO,KAAK,CAAC;IAC9E,CAAC;IACD,IAAI,CAAC,CAAC,WAAW,KAAK,SAAS,EAAE,CAAC;QAChC,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,KAAK,WAAW,IAAI,CAAC,QAAQ,CAAC,CAAC,CAAC,WAAW,EAAE,GAAG,CAAC,MAAM,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC5F,OAAO,KAAK,CAAC;QACf,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,8FAA8F;AAC9F,8FAA8F;AAC9F,6DAA6D;AAC7D,MAAM,UAAU,eAAe,CAAC,IAAU,EAAE,QAA8B;IACxE,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM,CAAC;QACZ,KAAK,OAAO;YACV,OAAO,IAAI,CAAC;QACd,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;YACxB,IAAI,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC;gBAC/C,OAAO,EAAE,GAAG,IAAI,EAAE,QAAQ,EAAE,YAAY,CAAC,CAAS,EAAE,QAAQ,CAAC,EAAE,CAAC;YAClE,CAAC;YACD,OAAO,IAAI,CAAC;QACd,CAAC;QACD,KAAK,YAAY,CAAC,CAAC,CAAC;YAClB,MAAM,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;YACrB,IAAI,EAAE,GAAG,CAAC,CAAC,YAAY,CAAC;YACxB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC3C,MAAM,KAAK,GAAG,YAAY,CAAC,EAAE,EAAE,QAAQ,CAAC,CAAC;gBACzC,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;oBAC9B,MAAM,IAAI,KAAK,CACb,SAAS,EAAE,CAAC,IAAI,8DAA8D,CAC/E,CAAC;gBACJ,CAAC;gBACD,EAAE,GAAG,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,CAAC;YACpC,CAAC;YACD,IAAI,EAAE,GAAG,CAAC,CAAC,WAAW,CAAC;YACvB,IAAI,EAAE,KAAK,SAAS,IAAI,EAAE,CAAC,IAAI,KAAK,MAAM,IAAI,OAAO,EAAE,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC3E,EAAE,GAAG,EAAE,GAAG,EAAE,EAAE,KAAK,EAAE,YAAY,CAAC,EAAE,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YAC1D,CAAC;YACD,IAAI,EAAE,KAAK,CAAC,CAAC,YAAY,IAAI,EAAE,KAAK,CAAC,CAAC,WAAW;gBAAE,OAAO,IAAI,CAAC;YAC/D,OAAO;gBACL,IAAI,EAAE,YAAY;gBAClB,KAAK,EAAE;oBACL,GAAG,CAAC;oBACJ,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,YAAY,EAAE,EAAE,EAAE,CAAC;oBACjD,GAAG,CAAC,EAAE,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,WAAW,EAAE,EAAE,EAAE,CAAC;iBACjD;aACF,CAAC;QACJ,CAAC;QACD,KAAK,KAAK;YACR,OAAO;gBACL,IAAI,EAAE,KAAK;gBACX,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAC1C,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC;aAC7C,CAAC;QACJ,KAAK,IAAI;YACP,OAAO;gBACL,IAAI,EAAE,IAAI;gBACV,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC;gBAC1C,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,EAAE,QAAQ,CAAC;aAC7C,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,eAAe,CAAC,IAAI,CAAC,IAAI,EAAE,QAAQ,CAAC,EAAE,CAAC;IACvE,CAAC;AACH,CAAC;AAED,qFAAqF;AACrF,0FAA0F;AAC1F,yFAAyF;AACzF,MAAM,UAAU,QAAQ,CAAC,IAAU,EAAE,KAAY,EAAE,IAAa,EAAE,QAAmB;IACnF,QAAQ,IAAI,CAAC,IAAI,EAAE,CAAC;QAClB,KAAK,MAAM;YACT,OAAO,IAAI,CAAC;QACd,KAAK,OAAO;YACV,OAAO,KAAK,CAAC;QACf,KAAK,OAAO,CAAC,CAAC,CAAC;YACb,MAAM,OAAO,GACX,IAAI,CAAC,KAAK,KAAK,QAAQ;gBACrB,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM;gBACrB,CAAC,CAAC,IAAI,CAAC,KAAK,KAAK,WAAW;oBAC1B,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,SAAS;oBACxB,CAAC,CAAC,KAAK,CAAC,EAAE,CAAC;YACjB,MAAM,CAAC,GAAG,IAAI,CAAC,QAAQ,CAAC;YACxB,MAAM,QAAQ,GACZ,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC;gBACxC,CAAC,CAAC,YAAY,CAAC,CAAS,EAAE,QAAQ,CAAC;gBACnC,CAAC,CAAE,CAAsC,CAAC;YAC9C,OAAO,WAAW,CAAC,IAAI,CAAC,GAAG,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAC;QAClD,CAAC;QACD,KAAK,YAAY;YACf,OAAO,KAAK,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,CAAC,KAAK,EAAE,GAAG,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC,CAAC;QAC9F,KAAK,KAAK;YACR,OAAO,CACL,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAC1F,CAAC;QACJ,KAAK,IAAI;YACP,OAAO,CACL,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,IAAI,QAAQ,CAAC,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAC1F,CAAC;QACJ,KAAK,KAAK;YACR,OAAO,CAAC,QAAQ,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;IACvD,CAAC;AACH,CAAC"}

package/dist/reactor.d.ts

@@ -0,0 +1,67 @@
+import { type EvalResult, type Term } from "./eval.js";
+import { type HView } from "./hview.js";
+import { type ValMatch } from "./pred.js";
+import type { SchemaRegistry } from "./schema.js";
+import { DeltaSet } from "./set.js";
+import type { Delta, Primitive } from "./types.js";
+export interface MaterializationChange {
+    readonly materialization: string;
+    readonly root: string;
+    readonly changedProps: readonly string[];
+    readonly responsibleDeltaIds: readonly string[];
+    readonly newHex: string;
+}
+export type IngestResult = {
+    readonly status: "accepted";
+} | {
+    readonly status: "duplicate";
+} | {
+    readonly status: "rejected";
+    readonly reason: string;
+};
+export declare class Reactor {
+    private readonly log;
+    private readonly set;
+    private readonly targetIndex;
+    private readonly negationIndex;
+    private readonly materializations;
+    private readonly valueIndex;
+    ingest(delta: Delta): IngestResult;
+    private index;
+    byTarget(entityId: string): string[];
+    negationsOf(deltaId: string): string[];
+    byValue(role: string, match: (v: Primitive) => boolean): string[];
+    byValueBetween(role: string, lo: Primitive, hi: Primitive): string[];
+    get size(): number;
+    has(id: string): boolean;
+    get(id: string): Delta | undefined;
+    arrivalLog(): readonly Delta[];
+    digest(): string;
+    snapshot(): DeltaSet;
+    eval(term: Term, root?: string, registry?: SchemaRegistry): EvalResult;
+    private lastChanges;
+    register(name: string, term: Term, roots: readonly string[], registry?: SchemaRegistry): void;
+    materializedHex(name: string, root: string): string | undefined;
+    materializedView(name: string, root: string): HView | undefined;
+    evalCountOf(name: string): number;
+    changesFromLastIngest(): readonly MaterializationChange[];
+    private refresh;
+    private dispatchAndUpdate;
+    private affects;
+    private targetsSupport;
+    private chainTouchesSupport;
+    private readonly rawSubscribers;
+    private readonly matSubscribers;
+    subscribeRaw(cb: (delta: Delta) => void): void;
+    subscribe(materialization: string, cb: (change: MaterializationChange) => void): void;
+    ingestBundle(manifest: Delta, members: readonly Delta[]): IngestResult;
+    holdsAllMembers(manifestId: string): boolean;
+}
+export declare function makeManifestClaims(author: string, timestamp: number, memberIds: readonly string[], options?: {
+    readonly prior?: string;
+    readonly intent?: string;
+}): import("./types.js").Claims;
+export declare function manifestMemberIds(manifest: Delta): string[];
+export declare function isRootAnchored(term: Term, registry: SchemaRegistry | undefined): boolean;
+export type { ValMatch };
+//# sourceMappingURL=reactor.d.ts.map

package/dist/reactor.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"reactor.d.ts","sourceRoot":"","sources":["../src/reactor.ts"],"names":[],"mappings":"AAIA,OAAO,EAAY,KAAK,UAAU,EAAE,KAAK,IAAI,EAAE,MAAM,WAAW,CAAC;AAGjE,OAAO,EAAoC,KAAK,KAAK,EAAE,MAAM,YAAY,CAAC;AAE1E,OAAO,EAAgC,KAAK,QAAQ,EAAE,MAAM,WAAW,CAAC;AAExE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAClD,OAAO,EAAE,QAAQ,EAAE,MAAM,UAAU,CAAC;AAGpC,OAAO,KAAK,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAC;AAInD,MAAM,WAAW,qBAAqB;IACpC,QAAQ,CAAC,eAAe,EAAE,MAAM,CAAC;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,YAAY,EAAE,SAAS,MAAM,EAAE,CAAC;IACzC,QAAQ,CAAC,mBAAmB,EAAE,SAAS,MAAM,EAAE,CAAC;IAChD,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;CACzB;AAeD,MAAM,MAAM,YAAY,GACpB;IAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAA;CAAE,GAC/B;IAAE,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;CAAE,GAChC;IAAE,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAE7D,qBAAa,OAAO;IAElB,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAe;IACnC,OAAO,CAAC,QAAQ,CAAC,GAAG,CAAkB;IAEtC,OAAO,CAAC,QAAQ,CAAC,WAAW,CAAkC;IAE9D,OAAO,CAAC,QAAQ,CAAC,aAAa,CAAkC;IAChE,OAAO,CAAC,QAAQ,CAAC,gBAAgB,CAAsC;IAEvE,OAAO,CAAC,QAAQ,CAAC,UAAU,CAGvB;IAGJ,MAAM,CAAC,KAAK,EAAE,KAAK,GAAG,YAAY;IAkBlC,OAAO,CAAC,KAAK;IA8Cb,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,MAAM,EAAE;IAIpC,WAAW,CAAC,OAAO,EAAE,MAAM,GAAG,MAAM,EAAE;IAKtC,OAAO,CAAC,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,CAAC,EAAE,SAAS,KAAK,OAAO,GAAG,MAAM,EAAE;IAUjE,cAAc,CAAC,IAAI,EAAE,MAAM,EAAE,EAAE,EAAE,SAAS,EAAE,EAAE,EAAE,SAAS,GAAG,MAAM,EAAE;IASpE,IAAI,IAAI,IAAI,MAAM,CAEjB;IAED,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,OAAO;IAIxB,GAAG,CAAC,EAAE,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAKlC,UAAU,IAAI,SAAS,KAAK,EAAE;IAI9B,MAAM,IAAI,MAAM;IAIhB,QAAQ,IAAI,QAAQ;IAMpB,IAAI,CAAC,IAAI,EAAE,IAAI,EAAE,IAAI,CAAC,EAAE,MAAM,EAAE,QAAQ,CAAC,EAAE,cAAc,GAAG,UAAU;IAMtE,OAAO,CAAC,WAAW,CAA+B;IAIlD,QAAQ,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,MAAM,EAAE,EAAE,QAAQ,CAAC,EAAE,cAAc,GAAG,IAAI;IAkB7F,eAAe,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,MAAM,GAAG,SAAS;IAI/D,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,KAAK,GAAG,SAAS;IAI/D,WAAW,CAAC,IAAI,EAAE,MAAM,GAAG,MAAM;IAIjC,qBAAqB,IAAI,SAAS,qBAAqB,EAAE;IAIzD,OAAO,CAAC,OAAO;IAoBf,OAAO,CAAC,iBAAiB;IAwBzB,OAAO,CAAC,OAAO;IAYf,OAAO,CAAC,cAAc;IAMtB,OAAO,CAAC,mBAAmB;IAc3B,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAiC;IAChE,OAAO,CAAC,QAAQ,CAAC,cAAc,CAAgE;IAG/F,YAAY,CAAC,EAAE,EAAE,CAAC,KAAK,EAAE,KAAK,KAAK,IAAI,GAAG,IAAI;IAK9C,SAAS,CAAC,eAAe,EAAE,MAAM,EAAE,EAAE,EAAE,CAAC,MAAM,EAAE,qBAAqB,KAAK,IAAI,GAAG,IAAI;IAWrF,YAAY,CAAC,QAAQ,EAAE,KAAK,EAAE,OAAO,EAAE,SAAS,KAAK,EAAE,GAAG,YAAY;IAoCtE,eAAe,CAAC,UAAU,EAAE,MAAM,GAAG,OAAO;CAK7C;AAID,wBAAgB,kBAAkB,CAChC,MAAM,EAAE,MAAM,EACd,SAAS,EAAE,MAAM,EACjB,SAAS,EAAE,SAAS,MAAM,EAAE,EAC5B,OAAO,CAAC,EAAE;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAA;CAAE,GAC9D,OAAO,YAAY,EAAE,MAAM,CAkB7B;AAED,wBAAgB,iBAAiB,CAAC,QAAQ,EAAE,KAAK,GAAG,MAAM,EAAE,CAI3D;AA6ED,wBAAgB,cAAc,CAAC,IAAI,EAAE,IAAI,EAAE,QAAQ,EAAE,cAAc,GAAG,SAAS,GAAG,OAAO,CAexF;AAGD,YAAY,EAAE,QAAQ,EAAE,CAAC"}