@bjornpagen/bumbledb 0.1.0 → 0.3.0

package/dist/fields.d.ts

@@ -1,134 +1,139 @@
 /**
- * Field type constructors — the value half of the `schema!` field grammar
- * (`docs/architecture/70-api.md`): `bool`, `u64`, `i64`, `str`, `bytes(n)`,
- * `interval(u64|i64[, width])`, each a plain frozen value carrying its
- * structural type at runtime and its host value type in a phantom generic.
- * Newtypes are DECLARATION-FIRST, one spelling only (owner ruling
- * 2026-07-16): `const AccountId = u64.newtype("AccountId")` declares the
- * brand ONCE as a value that IS the field, paired with
- * `type AccountId = Infer<typeof AccountId>` for signatures; every field
- * position references the declared value (`holder: HolderId`). The macro's
- * refusals are reproduced representationally: `.newtype` exists only where
- * Rust's `as` is legal (u64, i64, bytes, intervals — never bool/str),
- * `.fresh` exists only on declared u64 newtypes (the macro demands `as
- * NewType` on fresh fields), and no field-level constraint vocabulary of
- * any kind exists — `unique`/`fk` are unwritable, not rejected.
+ * Field descriptors — the value half of the `schema!` field grammar
+ * (`docs/architecture/70-api.md`), MINIMAL edition: `bool`, `u64`, `i64`,
+ * `str`, `bytes(n)`, `interval(u64|i64[, width])`, each a plain frozen value
+ * that IS its own descriptor type — `{ kind, width?, element?, fresh? }` —
+ * honest at runtime and in the type alike. A field's VALUE type is its bare
+ * structural type (`u64` → `bigint`, `str` → `string`, `bytes(n)` →
+ * `Uint8Array`, intervals → `{ start, end }`): no brands, no phantoms, no
+ * minting casts. A descriptor carries STRUCTURE ONLY — domains are never
+ * declared anywhere (the owner ruling: THE LAWS TYPE THE COLUMNS): a
+ * field's domain is COMPUTED by `schema()` from the statement list, where
+ * the dependencies themselves induce the equivalence classes. The macro's
+ * refusals are reproduced representationally: `.fresh` exists only on u64,
+ * and no field-level constraint vocabulary of any kind exists —
+ * `unique`/`fk` are unwritable, not rejected.
  */
-import type { Brand, Interval, IntervalValue } from "#brand.ts";
-import { phantom } from "#brand.ts";
-import type { LiteralSpec, ValueTypeSpec } from "#spec.ts";
+import type { LiteralSpec } from "#spec.ts";
+/**
+ * A half-open interval `[start, end)` as a plain value object — the ONE
+ * interval value type, whatever the field's element type or width label.
+ * The ray is representable (`end` = the element type's MAX_END); widths
+ * and signedness are NOT modeled on the value — they are descriptor-type
+ * labels the engine judges at the typed write boundary. Interval fields
+ * derive no order (the Rust refusal, `docs/architecture/10-data-model.md`),
+ * so no comparators exist on the value type.
+ */
+interface IntervalValue {
+    readonly start: bigint;
+    readonly end: bigint;
+}
+/**
+ * Constructs an interval literal — the `start..end` spelling. Half-open
+ * and nonempty by construction: `start >= end` is a typed construction
+ * error (parse, don't validate — the same invariant Rust's
+ * `Interval::new` enforces at the host boundary). The value is bare and
+ * structural: it is assignable to any interval field.
+ */
+declare function span(start: bigint, end: bigint): IntervalValue;
 /**
  * A closed relation's roster as seen from a referencing field: the handle
- * namespace `where()` selections and ground axioms resolve bare handles
- * through (the macro's own rule: a handle is legal exactly on a field whose
- * newtype is a closed relation's handle newtype).
+ * namespace `where()` selections and ground axioms resolve bare handle ids
+ * through (the macro's own rule: a handle is legal exactly on a field that
+ * references a closed relation).
  */
 interface ClosedRoster {
     readonly name: string;
     readonly handles: readonly string[];
 }
+/** The `bool` field descriptor: value type `boolean`. No `.fresh` (macro parity). */
+interface BoolField {
+    readonly kind: "bool";
+}
+/** The `str` field descriptor: value type `string`. No `.fresh` (macro parity). */
+interface StrField {
+    readonly kind: "str";
+}
 /**
- * One field's runtime description: structural type, host newtype name, the
- * `fresh` mint mark (`minted` — the property name `fresh` is taken by the
- * builder surface), and the closed-relation reference when the field is a
- * closed relation's id type.
+ * A `fresh`-marked u64 field descriptor — `id: u64.fresh`. The mark is a
+ * structural label (`fresh: true`) in the descriptor type AND on the
+ * runtime value; it implies the key `R(field) -> R`, which the ENGINE
+ * materializes (`SchemaDescriptor::materialized_statements`), and it makes
+ * the field a GENERATOR — `schema()` names its equivalence class by the
+ * declaration coordinate (`"Account.id"`). Terminal: no builder property
+ * survives the mark.
  */
-interface FieldData<Minted extends boolean = boolean> {
-    readonly type: ValueTypeSpec;
-    readonly newtype: string | undefined;
-    readonly minted: Minted;
-    readonly closed: ClosedRoster | undefined;
+interface FreshU64Field {
+    readonly kind: "u64";
+    readonly fresh: true;
 }
 /**
- * The base shape every field value shares: runtime data plus the phantom
- * host value type `V` (never present at runtime).
+ * The `u64` field descriptor. `.fresh` marks the field as engine-minted —
+ * the property doubles as the mark itself: on an unmarked descriptor it
+ * holds the marked descriptor, on a marked one it IS the literal `true`
+ * (one structural property, read either way).
  */
-interface Field<V> {
-    readonly data: FieldData;
-    readonly [phantom]?: V;
-}
-/** Extracts a field value's host value type from its phantom. */
-type FieldValue<F> = F extends Field<infer V> ? V : never;
-/** Any field value, whatever its host value type. */
-type AnyField = Field<unknown>;
-/** The `bool` field: host type `boolean`. No `.newtype`, no `.fresh` (macro parity). */
-interface BoolField extends Field<boolean> {
-    readonly data: FieldData<false>;
+interface U64Field {
+    readonly kind: "u64";
+    readonly fresh: FreshU64Field;
 }
-/** The `str` field: host type `string`. No `.newtype`, no `.fresh` (macro parity). */
-interface StrField extends Field<string> {
-    readonly data: FieldData<false>;
+/** The `i64` field descriptor. Terminal: `.fresh` is legal on u64 only. */
+interface I64Field {
+    readonly kind: "i64";
 }
 /**
- * A `fresh`-marked u64 newtype field — `id: AccountId.fresh` (Rust: `id:
- * u64 as AccountId, fresh`). Terminal: the mark implies the key
- * `R(field) -> R`, which the ENGINE materializes
- * (`SchemaDescriptor::materialized_statements`); `schema()` rejects an
- * explicit duplicate of it (macro parity).
+ * A `bytes<N>` field descriptor. The width is a descriptor-type label
+ * (load-bearing: the engine enforces it at the write boundary) and the
+ * value type is bare `Uint8Array`. No order is derived — no comparators
+ * exist on the value type (the engine refuses order on bytes).
  */
-interface FreshU64Newtype<Name extends string> extends Field<Brand<bigint, Name>> {
-    readonly data: FieldData<true>;
+interface BytesField<Width extends number = number> {
+    readonly kind: "bytes";
+    readonly width: Width;
 }
 /**
- * A declared u64 newtype — `const AccountId = u64.newtype("AccountId")`
- * (Rust: `u64 as AccountId`). The value IS the field: relation blocks
- * reference it (`holder: HolderId`). `.fresh` marks it as minted; the
- * property exists ONLY here (the macro demands `as NewType` on fresh
- * fields, so bare-u64 fresh is unwritable).
+ * An interval field descriptor — `interval(i64)` general (rays
+ * representable), `interval(u64, w)` the fixed-width family. Element and
+ * width are descriptor-type labels; the value type is always the bare
+ * {@link IntervalValue}.
  */
-interface U64Newtype<Name extends string> extends Field<Brand<bigint, Name>> {
-    readonly data: FieldData<false>;
-    readonly fresh: FreshU64Newtype<Name>;
-}
-/** The bare `u64` field; `.newtype(name)` declares a branded u64 newtype. */
-interface U64Field extends Field<bigint> {
-    readonly data: FieldData<false>;
-    newtype<const Name extends string>(name: Name): U64Newtype<Name>;
-}
-/** A declared i64 newtype. Terminal: `fresh` is legal on u64 only. */
-interface I64Newtype<Name extends string> extends Field<Brand<bigint, Name>> {
-    readonly data: FieldData<false>;
-}
-/** The bare `i64` field; `.newtype(name)` declares a branded i64 newtype. */
-interface I64Field extends Field<bigint> {
-    readonly data: FieldData<false>;
-    newtype<const Name extends string>(name: Name): I64Newtype<Name>;
-}
-/** A declared `bytes<N>` newtype (no order derived — no comparators exist). */
-interface BytesNewtype<Name extends string> extends Field<Brand<Uint8Array, Name>> {
-    readonly data: FieldData<false>;
-}
-/** A `bytes<N>` field; `.newtype(name)` declares a branded bytes newtype. */
-interface BytesField extends Field<Uint8Array> {
-    readonly data: FieldData<false>;
-    newtype<const Name extends string>(name: Name): BytesNewtype<Name>;
-}
-/** A declared interval newtype — Rust: `interval<i64> as ActiveDuring`. */
-interface IntervalNewtype<Name extends string> extends Field<Interval<Name>> {
-    readonly data: FieldData<false>;
-}
-/** An interval field; `.newtype(name)` brands the whole `{ start, end }` object. */
-interface IntervalField extends Field<IntervalValue> {
-    readonly data: FieldData<false>;
-    newtype<const Name extends string>(name: Name): IntervalNewtype<Name>;
+interface IntervalField<Element extends "u64" | "i64" = "u64" | "i64", Width extends bigint | undefined = bigint | undefined> {
+    readonly kind: "interval";
+    readonly element: Element;
+    readonly width: Width;
 }
 /**
- * The branded value type of a declared newtype — the type half of the
- * declaration-first pairing (owner ruling 2026-07-16): `const AccountId =
- * u64.newtype("AccountId")` + `type AccountId = Infer<typeof AccountId>`.
- * Reads the phantom, so it works on any field value (a closed relation's
- * `id` field infers its handle brand the same way).
+ * A closed relation's reference field descriptor (`Kind.id`) — a u64
+ * descriptor carrying the closed linkage: the roster resolves bare handle
+ * ids in selections and ground axioms, and `schema()` names the id's
+ * generator class `"Kind.id"`. Terminal: no `.fresh` — a vocabulary's rows
+ * are ground axioms, never minted.
  */
-type Infer<F extends AnyField> = F extends Field<infer V> ? V : never;
+interface ClosedIdField {
+    readonly kind: "u64";
+    readonly closed: ClosedRoster;
+}
+/** Any field descriptor, whatever its kind or marks. */
+type AnyField = BoolField | StrField | U64Field | FreshU64Field | I64Field | BytesField | IntervalField | ClosedIdField;
 /**
- * A closed relation's id field constructor (`Kind.id`) — a u64 field
- * pre-branded with the closed relation's handle newtype, for use in other
- * relations' field blocks (`kind: Kind.id`). Terminal: its newtype IS the
- * closed relation, so `.newtype` and `.fresh` do not exist.
+ * The bare structural VALUE type of a field descriptor — the one total
+ * definition every fact, result row, and query term reads: `bool` →
+ * `boolean`, `str` → `string`, `u64`/`i64` → `bigint`, `bytes<N>` →
+ * `Uint8Array`, intervals → {@link IntervalValue}.
  */
-interface ClosedIdField<Name extends string> extends Field<Brand<bigint, Name>> {
-    readonly data: FieldData<false>;
-}
+type Infer<F extends AnyField> = F extends {
+    readonly kind: "bool";
+} ? boolean : F extends {
+    readonly kind: "str";
+} ? string : F extends {
+    readonly kind: "u64";
+} ? bigint : F extends {
+    readonly kind: "i64";
+} ? bigint : F extends {
+    readonly kind: "bytes";
+} ? Uint8Array : F extends {
+    readonly kind: "interval";
+} ? IntervalValue : never;
 /**
  * Rejects a declaration name that JavaScript would re-order. Declaration
  * order = ordinal ids is the law relations, columns, and schemas all lean
@@ -140,48 +145,43 @@ interface ClosedIdField<Name extends string> extends Field<Brand<bigint, Name>>
  * error.
  */
 declare function assertDeclarationOrderKey(where: string, name: string): void;
-/**
- * Builds one frozen {@link FieldData}. Internal seam shared by the field
- * constructors here and by `closed()` (which mints {@link ClosedIdField}
- * values against its own roster).
- */
-declare function fieldData<Minted extends boolean>(type: ValueTypeSpec, newtype: string | undefined, minted: Minted, closed: ClosedRoster | undefined): FieldData<Minted>;
-/** The one `u64` field constructor value. */
+/** The one `u64` constructor value. */
 declare const u64: U64Field;
-/** The one `i64` field constructor value. */
+/** The one `i64` constructor value. */
 declare const i64: I64Field;
-/** The one `bool` field constructor value. */
+/** The one `bool` constructor value. */
 declare const bool: BoolField;
-/** The one `str` field constructor value. */
+/** The one `str` constructor value. */
 declare const str: StrField;
 /**
- * The `bytes<N>` field constructor. The width is mandatory and part of the
- * type; `len` is validated to 1..=64 here because the grammar pins that
- * range at declaration (`docs/architecture/70-api.md` § the `schema!`
- * grammar: N ∈ 1..=64 — bare `bytes` does not parse), the macro-expansion
- * boundary's analog being construction.
+ * The `bytes<N>` field constructor. The width is mandatory and a
+ * descriptor-type label; `width` is validated to 1..=64 here because the
+ * grammar pins that range at declaration (`docs/architecture/70-api.md`
+ * § the `schema!` grammar: N ∈ 1..=64 — bare `bytes` does not parse), the
+ * macro-expansion boundary's analog being construction.
  */
-declare function bytes(len: number): BytesField;
+declare function bytes<const Width extends number>(width: Width): BytesField<Width>;
 /**
  * The interval field constructor — `interval(u64)` / `interval(i64)` for
  * the general type (rays representable), `interval(u64, w)` for the
- * fixed-width family whose width IS the type. The element is spelled with
- * the u64/i64 field constructor values themselves, never a string. `width
- * >= 1` is validated here because the grammar pins it at declaration
+ * fixed-width family whose width IS a descriptor-type label. The element is
+ * spelled with the u64/i64 constructor values themselves, never a string.
+ * `width >= 1` is validated here because the grammar pins it at declaration
  * (`docs/architecture/70-api.md`: w ≥ 1; `interval<u64, 0>` is an
  * expansion error naming the field).
  */
-declare function interval(element: U64Field | I64Field, width?: bigint): IntervalField;
+declare function interval<Element extends U64Field | I64Field>(element: Element): IntervalField<Element["kind"], undefined>;
+declare function interval<Element extends U64Field | I64Field, const Width extends bigint>(element: Element, width: Width): IntervalField<Element["kind"], Width>;
 /**
  * Lowers one host literal at its field position to the wire
  * {@link LiteralSpec} — the selection-literal machine ground axioms and
  * `where()` bindings both ride (one machine, same errors — the macro's own
  * rule). A value on a closed-reference field resolves to its handle NAME
- * (the id is re-verified against the roster: an out-of-roster id is a
+ * (the id is verified against the roster: an out-of-roster id is a
  * construction error); everything else lowers to a plain value tagged by
- * the field's structural type.
+ * the field's structural kind.
  */
-declare function literalOf(field: FieldData, value: unknown): LiteralSpec;
-export type { AnyField, BoolField, BytesField, BytesNewtype, ClosedIdField, ClosedRoster, Field, FieldData, FieldValue, FreshU64Newtype, I64Field, I64Newtype, Infer, IntervalField, IntervalNewtype, StrField, U64Field, U64Newtype };
-export { assertDeclarationOrderKey, bool, bytes, fieldData, i64, interval, literalOf, str, u64 };
+declare function literalOf(field: AnyField, value: unknown): LiteralSpec;
+export type { AnyField, BoolField, BytesField, ClosedIdField, ClosedRoster, FreshU64Field, I64Field, Infer, IntervalField, IntervalValue, StrField, U64Field };
+export { assertDeclarationOrderKey, bool, bytes, i64, interval, literalOf, span, str, u64 };
 //# 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":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,aAAa,EAAE,MAAM,WAAW,CAAA;AAC/D,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AACnC,OAAO,KAAK,EAAE,WAAW,EAAE,aAAa,EAAE,MAAM,UAAU,CAAA;AAoD1D;;;;;GAKG;AACH,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACnC;AAED;;;;;GAKG;AACH,UAAU,SAAS,CAAC,MAAM,SAAS,OAAO,GAAG,OAAO;IACnD,QAAQ,CAAC,IAAI,EAAE,aAAa,CAAA;IAC5B,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG,SAAS,CAAA;IACpC,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,YAAY,GAAG,SAAS,CAAA;CACzC;AAED;;;GAGG;AACH,UAAU,KAAK,CAAC,CAAC;IAChB,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAA;IACxB,QAAQ,CAAC,CAAC,OAAO,CAAC,CAAC,EAAE,CAAC,CAAA;CACtB;AAED,iEAAiE;AACjE,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAEzD,qDAAqD;AACrD,KAAK,QAAQ,GAAG,KAAK,CAAC,OAAO,CAAC,CAAA;AAE9B,wFAAwF;AACxF,UAAU,SAAU,SAAQ,KAAK,CAAC,OAAO,CAAC;IACzC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;CAC/B;AAED,sFAAsF;AACtF,UAAU,QAAS,SAAQ,KAAK,CAAC,MAAM,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;CAC/B;AAED;;;;;;GAMG;AACH,UAAU,eAAe,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAChF,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,IAAI,CAAC,CAAA;CAC9B;AAED;;;;;;GAMG;AACH,UAAU,UAAU,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3E,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;IAC/B,QAAQ,CAAC,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,CAAA;CACrC;AAED,6EAA6E;AAC7E,UAAU,QAAS,SAAQ,KAAK,CAAC,MAAM,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;IAC/B,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;CAChE;AAED,sEAAsE;AACtE,UAAU,UAAU,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC3E,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;CAC/B;AAED,6EAA6E;AAC7E,UAAU,QAAS,SAAQ,KAAK,CAAC,MAAM,CAAC;IACvC,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;IAC/B,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,UAAU,CAAC,IAAI,CAAC,CAAA;CAChE;AAED,+EAA+E;AAC/E,UAAU,YAAY,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,KAAK,CAAC,KAAK,CAAC,UAAU,EAAE,IAAI,CAAC,CAAC;IACjF,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;CAC/B;AAED,6EAA6E;AAC7E,UAAU,UAAW,SAAQ,KAAK,CAAC,UAAU,CAAC;IAC7C,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;IAC/B,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,YAAY,CAAC,IAAI,CAAC,CAAA;CAClE;AAED,2EAA2E;AAC3E,UAAU,eAAe,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;IAC3E,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;CAC/B;AAED,oFAAoF;AACpF,UAAU,aAAc,SAAQ,KAAK,CAAC,aAAa,CAAC;IACnD,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;IAC/B,OAAO,CAAC,KAAK,CAAC,IAAI,SAAS,MAAM,EAAE,IAAI,EAAE,IAAI,GAAG,eAAe,CAAC,IAAI,CAAC,CAAA;CACrE;AAED;;;;;;GAMG;AACH,KAAK,KAAK,CAAC,CAAC,SAAS,QAAQ,IAAI,CAAC,SAAS,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,CAAC,GAAG,KAAK,CAAA;AAErE;;;;;GAKG;AACH,UAAU,aAAa,CAAC,IAAI,SAAS,MAAM,CAAE,SAAQ,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;IAC9E,QAAQ,CAAC,IAAI,EAAE,SAAS,CAAC,KAAK,CAAC,CAAA;CAC/B;AAED;;;;;;;;;GASG;AACH,iBAAS,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAMpE;AAED;;;;GAIG;AACH,iBAAS,SAAS,CAAC,MAAM,SAAS,OAAO,EACxC,IAAI,EAAE,aAAa,EACnB,OAAO,EAAE,MAAM,GAAG,SAAS,EAC3B,MAAM,EAAE,MAAM,EACd,MAAM,EAAE,YAAY,GAAG,SAAS,GAC9B,SAAS,CAAC,MAAM,CAAC,CAEnB;AAED,6CAA6C;AAC7C,QAAA,MAAM,GAAG,EAAE,QAWT,CAAA;AAEF,6CAA6C;AAC7C,QAAA,MAAM,GAAG,EAAE,QAKT,CAAA;AAEF,8CAA8C;AAC9C,QAAA,MAAM,IAAI,EAAE,SAEV,CAAA;AAEF,6CAA6C;AAC7C,QAAA,MAAM,GAAG,EAAE,QAET,CAAA;AAEF;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,GAAG,EAAE,MAAM,GAAG,UAAU,CAYtC;AAED;;;;;;;;GAQG;AACH,iBAAS,QAAQ,CAAC,OAAO,EAAE,QAAQ,GAAG,QAAQ,EAAE,KAAK,CAAC,EAAE,MAAM,GAAG,aAAa,CAiB7E;AAED;;;;;;;;GAQG;AACH,iBAAS,SAAS,CAAC,KAAK,EAAE,SAAS,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAsChE;AAED,YAAY,EACX,QAAQ,EACR,SAAS,EACT,UAAU,EACV,YAAY,EACZ,aAAa,EACb,YAAY,EACZ,KAAK,EACL,SAAS,EACT,UAAU,EACV,eAAe,EACf,QAAQ,EACR,UAAU,EACV,KAAK,EACL,aAAa,EACb,eAAe,EACf,QAAQ,EACR,QAAQ,EACR,UAAU,EACV,CAAA;AACD,OAAO,EAAE,yBAAyB,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA"}
+{"version":3,"file":"fields.d.ts","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAGH,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,UAAU,CAAA;AAE3C;;;;;;;;GAQG;AACH,UAAU,aAAa;IACtB,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAA;IACtB,QAAQ,CAAC,GAAG,EAAE,MAAM,CAAA;CACpB;AAED;;;;;;GAMG;AACH,iBAAS,IAAI,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,EAAE,MAAM,GAAG,aAAa,CAKvD;AAED;;;;;GAKG;AACH,UAAU,YAAY;IACrB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,OAAO,EAAE,SAAS,MAAM,EAAE,CAAA;CACnC;AAED,qFAAqF;AACrF,UAAU,SAAS;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;CACrB;AAED,mFAAmF;AACnF,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED;;;;;;;;GAQG;AACH,UAAU,aAAa;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CACpB;AAED;;;;;GAKG;AACH,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAA;CAC7B;AAED,2EAA2E;AAC3E,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;CACpB;AAED;;;;;GAKG;AACH,UAAU,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM;IACjD,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;CACrB;AAED;;;;;GAKG;AACH,UAAU,aAAa,CACtB,OAAO,SAAS,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,EAC7C,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;;;;;;GAMG;AACH,UAAU,aAAa;IACtB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAC7B;AAED,wDAAwD;AACxD,KAAK,QAAQ,GAAG,SAAS,GAAG,QAAQ,GAAG,QAAQ,GAAG,aAAa,GAAG,QAAQ,GAAG,UAAU,GAAG,aAAa,GAAG,aAAa,CAAA;AAEvH;;;;;GAKG;AACH,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,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,OAAO,CAAA;CAAE,GACnC,UAAU,GACV,CAAC,SAAS;IAAE,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;CAAE,GACtC,aAAa,GACb,KAAK,CAAA;AAoDb;;;;;;;;;GASG;AACH,iBAAS,yBAAyB,CAAC,KAAK,EAAE,MAAM,EAAE,IAAI,EAAE,MAAM,GAAG,IAAI,CAMpE;AAKD,uCAAuC;AACvC,QAAA,MAAM,GAAG,EAAE,QAA0D,CAAA;AAErE,uCAAuC;AACvC,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD,wCAAwC;AACxC,QAAA,MAAM,IAAI,EAAE,SAA2C,CAAA;AAEvD,uCAAuC;AACvC,QAAA,MAAM,GAAG,EAAE,QAAyC,CAAA;AAEpD;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,UAAU,CAAC,KAAK,CAAC,CAO1E;AAED;;;;;;;;GAQG;AACH,iBAAS,QAAQ,CAAC,OAAO,SAAS,QAAQ,GAAG,QAAQ,EAAE,OAAO,EAAE,OAAO,GAAG,aAAa,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAA;AACnH,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;AAcxC;;;;;;;;GAQG;AACH,iBAAS,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAsC/D;AAED,YAAY,EACX,QAAQ,EACR,SAAS,EACT,UAAU,EACV,aAAa,EACb,YAAY,EACZ,aAAa,EACb,QAAQ,EACR,KAAK,EACL,aAAa,EACb,aAAa,EACb,QAAQ,EACR,QAAQ,EACR,CAAA;AACD,OAAO,EAAE,yBAAyB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA"}

package/dist/fields.js

@@ -1,21 +1,33 @@
 /**
- * Field type constructors — the value half of the `schema!` field grammar
- * (`docs/architecture/70-api.md`): `bool`, `u64`, `i64`, `str`, `bytes(n)`,
- * `interval(u64|i64[, width])`, each a plain frozen value carrying its
- * structural type at runtime and its host value type in a phantom generic.
- * Newtypes are DECLARATION-FIRST, one spelling only (owner ruling
- * 2026-07-16): `const AccountId = u64.newtype("AccountId")` declares the
- * brand ONCE as a value that IS the field, paired with
- * `type AccountId = Infer<typeof AccountId>` for signatures; every field
- * position references the declared value (`holder: HolderId`). The macro's
- * refusals are reproduced representationally: `.newtype` exists only where
- * Rust's `as` is legal (u64, i64, bytes, intervals — never bool/str),
- * `.fresh` exists only on declared u64 newtypes (the macro demands `as
- * NewType` on fresh fields), and no field-level constraint vocabulary of
- * any kind exists — `unique`/`fk` are unwritable, not rejected.
+ * Field descriptors — the value half of the `schema!` field grammar
+ * (`docs/architecture/70-api.md`), MINIMAL edition: `bool`, `u64`, `i64`,
+ * `str`, `bytes(n)`, `interval(u64|i64[, width])`, each a plain frozen value
+ * that IS its own descriptor type — `{ kind, width?, element?, fresh? }` —
+ * honest at runtime and in the type alike. A field's VALUE type is its bare
+ * structural type (`u64` → `bigint`, `str` → `string`, `bytes(n)` →
+ * `Uint8Array`, intervals → `{ start, end }`): no brands, no phantoms, no
+ * minting casts. A descriptor carries STRUCTURE ONLY — domains are never
+ * declared anywhere (the owner ruling: THE LAWS TYPE THE COLUMNS): a
+ * field's domain is COMPUTED by `schema()` from the statement list, where
+ * the dependencies themselves induce the equivalence classes. The macro's
+ * refusals are reproduced representationally: `.fresh` exists only on u64,
+ * and no field-level constraint vocabulary of any kind exists —
+ * `unique`/`fk` are unwritable, not rejected.
  */
 import * as errors from "@superbuilders/errors";
-import { phantom } from "#brand.ts";
+/**
+ * Constructs an interval literal — the `start..end` spelling. Half-open
+ * and nonempty by construction: `start >= end` is a typed construction
+ * error (parse, don't validate — the same invariant Rust's
+ * `Interval::new` enforces at the host boundary). The value is bare and
+ * structural: it is assignable to any interval field.
+ */
+function span(start, end) {
+    if (start >= end) {
+        throw errors.new(`interval is half-open and nonempty: start must be < end (got ${start}..${end})`);
+    }
+    return Object.freeze({ start, end });
+}
 /**
  * The typed shape refusal of the selection-literal machine — reached only
  * through ill-typed input (the well-typed surfaces make it unrepresentable).
@@ -33,10 +45,10 @@ function isIntervalLiteral(value) {
         typeof value.end === "bigint");
 }
 /**
- * Resolves one closed-handle literal: the branded id (a bigint at runtime)
- * back to its handle NAME through the roster — an out-of-roster id is a
- * construction error, the belt the type level cannot provide against
- * forged brands.
+ * Resolves one closed-handle literal: the handle id (a bare bigint) back to
+ * its handle NAME through the roster — an out-of-roster id is a
+ * construction error, the belt the type level deliberately does not provide
+ * (structural values make any bigint spellable here; the roster judges).
  */
 function handleLiteral(closed, value) {
     if (typeof value !== "bigint") {
@@ -73,99 +85,53 @@ function assertDeclarationOrderKey(where, name) {
         throw errors.new(`${where}: name ${name} is an integer index — JavaScript object keys re-order integer indices, breaking the declaration-order law; use a non-numeric name`);
     }
 }
+/** The one fresh-marked u64 descriptor (the `.fresh` property of the unmarked one). */
+const freshU64 = Object.freeze({ kind: "u64", fresh: true });
+/** The one `u64` constructor value. */
+const u64 = Object.freeze({ kind: "u64", fresh: freshU64 });
+/** The one `i64` constructor value. */
+const i64 = Object.freeze({ kind: "i64" });
+/** The one `bool` constructor value. */
+const bool = Object.freeze({ kind: "bool" });
+/** The one `str` constructor value. */
+const str = Object.freeze({ kind: "str" });
 /**
- * Builds one frozen {@link FieldData}. Internal seam shared by the field
- * constructors here and by `closed()` (which mints {@link ClosedIdField}
- * values against its own roster).
+ * The `bytes<N>` field constructor. The width is mandatory and a
+ * descriptor-type label; `width` is validated to 1..=64 here because the
+ * grammar pins that range at declaration (`docs/architecture/70-api.md`
+ * § the `schema!` grammar: N ∈ 1..=64 — bare `bytes` does not parse), the
+ * macro-expansion boundary's analog being construction.
  */
-function fieldData(type, newtype, minted, closed) {
-    return Object.freeze({ type: Object.freeze(type), newtype, minted, closed });
-}
-/** The one `u64` field constructor value. */
-const u64 = Object.freeze({
-    data: fieldData({ kind: "u64" }, undefined, false, undefined),
-    newtype(name) {
-        const fresh = Object.freeze({
-            data: fieldData({ kind: "u64" }, name, true, undefined)
-        });
-        return Object.freeze({
-            data: fieldData({ kind: "u64" }, name, false, undefined),
-            fresh
-        });
-    }
-});
-/** The one `i64` field constructor value. */
-const i64 = Object.freeze({
-    data: fieldData({ kind: "i64" }, undefined, false, undefined),
-    newtype(name) {
-        return Object.freeze({ data: fieldData({ kind: "i64" }, name, false, undefined) });
+function bytes(width) {
+    if (!Number.isInteger(width) || width < 1 || width > 64) {
+        throw errors.new(`bytes width must be an integer in 1..=64 (got ${width}) — docs/architecture/70-api.md pins the range at declaration`);
     }
-});
-/** The one `bool` field constructor value. */
-const bool = Object.freeze({
-    data: fieldData({ kind: "bool" }, undefined, false, undefined)
-});
-/** The one `str` field constructor value. */
-const str = Object.freeze({
-    data: fieldData({ kind: "string" }, undefined, false, undefined)
-});
-/**
- * The `bytes<N>` field constructor. The width is mandatory and part of the
- * type; `len` is validated to 1..=64 here because the grammar pins that
- * range at declaration (`docs/architecture/70-api.md` § the `schema!`
- * grammar: N ∈ 1..=64 — bare `bytes` does not parse), the macro-expansion
- * boundary's analog being construction.
- */
-function bytes(len) {
-    if (!Number.isInteger(len) || len < 1 || len > 64) {
-        throw errors.new(`bytes width must be an integer in 1..=64 (got ${len}) — docs/architecture/70-api.md pins the range at declaration`);
-    }
-    return Object.freeze({
-        data: fieldData({ kind: "fixedBytes", len }, undefined, false, undefined),
-        newtype(name) {
-            return Object.freeze({ data: fieldData({ kind: "fixedBytes", len }, name, false, undefined) });
-        }
-    });
+    return Object.freeze({ kind: "bytes", width });
 }
-/**
- * The interval field constructor — `interval(u64)` / `interval(i64)` for
- * the general type (rays representable), `interval(u64, w)` for the
- * fixed-width family whose width IS the type. The element is spelled with
- * the u64/i64 field constructor values themselves, never a string. `width
- * >= 1` is validated here because the grammar pins it at declaration
- * (`docs/architecture/70-api.md`: w ≥ 1; `interval<u64, 0>` is an
- * expansion error naming the field).
- */
 function interval(element, width) {
-    const elementKind = element.data.type.kind;
+    const elementKind = element.kind;
     if (elementKind !== "u64" && elementKind !== "i64") {
         throw errors.new(`interval element must be the u64 or i64 field constructor (got ${elementKind})`);
     }
     if (width !== undefined && width < 1n) {
         throw errors.new(`interval width must be >= 1 (got ${width}) — docs/architecture/70-api.md pins w >= 1 at declaration`);
     }
-    const type = { kind: "interval", element: elementKind, width };
-    return Object.freeze({
-        data: fieldData(type, undefined, false, undefined),
-        newtype(name) {
-            return Object.freeze({ data: fieldData(type, name, false, undefined) });
-        }
-    });
+    return Object.freeze({ kind: "interval", element: elementKind, width });
 }
 /**
  * Lowers one host literal at its field position to the wire
  * {@link LiteralSpec} — the selection-literal machine ground axioms and
  * `where()` bindings both ride (one machine, same errors — the macro's own
  * rule). A value on a closed-reference field resolves to its handle NAME
- * (the id is re-verified against the roster: an out-of-roster id is a
+ * (the id is verified against the roster: an out-of-roster id is a
  * construction error); everything else lowers to a plain value tagged by
- * the field's structural type.
+ * the field's structural kind.
  */
 function literalOf(field, value) {
-    if (field.closed !== undefined) {
+    if ("closed" in field) {
         return handleLiteral(field.closed, value);
     }
-    switch (field.type.kind) {
+    switch (field.kind) {
         case "bool": {
             if (typeof value !== "boolean") {
                 throw literalShapeError("boolean", value);
@@ -184,21 +150,21 @@ function literalOf(field, value) {
             }
             return { kind: "value", value: { kind: "i64", value } };
         }
-        case "string": {
+        case "str": {
             if (typeof value !== "string") {
                 throw literalShapeError("string", value);
             }
             return { kind: "value", value: { kind: "string", value } };
         }
-        case "fixedBytes": {
+        case "bytes": {
             if (!(value instanceof Uint8Array)) {
                 throw literalShapeError("Uint8Array", value);
             }
             return { kind: "value", value: { kind: "fixedBytes", value } };
         }
         case "interval":
-            return intervalLiteral(field.type.element, value);
+            return intervalLiteral(field.element, value);
     }
 }
-export { assertDeclarationOrderKey, bool, bytes, fieldData, i64, interval, literalOf, str, u64 };
+export { assertDeclarationOrderKey, bool, bytes, i64, interval, literalOf, span, str, u64 };
 //# sourceMappingURL=fields.js.map

package/dist/fields.js.map

@@ -1 +1 @@
-{"version":3,"file":"fields.js","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAE/C,OAAO,EAAE,OAAO,EAAE,MAAM,WAAW,CAAA;AAGnC;;;GAGG;AACH,SAAS,iBAAiB,CAAC,QAAgB,EAAE,KAAc;IAC1D,OAAO,MAAM,CAAC,GAAG,CAAC,8CAA8C,QAAQ,SAAS,OAAO,KAAK,EAAE,CAAC,CAAA;AACjG,CAAC;AAED,yEAAyE;AACzE,SAAS,iBAAiB,CAAC,KAAc;IACxC,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;;;;;GAKG;AACH,SAAS,aAAa,CAAC,MAAoB,EAAE,KAAc;IAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,iBAAiB,CAAC,KAAK,MAAM,CAAC,IAAI,qBAAqB,EAAE,KAAK,CAAC,CAAA;IACtE,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;IAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,MAAM,CAAC,GAAG,CACf,mBAAmB,MAAM,CAAC,IAAI,0BAA0B,KAAK,kBAAkB,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CACvG,CAAA;IACF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;AAClC,CAAC;AAED,uDAAuD;AACvD,SAAS,eAAe,CAAC,OAAsB,EAAE,KAAc;IAC9D,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,iBAAiB,CAAC,mCAAmC,EAAE,KAAK,CAAC,CAAA;IACpE,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;AAoID;;;;;;;;;GASG;AACH,SAAS,yBAAyB,CAAC,KAAa,EAAE,IAAY;IAC7D,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,KAAK,UAAU,IAAI,oIAAoI,CAC1J,CAAA;IACF,CAAC;AACF,CAAC;AAED;;;;GAIG;AACH,SAAS,SAAS,CACjB,IAAmB,EACnB,OAA2B,EAC3B,MAAc,EACd,MAAgC;IAEhC,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,EAAE,CAAC,CAAA;AAC7E,CAAC;AAED,6CAA6C;AAC7C,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC;IAC7D,OAAO,CAA4B,IAAU;QAC5C,MAAM,KAAK,GAA0B,MAAM,CAAC,MAAM,CAAC;YAClD,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,IAAI,EAAE,SAAS,CAAC;SACvD,CAAC,CAAA;QACF,OAAO,MAAM,CAAC,MAAM,CAAC;YACpB,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC;YACxD,KAAK;SACL,CAAC,CAAA;IACH,CAAC;CACD,CAAC,CAAA;AAEF,6CAA6C;AAC7C,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC;IAC7D,OAAO,CAA4B,IAAU;QAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAA;IACnF,CAAC;CACD,CAAC,CAAA;AAEF,8CAA8C;AAC9C,MAAM,IAAI,GAAc,MAAM,CAAC,MAAM,CAAC;IACrC,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC;CAC9D,CAAC,CAAA;AAEF,6CAA6C;AAC7C,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC;IACnC,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC;CAChE,CAAC,CAAA;AAEF;;;;;;GAMG;AACH,SAAS,KAAK,CAAC,GAAW;IACzB,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,GAAG,CAAC,IAAI,GAAG,GAAG,CAAC,IAAI,GAAG,GAAG,EAAE,EAAE,CAAC;QACnD,MAAM,MAAM,CAAC,GAAG,CACf,iDAAiD,GAAG,+DAA+D,CACnH,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC;QACzE,OAAO,CAA4B,IAAU;YAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,EAAE,IAAI,EAAE,YAAY,EAAE,GAAG,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAA;QAC/F,CAAC;KACD,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,QAAQ,CAAC,OAA4B,EAAE,KAAc;IAC7D,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,IAAI,CAAA;IAC1C,IAAI,WAAW,KAAK,KAAK,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;QACpD,MAAM,MAAM,CAAC,GAAG,CAAC,kEAAkE,WAAW,GAAG,CAAC,CAAA;IACnG,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACvC,MAAM,MAAM,CAAC,GAAG,CACf,oCAAoC,KAAK,4DAA4D,CACrG,CAAA;IACF,CAAC;IACD,MAAM,IAAI,GAAkB,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAA;IAC7E,OAAO,MAAM,CAAC,MAAM,CAAC;QACpB,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,SAAS,EAAE,KAAK,EAAE,SAAS,CAAC;QAClD,OAAO,CAA4B,IAAU;YAC5C,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,SAAS,CAAC,IAAI,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,CAAC,EAAE,CAAC,CAAA;QACxE,CAAC;KACD,CAAC,CAAA;AACH,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,KAAgB,EAAE,KAAc;IAClD,IAAI,KAAK,CAAC,MAAM,KAAK,SAAS,EAAE,CAAC;QAChC,OAAO,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC1C,CAAC;IACD,QAAQ,KAAK,CAAC,IAAI,CAAC,IAAI,EAAE,CAAC;QACzB,KAAK,MAAM,EAAE,CAAC;YACb,IAAI,OAAO,KAAK,KAAK,SAAS,EAAE,CAAC;gBAChC,MAAM,iBAAiB,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;YAC1C,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,QAAQ,EAAE,KAAK,CAAC,CAAA;YACzC,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,QAAQ,EAAE,KAAK,CAAC,CAAA;YACzC,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,EAAE,CAAA;QACxD,CAAC;QACD,KAAK,QAAQ,EAAE,CAAC;YACf,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;gBAC/B,MAAM,iBAAiB,CAAC,QAAQ,EAAE,KAAK,CAAC,CAAA;YACzC,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAA;QAC3D,CAAC;QACD,KAAK,YAAY,EAAE,CAAC;YACnB,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,EAAE,CAAC;gBACpC,MAAM,iBAAiB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAA;YAC7C,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,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,CAAA;IACnD,CAAC;AACF,CAAC;AAsBD,OAAO,EAAE,yBAAyB,EAAE,IAAI,EAAE,KAAK,EAAE,SAAS,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA"}
+{"version":3,"file":"fields.js","sourceRoot":"","sources":["../src/fields.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAiB/C;;;;;;GAMG;AACH,SAAS,IAAI,CAAC,KAAa,EAAE,GAAW;IACvC,IAAI,KAAK,IAAI,GAAG,EAAE,CAAC;QAClB,MAAM,MAAM,CAAC,GAAG,CAAC,gEAAgE,KAAK,KAAK,GAAG,GAAG,CAAC,CAAA;IACnG,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,KAAK,EAAE,GAAG,EAAE,CAAC,CAAA;AACrC,CAAC;AAkHD;;;GAGG;AACH,SAAS,iBAAiB,CAAC,QAAgB,EAAE,KAAc;IAC1D,OAAO,MAAM,CAAC,GAAG,CAAC,8CAA8C,QAAQ,SAAS,OAAO,KAAK,EAAE,CAAC,CAAA;AACjG,CAAC;AAED,yEAAyE;AACzE,SAAS,iBAAiB,CAAC,KAAc;IACxC,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;;;;;GAKG;AACH,SAAS,aAAa,CAAC,MAAoB,EAAE,KAAc;IAC1D,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC/B,MAAM,iBAAiB,CAAC,KAAK,MAAM,CAAC,IAAI,qBAAqB,EAAE,KAAK,CAAC,CAAA;IACtE,CAAC;IACD,MAAM,MAAM,GAAG,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,KAAK,CAAC,CAAC,CAAA;IAC5C,IAAI,MAAM,KAAK,SAAS,EAAE,CAAC;QAC1B,MAAM,MAAM,CAAC,GAAG,CACf,mBAAmB,MAAM,CAAC,IAAI,0BAA0B,KAAK,kBAAkB,MAAM,CAAC,OAAO,CAAC,MAAM,GAAG,CACvG,CAAA;IACF,CAAC;IACD,OAAO,EAAE,IAAI,EAAE,QAAQ,EAAE,MAAM,EAAE,CAAA;AAClC,CAAC;AAED,uDAAuD;AACvD,SAAS,eAAe,CAAC,OAAsB,EAAE,KAAc;IAC9D,IAAI,CAAC,iBAAiB,CAAC,KAAK,CAAC,EAAE,CAAC;QAC/B,MAAM,iBAAiB,CAAC,mCAAmC,EAAE,KAAK,CAAC,CAAA;IACpE,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;;;;;;;;;GASG;AACH,SAAS,yBAAyB,CAAC,KAAa,EAAE,IAAY;IAC7D,IAAI,qBAAqB,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC;QACtC,MAAM,MAAM,CAAC,GAAG,CACf,GAAG,KAAK,UAAU,IAAI,oIAAoI,CAC1J,CAAA;IACF,CAAC;AACF,CAAC;AAED,uFAAuF;AACvF,MAAM,QAAQ,GAAkB,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC,CAAA;AAE3E,uCAAuC;AACvC,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,KAAK,EAAE,QAAQ,EAAE,CAAC,CAAA;AAErE,uCAAuC;AACvC,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD,wCAAwC;AACxC,MAAM,IAAI,GAAc,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,MAAM,EAAE,CAAC,CAAA;AAEvD,uCAAuC;AACvC,MAAM,GAAG,GAAa,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,KAAK,EAAE,CAAC,CAAA;AAEpD;;;;;;GAMG;AACH,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,MAAM,CAAC,GAAG,CACf,iDAAiD,KAAK,+DAA+D,CACrH,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,CAAC,CAAA;AAC/C,CAAC;AAgBD,SAAS,QAAQ,CAAC,OAA4B,EAAE,KAAc;IAC7D,MAAM,WAAW,GAAG,OAAO,CAAC,IAAI,CAAA;IAChC,IAAI,WAAW,KAAK,KAAK,IAAI,WAAW,KAAK,KAAK,EAAE,CAAC;QACpD,MAAM,MAAM,CAAC,GAAG,CAAC,kEAAkE,WAAW,GAAG,CAAC,CAAA;IACnG,CAAC;IACD,IAAI,KAAK,KAAK,SAAS,IAAI,KAAK,GAAG,EAAE,EAAE,CAAC;QACvC,MAAM,MAAM,CAAC,GAAG,CACf,oCAAoC,KAAK,4DAA4D,CACrG,CAAA;IACF,CAAC;IACD,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,IAAI,EAAE,UAAU,EAAE,OAAO,EAAE,WAAW,EAAE,KAAK,EAAE,CAAC,CAAA;AACxE,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,SAAS,CAAC,KAAe,EAAE,KAAc;IACjD,IAAI,QAAQ,IAAI,KAAK,EAAE,CAAC;QACvB,OAAO,aAAa,CAAC,KAAK,CAAC,MAAM,EAAE,KAAK,CAAC,CAAA;IAC1C,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,SAAS,EAAE,KAAK,CAAC,CAAA;YAC1C,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,QAAQ,EAAE,KAAK,CAAC,CAAA;YACzC,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,QAAQ,EAAE,KAAK,CAAC,CAAA;YACzC,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,QAAQ,EAAE,KAAK,CAAC,CAAA;YACzC,CAAC;YACD,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,KAAK,EAAE,EAAE,CAAA;QAC3D,CAAC;QACD,KAAK,OAAO,EAAE,CAAC;YACd,IAAI,CAAC,CAAC,KAAK,YAAY,UAAU,CAAC,EAAE,CAAC;gBACpC,MAAM,iBAAiB,CAAC,YAAY,EAAE,KAAK,CAAC,CAAA;YAC7C,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;AAgBD,OAAO,EAAE,yBAAyB,EAAE,IAAI,EAAE,KAAK,EAAE,GAAG,EAAE,QAAQ,EAAE,SAAS,EAAE,IAAI,EAAE,GAAG,EAAE,GAAG,EAAE,CAAA"}