@bjornpagen/bumbledb 0.1.0 → 0.3.0

package/dist/face.d.ts

@@ -1,13 +1,34 @@
 /**
  * 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`,
+ * `on(Kind.where({ mastered: true }), "id")` the ψ-selected closed source
+ * (the selection lowered as-is — the ENGINE folds it against the sealed
+ * extension at validate, never the SDK). 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 structural shape ({@link SameShapes}) — every projected field's
+ * kind/width/element triple is read off the schema type (the minimal
+ * kernel: descriptors are pure structure) and compared positionwise. There
+ * is no domain to compare at construction — domains are LAW-BORN: the
+ * statements themselves define the equivalence classes, and `schema()` is
+ * where they aggregate and get judged (the one-generator-per-class wall).
  */
-import type { AnyClosed } from "#closed.ts";
-import type { AnyRelation, AnySelected, SelectionBinding } from "#relation.ts";
+import type { AnyClosed, AnySelectedClosed, PayloadField } from "#closed.ts";
+import type { AnyField } from "#fields.ts";
+import type { AnyRelation, AnySelected, FieldsShape, RelationFields, SelectionBinding } from "#relation.ts";
+/**
+ * The OWNER a face source resolves to: a selected relation — ordinary σ or
+ * closed ψ, one shape — projects from its underlying relation; a bare
+ * relation or closed relation is its own owner. The type-level twin of
+ * {@link faceParts}'s split, and what a statement's face `data` carries at
+ * its EXACT type — `schema()`'s law-typing reads the owner's literal name
+ * (and the projection tuple) straight off the statement type.
+ */
+type OwnerOf<S extends FaceSource> = S extends AnySelected | AnySelectedClosed ? S["relation"] : S;
 /**
  * A disjunctive literal set for a selection binding — `field == {A, B}`.
  * The signature of {@link oneOf} demands two leading literals, so the
@@ -25,34 +46,90 @@ interface OneOf<V> {
 declare function oneOf<V>(first: V, second: V, ...rest: V[]): OneOf<V>;
 /** The relation a face projects from — ordinary or closed. */
 type FaceOwner = AnyRelation | AnyClosed;
-/** A face's runtime description: owner, π (written order), σ (resolved bindings). */
-interface FaceData {
-    readonly owner: FaceOwner;
-    readonly projection: readonly string[];
+/**
+ * A face's runtime description: owner, π (written order), σ (resolved
+ * bindings). Generic over the owner and projection so a STATEMENT value
+ * carries its paired coordinates at their exact types — the honest runtime
+ * properties (`owner.name`, `projection`) ARE the type-level carrier
+ * `schema()`'s law-typing reads; the defaults are the wide shape every
+ * renderer and lowering walk consumes.
+ */
+interface FaceData<O extends FaceOwner = FaceOwner, P extends readonly string[] = readonly string[]> {
+    readonly owner: O;
+    readonly projection: P;
     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 — and `data`
+ * carries the resolved owner at its exact type, which is what a statement
+ * value hands to `schema()`'s law-typing.
  */
-interface Face<P extends readonly string[]> {
+interface Face<S extends FaceSource, P extends readonly string[]> {
+    readonly source: S;
     readonly projection: P;
-    readonly data: FaceData;
+    readonly data: FaceData<OwnerOf<S>, P>;
 }
-/** Any face value, whatever its projection. */
-type AnyFace = Face<readonly string[]>;
-/** What `on()` accepts: a relation, a selected relation, or a closed relation. */
-type FaceSource = AnyRelation | AnyClosed | AnySelected;
+/** Any face value, whatever its source and projection. */
+type AnyFace = Face<FaceSource, readonly string[]>;
+/** What `on()` accepts: a relation, a closed relation, or either with a selection applied. */
+type FaceSource = AnyRelation | AnyClosed | AnySelected | AnySelectedClosed;
 /**
  * The field names a face over `S` may project: a relation's declared
  * fields; a selected relation's underlying fields; a closed relation's
- * SEALED shape — the synthetic `id` plus its declared payload columns
- * (`docs/architecture/70-api.md`: statement field names address the sealed
- * shape).
+ * SEALED shape — the synthetic `id` plus its declared payload columns,
+ * bare or ψ-selected alike (`docs/architecture/70-api.md`: statement field
+ * names address the sealed shape).
  */
-type FaceFields<S extends FaceSource> = S extends AnySelected ? keyof S["relation"]["fields"] & string : S extends AnyRelation ? keyof S["fields"] & string : S extends {
+type FaceFields<S extends FaceSource> = S extends AnySelected ? keyof S["relation"]["fields"] & string : S extends AnySelectedClosed ? "id" | (keyof S["relation"]["columns"] & string) : S extends AnyRelation ? keyof S["fields"] & string : S extends {
     readonly axioms: Readonly<Record<string, infer Row>>;
 } ? "id" | (keyof Row & string) : never;
+/**
+ * One descriptor's structural comparand: the kind/width/element triple —
+ * exactly the structure the minimal kernel carries, compared exactly as the
+ * engine's Q1 law pairs positions (`schema/validate.rs`): a `bytes` width is
+ * bound (bytes<16> vs bytes<32> mismatch), while an INTERVAL width is FREE —
+ * the pointwise judgments quantify over points, which carry an element
+ * domain and not a width, so `interval(u64)` pairs with `interval(u64, 1n)`
+ * (recipe 9's extent/slot mirrors, recipe 29's mixed-width zones) and the
+ * width slot reads `undefined` for every interval. Elements stay bound:
+ * u64-vs-i64 interval pairs still mismatch.
+ */
+type ShapeOf<F extends AnyField> = readonly [
+    F["kind"],
+    F extends {
+        readonly element: unknown;
+    } ? undefined : F extends {
+        readonly width: infer W;
+    } ? W : undefined,
+    F extends {
+        readonly element: infer E;
+    } ? E : undefined
+];
+/** One field's structural shape within a declared field block (`undefined` when the name is foreign). */
+type ShapeIn<Fields extends FieldsShape, K extends string> = K extends keyof Fields ? ShapeOf<Fields[K]> : undefined;
+/**
+ * The structural SHAPE of one projected field, read off the source's
+ * schema type — an ordinary or selected relation's field contributes its
+ * descriptor's triple; a closed relation (bare or ψ-selected) contributes
+ * its synthetic `id` as a u64 and its payload columns' declared
+ * descriptors' triples through the closed value's typed `columns` carrier
+ * (whose runtime twin is the frozen `columns` record the mint carries).
+ * The engine stays the final authority at `Db.create`/`Db.open`.
+ */
+type ProjectedShape<S extends FaceSource, K extends string> = S extends AnySelected ? ShapeIn<RelationFields<S["relation"]>, K> : S extends AnySelectedClosed ? K extends "id" ? ShapeOf<S["relation"]["id"]> : ShapeIn<S["relation"]["columns"], K> : S extends AnyRelation ? ShapeIn<RelationFields<S>, K> : S extends {
+    readonly id: infer Id extends AnyField;
+    readonly columns: infer Cols extends Record<string, PayloadField>;
+} ? K extends "id" ? ShapeOf<Id> : ShapeIn<Cols, K> : undefined;
+/** The positionwise structural-shape tuple of a projection over `S`. */
+type ShapesOf<S extends FaceSource, P extends readonly string[]> = {
+    readonly [I in keyof P]: ProjectedShape<S, P[I] & string>;
+};
+/** The shape tuple a face projects, positionwise — the comparand of {@link SameShapes}. */
+type FaceShapes<F extends AnyFace> = F extends Face<infer S, infer P> ? ShapesOf<S, P> : never;
 /** The projection arity of a face. */
 type Arity<F extends AnyFace> = F["projection"]["length"];
 /**
@@ -73,19 +150,47 @@ 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 shape-mismatch verdict: when the two faces of a containment,
+ * bijection, or window project structurally incompatible fields at any
+ * position, this type is intersected into the second face's parameter and
+ * names both shape tuples — a u64 face against a str face, a bytes width
+ * mismatch, or an interval element mismatch is a COMPILE error.
+ */
+interface FaceShapeMismatch<Left, Right> {
+    readonly "face shape mismatch — positionwise kind, width, and element must be equal on both sides": readonly [
+        Left,
+        Right
+    ];
+}
+/**
+ * Resolves to `unknown` (a no-op intersection) when the two faces project
+ * positionwise-equal structural shapes, and to {@link FaceShapeMismatch}
+ * otherwise. Equality is mutual tuple assignability over the
+ * kind/width/element triples. This is the whole construction-time wall —
+ * deliberately: there is no domain to compare here. The domain wall lives
+ * where domains are BORN: `schema()` computes every field's class from the
+ * statement list and holds the one-generator-per-class law, and query
+ * joins compare class names off the schema type.
+ */
+type SameShapes<A extends AnyFace, B extends AnyFace> = FaceShapes<A> extends FaceShapes<B> ? FaceShapes<B> extends FaceShapes<A> ? unknown : FaceShapeMismatch<FaceShapes<A>, FaceShapes<B>> : FaceShapeMismatch<FaceShapes<A>, FaceShapes<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, FaceFields, FaceOwner, FaceShapeMismatch, FaceShapes, FaceSource, OneOf, OwnerOf, SameArity, SameShapes };
 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;;;;;;;;;;;;;;;;;;GAkBG;AAGH,OAAO,KAAK,EAAE,SAAS,EAAE,iBAAiB,EAAE,YAAY,EAAE,MAAM,YAAY,CAAA;AAC5E,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,YAAY,CAAA;AAC1C,OAAO,KAAK,EAAE,WAAW,EAAE,WAAW,EAAE,WAAW,EAAE,cAAc,EAAE,gBAAgB,EAAE,MAAM,cAAc,CAAA;AAM3G;;;;;;;GAOG;AACH,KAAK,OAAO,CAAC,CAAC,SAAS,UAAU,IAAI,CAAC,SAAS,WAAW,GAAG,iBAAiB,GAAG,CAAC,CAAC,UAAU,CAAC,GAAG,CAAC,CAAA;AAmBlG;;;;;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;;;;;;;GAOG;AACH,UAAU,QAAQ,CAAC,CAAC,SAAS,SAAS,GAAG,SAAS,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,GAAG,SAAS,MAAM,EAAE;IAClG,QAAQ,CAAC,KAAK,EAAE,CAAC,CAAA;IACjB,QAAQ,CAAC,UAAU,EAAE,CAAC,CAAA;IACtB,QAAQ,CAAC,SAAS,EAAE,SAAS,gBAAgB,EAAE,CAAA;CAC/C;AAED;;;;;;;;GAQG;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,CAAC,OAAO,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;CACtC;AAED,0DAA0D;AAC1D,KAAK,OAAO,GAAG,IAAI,CAAC,UAAU,EAAE,SAAS,MAAM,EAAE,CAAC,CAAA;AAElD,8FAA8F;AAC9F,KAAK,UAAU,GAAG,WAAW,GAAG,SAAS,GAAG,WAAW,GAAG,iBAAiB,CAAA;AAE3E;;;;;;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,iBAAiB,GAC1B,IAAI,GAAG,CAAC,MAAM,CAAC,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,GAAG,MAAM,CAAC,GAChD,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;AAEX;;;;;;;;;;GAUG;AACH,KAAK,OAAO,CAAC,CAAC,SAAS,QAAQ,IAAI,SAAS;IAC3C,CAAC,CAAC,MAAM,CAAC;IACT,CAAC,SAAS;QAAE,QAAQ,CAAC,OAAO,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,GAAG,CAAC,SAAS;QAAE,QAAQ,CAAC,KAAK,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,SAAS;IAC3G,CAAC,SAAS;QAAE,QAAQ,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;KAAE,GAAG,CAAC,GAAG,SAAS;CACvD,CAAA;AAED,yGAAyG;AACzG,KAAK,OAAO,CAAC,MAAM,SAAS,WAAW,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,GAAG,SAAS,CAAA;AAEpH;;;;;;;;GAQG;AACH,KAAK,cAAc,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,MAAM,IAAI,CAAC,SAAS,WAAW,GAChF,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,EAAE,CAAC,CAAC,GACzC,CAAC,SAAS,iBAAiB,GAC1B,CAAC,SAAS,IAAI,GACb,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,IAAI,CAAC,CAAC,GAC5B,OAAO,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,SAAS,CAAC,EAAE,CAAC,CAAC,GACrC,CAAC,SAAS,WAAW,GACpB,OAAO,CAAC,cAAc,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,GAC7B,CAAC,SAAS;IACT,QAAQ,CAAC,EAAE,EAAE,MAAM,EAAE,SAAS,QAAQ,CAAA;IACtC,QAAQ,CAAC,OAAO,EAAE,MAAM,IAAI,SAAS,MAAM,CAAC,MAAM,EAAE,YAAY,CAAC,CAAA;CACjE,GACA,CAAC,SAAS,IAAI,GACb,OAAO,CAAC,EAAE,CAAC,GACX,OAAO,CAAC,IAAI,EAAE,CAAC,CAAC,GACjB,SAAS,CAAA;AAEf,wEAAwE;AACxE,KAAK,QAAQ,CAAC,CAAC,SAAS,UAAU,EAAE,CAAC,SAAS,SAAS,MAAM,EAAE,IAAI;IAClE,QAAQ,EAAE,CAAC,IAAI,MAAM,CAAC,GAAG,cAAc,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC;CACzD,CAAA;AAED,2FAA2F;AAC3F,KAAK,UAAU,CAAC,CAAC,SAAS,OAAO,IAAI,CAAC,SAAS,IAAI,CAAC,MAAM,CAAC,EAAE,MAAM,CAAC,CAAC,GAAG,QAAQ,CAAC,CAAC,EAAE,CAAC,CAAC,GAAG,KAAK,CAAA;AAE9F,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,UAAU,iBAAiB,CAAC,IAAI,EAAE,KAAK;IACtC,QAAQ,CAAC,yFAAyF,EAAE,SAAS;QAC5G,IAAI;QACJ,KAAK;KACL,CAAA;CACD;AAED;;;;;;;;;GASG;AACH,KAAK,UAAU,CAAC,CAAC,SAAS,OAAO,EAAE,CAAC,SAAS,OAAO,IACnD,UAAU,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GAChC,UAAU,CAAC,CAAC,CAAC,SAAS,UAAU,CAAC,CAAC,CAAC,GAClC,OAAO,GACP,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,GAChD,iBAAiB,CAAC,UAAU,CAAC,CAAC,CAAC,EAAE,UAAU,CAAC,CAAC,CAAC,CAAC,CAAA;AAEnD;;;;;;;;;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;AAsCb;;;;GAIG;AACH,iBAAS,UAAU,CAAC,IAAI,EAAE,QAAQ,GAAG,MAAM,CAW1C;AAED,YAAY,EACX,OAAO,EACP,KAAK,EACL,IAAI,EACJ,iBAAiB,EACjB,QAAQ,EACR,UAAU,EACV,SAAS,EACT,iBAAiB,EACjB,UAAU,EACV,UAAU,EACV,KAAK,EACL,OAAO,EACP,SAAS,EACT,UAAU,EACV,CAAA;AACD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA"}

package/dist/face.js

@@ -1,19 +1,32 @@
 /**
  * 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`,
+ * `on(Kind.where({ mastered: true }), "id")` the ψ-selected closed source
+ * (the selection lowered as-is — the ENGINE folds it against the sealed
+ * extension at validate, never the SDK). 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 structural shape ({@link SameShapes}) — every projected field's
+ * kind/width/element triple is read off the schema type (the minimal
+ * kernel: descriptors are pure structure) and compared positionwise. There
+ * is no domain to compare at construction — domains are LAW-BORN: the
+ * statements themselves define the equivalence classes, and `schema()` is
+ * where they aggregate and get judged (the one-generator-per-class wall).
  */
+import * as errors from "@superbuilders/errors";
 import { renderLiteralSet } from "#spec.ts";
 /** The empty σ of a selection-free face, shared by every bare projection. */
 const emptySelection = Object.freeze([]);
 /**
- * Splits a face source into its owner and σ: a selected relation carries
- * its own bindings (`relation` is the discriminant — the property exists on
- * no relation or closed value, and `closed()` reserves the name against
- * handle collisions); a bare relation or closed relation carries none.
+ * Splits a face source into its owner and σ: a selected relation — ordinary
+ * σ or closed ψ, one shape — carries its own bindings (`relation` is the
+ * discriminant — the property exists on no relation or closed value, and
+ * `closed()` reserves the name against handle collisions); a bare relation
+ * or closed relation carries none.
  */
 function faceParts(source) {
     if ("relation" in source) {
@@ -31,22 +44,34 @@ 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 });
+    const value = Object.freeze({ source, projection, data });
+    if (!faceMinted(value, source, projection)) {
+        throw errors.new(`face over ${parts.owner.name}: face construction incomplete`);
+    }
+    return value;
+}
+/**
+ * The trusted seam of the face mint (the `refsComplete` pattern): the
+ * checkable facts — the value carries exactly the source and projection it
+ * was built from, and `data.owner` is exactly the owner {@link faceParts}
+ * resolves for that source — are verified before the wide construction is
+ * admitted at the exact {@link Face} type (whose `data` claims the owner at
+ * its precise type, the carrier the schema-level law-typing reads).
+ */
+function faceMinted(value, source, projection) {
+    const owner = "relation" in source ? source.relation : source;
+    return (value.source === source &&
+        value.projection === projection &&
+        value.data.owner === owner &&
+        value.data.projection === projection);
 }
 /**
  * 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;;;;;;;;;;;;;;;;;;GAkBG;AAEH,OAAO,KAAK,MAAM,MAAM,uBAAuB,CAAA;AAI/C,OAAO,EAAE,gBAAgB,EAAE,MAAM,UAAU,CAAA;AAE3C,6EAA6E;AAC7E,MAAM,cAAc,GAAgC,MAAM,CAAC,MAAM,CAAC,EAAE,CAAC,CAAA;AAYrE;;;;;;GAMG;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;AAwLD,SAAS,EAAE,CAAuB,MAAS,EAAE,MAAkC;IAC9E,MAAM,UAAU,GAAsB,MAAM,CAAC,MAAM,CAAC,OAAO,MAAM,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,CAAC,GAAG,MAAM,CAAC,CAAC,CAAA;IACxG,MAAM,KAAK,GAAG,SAAS,CAAC,MAAM,CAAC,CAAA;IAC/B,MAAM,IAAI,GAAa,MAAM,CAAC,MAAM,CAAC;QACpC,KAAK,EAAE,KAAK,CAAC,KAAK;QAClB,UAAU;QACV,SAAS,EAAE,KAAK,CAAC,SAAS;KAC1B,CAAC,CAAA;IACF,MAAM,KAAK,GAAG,MAAM,CAAC,MAAM,CAAC,EAAE,MAAM,EAAE,UAAU,EAAE,IAAI,EAAE,CAAC,CAAA;IACzD,IAAI,CAAC,UAAU,CAAuB,KAAK,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,CAAC;QAClE,MAAM,MAAM,CAAC,GAAG,CAAC,aAAa,KAAK,CAAC,KAAK,CAAC,IAAI,gCAAgC,CAAC,CAAA;IAChF,CAAC;IACD,OAAO,KAAK,CAAA;AACb,CAAC;AAED;;;;;;;GAOG;AACH,SAAS,UAAU,CAClB,KAAuG,EACvG,MAAS,EACT,UAAa;IAEb,MAAM,KAAK,GAAG,UAAU,IAAI,MAAM,CAAC,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAA;IAC7D,OAAO,CACN,KAAK,CAAC,MAAM,KAAK,MAAM;QACvB,KAAK,CAAC,UAAU,KAAK,UAAU;QAC/B,KAAK,CAAC,IAAI,CAAC,KAAK,KAAK,KAAK;QAC1B,KAAK,CAAC,IAAI,CAAC,UAAU,KAAK,UAAU,CACpC,CAAA;AACF,CAAC;AAED;;;;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;AAkBD,OAAO,EAAE,EAAE,EAAE,KAAK,EAAE,UAAU,EAAE,CAAA"}