ramosedb 0.0.0-stage → 0.4.0

package/dist/internal/authorization/entity-targets.d.ts

@@ -0,0 +1,68 @@
+import { type AllocationPathSegment } from "../../db/allocations.ts";
+import { type ClientRef } from "../../db/refs.ts";
+import { type EntityIdScope, type SealedEntityId } from "../replication/entity-id.ts";
+import type { ServerSealingKey } from "../replication/server-identity.ts";
+import type { AllocationSlotDescriptor, OperationInputShape, OperationWireShape } from "./catalog.ts";
+export type InvocationAllocation = {
+    readonly slot: string;
+    readonly clientRef: ClientRef;
+};
+export declare const parseInvocationAllocations: (value: unknown) => readonly InvocationAllocation[] | undefined;
+export type EpochBoundScope = {
+    readonly keyId: string;
+    readonly scope: EntityIdScope;
+};
+export type EpochDecision = {
+    readonly _tag: "Agreed";
+    readonly sealing: ServerSealingKey;
+    readonly scope: EntityIdScope;
+} | {
+    readonly _tag: "UpdateRequired";
+};
+export declare const decideEpoch: (bound: EpochBoundScope, sealing: ServerSealingKey) => EpochDecision;
+export declare const sameEpochScope: (left: EpochBoundScope, right: EpochBoundScope) => boolean;
+export declare const parseEntityIdScope: (value: unknown) => EntityIdScope | undefined;
+export type SealedTargetResolution = {
+    readonly _tag: "Resolved";
+    readonly eid: number;
+} | {
+    readonly _tag: "UpdateRequired";
+} | {
+    readonly _tag: "Denied";
+};
+export declare const resolveSealedTarget: (sealing: ServerSealingKey, scope: EntityIdScope, token: string) => Promise<SealedTargetResolution>;
+export declare const isEntityRefPath: (shape: OperationInputShape, path: readonly AllocationPathSegment[]) => boolean;
+export type AllocatedSlot = {
+    readonly slot: string;
+    readonly eid: number;
+};
+export type AllocationExtraction = {
+    readonly _tag: "Allocated";
+    readonly slots: readonly AllocatedSlot[];
+} | {
+    readonly _tag: "Unallocated";
+    readonly slot: string;
+};
+export declare const allocatedEids: (tempids: Readonly<Record<string, number>>) => ReadonlySet<number>;
+export declare const extractAllocations: (declared: readonly AllocationSlotDescriptor[], outputShape: OperationInputShape, output: unknown, requested: readonly InvocationAllocation[], allocated: ReadonlySet<number>) => AllocationExtraction;
+export declare const wireEntityRefPaths: (shape: OperationWireShape, value: unknown, holds: (candidate: unknown) => boolean) => readonly (readonly AllocationPathSegment[])[];
+export declare const outputEntityRefPaths: (shape: OperationWireShape, output: unknown) => readonly (readonly AllocationPathSegment[])[];
+export declare const sealOutputEntityRefs: (sealing: ServerSealingKey, scope: EntityIdScope, output: unknown, paths: readonly (readonly AllocationPathSegment[])[]) => Promise<unknown>;
+export declare const mayCarrySealedEntityId: (input: unknown) => boolean;
+export declare const inputEntityRefHandles: (shape: OperationWireShape, input: unknown) => readonly (readonly AllocationPathSegment[])[];
+export type SealedInputResolution = {
+    readonly _tag: "Resolved";
+    readonly input: unknown;
+} | {
+    readonly _tag: "UpdateRequired";
+} | {
+    readonly _tag: "Denied";
+};
+export declare const resolveSealedInputRefs: (sealing: ServerSealingKey, scope: EntityIdScope, input: unknown, paths: readonly (readonly AllocationPathSegment[])[]) => Promise<SealedInputResolution>;
+export type SealedAllocationMapping = {
+    readonly slot: string;
+    readonly clientRef: string;
+    readonly entityId: SealedEntityId;
+};
+export declare const sealAllocationMappings: (sealing: ServerSealingKey, scope: EntityIdScope, slots: readonly AllocatedSlot[], requested: readonly InvocationAllocation[]) => Promise<readonly SealedAllocationMapping[]>;
+//# sourceMappingURL=entity-targets.d.ts.map

package/dist/internal/authorization/entity-targets.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-targets.d.ts","sourceRoot":"","sources":["../../../src/internal/authorization/entity-targets.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,qBAAqB,EAC3B,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAe,KAAK,SAAS,EAAE,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EAIL,KAAK,aAAa,EAClB,KAAK,cAAc,EACpB,MAAM,6BAA6B,CAAC;AACrC,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,mCAAmC,CAAC;AAC1E,OAAO,KAAK,EACV,wBAAwB,EACxB,mBAAmB,EACnB,kBAAkB,EACnB,MAAM,cAAc,CAAC;AAEtB,MAAM,MAAM,oBAAoB,GAAG;IACjC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,SAAS,CAAC;CAC/B,CAAC;AAEF,eAAO,MAAM,0BAA0B,UAC9B,OAAO,KACb,SAAS,oBAAoB,EAAE,GAAG,SAyBpC,CAAC;AAEF,MAAM,MAAM,eAAe,GAAG;IAC5B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,aAAa,GACrB;IACA,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,gBAAgB,CAAC;IACnC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC;CAC/B,GACC;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,CAAC;AAMxC,eAAO,MAAM,WAAW,UACf,eAAe,WACb,gBAAgB,KACxB,aAGwB,CAAC;AAE5B,eAAO,MAAM,cAAc,SACnB,eAAe,SACd,eAAe,KACrB,OAI2C,CAAC;AAE/C,eAAO,MAAM,kBAAkB,UACtB,OAAO,KACb,aAAa,GAAG,SAelB,CAAC;AAIF,MAAM,MAAM,sBAAsB,GAC9B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CAAE,GACnD;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,GACnC;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAOhC,eAAO,MAAM,mBAAmB,YACrB,gBAAgB,SAClB,aAAa,SACb,MAAM,KACZ,OAAO,CAAC,sBAAsB,CAWhC,CAAC;AAEF,eAAO,MAAM,eAAe,UACnB,mBAAmB,QACpB,SAAS,qBAAqB,EAAE,KACrC,OAkBF,CAAC;AAEF,MAAM,MAAM,aAAa,GAAG;IAC1B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;CACtB,CAAC;AAEF,MAAM,MAAM,oBAAoB,GAC5B;IAAE,QAAQ,CAAC,IAAI,EAAE,WAAW,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,SAAS,aAAa,EAAE,CAAA;CAAE,GACxE;IAAE,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,CAAC;AAE5D,eAAO,MAAM,aAAa,YACf,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,KACxC,WAAW,CAAC,MAAM,CAAoC,CAAC;AAE1D,eAAO,MAAM,kBAAkB,aACnB,SAAS,wBAAwB,EAAE,eAChC,mBAAmB,UACxB,OAAO,aACJ,SAAS,oBAAoB,EAAE,aAC/B,WAAW,CAAC,MAAM,CAAC,KAC7B,oBAsBF,CAAC;AAEF,eAAO,MAAM,kBAAkB,UACtB,kBAAkB,SAClB,OAAO,SACP,CAAC,SAAS,EAAE,OAAO,KAAK,OAAO,KACrC,SAAS,CAAC,SAAS,qBAAqB,EAAE,CAAC,EAqC7C,CAAC;AAMF,eAAO,MAAM,oBAAoB,UACxB,kBAAkB,UACjB,OAAO,KACd,SAAS,CAAC,SAAS,qBAAqB,EAAE,CAAC,EACI,CAAC;AA2BnD,eAAO,MAAM,oBAAoB,YACtB,gBAAgB,SAClB,aAAa,UACZ,OAAO,SACR,SAAS,CAAC,SAAS,qBAAqB,EAAE,CAAC,EAAE,KACnD,OAAO,CAAC,OAAO,CAejB,CAAC;AAUF,eAAO,MAAM,sBAAsB,UAAW,OAAO,KAAG,OAiBvD,CAAC;AAEF,eAAO,MAAM,qBAAqB,UACzB,kBAAkB,SAClB,OAAO,KACb,SAAS,CAAC,SAAS,qBAAqB,EAAE,CAAC,EACkC,CAAC;AAEjF,MAAM,MAAM,qBAAqB,GAC7B;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,gBAAgB,CAAA;CAAE,GACnC;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CAAE,CAAC;AAOhC,eAAO,MAAM,sBAAsB,YACxB,gBAAgB,SAClB,aAAa,SACb,OAAO,SACP,SAAS,CAAC,SAAS,qBAAqB,EAAE,CAAC,EAAE,KACnD,OAAO,CAAC,qBAAqB,CAoB/B,CAAC;AAEF,MAAM,MAAM,uBAAuB,GAAG;IACpC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,SAAS,EAAE,MAAM,CAAC;IAC3B,QAAQ,CAAC,QAAQ,EAAE,cAAc,CAAC;CACnC,CAAC;AAEF,eAAO,MAAM,sBAAsB,YACxB,gBAAgB,SAClB,aAAa,SACb,SAAS,aAAa,EAAE,aACpB,SAAS,oBAAoB,EAAE,KACzC,OAAO,CAAC,SAAS,uBAAuB,EAAE,CAe5C,CAAC"}

package/dist/internal/authorization/entity-targets.js

@@ -0,0 +1,244 @@
+import { isAllocationSlotName, readAllocationPath, } from "../../db/allocations.js";
+import { isClientRef } from "../../db/refs.js";
+import { openEntityId, sealEntityId, SEALED_ENTITY_ID_MIN_LENGTH, } from "../replication/entity-id.js";
+export const parseInvocationAllocations = (value) => {
+    if (value === undefined)
+        return [];
+    if (!Array.isArray(value))
+        return undefined;
+    const slots = new Set();
+    const refs = new Set();
+    const parsed = [];
+    for (const entry of value) {
+        if (typeof entry !== "object" || entry === null || Array.isArray(entry)) {
+            return undefined;
+        }
+        const record = entry;
+        if (Object.keys(record).length !== 2 ||
+            !isAllocationSlotName(record.slot) || !isClientRef(record.clientRef))
+            return undefined;
+        if (slots.has(record.slot) || refs.has(record.clientRef))
+            return undefined;
+        slots.add(record.slot);
+        refs.add(record.clientRef);
+        parsed.push(Object.freeze({ slot: record.slot, clientRef: record.clientRef }));
+    }
+    return Object.freeze(parsed.sort((left, right) => left.slot < right.slot ? -1 : left.slot > right.slot ? 1 : 0));
+};
+const EPOCH_UPDATE_REQUIRED = Object.freeze({ _tag: "UpdateRequired" });
+export const decideEpoch = (bound, sealing) => bound.keyId === sealing.keyId
+    ? Object.freeze({ _tag: "Agreed", sealing, scope: bound.scope })
+    : EPOCH_UPDATE_REQUIRED;
+export const sameEpochScope = (left, right) => left.keyId === right.keyId &&
+    left.scope.server === right.scope.server &&
+    left.scope.principal === right.scope.principal &&
+    left.scope.database === right.scope.database;
+export const parseEntityIdScope = (value) => {
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        return undefined;
+    }
+    const record = value;
+    if (typeof record.server !== "string" || record.server.length === 0 ||
+        typeof record.principal !== "string" || record.principal.length === 0 ||
+        typeof record.database !== "string" || record.database.length === 0)
+        return undefined;
+    return Object.freeze({
+        server: record.server,
+        principal: record.principal,
+        database: record.database,
+    });
+};
+const MAX_SEALED_TARGET_LENGTH = 4096;
+const DENIED = Object.freeze({ _tag: "Denied" });
+const UPDATE_REQUIRED = Object.freeze({ _tag: "UpdateRequired" });
+export const resolveSealedTarget = async (sealing, scope, token) => {
+    if (token.length === 0 || token.length > MAX_SEALED_TARGET_LENGTH)
+        return DENIED;
+    const resolution = await openEntityId(sealing, scope, token);
+    switch (resolution.type) {
+        case "resolved":
+            return Object.freeze({ _tag: "Resolved", eid: resolution.eid });
+        case "update-required":
+            return UPDATE_REQUIRED;
+        case "denied":
+            return DENIED;
+    }
+};
+export const isEntityRefPath = (shape, path) => {
+    let cursor = shape;
+    for (const segment of path) {
+        if (cursor._tag === "array") {
+            if (typeof segment !== "number")
+                return false;
+            cursor = cursor.items;
+            continue;
+        }
+        if (cursor._tag === "struct") {
+            if (typeof segment !== "string")
+                return false;
+            const field = cursor.fields.find((candidate) => candidate.key === segment);
+            if (field === undefined)
+                return false;
+            cursor = field.shape;
+            continue;
+        }
+        return false;
+    }
+    return cursor._tag === "ref";
+};
+export const allocatedEids = (tempids) => new Set(Object.values(tempids));
+export const extractAllocations = (declared, outputShape, output, requested, allocated) => {
+    const slots = [];
+    for (const allocation of requested) {
+        const declaration = declared.find((candidate) => candidate.slot === allocation.slot);
+        if (declaration === undefined ||
+            !isEntityRefPath(outputShape, declaration.path)) {
+            return Object.freeze({ _tag: "Unallocated", slot: allocation.slot });
+        }
+        const value = readAllocationPath(output, declaration.path);
+        if (typeof value !== "number" || !Number.isSafeInteger(value) || value < 0) {
+            return Object.freeze({ _tag: "Unallocated", slot: allocation.slot });
+        }
+        if (!allocated.has(value)) {
+            return Object.freeze({ _tag: "Unallocated", slot: allocation.slot });
+        }
+        slots.push(Object.freeze({ slot: allocation.slot, eid: value }));
+    }
+    return Object.freeze({ _tag: "Allocated", slots: Object.freeze(slots) });
+};
+export const wireEntityRefPaths = (shape, value, holds) => {
+    const paths = [];
+    const walk = (current, node, path) => {
+        switch (current._tag) {
+            case "ref":
+                if (holds(node))
+                    paths.push(Object.freeze([...path]));
+                return;
+            case "array":
+                if (Array.isArray(node)) {
+                    for (let index = 0; index < node.length; index++) {
+                        walk(current.items, node[index], [...path, index]);
+                    }
+                }
+                return;
+            case "struct":
+                if (typeof node === "object" && node !== null && !Array.isArray(node)) {
+                    for (const field of current.fields) {
+                        if (!Object.hasOwn(node, field.key))
+                            continue;
+                        walk(field.shape, node[field.key], [...path, field.key]);
+                    }
+                }
+                return;
+            case "scalar":
+            case "opaque":
+                return;
+        }
+    };
+    walk(shape, value, []);
+    return Object.freeze(paths);
+};
+const isResolvedEid = (candidate) => typeof candidate === "number" && Number.isSafeInteger(candidate) &&
+    candidate >= 0;
+export const outputEntityRefPaths = (shape, output) => wireEntityRefPaths(shape, output, isResolvedEid);
+const replaceAt = (value, path, replacement) => {
+    const [head, ...rest] = path;
+    if (head === undefined)
+        return replacement;
+    if (typeof head === "number") {
+        if (!Array.isArray(value) || head >= value.length) {
+            throw new Error("entity-reference position is not an array index");
+        }
+        const copy = [...value];
+        copy[head] = replaceAt(value[head], rest, replacement);
+        return copy;
+    }
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        throw new Error("entity-reference position is not an object property");
+    }
+    const record = value;
+    if (!Object.hasOwn(record, head)) {
+        throw new Error("entity-reference position is absent");
+    }
+    return { ...record, [head]: replaceAt(record[head], rest, replacement) };
+};
+export const sealOutputEntityRefs = async (sealing, scope, output, paths) => {
+    const sealed = await Promise.all(paths.map(async (path) => {
+        const eid = readAllocationPath(output, path);
+        if (typeof eid !== "number" || !Number.isSafeInteger(eid) || eid < 0) {
+            throw new Error("output entity-reference position holds no resolved eid");
+        }
+        return { path, handle: await sealEntityId(sealing, scope, eid) };
+    }));
+    let projected = output;
+    for (const { path, handle } of sealed) {
+        projected = replaceAt(projected, path, handle);
+    }
+    return projected;
+};
+const BASE64URL = /^[A-Za-z0-9_-]+$/;
+const mayBeSealedEntityId = (value) => value.length >= SEALED_ENTITY_ID_MIN_LENGTH &&
+    value.length <= MAX_SEALED_TARGET_LENGTH &&
+    value.length % 4 !== 1 &&
+    BASE64URL.test(value);
+export const mayCarrySealedEntityId = (input) => {
+    const seen = new Set();
+    const pending = [input];
+    while (pending.length > 0) {
+        const value = pending.pop();
+        if (typeof value === "string") {
+            if (mayBeSealedEntityId(value))
+                return true;
+            continue;
+        }
+        if (typeof value !== "object" || value === null)
+            continue;
+        if (seen.has(value))
+            continue;
+        seen.add(value);
+        for (const child of Array.isArray(value) ? value : Object.values(value)) {
+            pending.push(child);
+        }
+    }
+    return false;
+};
+export const inputEntityRefHandles = (shape, input) => wireEntityRefPaths(shape, input, (candidate) => typeof candidate === "string");
+const DENIED_INPUT = Object.freeze({ _tag: "Denied" });
+const UPDATE_REQUIRED_INPUT = Object.freeze({ _tag: "UpdateRequired" });
+export const resolveSealedInputRefs = async (sealing, scope, input, paths) => {
+    const opened = await Promise.all(paths.map(async (path) => {
+        const token = readAllocationPath(input, path);
+        if (typeof token !== "string") {
+            throw new Error("input entity-reference position holds no handle");
+        }
+        return { path, resolution: await resolveSealedTarget(sealing, scope, token) };
+    }));
+    if (opened.some(({ resolution }) => resolution._tag === "UpdateRequired")) {
+        return UPDATE_REQUIRED_INPUT;
+    }
+    if (opened.some(({ resolution }) => resolution._tag === "Denied")) {
+        return DENIED_INPUT;
+    }
+    let resolved = input;
+    for (const { path, resolution } of opened) {
+        if (resolution._tag !== "Resolved")
+            continue;
+        resolved = replaceAt(resolved, path, resolution.eid);
+    }
+    return Object.freeze({ _tag: "Resolved", input: resolved });
+};
+export const sealAllocationMappings = async (sealing, scope, slots, requested) => {
+    const bound = new Map(requested.map((entry) => [entry.slot, entry.clientRef]));
+    return Object.freeze(await Promise.all(slots.map(async (allocated) => {
+        const clientRef = bound.get(allocated.slot);
+        if (clientRef === undefined) {
+            throw new Error("allocated slot has no bound client ref");
+        }
+        return Object.freeze({
+            slot: allocated.slot,
+            clientRef,
+            entityId: await sealEntityId(sealing, scope, allocated.eid),
+        });
+    })));
+};
+//# sourceMappingURL=entity-targets.js.map

package/dist/internal/authorization/entity-targets.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"entity-targets.js","sourceRoot":"","sources":["../../../src/internal/authorization/entity-targets.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,oBAAoB,EACpB,kBAAkB,GAEnB,MAAM,yBAAyB,CAAC;AACjC,OAAO,EAAE,WAAW,EAAkB,MAAM,kBAAkB,CAAC;AAC/D,OAAO,EACL,YAAY,EACZ,YAAY,EACZ,2BAA2B,GAG5B,MAAM,6BAA6B,CAAC;AAarC,MAAM,CAAC,MAAM,0BAA0B,GAAG,CACxC,KAAc,EAC+B,EAAE;IAC/C,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAU,CAAC;IAChC,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,MAAM,GAA2B,EAAE,CAAC;IAC1C,KAAK,MAAM,KAAK,IAAI,KAAK,EAAE,CAAC;QAC1B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,SAAS,CAAC;QACnB,CAAC;QACD,MAAM,MAAM,GAAG,KAAgC,CAAC;QAChD,IACE,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC;YAChC,CAAC,oBAAoB,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,CAAC,WAAW,CAAC,MAAM,CAAC,SAAS,CAAC;YACpE,OAAO,SAAS,CAAC;QACnB,IAAI,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC;YAAE,OAAO,SAAS,CAAC;QAC3E,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;QACvB,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;QAC3B,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,CAAC;IACjF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAC1B,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,CAC7D,CACF,CAAC;AACJ,CAAC,CAAC;AAeF,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CACzC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CACV,CAAC;AAEnB,MAAM,CAAC,MAAM,WAAW,GAAG,CACzB,KAAsB,EACtB,OAAyB,EACV,EAAE,CACjB,KAAK,CAAC,KAAK,KAAK,OAAO,CAAC,KAAK;IAC3B,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,CAAC;IAChE,CAAC,CAAC,qBAAqB,CAAC;AAE5B,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,IAAqB,EACrB,KAAsB,EACb,EAAE,CACX,IAAI,CAAC,KAAK,KAAK,KAAK,CAAC,KAAK;IAC1B,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,KAAK,CAAC,KAAK,CAAC,MAAM;IACxC,IAAI,CAAC,KAAK,CAAC,SAAS,KAAK,KAAK,CAAC,KAAK,CAAC,SAAS;IAC9C,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,KAAK,CAAC,KAAK,CAAC,QAAQ,CAAC;AAE/C,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAc,EACa,EAAE;IAC7B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,OAAO,SAAS,CAAC;IACnB,CAAC;IACD,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,IACE,OAAO,MAAM,CAAC,MAAM,KAAK,QAAQ,IAAI,MAAM,CAAC,MAAM,CAAC,MAAM,KAAK,CAAC;QAC/D,OAAO,MAAM,CAAC,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC;QACrE,OAAO,MAAM,CAAC,QAAQ,KAAK,QAAQ,IAAI,MAAM,CAAC,QAAQ,CAAC,MAAM,KAAK,CAAC;QACnE,OAAO,SAAS,CAAC;IACnB,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,MAAM,EAAE,MAAM,CAAC,MAAM;QACrB,SAAS,EAAE,MAAM,CAAC,SAAS;QAC3B,QAAQ,EAAE,MAAM,CAAC,QAAQ;KAC1B,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,wBAAwB,GAAG,IAAI,CAAC;AAOtC,MAAM,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAA2B,CAAC;AAC3E,MAAM,eAAe,GAAG,MAAM,CAAC,MAAM,CACnC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CACD,CAAC;AAE5B,MAAM,CAAC,MAAM,mBAAmB,GAAG,KAAK,EACtC,OAAyB,EACzB,KAAoB,EACpB,KAAa,EACoB,EAAE;IACnC,IAAI,KAAK,CAAC,MAAM,KAAK,CAAC,IAAI,KAAK,CAAC,MAAM,GAAG,wBAAwB;QAAE,OAAO,MAAM,CAAC;IACjF,MAAM,UAAU,GAAG,MAAM,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC;IAC7D,QAAQ,UAAU,CAAC,IAAI,EAAE,CAAC;QACxB,KAAK,UAAU;YACb,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,GAAG,EAAE,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC;QAClE,KAAK,iBAAiB;YACpB,OAAO,eAAe,CAAC;QACzB,KAAK,QAAQ;YACX,OAAO,MAAM,CAAC;IAClB,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAC7B,KAA0B,EAC1B,IAAsC,EAC7B,EAAE;IACX,IAAI,MAAM,GAAwB,KAAK,CAAC;IACxC,KAAK,MAAM,OAAO,IAAI,IAAI,EAAE,CAAC;QAC3B,IAAI,MAAM,CAAC,IAAI,KAAK,OAAO,EAAE,CAAC;YAC5B,IAAI,OAAO,OAAO,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC9C,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC;YACtB,SAAS;QACX,CAAC;QACD,IAAI,MAAM,CAAC,IAAI,KAAK,QAAQ,EAAE,CAAC;YAC7B,IAAI,OAAO,OAAO,KAAK,QAAQ;gBAAE,OAAO,KAAK,CAAC;YAC9C,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,GAAG,KAAK,OAAO,CAAC,CAAC;YAC3E,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAC;YACtC,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC;YACrB,SAAS;QACX,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,KAAK,KAAK,CAAC;AAC/B,CAAC,CAAC;AAWF,MAAM,CAAC,MAAM,aAAa,GAAG,CAC3B,OAAyC,EACpB,EAAE,CAAC,IAAI,GAAG,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC;AAE1D,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,QAA6C,EAC7C,WAAgC,EAChC,MAAe,EACf,SAA0C,EAC1C,SAA8B,EACR,EAAE;IACxB,MAAM,KAAK,GAAoB,EAAE,CAAC;IAClC,KAAK,MAAM,UAAU,IAAI,SAAS,EAAE,CAAC;QACnC,MAAM,WAAW,GAAG,QAAQ,CAAC,IAAI,CAC/B,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,IAAI,KAAK,UAAU,CAAC,IAAI,CAClD,CAAC;QACF,IACE,WAAW,KAAK,SAAS;YACzB,CAAC,eAAe,CAAC,WAAW,EAAE,WAAW,CAAC,IAAI,CAAC,EAC/C,CAAC;YACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,KAAK,GAAG,kBAAkB,CAAC,MAAM,EAAE,WAAW,CAAC,IAAI,CAAC,CAAC;QAC3D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,EAAE,CAAC;YAC3E,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;YAC1B,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,aAAa,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,CAAC,CAAC;QACvE,CAAC;QACD,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,CAAC,IAAI,EAAE,GAAG,EAAE,KAAK,EAAE,CAAC,CAAC,CAAC;IACnE,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,WAAW,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAChC,KAAyB,EACzB,KAAc,EACd,KAAsC,EACS,EAAE;IACjD,MAAM,KAAK,GAAyC,EAAE,CAAC;IACvD,MAAM,IAAI,GAAG,CACX,OAA2B,EAC3B,IAAa,EACb,IAAsC,EAChC,EAAE;QACR,QAAQ,OAAO,CAAC,IAAI,EAAE,CAAC;YACrB,KAAK,KAAK;gBACR,IAAI,KAAK,CAAC,IAAI,CAAC;oBAAE,KAAK,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,CAAC,CAAC;gBACtD,OAAO;YACT,KAAK,OAAO;gBACV,IAAI,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBACxB,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,IAAI,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;wBACjD,IAAI,CAAC,OAAO,CAAC,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,CAAC,CAAC;oBACrD,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,KAAK,QAAQ;gBACX,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC;oBACtE,KAAK,MAAM,KAAK,IAAI,OAAO,CAAC,MAAM,EAAE,CAAC;wBACnC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC;4BAAE,SAAS;wBAC9C,IAAI,CACF,KAAK,CAAC,KAAK,EACV,IAAgC,CAAC,KAAK,CAAC,GAAG,CAAC,EAC5C,CAAC,GAAG,IAAI,EAAE,KAAK,CAAC,GAAG,CAAC,CACrB,CAAC;oBACJ,CAAC;gBACH,CAAC;gBACD,OAAO;YACT,KAAK,QAAQ,CAAC;YACd,KAAK,QAAQ;gBACX,OAAO;QACX,CAAC;IACH,CAAC,CAAC;IACF,IAAI,CAAC,KAAK,EAAE,KAAK,EAAE,EAAE,CAAC,CAAC;IACvB,OAAO,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;AAC9B,CAAC,CAAC;AAEF,MAAM,aAAa,GAAG,CAAC,SAAkB,EAAW,EAAE,CACpD,OAAO,SAAS,KAAK,QAAQ,IAAI,MAAM,CAAC,aAAa,CAAC,SAAS,CAAC;IAChE,SAAS,IAAI,CAAC,CAAC;AAEjB,MAAM,CAAC,MAAM,oBAAoB,GAAG,CAClC,KAAyB,EACzB,MAAe,EACgC,EAAE,CACjD,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,aAAa,CAAC,CAAC;AAEnD,MAAM,SAAS,GAAG,CAChB,KAAc,EACd,IAAsC,EACtC,WAAoB,EACX,EAAE;IACX,MAAM,CAAC,IAAI,EAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IAC7B,IAAI,IAAI,KAAK,SAAS;QAAE,OAAO,WAAW,CAAC;IAC3C,IAAI,OAAO,IAAI,KAAK,QAAQ,EAAE,CAAC;QAC7B,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,IAAI,KAAK,CAAC,MAAM,EAAE,CAAC;YAClD,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACrE,CAAC;QACD,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC;QACxB,IAAI,CAAC,IAAI,CAAC,GAAG,SAAS,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,CAAC;QACvD,OAAO,IAAI,CAAC;IACd,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,qDAAqD,CAAC,CAAC;IACzE,CAAC;IACD,MAAM,MAAM,GAAG,KAAgC,CAAC;IAChD,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,EAAE,CAAC;QACjC,MAAM,IAAI,KAAK,CAAC,qCAAqC,CAAC,CAAC;IACzD,CAAC;IACD,OAAO,EAAE,GAAG,MAAM,EAAE,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,IAAI,EAAE,WAAW,CAAC,EAAE,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,oBAAoB,GAAG,KAAK,EACvC,OAAyB,EACzB,KAAoB,EACpB,MAAe,EACf,KAAoD,EAClC,EAAE;IACpB,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAC9B,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACvB,MAAM,GAAG,GAAG,kBAAkB,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;QAC7C,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,CAAC,MAAM,CAAC,aAAa,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,EAAE,CAAC;YACrE,MAAM,IAAI,KAAK,CAAC,wDAAwD,CAAC,CAAC;QAC5E,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,MAAM,EAAE,MAAM,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,GAAG,CAAC,EAAE,CAAC;IACnE,CAAC,CAAC,CACH,CAAC;IACF,IAAI,SAAS,GAAG,MAAM,CAAC;IACvB,KAAK,MAAM,EAAE,IAAI,EAAE,MAAM,EAAE,IAAI,MAAM,EAAE,CAAC;QACtC,SAAS,GAAG,SAAS,CAAC,SAAS,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,SAAS,CAAC;AACnB,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,kBAAkB,CAAC;AAErC,MAAM,mBAAmB,GAAG,CAAC,KAAa,EAAW,EAAE,CACrD,KAAK,CAAC,MAAM,IAAI,2BAA2B;IAC3C,KAAK,CAAC,MAAM,IAAI,wBAAwB;IACxC,KAAK,CAAC,MAAM,GAAG,CAAC,KAAK,CAAC;IACtB,SAAS,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAExB,MAAM,CAAC,MAAM,sBAAsB,GAAG,CAAC,KAAc,EAAW,EAAE;IAChE,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAC;IAC/B,MAAM,OAAO,GAAc,CAAC,KAAK,CAAC,CAAC;IACnC,OAAO,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,GAAG,EAAE,CAAC;QAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,IAAI,mBAAmB,CAAC,KAAK,CAAC;gBAAE,OAAO,IAAI,CAAC;YAC5C,SAAS;QACX,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,SAAS;QAC1D,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,SAAS;QAC9B,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAChB,KAAK,MAAM,KAAK,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACxE,OAAO,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;QACtB,CAAC;IACH,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,qBAAqB,GAAG,CACnC,KAAyB,EACzB,KAAc,EACiC,EAAE,CACjD,kBAAkB,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,SAAS,EAAE,EAAE,CAAC,OAAO,SAAS,KAAK,QAAQ,CAAC,CAAC;AAOjF,MAAM,YAAY,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,CAA0B,CAAC;AAChF,MAAM,qBAAqB,GAAG,MAAM,CAAC,MAAM,CACzC,EAAE,IAAI,EAAE,gBAAgB,EAAE,CACF,CAAC;AAE3B,MAAM,CAAC,MAAM,sBAAsB,GAAG,KAAK,EACzC,OAAyB,EACzB,KAAoB,EACpB,KAAc,EACd,KAAoD,EACpB,EAAE;IAClC,MAAM,MAAM,GAAG,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,IAAI,EAAE,EAAE;QACxD,MAAM,KAAK,GAAG,kBAAkB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC;QAC9C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;YAC9B,MAAM,IAAI,KAAK,CAAC,iDAAiD,CAAC,CAAC;QACrE,CAAC;QACD,OAAO,EAAE,IAAI,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC,OAAO,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAC;IAChF,CAAC,CAAC,CAAC,CAAC;IACJ,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,gBAAgB,CAAC,EAAE,CAAC;QAC1E,OAAO,qBAAqB,CAAC;IAC/B,CAAC;IACD,IAAI,MAAM,CAAC,IAAI,CAAC,CAAC,EAAE,UAAU,EAAE,EAAE,EAAE,CAAC,UAAU,CAAC,IAAI,KAAK,QAAQ,CAAC,EAAE,CAAC;QAClE,OAAO,YAAY,CAAC;IACtB,CAAC;IACD,IAAI,QAAQ,GAAG,KAAK,CAAC;IACrB,KAAK,MAAM,EAAE,IAAI,EAAE,UAAU,EAAE,IAAI,MAAM,EAAE,CAAC;QAC1C,IAAI,UAAU,CAAC,IAAI,KAAK,UAAU;YAAE,SAAS;QAC7C,QAAQ,GAAG,SAAS,CAAC,QAAQ,EAAE,IAAI,EAAE,UAAU,CAAC,GAAG,CAAC,CAAC;IACvD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAmB,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAC;AACvE,CAAC,CAAC;AAQF,MAAM,CAAC,MAAM,sBAAsB,GAAG,KAAK,EACzC,OAAyB,EACzB,KAAoB,EACpB,KAA+B,EAC/B,SAA0C,EACG,EAAE;IAC/C,MAAM,KAAK,GAAG,IAAI,GAAG,CAAC,SAAS,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,IAAI,EAAE,KAAK,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,MAAM,CAAC,MAAM,CAClB,MAAM,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,SAAS,EAAE,EAAE;QAC9C,MAAM,SAAS,GAAG,KAAK,CAAC,GAAG,CAAC,SAAS,CAAC,IAAI,CAAC,CAAC;QAC5C,IAAI,SAAS,KAAK,SAAS,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,wCAAwC,CAAC,CAAC;QAC5D,CAAC;QACD,OAAO,MAAM,CAAC,MAAM,CAAC;YACnB,IAAI,EAAE,SAAS,CAAC,IAAI;YACpB,SAAS;YACT,QAAQ,EAAE,MAAM,YAAY,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC,GAAG,CAAC;SAC5D,CAAC,CAAC;IACL,CAAC,CAAC,CAAC,CACJ,CAAC;AACJ,CAAC,CAAC"}

package/dist/internal/authorization/expr.d.ts

@@ -0,0 +1,259 @@
+import * as Schema from "effect/Schema";
+import { type CanonicalIdentities, type IdentitySpace, type RelativeIdentities } from "./identities.ts";
+export declare const PathRoot: Schema.Union<readonly [Schema.TaggedStruct<"resource", {}>, Schema.TaggedStruct<"me", {}>]>;
+export type PathRoot = typeof PathRoot.Type;
+export declare const PathStep: <F extends Schema.Top>(field: F) => Schema.Struct<{
+    readonly field: F;
+}>;
+export declare const RefTerm: <F extends Schema.Top>(field: F) => Schema.TaggedStruct<"ref", {
+    readonly root: Schema.Union<readonly [Schema.TaggedStruct<"resource", {}>, Schema.TaggedStruct<"me", {}>]>;
+    readonly steps: Schema.$Array<Schema.Struct<{
+        readonly field: F;
+    }>>;
+}>;
+export declare const LitTerm: Schema.TaggedStruct<"lit", {
+    readonly value: Schema.Union<readonly [Schema.String, Schema.Finite, Schema.Boolean, Schema.Null]>;
+}>;
+export type LitTerm = typeof LitTerm.Type;
+export declare const SubjectTerm: Schema.TaggedStruct<"subject", {}>;
+export type SubjectTerm = typeof SubjectTerm.Type;
+export declare const MeTerm: Schema.TaggedStruct<"me", {}>;
+export type MeTerm = typeof MeTerm.Type;
+export declare const ClaimTerm: Schema.TaggedStruct<"claim", {
+    readonly key: Schema.String;
+}>;
+export type ClaimTerm = typeof ClaimTerm.Type;
+export declare const ValueTerm: <F extends Schema.Top>(field: F) => Schema.Union<readonly [Schema.TaggedStruct<"lit", {
+    readonly value: Schema.Union<readonly [Schema.String, Schema.Finite, Schema.Boolean, Schema.Null]>;
+}>, Schema.TaggedStruct<"subject", {}>, Schema.TaggedStruct<"me", {}>, Schema.TaggedStruct<"claim", {
+    readonly key: Schema.String;
+}>, Schema.TaggedStruct<"ref", {
+    readonly root: Schema.Union<readonly [Schema.TaggedStruct<"resource", {}>, Schema.TaggedStruct<"me", {}>]>;
+    readonly steps: Schema.$Array<Schema.Struct<{
+        readonly field: F;
+    }>>;
+}>]>;
+export declare const ConstExpr: Schema.TaggedStruct<"const", {
+    readonly value: Schema.Boolean;
+}>;
+export type ConstExpr = typeof ConstExpr.Type;
+export declare const HasClassExpr: Schema.TaggedStruct<"hasClass", {
+    readonly class: Schema.String;
+}>;
+export type HasClassExpr = typeof HasClassExpr.Type;
+export declare const AndExpr: <E extends Schema.Top>(expr: E) => Schema.TaggedStruct<"and", {
+    readonly exprs: Schema.$Array<E>;
+}>;
+export declare const OrExpr: <E extends Schema.Top>(expr: E) => Schema.TaggedStruct<"or", {
+    readonly exprs: Schema.$Array<E>;
+}>;
+export declare const NotExpr: <E extends Schema.Top>(expr: E) => Schema.TaggedStruct<"not", {
+    readonly expr: E;
+}>;
+export declare const EqExpr: <V extends Schema.Top>(value: V) => Schema.TaggedStruct<"eq", {
+    readonly left: V;
+    readonly right: V;
+}>;
+export declare const HasExpr: <V extends Schema.Top>(value: V) => Schema.TaggedStruct<"has", {
+    readonly term: V;
+}>;
+export declare const InExpr: <V extends Schema.Top>(value: V) => Schema.TaggedStruct<"in", {
+    readonly value: V;
+    readonly collection: V;
+}>;
+export declare const RelativePathStep: Schema.Struct<{
+    readonly field: Schema.TaggedStruct<"RelativeFieldId", {
+        readonly owner: Schema.Struct<{
+            readonly kind: Schema.Literals<readonly ["entity", "trait"]>;
+            readonly name: Schema.String;
+        }>;
+        readonly localName: Schema.String;
+    }>;
+}>;
+export type RelativePathStep = typeof RelativePathStep.Type;
+export declare const CanonicalPathStep: Schema.Struct<{
+    readonly field: Schema.TaggedStruct<"FieldId", {
+        readonly catalog: Schema.brand<Schema.String, "CatalogId">;
+        readonly owner: Schema.Struct<{
+            readonly kind: Schema.Literals<readonly ["entity", "trait"]>;
+            readonly name: Schema.String;
+        }>;
+        readonly localName: Schema.String;
+    }>;
+}>;
+export type CanonicalPathStep = typeof CanonicalPathStep.Type;
+export declare const RelativeRefTerm: Schema.TaggedStruct<"ref", {
+    readonly root: Schema.Union<readonly [Schema.TaggedStruct<"resource", {}>, Schema.TaggedStruct<"me", {}>]>;
+    readonly steps: Schema.$Array<Schema.Struct<{
+        readonly field: Schema.TaggedStruct<"RelativeFieldId", {
+            readonly owner: Schema.Struct<{
+                readonly kind: Schema.Literals<readonly ["entity", "trait"]>;
+                readonly name: Schema.String;
+            }>;
+            readonly localName: Schema.String;
+        }>;
+    }>>;
+}>;
+export type RelativeRefTerm = typeof RelativeRefTerm.Type;
+export declare const CanonicalRefTerm: Schema.TaggedStruct<"ref", {
+    readonly root: Schema.Union<readonly [Schema.TaggedStruct<"resource", {}>, Schema.TaggedStruct<"me", {}>]>;
+    readonly steps: Schema.$Array<Schema.Struct<{
+        readonly field: Schema.TaggedStruct<"FieldId", {
+            readonly catalog: Schema.brand<Schema.String, "CatalogId">;
+            readonly owner: Schema.Struct<{
+                readonly kind: Schema.Literals<readonly ["entity", "trait"]>;
+                readonly name: Schema.String;
+            }>;
+            readonly localName: Schema.String;
+        }>;
+    }>>;
+}>;
+export type CanonicalRefTerm = typeof CanonicalRefTerm.Type;
+export declare const RelativeValueTerm: Schema.Union<readonly [Schema.TaggedStruct<"lit", {
+    readonly value: Schema.Union<readonly [Schema.String, Schema.Finite, Schema.Boolean, Schema.Null]>;
+}>, Schema.TaggedStruct<"subject", {}>, Schema.TaggedStruct<"me", {}>, Schema.TaggedStruct<"claim", {
+    readonly key: Schema.String;
+}>, Schema.TaggedStruct<"ref", {
+    readonly root: Schema.Union<readonly [Schema.TaggedStruct<"resource", {}>, Schema.TaggedStruct<"me", {}>]>;
+    readonly steps: Schema.$Array<Schema.Struct<{
+        readonly field: Schema.TaggedStruct<"RelativeFieldId", {
+            readonly owner: Schema.Struct<{
+                readonly kind: Schema.Literals<readonly ["entity", "trait"]>;
+                readonly name: Schema.String;
+            }>;
+            readonly localName: Schema.String;
+        }>;
+    }>>;
+}>]>;
+export type RelativeValueTerm = typeof RelativeValueTerm.Type;
+export declare const CanonicalValueTerm: Schema.Union<readonly [Schema.TaggedStruct<"lit", {
+    readonly value: Schema.Union<readonly [Schema.String, Schema.Finite, Schema.Boolean, Schema.Null]>;
+}>, Schema.TaggedStruct<"subject", {}>, Schema.TaggedStruct<"me", {}>, Schema.TaggedStruct<"claim", {
+    readonly key: Schema.String;
+}>, Schema.TaggedStruct<"ref", {
+    readonly root: Schema.Union<readonly [Schema.TaggedStruct<"resource", {}>, Schema.TaggedStruct<"me", {}>]>;
+    readonly steps: Schema.$Array<Schema.Struct<{
+        readonly field: Schema.TaggedStruct<"FieldId", {
+            readonly catalog: Schema.brand<Schema.String, "CatalogId">;
+            readonly owner: Schema.Struct<{
+                readonly kind: Schema.Literals<readonly ["entity", "trait"]>;
+                readonly name: Schema.String;
+            }>;
+            readonly localName: Schema.String;
+        }>;
+    }>>;
+}>]>;
+export type CanonicalValueTerm = typeof CanonicalValueTerm.Type;
+export type RelativeValueTermEncoded = typeof RelativeValueTerm.Encoded;
+export type CanonicalValueTermEncoded = typeof CanonicalValueTerm.Encoded;
+export type RelativeRefTermEncoded = typeof RelativeRefTerm.Encoded;
+export type CanonicalRefTermEncoded = typeof CanonicalRefTerm.Encoded;
+export type RelativeAuthorizationExpr = ConstExpr | HasClassExpr | {
+    readonly _tag: "and";
+    readonly exprs: ReadonlyArray<RelativeAuthorizationExpr>;
+} | {
+    readonly _tag: "or";
+    readonly exprs: ReadonlyArray<RelativeAuthorizationExpr>;
+} | {
+    readonly _tag: "not";
+    readonly expr: RelativeAuthorizationExpr;
+} | {
+    readonly _tag: "eq";
+    readonly left: RelativeValueTerm;
+    readonly right: RelativeValueTerm;
+} | {
+    readonly _tag: "has";
+    readonly term: RelativeValueTerm;
+} | {
+    readonly _tag: "in";
+    readonly value: RelativeValueTerm;
+    readonly collection: RelativeValueTerm;
+};
+export type CanonicalAuthorizationExpr = ConstExpr | HasClassExpr | {
+    readonly _tag: "and";
+    readonly exprs: ReadonlyArray<CanonicalAuthorizationExpr>;
+} | {
+    readonly _tag: "or";
+    readonly exprs: ReadonlyArray<CanonicalAuthorizationExpr>;
+} | {
+    readonly _tag: "not";
+    readonly expr: CanonicalAuthorizationExpr;
+} | {
+    readonly _tag: "eq";
+    readonly left: CanonicalValueTerm;
+    readonly right: CanonicalValueTerm;
+} | {
+    readonly _tag: "has";
+    readonly term: CanonicalValueTerm;
+} | {
+    readonly _tag: "in";
+    readonly value: CanonicalValueTerm;
+    readonly collection: CanonicalValueTerm;
+};
+export type RelativeAuthorizationExprEncoded = ConstExpr | HasClassExpr | {
+    readonly _tag: "and";
+    readonly exprs: ReadonlyArray<RelativeAuthorizationExprEncoded>;
+} | {
+    readonly _tag: "or";
+    readonly exprs: ReadonlyArray<RelativeAuthorizationExprEncoded>;
+} | {
+    readonly _tag: "not";
+    readonly expr: RelativeAuthorizationExprEncoded;
+} | {
+    readonly _tag: "eq";
+    readonly left: RelativeValueTermEncoded;
+    readonly right: RelativeValueTermEncoded;
+} | {
+    readonly _tag: "has";
+    readonly term: RelativeValueTermEncoded;
+} | {
+    readonly _tag: "in";
+    readonly value: RelativeValueTermEncoded;
+    readonly collection: RelativeValueTermEncoded;
+};
+export type CanonicalAuthorizationExprEncoded = ConstExpr | HasClassExpr | {
+    readonly _tag: "and";
+    readonly exprs: ReadonlyArray<CanonicalAuthorizationExprEncoded>;
+} | {
+    readonly _tag: "or";
+    readonly exprs: ReadonlyArray<CanonicalAuthorizationExprEncoded>;
+} | {
+    readonly _tag: "not";
+    readonly expr: CanonicalAuthorizationExprEncoded;
+} | {
+    readonly _tag: "eq";
+    readonly left: CanonicalValueTermEncoded;
+    readonly right: CanonicalValueTermEncoded;
+} | {
+    readonly _tag: "has";
+    readonly term: CanonicalValueTermEncoded;
+} | {
+    readonly _tag: "in";
+    readonly value: CanonicalValueTermEncoded;
+    readonly collection: CanonicalValueTermEncoded;
+};
+export declare const RelativeAuthorizationExpr: Schema.Codec<RelativeAuthorizationExpr, RelativeAuthorizationExprEncoded>;
+export declare const CanonicalAuthorizationExpr: Schema.Codec<CanonicalAuthorizationExpr, CanonicalAuthorizationExprEncoded>;
+export type PathStep<I extends IdentitySpace = RelativeIdentities> = I extends CanonicalIdentities ? CanonicalPathStep : RelativePathStep;
+export type RefTerm<I extends IdentitySpace = RelativeIdentities> = I extends CanonicalIdentities ? CanonicalRefTerm : RelativeRefTerm;
+export type ValueTerm<I extends IdentitySpace = RelativeIdentities> = I extends CanonicalIdentities ? CanonicalValueTerm : RelativeValueTerm;
+export type AndExpr = Extract<RelativeAuthorizationExpr | CanonicalAuthorizationExpr, {
+    readonly _tag: "and";
+}>;
+export type OrExpr = Extract<RelativeAuthorizationExpr | CanonicalAuthorizationExpr, {
+    readonly _tag: "or";
+}>;
+export type NotExpr = Extract<RelativeAuthorizationExpr | CanonicalAuthorizationExpr, {
+    readonly _tag: "not";
+}>;
+export type EqExpr = Extract<RelativeAuthorizationExpr | CanonicalAuthorizationExpr, {
+    readonly _tag: "eq";
+}>;
+export type HasExpr = Extract<RelativeAuthorizationExpr | CanonicalAuthorizationExpr, {
+    readonly _tag: "has";
+}>;
+export type InExpr = Extract<RelativeAuthorizationExpr | CanonicalAuthorizationExpr, {
+    readonly _tag: "in";
+}>;
+export type AuthorizationExpr<I extends IdentitySpace = RelativeIdentities> = I extends CanonicalIdentities ? CanonicalAuthorizationExpr : I extends RelativeIdentities ? RelativeAuthorizationExpr : RelativeAuthorizationExpr | CanonicalAuthorizationExpr;
+//# sourceMappingURL=expr.d.ts.map

package/dist/internal/authorization/expr.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"expr.d.ts","sourceRoot":"","sources":["../../../src/internal/authorization/expr.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAIL,KAAK,mBAAmB,EACxB,KAAK,aAAa,EAClB,KAAK,kBAAkB,EACxB,MAAM,iBAAiB,CAAC;AAGzB,eAAO,MAAM,QAAQ,6FAGnB,CAAC;AACH,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC,IAAI,CAAC;AAE5C,eAAO,MAAM,QAAQ,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,SAAS,CAAC;;EAA6B,CAAC;AAErF,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,SAAS,CAAC;;;;;EAIlD,CAAC;AAEL,eAAO,MAAM,OAAO;;EAElB,CAAC;AACH,MAAM,MAAM,OAAO,GAAG,OAAO,OAAO,CAAC,IAAI,CAAC;AAE1C,eAAO,MAAM,WAAW,oCAAqC,CAAC;AAC9D,MAAM,MAAM,WAAW,GAAG,OAAO,WAAW,CAAC,IAAI,CAAC;AAElD,eAAO,MAAM,MAAM,+BAAgC,CAAC;AACpD,MAAM,MAAM,MAAM,GAAG,OAAO,MAAM,CAAC,IAAI,CAAC;AAExC,eAAO,MAAM,SAAS;;EAEpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C,eAAO,MAAM,SAAS,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,SAAS,CAAC;;;;;;;;;IACiB,CAAC;AAE1E,eAAO,MAAM,SAAS;;EAEpB,CAAC;AACH,MAAM,MAAM,SAAS,GAAG,OAAO,SAAS,CAAC,IAAI,CAAC;AAE9C,eAAO,MAAM,YAAY;;EAEvB,CAAC;AACH,MAAM,MAAM,YAAY,GAAG,OAAO,YAAY,CAAC,IAAI,CAAC;AAEpD,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,QAAQ,CAAC;;EACM,CAAC;AAE5D,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,QAAQ,CAAC;;EACM,CAAC;AAE3D,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,QAAQ,CAAC;;EACf,CAAC;AAEvC,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,SAAS,CAAC;;;EACK,CAAC;AAE3D,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,SAAS,CAAC;;EACT,CAAC;AAE9C,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,MAAM,CAAC,GAAG,SAAS,CAAC;;;EACI,CAAC;AAE1D,eAAO,MAAM,gBAAgB;;;;;;;;EAA0C,CAAC;AACxE,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AAC5D,eAAO,MAAM,iBAAiB;;;;;;;;;EAA2C,CAAC;AAC1E,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC;AAE9D,eAAO,MAAM,eAAe;;;;;;;;;;;EAAyC,CAAC;AACtE,MAAM,MAAM,eAAe,GAAG,OAAO,eAAe,CAAC,IAAI,CAAC;AAC1D,eAAO,MAAM,gBAAgB;;;;;;;;;;;;EAA0C,CAAC;AACxE,MAAM,MAAM,gBAAgB,GAAG,OAAO,gBAAgB,CAAC,IAAI,CAAC;AAE5D,eAAO,MAAM,iBAAiB;;;;;;;;;;;;;;;IAA2C,CAAC;AAC1E,MAAM,MAAM,iBAAiB,GAAG,OAAO,iBAAiB,CAAC,IAAI,CAAC;AAC9D,eAAO,MAAM,kBAAkB;;;;;;;;;;;;;;;;IAA4C,CAAC;AAC5E,MAAM,MAAM,kBAAkB,GAAG,OAAO,kBAAkB,CAAC,IAAI,CAAC;AAEhE,MAAM,MAAM,wBAAwB,GAAG,OAAO,iBAAiB,CAAC,OAAO,CAAC;AACxE,MAAM,MAAM,yBAAyB,GAAG,OAAO,kBAAkB,CAAC,OAAO,CAAC;AAC1E,MAAM,MAAM,sBAAsB,GAAG,OAAO,eAAe,CAAC,OAAO,CAAC;AACpE,MAAM,MAAM,uBAAuB,GAAG,OAAO,gBAAgB,CAAC,OAAO,CAAC;AAEtE,MAAM,MAAM,yBAAyB,GACjC,SAAS,GACT,YAAY,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,yBAAyB,CAAC,CAAA;CAAE,GAClF;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,yBAAyB,CAAC,CAAA;CAAE,GACjF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAA;CAAE,GAClE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAA;CAAE,GAC5F;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,iBAAiB,CAAA;CAAE,GAC1D;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,iBAAiB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAA;CAAE,CAAC;AAEvG,MAAM,MAAM,0BAA0B,GAClC,SAAS,GACT,YAAY,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,0BAA0B,CAAC,CAAA;CAAE,GACnF;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,0BAA0B,CAAC,CAAA;CAAE,GAClF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,0BAA0B,CAAA;CAAE,GACnE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAA;CAAE,GAC9F;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,kBAAkB,CAAA;CAAE,GAC3D;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,kBAAkB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,kBAAkB,CAAA;CAAE,CAAC;AAEzG,MAAM,MAAM,gCAAgC,GACxC,SAAS,GACT,YAAY,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,gCAAgC,CAAC,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,gCAAgC,CAAC,CAAA;CAAE,GACxF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,gCAAgC,CAAA;CAAE,GACzE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAA;CAAE,GAC1G;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,wBAAwB,CAAA;CAAE,GACjE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,wBAAwB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,wBAAwB,CAAA;CAAE,CAAC;AAErH,MAAM,MAAM,iCAAiC,GACzC,SAAS,GACT,YAAY,GACZ;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,iCAAiC,CAAC,CAAA;CAAE,GAC1F;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,iCAAiC,CAAC,CAAA;CAAE,GACzF;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,iCAAiC,CAAA;CAAE,GAC1E;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAA;CAAE,GAC5G;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,yBAAyB,CAAA;CAAE,GAClE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,yBAAyB,CAAC;IAAC,QAAQ,CAAC,UAAU,EAAE,yBAAyB,CAAA;CAAE,CAAC;AAyBvH,eAAO,MAAM,yBAAyB,EAAE,MAAM,CAAC,KAAK,CAClD,yBAAyB,EACzB,gCAAgC,CACkE,CAAC;AAErG,eAAO,MAAM,0BAA0B,EAAE,MAAM,CAAC,KAAK,CACnD,0BAA0B,EAC1B,iCAAiC,CACmE,CAAC;AAEvG,MAAM,MAAM,QAAQ,CAAC,CAAC,SAAS,aAAa,GAAG,kBAAkB,IAAI,CAAC,SAAS,mBAAmB,GAC9F,iBAAiB,GACjB,gBAAgB,CAAC;AAErB,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,aAAa,GAAG,kBAAkB,IAAI,CAAC,SAAS,mBAAmB,GAC7F,gBAAgB,GAChB,eAAe,CAAC;AAEpB,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,aAAa,GAAG,kBAAkB,IAAI,CAAC,SAAS,mBAAmB,GAC/F,kBAAkB,GAClB,iBAAiB,CAAC;AAEtB,MAAM,MAAM,OAAO,GAAG,OAAO,CAAC,yBAAyB,GAAG,0BAA0B,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAChH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,yBAAyB,GAAG,0BAA0B,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAC9G,MAAM,MAAM,OAAO,GAAG,OAAO,CAAC,yBAAyB,GAAG,0BAA0B,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAChH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,yBAAyB,GAAG,0BAA0B,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAC9G,MAAM,MAAM,OAAO,GAAG,OAAO,CAAC,yBAAyB,GAAG,0BAA0B,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,CAAC,CAAC;AAChH,MAAM,MAAM,MAAM,GAAG,OAAO,CAAC,yBAAyB,GAAG,0BAA0B,EAAE;IAAE,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;CAAE,CAAC,CAAC;AAE9G,MAAM,MAAM,iBAAiB,CAAC,CAAC,SAAS,aAAa,GAAG,kBAAkB,IAAI,CAAC,SAAS,mBAAmB,GACvG,0BAA0B,GAC1B,CAAC,SAAS,kBAAkB,GAC1B,yBAAyB,GACzB,yBAAyB,GAAG,0BAA0B,CAAC"}