ramosedb 0.0.1 → 0.4.0

package/dist/db/Binding.d.ts

@@ -0,0 +1,79 @@
+import type { AnyField, CreationDefault, ValueOf } from "./Field.ts";
+import type { AnySchema } from "./Schema.ts";
+/** Minimal permanently-keyed code definition understood by reachability. */
+export interface CodeDefinition {
+    readonly key: string;
+    readonly schema: AnySchema;
+}
+/** Lazy form permits a database definition declared later in the module. */
+export type CodeDefinitionRef = CodeDefinition | (() => CodeDefinition);
+type BoundFieldValue<F extends AnyField> = F["cardinality"] extends "many" ? readonly ValueOf<F>[] : ValueOf<F>;
+export type BindingValues<Fields extends Record<string, AnyField>> = {
+    readonly [K in keyof Fields]?: BoundFieldValue<Fields[K]>;
+};
+export type BindingDefaults<Fields extends Record<string, AnyField>> = {
+    readonly [K in keyof Fields]?: CreationDefault<BoundFieldValue<Fields[K]>>;
+};
+/** Inert result of a trait's `bind` function. */
+export interface TraitBindingSpec<Fields extends Record<string, AnyField> = Record<string, AnyField>> {
+    readonly values?: BindingValues<Fields>;
+    readonly defaults?: BindingDefaults<Fields>;
+}
+export type TraitBind<Fields extends Record<string, AnyField> = Record<string, AnyField>> = (definition: CodeDefinition) => TraitBindingSpec<Fields>;
+export declare const TRAIT_BINDING: unique symbol;
+export declare const TRAIT_BIND_FACTORY: unique symbol;
+type SpecOf<B> = B extends (...args: infer _Args) => infer S ? S : never;
+type SelectedOf<S, K extends PropertyKey> = S extends unknown ? K extends keyof S ? Exclude<S[K], undefined> : {} : never;
+type KeysOfUnion<T> = T extends unknown ? keyof T : never;
+type ValuesOf<B> = SelectedOf<SpecOf<B>, "values">;
+type DefaultsOf<B> = SelectedOf<SpecOf<B>, "defaults">;
+type BoundField<F, K extends PropertyKey, B> = K extends KeysOfUnion<ValuesOf<B>> ? F & {
+    readonly fixed: true;
+} : K extends KeysOfUnion<DefaultsOf<B>> ? F & {
+    readonly compositionDefault: true;
+} : F;
+export type BoundFieldMap<Fields extends Readonly<Record<string, AnyField>>, B> = {
+    readonly [K in keyof Fields]: BoundField<Fields[K], K, B>;
+};
+type BoundFields<T extends TraitLike, B> = BoundFieldMap<T["fields"], B>;
+export type TraitLike = {
+    readonly _tag: "Trait";
+    readonly ns: string;
+    readonly fields: Readonly<Record<string, AnyField & {
+        readonly ident: string;
+    }>>;
+    readonly traits: readonly {
+        readonly ns: string;
+    }[];
+};
+type FieldKeys<T extends TraitLike> = keyof T["fields"];
+/** One use of a bindable trait. Trait identity remains the underlying trait. */
+export type TraitBinding<T extends TraitLike = TraitLike, B extends TraitBind = TraitBind> = Omit<T, FieldKeys<T> | "fields"> & BoundFields<T, B> & {
+    readonly fields: BoundFields<T, B>;
+    readonly [TRAIT_BINDING]: TraitBindingRuntime<T, B>;
+};
+export type BindableTrait<T extends TraitLike, B extends TraitBind> = T & ((definition: CodeDefinitionRef) => TraitBinding<T, B>) & {
+    readonly [TRAIT_BIND_FACTORY]: B;
+};
+export interface TraitBindingRuntime<T extends TraitLike = TraitLike, B extends TraitBind = TraitBind> {
+    readonly trait: T;
+    readonly definition: CodeDefinitionRef;
+    readonly bind: B;
+}
+export interface ResolvedTraitBinding {
+    readonly trait: TraitLike;
+    readonly definition: CodeDefinition;
+    readonly values: Readonly<Record<string, unknown>>;
+    readonly defaults: Readonly<Record<string, CreationDefault<unknown>>>;
+}
+export declare const cloneBindingValue: (value: unknown, seen?: WeakSet<object>) => unknown;
+export declare const isCodeDefinition: (value: unknown) => value is CodeDefinition;
+export declare const resolveCodeDefinition: (ref: CodeDefinitionRef) => CodeDefinition;
+export declare const bindingOf: (value: unknown) => TraitBindingRuntime | undefined;
+export declare const resolveTraitBinding: (runtime: TraitBindingRuntime) => ResolvedTraitBinding;
+export declare const isBindableTrait: (value: unknown) => boolean;
+export declare const traitDefinitionOf: (value: TraitLike) => TraitLike;
+export declare const makeTraitBinding: <T extends TraitLike, B extends TraitBind>(trait: T, definition: CodeDefinitionRef, bind: B) => TraitBinding<T, B>;
+export declare const makeBindableTrait: <T extends TraitLike, B extends TraitBind>(trait: T, bind: B) => BindableTrait<T, B>;
+export {};
+//# sourceMappingURL=Binding.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Binding.d.ts","sourceRoot":"","sources":["../../src/db/Binding.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,eAAe,EAAE,OAAO,EAAE,MAAM,YAAY,CAAC;AACrE,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAE7C,4EAA4E;AAC5E,MAAM,WAAW,cAAc;IAC7B,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAC;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAC;CAC5B;AAED,4EAA4E;AAC5E,MAAM,MAAM,iBAAiB,GAAG,cAAc,GAAG,CAAC,MAAM,cAAc,CAAC,CAAC;AAExE,KAAK,eAAe,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,CAAC,aAAa,CAAC,SAAS,MAAM,GACtE,SAAS,OAAO,CAAC,CAAC,CAAC,EAAE,GACrB,OAAO,CAAC,CAAC,CAAC,CAAC;AAEf,MAAM,MAAM,aAAa,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI;IACnE,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAC1D,CAAC;AAEF,MAAM,MAAM,eAAe,CAAC,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAAI;IACrE,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,CAAC,CAAC,EAAE,eAAe,CAAC,eAAe,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC;CAC3E,CAAC;AAEF,iDAAiD;AACjD,MAAM,WAAW,gBAAgB,CAC/B,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC;IAElE,QAAQ,CAAC,MAAM,CAAC,EAAE,aAAa,CAAC,MAAM,CAAC,CAAC;IACxC,QAAQ,CAAC,QAAQ,CAAC,EAAE,eAAe,CAAC,MAAM,CAAC,CAAC;CAC7C;AAED,MAAM,MAAM,SAAS,CACnB,MAAM,SAAS,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,IAChE,CAAC,UAAU,EAAE,cAAc,KAAK,gBAAgB,CAAC,MAAM,CAAC,CAAC;AAE7D,eAAO,MAAM,aAAa,EAAE,OAAO,MAA2C,CAAC;AAC/E,eAAO,MAAM,kBAAkB,EAAE,OAAO,MAEvC,CAAC;AAEF,KAAK,MAAM,CAAC,CAAC,IAAI,CAAC,SAAS,CAAC,GAAG,IAAI,EAAE,MAAM,KAAK,KAAK,MAAM,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;AACzE,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,IAAI,CAAC,SAAS,OAAO,GACzD,CAAC,SAAS,MAAM,CAAC,GACf,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,SAAS,CAAC,GACxB,EAAE,GACJ,KAAK,CAAC;AACV,KAAK,WAAW,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,MAAM,CAAC,GAAG,KAAK,CAAC;AAC1D,KAAK,QAAQ,CAAC,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC;AACnD,KAAK,UAAU,CAAC,CAAC,IAAI,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC;AAEvD,KAAK,UAAU,CAAC,CAAC,EAAE,CAAC,SAAS,WAAW,EAAE,CAAC,IAAI,CAAC,SAAS,WAAW,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,GAC7E,CAAC,GAAG;IAAE,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CAAE,GAC5B,CAAC,SAAS,WAAW,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAClC,CAAC,GAAG;IAAE,QAAQ,CAAC,kBAAkB,EAAE,IAAI,CAAA;CAAE,GACzC,CAAC,CAAC;AAER,MAAM,MAAM,aAAa,CAAC,MAAM,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,EAAE,CAAC,IAAI;IAChF,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;CAC1D,CAAC;AAEF,KAAK,WAAW,CAAC,CAAC,SAAS,SAAS,EAAE,CAAC,IAAI,aAAa,CAAC,CAAC,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,CAAC;AAEzE,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAC;IACvB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,GAAG;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;KAAE,CAAC,CAAC,CAAC;IACjF,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;CACrD,CAAC;AAEF,KAAK,SAAS,CAAC,CAAC,SAAS,SAAS,IAAI,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC;AAExD,gFAAgF;AAChF,MAAM,MAAM,YAAY,CACtB,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,SAAS,GAAG,SAAS,IAC7B,IAAI,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,GAAG,QAAQ,CAAC,GAClC,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG;IAClB,QAAQ,CAAC,MAAM,EAAE,WAAW,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;IACnC,QAAQ,CAAC,CAAC,aAAa,CAAC,EAAE,mBAAmB,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC;CACrD,CAAC;AAEJ,MAAM,MAAM,aAAa,CACvB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,SAAS,IACjB,CAAC,GACH,CAAC,CAAC,UAAU,EAAE,iBAAiB,KAAK,YAAY,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,GAAG;IACxD,QAAQ,CAAC,CAAC,kBAAkB,CAAC,EAAE,CAAC,CAAC;CAClC,CAAC;AAEJ,MAAM,WAAW,mBAAmB,CAClC,CAAC,SAAS,SAAS,GAAG,SAAS,EAC/B,CAAC,SAAS,SAAS,GAAG,SAAS;IAE/B,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAC;IAClB,QAAQ,CAAC,UAAU,EAAE,iBAAiB,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC;CAClB;AAED,MAAM,WAAW,oBAAoB;IACnC,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAC;IAC1B,QAAQ,CAAC,UAAU,EAAE,cAAc,CAAC;IACpC,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;IACnD,QAAQ,CAAC,QAAQ,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC;CACvE;AAED,eAAO,MAAM,iBAAiB,UACrB,OAAO,6BAEb,OAgDF,CAAC;AAEF,eAAO,MAAM,gBAAgB,UAAW,OAAO,KAAG,KAAK,IAAI,cAM/C,CAAC;AAEb,eAAO,MAAM,qBAAqB,QAAS,iBAAiB,KAAG,cAQ9D,CAAC;AAEF,eAAO,MAAM,SAAS,UACb,OAAO,KACb,mBAAmB,GAAG,SAQxB,CAAC;AAiBF,eAAO,MAAM,mBAAmB,YACrB,mBAAmB,KAC3B,oBAyCF,CAAC;AAEF,eAAO,MAAM,eAAe,UAAW,OAAO,KAAG,OACW,CAAC;AAE7D,eAAO,MAAM,iBAAiB,UAAW,SAAS,KAAG,SACnB,CAAC;AAEnC,eAAO,MAAM,gBAAgB,GAAI,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,SAChE,CAAC,cACI,iBAAiB,QACvB,CAAC,KACN,YAAY,CAAC,CAAC,EAAE,CAAC,CAOe,CAAC;AAEpC,eAAO,MAAM,iBAAiB,GAAI,CAAC,SAAS,SAAS,EAAE,CAAC,SAAS,SAAS,SACjE,CAAC,QACF,CAAC,KACN,aAAa,CAAC,CAAC,EAAE,CAAC,CAYpB,CAAC"}

package/dist/db/Binding.js

@@ -0,0 +1,138 @@
+export const TRAIT_BINDING = Symbol.for("ramose.trait.binding");
+export const TRAIT_BIND_FACTORY = Symbol.for("ramose.trait.bind-factory");
+export const cloneBindingValue = (value, seen = new WeakSet()) => {
+    if (value === null || typeof value === "string" || typeof value === "boolean") {
+        return value;
+    }
+    if (typeof value === "number") {
+        if (!Number.isFinite(value)) {
+            throw new Error("ramose/binding: values must contain only finite numbers");
+        }
+        return Object.is(value, -0) ? 0 : value;
+    }
+    if (value instanceof Date) {
+        if (!Number.isFinite(value.getTime())) {
+            throw new Error("ramose/binding: values must contain only valid dates");
+        }
+        return new Date(value.getTime());
+    }
+    if (value instanceof Uint8Array)
+        return new Uint8Array(value);
+    if (typeof value !== "object" || value === null) {
+        throw new Error("ramose/binding: values must contain only supported stored data");
+    }
+    if (seen.has(value)) {
+        throw new Error("ramose/binding: values must not contain cycles");
+    }
+    seen.add(value);
+    if (Array.isArray(value)) {
+        const copy = Object.freeze(value.map((item) => cloneBindingValue(item, seen)));
+        seen.delete(value);
+        return copy;
+    }
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null) {
+        throw new Error("ramose/binding: values must contain only supported stored data");
+    }
+    const copy = Object.create(null);
+    for (const key of Object.keys(value).sort()) {
+        const item = value[key];
+        if (item === undefined) {
+            throw new Error("ramose/binding: values must not contain undefined");
+        }
+        Object.defineProperty(copy, key, {
+            value: cloneBindingValue(item, seen),
+            enumerable: true,
+            configurable: false,
+            writable: false,
+        });
+    }
+    seen.delete(value);
+    return Object.freeze(copy);
+};
+export const isCodeDefinition = (value) => typeof value === "object" &&
+    value !== null &&
+    typeof value.key === "string" &&
+    typeof value.schema === "object" &&
+    value.schema?._tag ===
+        "Schema";
+export const resolveCodeDefinition = (ref) => {
+    const definition = typeof ref === "function" ? ref() : ref;
+    if (!isCodeDefinition(definition) || definition.key.length === 0) {
+        throw new Error("ramose/reachability: a binding dependency must be a non-empty permanently keyed code definition");
+    }
+    return definition;
+};
+export const bindingOf = (value) => {
+    if ((typeof value !== "object" && typeof value !== "function") ||
+        value === null)
+        return undefined;
+    return value[TRAIT_BINDING];
+};
+const plainRecord = (value, label) => {
+    if (value === undefined)
+        return {};
+    if (typeof value !== "object" || value === null || Array.isArray(value)) {
+        throw new Error(`ramose/binding: ${label} must be an object`);
+    }
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null) {
+        throw new Error(`ramose/binding: ${label} must be a plain object`);
+    }
+    return value;
+};
+export const resolveTraitBinding = (runtime) => {
+    const definition = resolveCodeDefinition(runtime.definition);
+    const result = runtime.bind(definition);
+    if (typeof result !== "object" || result === null || Array.isArray(result)) {
+        throw new Error(`ramose/binding: trait ${JSON.stringify(runtime.trait.ns)} bind must return an object`);
+    }
+    for (const key of Object.keys(result)) {
+        if (key !== "values" && key !== "defaults") {
+            throw new Error(`ramose/binding: unsupported result field ${JSON.stringify(key)}`);
+        }
+    }
+    const values = plainRecord(result.values, "values");
+    const defaultValues = plainRecord(result.defaults, "defaults");
+    const defaults = {};
+    for (const [key, value] of Object.entries(defaultValues)) {
+        if (typeof value !== "function") {
+            throw new Error(`ramose/binding: default ${JSON.stringify(key)} on trait ${JSON.stringify(runtime.trait.ns)} must be a synchronous function`);
+        }
+        defaults[key] = value;
+    }
+    for (const key of [...Object.keys(values), ...Object.keys(defaults)]) {
+        if (!Object.hasOwn(runtime.trait.fields, key)) {
+            throw new Error(`ramose/binding: trait ${JSON.stringify(runtime.trait.ns)} has no field ${JSON.stringify(key)}`);
+        }
+    }
+    const snapshotValues = Object.create(null);
+    for (const [key, value] of Object.entries(values)) {
+        snapshotValues[key] = cloneBindingValue(value);
+    }
+    return Object.freeze({
+        trait: runtime.trait,
+        definition,
+        values: Object.freeze(snapshotValues),
+        defaults: Object.freeze(defaults),
+    });
+};
+export const isBindableTrait = (value) => typeof value === "function" && TRAIT_BIND_FACTORY in value;
+export const traitDefinitionOf = (value) => bindingOf(value)?.trait ?? value;
+export const makeTraitBinding = (trait, definition, bind) => ({
+    ...trait,
+    [TRAIT_BINDING]: {
+        trait,
+        definition,
+        bind,
+    },
+});
+export const makeBindableTrait = (trait, bind) => {
+    const callable = ((definition) => makeTraitBinding(trait, definition, bind));
+    for (const key of Reflect.ownKeys(trait)) {
+        Object.defineProperty(callable, key, Object.getOwnPropertyDescriptor(trait, key));
+    }
+    Object.defineProperty(callable, TRAIT_BIND_FACTORY, { value: bind });
+    return callable;
+};
+//# sourceMappingURL=Binding.js.map

package/dist/db/Binding.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Binding.js","sourceRoot":"","sources":["../../src/db/Binding.ts"],"names":[],"mappings":"AAoCA,MAAM,CAAC,MAAM,aAAa,GAAkB,MAAM,CAAC,GAAG,CAAC,sBAAsB,CAAC,CAAC;AAC/E,MAAM,CAAC,MAAM,kBAAkB,GAAkB,MAAM,CAAC,GAAG,CACzD,2BAA2B,CAC5B,CAAC;AAmEF,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAc,EACd,IAAI,GAAG,IAAI,OAAO,EAAU,EACnB,EAAE;IACX,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;QAC9E,OAAO,KAAK,CAAC;IACf,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;YAC5B,MAAM,IAAI,KAAK,CAAC,yDAAyD,CAAC,CAAC;QAC7E,CAAC;QACD,OAAO,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;IAC1C,CAAC;IACD,IAAI,KAAK,YAAY,IAAI,EAAE,CAAC;QAC1B,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,EAAE,CAAC;YACtC,MAAM,IAAI,KAAK,CAAC,sDAAsD,CAAC,CAAC;QAC1E,CAAC;QACD,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,OAAO,EAAE,CAAC,CAAC;IACnC,CAAC;IACD,IAAI,KAAK,YAAY,UAAU;QAAE,OAAO,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC;IAC9D,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAChD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,IAAI,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACpB,MAAM,IAAI,KAAK,CAAC,gDAAgD,CAAC,CAAC;IACpE,CAAC;IACD,IAAI,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;IAChB,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzB,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC;QAC/E,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,IAAI,CAAC;IACd,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,gEAAgE,CAAC,CAAC;IACpF,CAAC;IACD,MAAM,IAAI,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAA4B,CAAC;IAC5D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC5C,MAAM,IAAI,GAAI,KAAiC,CAAC,GAAG,CAAC,CAAC;QACrD,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,mDAAmD,CAAC,CAAC;QACvE,CAAC;QACD,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,GAAG,EAAE;YAC/B,KAAK,EAAE,iBAAiB,CAAC,IAAI,EAAE,IAAI,CAAC;YACpC,UAAU,EAAE,IAAI;YAChB,YAAY,EAAE,KAAK;YACnB,QAAQ,EAAE,KAAK;SAChB,CAAC,CAAC;IACL,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC;AAC7B,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAc,EAA2B,EAAE,CAC1E,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACd,OAAQ,KAAoC,CAAC,GAAG,KAAK,QAAQ;IAC7D,OAAQ,KAAuC,CAAC,MAAM,KAAK,QAAQ;IAClE,KAA2D,CAAC,MAAM,EAAE,IAAI;QACvE,QAAQ,CAAC;AAEb,MAAM,CAAC,MAAM,qBAAqB,GAAG,CAAC,GAAsB,EAAkB,EAAE;IAC9E,MAAM,UAAU,GAAG,OAAO,GAAG,KAAK,UAAU,CAAC,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,GAAG,CAAC;IAC3D,IAAI,CAAC,gBAAgB,CAAC,UAAU,CAAC,IAAI,UAAU,CAAC,GAAG,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjE,MAAM,IAAI,KAAK,CACb,iGAAiG,CAClG,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC;AACpB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,SAAS,GAAG,CACvB,KAAc,EACmB,EAAE;IACnC,IACE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;QAC1D,KAAK,KAAK,IAAI;QACd,OAAO,SAAS,CAAC;IACnB,OAAQ,KAA4D,CAClE,aAAa,CACd,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,WAAW,GAAG,CAClB,KAAc,EACd,KAAa,EACsB,EAAE;IACrC,IAAI,KAAK,KAAK,SAAS;QAAE,OAAO,EAAE,CAAC;IACnC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACxE,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,oBAAoB,CAAC,CAAC;IAChE,CAAC;IACD,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC;IAC/C,IAAI,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,EAAE,CAAC;QACzD,MAAM,IAAI,KAAK,CAAC,mBAAmB,KAAK,yBAAyB,CAAC,CAAC;IACrE,CAAC;IACD,OAAO,KAA0C,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,mBAAmB,GAAG,CACjC,OAA4B,EACN,EAAE;IACxB,MAAM,UAAU,GAAG,qBAAqB,CAAC,OAAO,CAAC,UAAU,CAAC,CAAC;IAC7D,MAAM,MAAM,GAAG,OAAO,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC;IACxC,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,IAAI,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3E,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,6BAA6B,CACvF,CAAC;IACJ,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,GAAG,KAAK,QAAQ,IAAI,GAAG,KAAK,UAAU,EAAE,CAAC;YAC3C,MAAM,IAAI,KAAK,CAAC,4CAA4C,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;QACrF,CAAC;IACH,CAAC;IACD,MAAM,MAAM,GAAG,WAAW,CAAC,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;IACpD,MAAM,aAAa,GAAG,WAAW,CAAC,MAAM,CAAC,QAAQ,EAAE,UAAU,CAAC,CAAC;IAC/D,MAAM,QAAQ,GAA6C,EAAE,CAAC;IAC9D,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,aAAa,CAAC,EAAE,CAAC;QACzD,IAAI,OAAO,KAAK,KAAK,UAAU,EAAE,CAAC;YAChC,MAAM,IAAI,KAAK,CACb,2BAA2B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,aAAa,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,iCAAiC,CAC7H,CAAC;QACJ,CAAC;QACD,QAAQ,CAAC,GAAG,CAAC,GAAG,KAAiC,CAAC;IACpD,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,IAAI,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QACrE,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,MAAM,EAAE,GAAG,CAAC,EAAE,CAAC;YAC9C,MAAM,IAAI,KAAK,CACb,yBAAyB,IAAI,CAAC,SAAS,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,iBAAiB,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,EAAE,CAChG,CAAC;QACJ,CAAC;IACH,CAAC;IACD,MAAM,cAAc,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAA4B,CAAC;IACtE,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,cAAc,CAAC,GAAG,CAAC,GAAG,iBAAiB,CAAC,KAAK,CAAC,CAAC;IACjD,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACnB,KAAK,EAAE,OAAO,CAAC,KAAK;QACpB,UAAU;QACV,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC;QACrC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC;KAClC,CAAC,CAAC;AACL,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAc,EAAW,EAAE,CACzD,OAAO,KAAK,KAAK,UAAU,IAAI,kBAAkB,IAAI,KAAK,CAAC;AAE7D,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,KAAgB,EAAa,EAAE,CAC/D,SAAS,CAAC,KAAK,CAAC,EAAE,KAAK,IAAI,KAAK,CAAC;AAEnC,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,KAAQ,EACR,UAA6B,EAC7B,IAAO,EACa,EAAE,CAAC,CAAC;IACxB,GAAG,KAAK;IACR,CAAC,aAAa,CAAC,EAAE;QACf,KAAK;QACL,UAAU;QACV,IAAI;KACL;CACF,CAAkC,CAAC;AAEpC,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAC/B,KAAQ,EACR,IAAO,EACc,EAAE;IACvB,MAAM,QAAQ,GAAG,CAAC,CAAC,UAA6B,EAAE,EAAE,CAClD,gBAAgB,CAAC,KAAK,EAAE,UAAU,EAAE,IAAI,CAAC,CAAwB,CAAC;IACpE,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QACzC,MAAM,CAAC,cAAc,CACnB,QAAQ,EACR,GAAG,EACH,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,GAAG,CAAE,CAC7C,CAAC;IACJ,CAAC;IACD,MAAM,CAAC,cAAc,CAAC,QAAQ,EAAE,kBAAkB,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAC;IACrE,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC"}

package/dist/db/Composer.d.ts

@@ -0,0 +1,7 @@
+import type { AnyEntity } from "./Entity.ts";
+import type { AnyTrait } from "./Trait.ts";
+export declare const COMPOSED_TRAITS: unique symbol;
+/** A concrete entity or a trait usable as a polymorphic read focus. */
+export type AnyComposer = AnyEntity | AnyTrait;
+export declare const isComposer: (value: unknown) => value is AnyComposer;
+//# sourceMappingURL=Composer.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Composer.d.ts","sourceRoot":"","sources":["../../src/db/Composer.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAE3C,eAAO,MAAM,eAAe,EAAE,OAAO,MAEpC,CAAC;AAEF,uEAAuE;AACvE,MAAM,MAAM,WAAW,GAAG,SAAS,GAAG,QAAQ,CAAC;AAE/C,eAAO,MAAM,UAAU,UAAW,OAAO,KAAG,KAAK,IAAI,WAIO,CAAC"}

package/dist/db/Composer.js

@@ -0,0 +1,6 @@
+export const COMPOSED_TRAITS = Symbol.for("ramose/composed-traits");
+export const isComposer = (value) => (typeof value === "object" || typeof value === "function") &&
+    value !== null &&
+    (value._tag === "Entity" ||
+        value._tag === "Trait");
+//# sourceMappingURL=Composer.js.map

package/dist/db/Composer.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Composer.js","sourceRoot":"","sources":["../../src/db/Composer.ts"],"names":[],"mappings":"AAGA,MAAM,CAAC,MAAM,eAAe,GAAkB,MAAM,CAAC,GAAG,CACtD,wBAAwB,CACzB,CAAC;AAKF,MAAM,CAAC,MAAM,UAAU,GAAG,CAAC,KAAc,EAAwB,EAAE,CACjE,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,KAAK,KAAK,UAAU,CAAC;IAC1D,KAAK,KAAK,IAAI;IACd,CAAE,KAAqC,CAAC,IAAI,KAAK,QAAQ;QACtD,KAAqC,CAAC,IAAI,KAAK,OAAO,CAAC,CAAC"}

package/dist/db/DatabaseName.d.ts

@@ -0,0 +1,7 @@
+import { InvalidRequest } from "./Errors.ts";
+/** A Ramose database name, as the peer Worker validates it (`validDbName`). */
+export declare const DATABASE_NAME_RE: RegExp;
+/** Whether `name` is a valid Ramose database name ({@link DATABASE_NAME_RE}). */
+export declare const isDatabaseName: (name: string) => boolean;
+export declare const invalidDatabaseName: (name: string) => InvalidRequest;
+//# sourceMappingURL=DatabaseName.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseName.d.ts","sourceRoot":"","sources":["../../src/db/DatabaseName.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,+EAA+E;AAC/E,eAAO,MAAM,gBAAgB,QAAsC,CAAC;AAEpE,iFAAiF;AACjF,eAAO,MAAM,cAAc,SAAU,MAAM,KAAG,OACjB,CAAC;AAE9B,eAAO,MAAM,mBAAmB,SAAU,MAAM,KAAG,cAG/C,CAAC"}

package/dist/db/DatabaseName.js

@@ -0,0 +1,9 @@
+import { InvalidRequest } from "./Errors.js";
+/** A Ramose database name, as the peer Worker validates it (`validDbName`). */
+export const DATABASE_NAME_RE = /^[a-zA-Z0-9][a-zA-Z0-9._-]{0,63}$/;
+/** Whether `name` is a valid Ramose database name ({@link DATABASE_NAME_RE}). */
+export const isDatabaseName = (name) => DATABASE_NAME_RE.test(name);
+export const invalidDatabaseName = (name) => new InvalidRequest({
+    message: `ramose: invalid database name ${JSON.stringify(name)} — must match ${DATABASE_NAME_RE}`,
+});
+//# sourceMappingURL=DatabaseName.js.map

package/dist/db/DatabaseName.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"DatabaseName.js","sourceRoot":"","sources":["../../src/db/DatabaseName.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,cAAc,EAAE,MAAM,aAAa,CAAC;AAE7C,+EAA+E;AAC/E,MAAM,CAAC,MAAM,gBAAgB,GAAG,mCAAmC,CAAC;AAEpE,iFAAiF;AACjF,MAAM,CAAC,MAAM,cAAc,GAAG,CAAC,IAAY,EAAW,EAAE,CACtD,gBAAgB,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE9B,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,IAAY,EAAkB,EAAE,CAClE,IAAI,cAAc,CAAC;IACjB,OAAO,EAAE,iCAAiC,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,gBAAgB,EAAE;CAClG,CAAC,CAAC"}

package/dist/db/Eid.d.ts

@@ -0,0 +1,19 @@
+import type { AnySchema } from "./Schema.ts";
+import type { AnyEntity } from "./Entity.ts";
+import type { AnyComposer } from "./Composer.ts";
+export type NamespaceEid<N extends AnyComposer> = number & {
+    readonly _ns: N;
+};
+/**
+ * The namespace-branded cells a catalog's rows can carry: `Eid<N>` for every
+ * namespace in `C`. A `select({ id: N.id })` cell is a `db.pull` subject
+ * with no cast; another catalog's cells stay out.
+ */
+export type SchemaEid<C extends AnySchema> = {
+    [K in keyof C["entities"]]: NamespaceEid<C["entities"][K] & AnyEntity>;
+}[keyof C["entities"]];
+export type Eid<S extends AnySchema | AnyComposer = AnyEntity> = [S] extends [
+    AnyComposer
+] ? NamespaceEid<S> : SchemaEid<Extract<S, AnySchema>>;
+export declare const makeEid: <S extends AnySchema | AnyComposer>(id: number) => Eid<S>;
+//# sourceMappingURL=Eid.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Eid.d.ts","sourceRoot":"","sources":["../../src/db/Eid.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,aAAa,CAAC;AAC7C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,eAAe,CAAC;AAEjD,MAAM,MAAM,YAAY,CAAC,CAAC,SAAS,WAAW,IAAI,MAAM,GAAG;IACzD,QAAQ,CAAC,GAAG,EAAE,CAAC,CAAC;CACjB,CAAC;AAEF;;;;GAIG;AACH,MAAM,MAAM,SAAS,CAAC,CAAC,SAAS,SAAS,IAAI;KAC1C,CAAC,IAAI,MAAM,CAAC,CAAC,UAAU,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAC;CACvE,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC;AAEvB,MAAM,MAAM,GAAG,CAAC,CAAC,SAAS,SAAS,GAAG,WAAW,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,SAAS;IAC3E,WAAW;CACZ,GACG,YAAY,CAAC,CAAC,CAAC,GACf,SAAS,CAAC,OAAO,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC;AAErC,eAAO,MAAM,OAAO,GAAI,CAAC,SAAS,SAAS,GAAG,WAAW,MAAM,MAAM,KAAG,GAAG,CAAC,CAAC,CAC/D,CAAC"}

package/dist/db/Eid.js

@@ -0,0 +1,2 @@
+export const makeEid = (id) => id;
+//# sourceMappingURL=Eid.js.map

package/dist/db/Eid.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Eid.js","sourceRoot":"","sources":["../../src/db/Eid.ts"],"names":[],"mappings":"AAuBA,MAAM,CAAC,MAAM,OAAO,GAAG,CAAoC,EAAU,EAAU,EAAE,CAC/E,EAAY,CAAC"}

package/dist/db/Entity.d.ts

@@ -0,0 +1,133 @@
+import { COMPOSED_TRAITS } from "./Composer.ts";
+import type { AnyField } from "./Field.ts";
+import { type FlattenedTraitFields, type ValidFieldMap, type ValidIdentName, type ValidTraitCompose } from "./IdentName.ts";
+import { type AttrNav, type PathCarrier } from "./shapes.ts";
+import type { AnyTrait } from "./Trait.ts";
+import { OwnedOperations, type AnyUnboundOperation, type BoundOwnerOperations, type OwnedOperationAuthor, type ValidOwnedOperationMap } from "./Operation.ts";
+export type FieldMap = Record<string, AnyField>;
+export type StampedField<Ns extends string, Name extends string, A extends AnyField> = AttrNav<A & {
+    readonly attrName: Name;
+    readonly ident: `:${Ns}/${Name}`;
+} & PathCarrier>;
+type BacklinkNav<Ns extends string, A extends AnyField, Name extends string, Card extends "one" | "many"> = AttrNav<Omit<A, "cardinality" | "valueType" | "schema"> & {
+    readonly attrName: Name;
+    readonly ident: `:${Ns}/${Name}`;
+    readonly cardinality: Card;
+    readonly valueType: "ref";
+    readonly __reverse: true;
+} & PathCarrier>;
+export type ReverseNav<Ns extends string, A extends AnyField, Name extends string> = BacklinkNav<Ns, A, Name, "many">;
+export type OwnedReverseNav<Ns extends string, A extends AnyField, Name extends string> = BacklinkNav<Ns, A, Name, "one">;
+export type NavStamp<Ns extends string, A extends AnyField, Name extends string> = A["valueType"] extends "ref" ? StampedField<Ns, Name, A> & {
+    readonly reverse: [A["owned"]] extends [true] ? OwnedReverseNav<Ns, A, Name> : ReverseNav<Ns, A, Name>;
+} : StampedField<Ns, Name, A>;
+export type StampedMap<Ns extends string, Fields extends FieldMap> = {
+    readonly [K in keyof Fields]: NavStamp<Ns, Fields[K], K & string>;
+};
+/**
+ * Stamped fields plus metadata. Address a field as `User.name`.
+ * `fields` is the iteration map (`schemaTx`, `pick`, policy) — not a
+ * second public handle. `id`, `ns`, `fields`, `_tag`, and `traits` cannot
+ * be field names, so spreading cannot overwrite metadata. Entity documentation
+ * uses a collision-free internal slot, leaving `doc` available as an
+ * application field.
+ *
+ * Composed trait fields are intersected onto the instance (`Issue.tag`)
+ * and keep the trait ident (`Issue.tag.ident === ":taggable/tag"`).
+ */
+export type Entity<Name extends string = string, Fields extends FieldMap = FieldMap, Ops extends Readonly<Record<string, AnyUnboundOperation>> = {}> = {
+    readonly _tag: "Entity";
+    readonly ns: Name;
+    readonly fields: StampedMap<Name, Fields>;
+    readonly traits: readonly {
+        readonly ns: string;
+    }[];
+    readonly [OwnedOperations]: BoundOwnerOperations<Entity<Name, Fields, Ops>, Ops>;
+    readonly id: AttrNav<AnyField & {
+        readonly schema: {
+            readonly Type: number;
+        };
+        readonly attrName: "id";
+        readonly ident: ":db/id";
+        readonly valueType: "ref";
+        readonly cardinality: "one";
+        readonly _ns?: Entity<Name, Fields>;
+    } & PathCarrier>;
+} & StampedMap<Name, Fields>;
+/**
+ * Bound for entity-generic helpers. `fields` is a wide record so a
+ * composer with flattened trait fields stays assignable — `StampedMap`
+ * would demand `orDefault(unknown)` and reject specific field refs.
+ */
+export type AnyEntity = {
+    readonly _tag: "Entity";
+    readonly ns: string;
+    readonly fields: {
+        readonly [key: string]: AnyField & {
+            readonly ident: string;
+        };
+    };
+    readonly [COMPOSED_TRAITS]?: Readonly<Record<string, true>>;
+    readonly id: AttrNav<AnyField & {
+        readonly schema: {
+            readonly Type: number;
+        };
+        readonly attrName: "id";
+        readonly ident: ":db/id";
+        readonly valueType: "ref";
+        readonly cardinality: "one";
+    } & PathCarrier>;
+    readonly [OwnedOperations]?: Readonly<Record<string, unknown>>;
+};
+type TraitClosure<T> = T extends AnyTrait ? T | TraitClosure<T["traits"][number]> : never;
+type ComposedTraitMap<T extends AnyTrait> = {
+    readonly [Trait in T as Trait["ns"]]: true;
+};
+export type EntityOptions<Traits extends readonly AnyTrait[] = readonly AnyTrait[]> = {
+    readonly traits?: Traits;
+    readonly doc?: string;
+};
+export declare namespace Entity {
+    type Any = AnyEntity;
+}
+export declare const stamp: <Name extends string, Fields extends FieldMap>(name: Name, fields: Fields) => StampedMap<Name, Fields>;
+type EntityWithTraits<Name extends string, Fields extends FieldMap, Traits extends readonly AnyTrait[], Ops extends Readonly<Record<string, AnyUnboundOperation>>> = Entity<Name, Fields, Ops> & FlattenedTraitFields<Traits> & {
+    readonly fields: StampedMap<Name, Fields> & FlattenedTraitFields<Traits>;
+    readonly traits: Traits;
+    readonly [OwnedOperations]: BoundOwnerOperations<Entity<Name, Fields, Ops> & {
+        readonly fields: StampedMap<Name, Fields> & FlattenedTraitFields<Traits>;
+        readonly traits: Traits;
+        readonly [COMPOSED_TRAITS]: ComposedTraitMap<TraitClosure<Traits[number]>>;
+    }, Ops>;
+    readonly [COMPOSED_TRAITS]: ComposedTraitMap<TraitClosure<Traits[number]>>;
+};
+type EntityOperationContext<Name extends string, Fields extends FieldMap, Traits extends readonly AnyTrait[]> = {
+    readonly _tag: "Entity";
+    readonly ns: Name;
+    readonly fields: StampedMap<Name, Fields> & FlattenedTraitFields<Traits>;
+    readonly traits: Traits;
+    readonly [COMPOSED_TRAITS]: ComposedTraitMap<TraitClosure<Traits[number]>>;
+};
+/** Group fields under one ident prefix. */
+export declare function Entity<const Name extends string, Fields extends FieldMap>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>): Entity<Name, Fields>;
+export declare function Entity<const Name extends string, Fields extends FieldMap, const Ops extends Readonly<Record<string, AnyUnboundOperation>> = {}>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: {
+    readonly traits?: never;
+    readonly doc?: string;
+    readonly operations: (Operation: OwnedOperationAuthor<EntityOperationContext<Name, Fields, readonly []>>) => ValidOwnedOperationMap<Ops, EntityOperationContext<Name, Fields, readonly []>> & Ops;
+}): EntityWithTraits<Name, Fields, readonly [], Ops>;
+export declare function Entity<const Name extends string, Fields extends FieldMap, const Traits extends readonly AnyTrait[] = [], const Ops extends Readonly<Record<string, AnyUnboundOperation>> = {}>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: {
+    readonly traits: Traits;
+    readonly doc?: string;
+    readonly operations: (Operation: OwnedOperationAuthor<EntityOperationContext<Name, Fields, Traits>>) => ValidOwnedOperationMap<Ops, EntityOperationContext<Name, Fields, Traits>> & Ops;
+} & ValidTraitCompose<Fields, Traits>): EntityWithTraits<Name, Fields, Traits, Ops>;
+export declare function Entity<const Name extends string, Fields extends FieldMap, const Traits extends readonly AnyTrait[] = []>(name: ValidIdentName<Name>, fields: Fields & ValidFieldMap<Fields>, options: {
+    readonly traits?: Traits;
+    readonly doc?: string;
+    readonly operations?: never;
+} & ValidTraitCompose<Fields, Traits>): EntityWithTraits<Name, Fields, Traits, {}>;
+export type FieldOf<N extends AnyEntity, K extends keyof N["fields"]> = N["fields"][K];
+export type IdentOf<N extends AnyEntity, K extends keyof N["fields"] & string> = N["fields"][K] extends {
+    readonly ident: infer I extends string;
+} ? I : `:${N["ns"]}/${K}`;
+export {};
+//# sourceMappingURL=Entity.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"Entity.d.ts","sourceRoot":"","sources":["../../src/db/Entity.ts"],"names":[],"mappings":"AAMA,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAChD,OAAO,KAAK,EAAE,QAAQ,EAAe,MAAM,YAAY,CAAC;AACxD,OAAO,EAKL,KAAK,oBAAoB,EACzB,KAAK,aAAa,EAClB,KAAK,cAAc,EACnB,KAAK,iBAAiB,EACvB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAKL,KAAK,OAAO,EACZ,KAAK,WAAW,EACjB,MAAM,aAAa,CAAC;AACrB,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAC;AAC3C,OAAO,EAEL,eAAe,EAEf,KAAK,mBAAmB,EACxB,KAAK,oBAAoB,EACzB,KAAK,oBAAoB,EACzB,KAAK,sBAAsB,EAC5B,MAAM,gBAAgB,CAAC;AAGxB,MAAM,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC;AAEhD,MAAM,MAAM,YAAY,CACtB,EAAE,SAAS,MAAM,EACjB,IAAI,SAAS,MAAM,EACnB,CAAC,SAAS,QAAQ,IAChB,OAAO,CACT,CAAC,GAAG;IACF,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;CAClC,GAAG,WAAW,CAChB,CAAC;AAEF,KAAK,WAAW,CACd,EAAE,SAAS,MAAM,EACjB,CAAC,SAAS,QAAQ,EAClB,IAAI,SAAS,MAAM,EACnB,IAAI,SAAS,KAAK,GAAG,MAAM,IACzB,OAAO,CACT,IAAI,CAAC,CAAC,EAAE,aAAa,GAAG,WAAW,GAAG,QAAQ,CAAC,GAAG;IAChD,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;IACxB,QAAQ,CAAC,KAAK,EAAE,IAAI,EAAE,IAAI,IAAI,EAAE,CAAC;IACjC,QAAQ,CAAC,WAAW,EAAE,IAAI,CAAC;IAC3B,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;IAC1B,QAAQ,CAAC,SAAS,EAAE,IAAI,CAAC;CAC1B,GAAG,WAAW,CAChB,CAAC;AAEF,MAAM,MAAM,UAAU,CACpB,EAAE,SAAS,MAAM,EACjB,CAAC,SAAS,QAAQ,EAClB,IAAI,SAAS,MAAM,IACjB,WAAW,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,CAAC;AAErC,MAAM,MAAM,eAAe,CACzB,EAAE,SAAS,MAAM,EACjB,CAAC,SAAS,QAAQ,EAClB,IAAI,SAAS,MAAM,IACjB,WAAW,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,CAAC;AAEpC,MAAM,MAAM,QAAQ,CAClB,EAAE,SAAS,MAAM,EACjB,CAAC,SAAS,QAAQ,EAClB,IAAI,SAAS,MAAM,IACjB,CAAC,CAAC,WAAW,CAAC,SAAS,KAAK,GAC5B,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,GAAG;IAC1B,QAAQ,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,CAAC,IAAI,CAAC,GACzC,eAAe,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,GAC5B,UAAU,CAAC,EAAE,EAAE,CAAC,EAAE,IAAI,CAAC,CAAC;CAC7B,GACD,YAAY,CAAC,EAAE,EAAE,IAAI,EAAE,CAAC,CAAC,CAAC;AAE9B,MAAM,MAAM,UAAU,CAAC,EAAE,SAAS,MAAM,EAAE,MAAM,SAAS,QAAQ,IAAI;IACnE,QAAQ,EAAE,CAAC,IAAI,MAAM,MAAM,GAAG,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,CAAC,CAAC,EAAE,CAAC,GAAG,MAAM,CAAC;CAClE,CAAC;AAEF;;;;;;;;;;GAUG;AACH,MAAM,MAAM,MAAM,CAChB,IAAI,SAAS,MAAM,GAAG,MAAM,EAC5B,MAAM,SAAS,QAAQ,GAAG,QAAQ,EAClC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,GAAG,EAAE,IAC5D;IACF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IAC1C,QAAQ,CAAC,MAAM,EAAE,SAAS;QAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;KAAE,EAAE,CAAC;IACpD,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAAC,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,EAAE,GAAG,CAAC,CAAC;IACjF,QAAQ,CAAC,EAAE,EAAE,OAAO,CAClB,QAAQ,GAAG;QACT,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;QAC5B,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;KACrC,GAAG,WAAW,CAChB,CAAC;CACH,GAAG,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AAE7B;;;;GAIG;AACH,MAAM,MAAM,SAAS,GAAG;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,MAAM,EAAE;QACf,QAAQ,EAAE,GAAG,EAAE,MAAM,GAAG,QAAQ,GAAG;YAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;SAAE,CAAC;KAC/D,CAAC;IACF,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,CAAC;IAC5D,QAAQ,CAAC,EAAE,EAAE,OAAO,CAClB,QAAQ,GAAG;QACT,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;SAAE,CAAC;QAC3C,QAAQ,CAAC,QAAQ,EAAE,IAAI,CAAC;QACxB,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC;QACzB,QAAQ,CAAC,SAAS,EAAE,KAAK,CAAC;QAC1B,QAAQ,CAAC,WAAW,EAAE,KAAK,CAAC;KAC7B,GAAG,WAAW,CAChB,CAAC;IACF,QAAQ,CAAC,CAAC,eAAe,CAAC,CAAC,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAC;CAChE,CAAC;AAEF,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS,QAAQ,GACrC,CAAC,GAAG,YAAY,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,CAAC,GACrC,KAAK,CAAC;AAEV,KAAK,gBAAgB,CAAC,CAAC,SAAS,QAAQ,IAAI;IAC1C,QAAQ,EAAE,KAAK,IAAI,CAAC,IAAI,KAAK,CAAC,IAAI,CAAC,GAAG,IAAI;CAC3C,CAAC;AAEF,MAAM,MAAM,aAAa,CACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,SAAS,QAAQ,EAAE,IACtD;IACF,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;CACvB,CAAC;AAWF,MAAM,CAAC,OAAO,WAAW,MAAM,CAAC;IAC9B,KAAY,GAAG,GAAG,SAAS,CAAC;CAC7B;AA8CD,eAAO,MAAM,KAAK,GAAI,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,QAAQ,QAC1D,IAAI,UACF,MAAM,KACb,UAAU,CAAC,IAAI,EAAE,MAAM,CAMzB,CAAC;AAaF,KAAK,gBAAgB,CACnB,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,QAAQ,EACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,EAClC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,IACvD,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,GAC3B,oBAAoB,CAAC,MAAM,CAAC,GAAG;IAC7B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,oBAAoB,CAC9C,MAAM,CAAC,IAAI,EAAE,MAAM,EAAE,GAAG,CAAC,GAAG;QAC1B,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;QACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;QACxB,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,gBAAgB,CAC1C,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAC7B,CAAC;KACH,EACD,GAAG,CACJ,CAAC;IACF,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAC5E,CAAC;AAEJ,KAAK,sBAAsB,CACzB,IAAI,SAAS,MAAM,EACnB,MAAM,SAAS,QAAQ,EACvB,MAAM,SAAS,SAAS,QAAQ,EAAE,IAChC;IACF,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAC;IACxB,QAAQ,CAAC,EAAE,EAAE,IAAI,CAAC;IAClB,QAAQ,CAAC,MAAM,EAAE,UAAU,CAAC,IAAI,EAAE,MAAM,CAAC,GAAG,oBAAoB,CAAC,MAAM,CAAC,CAAC;IACzE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,CAAC,eAAe,CAAC,EAAE,gBAAgB,CAAC,YAAY,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC;CAC5E,CAAC;AAEF,2CAA2C;AAC3C,wBAAgB,MAAM,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,MAAM,SAAS,QAAQ,EACvE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,GACrC,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;AACxB,wBAAgB,MAAM,CACpB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAEpE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,CACnB,SAAS,EAAE,oBAAoB,CAC7B,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAClD,KACE,sBAAsB,CACzB,GAAG,EACH,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,CAAC,CAClD,GAAG,GAAG,CAAC;CACT,GACA,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,CAAC,CAAC;AACpD,wBAAgB,MAAM,CACpB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,EAAE,EAC7C,KAAK,CAAC,GAAG,SAAS,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,mBAAmB,CAAC,CAAC,GAAG,EAAE,EAEpE,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC;IACxB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,EAAE,CACnB,SAAS,EAAE,oBAAoB,CAAC,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAAC,KAC1E,sBAAsB,CACzB,GAAG,EACH,sBAAsB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,CAAC,CAC7C,GAAG,GAAG,CAAC;CACT,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,GACpC,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,GAAG,CAAC,CAAC;AAC/C,wBAAgB,MAAM,CACpB,KAAK,CAAC,IAAI,SAAS,MAAM,EACzB,MAAM,SAAS,QAAQ,EACvB,KAAK,CAAC,MAAM,SAAS,SAAS,QAAQ,EAAE,GAAG,EAAE,EAE7C,IAAI,EAAE,cAAc,CAAC,IAAI,CAAC,EAC1B,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,MAAM,CAAC,EACtC,OAAO,EAAE;IACP,QAAQ,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC;IACzB,QAAQ,CAAC,GAAG,CAAC,EAAE,MAAM,CAAC;IACtB,QAAQ,CAAC,UAAU,CAAC,EAAE,KAAK,CAAC;CAC7B,GAAG,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,GACpC,gBAAgB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,CAAC,CAAC;AAuE9C,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,MAAM,CAAC,CAAC,QAAQ,CAAC,IACzB,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAC;AAEnB,MAAM,MAAM,OAAO,CACjB,CAAC,SAAS,SAAS,EACnB,CAAC,SAAS,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,IAClC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACjE,CAAC,GACD,IAAI,CAAC,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC"}

package/dist/db/Entity.js

@@ -0,0 +1,104 @@
+import { flattenTraitFields, mergeComposerFields, walkTraits, } from "./compose.js";
+import { COMPOSED_TRAITS } from "./Composer.js";
+import { invalidIdentName, isIdentName, isReservedFieldKey, reservedFieldName, } from "./IdentName.js";
+import { attachAttrNav, cardsOf, pathOf, revsOf, } from "./shapes.js";
+import { bindOwnedOperations, OwnedOperations, ownedOperationAuthor, } from "./Operation.js";
+import { DOCUMENTATION, normalizeDoc } from "./documentation.js";
+const reverseNode = (from) => {
+    const card = from.owned === true ? "one" : "many";
+    const path = pathOf(from);
+    const cards = [...cardsOf(from)];
+    const revs = [...revsOf(from)];
+    cards[cards.length - 1] = card;
+    revs[revs.length - 1] = true;
+    return attachAttrNav({
+        ...from,
+        ident: from.ident,
+        cardinality: card,
+        __path: path,
+        __cards: cards,
+        __revs: revs,
+        __reverse: true,
+    });
+};
+const stampOne = (ns, key, a) => {
+    const base = {
+        ...a,
+        attrName: key,
+        ident: `:${ns}/${key}`,
+    };
+    const navigable = attachAttrNav(base);
+    if (a.valueType !== "ref") {
+        return navigable;
+    }
+    return new Proxy(navigable, {
+        get(target, prop, receiver) {
+            if (prop === "reverse")
+                return reverseNode(receiver);
+            return Reflect.get(target, prop, receiver);
+        },
+    });
+};
+export const stamp = (name, fields) => {
+    const out = {};
+    for (const key of Object.keys(fields)) {
+        out[key] = stampOne(name, key, fields[key]);
+    }
+    return out;
+};
+const assertEntityName = (name) => {
+    if (!isIdentName(name))
+        throw invalidIdentName("entity", name);
+};
+const assertFieldKeys = (fields) => {
+    for (const key of Object.keys(fields)) {
+        if (isReservedFieldKey(key))
+            throw reservedFieldName(key);
+        if (!isIdentName(key))
+            throw invalidIdentName("field", key);
+    }
+};
+export function Entity(name, fields, options) {
+    assertEntityName(name);
+    assertFieldKeys(fields);
+    const direct = (options?.traits ?? []);
+    const traitClosure = walkTraits(direct).all;
+    const stamped = stamp(name, fields);
+    const flattened = flattenTraitFields(direct);
+    const merged = mergeComposerFields(stamped, flattened);
+    const idField = attachAttrNav({
+        _tag: "Field",
+        schema: null,
+        cardinality: "one",
+        unique: undefined,
+        index: false,
+        owned: false,
+        doc: undefined,
+        valueType: "ref",
+        isOptional: false,
+        default: undefined,
+        attrName: "id",
+        ident: ":db/id",
+    });
+    const doc = normalizeDoc(options?.doc);
+    const entity = {
+        _tag: "Entity",
+        ns: name,
+        [DOCUMENTATION]: doc,
+        fields: merged,
+        traits: direct,
+        [COMPOSED_TRAITS]: Object.fromEntries(traitClosure.map((trait) => [trait.ns, true])),
+        [OwnedOperations]: {},
+        id: idField,
+        ...merged,
+    };
+    const operationAuthor = typeof options?.operations === "function"
+        ? ownedOperationAuthor()
+        : undefined;
+    const operationSpecs = typeof options?.operations === "function"
+        ? options.operations(operationAuthor)
+        : options?.operations;
+    entity[OwnedOperations] = bindOwnedOperations(entity, operationSpecs, operationAuthor);
+    return entity;
+}
+//# sourceMappingURL=Entity.js.map

package/dist/db/Entity.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Entity.js","sourceRoot":"","sources":["../../src/db/Entity.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,kBAAkB,EAClB,mBAAmB,EACnB,UAAU,GAEX,MAAM,cAAc,CAAC;AACtB,OAAO,EAAE,eAAe,EAAE,MAAM,eAAe,CAAC;AAEhD,OAAO,EACL,gBAAgB,EAChB,WAAW,EACX,kBAAkB,EAClB,iBAAiB,GAKlB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EACL,aAAa,EACb,OAAO,EACP,MAAM,EACN,MAAM,GAGP,MAAM,aAAa,CAAC;AAErB,OAAO,EACL,mBAAmB,EACnB,eAAe,EACf,oBAAoB,GAKrB,MAAM,gBAAgB,CAAC;AACxB,OAAO,EAAE,aAAa,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AA+IjE,MAAM,WAAW,GAAG,CAAC,IAAiB,EAAW,EAAE;IACjD,MAAM,IAAI,GACP,IAA4B,CAAC,KAAK,KAAK,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,MAAM,CAAC;IAChE,MAAM,IAAI,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC;IAC1B,MAAM,KAAK,GAAG,CAAC,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC;IACjC,MAAM,IAAI,GAAG,CAAC,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC;IAC/B,KAAK,CAAC,KAAK,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;IAC/B,IAAI,CAAC,IAAI,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,IAAI,CAAC;IAE7B,OAAO,aAAa,CAAC;QACnB,GAAI,IAAe;QACnB,KAAK,EAAE,IAAI,CAAC,KAAK;QACjB,WAAW,EAAE,IAAI;QACjB,MAAM,EAAE,IAAI;QACZ,OAAO,EAAE,KAAK;QACd,MAAM,EAAE,IAAI;QACZ,SAAS,EAAE,IAAI;KACqB,CAAC,CAAC;AAC1C,CAAC,CAAC;AAEF,MAAM,QAAQ,GAAG,CACf,EAAU,EACV,GAAW,EACX,CAAW,EAC6B,EAAE;IAC1C,MAAM,IAAI,GAAG;QACX,GAAG,CAAC;QACJ,QAAQ,EAAE,GAAG;QACb,KAAK,EAAE,IAAI,EAAE,IAAI,GAAG,EAAW;KAChC,CAAC;IAEF,MAAM,SAAS,GAAG,aAAa,CAAC,IAAmB,CAAC,CAAC;IACrD,IAAI,CAAC,CAAC,SAAS,KAAK,KAAK,EAAE,CAAC;QAC1B,OAAO,SAAmD,CAAC;IAC7D,CAAC;IAED,OAAO,IAAI,KAAK,CAAC,SAAS,EAAE;QAC1B,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ;YACxB,IAAI,IAAI,KAAK,SAAS;gBAAE,OAAO,WAAW,CAAC,QAAuB,CAAC,CAAC;YACpE,OAAO,OAAO,CAAC,GAAG,CAAC,MAAM,EAAE,IAAI,EAAE,QAAQ,CAAC,CAAC;QAC7C,CAAC;KACF,CAA2C,CAAC;AAC/C,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,KAAK,GAAG,CACnB,IAAU,EACV,MAAc,EACY,EAAE;IAC5B,MAAM,GAAG,GAA4B,EAAE,CAAC;IACxC,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,GAAG,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,GAAG,EAAE,MAAM,CAAC,GAAG,CAAE,CAAC,CAAC;IAC/C,CAAC;IACD,OAAO,GAA0C,CAAC;AACpD,CAAC,CAAC;AAEF,MAAM,gBAAgB,GAAG,CAAC,IAAY,EAAQ,EAAE;IAC9C,IAAI,CAAC,WAAW,CAAC,IAAI,CAAC;QAAE,MAAM,gBAAgB,CAAC,QAAQ,EAAE,IAAI,CAAC,CAAC;AACjE,CAAC,CAAC;AAEF,MAAM,eAAe,GAAG,CAAC,MAAgB,EAAQ,EAAE;IACjD,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,EAAE,CAAC;QACtC,IAAI,kBAAkB,CAAC,GAAG,CAAC;YAAE,MAAM,iBAAiB,CAAC,GAAG,CAAC,CAAC;QAC1D,IAAI,CAAC,WAAW,CAAC,GAAG,CAAC;YAAE,MAAM,gBAAgB,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IAC9D,CAAC;AACH,CAAC,CAAC;AA6FF,MAAM,UAAU,MAAM,CAMpB,IAA0B,EAC1B,MAAsC,EACtC,OACmC;IAEnC,gBAAgB,CAAC,IAAI,CAAC,CAAC;IACvB,eAAe,CAAC,MAAM,CAAC,CAAC;IACxB,MAAM,MAAM,GAAG,CAAC,OAAO,EAAE,MAAM,IAAI,EAAE,CAA4B,CAAC;IAClE,MAAM,YAAY,GAAG,UAAU,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC;IAC5C,MAAM,OAAO,GAAG,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC;IACpC,MAAM,SAAS,GAAG,kBAAkB,CAAC,MAAM,CAAC,CAAC;IAC7C,MAAM,MAAM,GAAG,mBAAmB,CAChC,OAAkC,EAClC,SAAS,CACV,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC;QAC5B,IAAI,EAAE,OAAgB;QACtB,MAAM,EAAE,IAAa;QACrB,WAAW,EAAE,KAAc;QAC3B,MAAM,EAAE,SAAS;QACjB,KAAK,EAAE,KAAK;QACZ,KAAK,EAAE,KAAK;QACZ,GAAG,EAAE,SAAS;QACd,SAAS,EAAE,KAAc;QACzB,UAAU,EAAE,KAAK;QACjB,OAAO,EAAE,SAAS;QAClB,QAAQ,EAAE,IAAa;QACvB,KAAK,EAAE,QAAiB;KACzB,CAAC,CAAC;IACH,MAAM,GAAG,GAAG,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC,CAAC;IACvC,MAAM,MAAM,GAAG;QACb,IAAI,EAAE,QAAiB;QACvB,EAAE,EAAE,IAAI;QACR,CAAC,aAAa,CAAC,EAAE,GAAG;QACpB,MAAM,EAAE,MAAM;QACd,MAAM,EAAE,MAAM;QACd,CAAC,eAAe,CAAC,EAAE,MAAM,CAAC,WAAW,CACnC,YAAY,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,KAAK,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAC9C;QACD,CAAC,eAAe,CAAC,EAAE,EAAE;QACrB,EAAE,EAAE,OAAO;QACX,GAAG,MAAM;KACV,CAAC;IACF,MAAM,eAAe,GACnB,OAAO,OAAO,EAAE,UAAU,KAAK,UAAU;QACvC,CAAC,CAAC,oBAAoB,EAAgD;QACtE,CAAC,CAAC,SAAS,CAAC;IAChB,MAAM,cAAc,GAClB,OAAO,OAAO,EAAE,UAAU,KAAK,UAAU;QACvC,CAAC,CAAC,OAAO,CAAC,UAAU,CAAC,eAAgB,CAAC;QACtC,CAAC,CAAC,OAAO,EAAE,UAAU,CAAC;IACzB,MAAyC,CAAC,eAAe,CAAC,GAAG,mBAAmB,CAC/E,MAGC,EACD,cAAc,EACd,eAAe,CAChB,CAAC;IACF,OAAO,MAEwC,CAAC;AAClD,CAAC"}