@bjornpagen/bumbledb 0.1.0 → 0.2.0

package/dist/face.d.ts

@@ -1,13 +1,19 @@
 /**
  * Faces — the projection-with-selection value both containments and
- * windows consume: `on(Account, "holder")`, `on(Account.where({ kind:
- * Kind.Savings }), "id")`, `on(Kind, "id")` (a closed relation's sealed
- * shape opens with its synthetic `id`). Projection is positional: tuple
- * order is preserved in the type, and the statement constructors pair the
- * two sides' tuples by arity (`SameArity`).
+ * windows consume: `on(Account, "holder")` the common single-field
+ * position, `on(Booking, ["room", "during"])` the composite/pointwise
+ * position (one spelling, arity-generic), `on(Account.where({ kind:
+ * Kind.Savings }), "id")` the σ-carrying source, `on(Kind, "id")` a closed
+ * relation's sealed shape opened through its synthetic `id`. Projection is
+ * positional: tuple order is preserved in the type, and the statement
+ * constructors pair the two sides' tuples by arity ({@link SameArity}) AND
+ * by domain ({@link SameDomains}) — the domain wall of the structural
+ * design: every projected field's domain LABEL is read off the schema type
+ * (`F["domain"]`, the S1 kernel) and compared positionwise by
+ * string-literal equality, never by any value brand.
  */
-import type { AnyClosed } from "#closed.ts";
-import type { AnyRelation, AnySelected, SelectionBinding } from "#relation.ts";
+import type { AnyClosed, PayloadField } from "#closed.ts";
+import type { AnyRelation, AnySelected, FieldsShape, RelationFields, SelectionBinding } from "#relation.ts";
 /**
  * A disjunctive literal set for a selection binding — `field == {A, B}`.
  * The signature of {@link oneOf} demands two leading literals, so the
@@ -32,15 +38,19 @@ interface FaceData {
     readonly selection: readonly SelectionBinding[];
 }
 /**
- * A face value. `P` is the projection tuple as written — the statement
- * constructors read its length for positional-arity pairing.
+ * A face value. `S` is the source exactly as written (the relation,
+ * selected relation, or closed relation `on()` was handed — the statement
+ * constructors resolve each projected field's DOMAIN through it), and `P`
+ * is the projection tuple as written (its length is the positional-pairing
+ * arity). Both are honest runtime properties, not phantoms.
  */
-interface Face<P extends readonly string[]> {
+interface Face<S extends FaceSource, P extends readonly string[]> {
+    readonly source: S;
     readonly projection: P;
     readonly data: FaceData;
 }
-/** Any face value, whatever its projection. */
-type AnyFace = Face<readonly string[]>;
+/** Any face value, whatever its source and projection. */
+type AnyFace = Face<FaceSource, readonly string[]>;
 /** What `on()` accepts: a relation, a selected relation, or a closed relation. */
 type FaceSource = AnyRelation | AnyClosed | AnySelected;
 /**
@@ -53,6 +63,32 @@ type FaceSource = AnyRelation | AnyClosed | AnySelected;
 type FaceFields<S extends FaceSource> = S extends AnySelected ? keyof S["relation"]["fields"] & string : S extends AnyRelation ? keyof S["fields"] & string : S extends {
     readonly axioms: Readonly<Record<string, infer Row>>;
 } ? "id" | (keyof Row & string) : never;
+/** One field's domain label within a declared field block (`undefined` when the name is foreign). */
+type DomainIn<Fields extends FieldsShape, K extends string> = K extends keyof Fields ? Fields[K]["domain"] : undefined;
+/**
+ * The domain LABEL of one projected field, read structurally off the
+ * source's schema type — an ordinary or selected relation's field carries
+ * its S1 descriptor's `domain`; a closed relation's synthetic `id` carries
+ * the handle domain (`"KindId"`), and its payload columns carry their own
+ * declared descriptors' labels through the closed value's typed `columns`
+ * carrier (whose runtime twin is the frozen `columns` record the mint
+ * carries), so a same-label closed-payload ↔ relation-field pairing
+ * compiles and a mismatched one refuses — the identical wall every other
+ * face position gets. The lowering carries the same label to the engine,
+ * which stays the final authority.
+ */
+type ProjectedDomain<S extends FaceSource, K extends string> = S extends AnySelected ? DomainIn<RelationFields<S["relation"]>, K> : S extends AnyRelation ? DomainIn<RelationFields<S>, K> : S extends {
+    readonly id: {
+        readonly domain: infer D extends string;
+    };
+    readonly columns: infer Cols extends Record<string, PayloadField>;
+} ? K extends "id" ? D : DomainIn<Cols, K> : undefined;
+/** The positionwise domain-label tuple of a projection over `S`. */
+type DomainsOf<S extends FaceSource, P extends readonly string[]> = {
+    readonly [I in keyof P]: ProjectedDomain<S, P[I] & string>;
+};
+/** The domain-label tuple a face projects, positionwise — the comparand of {@link SameDomains}. */
+type FaceDomains<F extends AnyFace> = F extends Face<infer S, infer P> ? DomainsOf<S, P> : never;
 /** The projection arity of a face. */
 type Arity<F extends AnyFace> = F["projection"]["length"];
 /**
@@ -73,19 +109,43 @@ interface FaceArityMismatch<Left, Right> {
  */
 type SameArity<A extends AnyFace, B extends AnyFace> = Arity<A> extends Arity<B> ? Arity<B> extends Arity<A> ? unknown : FaceArityMismatch<Arity<A>, Arity<B>> : FaceArityMismatch<Arity<A>, Arity<B>>;
 /**
- * Projects a face: `on(Account, "holder")`, `on(Account.where({...}),
- * "id")`. Field names are typechecked against the source; tuple order is
- * preserved (positional pairing with the other side, macro parity). At
- * least one field by signature — an empty projection has no meaning in the
- * statement grammar.
+ * The legible domain-mismatch verdict: when the two faces of a containment,
+ * bijection, or window project different domain labels at any position,
+ * this type is intersected into the second face's parameter and names both
+ * label tuples — a cross-domain pair is a COMPILE error, achieved by
+ * string-literal comparison of descriptor shapes (the structural design's
+ * ratified check), never by a value brand.
+ */
+interface FaceDomainMismatch<Left, Right> {
+    readonly "face domain mismatch — positionwise domain labels must be equal on both sides": readonly [Left, Right];
+}
+/**
+ * Resolves to `unknown` (a no-op intersection) when the two faces project
+ * positionwise-equal domain labels, and to {@link FaceDomainMismatch}
+ * otherwise. Equality is mutual tuple assignability over string-literal
+ * labels (`undefined` pairs only with `undefined` — an unlabeled field
+ * links only unlabeled fields, mirroring Rust where `u64` and `u64 as
+ * HolderId` are different host types).
+ */
+type SameDomains<A extends AnyFace, B extends AnyFace> = FaceDomains<A> extends FaceDomains<B> ? FaceDomains<B> extends FaceDomains<A> ? unknown : FaceDomainMismatch<FaceDomains<A>, FaceDomains<B>> : FaceDomainMismatch<FaceDomains<A>, FaceDomains<B>>;
+/**
+ * Projects a face — one spelling, arity-generic: `on(Account, "holder")`
+ * for the common single-field position, `on(Booking, ["room", "during"])`
+ * for the composite/pointwise position (the interval-pointwise `==` and
+ * coverage recipes), `on(Account.where({...}), "id")` for a σ-carrying
+ * source. Field names are typechecked against the source (unknown field =
+ * type error, names autocomplete); tuple order is preserved (positional
+ * pairing with the other side, macro parity). The empty projection is
+ * unwritable by signature — it has no meaning in the statement grammar.
  */
-declare function on<S extends FaceSource, const P extends readonly [FaceFields<S>, ...FaceFields<S>[]]>(source: S, ...projection: P): Face<P>;
+declare function on<S extends FaceSource, const F extends FaceFields<S>>(source: S, field: F): Face<S, readonly [F]>;
+declare function on<S extends FaceSource, const P extends readonly [FaceFields<S>, ...FaceFields<S>[]]>(source: S, fields: P): Face<S, P>;
 /**
  * Renders one face in the exact macro notation — `Name(p1, p2 | f == lit,
  * g == {a, b})`, the selection block only when σ is nonempty (the engine
  * renderer's own shape, `schema/render.rs`).
  */
 declare function renderFace(face: FaceData): string;
-export type { AnyFace, Arity, Face, FaceArityMismatch, FaceData, FaceFields, FaceOwner, FaceSource, OneOf, SameArity };
+export type { AnyFace, Arity, Face, FaceArityMismatch, FaceData, FaceDomainMismatch, FaceDomains, FaceFields, FaceOwner, FaceSource, OneOf, SameArity, SameDomains };
 export { on, oneOf, renderFace };
 //# sourceMappingURL=face.d.ts.map

package/dist/face.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"face.d.ts","sourceRoot":"","sources":["../src/face.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,YAAY,CAAA;AAC3C,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAsB9E;;;;;GAKG;AACH,UAAU,KAAK,CAAC,CAAC;IAChB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAA;CAC1C;AAED;;;;GAIG;AACH,iBAAS,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAI7D;AAED,8DAA8D;AAC9D,KAAK,SAAS,GAAG,WAAW,GAAG,SAAS,CAAA;AAExC,qFAAqF;AACrF,UAAU,QAAQ;IACjB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IACtC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED;;;GAGG;AACH,UAAU,IAAI,CAAC,CAAC,SAAS,SAAS,MAAM,EAAE;IACzC,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CACvB;AAED,+CAA+C;AAC/C,KAAK,OAAO,GAAG,IAAI,CAAC,SAAS,MAAM,EAAE,CAAC,CAAA;AAEtC,kFAAkF;AAClF,KAAK,UAAU,GAAG,WAAW,GAAG,SAAS,GAAG,WAAW,CAAA;AAEvD;;;;;;GAMG;AACH,KAAK,UAAU,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS,WAAW,GAC1D,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GACtC,CAAC,SAAS,WAAW,GACpB,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAC1B,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;CAAE,GACjE,IAAI,GAAG,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,GAC3B,KAAK,CAAA;AAEV,sCAAsC;AACtC,KAAK,KAAK,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAA;AAEzD;;;;GAIG;AACH,UAAU,iBAAiB,CAAC,IAAI,EAAE,KAAK;IACtC,QAAQ,CAAC,6FAA6F,EAAE,SAAS;QAChH,IAAI;QACJ,KAAK;KACL,CAAA;CACD;AAED;;;;GAIG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IAClD,KAAK,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,GACxB,OAAO,GACP,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GACtC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AAEzC;;;;;;GAMG;AACH,iBAAS,EAAE,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAC7F,MAAM,EAAE,CAAC,EACT,GAAG,UAAU,EAAE,CAAC,GACd,IAAI,CAAC,CAAC,CAAC,CAST;AAED;;;;GAIG;AACH,iBAAS,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAW1C;AAED,YAAY,EAAE,OAAO,EAAE,KAAK,EAAE,IAAI,EAAE,iBAAiB,EAAE,QAAQ,EAAE,UAAU,EAAE,SAAS,EAAE,UAAU,EAAE,KAAK,EAAE,SAAS,EAAE,CAAA;AACtH,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA"}
+{"version":3,"file":"face.d.ts","sourceRoot":"","sources":["../src/face.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAEH,OAAO,KAAK,EAAE,SAAS,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AACzD,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAsB3G;;;;;GAKG;AACH,UAAU,KAAK,CAAC,CAAC;IAChB,QAAQ,CAAC,QAAQ,EAAE,SAAS,CAAC,CAAC,EAAE,CAAC,EAAE,GAAG,CAAC,EAAE,CAAC,CAAA;CAC1C;AAED;;;;GAIG;AACH,iBAAS,KAAK,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,GAAG,IAAI,EAAE,CAAC,EAAE,GAAG,KAAK,CAAC,CAAC,CAAC,CAI7D;AAED,8DAA8D;AAC9D,KAAK,SAAS,GAAG,WAAW,GAAG,SAAS,CAAA;AAExC,qFAAqF;AACrF,UAAU,QAAQ;IACjB,QAAQ,CAAC,KAAK,EAAE,SAAS,CAAA;IACzB,QAAQ,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAA;IACtC,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED;;;;;;GAMG;AACH,UAAU,IAAI,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE;IAC/D,QAAQ,CAAC,MAAM,EAAE,CAAC,CAAA;IAClB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,IAAI,EAAE,QAAQ,CAAA;CACvB;AAED,0DAA0D;AAC1D,KAAK,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC,CAAA;AAElD,kFAAkF;AAClF,KAAK,UAAU,GAAG,WAAW,GAAG,SAAS,GAAG,WAAW,CAAA;AAEvD;;;;;;GAMG;AACH,KAAK,UAAU,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS,WAAW,GAC1D,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GACtC,CAAC,SAAS,WAAW,GACpB,MAAM,CAAC,CAAC,QAAQ,CAAC,GAAG,MAAM,GAC1B,CAAC,SAAS;IAAE,QAAQ,CAAC,MAAM,EAAE,QAAQ,CAAC,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,CAAC,CAAC,CAAA;CAAE,GACjE,IAAI,GAAG,CAAC,MAAM,GAAG,GAAG,MAAM,CAAC,GAC3B,KAAK,CAAA;AAEV,qGAAqG;AACrG,KAAK,QAAQ,CAAC,MAAM,SAAS,WAAW,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,MAAM,GAAG,MAAM,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,GAAG,SAAS,CAAA;AAEtH;;;;;;;;;;;GAWG;AACH,KAAK,eAAe,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,WAAW,GACjF,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GAC1C,CAAC,SAAS,WAAW,GACpB,QAAQ,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC9B,CAAC,SAAS;IACT,QAAQ,CAAC,EAAE,EAAE;QAAE,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAC,SAAS,MAAM,CAAA;KAAE,CAAA;IACxD,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;CACjE,GACA,CAAC,SAAS,IAAI,GACb,CAAC,GACD,QAAQ,CAAC,IAAI,EAAE,CAAC,CAAC,GAClB,SAAS,CAAA;AAEd,oEAAoE;AACpE,KAAK,SAAS,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;IACnE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,eAAe,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;CAC1D,CAAA;AAED,mGAAmG;AACnG,KAAK,WAAW,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA;AAEhG,sCAAsC;AACtC,KAAK,KAAK,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,CAAC,YAAY,CAAC,CAAC,QAAQ,CAAC,CAAA;AAEzD;;;;GAIG;AACH,UAAU,iBAAiB,CAAC,IAAI,EAAE,KAAK;IACtC,QAAQ,CAAC,6FAA6F,EAAE,SAAS;QAChH,IAAI;QACJ,KAAK;KACL,CAAA;CACD;AAED;;;;GAIG;AACH,KAAK,SAAS,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IAClD,KAAK,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,GACtB,KAAK,CAAC,CAAC,CAAC,SAAS,KAAK,CAAC,CAAC,CAAC,GACxB,OAAO,GACP,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,GACtC,iBAAiB,CAAC,KAAK,CAAC,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,CAAA;AAEzC;;;;;;;GAOG;AACH,UAAU,kBAAkB,CAAC,IAAI,EAAE,KAAK;IACvC,QAAQ,CAAC,+EAA+E,EAAE,SAAS,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;CAChH;AAED;;;;;;;GAOG;AACH,KAAK,WAAW,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IACpD,WAAW,CAAC,CAAC,CAAC,SAAS,WAAW,CAAC,CAAC,CAAC,GAClC,WAAW,CAAC,CAAC,CAAC,SAAS,WAAW,CAAC,CAAC,CAAC,GACpC,OAAO,GACP,kBAAkB,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,GACnD,kBAAkB,CAAC,WAAW,CAAC,CAAC,CAAC,EAAE,WAAW,CAAC,CAAC,CAAC,CAAC,CAAA;AAEtD;;;;;;;;;GASG;AACH,iBAAS,EAAE,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,EAAE,MAAM,EAAE,CAAC,EAAE,KAAK,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,EAAE,SAAS,CAAC,CAAC,CAAC,CAAC,CAAA;AAC5G,iBAAS,EAAE,CAAC,CAAC,SAAS,UAAU,EAAE,KAAK,CAAC,CAAC,SAAS,SAAS,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,GAAG,UAAU,CAAC,CAAC,CAAC,EAAE,CAAC,EAC7F,MAAM,EAAE,CAAC,EACT,MAAM,EAAE,CAAC,GACP,IAAI,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;AAYb;;;;GAIG;AACH,iBAAS,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAW1C;AAED,YAAY,EACX,OAAO,EACP,KAAK,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,EACR,kBAAkB,EAClB,WAAW,EACX,UAAU,EACV,SAAS,EACT,UAAU,EACV,KAAK,EACL,SAAS,EACT,WAAW,EACX,CAAA;AACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA"}

package/dist/face.js

@@ -1,10 +1,16 @@
 /**
  * Faces — the projection-with-selection value both containments and
- * windows consume: `on(Account, "holder")`, `on(Account.where({ kind:
- * Kind.Savings }), "id")`, `on(Kind, "id")` (a closed relation's sealed
- * shape opens with its synthetic `id`). Projection is positional: tuple
- * order is preserved in the type, and the statement constructors pair the
- * two sides' tuples by arity (`SameArity`).
+ * windows consume: `on(Account, "holder")` the common single-field
+ * position, `on(Booking, ["room", "during"])` the composite/pointwise
+ * position (one spelling, arity-generic), `on(Account.where({ kind:
+ * Kind.Savings }), "id")` the σ-carrying source, `on(Kind, "id")` a closed
+ * relation's sealed shape opened through its synthetic `id`. Projection is
+ * positional: tuple order is preserved in the type, and the statement
+ * constructors pair the two sides' tuples by arity ({@link SameArity}) AND
+ * by domain ({@link SameDomains}) — the domain wall of the structural
+ * design: every projected field's domain LABEL is read off the schema type
+ * (`F["domain"]`, the S1 kernel) and compared positionwise by
+ * string-literal equality, never by any value brand.
  */
 import { renderLiteralSet } from "#spec.ts";
 /** The empty σ of a selection-free face, shared by every bare projection. */
@@ -31,22 +37,15 @@ function oneOf(first, second, ...rest) {
     Object.freeze(literals);
     return Object.freeze({ literals });
 }
-/**
- * Projects a face: `on(Account, "holder")`, `on(Account.where({...}),
- * "id")`. Field names are typechecked against the source; tuple order is
- * preserved (positional pairing with the other side, macro parity). At
- * least one field by signature — an empty projection has no meaning in the
- * statement grammar.
- */
-function on(source, ...projection) {
+function on(source, fields) {
+    const projection = Object.freeze(typeof fields === "string" ? [fields] : [...fields]);
     const parts = faceParts(source);
-    Object.freeze(projection);
     const data = Object.freeze({
         owner: parts.owner,
         projection,
         selection: parts.selection
     });
-    return Object.freeze({ projection, data });
+    return Object.freeze({ source, projection, data });
 }
 /**
  * Renders one face in the exact macro notation — `Name(p1, p2 | f == lit,

package/dist/face.js.map

@@ -1 +1 @@
-{"version":3,"file":"face.js","sourceRoot":"","sources":["../src/face.ts"],"names":[],"mappings":"AAAA;;;;;;;GAOG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAE3C,6EAA6E;AAC7E,MAAM,cAAc,GAAgC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAErE;;;;;GAKG;AACH,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;AAYD;;;;GAIG;AACH,SAAS,KAAK,CAAI,KAAQ,EAAE,MAAS,EAAE,GAAG,IAAS;IAClD,MAAM,QAAQ,GAA4B,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAA;IAClE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACvB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA;AACnC,CAAC;AAqED;;;;;;GAMG;AACH,SAAS,EAAE,CACV,MAAS,EACT,GAAG,UAAa;IAEhB,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC/B,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAA;IACzB,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,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;AAC3C,CAAC;AAED;;;;GAIG;AACH,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;AAGD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA"}
+{"version":3,"file":"face.js","sourceRoot":"","sources":["../src/face.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;GAaG;AAIH,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAE3C,6EAA6E;AAC7E,MAAM,cAAc,GAAgC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAErE;;;;;GAKG;AACH,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;AAYD;;;;GAIG;AACH,SAAS,KAAK,CAAI,KAAQ,EAAE,MAAS,EAAE,GAAG,IAAS;IAClD,MAAM,QAAQ,GAA4B,CAAC,KAAK,EAAE,MAAM,EAAE,GAAG,IAAI,CAAC,CAAA;IAClE,MAAM,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;IACvB,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAA;AACnC,CAAC;AAuJD,SAAS,EAAE,CAAC,MAAkB,EAAE,MAAkC;IACjE,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,OAAO,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;AACnD,CAAC;AAED;;;;GAIG;AACH,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;AAiBD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA"}

package/dist/fields.d.ts

@@ -1,134 +1,168 @@
 /**
- * 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`), STRUCTURAL edition: `bool`, `u64`, `i64`,
+ * `str`, `bytes(n)`, `interval(u64|i64[, width])`, each a plain frozen value
+ * that IS its own descriptor type — `{ kind, domain, fresh?, width?,
+ * element? }` — 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. The domain is a string LABEL in the
+ * descriptor type, attached by `.as("HolderId")` (the mirror of Rust's
+ * `as HolderId`); same-string domains link fields, and the relational
+ * builders (statements, queries) compare the labels structurally — the
+ * domain wall lives in the builders and the engine, never on the value.
+ * The macro's refusals are reproduced representationally: `.as` exists only
+ * where Rust's `as` is legal (u64, i64, bytes, intervals — never bool/str),
+ * `.fresh` exists only on u64 (bare or after `.as`), 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 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).
+ * A half-open interval `[start, end)` as a plain value object — the ONE
+ * interval value type, whatever the field's element domain or width label.
+ * The ray is representable (`end` = the element domain'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 ClosedRoster {
-    readonly name: string;
-    readonly handles: readonly string[];
+interface IntervalValue {
+    readonly start: bigint;
+    readonly end: bigint;
 }
 /**
- * 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.
+ * 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.
  */
-interface FieldData<Minted extends boolean = boolean> {
-    readonly type: ValueTypeSpec;
-    readonly newtype: string | undefined;
-    readonly minted: Minted;
-    readonly closed: ClosedRoster | undefined;
-}
+declare function span(start: bigint, end: bigint): IntervalValue;
 /**
- * The base shape every field value shares: runtime data plus the phantom
- * host value type `V` (never present at runtime).
+ * A closed relation's roster as seen from a referencing field: the handle
+ * namespace `where()` selections and ground axioms resolve bare handle ids
+ * through (the macro's own rule: a handle is legal exactly on a field whose
+ * domain is a closed relation's handle domain).
  */
-interface Field<V> {
-    readonly data: FieldData;
-    readonly [phantom]?: V;
+interface ClosedRoster {
+    readonly name: string;
+    readonly handles: readonly string[];
 }
-/** 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>;
+/** The `bool` field descriptor: value type `boolean`. No `.as`, no `.fresh` (macro parity). */
+interface BoolField {
+    readonly kind: "bool";
+    readonly domain: undefined;
 }
-/** The `str` field: host type `string`. No `.newtype`, no `.fresh` (macro parity). */
-interface StrField extends Field<string> {
-    readonly data: FieldData<false>;
+/** The `str` field descriptor: value type `string`. No `.as`, no `.fresh` (macro parity). */
+interface StrField {
+    readonly kind: "str";
+    readonly domain: undefined;
 }
 /**
- * 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 `fresh`-marked u64 field descriptor — `id: u64.as("AccountId").fresh`
+ * (Rust: `id: u64 as AccountId, 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`). Terminal: no builder
+ * property survives the mark.
  */
-interface FreshU64Newtype<Name extends string> extends Field<Brand<bigint, Name>> {
-    readonly data: FieldData<true>;
+interface FreshU64Field<Domain extends string | undefined = undefined> {
+    readonly kind: "u64";
+    readonly domain: Domain;
+    readonly fresh: true;
 }
 /**
- * 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).
+ * A domain-labeled u64 field descriptor — `const HolderId =
+ * u64.as("HolderId")` (Rust: `u64 as HolderId`). The label lives in the
+ * descriptor type only; the value type stays bare `bigint`. `.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 U64Newtype<Name extends string> extends Field<Brand<bigint, Name>> {
-    readonly data: FieldData<false>;
-    readonly fresh: FreshU64Newtype<Name>;
+interface U64Field<Domain extends string | undefined = undefined> {
+    readonly kind: "u64";
+    readonly domain: Domain;
+    readonly fresh: FreshU64Field<Domain>;
 }
-/** 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>;
+/** The `u64` constructor value: a bare u64 descriptor plus `.as` (one application — `.as` is absent on the result). */
+interface U64Ctor extends U64Field<undefined> {
+    as<const Domain extends string>(domain: Domain): U64Field<Domain>;
 }
-/** 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>;
+/** A domain-labeled i64 field descriptor. Terminal: `.fresh` is legal on u64 only. */
+interface I64Field<Domain extends string | undefined = undefined> {
+    readonly kind: "i64";
+    readonly domain: Domain;
 }
-/** 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>;
+/** The `i64` constructor value: a bare i64 descriptor plus `.as`. */
+interface I64Ctor extends I64Field<undefined> {
+    as<const Domain extends string>(domain: Domain): I64Field<Domain>;
 }
-/** 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 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 BytesField<Width extends number = number, Domain extends string | undefined = undefined> {
+    readonly kind: "bytes";
+    readonly width: Width;
+    readonly domain: Domain;
 }
-/** 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 `bytes(n)` constructor value: a bare bytes descriptor plus `.as`. */
+interface BytesCtor<Width extends number = number> extends BytesField<Width, undefined> {
+    as<const Domain extends string>(domain: Domain): BytesField<Width, Domain>;
 }
-/** 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 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 IntervalField<Element extends "u64" | "i64" = "u64" | "i64", Width extends bigint | undefined = bigint | undefined, Domain extends string | undefined = undefined> {
+    readonly kind: "interval";
+    readonly element: Element;
+    readonly width: Width;
+    readonly domain: Domain;
 }
-/** 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>;
+/** An `interval(e[, w])` constructor value: a bare interval descriptor plus `.as`. */
+interface IntervalCtor<Element extends "u64" | "i64" = "u64" | "i64", Width extends bigint | undefined = bigint | undefined> extends IntervalField<Element, Width, undefined> {
+    as<const Domain extends string>(domain: Domain): IntervalField<Element, Width, Domain>;
 }
 /**
- * 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 whose domain is the closed relation's handle domain
+ * (`"KindId"`, mirroring Rust's `closed relation Kind as KindId`) and
+ * whose roster resolves bare handle ids in selections and ground axioms.
+ * Terminal: no `.as`, no `.fresh` — its domain IS the closed relation's.
  */
-type Infer<F extends AnyField> = F extends Field<infer V> ? V : never;
+interface ClosedIdField<Domain extends string = string> {
+    readonly kind: "u64";
+    readonly domain: Domain;
+    readonly closed: ClosedRoster;
+}
+/** Any field descriptor, whatever its kind, domain label, or marks. */
+type AnyField = BoolField | StrField | U64Field<string | undefined> | FreshU64Field<string | undefined> | I64Field<string | undefined> | BytesField<number, string | undefined> | IntervalField<"u64" | "i64", bigint | undefined, string | undefined> | 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` (domain labels
+ * included — the label never touches the value), `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 +174,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. */
-declare const u64: U64Field;
-/** The one `i64` field constructor value. */
-declare const i64: I64Field;
-/** The one `bool` field constructor value. */
+/** The one `u64` constructor value. */
+declare const u64: U64Ctor;
+/** The one `i64` constructor value. */
+declare const i64: I64Ctor;
+/** 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): BytesCtor<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 U64Ctor | I64Ctor>(element: Element): IntervalCtor<Element["kind"], undefined>;
+declare function interval<Element extends U64Ctor | I64Ctor, const Width extends bigint>(element: Element, width: Width): IntervalCtor<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, BytesCtor, BytesField, ClosedIdField, ClosedRoster, FreshU64Field, I64Ctor, I64Field, Infer, IntervalCtor, IntervalField, IntervalValue, StrField, U64Ctor, 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;;;;;;;;;;;;;;;;;;GAkBG;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,+FAA+F;AAC/F,UAAU,SAAS;IAClB,QAAQ,CAAC,IAAI,EAAE,MAAM,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC1B;AAED,6FAA6F;AAC7F,UAAU,QAAQ;IACjB,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,SAAS,CAAA;CAC1B;AAED;;;;;;;GAOG;AACH,UAAU,aAAa,CAAC,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS;IACpE,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,IAAI,CAAA;CACpB;AAED;;;;;;;GAOG;AACH,UAAU,QAAQ,CAAC,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS;IAC/D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,KAAK,EAAE,aAAa,CAAC,MAAM,CAAC,CAAA;CACrC;AAED,uHAAuH;AACvH,UAAU,OAAQ,SAAQ,QAAQ,CAAC,SAAS,CAAC;IAC5C,EAAE,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;CACjE;AAED,sFAAsF;AACtF,UAAU,QAAQ,CAAC,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS;IAC/D,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB;AAED,qEAAqE;AACrE,UAAU,OAAQ,SAAQ,QAAQ,CAAC,SAAS,CAAC;IAC5C,EAAE,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,QAAQ,CAAC,MAAM,CAAC,CAAA;CACjE;AAED;;;;;GAKG;AACH,UAAU,UAAU,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,EAAE,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS;IAChG,QAAQ,CAAC,IAAI,EAAE,OAAO,CAAA;IACtB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB;AAED,0EAA0E;AAC1E,UAAU,SAAS,CAAC,KAAK,SAAS,MAAM,GAAG,MAAM,CAAE,SAAQ,UAAU,CAAC,KAAK,EAAE,SAAS,CAAC;IACtF,EAAE,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,UAAU,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;CAC1E;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,EACrD,MAAM,SAAS,MAAM,GAAG,SAAS,GAAG,SAAS;IAE7C,QAAQ,CAAC,IAAI,EAAE,UAAU,CAAA;IACzB,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;IACzB,QAAQ,CAAC,KAAK,EAAE,KAAK,CAAA;IACrB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;CACvB;AAED,sFAAsF;AACtF,UAAU,YAAY,CACrB,OAAO,SAAS,KAAK,GAAG,KAAK,GAAG,KAAK,GAAG,KAAK,EAC7C,KAAK,SAAS,MAAM,GAAG,SAAS,GAAG,MAAM,GAAG,SAAS,CACpD,SAAQ,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,SAAS,CAAC;IACjD,EAAE,CAAC,KAAK,CAAC,MAAM,SAAS,MAAM,EAAE,MAAM,EAAE,MAAM,GAAG,aAAa,CAAC,OAAO,EAAE,KAAK,EAAE,MAAM,CAAC,CAAA;CACtF;AAED;;;;;;GAMG;AACH,UAAU,aAAa,CAAC,MAAM,SAAS,MAAM,GAAG,MAAM;IACrD,QAAQ,CAAC,IAAI,EAAE,KAAK,CAAA;IACpB,QAAQ,CAAC,MAAM,EAAE,MAAM,CAAA;IACvB,QAAQ,CAAC,MAAM,EAAE,YAAY,CAAA;CAC7B;AAED,uEAAuE;AACvE,KAAK,QAAQ,GACV,SAAS,GACT,QAAQ,GACR,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,GAC5B,aAAa,CAAC,MAAM,GAAG,SAAS,CAAC,GACjC,QAAQ,CAAC,MAAM,GAAG,SAAS,CAAC,GAC5B,UAAU,CAAC,MAAM,EAAE,MAAM,GAAG,SAAS,CAAC,GACtC,aAAa,CAAC,KAAK,GAAG,KAAK,EAAE,MAAM,GAAG,SAAS,EAAE,MAAM,GAAG,SAAS,CAAC,GACpE,aAAa,CAAA;AAEhB;;;;;;GAMG;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;AAOD,uCAAuC;AACvC,QAAA,MAAM,GAAG,EAAE,OAOT,CAAA;AAEF,uCAAuC;AACvC,QAAA,MAAM,GAAG,EAAE,OAMT,CAAA;AAEF,wCAAwC;AACxC,QAAA,MAAM,IAAI,EAAE,SAA8D,CAAA;AAE1E,uCAAuC;AACvC,QAAA,MAAM,GAAG,EAAE,QAA4D,CAAA;AAEvE;;;;;;GAMG;AACH,iBAAS,KAAK,CAAC,KAAK,CAAC,KAAK,SAAS,MAAM,EAAE,KAAK,EAAE,KAAK,GAAG,SAAS,CAAC,KAAK,CAAC,CAczE;AAED;;;;;;;;GAQG;AACH,iBAAS,QAAQ,CAAC,OAAO,SAAS,OAAO,GAAG,OAAO,EAAE,OAAO,EAAE,OAAO,GAAG,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,SAAS,CAAC,CAAA;AAChH,iBAAS,QAAQ,CAAC,OAAO,SAAS,OAAO,GAAG,OAAO,EAAE,KAAK,CAAC,KAAK,SAAS,MAAM,EAC9E,OAAO,EAAE,OAAO,EAChB,KAAK,EAAE,KAAK,GACV,YAAY,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,KAAK,CAAC,CAAA;AAsBvC;;;;;;;;GAQG;AACH,iBAAS,SAAS,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,OAAO,GAAG,WAAW,CAsC/D;AAED,YAAY,EACX,QAAQ,EACR,SAAS,EACT,SAAS,EACT,UAAU,EACV,aAAa,EACb,YAAY,EACZ,aAAa,EACb,OAAO,EACP,QAAQ,EACR,KAAK,EACL,YAAY,EACZ,aAAa,EACb,aAAa,EACb,QAAQ,EACR,OAAO,EACP,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"}