ramosedb 0.0.1 → 0.4.0

package/dist/internal/authorization/operation-version.js

@@ -0,0 +1,206 @@
+import * as Effect from "effect/Effect";
+import { hashDomainSeparatedCanonicalJson } from "./decode.js";
+import { OperationVersion, } from "./identities.js";
+const OPERATION_VERSION_DOMAIN_V1 = "ramose/operation-version/v1\0";
+export const OPERATION_VERSION_DESCRIPTOR_VERSION = 2;
+export const DEFAULT_OPERATION_REVISION = 1;
+export const requireOperationRevision = (value, label) => {
+    if (value === undefined)
+        return DEFAULT_OPERATION_REVISION;
+    if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 1) {
+        throw new Error(`ramose: ${label} revision must be a positive integer, not ${JSON.stringify(value)}`);
+    }
+    return value;
+};
+const sortedNames = (names) => [...new Set(names)].sort();
+const DOCUMENTATION_KEYWORDS = new Set([
+    "title",
+    "description",
+    "$comment",
+    "examples",
+]);
+const SUBSCHEMA_KEYWORDS = new Set([
+    "additionalItems",
+    "additionalProperties",
+    "contains",
+    "contentSchema",
+    "else",
+    "if",
+    "items",
+    "not",
+    "propertyNames",
+    "then",
+    "unevaluatedItems",
+    "unevaluatedProperties",
+]);
+const SUBSCHEMA_LIST_KEYWORDS = new Set([
+    "allOf",
+    "anyOf",
+    "oneOf",
+    "prefixItems",
+]);
+const SUBSCHEMA_MAP_KEYWORDS = new Set([
+    "$defs",
+    "definitions",
+    "dependentSchemas",
+    "patternProperties",
+    "properties",
+]);
+const isJsonObject = (value) => typeof value === "object" && value !== null && !Array.isArray(value);
+const stripSchemaDocumentation = (node) => {
+    if (Array.isArray(node))
+        return node.map(stripSchemaDocumentation);
+    if (!isJsonObject(node))
+        return node;
+    const out = {};
+    for (const [key, value] of Object.entries(node)) {
+        if (DOCUMENTATION_KEYWORDS.has(key))
+            continue;
+        if (SUBSCHEMA_KEYWORDS.has(key)) {
+            out[key] = stripSchemaDocumentation(value);
+        }
+        else if (SUBSCHEMA_LIST_KEYWORDS.has(key) && Array.isArray(value)) {
+            out[key] = value.map(stripSchemaDocumentation);
+        }
+        else if (SUBSCHEMA_MAP_KEYWORDS.has(key) && isJsonObject(value)) {
+            out[key] = Object.fromEntries(Object.entries(value).map(([name, child]) => [
+                name,
+                stripSchemaDocumentation(child),
+            ]));
+        }
+        else {
+            out[key] = value;
+        }
+    }
+    return out;
+};
+const DEFINITION_REF_PREFIXES = ["#/$defs/", "#/definitions/"];
+const CANONICAL_REF_PREFIX = "#/$defs/";
+const definitionRefName = (value, names) => {
+    if (typeof value !== "string")
+        return undefined;
+    for (const prefix of DEFINITION_REF_PREFIXES) {
+        if (value.startsWith(prefix)) {
+            const name = value.slice(prefix.length);
+            if (names.has(name))
+                return name;
+        }
+    }
+    return undefined;
+};
+const orderDefinitionNames = (node, definitions, names, order) => {
+    if (Array.isArray(node)) {
+        for (const item of node)
+            orderDefinitionNames(item, definitions, names, order);
+        return;
+    }
+    if (!isJsonObject(node))
+        return;
+    const referenced = definitionRefName(node.$ref, names);
+    if (referenced !== undefined && !order.includes(referenced)) {
+        order.push(referenced);
+        orderDefinitionNames(definitions[referenced], definitions, names, order);
+    }
+    for (const key of Object.keys(node).sort()) {
+        if (key === "$ref")
+            continue;
+        orderDefinitionNames(node[key], definitions, names, order);
+    }
+};
+const rewriteDefinitionRefs = (node, names, renamed) => {
+    if (Array.isArray(node)) {
+        return node.map((item) => rewriteDefinitionRefs(item, names, renamed));
+    }
+    if (!isJsonObject(node))
+        return node;
+    const out = {};
+    for (const [key, value] of Object.entries(node)) {
+        const referenced = key === "$ref"
+            ? definitionRefName(value, names)
+            : undefined;
+        out[key] = referenced === undefined
+            ? rewriteDefinitionRefs(value, names, renamed)
+            : `${CANONICAL_REF_PREFIX}${renamed.get(referenced)}`;
+    }
+    return out;
+};
+const canonicalizeDefinitionNames = (document, mapKey) => {
+    const definitions = document[mapKey];
+    const names = new Set(Object.keys(definitions));
+    if (names.size === 0)
+        return document;
+    const order = [];
+    orderDefinitionNames(document.schema, definitions, names, order);
+    for (const name of [...names].sort()) {
+        if (!order.includes(name))
+            order.push(name);
+    }
+    const renamed = new Map(order.map((name, index) => [name, `d${index}`]));
+    return {
+        ...document,
+        schema: rewriteDefinitionRefs(document.schema, names, renamed),
+        [mapKey]: Object.fromEntries(order.map((name) => [
+            renamed.get(name),
+            rewriteDefinitionRefs(definitions[name], names, renamed),
+        ])),
+    };
+};
+export const normalizeContractRepresentation = (representation) => {
+    if (!isJsonObject(representation) || representation.schema === undefined) {
+        return representation;
+    }
+    const out = {};
+    let mapKey;
+    for (const [key, value] of Object.entries(representation)) {
+        if (key === "schema") {
+            out[key] = stripSchemaDocumentation(value);
+        }
+        else if ((key === "definitions" || key === "$defs") && isJsonObject(value)) {
+            if (mapKey === undefined)
+                mapKey = key;
+            out[key] = Object.fromEntries(Object.entries(value).map(([name, child]) => [
+                name,
+                stripSchemaDocumentation(child),
+            ]));
+        }
+        else {
+            out[key] = value;
+        }
+    }
+    return mapKey === undefined ? out : canonicalizeDefinitionNames(out, mapKey);
+};
+export const operationVersionMaterial = (descriptor) => ({
+    version: OPERATION_VERSION_DESCRIPTOR_VERSION,
+    operation: {
+        catalog: descriptor.catalog,
+        owner: { kind: descriptor.owner.kind, name: descriptor.owner.name },
+        localName: descriptor.localName,
+        target: descriptor.target,
+    },
+    revision: descriptor.revision,
+    contract: {
+        input: {
+            representation: normalizeContractRepresentation(descriptor.input.representation),
+            shape: descriptor.input.shape,
+        },
+        output: {
+            representation: normalizeContractRepresentation(descriptor.output.representation),
+            shape: descriptor.output.shape,
+        },
+    },
+    behavior: {
+        composers: [...sortedNames(descriptor.composers)],
+        writes: [...sortedNames(descriptor.writes)],
+        allocations: [...descriptor.allocations]
+            .sort((left, right) => (left.slot < right.slot ? -1 : left.slot > right.slot ? 1 : 0))
+            .map((allocation) => ({
+            slot: allocation.slot,
+            path: [...allocation.path],
+        })),
+    },
+});
+export const hashOperationVersion = Effect.fn("Authorization.hashOperationVersion")(function* (descriptor) {
+    const digest = yield* hashDomainSeparatedCanonicalJson(OPERATION_VERSION_DOMAIN_V1, operationVersionMaterial(descriptor));
+    return OperationVersion.make(digest);
+});
+//# sourceMappingURL=operation-version.js.map

package/dist/internal/authorization/operation-version.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"operation-version.js","sourceRoot":"","sources":["../../../src/internal/authorization/operation-version.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAAE,gCAAgC,EAAE,MAAM,aAAa,CAAC;AAC/D,OAAO,EACL,gBAAgB,GAIjB,MAAM,iBAAiB,CAAC;AAGzB,MAAM,2BAA2B,GAAG,+BAA+B,CAAC;AAEpE,MAAM,CAAC,MAAM,oCAAoC,GAAG,CAAU,CAAC;AAE/D,MAAM,CAAC,MAAM,0BAA0B,GAAG,CAAC,CAAC;AAoB5C,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,KAAc,EACd,KAAa,EACL,EAAE;IACV,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,WAAW,KAAK,6CAA6C,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CACrF,CAAC;IACJ,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAAC,KAAwB,EAAqB,EAAE,CAClE,CAAC,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,CAAC,CAAC,IAAI,EAAE,CAAC;AAE7B,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC;IACrC,OAAO;IACP,aAAa;IACb,UAAU;IACV,UAAU;CACX,CAAC,CAAC;AACH,MAAM,kBAAkB,GAAG,IAAI,GAAG,CAAC;IACjC,iBAAiB;IACjB,sBAAsB;IACtB,UAAU;IACV,eAAe;IACf,MAAM;IACN,IAAI;IACJ,OAAO;IACP,KAAK;IACL,eAAe;IACf,MAAM;IACN,kBAAkB;IAClB,uBAAuB;CACxB,CAAC,CAAC;AACH,MAAM,uBAAuB,GAAG,IAAI,GAAG,CAAC;IACtC,OAAO;IACP,OAAO;IACP,OAAO;IACP,aAAa;CACd,CAAC,CAAC;AACH,MAAM,sBAAsB,GAAG,IAAI,GAAG,CAAC;IACrC,OAAO;IACP,aAAa;IACb,kBAAkB;IAClB,mBAAmB;IACnB,YAAY;CACb,CAAC,CAAC;AAEH,MAAM,YAAY,GAAG,CAAC,KAAc,EAAsC,EAAE,CAC1E,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC;AAEvE,MAAM,wBAAwB,GAAG,CAAC,IAAe,EAAa,EAAE;IAC9D,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;IACnE,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,GAAG,GAA8B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,IAAI,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC;YAAE,SAAS;QAC9C,IAAI,kBAAkB,CAAC,GAAG,CAAC,GAAG,CAAC,EAAE,CAAC;YAChC,GAAG,CAAC,GAAG,CAAC,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;QAC7C,CAAC;aAAM,IAAI,uBAAuB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACpE,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,GAAG,CAAC,wBAAwB,CAAC,CAAC;QACjD,CAAC;aAAM,IAAI,sBAAsB,CAAC,GAAG,CAAC,GAAG,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EAAE,CAAC;YAClE,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,CAC3B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC3C,IAAI;gBACJ,wBAAwB,CAAC,KAAK,CAAC;aAChC,CAAC,CACH,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,uBAAuB,GAAG,CAAC,UAAU,EAAE,gBAAgB,CAAC,CAAC;AAC/D,MAAM,oBAAoB,GAAG,UAAU,CAAC;AAExC,MAAM,iBAAiB,GAAG,CACxB,KAA4B,EAC5B,KAA0B,EACN,EAAE;IACtB,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,SAAS,CAAC;IAChD,KAAK,MAAM,MAAM,IAAI,uBAAuB,EAAE,CAAC;QAC7C,IAAI,KAAK,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,CAAC;YAC7B,MAAM,IAAI,GAAG,KAAK,CAAC,KAAK,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC;YACxC,IAAI,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC;gBAAE,OAAO,IAAI,CAAC;QACnC,CAAC;IACH,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,oBAAoB,GAAG,CAC3B,IAAe,EACf,WAAsC,EACtC,KAA0B,EAC1B,KAAe,EACT,EAAE;IACR,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,KAAK,MAAM,IAAI,IAAI,IAAI;YAAE,oBAAoB,CAAC,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/E,OAAO;IACT,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO;IAChC,MAAM,UAAU,GAAG,iBAAiB,CAAC,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,CAAC;IACvD,IAAI,UAAU,KAAK,SAAS,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,UAAU,CAAC,EAAE,CAAC;QAC5D,KAAK,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;QACvB,oBAAoB,CAAC,WAAW,CAAC,UAAU,CAAE,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC5E,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC3C,IAAI,GAAG,KAAK,MAAM;YAAE,SAAS;QAC7B,oBAAoB,CAAC,IAAI,CAAC,GAAG,CAAE,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAC5B,IAAe,EACf,KAA0B,EAC1B,OAAoC,EACzB,EAAE;IACb,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QACxB,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,qBAAqB,CAAC,IAAI,EAAE,KAAK,EAAE,OAAO,CAAC,CAAC,CAAC;IACzE,CAAC;IACD,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC;QAAE,OAAO,IAAI,CAAC;IACrC,MAAM,GAAG,GAA8B,EAAE,CAAC;IAC1C,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;QAChD,MAAM,UAAU,GAAG,GAAG,KAAK,MAAM;YAC/B,CAAC,CAAC,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC;YACjC,CAAC,CAAC,SAAS,CAAC;QACd,GAAG,CAAC,GAAG,CAAC,GAAG,UAAU,KAAK,SAAS;YACjC,CAAC,CAAC,qBAAqB,CAAC,KAAK,EAAE,KAAK,EAAE,OAAO,CAAC;YAC9C,CAAC,CAAC,GAAG,oBAAoB,GAAG,OAAO,CAAC,GAAG,CAAC,UAAU,CAAE,EAAE,CAAC;IAC3D,CAAC;IACD,OAAO,GAAG,CAAC;AACb,CAAC,CAAC;AAEF,MAAM,2BAA2B,GAAG,CAClC,QAAmC,EACnC,MAA+B,EACJ,EAAE;IAC7B,MAAM,WAAW,GAAG,QAAQ,CAAC,MAAM,CAA8B,CAAC;IAClE,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,WAAW,CAAC,CAAC,CAAC;IAChD,IAAI,KAAK,CAAC,IAAI,KAAK,CAAC;QAAE,OAAO,QAAQ,CAAC;IACtC,MAAM,KAAK,GAAa,EAAE,CAAC;IAC3B,oBAAoB,CAAC,QAAQ,CAAC,MAAO,EAAE,WAAW,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAClE,KAAK,MAAM,IAAI,IAAI,CAAC,GAAG,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACrC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC;YAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;IAC9C,CAAC;IACD,MAAM,OAAO,GAAG,IAAI,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,EAAE,IAAI,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC;IACzE,OAAO;QACL,GAAG,QAAQ;QACX,MAAM,EAAE,qBAAqB,CAAC,QAAQ,CAAC,MAAO,EAAE,KAAK,EAAE,OAAO,CAAC;QAC/D,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,WAAW,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;YAC/C,OAAO,CAAC,GAAG,CAAC,IAAI,CAAE;YAClB,qBAAqB,CAAC,WAAW,CAAC,IAAI,CAAE,EAAE,KAAK,EAAE,OAAO,CAAC;SAC1D,CAAC,CAAC;KACJ,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,+BAA+B,GAAG,CAC7C,cAAyB,EACd,EAAE;IACb,IAAI,CAAC,YAAY,CAAC,cAAc,CAAC,IAAI,cAAc,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QACzE,OAAO,cAAc,CAAC;IACxB,CAAC;IACD,MAAM,GAAG,GAA8B,EAAE,CAAC;IAC1C,IAAI,MAA2C,CAAC;IAChD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,cAAc,CAAC,EAAE,CAAC;QAC1D,IAAI,GAAG,KAAK,QAAQ,EAAE,CAAC;YACrB,GAAG,CAAC,GAAG,CAAC,GAAG,wBAAwB,CAAC,KAAK,CAAC,CAAC;QAC7C,CAAC;aAAM,IACL,CAAC,GAAG,KAAK,aAAa,IAAI,GAAG,KAAK,OAAO,CAAC,IAAI,YAAY,CAAC,KAAK,CAAC,EACjE,CAAC;YACD,IAAI,MAAM,KAAK,SAAS;gBAAE,MAAM,GAAG,GAAG,CAAC;YACvC,GAAG,CAAC,GAAG,CAAC,GAAG,MAAM,CAAC,WAAW,CAC3B,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,IAAI,EAAE,KAAK,CAAC,EAAE,EAAE,CAAC;gBAC3C,IAAI;gBACJ,wBAAwB,CAAC,KAAK,CAAC;aAChC,CAAC,CACH,CAAC;QACJ,CAAC;aAAM,CAAC;YACN,GAAG,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QACnB,CAAC;IACH,CAAC;IACD,OAAO,MAAM,KAAK,SAAS,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,2BAA2B,CAAC,GAAG,EAAE,MAAM,CAAC,CAAC;AAC/E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,wBAAwB,GAAG,CACtC,UAAsC,EAC3B,EAAE,CAAC,CAAC;IACf,OAAO,EAAE,oCAAoC;IAC7C,SAAS,EAAE;QACT,OAAO,EAAE,UAAU,CAAC,OAAO;QAC3B,KAAK,EAAE,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE,IAAI,EAAE,UAAU,CAAC,KAAK,CAAC,IAAI,EAAE;QACnE,SAAS,EAAE,UAAU,CAAC,SAAS;QAC/B,MAAM,EAAE,UAAU,CAAC,MAAM;KAC1B;IACD,QAAQ,EAAE,UAAU,CAAC,QAAQ;IAC7B,QAAQ,EAAE;QACR,KAAK,EAAE;YACL,cAAc,EAAE,+BAA+B,CAC7C,UAAU,CAAC,KAAK,CAAC,cAAc,CAChC;YACD,KAAK,EAAE,UAAU,CAAC,KAAK,CAAC,KAA6B;SACtD;QACD,MAAM,EAAE;YACN,cAAc,EAAE,+BAA+B,CAC7C,UAAU,CAAC,MAAM,CAAC,cAAc,CACjC;YACD,KAAK,EAAE,UAAU,CAAC,MAAM,CAAC,KAA6B;SACvD;KACF;IACD,QAAQ,EAAE;QACR,SAAS,EAAE,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,SAAS,CAAC,CAAC;QACjD,MAAM,EAAE,CAAC,GAAG,WAAW,CAAC,UAAU,CAAC,MAAM,CAAC,CAAC;QAC3C,WAAW,EAAE,CAAC,GAAG,UAAU,CAAC,WAAW,CAAC;aACrC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,IAAI,GAAG,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;aACrF,GAAG,CAAC,CAAC,UAAU,EAAE,EAAE,CAAC,CAAC;YACpB,IAAI,EAAE,UAAU,CAAC,IAAI;YACrB,IAAI,EAAE,CAAC,GAAG,UAAU,CAAC,IAAI,CAAC;SAC3B,CAAC,CAAC;KACN;CACF,CAAC,CAAC;AAEH,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,EAAE,CAAC,oCAAoC,CAAC,CACjF,QAAQ,CAAC,EAAE,UAAsC;IAC/C,MAAM,MAAM,GAAG,KAAK,CAAC,CAAC,gCAAgC,CACpD,2BAA2B,EAC3B,wBAAwB,CAAC,UAAU,CAAC,CACrC,CAAC;IACF,OAAO,gBAAgB,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC;AACvC,CAAC,CACF,CAAC"}

package/dist/internal/authorization/operations-runtime.d.ts

@@ -0,0 +1,78 @@
+import * as Effect from "effect/Effect";
+import { Unauthorized } from "../../db/Errors.ts";
+import type { DeployedOperationBinding } from "./authoring/operations.ts";
+import type { Connection, TxReport } from "../core/conn.ts";
+import type { EntityRef } from "../core/db.ts";
+import type { OperationDescriptor, OperationWireShape } from "./catalog.ts";
+import { type DeployedCatalogDefinition, type DeployedCatalogDefinitions } from "./definitions.ts";
+import type { CatalogId, CatalogUnitHash, DatabaseId, OperationVersion, OwnerRef } from "./identities.ts";
+import { type AuthenticatedCaller, type AuthorizedRequestContext } from "./request.ts";
+import type { InvocationReplayFenceV1 } from "./invocation-receipts.ts";
+import { type InvocationAllocation, type SealedAllocationMapping } from "./entity-targets.ts";
+import type { EntityIdScope } from "../replication/entity-id.ts";
+import type { ServerSealingKey } from "../replication/server-identity.ts";
+export type OperationInvocation = {
+    readonly database: DatabaseId;
+    readonly catalogKey: CatalogId;
+    readonly unitHash: CatalogUnitHash;
+    readonly owner: OwnerRef;
+    readonly localName: string;
+    readonly operationVersion?: OperationVersion;
+    readonly target?: EntityRef;
+    readonly sealedTarget?: string;
+    readonly entityIdScope?: EntityIdScope;
+    readonly entityIdKeyId?: string;
+    readonly allocations?: readonly InvocationAllocation[];
+    readonly input: unknown;
+    readonly caller: AuthenticatedCaller;
+};
+export type OperationExecution = {
+    readonly report: TxReport;
+    readonly output: unknown;
+    readonly replayFence: InvocationReplayFenceV1;
+    readonly allocations: readonly SealedAllocationMapping[];
+    readonly assertFresh: () => void;
+};
+export type OperationRuntime = {
+    readonly catalogs: DeployedCatalogDefinitions;
+    readonly now: () => number;
+    readonly sealing?: () => Promise<ServerSealingKey>;
+};
+export type ResolvedOperationCatalog = {
+    readonly deployed: DeployedCatalogDefinition;
+};
+declare const OPERATION_ADMISSION: unique symbol;
+export type CatalogOperationAdmission = {
+    readonly [OPERATION_ADMISSION]: {
+        readonly connection: Connection;
+        readonly runtime: OperationRuntime;
+        readonly invocation: OperationInvocation;
+    };
+    readonly resolved: ResolvedOperationCatalog;
+    readonly binding: DeployedOperationBinding;
+    readonly descriptor: OperationDescriptor;
+    readonly context: AuthorizedRequestContext;
+    readonly decoded: unknown;
+    readonly expiresAtSeconds: number;
+    readonly authoritativeNowMs: number;
+    readonly target?: {
+        readonly eid: number;
+        readonly type: string;
+    };
+};
+export declare const resolveOperationCatalog: (runtime: OperationRuntime, invocation: OperationInvocation) => Effect.Effect<ResolvedOperationCatalog, Unauthorized, never>;
+export declare class OperationRuntimeFault extends Error {
+    readonly stage: string;
+    readonly detail: unknown;
+    constructor(stage: string, detail: unknown);
+}
+export declare const opaqueOperationDenial: () => Unauthorized;
+export declare const deployedOperationVersion: (resolved: ResolvedOperationCatalog, owner: OwnerRef, localName: string) => OperationVersion | undefined;
+export declare const deployedOperationOutputWireShape: (resolved: ResolvedOperationCatalog, owner: OwnerRef, localName: string) => OperationWireShape | undefined;
+export declare const deployedOperationInputWireShape: (resolved: ResolvedOperationCatalog, owner: OwnerRef, localName: string) => OperationWireShape | undefined;
+export declare const authorizeCatalogOperationGrant: (connection: Connection, runtime: OperationRuntime, invocation: OperationInvocation, resolvedCatalog?: ResolvedOperationCatalog) => Promise<void>;
+export declare const authorizeCatalogOperation: (connection: Connection, runtime: OperationRuntime, invocation: OperationInvocation, resolvedCatalog?: ResolvedOperationCatalog) => Promise<CatalogOperationAdmission>;
+export declare const authorizeCatalogOperationReplay: (connection: Connection, runtime: OperationRuntime, invocation: OperationInvocation, replayFence: InvocationReplayFenceV1, resolvedCatalog?: ResolvedOperationCatalog) => Promise<void>;
+export declare const executeCatalogOperation: (connection: Connection, runtime: OperationRuntime, invocation: OperationInvocation, resolvedCatalog?: ResolvedOperationCatalog, admitted?: CatalogOperationAdmission, sealing?: ServerSealingKey) => Promise<OperationExecution>;
+export {};
+//# sourceMappingURL=operations-runtime.d.ts.map

package/dist/internal/authorization/operations-runtime.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"operations-runtime.d.ts","sourceRoot":"","sources":["../../../src/internal/authorization/operations-runtime.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AAGxC,OAAO,EAGL,YAAY,EACb,MAAM,oBAAoB,CAAC;AAC5B,OAAO,KAAK,EACV,wBAAwB,EACzB,MAAM,2BAA2B,CAAC;AAkBnC,OAAO,KAAK,EAAE,UAAU,EAAE,QAAQ,EAAE,MAAM,iBAAiB,CAAC;AAE5D,OAAO,KAAK,EAAM,SAAS,EAAE,MAAM,eAAe,CAAC;AAOnD,OAAO,KAAK,EAGV,mBAAmB,EAEnB,kBAAkB,EACnB,MAAM,cAAc,CAAC;AAKtB,OAAO,EAEL,KAAK,yBAAyB,EAC9B,KAAK,0BAA0B,EAEhC,MAAM,kBAAkB,CAAC;AAC1B,OAAO,KAAK,EACV,SAAS,EACT,eAAe,EACf,UAAU,EACV,gBAAgB,EAChB,QAAQ,EACT,MAAM,iBAAiB,CAAC;AAKzB,OAAO,EAEL,KAAK,mBAAmB,EACxB,KAAK,wBAAwB,EAC9B,MAAM,cAAc,CAAC;AAMtB,OAAO,KAAK,EAAE,uBAAuB,EAAE,MAAM,0BAA0B,CAAC;AACxE,OAAO,EAIL,KAAK,oBAAoB,EACzB,KAAK,uBAAuB,EAC7B,MAAM,qBAAqB,CAAC;AAC7B,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,6BAA6B,CAAC;AACjE,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAM1E,MAAM,MAAM,mBAAmB,GAAG;IAChC,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC;IAC9B,QAAQ,CAAC,UAAU,EAAE,SAAS,CAAC;IAC/B,QAAQ,CAAC,QAAQ,EAAE,eAAe,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;IACzB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,gBAAgB,CAAC,EAAE,gBAAgB,CAAC;IAC7C,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC;IAC5B,QAAQ,CAAC,YAAY,CAAC,EAAE,MAAM,CAAC;IAC/B,QAAQ,CAAC,aAAa,CAAC,EAAE,aAAa,CAAC;IACvC,QAAQ,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;IAChC,QAAQ,CAAC,WAAW,CAAC,EAAE,SAAS,oBAAoB,EAAE,CAAC;IACvD,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IACxB,QAAQ,CAAC,MAAM,EAAE,mBAAmB,CAAC;CACtC,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG;IAC/B,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC;IAC1B,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,uBAAuB,CAAC;IAC9C,QAAQ,CAAC,WAAW,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACzD,QAAQ,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC;CAClC,CAAC;AAEF,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,QAAQ,EAAE,0BAA0B,CAAC;IAC9C,QAAQ,CAAC,GAAG,EAAE,MAAM,MAAM,CAAC;IAC3B,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,OAAO,CAAC,gBAAgB,CAAC,CAAC;CACpD,CAAC;AAEF,MAAM,MAAM,wBAAwB,GAAG;IACrC,QAAQ,CAAC,QAAQ,EAAE,yBAAyB,CAAC;CAC9C,CAAC;AAEF,QAAA,MAAM,mBAAmB,EAAE,OAAO,MAA6C,CAAC;AAEhF,MAAM,MAAM,yBAAyB,GAAG;IACtC,QAAQ,CAAC,CAAC,mBAAmB,CAAC,EAAE;QAC9B,QAAQ,CAAC,UAAU,EAAE,UAAU,CAAC;QAChC,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;QACnC,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;KAC1C,CAAC;IACF,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;IAC5C,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,UAAU,EAAE,mBAAmB,CAAC;IACzC,QAAQ,CAAC,OAAO,EAAE,wBAAwB,CAAC;IAC3C,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAC;IAC1B,QAAQ,CAAC,gBAAgB,EAAE,MAAM,CAAC;IAClC,QAAQ,CAAC,kBAAkB,EAAE,MAAM,CAAC;IACpC,QAAQ,CAAC,MAAM,CAAC,EAAE;QAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;QAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;KAAE,CAAC;CACnE,CAAC;AAEF,eAAO,MAAM,uBAAuB,8HAalC,CAAC;AAEH,qBAAa,qBAAsB,SAAQ,KAAK;IAC9C,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,MAAM,EAAE,OAAO,CAAC;IAEzB,YAAY,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,OAAO,EAKzC;CACF;AA6CD,eAAO,MAAM,qBAAqB,QAAO,YACN,CAAC;AAmDpC,eAAO,MAAM,wBAAwB,aACzB,wBAAwB,SAC3B,QAAQ,aACJ,MAAM,KAChB,gBAAgB,GAAG,SAC0D,CAAC;AAEjF,eAAO,MAAM,gCAAgC,aACjC,wBAAwB,SAC3B,QAAQ,aACJ,MAAM,KAChB,kBAAkB,GAAG,SACqD,CAAC;AAE9E,eAAO,MAAM,+BAA+B,aAChC,wBAAwB,SAC3B,QAAQ,aACJ,MAAM,KAChB,kBAAkB,GAAG,SACoD,CAAC;AAozC7E,eAAO,MAAM,8BAA8B,eAC7B,UAAU,WACb,gBAAgB,cACb,mBAAmB,oBACb,wBAAwB,KACzC,OAAO,CAAC,IAAI,CAOd,CAAC;AAEF,eAAO,MAAM,yBAAyB,eACxB,UAAU,WACb,gBAAgB,cACb,mBAAmB,oBACb,wBAAwB,KACzC,OAAO,CAAC,yBAAyB,CAOjC,CAAC;AAEJ,eAAO,MAAM,+BAA+B,eAC9B,UAAU,WACb,gBAAgB,cACb,mBAAmB,eAClB,uBAAuB,oBAClB,wBAAwB,KACzC,OAAO,CAAC,IAAI,CASd,CAAC;AAwBF,eAAO,MAAM,uBAAuB,eACtB,UAAU,WACb,gBAAgB,cACb,mBAAmB,oBACb,wBAAwB,aAC/B,yBAAyB,YAC1B,gBAAgB,KACzB,OAAO,CAAC,kBAAkB,CAoI5B,CAAC"}