ramosedb 0.0.1 → 0.4.0

package/dist/db/Operation.js

@@ -0,0 +1,237 @@
+import * as Effect from "effect/Effect";
+import * as Schema from "effect/Schema";
+import { allocationSlots, } from "./allocations.js";
+import { normalizeProjectionRevision, } from "./Projection.js";
+import { COMPOSED_TRAITS } from "./Composer.js";
+import { normalizeDoc } from "./documentation.js";
+import { InvalidRequest, OperationsCoverageError } from "./Errors.js";
+import { invalidIdentName, isIdentName } from "./IdentName.js";
+import { untargetedRef } from "./valueTypes.js";
+import {} from "./Tx.js";
+export const EntityId = untargetedRef;
+/**
+ * Symbol-keyed operation metadata. A symbol preserves the long-standing right
+ * to declare an ordinary schema field named `operations`.
+ */
+export const OwnedOperations = Symbol.for("ramose/owned-operations");
+const OwnedOperationAuthorToken = Symbol("ramose/owned-operation-author-token");
+const emptyOutput = Schema.Struct({});
+export const DEFAULT_OPERATION_REVISION = 1;
+const normalizeOptimistic = (value) => {
+    if (value === undefined)
+        return undefined;
+    if (typeof value !== "function") {
+        throw new Error("ramose/schema: an operation's optimistic projection must be a function");
+    }
+    return value;
+};
+export const normalizeOperationRevision = (value) => {
+    if (value === undefined)
+        return DEFAULT_OPERATION_REVISION;
+    if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 1) {
+        throw new Error(`ramose/schema: operation revision must be a positive integer, not ${JSON.stringify(value)}`);
+    }
+    return value;
+};
+const defineNamedOperation = (name, schemas, body) => ({
+    _tag: "Operation",
+    name,
+    input: schemas.input,
+    output: (schemas.output ?? emptyOutput),
+    on: schemas.on,
+    doc: normalizeDoc(schemas.doc),
+    body,
+});
+function defineOperation(nameOrSpec, schemas, body) {
+    if (typeof nameOrSpec === "string") {
+        if (schemas === undefined || body === undefined) {
+            throw new Error("ramose: Operation(name, schemas, body) needs schemas and a body");
+        }
+        return defineNamedOperation(nameOrSpec, schemas, body);
+    }
+    const self = nameOrSpec.self !== false;
+    return {
+        _tag: "UnboundOperation",
+        input: nameOrSpec.input,
+        output: nameOrSpec.output,
+        self,
+        writes: Object.freeze([...(nameOrSpec.writes ?? [])]),
+        allocations: allocationSlots(nameOrSpec.allocates),
+        revision: normalizeOperationRevision(nameOrSpec.revision),
+        optimistic: normalizeOptimistic(nameOrSpec.optimistic),
+        optimisticRevision: normalizeProjectionRevision(nameOrSpec.optimisticRevision),
+        doc: normalizeDoc(nameOrSpec.doc),
+        run: nameOrSpec.run,
+    };
+}
+const structOf = (entity, keys) => {
+    const fields = {};
+    for (const key of keys) {
+        const field = entity.fields[key];
+        if (field === undefined) {
+            throw new Error(`ramose: ${entity.ns} has no field "${key}"`);
+        }
+        fields[key] = field.schema;
+    }
+    return Schema.Struct(fields);
+};
+const definePatch = (name, entity, keys, options) => {
+    const operation = defineNamedOperation(name, {
+        on: entity,
+        input: structOf(entity, keys),
+        output: emptyOutput,
+        ...(options?.doc !== undefined && { doc: options.doc }),
+        ...(options?.schema !== undefined && { schema: options.schema }),
+    }, (op, input) => {
+        const self = op.self;
+        if (self === undefined) {
+            throw new Error(`ramose: ${name} is contextual and needs an entity`);
+        }
+        op.update(entity, self, input);
+        return {};
+    });
+    return operation;
+};
+const operationFor = (schema) => Object.assign(((name, schemas, body) => defineOperation(name, { ...schemas, schema }, body)), {
+    patch: ((name, entity, keys, options) => definePatch(name, entity, keys, { ...options, schema })),
+});
+export const bindOwnedOperations = (owner, operations, author) => {
+    const out = {};
+    if (operations === undefined) {
+        return out;
+    }
+    if (Reflect.ownKeys(operations).some((key) => typeof key !== "string")) {
+        throw new Error("ramose/schema: operation map keys must be strings");
+    }
+    const authorToken = author?.[OwnedOperationAuthorToken];
+    for (const [localName, operation] of Object.entries(operations)) {
+        if (!isIdentName(localName))
+            throw invalidIdentName("operation", localName);
+        if (typeof operation !== "object" ||
+            operation === null ||
+            operation._tag !== "UnboundOperation") {
+            throw new Error(`ramose/schema: ${owner.ns}.${localName} must be Ramose.Operation({ input, output, run })`);
+        }
+        if (!Array.isArray(operation.writes) ||
+            operation.writes.some((entity) => entity?._tag !== "Entity")) {
+            throw new Error(`ramose/schema: ${owner.ns}.${localName} writes must contain entity definitions`);
+        }
+        if (authorToken !== undefined &&
+            operation[OwnedOperationAuthorToken] !== authorToken) {
+            throw new Error(`ramose/schema: ${owner.ns}.${localName} must use the Operation author supplied to its operations callback`);
+        }
+        out[localName] = {
+            _tag: "OwnedOperation",
+            owner,
+            localName,
+            input: operation.input,
+            output: operation.output,
+            self: operation.self,
+            writes: operation.writes,
+            allocations: operation.allocations ?? [],
+            revision: normalizeOperationRevision(operation.revision),
+            optimistic: normalizeOptimistic(operation.optimistic),
+            optimisticRevision: normalizeProjectionRevision(operation.optimisticRevision),
+            doc: operation.doc,
+            run: operation.run,
+        };
+    }
+    return out;
+};
+export const isOwnedOperation = (value) => typeof value === "object" &&
+    value !== null &&
+    value._tag === "OwnedOperation";
+export const ownedOperationAuthor = () => {
+    const token = {};
+    const author = ((spec) => {
+        const operation = defineOperation(spec);
+        Object.defineProperty(operation, OwnedOperationAuthorToken, { value: token });
+        return operation;
+    });
+    Object.defineProperty(author, OwnedOperationAuthorToken, { value: token });
+    return author;
+};
+/** Define one named operation. `Operation.for(catalog)` bakes `schema:` in. */
+export const Operation = Object.assign(defineOperation, { for: operationFor, patch: definePatch });
+const namesOfRegistry = (operations) => {
+    const names = new Set();
+    for (const op of Object.values(operations)) {
+        if (typeof op.name === "string" && op.name.length > 0)
+            names.add(op.name);
+    }
+    return [...names].sort();
+};
+const cardsOfRegistry = (operations, get) => namesOfRegistry(operations).flatMap((name) => {
+    const op = get(name);
+    if (op === undefined)
+        return [];
+    const ns = op.on?.ns;
+    return [
+        {
+            name,
+            ...(op.doc !== undefined ? { doc: op.doc } : {}),
+            ...(typeof ns === "string" && ns.length > 0 ? { on: ns } : {}),
+        },
+    ];
+});
+const makeRegistry = (operations, schema) => {
+    const get = (name) => {
+        for (const op of Object.values(operations)) {
+            if (op.name === name)
+                return op;
+        }
+        return undefined;
+    };
+    return {
+        _tag: "Operations",
+        operations,
+        ...(schema !== undefined && { schema }),
+        get,
+        names: () => namesOfRegistry(operations),
+        cards: () => cardsOfRegistry(operations, get),
+    };
+};
+/** An inert registry of operation declarations. */
+export const Operations = (operations) => makeRegistry(operations);
+export const defineOperations = (schema, operations) => makeRegistry(operations, schema);
+/** Sorted unique wire ids in a registry. */
+export const operationNames = (ops) => ops === undefined ? [] : [...ops.names()];
+/** Discovery cards (name / doc / on) for a registry. */
+export const operationCards = (ops) => (ops === undefined ? [] : ops.cards());
+const namesOf = (source) => {
+    if (typeof source === "object" &&
+        source !== null &&
+        "_tag" in source &&
+        source._tag === "Operations") {
+        return operationNames(source);
+    }
+    return [...new Set(source.filter((n) => typeof n === "string" && n.length > 0))].sort();
+};
+/**
+ * A runtime registry must cover every required id. Extra registered ops are
+ * fine. Missing ids throw
+ * {@link OperationsCoverageError}.
+ */
+export const checkOperationsCoverage = (required, registered) => {
+    const need = namesOf(required);
+    const have = new Set(namesOf(registered));
+    const missing = need.filter((n) => !have.has(n));
+    if (missing.length === 0)
+        return;
+    throw new OperationsCoverageError({
+        message: `ramose: runtime is missing operations: ${missing.join(", ")} — renaming an op is a wire-contract change`,
+        missing,
+    });
+};
+export { OperationsCoverageError };
+export { asLookupRef, lowerEntityArg } from "./entityArg.js";
+export const decodeInput = (schema, input) => Schema.decodeUnknownEffect(schema)(input).pipe(Effect.mapError((e) => new InvalidRequest({
+    message: e.message || "invalid operation input",
+})));
+export const encodeOutput = (schema, output) => Schema.encodeUnknownEffect(schema)(output).pipe(Effect.mapError((e) => new InvalidRequest({
+    message: e.message || "invalid operation output",
+})));
+export const decodeOutput = (schema, output) => Schema.decodeUnknownEffect(schema)(output).pipe(Effect.mapError((e) => new InvalidRequest({
+    message: e.message || "invalid operation output",
+})));
+//# sourceMappingURL=Operation.js.map

package/dist/db/Operation.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Operation.js","sourceRoot":"","sources":["../../src/db/Operation.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EACL,eAAe,GAGhB,MAAM,kBAAkB,CAAC;AAC1B,OAAO,EACL,2BAA2B,GAG5B,MAAM,iBAAiB,CAAC;AAEzB,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAGlD,OAAO,EAAE,cAAc,EAAE,uBAAuB,EAAE,MAAM,aAAa,CAAC;AAItE,OAAO,EAAE,gBAAgB,EAAE,WAAW,EAAuB,MAAM,gBAAgB,CAAC;AAGpF,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAC;AAChD,OAAO,EAUN,MAAM,SAAS,CAAC;AAwEjB,MAAM,CAAC,MAAM,QAAQ,GAAyB,aAAa,CAAC;AAoD5D;;;GAGG;AACH,MAAM,CAAC,MAAM,eAAe,GAAkB,MAAM,CAAC,GAAG,CACtD,yBAAyB,CAC1B,CAAC;AAIF,MAAM,yBAAyB,GAAkB,MAAM,CACrD,qCAAqC,CACtC,CAAC;AAilBF,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;AAEtC,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAE5C,MAAM,mBAAmB,GAAG,CAAC,KAAc,EAAuC,EAAE;IAClF,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,SAAS,CAAC;IAC1C,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;QAChC,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,KAAgC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,KAAc,EAAU,EAAE;IACnE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,0BAA0B,CAAC;IAC3D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CACb,qEAAqE,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAC7F,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAO3B,IAAU,EACV,OAAqC,EACrC,IAA0E,EAC7C,EAAE,CAAC,CAAC;IACjC,IAAI,EAAE,WAAW;IACjB,IAAI;IACJ,KAAK,EAAE,OAAO,CAAC,KAAK;IACpB,MAAM,EAAE,CAAC,OAAO,CAAC,MAAM,IAAI,WAAW,CAA6B;IACnE,EAAE,EAAE,OAAO,CAAC,EAAE;IACd,GAAG,EAAE,YAAY,CAAC,OAAO,CAAC,GAAG,CAAC;IAC9B,IAAI;CACL,CAAC,CAAC;AA2GH,SAAS,eAAe,CACtB,UASK,EACL,OAA8E,EAC9E,IAA4E;IAE5E,IAAI,OAAO,UAAU,KAAK,QAAQ,EAAE,CAAC;QACnC,IAAI,OAAO,KAAK,SAAS,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YAChD,MAAM,IAAI,KAAK,CAAC,iEAAiE,CAAC,CAAC;QACrF,CAAC;QACD,OAAO,oBAAoB,CACzB,UAAU,EACV,OAAO,EACP,IAGyD,CAC1D,CAAC;IACJ,CAAC;IACD,MAAM,IAAI,GAAG,UAAU,CAAC,IAAI,KAAK,KAAK,CAAC;IACvC,OAAO;QACL,IAAI,EAAE,kBAAkB;QACxB,KAAK,EAAE,UAAU,CAAC,KAAK;QACvB,MAAM,EAAE,UAAU,CAAC,MAAM;QACzB,IAAI;QACJ,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,UAAU,CAAC,MAAM,IAAI,EAAE,CAAC,CAAC,CAAC;QACrD,WAAW,EAAE,eAAe,CAAC,UAAU,CAAC,SAAS,CAAC;QAClD,QAAQ,EAAE,0BAA0B,CAAC,UAAU,CAAC,QAAQ,CAAC;QACzD,UAAU,EAAE,mBAAmB,CAAC,UAAU,CAAC,UAAU,CAAC;QACtD,kBAAkB,EAAE,2BAA2B,CAC7C,UAAU,CAAC,kBAAkB,CAC9B;QACD,GAAG,EAAE,YAAY,CAAC,UAAU,CAAC,GAAG,CAAC;QACjC,GAAG,EAAE,UAAU,CAAC,GAAG;KACG,CAAC;AAC3B,CAAC;AAYD,MAAM,QAAQ,GAAG,CAAC,MAAiB,EAAE,IAAuB,EAA8B,EAAE;IAC1F,MAAM,MAAM,GAAmD,EAAE,CAAC;IAClE,KAAK,MAAM,GAAG,IAAI,IAAI,EAAE,CAAC;QACvB,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;QACjC,IAAI,KAAK,KAAK,SAAS,EAAE,CAAC;YACxB,MAAM,IAAI,KAAK,CAAC,WAAW,MAAM,CAAC,EAAE,kBAAkB,GAAG,GAAG,CAAC,CAAC;QAChE,CAAC;QACD,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,MAAwC,CAAC;IAC/D,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAMlB,IAAU,EACV,MAAS,EACT,IAAU,EACV,OAAwD,EACR,EAAE;IAClD,MAAM,SAAS,GAAG,oBAAoB,CACpC,IAAI,EACJ;QACE,EAAE,EAAE,MAAe;QACnB,KAAK,EAAE,QAAQ,CAAC,MAAM,EAAE,IAAI,CAA+C;QAC3E,MAAM,EAAE,WAAW;QACnB,GAAG,CAAC,OAAO,EAAE,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,OAAO,CAAC,GAAG,EAAE,CAAC;QACvD,GAAG,CAAC,OAAO,EAAE,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,OAAO,CAAC,MAAM,EAAE,CAAC;KACjE,EACD,CAAC,EAAE,EAAE,KAAK,EAAE,EAAE;QACZ,MAAM,IAAI,GAAI,EAAkC,CAAC,IAAI,CAAC;QACtD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,WAAW,IAAI,oCAAoC,CAAC,CAAC;QACvE,CAAC;QACA,EAAkD,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;QAChF,OAAO,EAAE,CAAC;IACZ,CAAC,CACF,CAAC;IACF,OAAO,SAAsE,CAAC;AAChF,CAAC,CAAC;AA4BF,MAAM,YAAY,GAAG,CAAsB,MAAS,EAAmB,EAAE,CACvE,MAAM,CAAC,MAAM,CACX,CAAC,CAAC,IAAI,EAAE,OAAO,EAAE,IAAI,EAAE,EAAE,CACvB,eAAe,CAAC,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,EAAE,IAAI,CAAC,CAAuB,EAC5E;IACE,KAAK,EAAE,CAAC,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,OAAO,EAAE,EAAE,CACtC,WAAW,CAAC,IAAI,EAAE,MAAM,EAAE,IAAI,EAAE,EAAE,GAAG,OAAO,EAAE,MAAM,EAAE,CAAC,CAAsB;CAChF,CACF,CAAC;AAEJ,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAIjC,KAAY,EACZ,UAA2B,EAC3B,MAAkD,EAChB,EAAE;IACpC,MAAM,GAAG,GAAsC,EAAE,CAAC;IAClD,IAAI,UAAU,KAAK,SAAS,EAAE,CAAC;QAC7B,OAAO,GAAkD,CAAC;IAC5D,CAAC;IACD,IAAI,OAAO,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;IACvE,CAAC;IACD,MAAM,WAAW,GAAG,MAAM,EAAE,CAAC,yBAAyB,CAAC,CAAC;IACxD,KAAK,MAAM,CAAC,SAAS,EAAE,SAAS,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,UAAU,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,WAAW,CAAC,SAAS,CAAC;YAAE,MAAM,gBAAgB,CAAC,WAAW,EAAE,SAAS,CAAC,CAAC;QAC5E,IACE,OAAO,SAAS,KAAK,QAAQ;YAC7B,SAAS,KAAK,IAAI;YAClB,SAAS,CAAC,IAAI,KAAK,kBAAkB,EACrC,CAAC;YACD,MAAM,IAAI,KAAK,CACb,kBAAkB,KAAK,CAAC,EAAE,IAAI,SAAS,mDAAmD,CAC3F,CAAC;QACJ,CAAC;QACD,IACE,CAAC,KAAK,CAAC,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC;YAChC,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,MAAM,EAAE,IAAI,KAAK,QAAQ,CAAC,EAC5D,CAAC;YACD,MAAM,IAAI,KAAK,CACb,kBAAkB,KAAK,CAAC,EAAE,IAAI,SAAS,yCAAyC,CACjF,CAAC;QACJ,CAAC;QACD,IACE,WAAW,KAAK,SAAS;YACxB,SAAkE,CACjE,yBAAyB,CAC1B,KAAK,WAAW,EACjB,CAAC;YACD,MAAM,IAAI,KAAK,CACb,kBAAkB,KAAK,CAAC,EAAE,IAAI,SAAS,oEAAoE,CAC5G,CAAC;QACJ,CAAC;QACD,GAAG,CAAC,SAAS,CAAC,GAAG;YACf,IAAI,EAAE,gBAAgB;YACtB,KAAK;YACL,SAAS;YACT,KAAK,EAAE,SAAS,CAAC,KAAK;YACtB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,MAAM,EAAE,SAAS,CAAC,MAAM;YACxB,WAAW,EAAE,SAAS,CAAC,WAAW,IAAI,EAAE;YACxC,QAAQ,EAAE,0BAA0B,CAAC,SAAS,CAAC,QAAQ,CAAC;YACxD,UAAU,EAAE,mBAAmB,CAAC,SAAS,CAAC,UAAU,CAAC;YACrD,kBAAkB,EAAE,2BAA2B,CAC7C,SAAS,CAAC,kBAAkB,CAC7B;YACD,GAAG,EAAE,SAAS,CAAC,GAAG;YAClB,GAAG,EAAE,SAAS,CAAC,GAAG;SACa,CAAC;IACpC,CAAC;IACD,OAAO,GAAkD,CAAC;AAC5D,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAA8B,EAAE,CAC7E,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACb,KAAqC,CAAC,IAAI,KAAK,gBAAgB,CAAC;AAEnE,MAAM,CAAC,MAAM,oBAAoB,GAAG,GAEH,EAAE;IACjC,MAAM,KAAK,GAAG,EAAE,CAAC;IACjB,MAAM,MAAM,GAAG,CAAC,CACd,IAaC,EACD,EAAE;QACF,MAAM,SAAS,GAAG,eAAe,CAC/B,IAOC,CACqB,CAAC;QACzB,MAAM,CAAC,cAAc,CAAC,SAAS,EAAE,yBAAyB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;QAC9E,OAAO,SAAS,CAAC;IACnB,CAAC,CAA2C,CAAC;IAC7C,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,yBAAyB,EAAE,EAAE,KAAK,EAAE,KAAK,EAAE,CAAC,CAAC;IAC3E,OAAO,MAAM,CAAC;AAChB,CAAC,CAAC;AAEF,+EAA+E;AAC/E,MAAM,CAAC,MAAM,SAAS,GAGlB,MAAM,CAAC,MAAM,CAAC,eAAe,EAAE,EAAE,GAAG,EAAE,YAAY,EAAE,KAAK,EAAE,WAAW,EAAE,CAAC,CAAC;AAE9E,MAAM,eAAe,GAAG,CAAC,UAAwC,EAAY,EAAE;IAC7E,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;QAC3C,IAAI,OAAO,EAAE,CAAC,IAAI,KAAK,QAAQ,IAAI,EAAE,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC;YAAE,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC,IAAI,CAAC,CAAC;IAC5E,CAAC;IACD,OAAO,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,CAAC;AAC3B,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CACtB,UAAwC,EACxC,GAA+C,EAC9B,EAAE,CACnB,eAAe,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,IAAI,EAAE,EAAE;IAC3C,MAAM,EAAE,GAAG,GAAG,CAAC,IAAI,CAAC,CAAC;IACrB,IAAI,EAAE,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IAChC,MAAM,EAAE,GAAG,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC;IACrB,OAAO;QACL;YACE,IAAI;YACJ,GAAG,CAAC,EAAE,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,GAAG,EAAE,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;YAChD,GAAG,CAAC,OAAO,EAAE,KAAK,QAAQ,IAAI,EAAE,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;SAC/D;KACF,CAAC;AACJ,CAAC,CAAC,CAAC;AAEL,MAAM,YAAY,GAAG,CACnB,UAAa,EACb,MAAkB,EACH,EAAE;IACjB,MAAM,GAAG,GAAG,CAAC,IAAY,EAA4B,EAAE;QACrD,KAAK,MAAM,EAAE,IAAI,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,EAAE,CAAC;YAC3C,IAAI,EAAE,CAAC,IAAI,KAAK,IAAI;gBAAE,OAAO,EAAE,CAAC;QAClC,CAAC;QACD,OAAO,SAAS,CAAC;IACnB,CAAC,CAAC;IACF,OAAO;QACL,IAAI,EAAE,YAAY;QAClB,UAAU;QACV,GAAG,CAAC,MAAM,KAAK,SAAS,IAAI,EAAE,MAAM,EAAE,CAAC;QACvC,GAAG;QACH,KAAK,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,UAAU,CAAC;QACxC,KAAK,EAAE,GAAG,EAAE,CAAC,eAAe,CAAC,UAAU,EAAE,GAAG,CAAC;KAC9C,CAAC;AACJ,CAAC,CAAC;AAEF,mDAAmD;AACnD,MAAM,CAAC,MAAM,UAAU,GAAG,CACxB,UAAa,EACE,EAAE,CAAC,YAAY,CAAC,UAAU,CAAC,CAAC;AAU7C,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAI9B,MAAS,EACT,UAAmC,EACV,EAAE,CAC3B,YAAY,CAAC,UAAU,EAAE,MAAM,CAAuC,CAAC;AAEzE,4CAA4C;AAC5C,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,GAA8B,EAAY,EAAE,CACzE,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;AAE5C,wDAAwD;AACxD,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,GAA8B,EACJ,EAAE,CAAC,CAAC,GAAG,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,CAAC,CAAC;AAEtE,MAAM,OAAO,GAAG,CAAC,MAAyC,EAAY,EAAE;IACtE,IACE,OAAO,MAAM,KAAK,QAAQ;QAC1B,MAAM,KAAK,IAAI;QACf,MAAM,IAAI,MAAM;QAChB,MAAM,CAAC,IAAI,KAAK,YAAY,EAC5B,CAAC;QACD,OAAO,cAAc,CAAC,MAAM,CAAC,CAAC;IAChC,CAAC;IACD,OAAO,CAAC,GAAG,IAAI,GAAG,CAAE,MAA4B,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,OAAO,CAAC,KAAK,QAAQ,IAAI,CAAC,CAAC,MAAM,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AACjH,CAAC,CAAC;AAEF;;;;GAIG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,QAA2C,EAC3C,UAA6C,EACvC,EAAE;IACR,MAAM,IAAI,GAAG,OAAO,CAAC,QAAQ,CAAC,CAAC;IAC/B,MAAM,IAAI,GAAG,IAAI,GAAG,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC,CAAC;IAC1C,MAAM,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,CAAC;IACjD,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC;QAAE,OAAO;IACjC,MAAM,IAAI,uBAAuB,CAAC;QAChC,OAAO,EAAE,0CAA0C,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,6CAA6C;QAClH,OAAO;KACR,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,OAAO,EAAE,uBAAuB,EAAE,CAAC;AAEnC,OAAO,EAAE,WAAW,EAAE,cAAc,EAAE,MAAM,gBAAgB,CAAC;AAE7D,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,MAAgC,EAChC,KAAc,EACoB,EAAE,CACpC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,KAAK,CAAC,CAAC,IAAI,CAC5C,MAAM,CAAC,QAAQ,CACb,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,cAAc,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,yBAAyB;CAChD,CAAC,CACL,CACF,CAAC;AAEJ,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAAgC,EAChC,MAAe,EACyB,EAAE,CAC1C,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAC7C,MAAM,CAAC,QAAQ,CACb,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,cAAc,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,0BAA0B;CACjD,CAAC,CACL,CACF,CAAC;AAEJ,MAAM,CAAC,MAAM,YAAY,GAAG,CAC1B,MAAgC,EAChC,MAAe,EACmB,EAAE,CACpC,MAAM,CAAC,mBAAmB,CAAC,MAAM,CAAC,CAAC,MAAM,CAAC,CAAC,IAAI,CAC7C,MAAM,CAAC,QAAQ,CACb,CAAC,CAAC,EAAE,EAAE,CACJ,IAAI,cAAc,CAAC;IACjB,OAAO,EAAE,CAAC,CAAC,OAAO,IAAI,0BAA0B;CACjD,CAAC,CACL,CACF,CAAC"}

package/dist/db/Projection.d.ts

@@ -0,0 +1,97 @@
+import type { Cardinality } from "./Field.ts";
+import { type ClientRef, type MutationRef } from "./refs.ts";
+import type { DbValueType } from "./valueTypes.ts";
+export type ProjectionValue = {
+    readonly type: "long";
+    readonly value: number;
+} | {
+    readonly type: "double";
+    readonly value: number | "positive-infinity" | "negative-infinity";
+} | {
+    readonly type: "string";
+    readonly value: string;
+} | {
+    readonly type: "boolean";
+    readonly value: boolean;
+} | {
+    readonly type: "ref";
+    readonly value: MutationRef;
+} | {
+    readonly type: "uuid";
+    readonly value: string;
+} | {
+    readonly type: "instant";
+    readonly value: number;
+} | {
+    readonly type: "bytes";
+    readonly value: string;
+};
+export type ProjectionOp = {
+    readonly op: "set";
+    readonly entity: MutationRef;
+    readonly field: string;
+    readonly value: ProjectionValue;
+} | {
+    readonly op: "remove";
+    readonly entity: MutationRef;
+    readonly field: string;
+    readonly value: ProjectionValue | null;
+} | {
+    readonly op: "create";
+    readonly entity: ClientRef;
+    readonly slot: string;
+    readonly type: string;
+} | {
+    readonly op: "delete";
+    readonly entity: MutationRef;
+};
+export type ProjectionChangeset = readonly ProjectionOp[];
+/** What `tx.set` / `tx.remove` accept: a stamped field ref carries both. */
+export type ProjectionField = {
+    readonly ident: string;
+    readonly valueType: DbValueType | undefined;
+    readonly cardinality?: Cardinality;
+};
+/** What `tx.create` accepts: an entity definition names its own type. */
+export type ProjectionEntity = {
+    readonly ns: string;
+};
+/**
+ * The transaction builder. Every verb returns the builder so a projection reads
+ * as one expression; `create` returns the slot's client ref instead, because
+ * that is the value the rest of the projection needs.
+ *
+ * It accumulates plain data and reads nothing.
+ */
+export interface ProjectionTx {
+    set(entity: MutationRef, field: ProjectionField, value: unknown): ProjectionTx;
+    remove(entity: MutationRef, field: ProjectionField, value?: unknown): ProjectionTx;
+    create(slot: string, definition: ProjectionEntity): ClientRef;
+    delete(entity: MutationRef): ProjectionTx;
+}
+/** Everything a projection may observe. */
+export type ProjectionContext<Input> = {
+    readonly input: Input;
+    readonly self: MutationRef | undefined;
+    readonly tx: ProjectionTx;
+};
+/** One declared optimistic projection. Synchronous, and returns nothing. */
+export type OptimisticProjection<Input> = (context: ProjectionContext<Input>) => void;
+/** Erased projection, for registries that cannot name the input type. */
+export type AnyOptimisticProjection = OptimisticProjection<never>;
+export declare const DEFAULT_PROJECTION_REVISION = 1;
+export declare const normalizeProjectionRevision: (value: unknown) => number;
+export type ProjectionInvocation<Input> = {
+    readonly input: Input;
+    readonly self?: MutationRef | undefined;
+    readonly allocations?: Readonly<Record<string, ClientRef>> | undefined;
+};
+export type ProjectionOutcome = {
+    readonly type: "changeset";
+    readonly changeset: ProjectionChangeset;
+} | {
+    readonly type: "failed";
+    readonly reason: string;
+};
+export declare const runProjection: <Input>(projection: OptimisticProjection<Input>, invocation: ProjectionInvocation<Input>) => ProjectionOutcome;
+//# sourceMappingURL=Projection.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Projection.d.ts","sourceRoot":"","sources":["../../src/db/Projection.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AAC9C,OAAO,EAA8B,KAAK,SAAS,EAAE,KAAK,WAAW,EAAE,MAAM,WAAW,CAAC;AACzF,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAC;AAMnD,MAAM,MAAM,eAAe,GACvB;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjD;IACA,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,GAAG,mBAAmB,GAAG,mBAAmB,CAAC;CACpE,GACC;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,WAAW,CAAA;CAAE,GACrD;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACjD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,GACpD;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,MAAM,MAAM,YAAY,GACpB;IACA,QAAQ,CAAC,EAAE,EAAE,KAAK,CAAC;IACnB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC;CACjC,GACC;IACA,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC;IAC7B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,eAAe,GAAG,IAAI,CAAC;CACxC,GACC;IACA,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IACtB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;CACvB,GACC;IAAE,QAAQ,CAAC,EAAE,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAA;CAAE,CAAC;AAE5D,MAAM,MAAM,mBAAmB,GAAG,SAAS,YAAY,EAAE,CAAC;AAE1D,4EAA4E;AAC5E,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,SAAS,EAAE,WAAW,GAAG,SAAS,CAAC;IAC5C,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,CAAC;CACpC,CAAC;AAEF,yEAAyE;AACzE,MAAM,MAAM,gBAAgB,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD;;;;;;GAMG;AACH,MAAM,WAAW,YAAY;IAC3B,GAAG,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,EAAE,OAAO,GAAG,YAAY,CAAC;IAC/E,MAAM,CAAC,MAAM,EAAE,WAAW,EAAE,KAAK,EAAE,eAAe,EAAE,KAAK,CAAC,EAAE,OAAO,GAAG,YAAY,CAAC;IACnF,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,UAAU,EAAE,gBAAgB,GAAG,SAAS,CAAC;IAC9D,MAAM,CAAC,MAAM,EAAE,WAAW,GAAG,YAAY,CAAC;CAC3C;AAED,2CAA2C;AAC3C,MAAM,MAAM,iBAAiB,CAAC,KAAK,IAAI;IACrC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,IAAI,EAAE,WAAW,GAAG,SAAS,CAAC;IACvC,QAAQ,CAAC,EAAE,EAAE,YAAY,CAAC;CAC3B,CAAC;AAEF,4EAA4E;AAC5E,MAAM,MAAM,oBAAoB,CAAC,KAAK,IAAI,CACxC,OAAO,EAAE,iBAAiB,CAAC,KAAK,CAAC,KAC9B,IAAI,CAAC;AAEV,yEAAyE;AACzE,MAAM,MAAM,uBAAuB,GAAG,oBAAoB,CAAC,KAAK,CAAC,CAAC;AAElE,eAAO,MAAM,2BAA2B,IAAI,CAAC;AAE7C,eAAO,MAAM,2BAA2B,UAAW,OAAO,KAAG,MAQ5D,CAAC;AAEF,MAAM,MAAM,oBAAoB,CAAC,KAAK,IAAI;IACxC,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAC;IACtB,QAAQ,CAAC,IAAI,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IACxC,QAAQ,CAAC,WAAW,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,GAAG,SAAS,CAAC;CACxE,CAAC;AAEF,MAAM,MAAM,iBAAiB,GACzB;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,SAAS,EAAE,mBAAmB,CAAA;CAAE,GACvE;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CAAE,CAAC;AAkKzD,eAAO,MAAM,aAAa,GAAI,KAAK,cACrB,oBAAoB,CAAC,KAAK,CAAC,cAC3B,oBAAoB,CAAC,KAAK,CAAC,KACtC,iBA8BF,CAAC"}

package/dist/db/Projection.js

@@ -0,0 +1,183 @@
+import { bytesToBase64 } from "../internal/core/log.js";
+import { isClientRef, isMutationRef } from "./refs.js";
+const fail = (detail) => {
+    throw new Error(`ramose/projection: ${detail}`);
+};
+export const DEFAULT_PROJECTION_REVISION = 1;
+export const normalizeProjectionRevision = (value) => {
+    if (value === undefined)
+        return DEFAULT_PROJECTION_REVISION;
+    if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 1) {
+        fail(`a projection revision must be a positive integer, not ${JSON.stringify(value)}`);
+    }
+    return value;
+};
+const requireTarget = (entity) => {
+    if (!isMutationRef(entity)) {
+        fail("a projection target must be an EntityId or a ClientRef");
+    }
+    return entity;
+};
+const finiteDouble = (value) => {
+    if (Number.isNaN(value))
+        fail("a double value must not be NaN");
+    return {
+        type: "double",
+        value: value === Number.POSITIVE_INFINITY
+            ? "positive-infinity"
+            : value === Number.NEGATIVE_INFINITY
+                ? "negative-infinity"
+                : value + 0,
+    };
+};
+const integral = (type, ident, value) => {
+    const millis = type === "instant" && value instanceof Date
+        ? value.getTime()
+        : value;
+    if (typeof millis !== "number" || !Number.isSafeInteger(millis)) {
+        fail(`${ident} expects a safe integer ${type}`);
+    }
+    return { type, value: millis };
+};
+const lowerValue = (field, value) => {
+    const ident = field.ident;
+    switch (field.valueType) {
+        case undefined:
+            return fail(`${ident} has no declared value type — brand its schema with stored(schema, valueType)`);
+        case "ref":
+            if (!isMutationRef(value)) {
+                fail(`${ident} expects an EntityId or a ClientRef`);
+            }
+            return { type: "ref", value: value };
+        case "string":
+            if (typeof value !== "string")
+                fail(`${ident} expects a string`);
+            return { type: "string", value: value };
+        case "uuid":
+            if (typeof value !== "string")
+                fail(`${ident} expects a uuid string`);
+            return { type: "uuid", value: value };
+        case "boolean":
+            if (typeof value !== "boolean")
+                fail(`${ident} expects a boolean`);
+            return { type: "boolean", value: value };
+        case "long":
+            return integral("long", ident, value);
+        case "instant":
+            return integral("instant", ident, value);
+        case "double":
+            if (typeof value !== "number")
+                fail(`${ident} expects a number`);
+            return finiteDouble(value);
+        case "bytes":
+            if (!(value instanceof Uint8Array))
+                fail(`${ident} expects a Uint8Array`);
+            return { type: "bytes", value: bytesToBase64(value) };
+    }
+};
+const RESERVED_NAMESPACES = [":db/", ":db.", ":ramose/"];
+const requireField = (field) => {
+    if (typeof field !== "object" || field === null ||
+        typeof field.ident !== "string" || !field.ident.startsWith(":")) {
+        fail("a projection field must be a stamped field ref (Issue.status)");
+    }
+    if (RESERVED_NAMESPACES.some((prefix) => field.ident.startsWith(prefix))) {
+        fail(`${field.ident} is engine metadata and is not a projectable field`);
+    }
+    return field.ident;
+};
+class Builder {
+    allocations;
+    ops = [];
+    sealed = false;
+    constructor(allocations) {
+        this.allocations = allocations;
+    }
+    seal() {
+        this.sealed = true;
+    }
+    open() {
+        if (this.sealed) {
+            fail("the transaction builder is only usable while the projection runs");
+        }
+    }
+    set(entity, field, value) {
+        this.open();
+        const ident = requireField(field);
+        this.ops.push({
+            op: "set",
+            entity: requireTarget(entity),
+            field: ident,
+            value: lowerValue(field, value),
+        });
+        return this;
+    }
+    remove(entity, field, value) {
+        this.open();
+        const ident = requireField(field);
+        this.ops.push({
+            op: "remove",
+            entity: requireTarget(entity),
+            field: ident,
+            value: value === undefined ? null : lowerValue(field, value),
+        });
+        return this;
+    }
+    create(slot, definition) {
+        this.open();
+        const ref = Object.hasOwn(this.allocations, slot)
+            ? this.allocations[slot]
+            : undefined;
+        if (!isClientRef(ref)) {
+            fail(`${JSON.stringify(slot)} is not a declared allocation slot of this invocation`);
+        }
+        if (typeof definition !== "object" || definition === null ||
+            typeof definition.ns !== "string" || definition.ns.length === 0) {
+            fail(`create(${JSON.stringify(slot)}) needs an entity definition`);
+        }
+        this.ops.push({
+            op: "create",
+            entity: ref,
+            slot,
+            type: definition.ns,
+        });
+        return ref;
+    }
+    delete(entity) {
+        this.open();
+        this.ops.push({ op: "delete", entity: requireTarget(entity) });
+        return this;
+    }
+}
+export const runProjection = (projection, invocation) => {
+    const builder = new Builder(invocation.allocations ?? {});
+    try {
+        const returned = projection({
+            input: invocation.input,
+            self: invocation.self,
+            tx: builder,
+        });
+        if (typeof returned?.then ===
+            "function") {
+            void returned.catch(() => { });
+            return Object.freeze({
+                type: "failed",
+                reason: "ramose/projection: a projection must be synchronous",
+            });
+        }
+    }
+    catch (cause) {
+        return Object.freeze({
+            type: "failed",
+            reason: cause instanceof Error ? cause.message : String(cause),
+        });
+    }
+    finally {
+        builder.seal();
+    }
+    return Object.freeze({
+        type: "changeset",
+        changeset: Object.freeze(builder.ops.map((op) => Object.freeze(op))),
+    });
+};
+//# sourceMappingURL=Projection.js.map

package/dist/db/Projection.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Projection.js","sourceRoot":"","sources":["../../src/db/Projection.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,aAAa,EAAE,MAAM,yBAAyB,CAAC;AAExD,OAAO,EAAE,WAAW,EAAE,aAAa,EAAoC,MAAM,WAAW,CAAC;AAGzF,MAAM,IAAI,GAAG,CAAC,MAAc,EAAS,EAAE;IACrC,MAAM,IAAI,KAAK,CAAC,sBAAsB,MAAM,EAAE,CAAC,CAAC;AAClD,CAAC,CAAC;AA6EF,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,CAAC;AAE7C,MAAM,CAAC,MAAM,2BAA2B,GAAG,CAAC,KAAc,EAAU,EAAE;IACpE,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,2BAA2B,CAAC;IAC5D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;QAC3E,IAAI,CACF,yDAAyD,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACjF,CAAC;IACJ,CAAC;IACD,OAAO,KAAe,CAAC;AACzB,CAAC,CAAC;AAYF,MAAM,aAAa,GAAG,CAAC,MAAe,EAAe,EAAE;IACrD,IAAI,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3B,IAAI,CAAC,wDAAwD,CAAC,CAAC;IACjE,CAAC;IACD,OAAO,MAAqB,CAAC;AAC/B,CAAC,CAAC;AAEF,MAAM,YAAY,GAAG,CAAC,KAAa,EAAmB,EAAE;IACtD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC;QAAE,IAAI,CAAC,gCAAgC,CAAC,CAAC;IAChE,OAAO;QACL,IAAI,EAAE,QAAQ;QACd,KAAK,EAAE,KAAK,KAAK,MAAM,CAAC,iBAAiB;YACvC,CAAC,CAAC,mBAAmB;YACrB,CAAC,CAAC,KAAK,KAAK,MAAM,CAAC,iBAAiB;gBAClC,CAAC,CAAC,mBAAmB;gBACrB,CAAC,CAAC,KAAK,GAAG,CAAC;KAChB,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,IAAwB,EACxB,KAAa,EACb,KAAc,EACG,EAAE;IACnB,MAAM,MAAM,GAAG,IAAI,KAAK,SAAS,IAAI,KAAK,YAAY,IAAI;QACxD,CAAC,CAAC,KAAK,CAAC,OAAO,EAAE;QACjB,CAAC,CAAC,KAAK,CAAC;IACV,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC;QAChE,IAAI,CAAC,GAAG,KAAK,2BAA2B,IAAI,EAAE,CAAC,CAAC;IAClD,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,MAAgB,EAAE,CAAC;AAC3C,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CAAC,KAAsB,EAAE,KAAc,EAAmB,EAAE;IAC7E,MAAM,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;IAC1B,QAAQ,KAAK,CAAC,SAAS,EAAE,CAAC;QACxB,KAAK,SAAS;YACZ,OAAO,IAAI,CACT,GAAG,KAAK,+EAA+E,CACxF,CAAC;QACJ,KAAK,KAAK;YACR,IAAI,CAAC,aAAa,CAAC,KAAK,CAAC,EAAE,CAAC;gBAC1B,IAAI,CAAC,GAAG,KAAK,qCAAqC,CAAC,CAAC;YACtD,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,KAAoB,EAAE,CAAC;QACtD,KAAK,QAAQ;YACX,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;YACjE,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,KAAe,EAAE,CAAC;QACpD,KAAK,MAAM;YACT,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,GAAG,KAAK,wBAAwB,CAAC,CAAC;YACtE,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,KAAe,EAAE,CAAC;QAClD,KAAK,SAAS;YACZ,IAAI,OAAO,KAAK,KAAK,SAAS;gBAAE,IAAI,CAAC,GAAG,KAAK,oBAAoB,CAAC,CAAC;YACnE,OAAO,EAAE,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,KAAgB,EAAE,CAAC;QACtD,KAAK,MAAM;YACT,OAAO,QAAQ,CAAC,MAAM,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QACxC,KAAK,SAAS;YACZ,OAAO,QAAQ,CAAC,SAAS,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC3C,KAAK,QAAQ;YACX,IAAI,OAAO,KAAK,KAAK,QAAQ;gBAAE,IAAI,CAAC,GAAG,KAAK,mBAAmB,CAAC,CAAC;YACjE,OAAO,YAAY,CAAC,KAAe,CAAC,CAAC;QACvC,KAAK,OAAO;YACV,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC;gBAAE,IAAI,CAAC,GAAG,KAAK,uBAAuB,CAAC,CAAC;YAC1E,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,KAAmB,CAAC,EAAE,CAAC;IACxE,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,mBAAmB,GAAG,CAAC,MAAM,EAAE,MAAM,EAAE,UAAU,CAAC,CAAC;AAEzD,MAAM,YAAY,GAAG,CAAC,KAAsB,EAAU,EAAE;IACtD,IACE,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAC3C,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,GAAG,CAAC,EAC/D,CAAC;QACD,IAAI,CAAC,+DAA+D,CAAC,CAAC;IACxE,CAAC;IACD,IAAI,mBAAmB,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,EAAE,CAAC,KAAK,CAAC,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC,EAAE,CAAC;QACzE,IAAI,CAAC,GAAG,KAAK,CAAC,KAAK,oDAAoD,CAAC,CAAC;IAC3E,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC;AACrB,CAAC,CAAC;AAEF,MAAM,OAAO;IAKQ,WAAW;IAJrB,GAAG,GAAmB,EAAE,CAAC;IAC1B,MAAM,GAAG,KAAK,CAAC;IAEvB,YACmB,WAAgD;2BAAhD,WAAW;IAC3B,CAAC;IAEJ,IAAI;QACF,IAAI,CAAC,MAAM,GAAG,IAAI,CAAC;IACrB,CAAC;IAEO,IAAI;QACV,IAAI,IAAI,CAAC,MAAM,EAAE,CAAC;YAChB,IAAI,CAAC,kEAAkE,CAAC,CAAC;QAC3E,CAAC;IACH,CAAC;IAED,GAAG,CAAC,MAAmB,EAAE,KAAsB,EAAE,KAAc;QAC7D,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,KAAK;YACT,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC;YAC7B,KAAK,EAAE,KAAK;YACZ,KAAK,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;SAChC,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CACJ,MAAmB,EACnB,KAAsB,EACtB,KAAe;QAEf,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,MAAM,KAAK,GAAG,YAAY,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,QAAQ;YACZ,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC;YAC7B,KAAK,EAAE,KAAK;YACZ,KAAK,EAAE,KAAK,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC;SAC7D,CAAC,CAAC;QACH,OAAO,IAAI,CAAC;IACd,CAAC;IAED,MAAM,CAAC,IAAY,EAAE,UAA4B;QAC/C,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,EAAE,IAAI,CAAC;YAC/C,CAAC,CAAC,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;YACxB,CAAC,CAAC,SAAS,CAAC;QACd,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC,EAAE,CAAC;YACtB,IAAI,CACF,GAAG,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,uDAAuD,CAC/E,CAAC;QACJ,CAAC;QACD,IACE,OAAO,UAAU,KAAK,QAAQ,IAAI,UAAU,KAAK,IAAI;YACrD,OAAO,UAAU,CAAC,EAAE,KAAK,QAAQ,IAAI,UAAU,CAAC,EAAE,CAAC,MAAM,KAAK,CAAC,EAC/D,CAAC;YACD,IAAI,CAAC,UAAU,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,8BAA8B,CAAC,CAAC;QACrE,CAAC;QACD,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC;YACZ,EAAE,EAAE,QAAQ;YACZ,MAAM,EAAE,GAAgB;YACxB,IAAI;YACJ,IAAI,EAAE,UAAU,CAAC,EAAE;SACpB,CAAC,CAAC;QACH,OAAO,GAAgB,CAAC;IAC1B,CAAC;IAED,MAAM,CAAC,MAAmB;QACxB,IAAI,CAAC,IAAI,EAAE,CAAC;QACZ,IAAI,CAAC,GAAG,CAAC,IAAI,CAAC,EAAE,EAAE,EAAE,QAAQ,EAAE,MAAM,EAAE,aAAa,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QAC/D,OAAO,IAAI,CAAC;IACd,CAAC;CACF;AAED,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,UAAuC,EACvC,UAAuC,EACpB,EAAE;IACrB,MAAM,OAAO,GAAG,IAAI,OAAO,CAAC,UAAU,CAAC,WAAW,IAAI,EAAE,CAAC,CAAC;IAC1D,IAAI,CAAC;QACH,MAAM,QAAQ,GAAY,UAAU,CAAC;YACnC,KAAK,EAAE,UAAU,CAAC,KAAK;YACvB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,EAAE,EAAE,OAAO;SACZ,CAAC,CAAC;QACH,IACE,OAAQ,QAAoD,EAAE,IAAI;YAChE,UAAU,EACZ,CAAC;YACD,KAAM,QAA6B,CAAC,KAAK,CAAC,GAAG,EAAE,GAAE,CAAC,CAAC,CAAC;YACpD,OAAO,MAAM,CAAC,MAAM,CAAC;gBACnB,IAAI,EAAE,QAAiB;gBACvB,MAAM,EAAE,qDAAqD;aAC9D,CAAC,CAAC;QACL,CAAC;IACH,CAAC;IAAC,OAAO,KAAK,EAAE,CAAC;QACf,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,QAAiB;YACvB,MAAM,EAAE,KAAK,YAAY,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAC,CAAC,MAAM,CAAC,KAAK,CAAC;SAC/D,CAAC,CAAC;IACL,CAAC;YAAS,CAAC;QACT,OAAO,CAAC,IAAI,EAAE,CAAC;IACjB,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI,EAAE,WAAoB;QAC1B,SAAS,EAAE,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,EAAE,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC,CAAC;KACrE,CAAC,CAAC;AACL,CAAC,CAAC"}