@bjornpagen/bumbledb 1.0.1 → 1.2.0

package/dist/face.js

@@ -1,41 +1,47 @@
+import { memberDescriptor, sealedFieldOf } from "#closed.ts";
 import { AuthoringError } from "#errors.ts";
+import { assertDeclarationRecord } from "#fields.ts";
+import { selectionBindings } from "#selection.ts";
 import { renderLiteralSet } from "#spec.ts";
+import { arrayValue, recordValue } from "#values.ts";
 const emptySelection = Object.freeze([]);
 function faceParts(source) {
+    assertDeclarationRecord("face source", source);
     if ("relation" in source) {
+        recordValue("selected relation", source, ["relation", "selection"]);
         return { owner: source.relation, selection: source.selection };
     }
     return { owner: source, selection: emptySelection };
 }
 function on(source, fields) {
-    const projection = Object.freeze(typeof fields === "string" ? [fields] : [...fields]);
     const parts = faceParts(source);
-    const data = Object.freeze({
+    return faceDescriptor({
         owner: parts.owner,
-        projection,
+        projection: typeof fields === "string" ? [fields] : fields,
         selection: parts.selection
     });
-    const value = Object.freeze({ source, projection, data });
-    if (!faceMinted(value, source, projection)) {
-        throw new AuthoringError({ message: `face over ${parts.owner.name}: face construction incomplete` });
-    }
-    return value;
 }
-/**
- * The trusted admission seam of the face mint (the pattern's home is
- * `isTypedScope` in query/lower.ts): the
- * checkable facts — the value carries exactly the source and projection it
- * was built from, and `data.owner` is exactly the owner {@link faceParts}
- * resolves for that source — are verified before the wide construction is
- * admitted at the exact {@link Face} type (whose `data` claims the owner at
- * its precise type, the carrier the schema-level law-typing reads).
- */
-function faceMinted(value, source, projection) {
-    const owner = "relation" in source ? source.relation : source;
-    return (value.source === source &&
-        value.projection === projection &&
-        value.data.owner === owner &&
-        value.data.projection === projection);
+function faceDescriptor(raw) {
+    const input = recordValue("face", raw, ["owner", "projection", "selection"]);
+    const owner = memberDescriptor(input.owner);
+    const projection = arrayValue("face projection", input.projection, (_, value) => {
+        if (typeof value !== "string")
+            throw new AuthoringError({ message: "face: expected a field name" });
+        return value;
+    });
+    if (projection.length === 0) {
+        throw new AuthoringError({ message: "face: expected a nonempty projection" });
+    }
+    const projected = new Set();
+    for (const field of projection) {
+        if (typeof field !== "string" || sealedFieldOf(owner, field) === undefined)
+            throw new AuthoringError({ message: `face ${owner.name}: unknown field ${String(field)}` });
+        if (projected.has(field))
+            throw new AuthoringError({ message: `face ${owner.name}: duplicate field ${field}` });
+        projected.add(field);
+    }
+    const selection = selectionBindings(owner, input.selection);
+    return Object.freeze({ owner, projection, selection });
 }
 function renderFace(face) {
     const projection = face.projection.join(", ");
@@ -49,5 +55,5 @@ function renderFace(face) {
         .join(", ");
     return `${face.owner.name}(${projection} | ${bindings})`;
 }
-export { on, renderFace };
+export { faceDescriptor, on, renderFace };
 //# sourceMappingURL=face.js.map

package/dist/face.js.map

@@ -1 +1 @@
-{"version":3,"file":"face.js","sourceRoot":"","sources":["../src/face.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAI3C,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAE3C,MAAM,cAAc,GAAgC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAIrE,SAAS,SAAS,CAAC,MAAkB;IAIpC,IAAI,UAAU,IAAI,MAAM,EAAE,CAAC;QAC1B,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAA;IAC/D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,CAAA;AACpD,CAAC;AA8FD,SAAS,EAAE,CAAuB,MAAS,EAAE,MAAkC;IAC9E,MAAM,UAAU,GAAsB,MAAM,CAAC,MAAM,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAA;IACxG,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC/B,MAAM,IAAI,GAAa,MAAM,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU;QACV,SAAS,EAAE,KAAK,CAAC,SAAS;KAC1B,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;IACzD,IAAI,CAAC,UAAU,CAAuB,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;QAClE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,aAAa,KAAK,CAAC,KAAK,CAAC,IAAI,gCAAgC,EAAE,CAAC,CAAA;IACrG,CAAC;IACD,OAAO,KAAK,CAAA;AACb,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CAClB,KAAuG,EACvG,MAAS,EACT,UAAa;IAEb,MAAM,KAAK,GAAG,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAA;IAC7D,OAAO,CACN,KAAK,CAAC,MAAM,KAAK,MAAM;QACvB,KAAK,CAAC,UAAU,KAAK,UAAU;QAC/B,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK;QAC1B,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,CACpC,CAAA;AACF,CAAC;AAED,SAAS,UAAU,CAAC,IAAc;IACjC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC7C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,UAAU,GAAG,CAAA;IAC3C,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS;SAC7B,GAAG,CAAC,SAAS,aAAa,CAAC,OAAO;QAClC,OAAO,GAAG,OAAO,CAAC,KAAK,OAAO,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAA;IAC9D,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACZ,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,UAAU,MAAM,QAAQ,GAAG,CAAA;AACzD,CAAC;AAkBD,OAAO,EAAE,EAAE,EAAE,UAAU,EAAE,CAAA"}
+{"version":3,"file":"face.js","sourceRoot":"","sources":["../src/face.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,gBAAgB,EAAE,aAAa,EAAE,MAAM,YAAY,CAAA;AAC5D,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAiB,uBAAuB,EAAoB,MAAM,YAAY,CAAA;AAGrF,OAAO,EAA0D,iBAAiB,EAAE,MAAM,eAAe,CAAA;AACzG,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,UAAU,EAAE,WAAW,EAAE,MAAM,YAAY,CAAA;AAEpD,MAAM,cAAc,GAAgC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAIrE,SAAS,SAAS,CAAC,MAAkB;IAIpC,uBAAuB,CAAC,aAAa,EAAE,MAAM,CAAC,CAAA;IAC9C,IAAI,UAAU,IAAI,MAAM,EAAE,CAAC;QAC1B,WAAW,CAAC,mBAAmB,EAAE,MAAM,EAAE,CAAC,UAAU,EAAE,WAAW,CAAC,CAAC,CAAA;QACnE,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,QAAQ,EAAE,SAAS,EAAE,MAAM,CAAC,SAAS,EAAE,CAAA;IAC/D,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,MAAM,EAAE,SAAS,EAAE,cAAc,EAAE,CAAA;AACpD,CAAC;AAiED,SAAS,EAAE,CAAC,MAAkB,EAAE,MAAkC;IACjE,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC/B,OAAO,cAAc,CAAC;QACrB,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU,EAAE,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM;QAC1D,SAAS,EAAE,KAAK,CAAC,SAAS;KAC1B,CAAC,CAAA;AACH,CAAC;AAKD,SAAS,cAAc,CAAC,GAAY;IACnC,MAAM,KAAK,GAAG,WAAW,CAAC,MAAM,EAAE,GAAG,EAAE,CAAC,OAAO,EAAE,YAAY,EAAE,WAAW,CAAC,CAAC,CAAA;IAC5E,MAAM,KAAK,GAAG,gBAAgB,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;IAC3C,MAAM,UAAU,GAAG,UAAU,CAAC,iBAAiB,EAAE,KAAK,CAAC,UAAU,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,EAAE;QAC/E,IAAI,OAAO,KAAK,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,6BAA6B,EAAE,CAAC,CAAA;QACnG,OAAO,KAAK,CAAA;IACb,CAAC,CAAC,CAAA;IACF,IAAI,UAAU,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,sCAAsC,EAAE,CAAC,CAAA;IAC9E,CAAC;IACD,MAAM,SAAS,GAAG,IAAI,GAAG,EAAU,CAAA;IACnC,KAAK,MAAM,KAAK,IAAI,UAAU,EAAE,CAAC;QAChC,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,aAAa,CAAC,KAAK,EAAE,KAAK,CAAC,KAAK,SAAS;YACzE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,QAAQ,KAAK,CAAC,IAAI,mBAAmB,MAAM,CAAC,KAAK,CAAC,EAAE,EAAE,CAAC,CAAA;QAC5F,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,QAAQ,KAAK,CAAC,IAAI,qBAAqB,KAAK,EAAE,EAAE,CAAC,CAAA;QAC/G,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACrB,CAAC;IACD,MAAM,SAAS,GAAG,iBAAiB,CAAC,KAAK,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;IAC3D,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,UAAU,EAAE,SAAS,EAAE,CAAC,CAAA;AACvD,CAAC;AAED,SAAS,UAAU,CAAC,IAAa;IAChC,MAAM,UAAU,GAAG,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;IAC7C,IAAI,IAAI,CAAC,SAAS,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACjC,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,UAAU,GAAG,CAAA;IAC3C,CAAC;IACD,MAAM,QAAQ,GAAG,IAAI,CAAC,SAAS;SAC7B,GAAG,CAAC,SAAS,aAAa,CAAC,OAAO;QAClC,OAAO,GAAG,OAAO,CAAC,KAAK,OAAO,gBAAgB,CAAC,OAAO,CAAC,GAAG,CAAC,EAAE,CAAA;IAC9D,CAAC,CAAC;SACD,IAAI,CAAC,IAAI,CAAC,CAAA;IACZ,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,IAAI,IAAI,UAAU,MAAM,QAAQ,GAAG,CAAA;AACzD,CAAC;AAiBD,OAAO,EAAE,cAAc,EAAE,EAAE,EAAE,UAAU,EAAE,CAAA"}

package/dist/fields.d.ts

@@ -1,7 +1,5 @@
-import { Result } from "effect";
-import { DbError } from "./runtime-errors.js";
 import type { LiteralSpec } from "./spec.js";
-import { Uuid } from "./uuid.js";
+import type { Uuid } from "./uuid.js";
 /**
  * A half-open integer interval `[start, end)` as a plain value object —
  * the ONE discrete interval value type, whatever the field's element type
@@ -17,29 +15,14 @@ interface IntervalValue {
 /**
  * A half-open dense float interval `[start, end)` as a plain value object:
  * two canonical binary64 bounds on the dense numeric line.
- * NaN is never an endpoint, signed zero is normalized at the checked
- * constructor and again by the native boundary, and strict `start < end`
- * makes empty spans unrepresentable through {@link span}. Infinite bounds
- * denote a missing bound, not a member point.
+ * Field-directed validation rejects NaN endpoints and empty intervals and
+ * normalizes signed zero. Infinite bounds denote a missing bound, not a
+ * member point; a plain object alone is not evidence of validation.
  */
 interface FloatIntervalValue {
     readonly start: number;
     readonly end: number;
 }
-/**
- * Constructs a checked interval literal — the `start..end` spelling.
- * Half-open and nonempty by construction. Fallible pure parsing
- * returns `Result` (use `Effect.fromResult(span(...))` inside a generator),
- * never hidden I/O and never a thrown domain outcome.
- *
- * Two element domains, selected by argument type: `span(0n, 60n)` is a
- * discrete integer interval; `span(0.5, 1.5)` is a dense float interval
- * with canonical endpoints (NaN refused, `-0` normalized to `+0`,
- * `-Infinity` legal only as the lower bound and `+Infinity` only as the
- * upper bound — both enforced by strict numeric `start < end`).
- */
-declare function span(start: bigint, end: bigint): Result.Result<IntervalValue, DbError>;
-declare function span(start: number, end: number): Result.Result<FloatIntervalValue, DbError>;
 /**
  * Nonempty declaration-order handle vector — the ONE roster carrier. The
  * handle union is `Handles[number]`, the ordinal of a handle is its tuple
@@ -137,10 +120,8 @@ type Infer<F extends AnyField> = F extends {
     readonly kind: "bytes";
 } ? Uint8Array : F extends {
     readonly kind: "interval";
-    readonly element: "f64";
-} ? FloatIntervalValue : F extends {
-    readonly kind: "interval";
-} ? IntervalValue : never;
+    readonly element: infer Element;
+} ? Element extends "f64" ? FloatIntervalValue : IntervalValue : never;
 /**
  * The typed shape refusal shared by every literal machine — the selection
  * lowering here, the row codec (`rows.ts`), and the query-literal
@@ -165,6 +146,12 @@ declare function isIntervalValue(value: unknown): value is IntervalValue;
 declare function isFloatIntervalValue(value: unknown): value is FloatIntervalValue;
 declare function assertDeclarationOrderKey(where: string, name: string): void;
 declare function assertDeclarationRecord(where: string, record: object): void;
+/** Own a checked roster; never freeze the caller's array. */
+declare function ownHandles<const H extends ClosedHandleTuple>(context: string, handles: H): H;
+declare function ownHandles(context: string, handles: unknown): ClosedHandleTuple;
+/** Checked structural field descriptors, shared by declaration boundaries. */
+declare function fieldDescriptor<F extends AnyField>(context: string, input: F): F;
+declare function fieldDescriptor(context: string, input: unknown): AnyField;
 declare const u64: U64Field;
 declare const i64: I64Field;
 /** Binary64. The native value boundary canonicalizes NaN and signed zero. */
@@ -178,5 +165,5 @@ declare function interval<Element extends U64Field | I64Field | F64Field>(elemen
 declare function interval<Element extends U64Field | I64Field, const Width extends bigint>(element: Element, width: Width): IntervalField<Element["kind"], Width>;
 declare function literalOf(field: AnyField, value: unknown): LiteralSpec;
 export type { AnyClosedIdField, AnyClosedRoster, AnyField, BoolField, BytesField, ClosedHandleTuple, ClosedIdField, ClosedRoster, F64Field, FloatIntervalValue, I64Field, Infer, IntervalElementKind, IntervalField, IntervalValue, SignatureOf, StrField, U64Field, UuidField };
-export { assertDeclarationOrderKey, assertDeclarationRecord, bool, bytes, f64, i64, interval, isFloatIntervalValue, isIntervalValue, literalOf, literalShapeError, rosterOf, rostersAgree, signaturesAgree, span, str, u64, uuid };
+export { assertDeclarationOrderKey, assertDeclarationRecord, bool, bytes, f64, fieldDescriptor, i64, interval, isFloatIntervalValue, isIntervalValue, literalOf, literalShapeError, ownHandles, rosterOf, rostersAgree, signaturesAgree, str, u64, uuid };
 //# sourceMappingURL=fields.d.ts.map

package/dist/fields.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAE/B,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAC5C,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAI/B;;;;;;;GAOG;AACH,UAAU,aAAa;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACpB;AAED;;;;;;;GAOG;AACH,UAAU,kBAAkB;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACpB;AAED;;;;;;;;;;;GAWG;AACH,iBAAS,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,aAAa,EAAE,OAAO,CAAC,CAAA;AAChF,iBAAS,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,MAAM,CAAC,MAAM,CAAC,kBAAkB,EAAE,OAAO,CAAC,CAAA;AAyBrF;;;;;GAKG;AACH,KAAK,iBAAiB,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAA;AAEvD,UAAU,YAAY,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,iBAAiB;IAC5E,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CACzB;AAED,2EAA2E;AAC3E,KAAK,eAAe,GAAG,YAAY,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;AAE9D,UAAU,SAAS;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACrB;AAED,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED;;;;;GAKG;AACH,UAAU,SAAS;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACrB;AAED,UAAU,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM;IACjD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACrB;AAED,KAAK,mBAAmB,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAA;AAEhD,UAAU,aAAa,CACtB,OAAO,SAAS,mBAAmB,GAAG,mBAAmB,EACzD,KAAK,SAAS,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS;IAErD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACrB;AAED,UAAU,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,iBAAiB;IAC7E,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;CAC5C;AAED,2EAA2E;AAC3E,KAAK,gBAAgB,GAAG,aAAa,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;AAEhE,KAAK,QAAQ,GACV,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,UAAU,GACV,aAAa,GACb,gBAAgB,CAAA;AAEnB;;;;;;;GAOG;AACH,KAAK,WAAW,CAAC,CAAC,SAAS,QAAQ,IAAI,SAAS;IAC/C,CAAC,CAAC,MAAM,CAAC;IACT,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,SAAS;IACrD,CAAC,SAAS;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,SAAS;IACvD,CAAC,SAAS;QACT,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,iBAAiB,CAAA;SAAE,CAAA;KAC/G,GACE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACf,SAAS;CACZ,CAAA;AAED,KAAK,KAAK,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjE,OAAO,GACP,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACjC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,EAAE,CAAA;KAAE,CAAA;CAAE,GACvF,CAAC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACjC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACjC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACjC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClC,IAAI,GACJ,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GACnC,UAAU,GACV,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,KAAK,CAAA;CAAE,GAC/D,kBAAkB,GAClB,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtC,aAAa,GACb,KAAK,CAAA;AAEjB;;;;;GAKG;AACH,iBAAS,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,KAAK,CAEnF;AAED,iBAAS,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,SAAS,GAAG,eAAe,GAAG,SAAS,CAK1E;AAED;;;;GAIG;AACH,iBAAS,YAAY,CAAC,CAAC,EAAE,eAAe,GAAG,SAAS,EAAE,CAAC,EAAE,eAAe,GAAG,SAAS,GAAG,OAAO,CAW7F;AAED;;;;GAIG;AACH,iBAAS,eAAe,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAM1D;AAED,iBAAS,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,aAAa,CAS/D;AAED,iBAAS,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CASzE;AA0CD,iBAAS,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAWpE;AAED,iBAAS,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAOpE;AAED,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,6EAA6E;AAC7E,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,2EAA2E;AAC3E,QAAA,MAAM,IAAI,EAAE,SAA2C,CAAA;AAEvD,QAAA,MAAM,IAAI,EAAE,SAA2C,CAAA;AAEvD,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,iBAAS,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAO1E;AAED,iBAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,GAAG,QAAQ,GAAG,QAAQ,EAC/D,OAAO,EAAE,OAAO,GACd,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAA;AAC5C,iBAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,GAAG,QAAQ,EAAE,KAAK,CAAC,KAAK,SAAS,MAAM,EAChF,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACV,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAA;AAyBxC,iBAAS,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAuD/D;AAED,YAAY,EACX,gBAAgB,EAChB,eAAe,EACf,QAAQ,EACR,SAAS,EACT,UAAU,EACV,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,KAAK,EACL,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,CAAA;AACD,OAAO,EACN,yBAAyB,EACzB,uBAAuB,EACvB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,GAAG,EACH,QAAQ,EACR,oBAAoB,EACpB,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,IAAI,EACJ,GAAG,EACH,GAAG,EACH,IAAI,EACJ,CAAA"}
+{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAEA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AAC3C,OAAO,KAAK,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAKpC;;;;;;;GAOG;AACH,UAAU,aAAa;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACpB;AAED;;;;;;GAMG;AACH,UAAU,kBAAkB;IAC3B,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACpB;AAED;;;;;GAKG;AACH,KAAK,iBAAiB,GAAG,SAAS,CAAC,MAAM,EAAE,GAAG,MAAM,EAAE,CAAC,CAAA;AAEvD,UAAU,YAAY,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,iBAAiB;IAC5E,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAA;IACnB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;CACzB;AAED,2EAA2E;AAC3E,KAAK,eAAe,GAAG,YAAY,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;AAE9D,UAAU,SAAS;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACrB;AAED,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED;;;;;GAKG;AACH,UAAU,SAAS;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACrB;AAED,UAAU,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM;IACjD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACrB;AAED,KAAK,mBAAmB,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,CAAA;AAEhD,UAAU,aAAa,CACtB,OAAO,SAAS,mBAAmB,GAAG,mBAAmB,EACzD,KAAK,SAAS,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS;IAErD,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACrB;AAED,UAAU,aAAa,CAAC,IAAI,SAAS,MAAM,EAAE,OAAO,SAAS,iBAAiB;IAC7E,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;CAC5C;AAED,2EAA2E;AAC3E,KAAK,gBAAgB,GAAG,aAAa,CAAC,MAAM,EAAE,iBAAiB,CAAC,CAAA;AAEhE,KAAK,QAAQ,GACV,SAAS,GACT,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,UAAU,GACV,aAAa,GACb,gBAAgB,CAAA;AAEnB;;;;;;;GAOG;AACH,KAAK,WAAW,CAAC,CAAC,SAAS,QAAQ,IAAI,SAAS;IAC/C,CAAC,CAAC,MAAM,CAAC;IACT,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,SAAS;IACrD,CAAC,SAAS;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,SAAS;IACvD,CAAC,SAAS;QACT,QAAQ,CAAC,MAAM,EAAE;YAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAC,SAAS,MAAM,CAAC;YAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,SAAS,iBAAiB,CAAA;SAAE,CAAA;KAC/G,GACE,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GACf,SAAS;CACZ,CAAA;AAED,KAAK,KAAK,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GACjE,OAAO,GACP,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACjC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE;QAAE,QAAQ,CAAC,OAAO,EAAE,SAAS,CAAC,MAAM,CAAC,SAAS,MAAM,CAAC,EAAE,CAAA;KAAE,CAAA;CAAE,GACvF,CAAC,GACD,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACjC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACjC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CAAE,GACjC,MAAM,GACN,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CAAE,GAClC,IAAI,GACJ,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;CAAE,GACnC,UAAU,GACV,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAC;IAAC,QAAQ,CAAC,OAAO,EAAE,MAAM,OAAO,CAAA;CAAE,GACvE,OAAO,SAAS,KAAK,GACpB,kBAAkB,GAClB,aAAa,GACd,KAAK,CAAA;AAEhB;;;;;GAKG;AACH,iBAAS,iBAAiB,CAAC,OAAO,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,KAAK,CAEnF;AAED,iBAAS,QAAQ,CAAC,KAAK,EAAE,QAAQ,GAAG,SAAS,GAAG,eAAe,GAAG,SAAS,CAK1E;AAED;;;;GAIG;AACH,iBAAS,YAAY,CAAC,CAAC,EAAE,eAAe,GAAG,SAAS,EAAE,CAAC,EAAE,eAAe,GAAG,SAAS,GAAG,OAAO,CAW7F;AAED;;;;GAIG;AACH,iBAAS,eAAe,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,EAAE,QAAQ,GAAG,OAAO,CAM1D;AAED,iBAAS,eAAe,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,aAAa,CAS/D;AAED,iBAAS,oBAAoB,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,kBAAkB,CASzE;AAED,iBAAS,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAcpE;AAED,iBAAS,uBAAuB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,IAAI,CAgBpE;AAED,6DAA6D;AAC7D,iBAAS,UAAU,CAAC,KAAK,CAAC,CAAC,SAAS,iBAAiB,EAAE,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,CAAC,GAAG,CAAC,CAAA;AACtF,iBAAS,UAAU,CAAC,OAAO,EAAE,MAAM,EAAE,OAAO,EAAE,OAAO,GAAG,iBAAiB,CAAA;AAkBzE,8EAA8E;AAC9E,iBAAS,eAAe,CAAC,CAAC,SAAS,QAAQ,EAAE,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,CAAC,GAAG,CAAC,CAAA;AAC1E,iBAAS,eAAe,CAAC,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,OAAO,GAAG,QAAQ,CAAA;AAiDnE,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,6EAA6E;AAC7E,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,2EAA2E;AAC3E,QAAA,MAAM,IAAI,EAAE,SAA2C,CAAA;AAEvD,QAAA,MAAM,IAAI,EAAE,SAA2C,CAAA;AAEvD,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,iBAAS,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAO1E;AAED,iBAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,GAAG,QAAQ,GAAG,QAAQ,EAC/D,OAAO,EAAE,OAAO,GACd,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAA;AAC5C,iBAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,GAAG,QAAQ,EAAE,KAAK,CAAC,KAAK,SAAS,MAAM,EAChF,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACV,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAA;AAyBxC,iBAAS,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAK/D;AAED,YAAY,EACX,gBAAgB,EAChB,eAAe,EACf,QAAQ,EACR,SAAS,EACT,UAAU,EACV,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,QAAQ,EACR,kBAAkB,EAClB,QAAQ,EACR,KAAK,EACL,mBAAmB,EACnB,aAAa,EACb,aAAa,EACb,WAAW,EACX,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,CAAA;AACD,OAAO,EACN,yBAAyB,EACzB,uBAAuB,EACvB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,eAAe,EACf,GAAG,EACH,QAAQ,EACR,oBAAoB,EACpB,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,GAAG,EACH,GAAG,EACH,IAAI,EACJ,CAAA"}

package/dist/fields.js

@@ -1,29 +1,7 @@
 import { regex } from "arkregex";
-import { Result } from "effect";
 import { AuthoringError } from "#errors.ts";
-import { DbError } from "#runtime-errors.ts";
-import { Uuid } from "#uuid.ts";
+import { arrayValue, fieldValue, recordValue, taggedValueOf, U64_MAX } from "#values.ts";
 const INTEGER_INDEX_NAME = regex("^(?:0|[1-9][0-9]*)$");
-function span(start, end) {
-    if (typeof start === "bigint" && typeof end === "bigint") {
-        if (start >= end) {
-            return Result.fail(new DbError({ operation: "span", reason: { _tag: "InvalidArgument" } }));
-        }
-        return Result.succeed(Object.freeze({ start, end }));
-    }
-    if (typeof start === "number" && typeof end === "number") {
-        if (Number.isNaN(start) || Number.isNaN(end)) {
-            return Result.fail(new DbError({ operation: "span", reason: { _tag: "InvalidArgument" } }));
-        }
-        const lo = Object.is(start, -0) ? 0 : start;
-        const hi = Object.is(end, -0) ? 0 : end;
-        if (!(lo < hi)) {
-            return Result.fail(new DbError({ operation: "span", reason: { _tag: "InvalidArgument" } }));
-        }
-        return Result.succeed(Object.freeze({ start: lo, end: hi }));
-    }
-    return Result.fail(new DbError({ operation: "span", reason: { _tag: "InvalidArgument" } }));
-}
 /**
  * The typed shape refusal shared by every literal machine — the selection
  * lowering here, the row codec (`rows.ts`), and the query-literal
@@ -82,45 +60,10 @@ function isFloatIntervalValue(value) {
         typeof value.start === "number" &&
         typeof value.end === "number");
 }
-function handleLiteral(closed, value) {
-    if (typeof value !== "string") {
-        throw literalShapeError("selection literal", `a ${closed.name} handle name (string)`, value);
-    }
-    if (!closed.handles.includes(value)) {
-        throw new AuthoringError({
-            message: `"${value}" is not a handle of ${closed.name} — the roster is ${closed.handles.join(", ")}`
-        });
-    }
-    return { kind: "handle", handle: value };
-}
-function intervalLiteral(element, value) {
-    if (element === "f64") {
-        if (!isFloatIntervalValue(value)) {
-            throw literalShapeError("selection literal", "float interval ({ start, end } numbers)", value);
-        }
-        if (Number.isNaN(value.start) || Number.isNaN(value.end) || !(value.start < value.end)) {
-            throw new AuthoringError({
-                message: "selection literal: a float interval is half-open and nonempty with non-NaN canonical endpoints"
-            });
-        }
-        return {
-            kind: "value",
-            value: {
-                kind: "intervalF64",
-                start: Object.is(value.start, -0) ? 0 : value.start,
-                end: Object.is(value.end, -0) ? 0 : value.end
-            }
-        };
-    }
-    if (!isIntervalValue(value)) {
-        throw literalShapeError("selection literal", "interval ({ start, end } bigints)", value);
-    }
-    if (element === "u64") {
-        return { kind: "value", value: { kind: "intervalU64", start: value.start, end: value.end } };
-    }
-    return { kind: "value", value: { kind: "intervalI64", start: value.start, end: value.end } };
-}
 function assertDeclarationOrderKey(where, name) {
+    if (typeof name !== "string" || !name.isWellFormed()) {
+        throw new AuthoringError({ message: `${where}: expected a well-formed Unicode name` });
+    }
     if (INTEGER_INDEX_NAME.test(name)) {
         throw new AuthoringError({
             message: `${where}: name ${name} is an integer index — JavaScript object keys re-order integer indices, breaking the declaration-order law; use a non-numeric name`
@@ -133,12 +76,91 @@ function assertDeclarationOrderKey(where, name) {
     }
 }
 function assertDeclarationRecord(where, record) {
+    if (typeof record !== "object" || record === null) {
+        throw new AuthoringError({ message: `${where}: expected a plain declaration record` });
+    }
     const proto = Object.getPrototypeOf(record);
     if (proto !== Object.prototype && proto !== null) {
         throw new AuthoringError({
             message: `${where}: the declaration record's prototype was replaced — a plain \`__proto__: {...}\` entry is the prototype setter, so its key silently vanishes from the declaration; spell it computed (["__proto__"]: {...}) to declare it as data`
         });
     }
+    for (const key of Reflect.ownKeys(record)) {
+        const property = Object.getOwnPropertyDescriptor(record, key);
+        if (typeof key !== "string" || property?.enumerable !== true || !("value" in property)) {
+            throw new AuthoringError({ message: `${where}: declarations require enumerable own data fields` });
+        }
+    }
+}
+function ownHandles(context, handles) {
+    if (!Array.isArray(handles) || handles.length === 0) {
+        throw new AuthoringError({ message: `${context}: expected a nonempty handle tuple` });
+    }
+    const seen = new Set();
+    const values = arrayValue(context, handles, (_, handle) => {
+        if (typeof handle !== "string")
+            throw new AuthoringError({ message: `${context}: expected string handles` });
+        if (!handle.isWellFormed())
+            throw new AuthoringError({ message: `${context}: expected well-formed string handles` });
+        if (seen.has(handle))
+            throw new AuthoringError({ message: `${context}: duplicate handle ${handle}` });
+        seen.add(handle);
+        return handle;
+    });
+    const first = values[0];
+    if (first === undefined)
+        throw new AuthoringError({ message: `${context}: expected a nonempty handle tuple` });
+    return Object.freeze([first, ...values.slice(1)]);
+}
+function fieldDescriptor(context, input) {
+    if (typeof input !== "object" || input === null || !("kind" in input)) {
+        throw new AuthoringError({ message: `${context}: expected a field descriptor` });
+    }
+    assertDeclarationRecord(context, input);
+    switch (input.kind) {
+        case "bool":
+        case "str":
+        case "i64":
+        case "f64":
+        case "uuid":
+            recordValue(context, input, ["kind"]);
+            return Object.freeze({ kind: input.kind });
+        case "u64": {
+            if (!("closed" in input)) {
+                recordValue(context, input, ["kind"]);
+                return u64;
+            }
+            recordValue(context, input, ["kind", "closed"]);
+            const roster = recordValue(context, input.closed, ["name", "handles"]);
+            if (typeof roster.name !== "string")
+                throw new AuthoringError({ message: `${context}: expected a roster name` });
+            assertDeclarationOrderKey(context, roster.name);
+            return Object.freeze({
+                kind: "u64",
+                closed: Object.freeze({ name: roster.name, handles: ownHandles(context, roster.handles) })
+            });
+        }
+        case "bytes": {
+            const value = recordValue(context, input, ["kind", "width"]);
+            if (typeof value.width !== "number")
+                throw new AuthoringError({ message: `${context}: expected a bytes width` });
+            return bytes(value.width);
+        }
+        case "interval": {
+            const value = recordValue(context, input, ["kind", "element", "width"]);
+            if (value.element !== "u64" && value.element !== "i64" && value.element !== "f64") {
+                throw new AuthoringError({ message: `${context}: expected an interval element kind` });
+            }
+            if (value.width === undefined)
+                return interval({ kind: value.element });
+            if (value.element === "f64" || typeof value.width !== "bigint") {
+                throw new AuthoringError({ message: `${context}: only discrete intervals accept a bigint width` });
+            }
+            return interval({ kind: value.element }, value.width);
+        }
+        default:
+            throw new AuthoringError({ message: `${context}: unknown field kind` });
+    }
 }
 const u64 = Object.freeze({ kind: "u64" });
 const i64 = Object.freeze({ kind: "i64" });
@@ -168,67 +190,18 @@ function interval(element, width) {
             message: "interval(f64) takes no width — a fixed-width float interval is unrepresentable (rounded start + width is not an exact fixed length on the dense line); applications supply two checked bounds"
         });
     }
-    if (width !== undefined && width < 1n) {
+    if (width !== undefined && (typeof width !== "bigint" || width < 1n || width > U64_MAX)) {
         throw new AuthoringError({
-            message: `interval width must be >= 1 (got ${width}) — w >= 1 is pinned at declaration`
+            message: "interval width must be a bigint in 1..=u64::MAX"
         });
     }
     return Object.freeze({ kind: "interval", element: elementKind, width });
 }
 function literalOf(field, value) {
-    const roster = rosterOf(field);
-    if (roster !== undefined) {
-        return handleLiteral(roster, value);
-    }
-    switch (field.kind) {
-        case "bool": {
-            if (typeof value !== "boolean") {
-                throw literalShapeError("selection literal", "boolean", value);
-            }
-            return { kind: "value", value: { kind: "bool", value } };
-        }
-        case "u64": {
-            if (typeof value !== "bigint") {
-                throw literalShapeError("selection literal", "bigint", value);
-            }
-            return { kind: "value", value: { kind: "u64", value } };
-        }
-        case "i64": {
-            if (typeof value !== "bigint") {
-                throw literalShapeError("selection literal", "bigint", value);
-            }
-            return { kind: "value", value: { kind: "i64", value } };
-        }
-        case "str": {
-            if (typeof value !== "string") {
-                throw literalShapeError("selection literal", "string", value);
-            }
-            if (!value.isWellFormed()) {
-                throw literalShapeError("selection literal", "well-formed string", value);
-            }
-            return { kind: "value", value: { kind: "string", value } };
-        }
-        case "f64": {
-            if (typeof value !== "number") {
-                throw literalShapeError("selection literal", "number", value);
-            }
-            return { kind: "value", value: { kind: "f64", value } };
-        }
-        case "uuid": {
-            if (!Uuid.isUuid(value)) {
-                throw literalShapeError("selection literal", "a UUID (canonical UUID text)", value);
-            }
-            return { kind: "value", value: { kind: "uuid", value } };
-        }
-        case "bytes": {
-            if (!(value instanceof Uint8Array)) {
-                throw literalShapeError("selection literal", "Uint8Array", value);
-            }
-            return { kind: "value", value: { kind: "fixedBytes", value } };
-        }
-        case "interval":
-            return intervalLiteral(field.element, value);
+    if ("closed" in field) {
+        return { kind: "handle", handle: fieldValue("selection literal", field, value) };
     }
+    return { kind: "value", value: taggedValueOf("selection literal", field, value) };
 }
-export { assertDeclarationOrderKey, assertDeclarationRecord, bool, bytes, f64, i64, interval, isFloatIntervalValue, isIntervalValue, literalOf, literalShapeError, rosterOf, rostersAgree, signaturesAgree, span, str, u64, uuid };
+export { assertDeclarationOrderKey, assertDeclarationRecord, bool, bytes, f64, fieldDescriptor, i64, interval, isFloatIntervalValue, isIntervalValue, literalOf, literalShapeError, ownHandles, rosterOf, rostersAgree, signaturesAgree, str, u64, uuid };
 //# sourceMappingURL=fields.js.map

package/dist/fields.js.map

@@ -1 +1 @@
-{"version":3,"file":"fields.js","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAChC,OAAO,EAAE,MAAM,EAAE,MAAM,QAAQ,CAAA;AAC/B,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,EAAE,OAAO,EAAE,MAAM,oBAAoB,CAAA;AAE5C,OAAO,EAAE,IAAI,EAAE,MAAM,UAAU,CAAA;AAE/B,MAAM,kBAAkB,GAAG,KAAK,CAAC,qBAAqB,CAAC,CAAA;AA0CvD,SAAS,IAAI,CACZ,KAAsB,EACtB,GAAoB;IAEpB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC1D,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;YAClB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAC,CAAA;QAC5F,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAC,CAAA;IACrD,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,OAAO,GAAG,KAAK,QAAQ,EAAE,CAAC;QAC1D,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YAC9C,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAC,CAAA;QAC5F,CAAC;QACD,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAA;QAC3C,MAAM,EAAE,GAAG,MAAM,CAAC,EAAE,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,CAAA;QACvC,IAAI,CAAC,CAAC,EAAE,GAAG,EAAE,CAAC,EAAE,CAAC;YAChB,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAC,CAAA;QAC5F,CAAC;QACD,OAAO,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,EAAE,EAAE,GAAG,EAAE,EAAE,EAAE,CAAC,CAAC,CAAA;IAC7D,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,IAAI,OAAO,CAAC,EAAE,SAAS,EAAE,MAAM,EAAE,MAAM,EAAE,EAAE,IAAI,EAAE,iBAAiB,EAAE,EAAE,CAAC,CAAC,CAAA;AAC5F,CAAC;AA4HD;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,OAAe,EAAE,QAAgB,EAAE,KAAc;IAC3E,OAAO,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,cAAc,QAAQ,SAAS,OAAO,KAAK,EAAE,EAAE,CAAC,CAAA;AAChG,CAAC;AAED,SAAS,QAAQ,CAAC,KAA2B;IAC5C,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC,MAAM,CAAA;IACpB,CAAC;IACD,OAAO,SAAS,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,CAA8B,EAAE,CAA8B;IACnF,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO,CAAC,KAAK,CAAC,CAAA;IACf,CAAC;IACD,OAAO,CACN,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QACjB,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM;QACrC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,UAAU,CAAC,MAAM,EAAE,KAAK;YAChD,OAAO,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACnC,CAAC,CAAC,CACF,CAAA;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,CAAW,EAAE,CAAW;IAChD,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACvD,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACvD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,MAAM,KAAK,MAAM,IAAI,QAAQ,KAAK,QAAQ,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AACjH,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACtC,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,IAAI,KAAK;QAChB,KAAK,IAAI,KAAK;QACd,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,CAC7B,CAAA;AACF,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC3C,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,IAAI,KAAK;QAChB,KAAK,IAAI,KAAK;QACd,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,CAC7B,CAAA;AACF,CAAC;AAED,SAAS,aAAa,CAAC,MAAuB,EAAE,KAAc;IAC7D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,KAAK,MAAM,CAAC,IAAI,uBAAuB,EAAE,KAAK,CAAC,CAAA;IAC7F,CAAC;IACD,IAAI,CAAC,MAAM,CAAC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,CAAC;QACrC,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,IAAI,KAAK,wBAAwB,MAAM,CAAC,IAAI,oBAAoB,MAAM,CAAC,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE;SACpG,CAAC,CAAA;IACH,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,KAAK,EAAE,CAAA;AACzC,CAAC;AAED,SAAS,eAAe,CAAC,OAA4B,EAAE,KAAc;IACpE,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACvB,IAAI,CAAC,oBAAoB,CAAC,KAAK,CAAC,EAAE,CAAC;YAClC,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,yCAAyC,EAAE,KAAK,CAAC,CAAA;QAC/F,CAAC;QACD,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,IAAI,MAAM,CAAC,KAAK,CAAC,KAAK,CAAC,GAAG,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,EAAE,CAAC;YACxF,MAAM,IAAI,cAAc,CAAC;gBACxB,OAAO,EAAE,gGAAgG;aACzG,CAAC,CAAA;QACH,CAAC;QACD,OAAO;YACN,IAAI,EAAE,OAAO;YACb,KAAK,EAAE;gBACN,IAAI,EAAE,aAAa;gBACnB,KAAK,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,KAAK,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,KAAK;gBACnD,GAAG,EAAE,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,GAAG;aAC7C;SACD,CAAA;IACF,CAAC;IACD,IAAI,CAAC,eAAe,CAAC,KAAK,CAAC,EAAE,CAAC;QAC7B,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,mCAAmC,EAAE,KAAK,CAAC,CAAA;IACzF,CAAC;IACD,IAAI,OAAO,KAAK,KAAK,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAA;IAC7F,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,aAAa,EAAE,KAAK,EAAE,KAAK,CAAC,KAAK,EAAE,GAAG,EAAE,KAAK,CAAC,GAAG,EAAE,EAAE,CAAA;AAC7F,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAa,EAAE,IAAY;IAC7D,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,KAAK,UAAU,IAAI,oIAAoI;SACnK,CAAC,CAAA;IACH,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,KAAK,UAAU,IAAI,oMAAoM;SACnO,CAAC,CAAA;IACH,CAAC;AACF,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa,EAAE,MAAc;IAC7D,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;IAC3C,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAClD,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,KAAK,mOAAmO;SACpP,CAAC,CAAA;IACH,CAAC;AACF,CAAC;AAED,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,6EAA6E;AAC7E,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,2EAA2E;AAC3E,MAAM,IAAI,GAAc,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAEvD,MAAM,IAAI,GAAc,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAEvD,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,SAAS,KAAK,CAA6B,KAAY;IACtD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,iDAAiD,KAAK,wCAAwC;SACvG,CAAC,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;AAC/C,CAAC;AASD,SAAS,QAAQ,CAChB,OAAuC,EACvC,KAAc;IAEd,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAA;IAChC,IAAI,WAAW,KAAK,KAAK,IAAI,WAAW,KAAK,KAAK,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;QAC7E,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,uEAAuE,WAAW,GAAG;SAC9F,CAAC,CAAA;IACH,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;QAClD,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EACN,+LAA+L;SAChM,CAAC,CAAA;IACH,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACvC,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,oCAAoC,KAAK,qCAAqC;SACvF,CAAC,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAA;AACxE,CAAC;AAED,SAAS,SAAS,CAAC,KAAe,EAAE,KAAc;IACjD,MAAM,MAAM,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAA;IAC9B,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,OAAO,aAAa,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IACpC,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,SAAS,EAAE,KAAK,CAAC,CAAA;YAC/D,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAA;QACzD,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAC9D,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAA;QACxD,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAC9D,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAA;QACxD,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAC9D,CAAC;YAED,IAAI,CAAC,KAAK,CAAC,YAAY,EAAE,EAAE,CAAC;gBAC3B,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,oBAAoB,EAAE,KAAK,CAAC,CAAA;YAC1E,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAA;QAC3D,CAAC;QACD,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,QAAQ,EAAE,KAAK,CAAC,CAAA;YAC9D,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAA;QACxD,CAAC;QACD,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;gBACzB,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,8BAA8B,EAAE,KAAK,CAAC,CAAA;YACpF,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,MAAM,EAAE,KAAK,EAAE,EAAE,CAAA;QACzD,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACd,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,EAAE,CAAC;gBACpC,MAAM,iBAAiB,CAAC,mBAAmB,EAAE,YAAY,EAAE,KAAK,CAAC,CAAA;YAClE,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,YAAY,EAAE,KAAK,EAAE,EAAE,CAAA;QAC/D,CAAC;QACD,KAAK,UAAU;YACd,OAAO,eAAe,CAAC,KAAK,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IAC9C,CAAC;AACF,CAAC;AAuBD,OAAO,EACN,yBAAyB,EACzB,uBAAuB,EACvB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,GAAG,EACH,QAAQ,EACR,oBAAoB,EACpB,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,IAAI,EACJ,GAAG,EACH,GAAG,EACH,IAAI,EACJ,CAAA"}
+{"version":3,"file":"fields.js","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,MAAM,UAAU,CAAA;AAChC,OAAO,EAAE,cAAc,EAAE,MAAM,YAAY,CAAA;AAG3C,OAAO,EAAE,UAAU,EAAE,UAAU,EAAE,WAAW,EAAE,aAAa,EAAE,OAAO,EAAE,MAAM,YAAY,CAAA;AAExF,MAAM,kBAAkB,GAAG,KAAK,CAAC,qBAAqB,CAAC,CAAA;AAqJvD;;;;;GAKG;AACH,SAAS,iBAAiB,CAAC,OAAe,EAAE,QAAgB,EAAE,KAAc;IAC3E,OAAO,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,cAAc,QAAQ,SAAS,OAAO,KAAK,EAAE,EAAE,CAAC,CAAA;AAChG,CAAC;AAED,SAAS,QAAQ,CAAC,KAA2B;IAC5C,IAAI,KAAK,KAAK,SAAS,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QAC9C,OAAO,KAAK,CAAC,MAAM,CAAA;IACpB,CAAC;IACD,OAAO,SAAS,CAAA;AACjB,CAAC;AAED;;;;GAIG;AACH,SAAS,YAAY,CAAC,CAA8B,EAAE,CAA8B;IACnF,IAAI,CAAC,KAAK,SAAS,IAAI,CAAC,KAAK,SAAS,EAAE,CAAC;QACxC,OAAO,CAAC,KAAK,CAAC,CAAA;IACf,CAAC;IACD,OAAO,CACN,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI;QACjB,CAAC,CAAC,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,MAAM;QACrC,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,SAAS,UAAU,CAAC,MAAM,EAAE,KAAK;YAChD,OAAO,MAAM,KAAK,CAAC,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;QACnC,CAAC,CAAC,CACF,CAAA;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,eAAe,CAAC,CAAW,EAAE,CAAW;IAChD,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,MAAM,MAAM,GAAG,OAAO,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,SAAS,CAAA;IACjD,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACvD,MAAM,QAAQ,GAAG,SAAS,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,SAAS,CAAA;IACvD,OAAO,CAAC,CAAC,IAAI,KAAK,CAAC,CAAC,IAAI,IAAI,MAAM,KAAK,MAAM,IAAI,QAAQ,KAAK,QAAQ,IAAI,YAAY,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,CAAC,CAAC,CAAC,CAAC,CAAA;AACjH,CAAC;AAED,SAAS,eAAe,CAAC,KAAc;IACtC,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,IAAI,KAAK;QAChB,KAAK,IAAI,KAAK;QACd,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,CAC7B,CAAA;AACF,CAAC;AAED,SAAS,oBAAoB,CAAC,KAAc;IAC3C,OAAO,CACN,OAAO,KAAK,KAAK,QAAQ;QACzB,KAAK,KAAK,IAAI;QACd,OAAO,IAAI,KAAK;QAChB,KAAK,IAAI,KAAK;QACd,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;QAC/B,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ,CAC7B,CAAA;AACF,CAAC;AAED,SAAS,yBAAyB,CAAC,KAAa,EAAE,IAAY;IAC7D,IAAI,OAAO,IAAI,KAAK,QAAQ,IAAI,CAAC,IAAI,CAAC,YAAY,EAAE,EAAE,CAAC;QACtD,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,uCAAuC,EAAE,CAAC,CAAA;IACvF,CAAC;IACD,IAAI,kBAAkB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACnC,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,KAAK,UAAU,IAAI,oIAAoI;SACnK,CAAC,CAAA;IACH,CAAC;IACD,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,EAAE,CAAC;QACxB,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,KAAK,UAAU,IAAI,oMAAoM;SACnO,CAAC,CAAA;IACH,CAAC;AACF,CAAC;AAED,SAAS,uBAAuB,CAAC,KAAa,EAAE,MAAc;IAC7D,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;QACnD,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,uCAAuC,EAAE,CAAC,CAAA;IACvF,CAAC;IACD,MAAM,KAAK,GAAG,MAAM,CAAC,cAAc,CAAC,MAAM,CAAC,CAAA;IAC3C,IAAI,KAAK,KAAK,MAAM,CAAC,SAAS,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;QAClD,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,GAAG,KAAK,mOAAmO;SACpP,CAAC,CAAA;IACH,CAAC;IACD,KAAK,MAAM,GAAG,IAAI,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,MAAM,EAAE,GAAG,CAAC,CAAA;QAC7D,IAAI,OAAO,GAAG,KAAK,QAAQ,IAAI,QAAQ,EAAE,UAAU,KAAK,IAAI,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC,EAAE,CAAC;YACxF,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,KAAK,mDAAmD,EAAE,CAAC,CAAA;QACnG,CAAC;IACF,CAAC;AACF,CAAC;AAKD,SAAS,UAAU,CAAC,OAAe,EAAE,OAAgB;IACpD,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,IAAI,OAAO,CAAC,MAAM,KAAK,CAAC,EAAE,CAAC;QACrD,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,oCAAoC,EAAE,CAAC,CAAA;IACtF,CAAC;IACD,MAAM,IAAI,GAAG,IAAI,GAAG,EAAU,CAAA;IAC9B,MAAM,MAAM,GAAG,UAAU,CAAC,OAAO,EAAE,OAAO,EAAE,CAAC,CAAC,EAAE,MAAM,EAAE,EAAE;QACzD,IAAI,OAAO,MAAM,KAAK,QAAQ;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,2BAA2B,EAAE,CAAC,CAAA;QAC5G,IAAI,CAAC,MAAM,CAAC,YAAY,EAAE;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,uCAAuC,EAAE,CAAC,CAAA;QACpH,IAAI,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC;YAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,sBAAsB,MAAM,EAAE,EAAE,CAAC,CAAA;QACrG,IAAI,CAAC,GAAG,CAAC,MAAM,CAAC,CAAA;QAChB,OAAO,MAAM,CAAA;IACd,CAAC,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,CAAC,CAAC,CAAA;IACvB,IAAI,KAAK,KAAK,SAAS;QAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,oCAAoC,EAAE,CAAC,CAAA;IAC9G,OAAO,MAAM,CAAC,MAAM,CAAC,CAAC,KAAK,EAAE,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAA;AAClD,CAAC;AAKD,SAAS,eAAe,CAAC,OAAe,EAAE,KAAc;IACvD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,CAAC,CAAC,MAAM,IAAI,KAAK,CAAC,EAAE,CAAC;QACvE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,+BAA+B,EAAE,CAAC,CAAA;IACjF,CAAC;IACD,uBAAuB,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACvC,QAAQ,KAAK,CAAC,IAAI,EAAE,CAAC;QACpB,KAAK,MAAM,CAAC;QACZ,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,KAAK,CAAC;QACX,KAAK,MAAM;YACV,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;YACrC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,IAAI,EAAE,CAAC,CAAA;QAC3C,KAAK,KAAK,EAAE,CAAC;YACZ,IAAI,CAAC,CAAC,QAAQ,IAAI,KAAK,CAAC,EAAE,CAAC;gBAC1B,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,CAAC,CAAC,CAAA;gBACrC,OAAO,GAAG,CAAA;YACX,CAAC;YACD,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,QAAQ,CAAC,CAAC,CAAA;YAC/C,MAAM,MAAM,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,CAAC,MAAM,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC,CAAC,CAAA;YACtE,IAAI,OAAO,MAAM,CAAC,IAAI,KAAK,QAAQ;gBAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,0BAA0B,EAAE,CAAC,CAAA;YAChH,yBAAyB,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC,CAAA;YAC/C,OAAO,MAAM,CAAC,MAAM,CAAC;gBACpB,IAAI,EAAE,KAAK;gBACX,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,IAAI,EAAE,OAAO,EAAE,UAAU,CAAC,OAAO,EAAE,MAAM,CAAC,OAAO,CAAC,EAAE,CAAC;aAC1F,CAAC,CAAA;QACH,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACd,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC,CAAA;YAC5D,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ;gBAAE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,0BAA0B,EAAE,CAAC,CAAA;YAChH,OAAO,KAAK,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;QAC1B,CAAC;QACD,KAAK,UAAU,EAAE,CAAC;YACjB,MAAM,KAAK,GAAG,WAAW,CAAC,OAAO,EAAE,KAAK,EAAE,CAAC,MAAM,EAAE,SAAS,EAAE,OAAO,CAAC,CAAC,CAAA;YACvE,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,EAAE,CAAC;gBACnF,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,qCAAqC,EAAE,CAAC,CAAA;YACvF,CAAC;YACD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,CAAC,CAAA;YACvE,IAAI,KAAK,CAAC,OAAO,KAAK,KAAK,IAAI,OAAO,KAAK,CAAC,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAChE,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,iDAAiD,EAAE,CAAC,CAAA;YACnG,CAAC;YACD,OAAO,QAAQ,CAAC,EAAE,IAAI,EAAE,KAAK,CAAC,OAAO,EAAE,EAAE,KAAK,CAAC,KAAK,CAAC,CAAA;QACtD,CAAC;QACD;YACC,MAAM,IAAI,cAAc,CAAC,EAAE,OAAO,EAAE,GAAG,OAAO,sBAAsB,EAAE,CAAC,CAAA;IACzE,CAAC;AACF,CAAC;AAED,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,6EAA6E;AAC7E,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,2EAA2E;AAC3E,MAAM,IAAI,GAAc,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAEvD,MAAM,IAAI,GAAc,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAEvD,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,SAAS,KAAK,CAA6B,KAAY;IACtD,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,KAAK,CAAC,IAAI,KAAK,GAAG,CAAC,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACzD,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,iDAAiD,KAAK,wCAAwC;SACvG,CAAC,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;AAC/C,CAAC;AASD,SAAS,QAAQ,CAChB,OAAuC,EACvC,KAAc;IAEd,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAA;IAChC,IAAI,WAAW,KAAK,KAAK,IAAI,WAAW,KAAK,KAAK,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;QAC7E,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,uEAAuE,WAAW,GAAG;SAC9F,CAAC,CAAA;IACH,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;QAClD,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EACN,+LAA+L;SAChM,CAAC,CAAA;IACH,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,CAAC,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,GAAG,EAAE,IAAI,KAAK,GAAG,OAAO,CAAC,EAAE,CAAC;QACzF,MAAM,IAAI,cAAc,CAAC;YACxB,OAAO,EAAE,iDAAiD;SAC1D,CAAC,CAAA;IACH,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAA;AACxE,CAAC;AAED,SAAS,SAAS,CAAC,KAAe,EAAE,KAAc;IACjD,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QACvB,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,UAAU,CAAC,mBAAmB,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;IACjF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,aAAa,CAAC,mBAAmB,EAAE,KAAK,EAAE,KAAK,CAAC,EAAE,CAAA;AAClF,CAAC;AAuBD,OAAO,EACN,yBAAyB,EACzB,uBAAuB,EACvB,IAAI,EACJ,KAAK,EACL,GAAG,EACH,eAAe,EACf,GAAG,EACH,QAAQ,EACR,oBAAoB,EACpB,eAAe,EACf,SAAS,EACT,iBAAiB,EACjB,UAAU,EACV,QAAQ,EACR,YAAY,EACZ,eAAe,EACf,GAAG,EACH,GAAG,EACH,IAAI,EACJ,CAAA"}

package/dist/immutable.d.ts

@@ -0,0 +1,10 @@
+declare function isImmutable(input: unknown, visiting?: WeakSet<object>): boolean;
+/** Validation is never skipped for a mutable structural input. Validated
+ * immutable outputs can be reused without requiring constructor identity. */
+declare function descriptorCache<A extends object>(parse: (input: unknown) => A): (input: unknown) => A;
+/** Detached inspection data: share proven immutable branches, copy byte
+ * buffers and their parents, and preserve references within one snapshot.
+ * This is for already checked internal data, not an input validator. */
+declare function snapshotData<A>(input: A, onCopy?: (source: object, snapshot: object) => void): A;
+export { descriptorCache, isImmutable, snapshotData };
+//# sourceMappingURL=immutable.d.ts.map

package/dist/immutable.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"immutable.d.ts","sourceRoot":"","sources":["../src/immutable.ts"],"names":[],"mappings":"AAIA,iBAAS,WAAW,CAAC,KAAK,EAAE,OAAO,EAAE,QAAQ,kBAAwB,GAAG,OAAO,CAqB9E;AAED;6EAC6E;AAC7E,iBAAS,eAAe,CAAC,CAAC,SAAS,MAAM,EAAE,KAAK,EAAE,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,CAAC,CAc9F;AAED;;wEAEwE;AACxE,iBAAS,YAAY,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,CAAC,EAAE,CAAC,MAAM,EAAE,MAAM,EAAE,QAAQ,EAAE,MAAM,KAAK,IAAI,GAAG,CAAC,CAAA;AA2B1F,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,CAAA"}

package/dist/immutable.js

@@ -0,0 +1,75 @@
+/** Only frozen plain data graphs are stable cache keys. Typed-array contents
+ * remain mutable even behind a frozen parent, so they never qualify. */
+const immutable = new WeakSet();
+function isImmutable(input, visiting = new WeakSet()) {
+    if (typeof input !== "object" || input === null)
+        return typeof input !== "function";
+    if (immutable.has(input))
+        return true;
+    const prototype = Object.getPrototypeOf(input);
+    if ((prototype !== Object.prototype && prototype !== null && prototype !== Array.prototype) ||
+        !Object.isFrozen(input) ||
+        visiting.has(input))
+        return false;
+    visiting.add(input);
+    for (const name of Reflect.ownKeys(input)) {
+        const property = Object.getOwnPropertyDescriptor(input, name);
+        if (property === undefined || !("value" in property) || !isImmutable(property.value, visiting)) {
+            visiting.delete(input);
+            return false;
+        }
+    }
+    visiting.delete(input);
+    immutable.add(input);
+    return true;
+}
+/** Validation is never skipped for a mutable structural input. Validated
+ * immutable outputs can be reused without requiring constructor identity. */
+function descriptorCache(parse) {
+    const cache = new WeakMap();
+    return (input) => {
+        if (typeof input === "object" && input !== null) {
+            const found = cache.get(input);
+            if (found !== undefined)
+                return found;
+        }
+        const result = parse(input);
+        if (isImmutable(result)) {
+            cache.set(result, result);
+            if (typeof input === "object" && input !== null && isImmutable(input))
+                cache.set(input, result);
+        }
+        return result;
+    };
+}
+function snapshotData(input, onCopy) {
+    const copied = new WeakMap();
+    function visit(value) {
+        if (typeof value !== "object" || value === null || isImmutable(value))
+            return value;
+        const existing = copied.get(value);
+        if (existing !== undefined)
+            return existing;
+        if (value instanceof Uint8Array) {
+            const bytes = Uint8Array.from(value);
+            copied.set(value, bytes);
+            return bytes;
+        }
+        const result = Array.isArray(value) ? [] : Object.create(Object.getPrototypeOf(value));
+        copied.set(value, result);
+        for (const name of Reflect.ownKeys(value)) {
+            if (Array.isArray(value) && name === "length")
+                continue;
+            const property = Object.getOwnPropertyDescriptor(value, name);
+            if (property === undefined || !("value" in property))
+                throw new TypeError("snapshotData requires checked data");
+            Object.defineProperty(result, name, { value: visit(property.value), enumerable: property.enumerable === true });
+        }
+        Object.freeze(result);
+        onCopy?.(value, result);
+        return result;
+    }
+    return visit(input);
+}
+export { descriptorCache, isImmutable, snapshotData };
+//# sourceMappingURL=immutable.js.map

package/dist/immutable.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"immutable.js","sourceRoot":"","sources":["../src/immutable.ts"],"names":[],"mappings":"AAAA;wEACwE;AACxE,MAAM,SAAS,GAAG,IAAI,OAAO,EAAU,CAAA;AAEvC,SAAS,WAAW,CAAC,KAAc,EAAE,QAAQ,GAAG,IAAI,OAAO,EAAU;IACpE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;QAAE,OAAO,OAAO,KAAK,KAAK,UAAU,CAAA;IACnF,IAAI,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC;QAAE,OAAO,IAAI,CAAA;IACrC,MAAM,SAAS,GAAG,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAA;IAC9C,IACC,CAAC,SAAS,KAAK,MAAM,CAAC,SAAS,IAAI,SAAS,KAAK,IAAI,IAAI,SAAS,KAAK,KAAK,CAAC,SAAS,CAAC;QACvF,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAC;QACvB,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC;QAEnB,OAAO,KAAK,CAAA;IACb,QAAQ,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACnB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;QAC3C,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;QAC7D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC,IAAI,CAAC,WAAW,CAAC,QAAQ,CAAC,KAAK,EAAE,QAAQ,CAAC,EAAE,CAAC;YAChG,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;YACtB,OAAO,KAAK,CAAA;QACb,CAAC;IACF,CAAC;IACD,QAAQ,CAAC,MAAM,CAAC,KAAK,CAAC,CAAA;IACtB,SAAS,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;IACpB,OAAO,IAAI,CAAA;AACZ,CAAC;AAED;6EAC6E;AAC7E,SAAS,eAAe,CAAmB,KAA4B;IACtE,MAAM,KAAK,GAAG,IAAI,OAAO,EAAa,CAAA;IACtC,OAAO,CAAC,KAAK,EAAE,EAAE;QAChB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,EAAE,CAAC;YACjD,MAAM,KAAK,GAAG,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;YAC9B,IAAI,KAAK,KAAK,SAAS;gBAAE,OAAO,KAAK,CAAA;QACtC,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,KAAK,CAAC,CAAA;QAC3B,IAAI,WAAW,CAAC,MAAM,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,CAAA;YACzB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,WAAW,CAAC,KAAK,CAAC;gBAAE,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QAChG,CAAC;QACD,OAAO,MAAM,CAAA;IACd,CAAC,CAAA;AACF,CAAC;AAMD,SAAS,YAAY,CAAC,KAAc,EAAE,MAAmD;IACxF,MAAM,MAAM,GAAG,IAAI,OAAO,EAAkB,CAAA;IAC5C,SAAS,KAAK,CAAC,KAAc;QAC5B,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI,IAAI,WAAW,CAAC,KAAK,CAAC;YAAE,OAAO,KAAK,CAAA;QACnF,MAAM,QAAQ,GAAG,MAAM,CAAC,GAAG,CAAC,KAAK,CAAC,CAAA;QAClC,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAA;QAC3C,IAAI,KAAK,YAAY,UAAU,EAAE,CAAC;YACjC,MAAM,KAAK,GAAG,UAAU,CAAC,IAAI,CAAC,KAAK,CAAC,CAAA;YACpC,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAA;YACxB,OAAO,KAAK,CAAA;QACb,CAAC;QACD,MAAM,MAAM,GAAG,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,KAAK,CAAC,CAAC,CAAA;QACtF,MAAM,CAAC,GAAG,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QACzB,KAAK,MAAM,IAAI,IAAI,OAAO,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YAC3C,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,IAAI,KAAK,QAAQ;gBAAE,SAAQ;YACvD,MAAM,QAAQ,GAAG,MAAM,CAAC,wBAAwB,CAAC,KAAK,EAAE,IAAI,CAAC,CAAA;YAC7D,IAAI,QAAQ,KAAK,SAAS,IAAI,CAAC,CAAC,OAAO,IAAI,QAAQ,CAAC;gBAAE,MAAM,IAAI,SAAS,CAAC,oCAAoC,CAAC,CAAA;YAC/G,MAAM,CAAC,cAAc,CAAC,MAAM,EAAE,IAAI,EAAE,EAAE,KAAK,EAAE,KAAK,CAAC,QAAQ,CAAC,KAAK,CAAC,EAAE,UAAU,EAAE,QAAQ,CAAC,UAAU,KAAK,IAAI,EAAE,CAAC,CAAA;QAChH,CAAC;QACD,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAA;QACrB,MAAM,EAAE,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;QACvB,OAAO,MAAM,CAAA;IACd,CAAC;IACD,OAAO,KAAK,CAAC,KAAK,CAAC,CAAA;AACpB,CAAC;AAED,OAAO,EAAE,eAAe,EAAE,WAAW,EAAE,YAAY,EAAE,CAAA"}