ramosedb 0.0.1 → 0.4.0

package/dist/db/Tx.js

@@ -0,0 +1,248 @@
+import * as Effect from "effect/Effect";
+import { markEngineTypeAssertion } from "../internal/core/tx-provenance.js";
+import { lowerAttr } from "./attrRef.js";
+import { composerIdent } from "./compose.js";
+import { asLookupRef, lowerEntityArg, lowerWriteValue, tempid } from "./entityArg.js";
+import { TxRejected } from "./Errors.js";
+export const TX_INTERNALS = Symbol.for("ramose.tx.internals");
+const internalsOf = (tx) => {
+    const inner = tx[TX_INTERNALS];
+    if (inner === undefined) {
+        throw new Error("ramose: tx internals are not available");
+    }
+    return inner;
+};
+export const txOps = (tx) => internalsOf(tx).ops();
+export const txSchema = (tx) => internalsOf(tx).schema;
+export const isTxHandle = (e) => typeof e === "object" &&
+    e !== null &&
+    e._tag === "TxHandle";
+const fieldMeta = (entity, key) => {
+    if (typeof entity !== "object" || entity === null || !("fields" in entity)) {
+        return undefined;
+    }
+    const fields = entity.fields;
+    return fields?.[key];
+};
+const isCardManyScalarField = (entity, key) => {
+    const field = fieldMeta(entity, key);
+    return field?.cardinality === "many" && field?.valueType !== "ref";
+};
+const isCardManyWrite = (entity, key, value) => {
+    const field = fieldMeta(entity, key);
+    if (field?.cardinality !== "many" || !Array.isArray(value))
+        return false;
+    return field.valueType !== "ref" || asLookupRef(value) === undefined;
+};
+const resolveEntity = (e) => lowerEntityArg(e);
+const fieldIdent = (entity, key) => {
+    if (typeof entity === "object" && entity !== null && "fields" in entity) {
+        const fields = entity
+            .fields;
+        const ident = fields?.[key]?.ident;
+        if (typeof ident === "string")
+            return ident;
+    }
+    const ns = typeof entity === "object" &&
+        entity !== null &&
+        "ns" in entity &&
+        typeof entity.ns === "string"
+        ? entity.ns
+        : "";
+    return ns.length > 0 ? `:${ns}/${key}` : key;
+};
+const lowerPut = (entity, eid, attrs) => {
+    const map = { ":db/id": eid };
+    const ns = typeof entity === "object" &&
+        entity !== null &&
+        "ns" in entity &&
+        typeof entity.ns === "string"
+        ? entity.ns
+        : "";
+    if (ns.length > 0) {
+        map[":ramose/type"] = composerIdent(ns);
+        markEngineTypeAssertion(map);
+    }
+    const extras = [];
+    for (const [key, value] of Object.entries(attrs)) {
+        if (value === undefined)
+            continue;
+        const ident = fieldIdent(entity, key);
+        if (isCardManyScalarField(entity, key) && Array.isArray(value)) {
+            for (const item of value) {
+                const lowered = lowerWriteValue(item);
+                if (lowered === undefined)
+                    continue;
+                extras.push([":db/add", eid, ident, lowered]);
+            }
+            continue;
+        }
+        const lowered = lowerWriteValue(value);
+        if (lowered === undefined)
+            continue;
+        map[ident] = lowered;
+    }
+    return { map, extras };
+};
+const upsertIdents = (entity, attrs) => {
+    if (typeof entity !== "object" || entity === null || !("fields" in entity)) {
+        return [];
+    }
+    const fields = entity.fields;
+    if (fields === undefined)
+        return [];
+    const out = [];
+    for (const [key, value] of Object.entries(attrs)) {
+        if (value === undefined)
+            continue;
+        const field = fields[key];
+        if (field?.unique !== "upsert")
+            continue;
+        const ident = typeof field.ident === "string" ? field.ident : fieldIdent(entity, key);
+        const lowered = lowerWriteValue(value);
+        if (lowered === undefined)
+            continue;
+        out.push([ident, lowered]);
+    }
+    return out;
+};
+const lowerUpdate = (entity, eid, attrs) => {
+    const ops = [];
+    for (const [key, value] of Object.entries(attrs)) {
+        if (value === undefined)
+            continue;
+        const ident = fieldIdent(entity, key);
+        if (isCardManyWrite(entity, key, value)) {
+            for (const item of value) {
+                const lowered = lowerWriteValue(item);
+                if (lowered === undefined)
+                    continue;
+                ops.push([":db/update", eid, ident, lowered]);
+            }
+            continue;
+        }
+        const lowered = lowerWriteValue(value);
+        if (lowered === undefined)
+            continue;
+        ops.push([":db/update", eid, ident, lowered]);
+    }
+    return ops;
+};
+const makeHandle = (eid, ops) => ({
+    _tag: "TxHandle",
+    eid,
+    set: (field, value) => Effect.sync(() => {
+        ops.push([":db/add", eid, lowerAttr(field), lowerWriteValue(value)]);
+    }),
+    remove: (field, value) => Effect.sync(() => {
+        if (value === undefined) {
+            ops.push([":db/retract", eid, lowerAttr(field)]);
+        }
+        else {
+            ops.push([":db/retract", eid, lowerAttr(field), lowerWriteValue(value)]);
+        }
+    }),
+    delete: Effect.sync(() => {
+        ops.push([":db/retractEntity", eid]);
+    }),
+});
+export const txBuilder = (schema) => {
+    const ops = [];
+    let next = 0;
+    const builder = {
+        entity: ((id) => Effect.sync(() => {
+            const resolved = id === undefined
+                ? `tmp-${++next}`
+                : resolveEntity(id);
+            return makeHandle(resolved, ops);
+        })),
+        tempid,
+        set: (e, field, value) => Effect.sync(() => {
+            ops.push([
+                ":db/add",
+                resolveEntity(e),
+                lowerAttr(field),
+                lowerWriteValue(value),
+            ]);
+        }),
+        remove: (e, field, value) => Effect.sync(() => {
+            if (value === undefined) {
+                ops.push([":db/retract", resolveEntity(e), lowerAttr(field)]);
+            }
+            else {
+                ops.push([
+                    ":db/retract",
+                    resolveEntity(e),
+                    lowerAttr(field),
+                    lowerWriteValue(value),
+                ]);
+            }
+        }),
+        delete: (e) => Effect.sync(() => {
+            ops.push([":db/retractEntity", resolveEntity(e)]);
+        }),
+        put: ((entity, a, b) => Effect.sync(() => {
+            const attrs = (b !== undefined ? b : a);
+            const id = b !== undefined ? a : undefined;
+            const eid = id === undefined
+                ? `tmp-${++next}`
+                : resolveEntity(id);
+            const { map, extras } = lowerPut(entity, eid, attrs ?? {});
+            ops.push(map);
+            ops.push(...extras);
+            return makeHandle(eid, ops);
+        })),
+        update: ((entity, a, b) => Effect.sync(() => {
+            const attrs = ((b !== undefined ? b : a) ?? {});
+            const id = b !== undefined ? a : undefined;
+            let eid;
+            if (id !== undefined) {
+                eid = resolveEntity(id);
+            }
+            else {
+                const lookups = upsertIdents(entity, attrs);
+                if (lookups.length === 0) {
+                    throw new TxRejected({
+                        message: 'update map form needs a unique: "upsert" field',
+                        code: "tx/invalid",
+                    });
+                }
+                eid = lookups[0];
+            }
+            const written = lowerUpdate(entity, eid, attrs);
+            if (id === undefined) {
+                const lookups = upsertIdents(entity, attrs);
+                const ping = lookups[0];
+                const rest = written.filter((op) => !(ping !== undefined &&
+                    op[2] === ping[0] &&
+                    Object.is(op[3], ping[1])));
+                if (rest.length === 0 && ping !== undefined) {
+                    ops.push([":db/update", eid, ping[0], ping[1]]);
+                }
+                else {
+                    ops.push(...rest);
+                }
+            }
+            else if (written.length === 0) {
+                const ping = upsertIdents(entity, attrs)[0] ?? asLookupRef(eid);
+                if (ping !== undefined) {
+                    ops.push([":db/update", eid, ping[0], ping[1]]);
+                }
+                else {
+                    ops.push([":db/update", eid]);
+                }
+            }
+            else {
+                ops.push(...written);
+            }
+            return makeHandle(eid, ops);
+        })),
+    };
+    builder[TX_INTERNALS] =
+        {
+            schema,
+            ops: () => ops.slice(),
+        };
+    return builder;
+};
+//# sourceMappingURL=Tx.js.map

package/dist/db/Tx.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Tx.js","sourceRoot":"","sources":["../../src/db/Tx.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,uBAAuB,EAAE,MAAM,mCAAmC,CAAC;AAC5E,OAAO,EAAE,SAAS,EAAE,MAAM,cAAc,CAAC;AACzC,OAAO,EAAE,aAAa,EAAE,MAAM,cAAc,CAAC;AAC7C,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,eAAe,EAAE,MAAM,EAAe,MAAM,gBAAgB,CAAC;AAInG,OAAO,EAAE,UAAU,EAAE,MAAM,aAAa,CAAC;AAwMzC,MAAM,CAAC,MAAM,YAAY,GAAkB,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAC;AAO7E,MAAM,WAAW,GAAG,CAAC,EAAU,EAAe,EAAE;IAC9C,MAAM,KAAK,GAAI,EAA8C,CAAC,YAAY,CAAC,CAAC;IAC5E,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;IAC5D,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,KAAK,GAAG,CAAC,EAAU,EAAmB,EAAE,CAAC,WAAW,CAAC,EAAE,CAAC,CAAC,GAAG,EAAE,CAAC;AAE5E,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAsB,EAAS,EAAK,EAAE,CAC5D,WAAW,CAAC,EAAE,CAAC,CAAC,MAAW,CAAC;AAwE9B,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,CAAU,EAAiB,EAAE,CACtD,OAAO,CAAC,KAAK,QAAQ;IACrB,CAAC,KAAK,IAAI;IACT,CAAwB,CAAC,IAAI,KAAK,UAAU,CAAC;AAEhD,MAAM,SAAS,GAAG,CAChB,MAAe,EACf,GAAW,EACmE,EAAE;IAChF,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC;QAC3E,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GACV,MAMD,CAAC,MAAM,CAAC;IACT,OAAO,MAAM,EAAE,CAAC,GAAG,CAAC,CAAC;AACvB,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,MAAe,EAAE,GAAW,EAAW,EAAE;IACtE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACrC,OAAO,KAAK,EAAE,WAAW,KAAK,MAAM,IAAI,KAAK,EAAE,SAAS,KAAK,KAAK,CAAC;AACrE,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAe,EAAE,GAAW,EAAE,KAAc,EAAW,EAAE;IAChF,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACrC,IAAI,KAAK,EAAE,WAAW,KAAK,MAAM,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,CAAC;IACzE,OAAO,KAAK,CAAC,SAAS,KAAK,KAAK,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,SAAS,CAAC;AACvE,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,CAAU,EAAW,EAAE,CAAC,cAAc,CAAC,CAAC,CAAC,CAAC;AAEjE,MAAM,UAAU,GAAG,CAAC,MAAe,EAAE,GAAW,EAAU,EAAE;IAC1D,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,QAAQ,IAAI,MAAM,EAAE,CAAC;QACxE,MAAM,MAAM,GAAI,MAA2D;aACxE,MAAM,CAAC;QACV,MAAM,KAAK,GAAG,MAAM,EAAE,CAAC,GAAG,CAAC,EAAE,KAAK,CAAC;QACnC,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,OAAO,KAAK,CAAC;IAC9C,CAAC;IACD,MAAM,EAAE,GACN,OAAO,MAAM,KAAK,QAAQ;QAC1B,MAAM,KAAK,IAAI;QACf,IAAI,IAAI,MAAM;QACd,OAAQ,MAA0B,CAAC,EAAE,KAAK,QAAQ;QAChD,CAAC,CAAE,MAAyB,CAAC,EAAE;QAC/B,CAAC,CAAC,EAAE,CAAC;IACT,OAAO,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,IAAI,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,MAAe,EACf,GAAY,EACZ,KAA8B,EACoB,EAAE;IACpD,MAAM,GAAG,GAA4B,EAAE,QAAQ,EAAE,GAAG,EAAE,CAAC;IACvD,MAAM,EAAE,GACN,OAAO,MAAM,KAAK,QAAQ;QAC1B,MAAM,KAAK,IAAI;QACf,IAAI,IAAI,MAAM;QACd,OAAQ,MAA0B,CAAC,EAAE,KAAK,QAAQ;QAChD,CAAC,CAAE,MAAyB,CAAC,EAAE;QAC/B,CAAC,CAAC,EAAE,CAAC;IACT,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAClB,GAAG,CAAC,cAAc,CAAC,GAAG,aAAa,CAAC,EAAE,CAAC,CAAC;QACxC,uBAAuB,CAAC,GAAG,CAAC,CAAC;IAC/B,CAAC;IACD,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtC,IAAI,qBAAqB,CAAC,MAAM,EAAE,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC/D,KAAK,MAAM,IAAI,IAAI,KAAK,EAAE,CAAC;gBACzB,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,OAAO,KAAK,SAAS;oBAAE,SAAS;gBACpC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;YAChD,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,GAAG,CAAC,KAAK,CAAC,GAAG,OAAO,CAAC;IACvB,CAAC;IACD,OAAO,EAAE,GAAG,EAAE,MAAM,EAAE,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CACnB,MAAe,EACf,KAA8B,EACA,EAAE;IAChC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,CAAC,CAAC,QAAQ,IAAI,MAAM,CAAC,EAAE,CAAC;QAC3E,OAAO,EAAE,CAAC;IACZ,CAAC;IACD,MAAM,MAAM,GACV,MAMD,CAAC,MAAM,CAAC;IACT,IAAI,MAAM,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACpC,MAAM,GAAG,GAAwB,EAAE,CAAC;IACpC,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QAC1B,IAAI,KAAK,EAAE,MAAM,KAAK,QAAQ;YAAE,SAAS;QACzC,MAAM,KAAK,GAAG,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtF,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAC7B,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,MAAe,EACf,GAAY,EACZ,KAA8B,EACtB,EAAE;IACV,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACjD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QAClC,MAAM,KAAK,GAAG,UAAU,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;QACtC,IAAI,eAAe,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,EAAE,CAAC;YACxC,KAAK,MAAM,IAAI,IAAI,KAA2B,EAAE,CAAC;gBAC/C,MAAM,OAAO,GAAG,eAAe,CAAC,IAAI,CAAC,CAAC;gBACtC,IAAI,OAAO,KAAK,SAAS;oBAAE,SAAS;gBACpC,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;YAChD,CAAC;YACD,SAAS;QACX,CAAC;QACD,MAAM,OAAO,GAAG,eAAe,CAAC,KAAK,CAAC,CAAC;QACvC,IAAI,OAAO,KAAK,SAAS;YAAE,SAAS;QACpC,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IAChD,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,GAAwC,EACxC,GAAW,EACE,EAAE,CAAC,CAAC;IACjB,IAAI,EAAE,UAAU;IAChB,GAAG;IACH,GAAG,EAAE,CAAC,KAAc,EAAE,KAAc,EAAE,EAAE,CACtC,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,GAAG,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACvE,CAAC,CAAC;IACJ,MAAM,EAAE,CAAC,KAAc,EAAE,KAAe,EAAE,EAAE,CAC1C,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACf,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,GAAG,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QACnD,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,GAAG,EAAE,SAAS,CAAC,KAAK,CAAC,EAAE,eAAe,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC,CAAC;IACJ,MAAM,EAAE,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;QACvB,GAAG,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,GAAG,CAAC,CAAC,CAAC;IACvC,CAAC,CAAC;CACH,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,SAAS,GAAG,CAAsB,MAAS,EAAS,EAAE;IACjE,MAAM,GAAG,GAAW,EAAE,CAAC;IACvB,IAAI,IAAI,GAAG,CAAC,CAAC;IACb,MAAM,OAAO,GAAU;QACrB,MAAM,EAAE,CAAC,CAAC,EAAgB,EAAE,EAAE,CAC5B,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,QAAQ,GACZ,EAAE,KAAK,SAAS;gBACd,CAAC,CAAE,OAAO,EAAE,IAAI,EAAa;gBAC7B,CAAC,CAAE,aAAa,CAAC,EAAE,CAAyC,CAAC;YACjE,OAAO,UAAU,CAAC,QAAQ,EAAE,GAAG,CAAC,CAAC;QACnC,CAAC,CAAC,CAAoB;QACxB,MAAM;QACN,GAAG,EAAE,CAAC,CAAU,EAAE,KAAc,EAAE,KAAc,EAAE,EAAE,CAClD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,GAAG,CAAC,IAAI,CAAC;gBACP,SAAS;gBACT,aAAa,CAAC,CAAC,CAAC;gBAChB,SAAS,CAAC,KAAK,CAAC;gBAChB,eAAe,CAAC,KAAK,CAAC;aACvB,CAAC,CAAC;QACL,CAAC,CAAC;QACJ,MAAM,EAAE,CAAC,CAAU,EAAE,KAAc,EAAE,KAAe,EAAE,EAAE,CACtD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxB,GAAG,CAAC,IAAI,CAAC,CAAC,aAAa,EAAE,aAAa,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;YAChE,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC;oBACP,aAAa;oBACb,aAAa,CAAC,CAAC,CAAC;oBAChB,SAAS,CAAC,KAAK,CAAC;oBAChB,eAAe,CAAC,KAAK,CAAC;iBACvB,CAAC,CAAC;YACL,CAAC;QACH,CAAC,CAAC;QACJ,MAAM,EAAE,CAAC,CAAU,EAAE,EAAE,CACrB,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,GAAG,CAAC,IAAI,CAAC,CAAC,mBAAmB,EAAE,aAAa,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;QACpD,CAAC,CAAC;QACJ,GAAG,EAAE,CAAC,CAAC,MAAe,EAAE,CAAU,EAAE,CAAW,EAAE,EAAE,CACjD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,KAAK,GAAG,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAA4B,CAAC;YACnE,MAAM,EAAE,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3C,MAAM,GAAG,GACP,EAAE,KAAK,SAAS;gBACd,CAAC,CAAE,OAAO,EAAE,IAAI,EAAa;gBAC7B,CAAC,CAAE,aAAa,CAAC,EAAE,CAAyC,CAAC;YACjE,MAAM,EAAE,GAAG,EAAE,MAAM,EAAE,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,IAAI,EAAE,CAAC,CAAC;YAC3D,GAAG,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;YACd,GAAG,CAAC,IAAI,CAAC,GAAG,MAAM,CAAC,CAAC;YACpB,OAAO,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAiB;QACrB,MAAM,EAAE,CAAC,CAAC,MAAe,EAAE,CAAU,EAAE,CAAW,EAAE,EAAE,CACpD,MAAM,CAAC,IAAI,CAAC,GAAG,EAAE;YACf,MAAM,KAAK,GAAG,CAAC,CAAC,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAA4B,CAAC;YAC3E,MAAM,EAAE,GAAG,CAAC,KAAK,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC;YAC3C,IAAI,GAAwC,CAAC;YAC7C,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACrB,GAAG,GAAG,aAAa,CAAC,EAAE,CAAwC,CAAC;YACjE,CAAC;iBAAM,CAAC;gBACN,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC5C,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;oBACzB,MAAM,IAAI,UAAU,CAAC;wBACnB,OAAO,EACL,gDAAgD;wBAClD,IAAI,EAAE,YAAY;qBACnB,CAAC,CAAC;gBACL,CAAC;gBACD,GAAG,GAAG,OAAO,CAAC,CAAC,CAA4B,CAAC;YAC9C,CAAC;YACD,MAAM,OAAO,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,KAAK,CAAC,CAAC;YAChD,IAAI,EAAE,KAAK,SAAS,EAAE,CAAC;gBACrB,MAAM,OAAO,GAAG,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;gBAC5C,MAAM,IAAI,GAAG,OAAO,CAAC,CAAC,CAAC,CAAC;gBACxB,MAAM,IAAI,GAAG,OAAO,CAAC,MAAM,CACzB,CAAC,EAAE,EAAE,EAAE,CACL,CAAC,CACC,IAAI,KAAK,SAAS;oBAClB,EAAE,CAAC,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC,CAAC;oBACjB,MAAM,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAC1B,CACJ,CAAC;gBACF,IAAI,IAAI,CAAC,MAAM,KAAK,CAAC,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBAC5C,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClD,CAAC;qBAAM,CAAC;oBACN,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,CAAC;gBACpB,CAAC;YACH,CAAC;iBAAM,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;gBAChC,MAAM,IAAI,GACR,YAAY,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,WAAW,CAAC,GAAG,CAAC,CAAC;gBACrD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;oBACvB,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,GAAG,EAAE,IAAI,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAClD,CAAC;qBAAM,CAAC;oBACN,GAAG,CAAC,IAAI,CAAC,CAAC,YAAY,EAAE,GAAG,CAAC,CAAC,CAAC;gBAChC,CAAC;YACH,CAAC;iBAAM,CAAC;gBACN,GAAG,CAAC,IAAI,CAAC,GAAG,OAAO,CAAC,CAAC;YACvB,CAAC;YACD,OAAO,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC;QAC9B,CAAC,CAAC,CAAoB;KACzB,CAAC;IACD,OAA+D,CAAC,YAAY,CAAC;QAC5E;YACE,MAAM;YACN,GAAG,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,KAAK,EAAE;SACvB,CAAC;IACJ,OAAO,OAAO,CAAC;AACjB,CAAC,CAAC"}

package/dist/db/allocations.d.ts

@@ -0,0 +1,44 @@
+import type { RamoseVt } from "./valueTypes.ts";
+/** One addressable position inside a decoded operation output. */
+export type AllocationPathSegment = string | number;
+/** One declared slot, normalized. */
+export type AllocationSlot = {
+    readonly slot: string;
+    readonly path: readonly AllocationPathSegment[];
+};
+/** Canonically ordered declared slots. Empty when nothing is allocated. */
+export type AllocationSlots = readonly AllocationSlot[];
+type Decrement = [never, 0, 1, 2, 3, 4];
+export type EntityRefPath<OCodec, Depth extends number = 5> = [Depth] extends [
+    never
+] ? never : OCodec extends RamoseVt<"ref"> ? readonly [] : OCodec extends {
+    readonly value: infer Item;
+} ? EntityRefPath<Item, Decrement[Depth]> extends infer Tail extends readonly AllocationPathSegment[] ? readonly [number, ...Tail] : never : OCodec extends {
+    readonly fields: infer Fields;
+} ? {
+    [Key in keyof Fields & string]: EntityRefPath<Fields[Key], Decrement[Depth]> extends infer Tail extends readonly AllocationPathSegment[] ? readonly [Key, ...Tail] : never;
+}[keyof Fields & string] : OCodec extends {
+    readonly to: infer Decoded;
+} ? EntityRefPath<Decoded, Decrement[Depth]> : never;
+/**
+ * Author-facing declaration: slot name to the output path it allocates.
+ * Only entity-reference positions of the operation's own declared output
+ * type-check, so a slot cannot be bound to a title or a count.
+ */
+export type AllocationDeclaration<OCodec> = {
+    readonly [slot: string]: EntityRefPath<OCodec>;
+};
+export declare const isAllocationSlotName: (value: unknown) => value is string;
+export declare const allocationPathKey: (path: readonly AllocationPathSegment[]) => string;
+/**
+ * Normalize and validate one declaration into the canonical ordered list a
+ * queue record and an invocation digest may hold.
+ *
+ * Two slots may not name the same output position: the receipt maps a slot to
+ * exactly one entity, so an aliased position would make the durable mapping
+ * ambiguous in precisely the way this design exists to prevent.
+ */
+export declare const allocationSlots: (declaration?: Readonly<Record<string, readonly AllocationPathSegment[]>>) => AllocationSlots;
+export declare const readAllocationPath: (output: unknown, path: readonly AllocationPathSegment[]) => unknown;
+export {};
+//# sourceMappingURL=allocations.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"allocations.d.ts","sourceRoot":"","sources":["../../src/db/allocations.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAEhD,kEAAkE;AAClE,MAAM,MAAM,qBAAqB,GAAG,MAAM,GAAG,MAAM,CAAC;AAEpD,qCAAqC;AACrC,MAAM,MAAM,cAAc,GAAG;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,SAAS,qBAAqB,EAAE,CAAC;CACjD,CAAC;AAEF,2EAA2E;AAC3E,MAAM,MAAM,eAAe,GAAG,SAAS,cAAc,EAAE,CAAC;AAExD,KAAK,SAAS,GAAG,CAAC,KAAK,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;AAExC,MAAM,MAAM,aAAa,CAAC,MAAM,EAAE,KAAK,SAAS,MAAM,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,SACnE;IAAC,KAAK;CAAC,GAAG,KAAK,GACb,MAAM,SAAS,QAAQ,CAAC,KAAK,CAAC,GAAG,SAAS,EAAE,GAC5C,MAAM,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,IAAI,CAAA;CAAE,GAC3C,aAAa,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,SACrC,MAAM,IAAI,SAAS,SAAS,qBAAqB,EAAE,GACjD,SAAS,CAAC,MAAM,EAAE,GAAG,IAAI,CAAC,GAC5B,KAAK,GACP,MAAM,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,MAAM,CAAA;CAAE,GAAG;KAChD,GAAG,IAAI,MAAM,MAAM,GAAG,MAAM,GAAG,aAAa,CAC3C,MAAM,CAAC,GAAG,CAAC,EACX,SAAS,CAAC,KAAK,CAAC,CACjB,SAAS,MAAM,IAAI,SAAS,SAAS,qBAAqB,EAAE,GACzD,SAAS,CAAC,GAAG,EAAE,GAAG,IAAI,CAAC,GACvB,KAAK;CACV,CAAC,MAAM,MAAM,GAAG,MAAM,CAAC,GACxB,MAAM,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,OAAO,CAAA;CAAE,GAC3C,aAAa,CAAC,OAAO,EAAE,SAAS,CAAC,KAAK,CAAC,CAAC,GAC1C,KAAK,CAAC;AAEV;;;;GAIG;AACH,MAAM,MAAM,qBAAqB,CAAC,MAAM,IAAI;IAC1C,QAAQ,EAAE,IAAI,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;CAChD,CAAC;AAIF,eAAO,MAAM,oBAAoB,UAAW,OAAO,KAAG,KAAK,IAAI,MACX,CAAC;AAmCrD,eAAO,MAAM,iBAAiB,SACtB,SAAS,qBAAqB,EAAE,KACrC,MAA8B,CAAC;AAElC;;;;;;;GAOG;AACH,eAAO,MAAM,eAAe,iBACb,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,qBAAqB,EAAE,CAAC,CAAC,KACtE,eAiBF,CAAC;AAEF,eAAO,MAAM,kBAAkB,WACrB,OAAO,QACT,SAAS,qBAAqB,EAAE,KACrC,OAaF,CAAC"}

package/dist/db/allocations.js

@@ -0,0 +1,70 @@
+const SLOT_NAME = /^[A-Za-z][A-Za-z0-9_-]{0,63}$/;
+export const isAllocationSlotName = (value) => typeof value === "string" && SLOT_NAME.test(value);
+const invalid = (detail) => {
+    throw new Error(`ramose/schema: allocation slot ${detail}`);
+};
+const normalizePath = (slot, path) => {
+    if (!Array.isArray(path)) {
+        invalid(`${slot} must declare an output path array`);
+    }
+    const segments = path;
+    return Object.freeze(segments.map((segment) => {
+        if (typeof segment === "string") {
+            if (segment.length === 0 || /[\u0000\s]/.test(segment)) {
+                invalid(`${slot} has an empty or whitespace-bearing path segment`);
+            }
+            return segment;
+        }
+        if (typeof segment === "number" && Number.isSafeInteger(segment) &&
+            segment >= 0) {
+            return segment;
+        }
+        return invalid(`${slot} path segments must be property names or array indexes`);
+    }));
+};
+export const allocationPathKey = (path) => JSON.stringify(path);
+/**
+ * Normalize and validate one declaration into the canonical ordered list a
+ * queue record and an invocation digest may hold.
+ *
+ * Two slots may not name the same output position: the receipt maps a slot to
+ * exactly one entity, so an aliased position would make the durable mapping
+ * ambiguous in precisely the way this design exists to prevent.
+ */
+export const allocationSlots = (declaration = {}) => {
+    const slots = [];
+    const paths = new Map();
+    for (const slot of Object.keys(declaration).sort()) {
+        if (!SLOT_NAME.test(slot)) {
+            invalid(`names must match ${SLOT_NAME.source}, not ${JSON.stringify(slot)}`);
+        }
+        const path = normalizePath(slot, declaration[slot]);
+        const key = allocationPathKey(path);
+        const owner = paths.get(key);
+        if (owner !== undefined) {
+            invalid(`${slot} and ${owner} both allocate the same output position`);
+        }
+        paths.set(key, slot);
+        slots.push(Object.freeze({ slot, path }));
+    }
+    return Object.freeze(slots);
+};
+export const readAllocationPath = (output, path) => {
+    let cursor = output;
+    for (const segment of path) {
+        if (typeof cursor !== "object" || cursor === null)
+            return undefined;
+        if (typeof segment === "number") {
+            if (!Array.isArray(cursor) || !Object.hasOwn(cursor, segment))
+                return undefined;
+            cursor = cursor[segment];
+        }
+        else {
+            if (Array.isArray(cursor) || !Object.hasOwn(cursor, segment))
+                return undefined;
+            cursor = cursor[segment];
+        }
+    }
+    return cursor;
+};
+//# sourceMappingURL=allocations.js.map

package/dist/db/allocations.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"allocations.js","sourceRoot":"","sources":["../../src/db/allocations.ts"],"names":[],"mappings":"AA6CA,MAAM,SAAS,GAAG,+BAA+B,CAAC;AAElD,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,KAAc,EAAmB,EAAE,CACtE,OAAO,KAAK,KAAK,QAAQ,IAAI,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAErD,MAAM,OAAO,GAAG,CAAC,MAAc,EAAS,EAAE;IACxC,MAAM,IAAI,KAAK,CAAC,kCAAkC,MAAM,EAAE,CAAC,CAAC;AAC9D,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CACpB,IAAY,EACZ,IAAa,EACqB,EAAE;IACpC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACzB,OAAO,CAAC,GAAG,IAAI,oCAAoC,CAAC,CAAC;IACvD,CAAC;IACD,MAAM,QAAQ,GAAG,IAA0B,CAAC;IAC5C,OAAO,MAAM,CAAC,MAAM,CAClB,QAAQ,CAAC,GAAG,CAAC,CAAC,OAAO,EAAyB,EAAE;QAC9C,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,IAAI,YAAY,CAAC,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;gBACvD,OAAO,CAAC,GAAG,IAAI,kDAAkD,CAAC,CAAC;YACrE,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,IACE,OAAO,OAAO,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,OAAO,CAAC;YAC5D,OAAO,IAAI,CAAC,EACZ,CAAC;YACD,OAAO,OAAO,CAAC;QACjB,CAAC;QACD,OAAO,OAAO,CACZ,GAAG,IAAI,wDAAwD,CAChE,CAAC;IACJ,CAAC,CAAC,CACH,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,IAAsC,EAC9B,EAAE,CAAC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;AAElC;;;;;;;GAOG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,WAAW,GAA+D,EAAE,EAC3D,EAAE;IACnB,MAAM,KAAK,GAAqB,EAAE,CAAC;IACnC,MAAM,KAAK,GAAG,IAAI,GAAG,EAAkB,CAAC;IACxC,KAAK,MAAM,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACnD,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;YAC1B,OAAO,CAAC,oBAAoB,SAAS,CAAC,MAAM,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;QAC/E,CAAC;QACD,MAAM,IAAI,GAAG,aAAa,CAAC,IAAI,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC,CAAC;QACpD,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACpC,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;QAC7B,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,OAAO,CAAC,GAAG,IAAI,QAAQ,KAAK,yCAAyC,CAAC,CAAC;QACzE,CAAC;QACD,KAAK,CAAC,GAAG,CAAC,GAAG,EAAE,IAAI,CAAC,CAAC;QACrB,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;IAC5C,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAAe,EACf,IAAsC,EAC7B,EAAE;IACX,IAAI,MAAM,GAAY,MAAM,CAAC;IAC7B,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,SAAS,CAAC;QACpE,IAAI,OAAO,OAAO,KAAK,QAAQ,EAAE,CAAC;YAChC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;gBAAE,OAAO,SAAS,CAAC;YAChF,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,CAAC;QAC3B,CAAC;aAAM,CAAC;YACN,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC;gBAAE,OAAO,SAAS,CAAC;YAC/E,MAAM,GAAI,MAAkC,CAAC,OAAO,CAAC,CAAC;QACxD,CAAC;IACH,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC"}

package/dist/db/attrRef.d.ts

@@ -0,0 +1,5 @@
+export declare const isAttrRef: (a: unknown) => a is {
+    readonly ident: string;
+};
+export declare const lowerAttr: (a: unknown) => string;
+//# sourceMappingURL=attrRef.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"attrRef.d.ts","sourceRoot":"","sources":["../../src/db/attrRef.ts"],"names":[],"mappings":"AAAA,eAAO,MAAM,SAAS,MAAO,OAAO,KAAG,CAAC,IAAI;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAIf,CAAC;AAEtD,eAAO,MAAM,SAAS,MAAO,OAAO,KAAG,MACC,CAAC"}

package/dist/db/attrRef.js

@@ -0,0 +1,6 @@
+export const isAttrRef = (a) => typeof a === "object" &&
+    a !== null &&
+    "ident" in a &&
+    typeof a.ident === "string";
+export const lowerAttr = (a) => isAttrRef(a) ? a.ident : a;
+//# sourceMappingURL=attrRef.js.map

package/dist/db/attrRef.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"attrRef.js","sourceRoot":"","sources":["../../src/db/attrRef.ts"],"names":[],"mappings":"AAAA,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAU,EAAmC,EAAE,CACvE,OAAO,CAAC,KAAK,QAAQ;IACrB,CAAC,KAAK,IAAI;IACV,OAAO,IAAI,CAAC;IACZ,OAAQ,CAAwB,CAAC,KAAK,KAAK,QAAQ,CAAC;AAEtD,MAAM,CAAC,MAAM,SAAS,GAAG,CAAC,CAAU,EAAU,EAAE,CAC9C,SAAS,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAE,CAAY,CAAC"}

package/dist/db/compose.d.ts

@@ -0,0 +1,26 @@
+export type ComposerLike = {
+    readonly ns: string;
+    readonly fields: object;
+    readonly traits?: readonly ComposerLike[];
+};
+export declare const traitsOf: (composer: unknown) => readonly ComposerLike[];
+export declare const composerIdent: (ns: string) => `:${string}`;
+export declare const fieldIdentOf: (field: {
+    readonly ident?: unknown;
+}, key: string) => string;
+export declare const conflictingFieldName: (key: string, left: string, right: string) => Error;
+export declare const traitCycle: (path: readonly string[]) => Error;
+export declare const duplicateTraitName: (ns: string) => Error;
+export declare const unboundTrait: (ns: string) => Error;
+export declare const entityTraitNameClash: (ns: string) => Error;
+export declare const walkTraits: (traits: readonly ComposerLike[] | undefined) => {
+    readonly direct: readonly ComposerLike[];
+    readonly all: readonly ComposerLike[];
+};
+export declare const mergeComposerFields: <F>(...maps: ReadonlyArray<Readonly<Record<string, F>>>) => Record<string, F>;
+export declare const flattenTraitFields: <F>(traits: readonly ComposerLike[] | undefined) => Record<string, F>;
+export declare const transitiveTraitIdents: (composer: ComposerLike) => readonly string[];
+export declare const reachableTraits: (entities: Iterable<ComposerLike>) => ReadonlyMap<string, ComposerLike>;
+export declare const assertUniqueIdents: (entities: Iterable<ComposerLike>) => void;
+export declare const assertEntityTraitNames: (entityNss: Iterable<string>, traits: ReadonlyMap<string, ComposerLike>) => void;
+//# sourceMappingURL=compose.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"compose.d.ts","sourceRoot":"","sources":["../../src/db/compose.ts"],"names":[],"mappings":"AAOA,MAAM,MAAM,YAAY,GAAG;IACzB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,YAAY,EAAE,CAAC;CAC3C,CAAC;AAEF,eAAO,MAAM,QAAQ,aAAc,OAAO,KAAG,SAAS,YAAY,EAOjE,CAAC;AAEF,eAAO,MAAM,aAAa,OAAQ,MAAM,KAAG,IAAI,MAAM,EAAc,CAAC;AAEpE,eAAO,MAAM,YAAY,UAChB;IAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,OAAO,CAAA;CAAE,OAC9B,MAAM,KACV,MAA+D,CAAC;AAEnE,eAAO,MAAM,oBAAoB,QAC1B,MAAM,QACL,MAAM,SACL,MAAM,KACZ,KAGA,CAAC;AAEJ,eAAO,MAAM,UAAU,SAAU,SAAS,MAAM,EAAE,KAAG,KACS,CAAC;AAE/D,eAAO,MAAM,kBAAkB,OAAQ,MAAM,KAAG,KACwB,CAAC;AAEzE,eAAO,MAAM,YAAY,OAAQ,MAAM,KAAG,KAGvC,CAAC;AAEJ,eAAO,MAAM,oBAAoB,OAAQ,MAAM,KAAG,KAG/C,CAAC;AAEJ,eAAO,MAAM,UAAU,WACb,SAAS,YAAY,EAAE,GAAG,SAAS,KAC1C;IACD,QAAQ,CAAC,MAAM,EAAE,SAAS,YAAY,EAAE,CAAC;IACzC,QAAQ,CAAC,GAAG,EAAE,SAAS,YAAY,EAAE,CAAC;CAuBvC,CAAC;AAEF,eAAO,MAAM,mBAAmB,GAAI,CAAC,WAC1B,aAAa,CAAC,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,CAAC,CAAC,CAAC,CAAC,KAClD,MAAM,CAAC,MAAM,EAAE,CAAC,CAgBlB,CAAC;AAEF,eAAO,MAAM,kBAAkB,GAAI,CAAC,UAC1B,SAAS,YAAY,EAAE,GAAG,SAAS,KAC1C,MAAM,CAAC,MAAM,EAAE,CAAC,CAKlB,CAAC;AAEF,eAAO,MAAM,qBAAqB,aACtB,YAAY,KACrB,SAAS,MAAM,EAWjB,CAAC;AAEF,eAAO,MAAM,eAAe,aAChB,QAAQ,CAAC,YAAY,CAAC,KAC/B,WAAW,CAAC,MAAM,EAAE,YAAY,CAgBlC,CAAC;AAEF,eAAO,MAAM,kBAAkB,aACnB,QAAQ,CAAC,YAAY,CAAC,KAC/B,IAUF,CAAC;AAEF,eAAO,MAAM,sBAAsB,cACtB,QAAQ,CAAC,MAAM,CAAC,UACnB,WAAW,CAAC,MAAM,EAAE,YAAY,CAAC,KACxC,IAIF,CAAC"}

package/dist/db/compose.js

@@ -0,0 +1,105 @@
+import { conflictingIdent } from "./IdentName.js";
+import { isBindableTrait, traitDefinitionOf, } from "./Binding.js";
+export const traitsOf = (composer) => {
+    if ((typeof composer !== "object" && typeof composer !== "function") ||
+        composer === null)
+        return [];
+    const traits = composer.traits;
+    return Array.isArray(traits) ? traits : [];
+};
+export const composerIdent = (ns) => `:${ns}`;
+export const fieldIdentOf = (field, key) => (typeof field.ident === "string" ? field.ident : key);
+export const conflictingFieldName = (key, left, right) => new Error(`ramose/schema: conflicting field ${JSON.stringify(key)} — ${left} vs ${right}`);
+export const traitCycle = (path) => new Error(`ramose/schema: trait cycle: ${path.join(" → ")}`);
+export const duplicateTraitName = (ns) => new Error(`ramose/schema: duplicate trait name ${JSON.stringify(ns)}`);
+export const unboundTrait = (ns) => new Error(`ramose/schema: bindable trait ${JSON.stringify(ns)} must be called with a code definition before composition`);
+export const entityTraitNameClash = (ns) => new Error(`ramose/schema: ${JSON.stringify(ns)} is both an entity and a trait`);
+export const walkTraits = (traits) => {
+    const direct = traits ?? [];
+    const all = [];
+    const seen = new Set();
+    const stack = [];
+    const visit = (input) => {
+        if (isBindableTrait(input))
+            throw unboundTrait(input.ns);
+        const trait = traitDefinitionOf(input);
+        if (stack.includes(trait)) {
+            throw traitCycle([...stack, trait].map((t) => t.ns));
+        }
+        if (seen.has(trait))
+            return;
+        stack.push(trait);
+        for (const inner of traitsOf(trait))
+            visit(inner);
+        stack.pop();
+        seen.add(trait);
+        all.push(trait);
+    };
+    for (const trait of direct)
+        visit(trait);
+    return { direct, all };
+};
+export const mergeComposerFields = (...maps) => {
+    const out = {};
+    for (const map of maps) {
+        for (const [key, field] of Object.entries(map)) {
+            const existing = out[key];
+            if (existing !== undefined && existing !== field) {
+                throw conflictingFieldName(key, fieldIdentOf(existing, key), fieldIdentOf(field, key));
+            }
+            out[key] = field;
+        }
+    }
+    return out;
+};
+export const flattenTraitFields = (traits) => {
+    const { all } = walkTraits(traits);
+    return mergeComposerFields(...all.map((trait) => trait.fields));
+};
+export const transitiveTraitIdents = (composer) => {
+    const { all } = walkTraits(traitsOf(composer));
+    const seen = new Set();
+    const out = [];
+    for (const trait of all) {
+        const ident = composerIdent(trait.ns);
+        if (seen.has(ident))
+            continue;
+        seen.add(ident);
+        out.push(ident);
+    }
+    return out;
+};
+export const reachableTraits = (entities) => {
+    const byNs = new Map();
+    for (const entity of entities) {
+        const { all } = walkTraits(traitsOf(entity));
+        for (const trait of all) {
+            const stable = traitDefinitionOf(trait);
+            const seen = byNs.get(stable.ns);
+            if (seen !== undefined && seen !== stable) {
+                throw duplicateTraitName(stable.ns);
+            }
+            byNs.set(stable.ns, stable);
+        }
+    }
+    return byNs;
+};
+export const assertUniqueIdents = (entities) => {
+    const seen = new Map();
+    for (const entity of entities) {
+        for (const [key, field] of Object.entries(entity.fields)) {
+            const ident = fieldIdentOf(field, key);
+            const prev = seen.get(ident);
+            if (prev !== undefined && prev !== field)
+                throw conflictingIdent(ident);
+            seen.set(ident, field);
+        }
+    }
+};
+export const assertEntityTraitNames = (entityNss, traits) => {
+    for (const ns of entityNss) {
+        if (traits.has(ns))
+            throw entityTraitNameClash(ns);
+    }
+};
+//# sourceMappingURL=compose.js.map

package/dist/db/compose.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"compose.js","sourceRoot":"","sources":["../../src/db/compose.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,gBAAgB,EAAE,MAAM,gBAAgB,CAAC;AAClD,OAAO,EACL,eAAe,EACf,iBAAiB,GAElB,MAAM,cAAc,CAAC;AAQtB,MAAM,CAAC,MAAM,QAAQ,GAAG,CAAC,QAAiB,EAA2B,EAAE;IACrE,IACE,CAAC,OAAO,QAAQ,KAAK,QAAQ,IAAI,OAAO,QAAQ,KAAK,UAAU,CAAC;QAChE,QAAQ,KAAK,IAAI;QACjB,OAAO,EAAE,CAAC;IACZ,MAAM,MAAM,GAAI,QAA0C,CAAC,MAAM,CAAC;IAClE,OAAO,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAE,MAAkC,CAAC,CAAC,CAAC,EAAE,CAAC;AAC1E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,EAAU,EAAgB,EAAE,CAAC,IAAI,EAAE,EAAE,CAAC;AAEpE,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,KAAmC,EACnC,GAAW,EACH,EAAE,CAAC,CAAC,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC;AAEnE,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,GAAW,EACX,IAAY,EACZ,KAAa,EACN,EAAE,CACT,IAAI,KAAK,CACP,oCAAoC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,MAAM,IAAI,OAAO,KAAK,EAAE,CAChF,CAAC;AAEJ,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,IAAuB,EAAS,EAAE,CAC3D,IAAI,KAAK,CAAC,+BAA+B,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAE/D,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,EAAU,EAAS,EAAE,CACtD,IAAI,KAAK,CAAC,uCAAuC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAEzE,MAAM,CAAC,MAAM,YAAY,GAAG,CAAC,EAAU,EAAS,EAAE,CAChD,IAAI,KAAK,CACP,iCAAiC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,2DAA2D,CAC/G,CAAC;AAEJ,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAAC,EAAU,EAAS,EAAE,CACxD,IAAI,KAAK,CACP,kBAAkB,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,gCAAgC,CACrE,CAAC;AAEJ,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,MAA2C,EAI3C,EAAE;IACF,MAAM,MAAM,GAAG,MAAM,IAAI,EAAE,CAAC;IAC5B,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,EAAgB,CAAC;IACrC,MAAM,KAAK,GAAmB,EAAE,CAAC;IAEjC,MAAM,KAAK,GAAG,CAAC,KAAmB,EAAQ,EAAE;QAC1C,IAAI,eAAe,CAAC,KAAK,CAAC;YAAE,MAAM,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACzD,MAAM,KAAK,GAAG,iBAAiB,CAAC,KAA6B,CAA4B,CAAC;QAC1F,IAAI,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,MAAM,UAAU,CAAC,CAAC,GAAG,KAAK,EAAE,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;QACvD,CAAC;QACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,OAAO;QAC5B,KAAK,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QAClB,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,KAAK,CAAC;YAAE,KAAK,CAAC,KAAK,CAAC,CAAC;QAClD,KAAK,CAAC,GAAG,EAAE,CAAC;QACZ,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC,CAAC;IAEF,KAAK,MAAM,KAAK,IAAI,MAAM;QAAE,KAAK,CAAC,KAAK,CAAC,CAAC;IACzC,OAAO,EAAE,MAAM,EAAE,GAAG,EAAE,CAAC;AACzB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,GAAG,IAAgD,EAChC,EAAE;IACrB,MAAM,GAAG,GAAsB,EAAE,CAAC;IAClC,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAC;YAC/C,MAAM,QAAQ,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC;YAC1B,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,KAAK,EAAE,CAAC;gBACjD,MAAM,oBAAoB,CACxB,GAAG,EACH,YAAY,CAAC,QAAwC,EAAE,GAAG,CAAC,EAC3D,YAAY,CAAC,KAAqC,EAAE,GAAG,CAAC,CACzD,CAAC;YACJ,CAAC;YACD,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,MAA2C,EACxB,EAAE;IACrB,MAAM,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC;IACnC,OAAO,mBAAmB,CACxB,GAAG,GAAG,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAqC,CAAC,CACnE,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,QAAsB,EACH,EAAE;IACrB,MAAM,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC;IAC/C,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,GAAG,GAAa,EAAE,CAAC;IACzB,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;QACxB,MAAM,KAAK,GAAG,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;QACtC,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;IAClB,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,QAAgC,EACG,EAAE;IACrC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAwB,CAAC;IAC7C,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,MAAM,EAAE,GAAG,EAAE,GAAG,UAAU,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC;QAC7C,KAAK,MAAM,KAAK,IAAI,GAAG,EAAE,CAAC;YACxB,MAAM,MAAM,GAAG,iBAAiB,CAC9B,KAA6B,CACH,CAAC;YAC7B,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACjC,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,MAAM,EAAE,CAAC;gBAC1C,MAAM,kBAAkB,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;YACtC,CAAC;YACD,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC;QAC9B,CAAC;IACH,CAAC;IACD,OAAO,IAAI,CAAC;AACd,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAAgC,EAC1B,EAAE;IACR,MAAM,IAAI,GAAG,IAAI,GAAG,EAAmB,CAAC;IACxC,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC;YACzD,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;YACvC,MAAM,IAAI,GAAG,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;YAC7B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,KAAK,KAAK;gBAAE,MAAM,gBAAgB,CAAC,KAAK,CAAC,CAAC;YACxE,IAAI,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QACzB,CAAC;IACH,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,sBAAsB,GAAG,CACpC,SAA2B,EAC3B,MAAyC,EACnC,EAAE;IACR,KAAK,MAAM,EAAE,IAAI,SAAS,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,GAAG,CAAC,EAAE,CAAC;YAAE,MAAM,oBAAoB,CAAC,EAAE,CAAC,CAAC;IACrD,CAAC;AACH,CAAC,CAAC"}

package/dist/db/composition.d.ts

@@ -0,0 +1,4 @@
+import { type CompositionIndex } from "../internal/core/composition.ts";
+import type { AnySchema } from "./Schema.ts";
+export declare const compositionFromSchema: (schema: AnySchema) => CompositionIndex;
+//# sourceMappingURL=composition.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"composition.d.ts","sourceRoot":"","sources":["../../src/db/composition.ts"],"names":[],"mappings":"AAMA,OAAO,EAAwB,KAAK,gBAAgB,EAAE,MAAM,iCAAiC,CAAC;AAC9F,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,eAAO,MAAM,qBAAqB,WAAY,SAAS,KAAG,gBAoBzD,CAAC"}

package/dist/db/composition.js

@@ -0,0 +1,24 @@
+import { composerIdent, reachableTraits, transitiveTraitIdents, } from "./compose.js";
+import { makeCompositionIndex } from "../internal/core/composition.js";
+export const compositionFromSchema = (schema) => {
+    const entities = Object.values(schema.entities);
+    const traits = reachableTraits(entities);
+    const entityTraits = [];
+    for (const entity of entities) {
+        entityTraits.push([
+            composerIdent(entity.ns),
+            transitiveTraitIdents(entity),
+        ]);
+    }
+    const traitTraits = [];
+    for (const [ns, trait] of traits) {
+        traitTraits.push([composerIdent(ns), transitiveTraitIdents(trait)]);
+    }
+    return makeCompositionIndex({
+        entities: entities.map((entity) => composerIdent(entity.ns)),
+        traits: [...traits.keys()].map((ns) => composerIdent(ns)),
+        entityTraits,
+        traitTraits,
+    });
+};
+//# sourceMappingURL=composition.js.map

package/dist/db/composition.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"composition.js","sourceRoot":"","sources":["../../src/db/composition.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,aAAa,EACb,eAAe,EACf,qBAAqB,GAEtB,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,oBAAoB,EAAyB,MAAM,iCAAiC,CAAC;AAG9F,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,MAAiB,EAAoB,EAAE;IAC3E,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;IAChD,MAAM,MAAM,GAAG,eAAe,CAAC,QAA0B,CAAC,CAAC;IAC3D,MAAM,YAAY,GAAgD,EAAE,CAAC;IACrE,KAAK,MAAM,MAAM,IAAI,QAAQ,EAAE,CAAC;QAC9B,YAAY,CAAC,IAAI,CAAC;YAChB,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;YACxB,qBAAqB,CAAC,MAAsB,CAAC;SAC9C,CAAC,CAAC;IACL,CAAC;IACD,MAAM,WAAW,GAAgD,EAAE,CAAC;IACpE,KAAK,MAAM,CAAC,EAAE,EAAE,KAAK,CAAC,IAAI,MAAM,EAAE,CAAC;QACjC,WAAW,CAAC,IAAI,CAAC,CAAC,aAAa,CAAC,EAAE,CAAC,EAAE,qBAAqB,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC;IACtE,CAAC;IACD,OAAO,oBAAoB,CAAC;QAC1B,QAAQ,EAAE,QAAQ,CAAC,GAAG,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC5D,MAAM,EAAE,CAAC,GAAG,MAAM,CAAC,IAAI,EAAE,CAAC,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,aAAa,CAAC,EAAE,CAAC,CAAC;QACzD,YAAY;QACZ,WAAW;KACZ,CAAC,CAAC;AACL,CAAC,CAAC"}