ramosedb 0.0.1 → 0.4.0

package/dist/db/reachability.d.ts

@@ -0,0 +1,40 @@
+import { type CodeDefinition, type CodeDefinitionRef, type ResolvedTraitBinding } from "./Binding.ts";
+import type { AnyEntity } from "./Entity.ts";
+import type { CompositionValueMetadata } from "./creation.ts";
+export declare class ReachabilityConflictError extends Error {
+    readonly name = "ReachabilityConflictError";
+}
+export interface ReachableCodeDefinition {
+    readonly key: string;
+    readonly definition: CodeDefinition;
+    readonly path: readonly string[];
+}
+export interface ReachableBinding {
+    readonly catalogKey: string;
+    readonly entity: string;
+    readonly binding: ResolvedTraitBinding;
+    readonly path: readonly string[];
+}
+export interface CodeReachability {
+    readonly root: CodeDefinition;
+    readonly definitions: readonly ReachableCodeDefinition[];
+    readonly bindings: readonly ReachableBinding[];
+    readonly creation: readonly ReachableCreationMetadata[];
+}
+export interface ReachableCreationMetadata {
+    readonly catalogKey: string;
+    readonly entity: string;
+    readonly metadata: CompositionValueMetadata;
+}
+type ReachableEntity = {
+    readonly entity: AnyEntity;
+    readonly path: readonly string[];
+};
+export declare const collectDefinitionEntities: (definition: CodeDefinition) => readonly ReachableEntity[];
+/**
+ * Walk root catalog → schema → entities → operations/writes → traits →
+ * bindings. A deployment contains exactly one database definition.
+ */
+export declare const collectCodeReachability: (rootRef: CodeDefinitionRef) => CodeReachability;
+export {};
+//# sourceMappingURL=reachability.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"reachability.d.ts","sourceRoot":"","sources":["../../src/db/reachability.ts"],"names":[],"mappings":"AAAA,OAAO,EAGL,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACtB,KAAK,oBAAoB,EAE1B,MAAM,cAAc,CAAC;AACtB,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAQ7C,OAAO,KAAK,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAE9D,qBAAa,yBAA0B,SAAQ,KAAK;IAClD,SAAkB,IAAI,+BAA+B;CACtD;AAED,MAAM,WAAW,uBAAuB;IACtC,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,OAAO,EAAE,oBAAoB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC;AAED,MAAM,WAAW,gBAAgB;IAC/B,QAAQ,CAAC,IAAI,EAAE,cAAc,CAAC;IAC9B,QAAQ,CAAC,WAAW,EAAE,SAAS,uBAAuB,EAAE,CAAC;IACzD,QAAQ,CAAC,QAAQ,EAAE,SAAS,gBAAgB,EAAE,CAAC;IAC/C,QAAQ,CAAC,QAAQ,EAAE,SAAS,yBAAyB,EAAE,CAAC;CACzD;AAED,MAAM,WAAW,yBAAyB;IACxC,QAAQ,CAAC,UAAU,EAAE,MAAM,CAAC;IAC5B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,QAAQ,EAAE,wBAAwB,CAAC;CAC7C;AAID,KAAK,eAAe,GAAG;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;IAC3B,QAAQ,CAAC,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;CAClC,CAAC;AAWF,eAAO,MAAM,yBAAyB,eACxB,cAAc,KACzB,SAAS,eAAe,EAiD1B,CAAC;AAEF;;;GAGG;AACH,eAAO,MAAM,uBAAuB,YACzB,iBAAiB,KACzB,gBA8DF,CAAC"}

package/dist/db/reachability.js

@@ -0,0 +1,118 @@
+import { resolveCodeDefinition, traitDefinitionOf, } from "./Binding.js";
+import { isOwnedOperation, OwnedOperations, } from "./Operation.js";
+import { walkTraits } from "./compose.js";
+import { compositionValueMetadata } from "./creation.js";
+export class ReachabilityConflictError extends Error {
+    name = "ReachabilityConflictError";
+}
+const formatPath = (path) => path.join(" → ");
+const ownersOf = (entity) => {
+    const traits = walkTraits(entity.traits).all
+        .map((trait) => traitDefinitionOf(trait))
+        .sort((left, right) => left.ns < right.ns ? -1 : left.ns > right.ns ? 1 : 0);
+    return [entity, ...traits];
+};
+export const collectDefinitionEntities = (definition) => {
+    const byName = new Map();
+    const queue = [];
+    const add = (entity, path) => {
+        const previous = byName.get(entity.ns);
+        if (previous !== undefined) {
+            if (previous.entity !== entity) {
+                throw new ReachabilityConflictError(`ramose/reachability: entity ${JSON.stringify(entity.ns)} names different definitions (paths: ${formatPath(previous.path)}; ${formatPath(path)})`);
+            }
+            return;
+        }
+        const reachable = Object.freeze({ entity, path: Object.freeze([...path]) });
+        byName.set(entity.ns, reachable);
+        queue.push(reachable);
+    };
+    for (const entityName of Object.keys(definition.schema.entities).sort()) {
+        add(definition.schema.entities[entityName], [
+            `catalog:${definition.key}`,
+            "schema",
+            `entity:${entityName}`,
+        ]);
+    }
+    for (let index = 0; index < queue.length; index++) {
+        const reachable = queue[index];
+        for (const owner of ownersOf(reachable.entity)) {
+            const operations = owner[OwnedOperations] ?? {};
+            for (const localName of Object.keys(operations).sort()) {
+                const operation = operations[localName];
+                if (!isOwnedOperation(operation))
+                    continue;
+                const writes = [...operation.writes].sort((left, right) => left.ns < right.ns ? -1 : left.ns > right.ns ? 1 : 0);
+                for (const write of writes) {
+                    add(write, [
+                        ...reachable.path,
+                        `operation:${owner.ns}.${localName}`,
+                        `writes:${write.ns}`,
+                    ]);
+                }
+            }
+        }
+    }
+    return Object.freeze([...queue]);
+};
+/**
+ * Walk root catalog → schema → entities → operations/writes → traits →
+ * bindings. A deployment contains exactly one database definition.
+ */
+export const collectCodeReachability = (rootRef) => {
+    const root = resolveCodeDefinition(rootRef);
+    const byKey = new Map();
+    const definitions = [];
+    const bindings = [];
+    const creation = [];
+    const visit = (definition, path) => {
+        const nextPath = [...path, `catalog:${definition.key}`];
+        const previous = byKey.get(definition.key);
+        if (previous !== undefined) {
+            if (previous.definition !== definition) {
+                throw new ReachabilityConflictError(`ramose/reachability: permanent key ${JSON.stringify(definition.key)} names different definitions (paths: ${formatPath(previous.path)}; ${formatPath(nextPath)})`);
+            }
+            return;
+        }
+        const reachable = Object.freeze({
+            key: definition.key,
+            definition,
+            path: Object.freeze(nextPath),
+        });
+        byKey.set(definition.key, reachable);
+        definitions.push(reachable);
+        for (const reachableEntity of collectDefinitionEntities(definition)) {
+            const entity = reachableEntity.entity;
+            const metadata = compositionValueMetadata(entity);
+            creation.push(Object.freeze({
+                catalogKey: definition.key,
+                entity: entity.ns,
+                metadata,
+            }));
+            for (const use of metadata.bindings) {
+                const bindingPath = Object.freeze([
+                    ...nextPath,
+                    ...reachableEntity.path.slice(1),
+                    ...use.path.slice(1),
+                ]);
+                bindings.push(Object.freeze({
+                    catalogKey: definition.key,
+                    entity: entity.ns,
+                    binding: use.binding,
+                    path: bindingPath,
+                }));
+            }
+        }
+    };
+    visit(root, []);
+    const frozenDefinitions = Object.freeze([...definitions]);
+    const frozenBindings = Object.freeze([...bindings]);
+    const frozenCreation = Object.freeze([...creation]);
+    return Object.freeze({
+        root,
+        definitions: frozenDefinitions,
+        bindings: frozenBindings,
+        creation: frozenCreation,
+    });
+};
+//# sourceMappingURL=reachability.js.map

package/dist/db/reachability.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"reachability.js","sourceRoot":"","sources":["../../src/db/reachability.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,qBAAqB,EACrB,iBAAiB,GAKlB,MAAM,cAAc,CAAC;AAEtB,OAAO,EACL,gBAAgB,EAChB,eAAe,GAEhB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,UAAU,EAAqB,MAAM,cAAc,CAAC;AAC7D,OAAO,EAAE,wBAAwB,EAAE,MAAM,eAAe,CAAC;AAGzD,MAAM,OAAO,yBAA0B,SAAQ,KAAK;IAChC,IAAI,GAAG,2BAA2B,CAAC;CACtD;AA4BD,MAAM,UAAU,GAAG,CAAC,IAAuB,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAOzE,MAAM,QAAQ,GAAG,CAAC,MAAiB,EAA6B,EAAE;IAChE,MAAM,MAAM,GAAG,UAAU,CAAE,MAAuB,CAAC,MAAM,CAAC,CAAC,GAAG;SAC3D,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CACb,iBAAiB,CAAC,KAA6B,CAA8B,CAC9E;SACA,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/E,OAAO,CAAC,MAAwB,EAAE,GAAG,MAAM,CAAC,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,UAA0B,EACE,EAAE;IAC9B,MAAM,MAAM,GAAG,IAAI,GAAG,EAA2B,CAAC;IAClD,MAAM,KAAK,GAAsB,EAAE,CAAC;IAEpC,MAAM,GAAG,GAAG,CAAC,MAAiB,EAAE,IAAuB,EAAQ,EAAE;QAC/D,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,CAAC,CAAC;QACvC,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,QAAQ,CAAC,MAAM,KAAK,MAAM,EAAE,CAAC;gBAC/B,MAAM,IAAI,yBAAyB,CACjC,+BAA+B,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC,wCAAwC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,IAAI,CAAC,GAAG,CAClJ,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QACD,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC;QAC5E,MAAM,CAAC,GAAG,CAAC,MAAM,CAAC,EAAE,EAAE,SAAS,CAAC,CAAC;QACjC,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;IACxB,CAAC,CAAC;IAEF,KAAK,MAAM,UAAU,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QACxE,GAAG,CAAC,UAAU,CAAC,MAAM,CAAC,QAAQ,CAAC,UAAU,CAAE,EAAE;YAC3C,WAAW,UAAU,CAAC,GAAG,EAAE;YAC3B,QAAQ;YACR,UAAU,UAAU,EAAE;SACvB,CAAC,CAAC;IACL,CAAC;IAED,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,KAAK,CAAC,MAAM,EAAE,KAAK,EAAE,EAAE,CAAC;QAClD,MAAM,SAAS,GAAG,KAAK,CAAC,KAAK,CAAE,CAAC;QAChC,KAAK,MAAM,KAAK,IAAI,QAAQ,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YAC/C,MAAM,UAAU,GAAG,KAAK,CAAC,eAAe,CAAC,IAAI,EAAE,CAAC;YAChD,KAAK,MAAM,SAAS,IAAI,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;gBACvD,MAAM,SAAS,GAAG,UAAU,CAAC,SAAS,CAAC,CAAC;gBACxC,IAAI,CAAC,gBAAgB,CAAC,SAAS,CAAC;oBAAE,SAAS;gBAC3C,MAAM,MAAM,GAAG,CAAC,GAAG,SAAS,CAAC,MAAM,CAAC,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,KAAK,EAAE,EAAE,CACxD,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CACrD,CAAC;gBACF,KAAK,MAAM,KAAK,IAAI,MAAM,EAAE,CAAC;oBAC3B,GAAG,CAAC,KAAK,EAAE;wBACT,GAAG,SAAS,CAAC,IAAI;wBACjB,aAAa,KAAK,CAAC,EAAE,IAAI,SAAS,EAAE;wBACpC,UAAU,KAAK,CAAC,EAAE,EAAE;qBACrB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;IACH,CAAC;IAED,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC;AACnC,CAAC,CAAC;AAEF;;;GAGG;AACH,MAAM,CAAC,MAAM,uBAAuB,GAAG,CACrC,OAA0B,EACR,EAAE;IACpB,MAAM,IAAI,GAAG,qBAAqB,CAAC,OAAO,CAAC,CAAC;IAC5C,MAAM,KAAK,GAAG,IAAI,GAAG,EAAmC,CAAC;IACzD,MAAM,WAAW,GAA8B,EAAE,CAAC;IAClD,MAAM,QAAQ,GAAuB,EAAE,CAAC;IACxC,MAAM,QAAQ,GAAgC,EAAE,CAAC;IAEjD,MAAM,KAAK,GAAG,CAAC,UAA0B,EAAE,IAAuB,EAAQ,EAAE;QAC1E,MAAM,QAAQ,GAAG,CAAC,GAAG,IAAI,EAAE,WAAW,UAAU,CAAC,GAAG,EAAE,CAAC,CAAC;QACxD,MAAM,QAAQ,GAAG,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,QAAQ,KAAK,SAAS,EAAE,CAAC;YAC3B,IAAI,QAAQ,CAAC,UAAU,KAAK,UAAU,EAAE,CAAC;gBACvC,MAAM,IAAI,yBAAyB,CACjC,sCAAsC,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,wCAAwC,UAAU,CAAC,QAAQ,CAAC,IAAI,CAAC,KAAK,UAAU,CAAC,QAAQ,CAAC,GAAG,CAClK,CAAC;YACJ,CAAC;YACD,OAAO;QACT,CAAC;QAED,MAAM,SAAS,GAAG,MAAM,CAAC,MAAM,CAAC;YAC9B,GAAG,EAAE,UAAU,CAAC,GAAG;YACnB,UAAU;YACV,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;SAC9B,CAAC,CAAC;QACH,KAAK,CAAC,GAAG,CAAC,UAAU,CAAC,GAAG,EAAE,SAAS,CAAC,CAAC;QACrC,WAAW,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC;QAE5B,KAAK,MAAM,eAAe,IAAI,yBAAyB,CAAC,UAAU,CAAC,EAAE,CAAC;YACpE,MAAM,MAAM,GAAG,eAAe,CAAC,MAAM,CAAC;YACtC,MAAM,QAAQ,GAAG,wBAAwB,CAAC,MAAM,CAAC,CAAC;YAClD,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;gBAC1B,UAAU,EAAE,UAAU,CAAC,GAAG;gBAC1B,MAAM,EAAE,MAAM,CAAC,EAAE;gBACjB,QAAQ;aACT,CAAC,CAAC,CAAC;YACJ,KAAK,MAAM,GAAG,IAAI,QAAQ,CAAC,QAAQ,EAAE,CAAC;gBACpC,MAAM,WAAW,GAAG,MAAM,CAAC,MAAM,CAAC;oBAChC,GAAG,QAAQ;oBACX,GAAG,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;oBAChC,GAAG,GAAG,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,CAAC;iBACrB,CAAC,CAAC;gBACH,QAAQ,CAAC,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC;oBAC1B,UAAU,EAAE,UAAU,CAAC,GAAG;oBAC1B,MAAM,EAAE,MAAM,CAAC,EAAE;oBACjB,OAAO,EAAE,GAAG,CAAC,OAAO;oBACpB,IAAI,EAAE,WAAW;iBAClB,CAAC,CAAC,CAAC;YAEN,CAAC;QACH,CAAC;IACH,CAAC,CAAC;IAEF,KAAK,CAAC,IAAI,EAAE,EAAE,CAAC,CAAC;IAChB,MAAM,iBAAiB,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC;IAC1D,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACpD,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,CAAC;IACpD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,IAAI;QACJ,WAAW,EAAE,iBAAiB;QAC9B,QAAQ,EAAE,cAAc;QACxB,QAAQ,EAAE,cAAc;KACzB,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/db/refs.d.ts

@@ -0,0 +1,46 @@
+import type { AnyEntity } from "./Entity.ts";
+declare const EntityIdBrand: unique symbol;
+declare const ClientRefBrand: unique symbol;
+declare const InvocationIdBrand: unique symbol;
+export type EntityId<Entity extends AnyEntity = AnyEntity> = string & {
+    readonly [EntityIdBrand]: Entity;
+};
+/**
+ * A globally unique client-minted identity for an entity this client intends
+ * to create. It is durable: it survives restart, and dependent queued work
+ * refers to it until the authoritative mapping arrives.
+ */
+export type ClientRef<Entity extends AnyEntity = AnyEntity> = string & {
+    readonly [ClientRefBrand]: Entity;
+};
+/** The durable identity of one queued invocation. */
+export type InvocationId = string & {
+    readonly [InvocationIdBrand]: true;
+};
+/** What a durable queued mutation may name as its target. */
+export type MutationRef<Entity extends AnyEntity = AnyEntity> = EntityId<Entity> | ClientRef<Entity>;
+export declare const ENTITY_ID_PATTERN: RegExp;
+export declare const ENTITY_ID_CODEC = 1;
+export declare const CLIENT_REF_PATTERN: RegExp;
+export declare const INVOCATION_ID_PATTERN: RegExp;
+/** Mint one durable client ref for an entity that does not exist yet. */
+export declare const clientRef: <Entity extends AnyEntity = AnyEntity>() => ClientRef<Entity>;
+/** Mint one durable invocation id. Assigned before anything is persisted. */
+export declare const invocationId: () => InvocationId;
+export declare const isClientRef: (value: unknown) => value is ClientRef;
+export declare const isInvocationId: (value: unknown) => value is InvocationId;
+/**
+ * Shape check only. A well-formed handle is not an authorization claim and is
+ * not proof that the ciphertext opens: only the authoritative resolver decides
+ * that, and its failure is the ordinary sealed denial.
+ */
+export declare const isEntityId: (value: unknown) => value is EntityId;
+export declare const isMutationRef: (value: unknown) => value is MutationRef;
+export declare const unsafeEntityId: <Entity extends AnyEntity = AnyEntity>(value: string) => EntityId<Entity>;
+export type EntityIdEnvelope = {
+    readonly codecVersion: number;
+    readonly keyId: string;
+};
+export declare const entityIdEnvelope: (value: string) => EntityIdEnvelope | undefined;
+export {};
+//# sourceMappingURL=refs.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"refs.d.ts","sourceRoot":"","sources":["../../src/db/refs.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,OAAO,CAAC,MAAM,aAAa,EAAE,OAAO,MAAM,CAAC;AAC3C,OAAO,CAAC,MAAM,cAAc,EAAE,OAAO,MAAM,CAAC;AAC5C,OAAO,CAAC,MAAM,iBAAiB,EAAE,OAAO,MAAM,CAAC;AAE/C,MAAM,MAAM,QAAQ,CAAC,MAAM,SAAS,SAAS,GAAG,SAAS,IAAI,MAAM,GAAG;IACpE,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,MAAM,CAAC;CAClC,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,MAAM,SAAS,SAAS,GAAG,SAAS,IAAI,MAAM,GAAG;IACrE,QAAQ,CAAC,CAAC,cAAc,CAAC,EAAE,MAAM,CAAC;CACnC,CAAC;AAEF,qDAAqD;AACrD,MAAM,MAAM,YAAY,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,CAAC,iBAAiB,CAAC,EAAE,IAAI,CAAA;CAAE,CAAC;AAE3E,6DAA6D;AAC7D,MAAM,MAAM,WAAW,CAAC,MAAM,SAAS,SAAS,GAAG,SAAS,IACxD,QAAQ,CAAC,MAAM,CAAC,GAChB,SAAS,CAAC,MAAM,CAAC,CAAC;AAEtB,eAAO,MAAM,iBAAiB,QAA0C,CAAC;AAEzE,eAAO,MAAM,eAAe,IAAI,CAAC;AAOjC,eAAO,MAAM,kBAAkB,QAE9B,CAAC;AACF,eAAO,MAAM,qBAAqB,QAEjC,CAAC;AA0BF,yEAAyE;AACzE,eAAO,MAAM,SAAS,GAAI,MAAM,SAAS,SAAS,GAAG,SAAS,OAAK,SAAS,CAC1E,MAAM,CACmD,CAAC;AAE5D,6EAA6E;AAC7E,eAAO,MAAM,YAAY,QAAO,YACsB,CAAC;AAEvD,eAAO,MAAM,WAAW,UAAW,OAAO,KAAG,KAAK,IAAI,SACO,CAAC;AAE9D,eAAO,MAAM,cAAc,UAAW,OAAO,KAAG,KAAK,IAAI,YACO,CAAC;AAEjE;;;;GAIG;AACH,eAAO,MAAM,UAAU,UAAW,OAAO,KAAG,KAAK,IAAI,QACO,CAAC;AAE7D,eAAO,MAAM,aAAa,UAAW,OAAO,KAAG,KAAK,IAAI,WACf,CAAC;AAE1C,eAAO,MAAM,cAAc,GAAI,MAAM,SAAS,SAAS,GAAG,SAAS,SAC1D,MAAM,KACZ,QAAQ,CAAC,MAAM,CAA8B,CAAC;AAEjD,MAAM,MAAM,gBAAgB,GAAG;IAC7B,QAAQ,CAAC,YAAY,EAAE,MAAM,CAAC;IAC9B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;CACxB,CAAC;AAIF,eAAO,MAAM,gBAAgB,UACpB,MAAM,KACZ,gBAAgB,GAAG,SAoBrB,CAAC"}

package/dist/db/refs.js

@@ -0,0 +1,69 @@
+export const ENTITY_ID_PATTERN = /^[A-Za-z0-9_-]{54}[AEIMQUYcgkosw048]$/;
+export const ENTITY_ID_CODEC = 1;
+const CLIENT_REF_PREFIX = "cr1_";
+const INVOCATION_ID_PREFIX = "iv1_";
+const UUID_PATTERN = /^[0-9a-f]{8}-[0-9a-f]{4}-7[0-9a-f]{3}-[89ab][0-9a-f]{3}-[0-9a-f]{12}$/;
+export const CLIENT_REF_PATTERN = new RegExp(`^${CLIENT_REF_PREFIX}${UUID_PATTERN.source.slice(1, -1)}$`);
+export const INVOCATION_ID_PATTERN = new RegExp(`^${INVOCATION_ID_PREFIX}${UUID_PATTERN.source.slice(1, -1)}$`);
+const hex = (byte) => byte.toString(16).padStart(2, "0");
+const uuidV7 = () => {
+    const bytes = new Uint8Array(16);
+    crypto.getRandomValues(bytes);
+    const millis = Date.now();
+    bytes[0] = (millis / 2 ** 40) & 0xff;
+    bytes[1] = (millis / 2 ** 32) & 0xff;
+    bytes[2] = (millis / 2 ** 24) & 0xff;
+    bytes[3] = (millis / 2 ** 16) & 0xff;
+    bytes[4] = (millis / 2 ** 8) & 0xff;
+    bytes[5] = millis & 0xff;
+    bytes[6] = (bytes[6] & 0x0f) | 0x70;
+    bytes[8] = (bytes[8] & 0x3f) | 0x80;
+    const text = [...bytes].map(hex).join("");
+    return [
+        text.slice(0, 8),
+        text.slice(8, 12),
+        text.slice(12, 16),
+        text.slice(16, 20),
+        text.slice(20),
+    ].join("-");
+};
+/** Mint one durable client ref for an entity that does not exist yet. */
+export const clientRef = () => `${CLIENT_REF_PREFIX}${uuidV7()}`;
+/** Mint one durable invocation id. Assigned before anything is persisted. */
+export const invocationId = () => `${INVOCATION_ID_PREFIX}${uuidV7()}`;
+export const isClientRef = (value) => typeof value === "string" && CLIENT_REF_PATTERN.test(value);
+export const isInvocationId = (value) => typeof value === "string" && INVOCATION_ID_PATTERN.test(value);
+/**
+ * Shape check only. A well-formed handle is not an authorization claim and is
+ * not proof that the ciphertext opens: only the authoritative resolver decides
+ * that, and its failure is the ordinary sealed denial.
+ */
+export const isEntityId = (value) => typeof value === "string" && ENTITY_ID_PATTERN.test(value);
+export const isMutationRef = (value) => isEntityId(value) || isClientRef(value);
+export const unsafeEntityId = (value) => value;
+const BASE64URL = "ABCDEFGHIJKLMNOPQRSTUVWXYZabcdefghijklmnopqrstuvwxyz0123456789-_";
+export const entityIdEnvelope = (value) => {
+    if (!ENTITY_ID_PATTERN.test(value))
+        return undefined;
+    const bytes = new Uint8Array(18);
+    for (let group = 0; group < 6; group++) {
+        let packed = 0;
+        for (let offset = 0; offset < 4; offset++) {
+            const index = BASE64URL.indexOf(value[group * 4 + offset]);
+            if (index < 0)
+                return undefined;
+            packed = (packed << 6) | index;
+        }
+        bytes[group * 3] = (packed >> 16) & 0xff;
+        bytes[group * 3 + 1] = (packed >> 8) & 0xff;
+        bytes[group * 3 + 2] = packed & 0xff;
+    }
+    let binary = "";
+    for (const byte of bytes.subarray(1, 17))
+        binary += String.fromCharCode(byte);
+    return Object.freeze({
+        codecVersion: bytes[0],
+        keyId: btoa(binary).replaceAll("+", "-").replaceAll("/", "_").replace(/=+$/, ""),
+    });
+};
+//# sourceMappingURL=refs.js.map

package/dist/db/refs.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"refs.js","sourceRoot":"","sources":["../../src/db/refs.ts"],"names":[],"mappings":"AA2BA,MAAM,CAAC,MAAM,iBAAiB,GAAG,uCAAuC,CAAC;AAEzE,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,CAAC;AAEjC,MAAM,iBAAiB,GAAG,MAAM,CAAC;AACjC,MAAM,oBAAoB,GAAG,MAAM,CAAC;AACpC,MAAM,YAAY,GAChB,uEAAuE,CAAC;AAE1E,MAAM,CAAC,MAAM,kBAAkB,GAAG,IAAI,MAAM,CAC1C,IAAI,iBAAiB,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAC5D,CAAC;AACF,MAAM,CAAC,MAAM,qBAAqB,GAAG,IAAI,MAAM,CAC7C,IAAI,oBAAoB,GAAG,YAAY,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG,CAC/D,CAAC;AAEF,MAAM,GAAG,GAAG,CAAC,IAAY,EAAU,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,GAAG,CAAC,CAAC;AAEzE,MAAM,MAAM,GAAG,GAAW,EAAE;IAC1B,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IACjC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAC1B,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;IACrC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;IACrC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;IACrC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;IACrC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,MAAM,GAAG,CAAC,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;IACpC,KAAK,CAAC,CAAC,CAAC,GAAG,MAAM,GAAG,IAAI,CAAC;IACzB,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACrC,KAAK,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC,CAAE,GAAG,IAAI,CAAC,GAAG,IAAI,CAAC;IACrC,MAAM,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;IAC1C,OAAO;QACL,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC;QAChB,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,EAAE,CAAC;QACjB,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC;QAClB,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,EAAE,CAAC;QAClB,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;KACf,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;AACd,CAAC,CAAC;AAEF,yEAAyE;AACzE,MAAM,CAAC,MAAM,SAAS,GAAG,GAEvB,EAAE,CAAC,GAAG,iBAAiB,GAAG,MAAM,EAAE,EAAuB,CAAC;AAE5D,6EAA6E;AAC7E,MAAM,CAAC,MAAM,YAAY,GAAG,GAAiB,EAAE,CAC7C,GAAG,oBAAoB,GAAG,MAAM,EAAE,EAAkB,CAAC;AAEvD,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,KAAc,EAAsB,EAAE,CAChE,OAAO,KAAK,KAAK,QAAQ,IAAI,kBAAkB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE9D,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,KAAc,EAAyB,EAAE,CACtE,OAAO,KAAK,KAAK,QAAQ,IAAI,qBAAqB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAEjE;;;;GAIG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAc,EAAqB,EAAE,CAC9D,OAAO,KAAK,KAAK,QAAQ,IAAI,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC;AAE7D,MAAM,CAAC,MAAM,aAAa,GAAG,CAAC,KAAc,EAAwB,EAAE,CACpE,UAAU,CAAC,KAAK,CAAC,IAAI,WAAW,CAAC,KAAK,CAAC,CAAC;AAE1C,MAAM,CAAC,MAAM,cAAc,GAAG,CAC5B,KAAa,EACK,EAAE,CAAC,KAAyB,CAAC;AAOjD,MAAM,SAAS,GAAG,kEAAkE,CAAC;AAErF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,KAAa,EACiB,EAAE;IAChC,IAAI,CAAC,iBAAiB,CAAC,IAAI,CAAC,KAAK,CAAC;QAAE,OAAO,SAAS,CAAC;IACrD,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;IACjC,KAAK,IAAI,KAAK,GAAG,CAAC,EAAE,KAAK,GAAG,CAAC,EAAE,KAAK,EAAE,EAAE,CAAC;QACvC,IAAI,MAAM,GAAG,CAAC,CAAC;QACf,KAAK,IAAI,MAAM,GAAG,CAAC,EAAE,MAAM,GAAG,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;YAC1C,MAAM,KAAK,GAAG,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,GAAG,CAAC,GAAG,MAAM,CAAE,CAAC,CAAC;YAC5D,IAAI,KAAK,GAAG,CAAC;gBAAE,OAAO,SAAS,CAAC;YAChC,MAAM,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,KAAK,CAAC;QACjC,CAAC;QACD,KAAK,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,EAAE,CAAC,GAAG,IAAI,CAAC;QACzC,KAAK,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,CAAC,MAAM,IAAI,CAAC,CAAC,GAAG,IAAI,CAAC;QAC5C,KAAK,CAAC,KAAK,GAAG,CAAC,GAAG,CAAC,CAAC,GAAG,MAAM,GAAG,IAAI,CAAC;IACvC,CAAC;IACD,IAAI,MAAM,GAAG,EAAE,CAAC;IAChB,KAAK,MAAM,IAAI,IAAI,KAAK,CAAC,QAAQ,CAAC,CAAC,EAAE,EAAE,CAAC;QAAE,MAAM,IAAI,MAAM,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;IAC9E,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,YAAY,EAAE,KAAK,CAAC,CAAC,CAAE;QACvB,KAAK,EAAE,IAAI,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,EAAE,GAAG,CAAC,CAAC,OAAO,CAAC,KAAK,EAAE,EAAE,CAAC;KACjF,CAAC,CAAC;AACL,CAAC,CAAC"}

package/dist/db/shapes.d.ts

@@ -0,0 +1,227 @@
+import type { AnyField, Cardinality } from "./Field.ts";
+import type { AnyEntity } from "./Entity.ts";
+import type { AnyComposer } from "./Composer.ts";
+import type { AttrIdent, FocusIdents } from "./query/focus.ts";
+import type { EidCell, Var } from "./query/kernel.ts";
+import { type Again, type AgainAsField, type AgainMissingId, type AgainNsMismatch, type AgainTargetNs, type AllRow, type AllShape, type HasIdField, type IdCell, type IsAgainSelectField, type IsAgainTerm, type PullDefault, type PullNestedConstraints, type RecurDepth, type ShapeNs, type Unroll, optional } from "./Pull.ts";
+export type PathCarrier = {
+    readonly ident: string;
+    readonly cardinality?: Cardinality | undefined;
+    readonly __path?: readonly string[];
+    readonly __cards?: readonly Cardinality[];
+    readonly __revs?: readonly boolean[];
+    readonly __reverse?: boolean;
+};
+export declare const pathOf: (attr: PathCarrier) => readonly string[];
+export declare const cardsOf: (attr: PathCarrier) => readonly Cardinality[];
+export declare const revsOf: (attr: PathCarrier) => readonly boolean[];
+export type AttrValue<A> = A extends {
+    readonly schema: {
+        readonly Type: infer T;
+    };
+} ? T : unknown;
+/** What names an entity in a value position: a raw eid, or an `Eid` row cell. */
+export type EidLike = number | {
+    readonly id: number;
+};
+type IsMany<A> = A extends {
+    readonly cardinality: "many";
+} ? true : false;
+type IsDefaultable<A> = IsMany<A> extends true ? false : A extends {
+    readonly valueType: "ref";
+} ? false : true;
+type RefSelect<A> = {
+    <const D extends RecurDepth>(shape: Again<D>, opts?: SelectOpts<A>): SelectNested<A, Again<D>>;
+    <const N extends AnyEntity>(shape: AllShape<N>, opts?: SelectOpts<A>): SelectNested<A, AllShape<N>>;
+    <const S extends Shape>(shape: S & ValidShape<S>, opts?: SelectOpts<A>): SelectNested<A, S>;
+};
+type SelectOpts<A> = [IsManyRef<A>] extends [true] ? NestedOpts<A> : never;
+export type OrderEmpty = "first" | "last";
+export type OrderDir = "asc" | "desc";
+export type ShapeField = AnyField | PathCarrier | Again | {
+    readonly _tag: "optional";
+    readonly field: unknown;
+} | {
+    readonly _tag: "default";
+    readonly field: unknown;
+    readonly value: unknown;
+} | {
+    readonly _tag: "nested";
+    readonly attr: unknown;
+    readonly pattern: unknown;
+} | {
+    readonly _tag: "select";
+    readonly attr: unknown;
+    readonly shape: Shape | AllShape | Again;
+} | {
+    readonly _tag: "collection";
+    readonly attr: unknown;
+};
+export type Shape = {
+    readonly [key: string]: ShapeField;
+};
+export type ValidShape<S> = {
+    readonly [K in keyof S]: IsAgainTerm<S[K]> extends true ? AgainAsField<K & string> : IsAgainSelectField<S[K]> extends true ? AgainSelectField<S[K], S, K & string> : S[K];
+};
+type ShapeAttrOf<F> = F extends {
+    readonly _tag: "optional" | "default";
+    readonly field: infer I;
+} ? ShapeAttrOf<I> : F extends {
+    readonly _tag: "select" | "nested" | "collection";
+    readonly attr: infer A;
+} ? A : F;
+type IsReverseField<A> = A extends {
+    readonly __reverse: true;
+} ? true : false;
+export type FocusShape<N extends AnyComposer, S> = {
+    readonly [K in keyof S]: [IsReverseField<ShapeAttrOf<S[K]>>] extends [true] ? S[K] : [AttrIdent<ShapeAttrOf<S[K]>>] extends [FocusIdents<N>] ? S[K] : `select field "${K & string}" is not an attribute of the focus entity`;
+};
+export type FocusSelect<N extends AnyComposer, S> = S extends AllShape<infer M> ? [M] extends [N] ? S : `all(...) is not the focus entity` : S & ValidShape<S> & FocusShape<N, S>;
+type AgainSelectField<F, S, K extends string> = HasIdField<S> extends true ? AgainNsField<F, S, K> : AgainMissingId;
+type AgainNsField<F, S, K extends string> = AgainTargetNs<F> extends ShapeNs<S> ? F : AgainNsMismatch<K, ShapeNs<S> & string>;
+type IsManyRef<A> = IsMany<A> extends true ? A extends {
+    readonly valueType: "ref";
+} ? true : false : false;
+export type NestedOrderKey = PathCarrier & {
+    readonly cardinality?: "one";
+};
+export type NestedElemPred<A> = A extends {
+    readonly valueType: "ref";
+} ? (focus: Var<EidCell>) => Iterable<unknown> : (v: Var<AttrValue<A>>) => Iterable<unknown>;
+export interface NestedOrderSpec {
+    readonly key: NestedOrderKey;
+    readonly dir?: OrderDir;
+    readonly empty?: OrderEmpty;
+}
+export type NestedOrderBy = NestedOrderKey | NestedOrderSpec | readonly (NestedOrderKey | NestedOrderSpec)[];
+/**
+ * Pull-phase constraints on a nested collection, as one record — the typed
+ * twin of the wire's own `{where, order, offset, limit}` map on a
+ * `PullAttrSpec`. Deliberately a record, not a chain or a pipe: the engine
+ * evaluates the four slots in a fixed order (`where` → `orderBy` → `offset`
+ * → `limit`) whatever the source spelling, so the syntax carries no sequence
+ * to mislead with. Evaluated *inside* the pull, after the outer `:order` /
+ * `:offset` / `:limit` slice — constraints page the collection, never the
+ * rows: an element-less collection is `[]`, not a dropped parent, so the
+ * outer `limit` still counts rows the client keeps.
+ *
+ * ```ts
+ * replies: Comment.replies.select(Ramose.again(4), {
+ *   where: [is(Comment.deleted, false)],
+ *   orderBy: { key: Comment.createdAt, dir: "asc" },
+ *   limit: 20,
+ * }),
+ * ```
+ *
+ * `where` entries are ANDed filter fragments over the element (see
+ * {@link NestedElemPred}); a card-many scalar takes the same record through
+ * {@link values}, minus `orderBy` (its elements are values, with no
+ * attributes to sort by).
+ */
+export interface NestedOpts<A = PathCarrier> {
+    readonly where?: readonly NestedElemPred<A>[];
+    readonly orderBy?: A extends {
+        readonly valueType: "ref";
+    } ? NestedOrderBy : never;
+    readonly limit?: number;
+    readonly offset?: number;
+}
+export type AttrNav<A extends PathCarrier> = A & {
+    readonly optional: ReturnType<typeof optional<A>>;
+    readonly orDefault: IsDefaultable<A> extends true ? (value: AttrValue<A>) => PullDefault<A> : never;
+    readonly select: A extends {
+        readonly valueType: "ref";
+    } ? RefSelect<A> : never;
+};
+/** A card-many **scalar** collection with pull-phase constraints — the field
+ * {@link values} builds. Inert: the constraints are already lowered. */
+export interface ValuesField<A = PathCarrier> {
+    readonly _tag: "collection";
+    readonly attr: A;
+    readonly constraints: PullNestedConstraints;
+}
+/**
+ * A card-many **scalar** collection with pull-phase constraints — the map
+ * form's spelling for a hop that has no shape to `.select` through, because
+ * its elements are the values themselves. `where` fragments are handed the
+ * value var directly; `orderBy` does not apply.
+ *
+ * ```ts
+ * aTags: Ramose.values(User.tags, { where: [(v) => Q.startsWith(v, "a")] }),
+ * ```
+ */
+export declare const values: <A extends PathCarrier>(attr: A, opts?: Omit<NestedOpts<A>, "orderBy">) => ValuesField<A>;
+export interface SelectNested<A = unknown, S = unknown> {
+    readonly _tag: "select";
+    readonly attr: A;
+    readonly shape: S;
+    readonly constraints?: PullNestedConstraints;
+    readonly optional: {
+        readonly _tag: "optional";
+        readonly field: SelectNested<A, S>;
+    };
+}
+export declare const makeSelectNested: (attr: PathCarrier, shape: Shape | AllShape | Again, constraints?: PullNestedConstraints) => SelectNested<PathCarrier, Shape | AllShape | Again>;
+export declare const attachAttrNav: <A extends PathCarrier>(attr: A) => AttrNav<A>;
+export declare const isSelectNested: (x: unknown) => x is SelectNested;
+export declare const shapeToPullMap: (shape: Shape) => Record<string, unknown>;
+export type SelectResult<S> = {
+    readonly [K in keyof S]: SelectFieldResult<S[K], S>;
+};
+type NestedSelectResult<A, S, Enclosing = unknown> = [S] extends [
+    {
+        readonly _tag: "again";
+        readonly depth: infer D extends number;
+    }
+] ? A extends {
+    readonly cardinality: "many";
+} ? readonly Unroll<Enclosing, D>[] : Unroll<Enclosing, D> : [S] extends [
+    {
+        readonly _tag: "all";
+        readonly ns: infer N extends AnyEntity;
+    }
+] ? A extends {
+    readonly cardinality: "many";
+} ? readonly AllRow<N>[] : AllRow<N> : A extends {
+    readonly cardinality: "many";
+} ? readonly SelectResult<S & object>[] : SelectResult<S & object>;
+type SchemaType<S> = S extends {
+    readonly Type: infer T;
+} ? T : S extends {
+    readonly schema: {
+        readonly Type: infer T;
+    };
+} ? T : never;
+type SelectFieldResult<F, Enclosing = unknown> = F extends {
+    readonly _tag: "default";
+    readonly field: infer Inner;
+} ? SelectFieldResult<Inner, Enclosing> : F extends {
+    readonly _tag: "optional";
+    readonly field: infer Inner;
+} ? SelectFieldResult<Inner, Enclosing> | undefined : F extends {
+    readonly _tag: "select";
+    readonly attr: infer A;
+    readonly shape: infer S;
+} ? NestedSelectResult<A, S, Enclosing> : F extends {
+    readonly _tag: "nested";
+    readonly attr: infer A;
+    readonly pattern: infer P;
+} ? NestedSelectResult<A, P, Enclosing> : F extends {
+    readonly _tag: "collection";
+    readonly attr: infer A;
+} ? readonly SchemaType<A>[] : F extends {
+    readonly schema: infer S;
+    readonly cardinality: infer Card;
+} ? F extends {
+    readonly ident: ":db/id";
+} ? IdCell<F> : Card extends "many" ? readonly SchemaType<F>[] : SchemaType<F> : F extends {
+    readonly ident: ":db/id";
+} ? IdCell<F> : never;
+export declare const resetGensym: () => void;
+export declare const lowerOrderPath: (root: string, path: readonly string[], revs: readonly boolean[]) => {
+    readonly var: string;
+    readonly clauses: unknown[];
+};
+export declare const requiredClauses: (e: string, pattern: unknown) => unknown[];
+export {};
+//# sourceMappingURL=shapes.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"shapes.d.ts","sourceRoot":"","sources":["../../src/db/shapes.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,QAAQ,EAAE,WAAW,EAAE,MAAM,YAAY,CAAC;AACxD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AACjD,OAAO,KAAK,EAAE,SAAS,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAE/D,OAAO,KAAK,EAAE,OAAO,EAAE,GAAG,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,EACL,KAAK,KAAK,EACV,KAAK,YAAY,EACjB,KAAK,cAAc,EACnB,KAAK,eAAe,EACpB,KAAK,aAAa,EAClB,KAAK,MAAM,EACX,KAAK,QAAQ,EACb,KAAK,UAAU,EACf,KAAK,MAAM,EACX,KAAK,kBAAkB,EACvB,KAAK,WAAW,EAChB,KAAK,WAAW,EAChB,KAAK,qBAAqB,EAC1B,KAAK,UAAU,EACf,KAAK,OAAO,EACZ,KAAK,MAAM,EAYX,QAAQ,EAET,MAAM,WAAW,CAAC;AAEnB,MAAM,MAAM,WAAW,GAAG;IACxB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC;IACvB,QAAQ,CAAC,WAAW,CAAC,EAAE,WAAW,GAAG,SAAS,CAAC;IAC/C,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IACpC,QAAQ,CAAC,OAAO,CAAC,EAAE,SAAS,WAAW,EAAE,CAAC;IAC1C,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,OAAO,EAAE,CAAC;IACrC,QAAQ,CAAC,SAAS,CAAC,EAAE,OAAO,CAAC;CAC9B,CAAC;AAEF,eAAO,MAAM,MAAM,SAAU,WAAW,KAAG,SAAS,MAAM,EAC7B,CAAC;AAE9B,eAAO,MAAM,OAAO,SAAU,WAAW,KAAG,SAAS,WAAW,EACnB,CAAC;AAE9C,eAAO,MAAM,MAAM,SAAU,WAAW,KAAG,SAAS,OAAO,EACb,CAAC;AAE/C,MAAM,MAAM,SAAS,CAAC,CAAC,IAAI,CAAC,SAAS;IACnC,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;KAAE,CAAC;CAC7C,GACG,CAAC,GACD,OAAO,CAAC;AAEZ,iFAAiF;AACjF,MAAM,MAAM,OAAO,GAAG,MAAM,GAAG;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEvD,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAE3E,KAAK,aAAa,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GAC1C,KAAK,GACL,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GACrC,KAAK,GACL,IAAI,CAAC;AAKX,KAAK,SAAS,CAAC,CAAC,IAAI;IAClB,CAAC,KAAK,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC;IAC/F,CAAC,KAAK,CAAC,CAAC,SAAS,SAAS,EAAE,KAAK,EAAE,QAAQ,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IACpG,CAAC,KAAK,CAAC,CAAC,SAAS,KAAK,EAAE,KAAK,EAAE,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,GAAG,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CAC7F,CAAC;AAEF,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC;AAE3E,MAAM,MAAM,UAAU,GAAG,OAAO,GAAG,MAAM,CAAC;AAC1C,MAAM,MAAM,QAAQ,GAAG,KAAK,GAAG,MAAM,CAAC;AAEtC,MAAM,MAAM,UAAU,GAClB,QAAQ,GACR,WAAW,GACX,KAAK,GACL;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GACtD;IAAE,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,CAAA;CAAE,GAC9E;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CAAE,GAC9E;IACE,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,QAAQ,GAAG,KAAK,CAAC;CAC1C,GACD;IAAE,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,CAAC;AAE5D,MAAM,MAAM,KAAK,GAAG;IAAE,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,UAAU,CAAA;CAAE,CAAC;AAE3D,MAAM,MAAM,UAAU,CAAC,CAAC,IAAI;IAC1B,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACnD,YAAY,CAAC,CAAC,GAAG,MAAM,CAAC,GACxB,kBAAkB,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,IAAI,GACnC,gBAAgB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC,GACrC,CAAC,CAAC,CAAC,CAAC;CACX,CAAC;AAEF,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,GAAG,SAAS,CAAC;IAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAAE,GAC9F,WAAW,CAAC,CAAC,CAAC,GACd,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,QAAQ,GAAG,QAAQ,GAAG,YAAY,CAAC;IAAC,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GACrF,CAAC,GACD,CAAC,CAAC;AAER,KAAK,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAA;CAAE,GAAG,IAAI,GAAG,KAAK,CAAC;AAE/E,MAAM,MAAM,UAAU,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,IAAI;IACjD,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,cAAc,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACvE,CAAC,CAAC,CAAC,CAAC,GACJ,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,GACrD,CAAC,CAAC,CAAC,CAAC,GACJ,iBAAiB,CAAC,GAAG,MAAM,2CAA2C;CAC7E,CAAC;AAEF,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,WAAW,EAAE,CAAC,IAAI,CAAC,SAAS,QAAQ,CAAC,MAAM,CAAC,CAAC,GAC3E,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,CAAC,GACD,kCAAkC,GACpC,CAAC,GAAG,UAAU,CAAC,CAAC,CAAC,GAAG,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzC,KAAK,gBAAgB,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,UAAU,CAAC,CAAC,CAAC,SAAS,IAAI,GACtE,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC,GACrB,cAAc,CAAC;AAEnB,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,SAAS,MAAM,IAAI,aAAa,CAAC,CAAC,CAAC,SAAS,OAAO,CAAC,CAAC,CAAC,GAC3E,CAAC,GACD,eAAe,CAAC,CAAC,EAAE,OAAO,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AAE5C,KAAK,SAAS,CAAC,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,SAAS,IAAI,GACtC,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GACrC,IAAI,GACJ,KAAK,GACP,KAAK,CAAC;AAEV,MAAM,MAAM,cAAc,GAAG,WAAW,GAAG;IACzC,QAAQ,CAAC,WAAW,CAAC,EAAE,KAAK,CAAC;CAC9B,CAAC;AAEF,MAAM,MAAM,cAAc,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;CAAE,GACnE,CAAC,KAAK,EAAE,GAAG,CAAC,OAAO,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,GAC1C,CAAC,CAAC,EAAE,GAAG,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,KAAK,QAAQ,CAAC,OAAO,CAAC,CAAC;AAEhD,MAAM,WAAW,eAAe;IAC9B,QAAQ,CAAC,GAAG,EAAE,cAAc,CAAC;IAC7B,QAAQ,CAAC,GAAG,CAAC,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,CAAC;CAC7B;AAED,MAAM,MAAM,aAAa,GACrB,cAAc,GACd,eAAe,GACf,SAAS,CAAC,cAAc,GAAG,eAAe,CAAC,EAAE,CAAC;AAElD;;;;;;;;;;;;;;;;;;;;;;;GAuBG;AACH,MAAM,WAAW,UAAU,CAAC,CAAC,GAAG,WAAW;IACzC,QAAQ,CAAC,KAAK,CAAC,EAAE,SAAS,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC;IAC9C,QAAQ,CAAC,OAAO,CAAC,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;KAAE,GACtD,aAAa,GACb,KAAK,CAAC;IACV,QAAQ,CAAC,KAAK,CAAC,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;CAC1B;AAED,MAAM,MAAM,OAAO,CAAC,CAAC,SAAS,WAAW,IAAI,CAAC,GAAG;IAC/C,QAAQ,CAAC,QAAQ,EAAE,UAAU,CAAC,OAAO,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;IAClD,QAAQ,CAAC,SAAS,EAAE,aAAa,CAAC,CAAC,CAAC,SAAS,IAAI,GAC7C,CAAC,KAAK,EAAE,SAAS,CAAC,CAAC,CAAC,KAAK,WAAW,CAAC,CAAC,CAAC,GACvC,KAAK,CAAC;IACV,QAAQ,CAAC,MAAM,EAAE,CAAC,SAAS;QAAE,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAA;KAAE,GACpD,SAAS,CAAC,CAAC,CAAC,GACZ,KAAK,CAAC;CACX,CAAC;AAEF;wEACwE;AACxE,MAAM,WAAW,WAAW,CAAC,CAAC,GAAG,WAAW;IAC1C,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,WAAW,EAAE,qBAAqB,CAAC;CAC7C;AA+ED;;;;;;;;;GASG;AACH,eAAO,MAAM,MAAM,GAAI,CAAC,SAAS,WAAW,QACpC,CAAC,SACA,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,KACpC,WAAW,CAAC,CAAC,CAef,CAAC;AAEF,MAAM,WAAW,YAAY,CAAC,CAAC,GAAG,OAAO,EAAE,CAAC,GAAG,OAAO;IACpD,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;IACjB,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,WAAW,CAAC,EAAE,qBAAqB,CAAC;IAC7C,QAAQ,CAAC,QAAQ,EAAE;QACjB,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;QAC1B,QAAQ,CAAC,KAAK,EAAE,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;KACpC,CAAC;CACH;AAED,eAAO,MAAM,gBAAgB,SACrB,WAAW,SACV,KAAK,GAAG,QAAQ,GAAG,KAAK,gBACjB,qBAAqB,KAClC,YAAY,CAAC,WAAW,EAAE,KAAK,GAAG,QAAQ,GAAG,KAAK,CAyBpD,CAAC;AAEF,eAAO,MAAM,aAAa,GAAI,CAAC,SAAS,WAAW,QAAQ,CAAC,KAAG,OAAO,CAAC,CAAC,CA8BvE,CAAC;AAEF,eAAO,MAAM,cAAc,MAAO,OAAO,KAAG,CAAC,IAAI,YAGJ,CAAC;AAW9C,eAAO,MAAM,cAAc,UAAW,KAAK,KAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAYnE,CAAC;AAuBF,MAAM,MAAM,YAAY,CAAC,CAAC,IAAI;IAC5B,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,iBAAiB,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC;CACpD,CAAC;AAEF,KAAK,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,SAAS;IAC/D;QAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;QAAC,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;KAAE;CACnE,GACG,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACxC,SAAS,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,EAAE,GAC/B,MAAM,CAAC,SAAS,EAAE,CAAC,CAAC,GACtB,CAAC,CAAC,CAAC,SAAS;IACR;QAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAC;QAAC,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,SAAS,SAAS,CAAA;KAAE;CACjE,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACxC,SAAS,MAAM,CAAC,CAAC,CAAC,EAAE,GACpB,MAAM,CAAC,CAAC,CAAC,GACX,CAAC,SAAS;IAAE,QAAQ,CAAC,WAAW,EAAE,MAAM,CAAA;CAAE,GACxC,SAAS,YAAY,CAAC,CAAC,GAAG,MAAM,CAAC,EAAE,GACnC,YAAY,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC;AAEjC,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;CAAE,GACrD,CAAC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAA;KAAE,CAAA;CAAE,GACvD,CAAC,GACD,KAAK,CAAC;AAEZ,KAAK,iBAAiB,CAAC,CAAC,EAAE,SAAS,GAAG,OAAO,IAAI,CAAC,SAAS;IACzD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC;IACzB,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC;CAC7B,GAEG,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,GACnC,CAAC,SAAS;IACN,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAC1B,QAAQ,CAAC,KAAK,EAAE,MAAM,KAAK,CAAC;CAC7B,GACH,iBAAiB,CAAC,KAAK,EAAE,SAAS,CAAC,GAAG,SAAS,GAC/C,CAAC,SAAS;IACR,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAC;CACzB,GACC,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,GACnC,CAAC,SAAS;IACN,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACvB,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAC;CAC3B,GACD,kBAAkB,CAAC,CAAC,EAAE,CAAC,EAAE,SAAS,CAAC,GAEnC,CAAC,SAAS;IACN,QAAQ,CAAC,IAAI,EAAE,YAAY,CAAC;IAC5B,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;CACxB,GACD,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,GACxB,CAAC,SAAS;IACR,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IACzB,QAAQ,CAAC,WAAW,EAAE,MAAM,IAAI,CAAC;CAClC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GAEpC,MAAM,CAAC,CAAC,CAAC,GACT,IAAI,SAAS,MAAM,GACjB,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,GACxB,UAAU,CAAC,CAAC,CAAC,GACjB,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAA;CAAE,GACpC,MAAM,CAAC,CAAC,CAAC,GACT,KAAK,CAAC;AAKlB,eAAO,MAAM,WAAW,YAEvB,CAAC;AAwBF,eAAO,MAAM,cAAc,SACnB,MAAM,QACN,SAAS,MAAM,EAAE,QACjB,SAAS,OAAO,EAAE,KACvB;IAAE,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,OAAO,EAAE,CAAA;CAkBrD,CAAC;AAEF,eAAO,MAAM,eAAe,MAAO,MAAM,WAAW,OAAO,KAAG,OAAO,EAsBpE,CAAC"}