ramosedb 0.0.1 → 0.4.0

package/dist/db/Field.js

@@ -0,0 +1,187 @@
+import * as Schema from "effect/Schema";
+import { normalizeDoc } from "./documentation.js";
+import { Bytes, Instant, Long, Ref as refSchema, Uuid, enumMembersOf, enumSchema, rememberValueType, tryInferDbValueType, untargetedRef, } from "./valueTypes.js";
+const creationDefaultIdentities = new WeakMap();
+const snapshotInputs = (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/default: inputs 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/default: inputs must contain only valid dates");
+        }
+        return new Date(value.getTime());
+    }
+    if (value instanceof Uint8Array)
+        return new Uint8Array(value);
+    if (seen.has(value)) {
+        throw new Error("ramose/default: inputs must not contain cycles");
+    }
+    seen.add(value);
+    if (Array.isArray(value)) {
+        const snapshot = Object.freeze(value.map((item) => snapshotInputs(item, seen)));
+        seen.delete(value);
+        return snapshot;
+    }
+    const prototype = Object.getPrototypeOf(value);
+    if (prototype !== Object.prototype && prototype !== null) {
+        throw new Error("ramose/default: inputs must be canonical JSON data");
+    }
+    const record = value;
+    const out = Object.create(null);
+    for (const key of Object.keys(record).sort()) {
+        const item = record[key];
+        if (item === undefined) {
+            throw new Error("ramose/default: inputs must be canonical JSON data");
+        }
+        out[key] = snapshotInputs(item, seen);
+    }
+    seen.delete(value);
+    return Object.freeze(out);
+};
+/**
+ * Capture explicit default revision/configuration data immutably, then invoke
+ * the deployed callback with ordinary JavaScript semantics. The callback is
+ * trusted application code; `inputs` are inert compatibility metadata, not an
+ * executable representation or sandbox boundary.
+ */
+export const creationDefault = (inputs, get) => {
+    const snapshot = snapshotInputs(inputs);
+    const declared = Object.freeze((context) => get(snapshotInputs(snapshot), context));
+    creationDefaultIdentities.set(declared, Object.freeze({ inputs: snapshot }));
+    return declared;
+};
+export const creationDefaultIdentityOf = (get) => creationDefaultIdentities.get(get);
+export const isField = (value) => typeof value === "object" &&
+    value !== null &&
+    value._tag === "Field" &&
+    "schema" in value;
+const rejectRetiredOptions = (options) => {
+    if (options == null)
+        return;
+    if ("valueType" in options) {
+        throw new Error("ramose/schema: valueType is not a field option. Brand the schema with stored(schema, vt).");
+    }
+    if ("cardinality" in options) {
+        throw new Error("ramose/schema: cardinality is not a field option. Use Field.many(schema).");
+    }
+    if ("unique" in options) {
+        throw new Error('ramose/schema: unique is not a field option. Use Field.unique(schema, "upsert" | "strict").');
+    }
+    if ("owned" in options || "isComponent" in options) {
+        throw new Error("ramose/schema: owned is not a field option. Use Field.owned(schema).");
+    }
+};
+const makeField = (schema, options, flags) => {
+    rejectRetiredOptions(options);
+    const unique = flags?.unique;
+    const field = {
+        _tag: "Field",
+        schema,
+        cardinality: flags?.cardinality ?? "one",
+        unique,
+        index: options?.index ?? unique !== undefined,
+        owned: flags?.owned ?? false,
+        doc: normalizeDoc(options?.doc),
+        valueType: tryInferDbValueType(schema),
+        isOptional: options?.optional === true || schemaAllowsUndefined(schema),
+        default: options?.default,
+    };
+    const members = enumMembersOf(schema);
+    return members !== undefined ? Object.assign(field, { members }) : field;
+};
+const schemaAllowsUndefined = (schema) => {
+    const ast = schema.ast;
+    if (ast === undefined)
+        return false;
+    if (ast._tag === "Undefined")
+        return true;
+    if (ast._tag === "Union" && Array.isArray(ast.types)) {
+        return ast.types.some((t) => t._tag === "Undefined" || schemaAllowsUndefined({ ast: t }));
+    }
+    return false;
+};
+export const isOptionalField = (field) => field.cardinality === "many" || field.isOptional === true;
+const fieldSchema = (input) => isField(input) ? input.schema : input;
+const mergeFieldOptions = (input, extra) => {
+    rejectRetiredOptions(extra);
+    if (!isField(input))
+        return extra ?? {};
+    const doc = extra?.doc ?? input.doc;
+    const defaultValue = extra?.default ?? input.default;
+    return {
+        index: extra?.index ?? input.index,
+        ...(doc !== undefined && { doc }),
+        optional: extra?.optional ?? input.isOptional,
+        ...(defaultValue !== undefined && { default: defaultValue }),
+    };
+};
+const mergeFlags = (input, flags) => {
+    if (!isField(input))
+        return flags ?? {};
+    return {
+        cardinality: flags?.cardinality ?? input.cardinality,
+        unique: flags?.unique ?? input.unique,
+        owned: flags?.owned ?? input.owned,
+    };
+};
+const applyField = (input, options, flags) => makeField(fieldSchema(input), mergeFieldOptions(input, options), mergeFlags(input, flags));
+const applyManyField = (input, options) => {
+    if (isField(input) &&
+        input.cardinality !== "many" &&
+        input.default !== undefined &&
+        options?.default === undefined) {
+        throw new Error("ramose/schema: Field.many(defaultedField) requires a new array default");
+    }
+    return applyField(input, options, { cardinality: "many" });
+};
+export const Field = Object.assign(((input, options) => applyField(input, options)), {
+    many: ((input, options) => applyManyField(input, options)),
+    unique: ((input, uniqueness, options) => applyField(input, { ...mergeFieldOptions(input, options), index: true }, { unique: uniqueness })),
+    owned: ((input, options) => applyField(input, options, { owned: true })),
+});
+const shorthand = (schema) => ((options) => makeField(schema, options));
+/** Text. Stored as `:db.type/string`. */
+export const string = shorthand(Schema.String);
+/** True / false. Stored as `:db.type/boolean`. */
+export const boolean = shorthand(Schema.Boolean);
+/** Whole number. Stored as `:db.type/long` (plain `float()` / `Schema.Number` is double). */
+export const int = shorthand(Long);
+/**
+ * Floating-point number. Stored as `:db.type/double`.
+ *
+ * `Finite`, not `Number`: the wire format is JSON, where `Infinity` and `NaN`
+ * serialize to `null`, so a non-finite value could never round-trip. Rejecting
+ * it at the schema fails loudly instead of silently storing `null`.
+ */
+export const float = shorthand(Schema.Finite);
+/** Point in time. You pass and receive a `Date`. Stored as `:db.type/instant`. */
+export const timestamp = shorthand(Instant);
+/** Canonical UUID string. Stored as `:db.type/uuid`. */
+export const uuid = shorthand(Uuid);
+/** Binary data. Stored as `:db.type/bytes`. */
+export const bytes = shorthand(Bytes);
+/**
+ * Closed string set. Stored as `:db.type/string`. `enumeration(["low", "med"])`
+ * types the field as `"low" | "med"` and carries the members on the
+ * field (`Issue.status.members`) so the UI does not restate the list.
+ */
+export const Enum = ((values, options) => makeField(enumSchema(values), options));
+/**
+ * Targeted reference. Prefer `ref(User)`; use `ref(() => Other)` only
+ * when the target is declared later. `ref.self` is a self-ref.
+ * The bare `ref` (passed to {@link Field}) is an untargeted ref.
+ */
+export const Ref = Object.assign(((target, options) => makeField(refSchema(target), options)), untargetedRef, {
+    self: makeField(refSchema.self),
+});
+rememberValueType(Ref, "ref");
+//# sourceMappingURL=Field.js.map

package/dist/db/Field.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Field.js","sourceRoot":"","sources":["../../src/db/Field.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,MAAM,MAAM,eAAe,CAAC;AACxC,OAAO,EAAE,YAAY,EAAE,MAAM,oBAAoB,CAAC;AAClD,OAAO,EACL,KAAK,EACL,OAAO,EACP,IAAI,EACJ,GAAG,IAAI,SAAS,EAChB,IAAI,EACJ,aAAa,EACb,UAAU,EACV,iBAAiB,EACjB,mBAAmB,EAKnB,aAAa,GACd,MAAM,iBAAiB,CAAC;AAsCzB,MAAM,yBAAyB,GAAG,IAAI,OAAO,EAG1C,CAAC;AAOJ,MAAM,cAAc,GAAG,CACrB,KAA4B,EAC5B,IAAI,GAAG,IAAI,OAAO,EAAU,EACL,EAAE;IACzB,IACE,KAAK,KAAK,IAAI;QACd,OAAO,KAAK,KAAK,QAAQ;QACzB,OAAO,KAAK,KAAK,SAAS,EAC1B,CAAC;QACD,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,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,QAAQ,GAAG,MAAM,CAAC,MAAM,CAC5B,KAAK,CAAC,GAAG,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC,CAChD,CAAC;QACF,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;QACnB,OAAO,QAAQ,CAAC;IAClB,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,oDAAoD,CAAC,CAAC;IACxE,CAAC;IACD,MAAM,MAAM,GAAG,KAAwD,CAAC;IACxE,MAAM,GAAG,GAAG,MAAM,CAAC,MAAM,CAAC,IAAI,CAA0C,CAAC;IACzE,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC;QAC7C,MAAM,IAAI,GAAG,MAAM,CAAC,GAAG,CAAC,CAAC;QACzB,IAAI,IAAI,KAAK,SAAS,EAAE,CAAC;YACvB,MAAM,IAAI,KAAK,CAAC,oDAAoD,CAAC,CAAC;QACxE,CAAC;QACD,GAAG,CAAC,GAAG,CAAC,GAAG,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;IACxC,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC;IACnB,OAAO,MAAM,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC;AAC5B,CAAC,CAAC;AAEF;;;;;GAKG;AACH,MAAM,CAAC,MAAM,eAAe,GAAG,CAI7B,MAAc,EACd,GAGkB,EACE,EAAE;IACtB,MAAM,QAAQ,GAAG,cAAc,CAAC,MAAM,CAA2C,CAAC;IAClF,MAAM,QAAQ,GAAG,MAAM,CAAC,MAAM,CAAC,CAAC,OAA+B,EAAE,EAAE,CACjE,GAAG,CACD,cAAc,CAAC,QAAQ,CAA2C,EAClE,OAAO,CACR,CACoB,CAAC;IACxB,yBAAyB,CAAC,GAAG,CAC3B,QAAoC,EACpC,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,QAAQ,EAAE,CAAC,CACpC,CAAC;IACF,OAAO,QAAQ,CAAC;AAClB,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,yBAAyB,GAAG,CACvC,GAA6B,EACQ,EAAE,CACvC,yBAAyB,CAAC,GAAG,CAAC,GAAG,CAAC,CAAC;AA+GrC,MAAM,CAAC,MAAM,OAAO,GAAG,CAAC,KAAc,EAAqB,EAAE,CAC3D,OAAO,KAAK,KAAK,QAAQ;IACzB,KAAK,KAAK,IAAI;IACb,KAAqC,CAAC,IAAI,KAAK,OAAO;IACvD,QAAQ,IAAI,KAAK,CAAC;AAEpB,MAAM,oBAAoB,GAAG,CAAC,OAAgB,EAAQ,EAAE;IACtD,IAAI,OAAO,IAAI,IAAI;QAAE,OAAO;IAC5B,IAAI,WAAW,IAAI,OAAO,EAAE,CAAC;QAC3B,MAAM,IAAI,KAAK,CACb,2FAA2F,CAC5F,CAAC;IACJ,CAAC;IACD,IAAI,aAAa,IAAI,OAAO,EAAE,CAAC;QAC7B,MAAM,IAAI,KAAK,CACb,2EAA2E,CAC5E,CAAC;IACJ,CAAC;IACD,IAAI,QAAQ,IAAI,OAAO,EAAE,CAAC;QACxB,MAAM,IAAI,KAAK,CACb,6FAA6F,CAC9F,CAAC;IACJ,CAAC;IACD,IAAI,OAAO,IAAI,OAAO,IAAI,aAAa,IAAI,OAAO,EAAE,CAAC;QACnD,MAAM,IAAI,KAAK,CACb,sEAAsE,CACvE,CAAC;IACJ,CAAC;AACH,CAAC,CAAC;AAEF,MAAM,SAAS,GAAG,CAChB,MAAoB,EACpB,OAA+B,EAC/B,KAAkB,EACR,EAAE;IACZ,oBAAoB,CAAC,OAAO,CAAC,CAAC;IAC9B,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,CAAC;IAC7B,MAAM,KAAK,GAAG;QACZ,IAAI,EAAE,OAAgB;QACtB,MAAM;QACN,WAAW,EAAE,KAAK,EAAE,WAAW,IAAI,KAAK;QACxC,MAAM;QACN,KAAK,EAAE,OAAO,EAAE,KAAK,IAAI,MAAM,KAAK,SAAS;QAC7C,KAAK,EAAE,KAAK,EAAE,KAAK,IAAI,KAAK;QAC5B,GAAG,EAAE,YAAY,CAAC,OAAO,EAAE,GAAG,CAAC;QAC/B,SAAS,EAAE,mBAAmB,CAAC,MAAM,CAAC;QACtC,UAAU,EAAE,OAAO,EAAE,QAAQ,KAAK,IAAI,IAAI,qBAAqB,CAAC,MAAM,CAAC;QACvE,OAAO,EAAE,OAAO,EAAE,OAAO;KAC1B,CAAC;IACF,MAAM,OAAO,GAAG,aAAa,CAAC,MAAM,CAAC,CAAC;IACtC,OAAO,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,KAAK,EAAE,EAAE,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC;AAC3E,CAAC,CAAC;AAEF,MAAM,qBAAqB,GAAG,CAAC,MAA+G,EAAW,EAAE;IACzJ,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC;IACvB,IAAI,GAAG,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACpC,IAAI,GAAG,CAAC,IAAI,KAAK,WAAW;QAAE,OAAO,IAAI,CAAC;IAC1C,IAAI,GAAG,CAAC,IAAI,KAAK,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC,GAAG,CAAC,KAAK,CAAC,EAAE,CAAC;QACrD,OAAO,GAAG,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,IAAI,KAAK,WAAW,IAAI,qBAAqB,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC,CAAC,CAAC;IAC5F,CAAC;IACD,OAAO,KAAK,CAAC;AACf,CAAC,CAAC;AAEF,MAAM,CAAC,MAAM,eAAe,GAAG,CAAC,KAAe,EAAW,EAAE,CAC1D,KAAK,CAAC,WAAW,KAAK,MAAM,IAAI,KAAK,CAAC,UAAU,KAAK,IAAI,CAAC;AAE5D,MAAM,WAAW,GAAG,CAAC,KAA8B,EAAgB,EAAE,CACnE,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;AAExC,MAAM,iBAAiB,GAAG,CACxB,KAA8B,EAC9B,KAA6B,EACN,EAAE;IACzB,oBAAoB,CAAC,KAAK,CAAC,CAAC;IAC5B,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,IAAI,EAAE,CAAC;IACxC,MAAM,GAAG,GAAG,KAAK,EAAE,GAAG,IAAI,KAAK,CAAC,GAAG,CAAC;IACpC,MAAM,YAAY,GAAG,KAAK,EAAE,OAAO,IAAI,KAAK,CAAC,OAAO,CAAC;IACrD,OAAO;QACL,KAAK,EAAE,KAAK,EAAE,KAAK,IAAI,KAAK,CAAC,KAAK;QAClC,GAAG,CAAC,GAAG,KAAK,SAAS,IAAI,EAAE,GAAG,EAAE,CAAC;QACjC,QAAQ,EAAE,KAAK,EAAE,QAAQ,IAAI,KAAK,CAAC,UAAU;QAC7C,GAAG,CAAC,YAAY,KAAK,SAAS,IAAI,EAAE,OAAO,EAAE,YAAY,EAAE,CAAC;KAC7D,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAA8B,EAC9B,KAAkB,EACN,EAAE;IACd,IAAI,CAAC,OAAO,CAAC,KAAK,CAAC;QAAE,OAAO,KAAK,IAAI,EAAE,CAAC;IACxC,OAAO;QACL,WAAW,EAAE,KAAK,EAAE,WAAW,IAAI,KAAK,CAAC,WAAW;QACpD,MAAM,EAAE,KAAK,EAAE,MAAM,IAAI,KAAK,CAAC,MAAM;QACrC,KAAK,EAAE,KAAK,EAAE,KAAK,IAAI,KAAK,CAAC,KAAK;KACnC,CAAC;AACJ,CAAC,CAAC;AAEF,MAAM,UAAU,GAAG,CACjB,KAA8B,EAC9B,OAA+B,EAC/B,KAAkB,EACR,EAAE,CACZ,SAAS,CAAC,WAAW,CAAC,KAAK,CAAC,EAAE,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,UAAU,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC,CAAC;AAE7F,MAAM,cAAc,GAAG,CACrB,KAA8B,EAC9B,OAA+B,EACrB,EAAE;IACZ,IACE,OAAO,CAAC,KAAK,CAAC;QACd,KAAK,CAAC,WAAW,KAAK,MAAM;QAC5B,KAAK,CAAC,OAAO,KAAK,SAAS;QAC3B,OAAO,EAAE,OAAO,KAAK,SAAS,EAC9B,CAAC;QACD,MAAM,IAAI,KAAK,CACb,wEAAwE,CACzE,CAAC;IACJ,CAAC;IACD,OAAO,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,WAAW,EAAE,MAAM,EAAE,CAAC,CAAC;AAC7D,CAAC,CAAC;AA0DF,MAAM,CAAC,MAAM,KAAK,GAkBd,MAAM,CAAC,MAAM,CACf,CAAC,CAAC,KAA8B,EAAE,OAA+B,EAAE,EAAE,CACnE,UAAU,CAAC,KAAK,EAAE,OAAO,CAAC,CAe3B,EACD;IACE,IAAI,EAAE,CAAC,CAAC,KAA8B,EAAE,OAAsB,EAAE,EAAE,CAChE,cAAc,CAAC,KAAK,EAAE,OAAO,CAAC,CAAc;IAC9C,MAAM,EAAE,CAAC,CACP,KAA8B,EAC9B,UAAsB,EACtB,OAAsB,EACtB,EAAE,CACF,UAAU,CACR,KAAK,EACL,EAAE,GAAG,iBAAiB,CAAC,KAAK,EAAE,OAAO,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,EACrD,EAAE,MAAM,EAAE,UAAU,EAAE,CACvB,CAAgB;IACnB,KAAK,EAAE,CAAC,CAAC,KAA8B,EAAE,OAAsB,EAAE,EAAE,CACjE,UAAU,CAAC,KAAK,EAAE,OAAO,EAAE,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAe;CAC7D,CACF,CAAC;AAWF,MAAM,SAAS,GACb,CACE,MAAS,EACS,EAAE,CACtB,CAAC,CAAC,OAAsB,EAAE,EAAE,CAC1B,SAAS,CAAC,MAAM,EAAE,OAAO,CAAC,CAAqB,CAAC;AAEpD,yCAAyC;AACzC,MAAM,CAAC,MAAM,MAAM,GAA8C,SAAS,CACxE,MAAM,CAAC,MAAM,CACd,CAAC;AAEF,kDAAkD;AAClD,MAAM,CAAC,MAAM,OAAO,GAAgD,SAAS,CAC3E,MAAM,CAAC,OAAO,CACf,CAAC;AAEF,6FAA6F;AAC7F,MAAM,CAAC,MAAM,GAAG,GAAmC,SAAS,CAAC,IAAI,CAAC,CAAC;AAEnE;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,KAAK,GAA8C,SAAS,CACvE,MAAM,CAAC,MAAM,CACd,CAAC;AAEF,kFAAkF;AAClF,MAAM,CAAC,MAAM,SAAS,GAAyC,SAAS,CACtE,OAAO,CACR,CAAC;AAEF,wDAAwD;AACxD,MAAM,CAAC,MAAM,IAAI,GAAmC,SAAS,CAAC,IAAI,CAAC,CAAC;AAEpE,+CAA+C;AAC/C,MAAM,CAAC,MAAM,KAAK,GAAqC,SAAS,CAAC,KAAK,CAAC,CAAC;AAyBxE;;;;GAIG;AACH,MAAM,CAAC,MAAM,IAAI,GAMb,CAAC,CAAC,MAAsC,EAAE,OAA8B,EAAE,EAAE,CAC9E,SAAS,CAAC,UAAU,CAAC,MAAM,CAAC,EAAE,OAAO,CAAC,CAAgB,CAAC;AA8CzD;;;;GAIG;AACH,MAAM,CAAC,MAAM,GAAG,GAAiB,MAAM,CAAC,MAAM,CAC5C,CAAC,CACC,MAAuC,EACvC,OAA8B,EAC9B,EAAE,CAAC,SAAS,CAAC,SAAS,CAAC,MAAyC,CAAC,EAAE,OAAO,CAAC,CAAiB,EAC9F,aAAa,EACb;IACE,IAAI,EAAE,SAAS,CAAC,SAAS,CAAC,IAAI,CAQ7B;CACF,CACF,CAAC;AACF,iBAAiB,CAAC,GAAG,EAAE,KAAK,CAAC,CAAC"}

package/dist/db/IdentName.d.ts

@@ -0,0 +1,94 @@
+/**
+ * One side of a `:ns/attr` ident — entity names and field keys.
+ * Letter, then up to 63 letters / digits / `_` / `-` (64 characters total).
+ */
+export declare const IDENT_NAME_RE: RegExp;
+/** Whether `name` is a valid entity name or field key ({@link IDENT_NAME_RE}). */
+export declare const isIdentName: (name: string) => boolean;
+/**
+ * Keys `Entity()` / `Trait()` stamp onto the record-type object. A user
+ * field of the same name would overwrite metadata (`id` → every
+ * `select({ id: N.id })` reads a string; `ns` → `install()` emits
+ * `:[object Object]/id`; `traits` → composition is lost).
+ */
+export declare const RESERVED_FIELD_KEYS: readonly ["id", "ns", "fields", "_tag", "traits"];
+export type ReservedFieldKey = (typeof RESERVED_FIELD_KEYS)[number];
+/** Whether `name` is {@link Entity} metadata and cannot be a field key. */
+export declare const isReservedFieldKey: (name: string) => name is ReservedFieldKey;
+type Digit = "0" | "1" | "2" | "3" | "4" | "5" | "6" | "7" | "8" | "9";
+type Lower = "a" | "b" | "c" | "d" | "e" | "f" | "g" | "h" | "i" | "j" | "k" | "l" | "m" | "n" | "o" | "p" | "q" | "r" | "s" | "t" | "u" | "v" | "w" | "x" | "y" | "z";
+type Upper = "A" | "B" | "C" | "D" | "E" | "F" | "G" | "H" | "I" | "J" | "K" | "L" | "M" | "N" | "O" | "P" | "Q" | "R" | "S" | "T" | "U" | "V" | "W" | "X" | "Y" | "Z";
+type Letter = Lower | Upper;
+type IdentChar = Letter | Digit | "_" | "-";
+type IsIdentRest<S extends string> = S extends "" ? true : S extends `${IdentChar}${infer Rest}` ? IsIdentRest<Rest> : false;
+export type IsIdentName<S extends string> = string extends S ? true : S extends `${Letter}${infer Rest}` ? IsIdentRest<Rest> : false;
+type NameError<S, Msg extends string> = S & {
+    readonly [K in Msg]: true;
+};
+declare const IDENT_NAME_MSG: "invalid name — must match IDENT_NAME_RE";
+declare const RESERVED_FIELD_MSG: "reserved field name — id, ns, fields, _tag, and traits are Entity / Trait metadata";
+declare const TRAIT_COLLISION_MSG: "conflicting flattened field names";
+declare const SCHEMA_KEY_MSG: "Schema key must equal the Entity name";
+declare const DUPLICATE_ENTITY_MSG: "duplicate entity name";
+export type ValidIdentName<S extends string> = IsIdentName<S> extends true ? S : NameError<S, typeof IDENT_NAME_MSG>;
+type ReservedIn<F> = Extract<keyof F, ReservedFieldKey>;
+type BadNamedIn<F> = {
+    [K in keyof F]: K extends string ? K extends ReservedFieldKey ? never : IsIdentName<K> extends true ? never : K : never;
+}[keyof F];
+export type ValidFieldMap<F> = [ReservedIn<F>] extends [never] ? [BadNamedIn<F>] extends [never] ? F : NameError<F, typeof IDENT_NAME_MSG> : NameError<F, typeof RESERVED_FIELD_MSG>;
+type NsOf<E> = E extends {
+    readonly ns: infer N extends string;
+} ? N : never;
+type KeyMatchesNs<K extends string, N extends string> = string extends N ? true : string extends K ? true : [K] extends [N] ? [N] extends [K] ? true : false : false;
+export type ValidEntityMap<Es extends Record<string, {
+    readonly ns: string;
+}>> = {
+    [K in keyof Es]: K extends string ? KeyMatchesNs<K, Es[K]["ns"]> extends true ? Es[K] : NameError<Es[K], typeof SCHEMA_KEY_MSG> : Es[K];
+};
+type NsTuple<Es extends readonly {
+    readonly ns: string;
+}[]> = {
+    [I in keyof Es]: NsOf<Es[I]>;
+};
+type HasDuplicate<T extends readonly unknown[], Seen extends PropertyKey = never> = T extends readonly [infer H, ...infer R] ? string extends H ? HasDuplicate<R, Seen> : H extends Seen ? true : H extends PropertyKey ? HasDuplicate<R, Seen | H> : HasDuplicate<R, Seen> : false;
+export type ValidEntityList<Es extends readonly {
+    readonly ns: string;
+}[]> = HasDuplicate<NsTuple<Es>> extends true ? NameError<Es, typeof DUPLICATE_ENTITY_MSG> : Es;
+export type EntitiesFromArray<Es extends readonly {
+    readonly ns: string;
+}[]> = {
+    [E in Es[number] as E["ns"] & string]: E;
+};
+type Overlap<A, B> = keyof A & keyof B;
+export type ValidMerge<A extends Record<string, unknown>, B extends Record<string, unknown>> = string extends keyof A ? B : string extends keyof B ? B : [Overlap<A, B>] extends [never] ? B : NameError<B, typeof DUPLICATE_ENTITY_MSG>;
+export declare const invalidIdentName: (kind: "entity" | "field" | "trait" | "operation", name: string) => Error;
+export declare const reservedFieldName: (name: string) => Error;
+type FieldIdent<F> = F extends {
+    readonly ident: infer I extends string;
+} ? I : never;
+type FieldCollision<K extends string> = {
+    readonly [P in `conflicting flattened field ${K}`]: true;
+};
+type MergeFieldMaps<A, B> = [keyof A & keyof B] extends [never] ? A & B : {
+    [K in keyof A | keyof B]: K extends keyof A ? K extends keyof B ? FieldIdent<A[K]> extends FieldIdent<B[K]> ? FieldIdent<B[K]> extends FieldIdent<A[K]> ? A[K] : FieldCollision<K & string> : FieldCollision<K & string> : A[K] : K extends keyof B ? B[K] : never;
+};
+type NestedTraits<H> = H extends {
+    readonly traits: infer T extends readonly unknown[];
+} ? T : [];
+export type FlattenedTraitFields<Traits extends readonly unknown[]> = Traits extends readonly [infer H, ...infer R] ? H extends {
+    readonly fields: infer F extends object;
+} ? MergeFieldMaps<MergeFieldMaps<F, FlattenedTraitFields<NestedTraits<H>>>, FlattenedTraitFields<R>> : FlattenedTraitFields<R> : {};
+type CollisionBrandKey<T> = {
+    [K in keyof T]: T[K] extends {
+        readonly [P in `conflicting flattened field ${string}`]: true;
+    } ? K : never;
+}[keyof T];
+type HasFieldCollision<T> = [CollisionBrandKey<T>] extends [never] ? false : true;
+export type ValidTraitCompose<Fields, Traits extends readonly unknown[]> = HasFieldCollision<MergeFieldMaps<Fields, FlattenedTraitFields<Traits>>> extends true ? {
+    readonly traits?: NameError<Traits, typeof TRAIT_COLLISION_MSG>;
+} : unknown;
+export declare const schemaKeyMismatch: (key: string, ns: string) => Error;
+export declare const duplicateEntityName: (ns: string) => Error;
+export declare const conflictingIdent: (ident: string) => Error;
+export {};
+//# sourceMappingURL=IdentName.d.ts.map

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

@@ -0,0 +1 @@
+{"version":3,"file":"IdentName.d.ts","sourceRoot":"","sources":["../../src/db/IdentName.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,eAAO,MAAM,aAAa,QAAkC,CAAC;AAE7D,kFAAkF;AAClF,eAAO,MAAM,WAAW,SAAU,MAAM,KAAG,OAAmC,CAAC;AAE/E;;;;;GAKG;AACH,eAAO,MAAM,mBAAmB,YAC9B,IAAI,EACJ,IAAI,EACJ,QAAQ,EACR,MAAM,EACN,QAAQ,CACA,CAAC;AAEX,MAAM,MAAM,gBAAgB,GAAG,CAAC,OAAO,mBAAmB,CAAC,CAAC,MAAM,CAAC,CAAC;AAIpE,2EAA2E;AAC3E,eAAO,MAAM,kBAAkB,SAAU,MAAM,KAAG,IAAI,IAAI,gBACtC,CAAC;AAErB,KAAK,KAAK,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,GAAG,CAAC;AACvE,KAAK,KAAK,GACN,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,CAAC;AACR,KAAK,KAAK,GACN,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,GACH,GAAG,CAAC;AACR,KAAK,MAAM,GAAG,KAAK,GAAG,KAAK,CAAC;AAC5B,KAAK,SAAS,GAAG,MAAM,GAAG,KAAK,GAAG,GAAG,GAAG,GAAG,CAAC;AAE5C,KAAK,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,EAAE,GAC7C,IAAI,GACJ,CAAC,SAAS,GAAG,SAAS,GAAG,MAAM,IAAI,EAAE,GACnC,WAAW,CAAC,IAAI,CAAC,GACjB,KAAK,CAAC;AAEZ,MAAM,MAAM,WAAW,CAAC,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GACxD,IAAI,GACJ,CAAC,SAAS,GAAG,MAAM,GAAG,MAAM,IAAI,EAAE,GAChC,WAAW,CAAC,IAAI,CAAC,GACjB,KAAK,CAAC;AAEZ,KAAK,SAAS,CAAC,CAAC,EAAE,GAAG,SAAS,MAAM,IAAI,CAAC,GAAG;IAC1C,QAAQ,EAAE,CAAC,IAAI,GAAG,GAAG,IAAI;CAC1B,CAAC;AAEF,QAAA,MAAM,cAAc,EAClB,yCAAkD,CAAC;AACrD,QAAA,MAAM,kBAAkB,EACtB,oFAA6F,CAAC;AAChG,QAAA,MAAM,mBAAmB,EAAG,mCAA4C,CAAC;AACzE,QAAA,MAAM,cAAc,EAClB,uCAAgD,CAAC;AACnD,QAAA,MAAM,oBAAoB,EAAG,uBAAgC,CAAC;AAE9D,MAAM,MAAM,cAAc,CAAC,CAAC,SAAS,MAAM,IACzC,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GAAG,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,OAAO,cAAc,CAAC,CAAC;AAExE,KAAK,UAAU,CAAC,CAAC,IAAI,OAAO,CAAC,MAAM,CAAC,EAAE,gBAAgB,CAAC,CAAC;AACxD,KAAK,UAAU,CAAC,CAAC,IAAI;KAClB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,GAC5B,CAAC,SAAS,gBAAgB,GACxB,KAAK,GACL,WAAW,CAAC,CAAC,CAAC,SAAS,IAAI,GACzB,KAAK,GACL,CAAC,GACL,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,MAAM,MAAM,aAAa,CAAC,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC1D,CAAC,UAAU,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC7B,CAAC,GACD,SAAS,CAAC,CAAC,EAAE,OAAO,cAAc,CAAC,GACrC,SAAS,CAAC,CAAC,EAAE,OAAO,kBAAkB,CAAC,CAAC;AAE5C,KAAK,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GAAG,CAAC,GAAG,KAAK,CAAC;AAE7E,KAAK,YAAY,CAAC,CAAC,SAAS,MAAM,EAAE,CAAC,SAAS,MAAM,IAAI,MAAM,SAAS,CAAC,GACpE,IAAI,GACJ,MAAM,SAAS,CAAC,GACd,IAAI,GACJ,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GACb,IAAI,GACJ,KAAK,GACP,KAAK,CAAC;AAEd,MAAM,MAAM,cAAc,CAAC,EAAE,SAAS,MAAM,CAAC,MAAM,EAAE;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC,IAC3E;KACG,CAAC,IAAI,MAAM,EAAE,GAAG,CAAC,SAAS,MAAM,GAC7B,YAAY,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,IAAI,GACvC,EAAE,CAAC,CAAC,CAAC,GACL,SAAS,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,OAAO,cAAc,CAAC,GACzC,EAAE,CAAC,CAAC,CAAC;CACV,CAAC;AAEJ,KAAK,OAAO,CAAC,EAAE,SAAS,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,IAAI;KAC3D,CAAC,IAAI,MAAM,EAAE,GAAG,IAAI,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC;CAC7B,CAAC;AAEF,KAAK,YAAY,CACf,CAAC,SAAS,SAAS,OAAO,EAAE,EAC5B,IAAI,SAAS,WAAW,GAAG,KAAK,IAC9B,CAAC,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GACxC,MAAM,SAAS,CAAC,GACd,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,GACrB,CAAC,SAAS,IAAI,GACZ,IAAI,GACJ,CAAC,SAAS,WAAW,GACnB,YAAY,CAAC,CAAC,EAAE,IAAI,GAAG,CAAC,CAAC,GACzB,YAAY,CAAC,CAAC,EAAE,IAAI,CAAC,GAC3B,KAAK,CAAC;AAEV,MAAM,MAAM,eAAe,CAAC,EAAE,SAAS,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,IACvE,YAAY,CAAC,OAAO,CAAC,EAAE,CAAC,CAAC,SAAS,IAAI,GAClC,SAAS,CAAC,EAAE,EAAE,OAAO,oBAAoB,CAAC,GAC1C,EAAE,CAAC;AAET,MAAM,MAAM,iBAAiB,CAC3B,EAAE,SAAS,SAAS;IAAE,QAAQ,CAAC,EAAE,EAAE,MAAM,CAAA;CAAE,EAAE,IAC3C;KACD,CAAC,IAAI,EAAE,CAAC,MAAM,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,GAAG,MAAM,GAAG,CAAC;CACzC,CAAC;AAEF,KAAK,OAAO,CAAC,CAAC,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC;AAEvC,MAAM,MAAM,UAAU,CACpB,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EACjC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,IAC/B,MAAM,SAAS,MAAM,CAAC,GACtB,CAAC,GACD,MAAM,SAAS,MAAM,CAAC,GACpB,CAAC,GACD,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC7B,CAAC,GACD,SAAS,CAAC,CAAC,EAAE,OAAO,oBAAoB,CAAC,CAAC;AAElD,eAAO,MAAM,gBAAgB,SACrB,QAAQ,GAAG,OAAO,GAAG,OAAO,GAAG,WAAW,QAC1C,MAAM,KACX,KAGA,CAAC;AAEJ,eAAO,MAAM,iBAAiB,SAAU,MAAM,KAAG,KAG9C,CAAC;AAEJ,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACrE,CAAC,GACD,KAAK,CAAC;AAEV,KAAK,cAAc,CAAC,CAAC,SAAS,MAAM,IAAI;IACtC,QAAQ,EAAE,CAAC,IAAI,+BAA+B,CAAC,EAAE,GAAG,IAAI;CACzD,CAAC;AAEF,KAAK,cAAc,CAAC,CAAC,EAAE,CAAC,IAAI,CAAC,MAAM,CAAC,GAAG,MAAM,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC3D,CAAC,GAAG,CAAC,GACL;KACG,CAAC,IAAI,MAAM,CAAC,GAAG,MAAM,CAAC,GAAG,CAAC,SAAS,MAAM,CAAC,GACvC,CAAC,SAAS,MAAM,CAAC,GACf,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvC,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GACvC,CAAC,CAAC,CAAC,CAAC,GACJ,cAAc,CAAC,CAAC,GAAG,MAAM,CAAC,GAC5B,cAAc,CAAC,CAAC,GAAG,MAAM,CAAC,GAC5B,CAAC,CAAC,CAAC,CAAC,GACN,CAAC,SAAS,MAAM,CAAC,GACf,CAAC,CAAC,CAAC,CAAC,GACJ,KAAK;CACZ,CAAC;AAEN,KAAK,YAAY,CAAC,CAAC,IAAI,CAAC,SAAS;IAC/B,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,SAAS,OAAO,EAAE,CAAC;CACrD,GACG,CAAC,GACD,EAAE,CAAC;AAEP,MAAM,MAAM,oBAAoB,CAAC,MAAM,SAAS,SAAS,OAAO,EAAE,IAChE,MAAM,SAAS,SAAS,CAAC,MAAM,CAAC,EAAE,GAAG,MAAM,CAAC,CAAC,GACzC,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;CAAE,GACnD,cAAc,CACZ,cAAc,CAAC,CAAC,EAAE,oBAAoB,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC,EACxD,oBAAoB,CAAC,CAAC,CAAC,CACxB,GACD,oBAAoB,CAAC,CAAC,CAAC,GACzB,EAAE,CAAC;AAET,KAAK,iBAAiB,CAAC,CAAC,IAAI;KACzB,CAAC,IAAI,MAAM,CAAC,GAAG,CAAC,CAAC,CAAC,CAAC,SAAS;QAC3B,QAAQ,EAAE,CAAC,IAAI,+BAA+B,MAAM,EAAE,GAAG,IAAI;KAC9D,GACG,CAAC,GACD,KAAK;CACV,CAAC,MAAM,CAAC,CAAC,CAAC;AAEX,KAAK,iBAAiB,CAAC,CAAC,IAAI,CAAC,iBAAiB,CAAC,CAAC,CAAC,CAAC,SAAS,CAAC,KAAK,CAAC,GAC9D,KAAK,GACL,IAAI,CAAC;AAET,MAAM,MAAM,iBAAiB,CAC3B,MAAM,EACN,MAAM,SAAS,SAAS,OAAO,EAAE,IAC/B,iBAAiB,CACnB,cAAc,CAAC,MAAM,EAAE,oBAAoB,CAAC,MAAM,CAAC,CAAC,CACrD,SAAS,IAAI,GACV;IAAE,QAAQ,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,MAAM,EAAE,OAAO,mBAAmB,CAAC,CAAA;CAAE,GACnE,OAAO,CAAC;AAEZ,eAAO,MAAM,iBAAiB,QAAS,MAAM,MAAM,MAAM,KAAG,KAGzD,CAAC;AAEJ,eAAO,MAAM,mBAAmB,OAAQ,MAAM,KAAG,KACwB,CAAC;AAE1E,eAAO,MAAM,gBAAgB,UAAW,MAAM,KAAG,KACuB,CAAC"}

package/dist/db/IdentName.js

@@ -0,0 +1,34 @@
+/**
+ * One side of a `:ns/attr` ident — entity names and field keys.
+ * Letter, then up to 63 letters / digits / `_` / `-` (64 characters total).
+ */
+export const IDENT_NAME_RE = /^[a-zA-Z][a-zA-Z0-9_-]{0,63}$/;
+/** Whether `name` is a valid entity name or field key ({@link IDENT_NAME_RE}). */
+export const isIdentName = (name) => IDENT_NAME_RE.test(name);
+/**
+ * Keys `Entity()` / `Trait()` stamp onto the record-type object. A user
+ * field of the same name would overwrite metadata (`id` → every
+ * `select({ id: N.id })` reads a string; `ns` → `install()` emits
+ * `:[object Object]/id`; `traits` → composition is lost).
+ */
+export const RESERVED_FIELD_KEYS = [
+    "id",
+    "ns",
+    "fields",
+    "_tag",
+    "traits",
+];
+const RESERVED = new Set(RESERVED_FIELD_KEYS);
+/** Whether `name` is {@link Entity} metadata and cannot be a field key. */
+export const isReservedFieldKey = (name) => RESERVED.has(name);
+const IDENT_NAME_MSG = "invalid name — must match IDENT_NAME_RE";
+const RESERVED_FIELD_MSG = "reserved field name — id, ns, fields, _tag, and traits are Entity / Trait metadata";
+const TRAIT_COLLISION_MSG = "conflicting flattened field names";
+const SCHEMA_KEY_MSG = "Schema key must equal the Entity name";
+const DUPLICATE_ENTITY_MSG = "duplicate entity name";
+export const invalidIdentName = (kind, name) => new Error(`ramose/schema: invalid ${kind} name ${JSON.stringify(name)} — must match ${IDENT_NAME_RE}`);
+export const reservedFieldName = (name) => new Error(`ramose/schema: field name ${JSON.stringify(name)} is reserved — id, ns, fields, _tag, and traits are Entity / Trait metadata`);
+export const schemaKeyMismatch = (key, ns) => new Error(`ramose/schema: Schema key ${JSON.stringify(key)} does not match Entity name ${JSON.stringify(ns)}`);
+export const duplicateEntityName = (ns) => new Error(`ramose/schema: duplicate entity name ${JSON.stringify(ns)}`);
+export const conflictingIdent = (ident) => new Error(`ramose/schema: conflicting ident ${JSON.stringify(ident)}`);
+//# sourceMappingURL=IdentName.js.map

package/dist/db/IdentName.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"IdentName.js","sourceRoot":"","sources":["../../src/db/IdentName.ts"],"names":[],"mappings":"AAAA;;;GAGG;AACH,MAAM,CAAC,MAAM,aAAa,GAAG,+BAA+B,CAAC;AAE7D,kFAAkF;AAClF,MAAM,CAAC,MAAM,WAAW,GAAG,CAAC,IAAY,EAAW,EAAE,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC;AAE/E;;;;;GAKG;AACH,MAAM,CAAC,MAAM,mBAAmB,GAAG;IACjC,IAAI;IACJ,IAAI;IACJ,QAAQ;IACR,MAAM;IACN,QAAQ;CACA,CAAC;AAIX,MAAM,QAAQ,GAAG,IAAI,GAAG,CAAS,mBAAmB,CAAC,CAAC;AAEtD,2EAA2E;AAC3E,MAAM,CAAC,MAAM,kBAAkB,GAAG,CAAC,IAAY,EAA4B,EAAE,CAC3E,QAAQ,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC;AA4ErB,MAAM,cAAc,GAClB,yCAAkD,CAAC;AACrD,MAAM,kBAAkB,GACtB,oFAA6F,CAAC;AAChG,MAAM,mBAAmB,GAAG,mCAA4C,CAAC;AACzE,MAAM,cAAc,GAClB,uCAAgD,CAAC;AACnD,MAAM,oBAAoB,GAAG,uBAAgC,CAAC;AAoF9D,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAC9B,IAAgD,EAChD,IAAY,EACL,EAAE,CACT,IAAI,KAAK,CACP,0BAA0B,IAAI,SAAS,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,iBAAiB,aAAa,EAAE,CAC5F,CAAC;AAEJ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,IAAY,EAAS,EAAE,CACvD,IAAI,KAAK,CACP,6BAA6B,IAAI,CAAC,SAAS,CAAC,IAAI,CAAC,6EAA6E,CAC/H,CAAC;AA+DJ,MAAM,CAAC,MAAM,iBAAiB,GAAG,CAAC,GAAW,EAAE,EAAU,EAAS,EAAE,CAClE,IAAI,KAAK,CACP,6BAA6B,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,+BAA+B,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CACpG,CAAC;AAEJ,MAAM,CAAC,MAAM,mBAAmB,GAAG,CAAC,EAAU,EAAS,EAAE,CACvD,IAAI,KAAK,CAAC,wCAAwC,IAAI,CAAC,SAAS,CAAC,EAAE,CAAC,EAAE,CAAC,CAAC;AAE1E,MAAM,CAAC,MAAM,gBAAgB,GAAG,CAAC,KAAa,EAAS,EAAE,CACvD,IAAI,KAAK,CAAC,oCAAoC,IAAI,CAAC,SAAS,CAAC,KAAK,CAAC,EAAE,CAAC,CAAC"}