@fougere/schema 0.2.0-alpha.0 → 0.2.0-alpha.2

package/dist/projections/card.d.ts

@@ -1,54 +1,44 @@
-import type { BoundaryRef, Lifecycle } from '../field/index.js';
+import type { BoundaryRef, Lifecycle, Relation, Role, Shape } from '../field/index.js';
 /**
- * The portable schema descriptor — Fougère's "carte d'identité" of an entity.
+ * The portable schema descriptor — an entity's "carte d'identité".
  *
- * It is a JSON Schema document (the `shape` axis, a near-identity projection now
- * that {@link FieldDescriptor} already speaks JSON Schema) carrying the three axes JSON
- * Schema cannot express under a single `x-fougere` extension key per field: `role`
- * (identity/relations), `lifecycle` (write rules), `boundary` (wire↔domain).
- * The normal forms (named tokens, pure JSON) ARE the wire form — lifecycle and
- * boundary travel verbatim, no descriptor twin to maintain.
+ * A JSON Schema document: the `shape` axis at the top level, the three axes JSON Schema
+ * cannot express under one `x-fougere` key per field. The normal forms ARE the wire form —
+ * lifecycle and boundary travel verbatim, no descriptor twin to maintain.
  *
- * It is the structural counterpart of Standard Schema (`~standard`): where
- * `~standard` is the live, opaque "I can validate" interface, the descriptor is the
- * transparent, serialisable description that crosses the wire. `describe()` produces
- * it; a single `reconstruct()` reads it back into a working schema (validate + from).
- *
- * Honest losses vs the live field map — a reference becomes a name, a live function
- * does not travel:
- * - `role.relation.to` (a `() => Entity` thunk) → {@link RelationDescriptor.to}, a name.
- * - a custom generator or boundary decoder/encoder travels by NAME, re-resolved
- *   against the consumer's registry ("unknown generator/alias" is loud and local).
+ * What cannot travel becomes a NAME, re-resolved against the consumer's registry: a
+ * relation's thunk, a custom generator, a boundary codec.
  */
 /** JSON Schema's `type` values, plus `null` for the nullable union form. */
 export type JsonSchemaType = 'string' | 'number' | 'integer' | 'boolean' | 'object' | 'array' | 'null';
+/**
+ * A shape's constraint keywords, all optional and flattened — the union's branches merged.
+ * `type` is NOT here: intersecting the branches would make the discriminant impossible,
+ * and the wire genuinely allows a form memory never produces (see below).
+ */
+type ShapeKeywords = UnionToIntersection<KeywordsOf<Shape>>;
+type KeywordsOf<S> = S extends unknown ? Partial<Omit<S, 'type' | 'items' | 'properties'>> : never;
+type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
 /**
  * One field as a JSON Schema property. The shape keywords sit at the top level
  * (so an external JSON Schema tool reads them directly); the Fougère-only axes
  * live under `x-fougere`. A nullable field folds into the union `type: ['T','null']`.
  */
-export interface FieldDescriptor {
+export type FieldDescriptor = ShapeKeywords & {
+    /**
+     * WIDER than `Shape`, which only ever emits `T` or the canonical `[T,'null']` tuple.
+     * A card can come from another language, so the door judges the form; `reconstruct`
+     * refuses what it cannot represent rather than pretending it read it.
+     */
     type?: JsonSchemaType | JsonSchemaType[];
-    /** JSON Schema format predicate (`date-time` for a date value, email, uuid, uri…). */
-    format?: 'date-time' | 'date' | 'time' | 'email' | 'uuid' | 'uri';
-    enum?: readonly (string | null)[];
-    minLength?: number;
-    maxLength?: number;
-    pattern?: string;
-    minimum?: number;
-    maximum?: number;
     /** A value list's element shape (`list(text())`). A bare `many` relation has none. */
     items?: FieldDescriptor;
-    minItems?: number;
-    maxItems?: number;
     /** An embedded value object (`json(Entity)`): the nested shape-only properties. */
     properties?: Record<string, FieldDescriptor>;
-    /** The embedded object's required keys (JSON Schema nesting, travels verbatim). */
-    required?: readonly string[];
     /** JSON Schema standard keyword — mirrors the field's `description`. */
     description?: string;
     'x-fougere'?: FieldExtension;
-}
+};
 /** The three axes JSON Schema can't express, namespaced under a field's `x-fougere`. */
 export interface FieldExtension {
     role?: RoleDescriptor;
@@ -56,35 +46,28 @@ export interface FieldExtension {
     lifecycle?: Lifecycle;
     boundary?: BoundaryRef;
 }
-export interface RoleDescriptor {
-    primary?: boolean;
-    /**
-     * The unique constraints this field is a member of — one member list each, member
-     * names spelled out. `[["slug"]]` is unique on its own; `[["listId","docId"]]` on both
-     * members says the pair is unique together, which is the fact a foreign consumer could
-     * not read before: the card carried one boolean per field and the pair vanished.
-     *
-     * Self-reference is resolved on the way out (a lone `unique()` holds `[]` in memory,
-     * because a field does not know its own key) — a card always names its members, so a
-     * reader never has to know which field a group hangs on.
-     */
+/**
+ * The role, with its one unportable member replaced: `unique` names its members on the
+ * wire, where in memory a lone `unique()` holds `[]` — a field does not know its own key,
+ * a reader of the card must not have to guess it.
+ *
+ * Names what it KEEPS, like `describeRole` and `reconstructRole` do. Two of the four
+ * members do not travel as they are, so portability is not the default a new one gets.
+ */
+export type RoleDescriptor = Pick<Role, 'primary' | 'index'> & {
     unique?: string[][];
-    index?: boolean;
     relation?: RelationDescriptor;
-}
-/** A relation as portable data: the target is a NAME, not a live entity thunk. */
-export interface RelationDescriptor {
+};
+/** The relation, with its thunk replaced: the target is a NAME. */
+export type RelationDescriptor = Pick<Relation, 'kind' | 'onDelete'> & {
     to: string;
-    kind: 'one' | 'many';
-    onDelete?: 'cascade' | 'restrict' | 'set null';
-}
+};
 /**
  * A whole entity as a JSON Schema object document. `version`/`vendor` mirror Standard
  * Schema's own (versioned + vendored), under `x-` extension keywords so the document
  * stays a valid JSON Schema for external tooling.
  */
 export interface SchemaDescriptor {
-    /** The entity name. */
     title?: string;
     type: 'object';
     properties: Record<string, FieldDescriptor>;
@@ -100,12 +83,9 @@ export interface SchemaDescriptor {
     'x-fougere-vendor': 'fougere';
 }
 /**
- * A self-contained set of entity cards — a JSON Schema bundle. Every entity lives
- * under `$defs`, keyed by name; a relation's `to` is that name — the `$ref` into
- * `$defs`. The document is portable AND circular-safe: a relation is a pointer, never
- * an inlined sub-schema, so `Post → Author → Post` is two references, not infinite
- * nesting. `reconstructSet` resolves those `$ref`s so a synced relation hands back the
- * real reconstructed target (it feeds adapters), not just a name.
+ * A self-contained set of entity cards. Every entity lives under `$defs`, keyed by name,
+ * and a relation's `to` is that key — a pointer, never an inlined sub-schema, so
+ * `Post → Author → Post` is two references and not infinite nesting.
  */
 export interface SchemaBundle {
     $defs: Record<string, SchemaDescriptor>;
@@ -114,4 +94,5 @@ export interface SchemaBundle {
 }
 /** Drop keys whose value is `undefined`, so the descriptor stays clean JSON. */
 export declare function clean<T extends Record<string, unknown>>(obj: T): T;
+export {};
 //# sourceMappingURL=card.d.ts.map

package/dist/projections/card.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"card.d.ts","sourceRoot":"","sources":["../../src/projections/card.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,MAAM,mBAAmB,CAAC;AAEhE;;;;;;;;;;;;;;;;;;;;GAoBG;AAEH,4EAA4E;AAC5E,MAAM,MAAM,cAAc,GACtB,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,QAAQ,GACR,OAAO,GACP,MAAM,CAAC;AAEX;;;;GAIG;AACH,MAAM,WAAW,eAAe;IAC9B,IAAI,CAAC,EAAE,cAAc,GAAG,cAAc,EAAE,CAAC;IACzC,sFAAsF;IACtF,MAAM,CAAC,EAAE,WAAW,GAAG,MAAM,GAAG,MAAM,GAAG,OAAO,GAAG,MAAM,GAAG,KAAK,CAAC;IAClE,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IAClC,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,sFAAsF;IACtF,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,mFAAmF;IACnF,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC7C,mFAAmF;IACnF,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,wEAAwE;IACxE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,cAAc,CAAC;CAC9B;AAED,wFAAwF;AACxF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,kEAAkE;IAClE,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB;AAED,MAAM,WAAW,cAAc;IAC7B,OAAO,CAAC,EAAE,OAAO,CAAC;IAClB;;;;;;;;;OASG;IACH,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;IACpB,KAAK,CAAC,EAAE,OAAO,CAAC;IAChB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B;AAED,kFAAkF;AAClF,MAAM,WAAW,kBAAkB;IACjC,EAAE,EAAE,MAAM,CAAC;IACX,IAAI,EAAE,KAAK,GAAG,MAAM,CAAC;IACrB,QAAQ,CAAC,EAAE,SAAS,GAAG,UAAU,GAAG,UAAU,CAAC;CAChD;AAED;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,uBAAuB;IACvB,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,mBAAmB,EAAE,CAAC,CAAC;IACvB,kBAAkB,EAAE,SAAS,CAAC;CAC/B;AAED;;;;;;;GAOG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACxC,mBAAmB,EAAE,CAAC,CAAC;IACvB,kBAAkB,EAAE,SAAS,CAAC;CAC/B;AAED,gFAAgF;AAChF,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAGlE"}
+{"version":3,"file":"card.d.ts","sourceRoot":"","sources":["../../src/projections/card.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,SAAS,EAAE,QAAQ,EAAE,IAAI,EAAE,KAAK,EAAE,MAAM,mBAAmB,CAAC;AAEvF;;;;;;;;;GASG;AAEH,4EAA4E;AAC5E,MAAM,MAAM,cAAc,GACtB,QAAQ,GACR,QAAQ,GACR,SAAS,GACT,SAAS,GACT,QAAQ,GACR,OAAO,GACP,MAAM,CAAC;AAEX;;;;GAIG;AACH,KAAK,aAAa,GAAG,mBAAmB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AAI5D,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC;AACnG,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEpH;;;;GAIG;AACH,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG;IAC5C;;;;OAIG;IACH,IAAI,CAAC,EAAE,cAAc,GAAG,cAAc,EAAE,CAAC;IACzC,sFAAsF;IACtF,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,mFAAmF;IACnF,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC7C,wEAAwE;IACxE,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,cAAc,CAAC;CAC9B,CAAC;AAEF,wFAAwF;AACxF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,kEAAkE;IAClE,SAAS,CAAC,EAAE,SAAS,CAAC;IACtB,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB;AAED;;;;;;;GAOG;AACH,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,IAAI,EAAE,SAAS,GAAG,OAAO,CAAC,GAAG;IAC7D,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B,CAAC;AAEF,mEAAmE;AACnE,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtF;;;;GAIG;AACH,MAAM,WAAW,gBAAgB;IAC/B,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C;;;;;;OAMG;IACH,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,mBAAmB,EAAE,CAAC,CAAC;IACvB,kBAAkB,EAAE,SAAS,CAAC;CAC/B;AAED;;;;GAIG;AACH,MAAM,WAAW,YAAY;IAC3B,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;IACxC,mBAAmB,EAAE,CAAC,CAAC;IACvB,kBAAkB,EAAE,SAAS,CAAC;CAC/B;AAED,gFAAgF;AAChF,wBAAgB,KAAK,CAAC,CAAC,SAAS,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,EAAE,GAAG,EAAE,CAAC,GAAG,CAAC,CAGlE"}

package/dist/projections/card.js.map

@@ -1 +1 @@
-{"version":3,"file":"card.js","sourceRoot":"","sources":["../../src/projections/card.ts"],"names":[],"mappings":"AAkIA,gFAAgF;AAChF,MAAM,UAAU,KAAK,CAAoC,GAAM;IAC7D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;IAChF,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"card.js","sourceRoot":"","sources":["../../src/projections/card.ts"],"names":[],"mappings":"AAgHA,gFAAgF;AAChF,MAAM,UAAU,KAAK,CAAoC,GAAM;IAC7D,KAAK,MAAM,GAAG,IAAI,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC;QAAE,IAAI,GAAG,CAAC,GAAG,CAAC,KAAK,SAAS;YAAE,OAAO,GAAG,CAAC,GAAG,CAAC,CAAC;IAChF,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/projections/describe.d.ts

@@ -1,11 +1,11 @@
-import type { SchemaLike } from '../field/index.js';
+import type { SchemaView } from '../schema/index.js';
 import { type SchemaBundle, type SchemaDescriptor } from './card.js';
 /**
  * Produce the portable card for a schema — THE single canonical serialiser
  * (the hand-rolled copies in adapters call this). `name` titles the entity; it
  * falls back to the schema's source/class name when omitted.
  */
-export declare function describe(schema: SchemaLike, name?: string): SchemaDescriptor;
+export declare function describe(schema: SchemaView, name?: string): SchemaDescriptor;
 /**
  * The name of the schema a view came from — `Post` for `Post`, and `Post` for
  * `Post.pick('title')` too, since a derivation carries its `source`.
@@ -14,12 +14,12 @@ export declare function describe(schema: SchemaLike, name?: string): SchemaDescr
  * and GraphQL names a field's enum type with it — an enum named after the view would give
  * `Post.status` and `CreatePostInput.status` two incompatible types for one set of values.
  */
-export declare function sourceNameOf(schema: SchemaLike): string | undefined;
+export declare function sourceNameOf(schema: SchemaView): string | undefined;
 /**
  * Describe a whole set of entities as one self-contained bundle (the `$defs`
  * document). Accepts a name→schema record or an array (names taken from the
  * schemas). Keys carry the registration key, the same spelling `describe` gives a
  * relation's `to`, so `$ref`-by-name resolves cleanly in {@link reconstructSet}.
  */
-export declare function describeSet(schemas: Record<string, SchemaLike> | SchemaLike[]): SchemaBundle;
+export declare function describeSet(schemas: Record<string, SchemaView> | SchemaView[]): SchemaBundle;
 //# sourceMappingURL=describe.d.ts.map

package/dist/projections/describe.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"describe.d.ts","sourceRoot":"","sources":["../../src/projections/describe.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAkB,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAGpE,OAAO,EAML,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACtB,MAAM,WAAW,CAAC;AAuEnB;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAiB5E;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAGnE;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,UAAU,EAAE,GAAG,YAAY,CAU5F"}
+{"version":3,"file":"describe.d.ts","sourceRoot":"","sources":["../../src/projections/describe.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAGrD,OAAO,EAML,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACtB,MAAM,WAAW,CAAC;AAmEnB;;;;GAIG;AACH,wBAAgB,QAAQ,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC,EAAE,MAAM,GAAG,gBAAgB,CAiB5E;AAED;;;;;;;GAOG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,UAAU,GAAG,MAAM,GAAG,SAAS,CAGnE;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,OAAO,EAAE,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,GAAG,UAAU,EAAE,GAAG,YAAY,CAU5F"}

package/dist/projections/describe.js

@@ -61,15 +61,10 @@ function describeField(field, key) {
     // Shape is already JSON Schema's vocabulary — nullability included, as the
     // `[T,'null']` type union — so its keywords copy verbatim (an embedded object's
     // `properties`/`required` too, themselves shape-only).
-    if (field.shape) {
-        for (const [key, value] of Object.entries(field.shape)) {
-            if (value === undefined)
-                continue;
-            out[key] = value;
-        }
-    }
-    else if (field.role?.relation?.kind === 'many') {
-        out.type = 'array';
+    for (const [key, value] of Object.entries(field.shape)) {
+        if (value === undefined)
+            continue;
+        out[key] = value;
     }
     if (field.meta?.description)
         out.description = field.meta.description;

package/dist/projections/describe.js.map

@@ -1 +1 @@
-{"version":3,"file":"describe.js","sourceRoot":"","sources":["../../src/projections/describe.ts"],"names":[],"mappings":"AACA,OAAO,EAAW,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EACL,KAAK,GAON,MAAM,WAAW,CAAC;AAEnB,sEAAsE;AAEtE;;;;;GAKG;AACH,SAAS,UAAU,CAAC,KAAe;IACjC,4EAA4E;IAC5E,6EAA6E;IAC7E,0EAA0E;IAC1E,wEAAwE;IACxE,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACpD,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,IAAU,EAAE,GAAW;IAC3C,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,IAAI,IAAI,CAAC,OAAO;QAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;IACrC,mFAAmF;IACnF,sFAAsF;IACtF,oFAAoF;IACpF,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM;QAAE,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5F,IAAI,IAAI,CAAC,KAAK;QAAE,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;IACjC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;YACnB,EAAE,EAAE,iBAAiB,CAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAwB,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,eAAe;YAC5F,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;YACxB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;SACjC,CAAuB,CAAC;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACnD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAe,EAAE,GAAW;IACrD,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,IAAI,KAAK,CAAC,IAAI;QAAE,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzD,sEAAsE;IACtE,qFAAqF;IACrF,IAAI,KAAK,CAAC,SAAS;QAAE,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACrD,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChE,KAAK,CAAC,GAA8B,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACnD,CAAC;AAED,SAAS,aAAa,CAAC,KAAe,EAAE,GAAW;IACjD,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,2EAA2E;IAC3E,gFAAgF;IAChF,uDAAuD;IACvD,IAAI,KAAK,CAAC,KAAK,EAAE,CAAC;QAChB,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;YACvD,IAAI,KAAK,KAAK,SAAS;gBAAE,SAAS;YACjC,GAA+B,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;QAChD,CAAC;IACH,CAAC;SAAM,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM,EAAE,CAAC;QACjD,GAAG,CAAC,IAAI,GAAG,OAAO,CAAC;IACrB,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,EAAE,WAAW;QAAE,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;IACtE,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1C,IAAI,GAAG;QAAE,GAAG,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC;IAChC,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAkB,EAAE,IAAa;IACxD,MAAM,UAAU,GAAoC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;QAC9D,UAAU,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,UAAU,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,UAAU,GAAqB;QACnC,IAAI,EAAE,QAAQ;QACd,UAAU;QACV,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,SAAS;KAC9B,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,KAAK;QAAE,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;IACpC,IAAI,QAAQ,CAAC,MAAM;QAAE,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAC;IACpD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,MAAM,CAAC,GAAG,MAAuD,CAAC;IAClE,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAAkD;IAC5E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACpC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAU,CAAC;QACzD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAqC,EAAE,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC;AAC1E,CAAC"}
+{"version":3,"file":"describe.js","sourceRoot":"","sources":["../../src/projections/describe.ts"],"names":[],"mappings":"AAEA,OAAO,EAAW,aAAa,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AACvE,OAAO,EAAE,iBAAiB,EAAE,MAAM,YAAY,CAAC;AAC/C,OAAO,EACL,KAAK,GAON,MAAM,WAAW,CAAC;AAEnB,sEAAsE;AAEtE;;;;;GAKG;AACH,SAAS,UAAU,CAAC,KAAY;IAC9B,4EAA4E;IAC5E,6EAA6E;IAC7E,0EAA0E;IAC1E,wEAAwE;IACxE,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IACpD,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,SAAS;QAAE,OAAO,KAAK,CAAC;IACxD,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM;QAAE,OAAO,KAAK,CAAC;IACxD,OAAO,IAAI,CAAC;AACd,CAAC;AAED,SAAS,YAAY,CAAC,IAAU,EAAE,GAAW;IAC3C,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,IAAI,IAAI,CAAC,OAAO;QAAE,GAAG,CAAC,OAAO,GAAG,IAAI,CAAC;IACrC,mFAAmF;IACnF,sFAAsF;IACtF,oFAAoF;IACpF,IAAI,IAAI,CAAC,MAAM,EAAE,MAAM;QAAE,GAAG,CAAC,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC,CAAC;IAC5F,IAAI,IAAI,CAAC,KAAK;QAAE,GAAG,CAAC,KAAK,GAAG,IAAI,CAAC;IACjC,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;QAClB,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC;YACnB,EAAE,EAAE,iBAAiB,CAAE,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAwB,CAAC,IAAI,IAAI,EAAE,CAAC,EAAE,eAAe;YAC5F,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;YACxB,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ;SACjC,CAAuB,CAAC;IAC3B,CAAC;IACD,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACnD,CAAC;AAED,SAAS,iBAAiB,CAAC,KAAY,EAAE,GAAW;IAClD,MAAM,GAAG,GAAmB,EAAE,CAAC;IAC/B,IAAI,KAAK,CAAC,IAAI;QAAE,GAAG,CAAC,IAAI,GAAG,YAAY,CAAC,KAAK,CAAC,IAAI,EAAE,GAAG,CAAC,CAAC;IACzD,sEAAsE;IACtE,qFAAqF;IACrF,IAAI,KAAK,CAAC,SAAS;QAAE,GAAG,CAAC,SAAS,GAAG,KAAK,CAAC,SAAS,CAAC;IACrD,2EAA2E;IAC3E,6EAA6E;IAC7E,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;QAAE,GAAG,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IAChE,KAAK,CAAC,GAA8B,CAAC,CAAC;IACtC,OAAO,MAAM,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC,SAAS,CAAC;AACnD,CAAC;AAED,SAAS,aAAa,CAAC,KAAY,EAAE,GAAW;IAC9C,MAAM,GAAG,GAAoB,EAAE,CAAC;IAChC,2EAA2E;IAC3E,gFAAgF;IAChF,uDAAuD;IACvD,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC;QACvD,IAAI,KAAK,KAAK,SAAS;YAAE,SAAS;QACjC,GAA+B,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC;IAChD,CAAC;IACD,IAAI,KAAK,CAAC,IAAI,EAAE,WAAW;QAAE,GAAG,CAAC,WAAW,GAAG,KAAK,CAAC,IAAI,CAAC,WAAW,CAAC;IACtE,MAAM,GAAG,GAAG,iBAAiB,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;IAC1C,IAAI,GAAG;QAAE,GAAG,CAAC,WAAW,CAAC,GAAG,GAAG,CAAC;IAChC,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,QAAQ,CAAC,MAAkB,EAAE,IAAa;IACxD,MAAM,UAAU,GAAoC,EAAE,CAAC;IACvD,MAAM,QAAQ,GAAa,EAAE,CAAC;IAC9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,EAAE,CAAC;QAC9D,UAAU,CAAC,GAAG,CAAC,GAAG,aAAa,CAAC,KAAK,EAAE,GAAG,CAAC,CAAC;QAC5C,IAAI,UAAU,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IAC5C,CAAC;IACD,MAAM,UAAU,GAAqB;QACnC,IAAI,EAAE,QAAQ;QACd,UAAU;QACV,mBAAmB,EAAE,CAAC;QACtB,kBAAkB,EAAE,SAAS;KAC9B,CAAC;IACF,MAAM,KAAK,GAAG,IAAI,IAAI,YAAY,CAAC,MAAM,CAAC,CAAC;IAC3C,IAAI,KAAK;QAAE,UAAU,CAAC,KAAK,GAAG,KAAK,CAAC;IACpC,IAAI,QAAQ,CAAC,MAAM;QAAE,UAAU,CAAC,QAAQ,GAAG,QAAQ,CAAC;IACpD,OAAO,UAAU,CAAC;AACpB,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,YAAY,CAAC,MAAkB;IAC7C,MAAM,CAAC,GAAG,MAAuD,CAAC;IAClE,OAAO,CAAC,CAAC,MAAM,EAAE,IAAI,IAAI,CAAC,CAAC,IAAI,CAAC;AAClC,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,OAAkD;IAC5E,MAAM,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC;QACpC,CAAC,CAAC,OAAO,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,YAAY,CAAC,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,CAAU,CAAC;QACzD,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC,CAAC;IAC5B,MAAM,KAAK,GAAqC,EAAE,CAAC;IACnD,KAAK,MAAM,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;QACrC,MAAM,GAAG,GAAG,iBAAiB,CAAC,IAAI,CAAC,CAAC;QACpC,KAAK,CAAC,GAAG,CAAC,GAAG,QAAQ,CAAC,MAAM,EAAE,GAAG,CAAC,CAAC;IACrC,CAAC;IACD,OAAO,EAAE,KAAK,EAAE,mBAAmB,EAAE,CAAC,EAAE,kBAAkB,EAAE,SAAS,EAAE,CAAC;AAC1E,CAAC"}

package/dist/projections/io.d.ts

@@ -1,17 +1,11 @@
 import type { Fields } from '../field/index.js';
 /**
- * The two dual projections of a field set onto a client surface — membership
- * only, derived from the axes.
+ * The two dual projections of a field set onto a client surface — membership only. The
+ * create/patch MODE changes omissibility, which the view carries, never membership.
  *
- * The create/patch MODE never changes membership, it only changes omissibility, which
- * the view (`partial()`) carries.
- *
- * ⚠️ The audience lives in this comment, not in the data — no axis says "client", so
- * these two functions are the only place the word exists. Surfaces are SUPPOSED to read
- * them instead of restating the rules, and several don't: the GraphQL public
- * `registerInput`, the runtime judge and the CLI each answer "what may a client supply"
- * with a different set. The judge is the most permissive — a client-forged primary key
- * reaches the ORM. Reconciling them needs the audience to become data.
+ * ⚠️ The audience lives here and not in the data: no axis says "client". Surfaces are
+ * supposed to read these two functions, and the GraphQL input, the judge and the CLI each
+ * restate the rules with a different set — the judge being the most permissive.
  */
 /**
  * Ingress: what a CLIENT may supply. Excluded —

package/dist/projections/io.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"io.d.ts","sourceRoot":"","sources":["../../src/projections/io.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGhD;;;;;;;;;;;;;GAaG;AAEH;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAUlD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAOnD"}
+{"version":3,"file":"io.d.ts","sourceRoot":"","sources":["../../src/projections/io.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGhD;;;;;;;GAOG;AAEH;;;;;;GAMG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAUlD;AAED;;;;GAIG;AACH,wBAAgB,YAAY,CAAC,MAAM,EAAE,MAAM,GAAG,MAAM,CAOnD"}

package/dist/projections/io.js

@@ -1,17 +1,11 @@
 import { boundaryOf } from '../field/index.js';
 /**
- * The two dual projections of a field set onto a client surface — membership
- * only, derived from the axes.
+ * The two dual projections of a field set onto a client surface — membership only. The
+ * create/patch MODE changes omissibility, which the view carries, never membership.
  *
- * The create/patch MODE never changes membership, it only changes omissibility, which
- * the view (`partial()`) carries.
- *
- * ⚠️ The audience lives in this comment, not in the data — no axis says "client", so
- * these two functions are the only place the word exists. Surfaces are SUPPOSED to read
- * them instead of restating the rules, and several don't: the GraphQL public
- * `registerInput`, the runtime judge and the CLI each answer "what may a client supply"
- * with a different set. The judge is the most permissive — a client-forged primary key
- * reaches the ORM. Reconciling them needs the audience to become data.
+ * ⚠️ The audience lives here and not in the data: no axis says "client". Surfaces are
+ * supposed to read these two functions, and the GraphQL input, the judge and the CLI each
+ * restate the rules with a different set — the judge being the most permissive.
  */
 /**
  * Ingress: what a CLIENT may supply. Excluded —

package/dist/projections/io.js.map

@@ -1 +1 @@
-{"version":3,"file":"io.js","sourceRoot":"","sources":["../../src/projections/io.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C;;;;;;;;;;;;;GAaG;AAEH;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,KAAK,CAAC,IAAI,EAAE,OAAO;YAAE,SAAS;QAClC,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,KAAK;YAAE,SAAS;QAChD,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM;YAAE,SAAS;QACpD,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,QAAQ;YAAE,SAAS;QAChD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,QAAQ;YAAE,SAAS;QACjD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"io.js","sourceRoot":"","sources":["../../src/projections/io.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,UAAU,EAAE,MAAM,mBAAmB,CAAC;AAE/C;;;;;;;GAOG;AAEH;;;;;;GAMG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc;IACxC,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,KAAK,CAAC,IAAI,EAAE,OAAO;YAAE,SAAS;QAClC,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,KAAK;YAAE,SAAS;QAChD,IAAI,KAAK,CAAC,IAAI,EAAE,QAAQ,EAAE,IAAI,KAAK,MAAM;YAAE,SAAS;QACpD,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,QAAQ;YAAE,SAAS;QAChD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,YAAY,CAAC,MAAc;IACzC,MAAM,MAAM,GAAW,EAAE,CAAC;IAC1B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QACnD,IAAI,UAAU,CAAC,KAAK,CAAC,CAAC,GAAG,KAAK,QAAQ;YAAE,SAAS;QACjD,MAAM,CAAC,IAAI,CAAC,GAAG,KAAK,CAAC;IACvB,CAAC;IACD,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/projections/lifecycle.d.ts

@@ -1,25 +1,11 @@
 /**
  * The lifecycle axis, realized — once, for every storage.
  *
- * `validation.ts` states the split: the judge answers "is this value legal?" and never
- * fills a hole; filling it — stamp `'now'`, apply `{ value }`, call `{ generate }` — is
- * the storage's role at the point of persistence. The split is right. What was missing
- * is that the framework shipped the RULE and never its realization, so each storage
- * rewrote it and they drifted:
- *
- * - `schema-sql` realized `{ generate }` and `'now'` in its ORM, and `{ value }` in its
- *   DDL — as a column `DEFAULT` the database fills. A mechanism only SQL has.
- * - The Nuxt module's fallback ORM realized none of the three: its signature is
- *   `(_entity, _name)`, both ignored, so it forces the name `id` and a random uuid.
- * - A third-party adapter (MongoDB, written outside the repo on 2026-08-08) found the
- *   gap the only way available: a test that expected `'draft'` and got `undefined`.
- *
- * Measured, one entity, `oneOf('draft','published',{ default:'draft' })`: SQLite answered
- * `'draft'`, MongoDB answered `undefined`. Same declaration, same port, two answers.
- *
- * So the rule and its realization live together now, and a storage adapter calls this
- * instead of re-deriving it. `update: 'forbidden'` is NOT here: refusing a value is a
- * judgment, and the façade already does it (`validation.ts`, patch mode).
+ * The judge answers "is this value legal" and never fills a hole; filling it — stamp
+ * `'now'`, apply `{ value }`, call `{ generate }` — belongs to the storage at the point of
+ * persistence. Shipping the rule without its realization made each storage rewrite it, and
+ * they drifted: one entity with a `default` answered `'draft'` on SQL and `undefined` on
+ * Mongo. `update: 'forbidden'` is NOT here — refusing is a judgment.
  */
 import { type Fields } from '../field/index.js';
 type Row = Record<string, unknown>;

package/dist/projections/lifecycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../src/projections/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAyC,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGvF,KAAK,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AA8BnC;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,GAAG,CAqB3D;AAgBD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,GAAG,CAS3D"}
+{"version":3,"file":"lifecycle.d.ts","sourceRoot":"","sources":["../../src/projections/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAsC,KAAK,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAGpF,KAAK,GAAG,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;AAsBnC;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,GAAG,CAqB3D;AAgBD;;;GAGG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,GAAG,GAAG,GAAG,CAS3D"}

package/dist/projections/lifecycle.js

@@ -1,37 +1,15 @@
 /**
  * The lifecycle axis, realized — once, for every storage.
  *
- * `validation.ts` states the split: the judge answers "is this value legal?" and never
- * fills a hole; filling it — stamp `'now'`, apply `{ value }`, call `{ generate }` — is
- * the storage's role at the point of persistence. The split is right. What was missing
- * is that the framework shipped the RULE and never its realization, so each storage
- * rewrote it and they drifted:
- *
- * - `schema-sql` realized `{ generate }` and `'now'` in its ORM, and `{ value }` in its
- *   DDL — as a column `DEFAULT` the database fills. A mechanism only SQL has.
- * - The Nuxt module's fallback ORM realized none of the three: its signature is
- *   `(_entity, _name)`, both ignored, so it forces the name `id` and a random uuid.
- * - A third-party adapter (MongoDB, written outside the repo on 2026-08-08) found the
- *   gap the only way available: a test that expected `'draft'` and got `undefined`.
- *
- * Measured, one entity, `oneOf('draft','published',{ default:'draft' })`: SQLite answered
- * `'draft'`, MongoDB answered `undefined`. Same declaration, same port, two answers.
- *
- * So the rule and its realization live together now, and a storage adapter calls this
- * instead of re-deriving it. `update: 'forbidden'` is NOT here: refusing a value is a
- * judgment, and the façade already does it (`validation.ts`, patch mode).
+ * The judge answers "is this value legal" and never fills a hole; filling it — stamp
+ * `'now'`, apply `{ value }`, call `{ generate }` — belongs to the storage at the point of
+ * persistence. Shipping the rule without its realization made each storage rewrite it, and
+ * they drifted: one entity with a `default` answered `'draft'` on SQL and `undefined` on
+ * Mongo. `update: 'forbidden'` is NOT here — refusing is a judgment.
  */
 import { resolveCustomGenerator } from '../field/index.js';
 import { createId } from '@paralleldrive/cuid2';
-/**
- * Resolve a generator TOKEN to a function: a custom name registered via
- * `registerGenerator` wins, then the built-ins. An unknown name throws — loud and
- * local, instead of a silent divergence between two storages.
- *
- * The built-ins used to live storage-side, which put the inversion in plain sight: a
- * generator YOU invent travelled to every adapter, and the three the framework ships
- * did not.
- */
+/** Resolve a generator TOKEN to a function — a registered name wins over a built-in. */
 function generatorFor(ref) {
     const custom = resolveCustomGenerator(ref);
     if (custom)
@@ -91,7 +69,7 @@ export function applyCreate(fields, input) {
  *
  * Every default the vocabulary can express is a primitive (`text`, `number`, `bool`,
  * `oneOf`; `list` and `json` take none), so this only pays for itself under the escape
- * hatch — `createField({ lifecycle: { create: { value: {…} } } })`. Cheap insurance
+ * hatch — `new Field({ shape, lifecycle: { create: { value: {…} } } })`. Cheap insurance
  * against the one failure mode nobody would ever debug from the symptom.
  */
 function freshValue(value) {

package/dist/projections/lifecycle.js.map

@@ -1 +1 @@
-{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/projections/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;;;;;;;;GAsBG;AACH,OAAO,EAAE,sBAAsB,EAA8B,MAAM,mBAAmB,CAAC;AACvF,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAIhD;;;;;;;;GAQG;AACH,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,OAAO,EAAE,OAAO,QAAQ,CAAC;QAC9B,KAAK,MAAM,EAAE,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACzD,KAAK,QAAQ,EAAE,CAAC;YACd,OAAO,GAAG,EAAE;gBACV,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;gBACjC,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;gBACzC,MAAM,QAAQ,GAAG,kEAAkE,CAAC;gBACpF,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC,CAAC;QACJ,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,sBAAsB,GAAG,2CAA2C,GAAG,QAAQ,CAAC,CAAC;IACrG,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAU;IACpD,MAAM,GAAG,GAAQ,EAAE,GAAG,KAAK,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE3B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAyB,EAAE,CAAC;QAC3E,IAAI,IAAI,IAAI,GAAG;YAAE,SAAS;QAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC;QACvC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACrB,kFAAkF;YAClF,8EAA8E;YAC9E,gFAAgF;YAChF,iFAAiF;YACjF,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;aAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACzD,IAAI,OAAO,IAAI,MAAM;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,UAAU,CAAE,MAA6B,CAAC,KAAK,CAAC,CAAC;iBAC/E,IAAI,UAAU,IAAI,MAAM;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAE,MAAgC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAChH,CAAC;QACD,6EAA6E;IAC/E,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAU;IACpD,MAAM,GAAG,GAAQ,EAAE,GAAG,KAAK,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE3B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAyB,EAAE,CAAC;QAC3E,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;IACzF,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}
+{"version":3,"file":"lifecycle.js","sourceRoot":"","sources":["../../src/projections/lifecycle.ts"],"names":[],"mappings":"AAAA;;;;;;;;GAQG;AACH,OAAO,EAAE,sBAAsB,EAA2B,MAAM,mBAAmB,CAAC;AACpF,OAAO,EAAE,QAAQ,EAAE,MAAM,sBAAsB,CAAC;AAIhD,wFAAwF;AACxF,SAAS,YAAY,CAAC,GAAW;IAC/B,MAAM,MAAM,GAAG,sBAAsB,CAAC,GAAG,CAAC,CAAC;IAC3C,IAAI,MAAM;QAAE,OAAO,MAAM,CAAC;IAC1B,QAAQ,GAAG,EAAE,CAAC;QACZ,KAAK,OAAO,EAAE,OAAO,QAAQ,CAAC;QAC9B,KAAK,MAAM,EAAE,OAAO,GAAG,EAAE,CAAC,UAAU,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;QACzD,KAAK,QAAQ,EAAE,CAAC;YACd,OAAO,GAAG,EAAE;gBACV,MAAM,KAAK,GAAG,IAAI,UAAU,CAAC,EAAE,CAAC,CAAC;gBACjC,UAAU,CAAC,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;gBACzC,MAAM,QAAQ,GAAG,kEAAkE,CAAC;gBACpF,OAAO,KAAK,CAAC,IAAI,CAAC,KAAK,EAAE,CAAC,CAAC,EAAE,EAAE,CAAC,QAAQ,CAAC,CAAC,GAAG,EAAE,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC;YAC7D,CAAC,CAAC;QACJ,CAAC;QACD;YACE,MAAM,IAAI,KAAK,CAAC,sBAAsB,GAAG,2CAA2C,GAAG,QAAQ,CAAC,CAAC;IACrG,CAAC;AACH,CAAC;AAED;;;;;;;;;GASG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAU;IACpD,MAAM,GAAG,GAAQ,EAAE,GAAG,KAAK,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE3B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,IAAI,IAAI,IAAI,GAAG;YAAE,SAAS;QAC1B,MAAM,MAAM,GAAG,KAAK,CAAC,SAAS,EAAE,MAAM,CAAC;QACvC,IAAI,MAAM,KAAK,KAAK,EAAE,CAAC;YACrB,kFAAkF;YAClF,8EAA8E;YAC9E,gFAAgF;YAChF,iFAAiF;YACjF,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;QAChC,CAAC;aAAM,IAAI,OAAO,MAAM,KAAK,QAAQ,IAAI,MAAM,KAAK,IAAI,EAAE,CAAC;YACzD,IAAI,OAAO,IAAI,MAAM;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,UAAU,CAAE,MAA6B,CAAC,KAAK,CAAC,CAAC;iBAC/E,IAAI,UAAU,IAAI,MAAM;gBAAE,GAAG,CAAC,IAAI,CAAC,GAAG,YAAY,CAAC,MAAM,CAAE,MAAgC,CAAC,QAAQ,CAAC,CAAC,EAAE,CAAC;QAChH,CAAC;QACD,6EAA6E;IAC/E,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC;AAED;;;;;;;;GAQG;AACH,SAAS,UAAU,CAAC,KAAc;IAChC,IAAI,KAAK,KAAK,IAAI,IAAI,OAAO,KAAK,KAAK,QAAQ;QAAE,OAAO,KAAK,CAAC;IAC9D,OAAO,eAAe,CAAC,KAAK,CAAC,CAAC;AAChC,CAAC;AAED;;;GAGG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAAU;IACpD,MAAM,GAAG,GAAQ,EAAE,GAAG,KAAK,EAAE,CAAC;IAC9B,MAAM,OAAO,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC;IAE3B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,IAAI,KAAK,CAAC,SAAS,EAAE,MAAM,KAAK,KAAK,IAAI,CAAC,CAAC,IAAI,IAAI,GAAG,CAAC;YAAE,GAAG,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;IACzF,CAAC;IAED,OAAO,GAAG,CAAC;AACb,CAAC"}

package/dist/projections/reconstruct.d.ts

@@ -1,16 +1,13 @@
-import { type Field, type Fields } from '../field/index.js';
-import { type SchemaConstructor, type SchemaViewInfer } from '../entity.js';
+import { Field, type Fields } from '../field/index.js';
+import { type SchemaConstructor, type SchemaView, type Row } from '../schema/index.js';
 import { type SchemaBundle, type SchemaDescriptor } from './card.js';
 /**
- * The field map a stated row shape implies.
- *
- * Every member is marked auto-at-creation, so `CtorInput` asks for nothing: a card
- * describes rows as they are READ, and "what a caller must supply at creation" is a
- * different question — one `required` answers, and one a synced consumer never asks,
- * since it calls the host rather than constructing.
+ * The field map a stated row shape implies. A card describes rows as they are READ, so
+ * `required` answers what a creation payload must carry — a question a synced consumer
+ * never asks, since it calls the host rather than constructing.
  */
 type FieldsOf<T> = {
-    [K in keyof T]-?: Field<T[K], true>;
+    [K in keyof T]-?: Field<T[K]>;
 };
 /**
  * Read a lone card back into a working schema — THE single reconstructor. The result
@@ -18,19 +15,17 @@ type FieldsOf<T> = {
  * the wire as data, the behaviour is reconstituted here. Relations stay name stand-ins
  * (no set to resolve against — use {@link reconstructSet} for live targets).
  *
- * `T` states the shape of a row, and that is what makes a rebuilt schema a CLASS rather
- * than a type and a value declared side by side: `class Post extends reconstruct<{…}>(card) {}`
- * is one declaration carrying both, exactly like `class Post extends entity({…}) {}`.
- * Without it the instance type is an index signature, so a synced entity validated
- * perfectly and taught the compiler nothing — `post.titel` compiled.
+ * `T` states the row, which is what makes a rebuilt schema a CLASS and not a type beside a
+ * value: `class Post extends reconstruct<{…}>(card) {}`, one declaration carrying both.
+ * Without it the instance type is an index signature, so `post.titel` compiled.
  */
-export declare function reconstruct<T = SchemaViewInfer<Fields>>(descriptor: SchemaDescriptor): SchemaConstructor<FieldsOf<T>>;
+export declare function reconstruct<T = Row<Fields>>(descriptor: SchemaDescriptor): SchemaConstructor<FieldsOf<T>>;
 /**
  * Read a whole bundle back into live schemas, keyed by name — THE set reconstructor.
  * Every entity is rebuilt against a shared `$defs` resolver, so a relation's `to()`
  * hands back the real reconstructed target (feeds adapters), not a name stand-in.
  * Targets absent from the set (external/cross-frond `$ref`) keep the stand-in.
  */
-export declare function reconstructSet(bundle: SchemaBundle): Record<string, SchemaConstructor<Fields>>;
+export declare function reconstructSet(bundle: SchemaBundle): Record<string, SchemaView>;
 export {};
 //# sourceMappingURL=reconstruct.d.ts.map

package/dist/projections/reconstruct.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"reconstruct.d.ts","sourceRoot":"","sources":["../../src/projections/reconstruct.ts"],"names":[],"mappings":"AAAA,OAAO,EAIL,KAAK,KAAK,EACV,KAAK,MAAM,EAGZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAA2B,KAAK,iBAAiB,EAAE,KAAK,eAAe,EAAE,MAAM,cAAc,CAAC;AACrG,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACtB,MAAM,WAAW,CAAC;AAsHnB;;;;;;;GAOG;AACH,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,EAAE,IAAI,CAAC;CAAE,CAAC;AAE3D;;;;;;;;;;;GAWG;AACH,wBAAgB,WAAW,CAAC,CAAC,GAAG,eAAe,CAAC,MAAM,CAAC,EACrD,UAAU,EAAE,gBAAgB,GAC3B,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAEhC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,iBAAiB,CAAC,MAAM,CAAC,CAAC,CAc9F"}
+{"version":3,"file":"reconstruct.d.ts","sourceRoot":"","sources":["../../src/projections/reconstruct.ts"],"names":[],"mappings":"AAAA,OAAO,EACL,KAAK,EAEL,KAAK,MAAM,EAGZ,MAAM,mBAAmB,CAAC;AAC3B,OAAO,EAAU,KAAK,iBAAiB,EAAE,KAAK,UAAU,EAAE,KAAK,GAAG,EAAE,MAAM,oBAAoB,CAAC;AAC/F,OAAO,EAIL,KAAK,YAAY,EACjB,KAAK,gBAAgB,EACtB,MAAM,WAAW,CAAC;AAyHnB;;;;GAIG;AACH,KAAK,QAAQ,CAAC,CAAC,IAAI;KAAG,CAAC,IAAI,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;CAAE,CAAC;AAErD;;;;;;;;;GASG;AACH,wBAAgB,WAAW,CAAC,CAAC,GAAG,GAAG,CAAC,MAAM,CAAC,EACzC,UAAU,EAAE,gBAAgB,GAC3B,iBAAiB,CAAC,QAAQ,CAAC,CAAC,CAAC,CAAC,CAEhC;AAED;;;;;GAKG;AACH,wBAAgB,cAAc,CAAC,MAAM,EAAE,YAAY,GAAG,MAAM,CAAC,MAAM,EAAE,UAAU,CAAC,CAa/E"}

package/dist/projections/reconstruct.js

@@ -1,5 +1,5 @@
-import { createField, } from '../field/index.js';
-import { createSchemaConstructor } from '../entity.js';
+import { Field, } from '../field/index.js';
+import { Schema } from '../schema/index.js';
 import { clean, } from './card.js';
 // ─── reconstruct — card → schema (the single reconstructor) ────────
 /**
@@ -13,12 +13,11 @@ function reconstructShape(prop) {
     if (base === undefined)
         return undefined;
     const type = prop.type;
-    // `array` is two distinct things: with `items` it is a value list (a real shape);
-    // without, it is a bare `many` relation marker — no shape, the role carries it.
+    // `array` with `items` is a value list, without it a `many` relation whose elements
+    // live on the other side. Both are array shapes; only the role tells them apart, and
+    // it travels in `x-fougere`. Nothing to branch on here — the keywords copy back.
     if (base === 'array') {
-        if (!prop.items)
-            return undefined;
-        const items = reconstructShape(prop.items);
+        const items = prop.items ? reconstructShape(prop.items) : undefined;
         return clean({ type, items, minItems: prop.minItems, maxItems: prop.maxItems });
     }
     switch (base) {
@@ -58,10 +57,18 @@ function reconstructRole(role, resolve) {
     }
     return out;
 }
-function reconstructField(prop, resolve) {
+function reconstructField(prop, key, resolve) {
     const ext = prop['x-fougere'];
-    return createField({
-        shape: reconstructShape(prop),
+    const shape = reconstructShape(prop);
+    // A card that names no type for a property cannot become a field: every field states a
+    // shape. Loud and local, at the property that is missing it — the alternative is a field
+    // that judges nothing, which is what this whole rule exists to stop.
+    if (!shape) {
+        throw new Error(`Field '${key}': the card carries no \`type\` for it, so there is no shape to rebuild. `
+            + `A field always states one.`);
+    }
+    return new Field({
+        shape,
         role: ext?.role ? reconstructRole(ext.role, resolve) : undefined,
         // The normal forms are pure JSON — they travelled verbatim, they read back verbatim.
         lifecycle: ext?.lifecycle,
@@ -81,9 +88,7 @@ function compositeFromFields(fields) {
         for (const group of field.role?.unique ?? []) {
             if (group.length < 2)
                 continue;
-            // A key that cannot collide with a field name — `JSON.stringify` rather than a
-            // separator byte: a NUL in the source made every `grep` read this whole file as
-            // binary and skip it silently, a poor price for a de-duplication key.
+            // `JSON.stringify` and not a separator byte: a NUL made `grep` read the file as binary.
             seen.set(JSON.stringify(group), [...group]);
         }
     }
@@ -93,18 +98,13 @@ function compositeFromFields(fields) {
 function buildSchema(descriptor, resolve) {
     const fields = {};
     for (const [key, prop] of Object.entries(descriptor.properties)) {
-        fields[key] = reconstructField(prop, resolve);
+        fields[key] = reconstructField(prop, key, resolve);
     }
-    // Recover the entity-level declaration from what the members carry. The card holds the
-    // fact once per member; a group of two arrives twice, so the set is de-duplicated —
-    // `getUnique()` then answers what the original author wrote, and the DDL on this side
-    // emits the same constraint as the DDL on the other.
-    const schema = createSchemaConstructor(fields, undefined, undefined, {}, compositeFromFields(fields));
-    // The name is the identity everything downstream keys on — the registration key, the
-    // table, the GraphQL type, what a relation's `to` points at. `describe` writes it as
-    // `title`; dropping it here left a rebuilt schema called `Schema`, so a card could not
-    // round-trip and an adapter standing on one had no entity name to work from.
-    // `reconstructSet` still overrides with the bundle key, which is the more specific truth.
+    // The card holds the fact once per MEMBER, so a group of two arrives twice — de-duplicate
+    // it and `getUnique()` answers what the author wrote.
+    const schema = Schema.of(fields, undefined, undefined, {}, compositeFromFields(fields));
+    // The name is what everything downstream keys on — the table, the GraphQL type, a
+    // relation's `to`. `reconstructSet` overrides it with the bundle key, more specific.
     if (descriptor.title) {
         Object.defineProperty(schema, 'name', { value: descriptor.title, configurable: true });
     }
@@ -116,11 +116,9 @@ function buildSchema(descriptor, resolve) {
  * the wire as data, the behaviour is reconstituted here. Relations stay name stand-ins
  * (no set to resolve against — use {@link reconstructSet} for live targets).
  *
- * `T` states the shape of a row, and that is what makes a rebuilt schema a CLASS rather
- * than a type and a value declared side by side: `class Post extends reconstruct<{…}>(card) {}`
- * is one declaration carrying both, exactly like `class Post extends entity({…}) {}`.
- * Without it the instance type is an index signature, so a synced entity validated
- * perfectly and taught the compiler nothing — `post.titel` compiled.
+ * `T` states the row, which is what makes a rebuilt schema a CLASS and not a type beside a
+ * value: `class Post extends reconstruct<{…}>(card) {}`, one declaration carrying both.
+ * Without it the instance type is an index signature, so `post.titel` compiled.
  */
 export function reconstruct(descriptor) {
     return buildSchema(descriptor);
@@ -137,9 +135,8 @@ export function reconstructSet(bundle) {
     const out = {};
     for (const [name, descriptor] of Object.entries(bundle.$defs)) {
         const schema = buildSchema(descriptor, resolve);
-        // Name the rebuilt class after its key so re-describing it yields the same `to` name
-        // (describe reads `relation.to().name`). Lazy `to` means the map need only be full
-        // before any `.to()` call — true once this loop ends.
+        // Named after its key so re-describing yields the same `to`. `to` is lazy, so the map
+        // need only be full before the first call — true once this loop ends.
         Object.defineProperty(schema, 'name', { value: name, configurable: true });
         map[name.toLowerCase()] = schema;
         out[name] = schema;