@fougere/schema 0.17.4-alpha.0 → 0.18.0-alpha.0

package/dist/projection/card/Change.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Change.d.ts","sourceRoot":"","sources":["../../../src/projection/card/Change.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,yFAAyF;AACzF,MAAM,MAAM,MAAM;AAChB,6FAA6F;AAC3F;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC1E,uFAAuF;GACrF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC9E,4FAA4F;GAC1F;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE;AACvE,kEAAkE;GAChE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE;AAChE,0FAA0F;GACxF;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,EAAE,EAAE,eAAe,CAAA;CAAE;AACjF,wFAAwF;GACtF;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE;AACjE,6CAA6C;GAC3C;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,cAAc,CAAC;IAAC,EAAE,CAAC,EAAE,cAAc,CAAA;CAAE,GAC7F;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,WAAW,CAAC;IAAC,IAAI,CAAC,EAAE,cAAc,CAAC;IAAC,EAAE,CAAC,EAAE,cAAc,CAAA;CAAE,GAClG;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,UAAU,CAAC;IAAC,IAAI,CAAC,EAAE,WAAW,CAAC;IAAC,EAAE,CAAC,EAAE,WAAW,CAAA;CAAE,CAAC"}
+{"version":3,"file":"Change.d.ts","sourceRoot":"","sources":["../../../src/projection/card/Change.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAC1D,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAE5C,yFAAyF;AACzF,MAAM,MAAM,MAAM;AAChB,6FAA6F;AAC3F;IAAE,IAAI,EAAE,OAAO,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC1E,uFAAuF;GACrF;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,QAAQ,EAAE,OAAO,CAAA;CAAE;AAC9E,4FAA4F;GAC1F;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,IAAI,EAAE,MAAM,CAAC;IAAC,EAAE,EAAE,MAAM,CAAC;IAAC,KAAK,EAAE,eAAe,CAAA;CAAE;AACvE,kEAAkE;GAChE;IAAE,IAAI,EAAE,SAAS,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE;AAChE,0FAA0F;GACxF;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,eAAe,CAAC;IAAC,EAAE,EAAE,eAAe,CAAA;CAAE;AACjF,wFAAwF;GACtF;IAAE,IAAI,EAAE,UAAU,CAAC;IAAC,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,EAAE,OAAO,CAAC;IAAC,EAAE,EAAE,OAAO,CAAA;CAAE;AACjE,6CAA6C;GAC3C;KAAG,IAAI,IAAI,MAAM,gBAAgB,CAAC,CAAC,GAAG;QACtC,IAAI,EAAE,UAAU,CAAC;QACjB,KAAK,EAAE,MAAM,CAAC;QACd,IAAI,EAAE,IAAI,CAAC;QACX,IAAI,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;QAC5B,EAAE,CAAC,EAAE,cAAc,CAAC,IAAI,CAAC,CAAC;KAC3B;CAAE,CAAC,MAAM,gBAAgB,CAAC,CAAC"}

package/dist/projection/card/Envelope.d.ts

@@ -0,0 +1,7 @@
+/** What every card document carries: the format it speaks, and who wrote it. */
+export declare const ENVELOPE: {
+    readonly 'x-fougere-version': 1;
+    readonly 'x-fougere-vendor': 'fougere';
+};
+export type Envelope = typeof ENVELOPE;
+//# sourceMappingURL=Envelope.d.ts.map

package/dist/projection/card/Envelope.d.ts.map

@@ -0,0 +1 @@
+{"version":3,"file":"Envelope.d.ts","sourceRoot":"","sources":["../../../src/projection/card/Envelope.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,eAAO,MAAM,QAAQ;aAAK,mBAAmB,EAAE,CAAC;aAAE,kBAAkB,EAAE,SAAS;CAAW,CAAC;AAE3F,MAAM,MAAM,QAAQ,GAAG,OAAO,QAAQ,CAAC"}

package/dist/projection/card/Envelope.js

@@ -0,0 +1,3 @@
+/** What every card document carries: the format it speaks, and who wrote it. */
+export const ENVELOPE = { 'x-fougere-version': 1, 'x-fougere-vendor': 'fougere' };
+//# sourceMappingURL=Envelope.js.map

package/dist/projection/card/Envelope.js.map

@@ -0,0 +1 @@
+{"version":3,"file":"Envelope.js","sourceRoot":"","sources":["../../../src/projection/card/Envelope.ts"],"names":[],"mappings":"AAAA,gFAAgF;AAChF,MAAM,CAAC,MAAM,QAAQ,GAAG,EAAE,mBAAmB,EAAE,CAAC,EAAE,kBAAkB,EAAE,SAAS,EAAW,CAAC"}

package/dist/projection/card/FieldDescriptor.d.ts

@@ -5,7 +5,6 @@ export type FieldDescriptor = ShapeKeywords & {
     type?: JSONSchema7TypeName | JSONSchema7TypeName[];
     items?: FieldDescriptor;
     properties?: Record<string, FieldDescriptor>;
-    description?: string;
     'x-fougere'?: FieldExtension;
 };
 //# sourceMappingURL=FieldDescriptor.d.ts.map

package/dist/projection/card/FieldDescriptor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FieldDescriptor.d.ts","sourceRoot":"","sources":["../../../src/projection/card/FieldDescriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG;IAC5C,IAAI,CAAC,EAAE,mBAAmB,GAAG,mBAAmB,EAAE,CAAC;IACnD,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC7C,WAAW,CAAC,EAAE,MAAM,CAAC;IACrB,WAAW,CAAC,EAAE,cAAc,CAAC;CAC9B,CAAC"}
+{"version":3,"file":"FieldDescriptor.d.ts","sourceRoot":"","sources":["../../../src/projection/card/FieldDescriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,MAAM,MAAM,eAAe,GAAG,aAAa,GAAG;IAC5C,IAAI,CAAC,EAAE,mBAAmB,GAAG,mBAAmB,EAAE,CAAC;IACnD,KAAK,CAAC,EAAE,eAAe,CAAC;IACxB,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC7C,WAAW,CAAC,EAAE,cAAc,CAAC;CAC9B,CAAC"}

package/dist/projection/card/FieldExtension.d.ts

@@ -1,11 +1,12 @@
-import type { BoundaryRef } from '../../axis/boundary/Boundary.js';
-import type { LifecycleRules } from '../../axis/lifecycle/Lifecycle.js';
+import type { FougereFieldAxes } from '../../FougereFieldAxes.js';
 import type { RoleDescriptor } from './RoleDescriptor.js';
-export interface FieldExtension {
-    role?: RoleDescriptor;
-    lifecycle?: LifecycleRules;
-    boundary?: BoundaryRef;
-    /** An axis registered from outside writes here, under its own name. */
+/**
+ * What each axis writes on a card — its declaration as it stands, except `role`, whose target
+ * travels as a name. An axis registered from outside writes here too, under its own name.
+ */
+export type FieldExtension = {
+    [Axis in keyof FougereFieldAxes]?: Axis extends 'role' ? RoleDescriptor : FougereFieldAxes[Axis];
+} & {
     [axis: string]: unknown;
-}
+};
 //# sourceMappingURL=FieldExtension.d.ts.map

package/dist/projection/card/FieldExtension.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"FieldExtension.d.ts","sourceRoot":"","sources":["../../../src/projection/card/FieldExtension.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACxE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,QAAQ,CAAC,EAAE,WAAW,CAAC;IAEvB,uEAAuE;IACvE,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAC;CACzB"}
+{"version":3,"file":"FieldExtension.d.ts","sourceRoot":"","sources":["../../../src/projection/card/FieldExtension.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,2BAA2B,CAAC;AAClE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D;;;GAGG;AACH,MAAM,MAAM,cAAc,GAAG;KAC1B,IAAI,IAAI,MAAM,gBAAgB,CAAC,CAAC,EAAE,IAAI,SAAS,MAAM,GAAG,cAAc,GAAG,gBAAgB,CAAC,IAAI,CAAC;CACjG,GAAG;IAAE,CAAC,IAAI,EAAE,MAAM,GAAG,OAAO,CAAA;CAAE,CAAC"}

package/dist/projection/card/RoleDescriptor.js.map

@@ -1 +1 @@
-{"version":3,"file":"RoleDescriptor.js","sourceRoot":"","sources":["../../../src/projection/card/RoleDescriptor.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAkBhD,iFAAiF;AACjF,MAAM,CAAC,MAAM,UAAU,GAAwC;IAC7D,QAAQ,CAAC,IAAI,EAAE,GAAG;QAChB,MAAM,UAAU,GAA4B,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,OAAO;YAAE,UAAU,CAAC,OAAO,GAAG,IAAI,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM;YAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,KAAK;YAAE,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAuB,CAAC;YACvD,UAAU,CAAC,QAAQ,GAAG;gBACpB,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACjC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,CAAC;IAED,WAAW,CAAC,IAAI,EAAE,OAAkB;QAClC,MAAM,KAAK,GAAuB,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO;YAAE,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QACvC,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;YAAE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QAC1E,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;YAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;QACxE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,QAAQ,GAAG;gBACf,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,EAAc,CAAsB;gBACzE,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC"}
+{"version":3,"file":"RoleDescriptor.js","sourceRoot":"","sources":["../../../src/projection/card/RoleDescriptor.ts"],"names":[],"mappings":"AAIA,OAAO,EAAE,UAAU,EAAE,MAAM,oBAAoB,CAAC;AAkBhD,iFAAiF;AACjF,MAAM,CAAC,MAAM,UAAU,GAAwC;IAC7D,QAAQ,CAAC,IAAI,EAAE,GAAG;QAChB,MAAM,UAAU,GAA4B,EAAE,CAAC;QAC/C,IAAI,IAAI,CAAC,OAAO;YAAE,UAAU,CAAC,OAAO,GAAG,IAAI,CAAC;QAC5C,IAAI,IAAI,CAAC,MAAM;YAAE,UAAU,CAAC,MAAM,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC7C,IAAI,IAAI,CAAC,KAAK;YAAE,UAAU,CAAC,KAAK,GAAG,CAAC,CAAC,GAAG,CAAC,CAAC,CAAC;QAC3C,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,MAAM,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAuB,CAAC;YACvD,UAAU,CAAC,QAAQ,GAAG;gBACpB,EAAE,EAAE,UAAU,CAAC,MAAM,CAAC,IAAI,IAAI,EAAE,CAAC;gBACjC,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QAED,OAAO,MAAM,CAAC,IAAI,CAAC,UAAU,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,UAAU,CAAC,CAAC,CAAC,SAAS,CAAC;IACjE,CAAC;IAED,WAAW,CAAC,IAAI,EAAE,OAAkB;QAClC,MAAM,KAAK,GAAuB,EAAE,CAAC;QACrC,IAAI,IAAI,CAAC,OAAO;YAAE,KAAK,CAAC,OAAO,GAAG,IAAI,CAAC;QACvC,IAAI,IAAI,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;YAAE,KAAK,CAAC,MAAM,GAAG,IAAI,CAAC;QAC1E,IAAI,IAAI,CAAC,KAAK,EAAE,IAAI,CAAC,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC,MAAM,KAAK,CAAC,CAAC;YAAE,KAAK,CAAC,KAAK,GAAG,IAAI,CAAC;QACxE,IAAI,IAAI,CAAC,QAAQ,EAAE,CAAC;YAClB,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,EAAE,CAAC;YAC9B,KAAK,CAAC,QAAQ,GAAG;gBACf,EAAE,EAAE,GAAG,EAAE,CAAC,CAAC,OAAO,EAAE,CAAC,IAAI,CAAC,IAAK,EAAE,IAAI,EAAc,CAAW;gBAC9D,IAAI,EAAE,IAAI,CAAC,QAAQ,CAAC,IAAI;gBACxB,GAAG,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC;aACxE,CAAC;QACJ,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;CACF,CAAC"}

package/dist/projection/card/SchemaBundle.d.ts

@@ -1,7 +1,6 @@
 import type { SchemaDescriptor } from './SchemaDescriptor.js';
-export interface SchemaBundle {
+import type { Envelope } from './Envelope.js';
+export interface SchemaBundle extends Envelope {
     $defs: Record<string, SchemaDescriptor>;
-    'x-fougere-version': 1;
-    'x-fougere-vendor': 'fougere';
 }
 //# sourceMappingURL=SchemaBundle.d.ts.map

package/dist/projection/card/SchemaBundle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaBundle.d.ts","sourceRoot":"","sources":["../../../src/projection/card/SchemaBundle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAE9D,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"}
+{"version":3,"file":"SchemaBundle.d.ts","sourceRoot":"","sources":["../../../src/projection/card/SchemaBundle.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,gBAAgB,EAAE,MAAM,uBAAuB,CAAC;AAC9D,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,WAAW,YAAa,SAAQ,QAAQ;IAC5C,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,gBAAgB,CAAC,CAAC;CACzC"}

package/dist/projection/card/SchemaDescriptor.d.ts

@@ -1,12 +1,11 @@
 import type { FieldDescriptor } from './FieldDescriptor.js';
 import type { DerivedFrom } from './DerivedFrom.js';
-export interface SchemaDescriptor {
+import type { Envelope } from './Envelope.js';
+export interface SchemaDescriptor extends Envelope {
     title?: string;
     type: 'object';
     properties: Record<string, FieldDescriptor>;
     required?: string[];
     'x-fougere-derived'?: DerivedFrom;
-    'x-fougere-version': 1;
-    'x-fougere-vendor': 'fougere';
 }
 //# sourceMappingURL=SchemaDescriptor.d.ts.map

package/dist/projection/card/SchemaDescriptor.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"SchemaDescriptor.d.ts","sourceRoot":"","sources":["../../../src/projection/card/SchemaDescriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AAEpD,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,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,mBAAmB,CAAC,EAAE,WAAW,CAAC;IAClC,mBAAmB,EAAE,CAAC,CAAC;IACvB,kBAAkB,EAAE,SAAS,CAAC;CAC/B"}
+{"version":3,"file":"SchemaDescriptor.d.ts","sourceRoot":"","sources":["../../../src/projection/card/SchemaDescriptor.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,sBAAsB,CAAC;AAC5D,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAC;AACpD,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAE9C,MAAM,WAAW,gBAAiB,SAAQ,QAAQ;IAChD,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,IAAI,EAAE,QAAQ,CAAC;IACf,UAAU,EAAE,MAAM,CAAC,MAAM,EAAE,eAAe,CAAC,CAAC;IAC5C,QAAQ,CAAC,EAAE,MAAM,EAAE,CAAC;IACpB,mBAAmB,CAAC,EAAE,WAAW,CAAC;CACnC"}

package/dist/vocabulary/primitive/json.d.ts

@@ -1,5 +1,5 @@
 import { Field, type Shared } from '../../field/Field.js';
-import type { SchemaView } from '../../SchemaView.js';
+import type { Entity } from '../../entity/Entity.js';
 export declare function json<T = unknown>(opts?: Shared<T>): Field<T>;
-export declare function json<E extends SchemaView & (new (...args: any[]) => any)>(of: E, opts?: Shared<InstanceType<E>>): Field<InstanceType<E>>;
+export declare function json<E extends Entity>(of: E, opts?: Shared<InstanceType<E>>): Field<InstanceType<E>>;
 //# sourceMappingURL=json.d.ts.map

package/dist/vocabulary/primitive/json.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"json.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAC1D,OAAO,KAAK,EAAE,UAAU,EAAE,MAAM,qBAAqB,CAAC;AAMtD,wBAAgB,IAAI,CAAC,CAAC,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;AAC9D,wBAAgB,IAAI,CAAC,CAAC,SAAS,UAAU,GAAG,CAAC,KAAK,GAAG,IAAI,EAAE,GAAG,EAAE,KAAK,GAAG,CAAC,EACvE,EAAE,EAAE,CAAC,EACL,IAAI,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAC7B,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC"}
+{"version":3,"file":"json.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE1D,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAKrD,wBAAgB,IAAI,CAAC,CAAC,GAAG,OAAO,EAAE,IAAI,CAAC,EAAE,MAAM,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAC;AAC9D,wBAAgB,IAAI,CAAC,CAAC,SAAS,MAAM,EACnC,EAAE,EAAE,CAAC,EACL,IAAI,CAAC,EAAE,MAAM,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,GAC7B,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,CAAC,CAAC"}

package/dist/vocabulary/primitive/json.js.map

@@ -1 +1 @@
-{"version":3,"file":"json.js","sourceRoot":"","sources":["../../../src/vocabulary/primitive/json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAe,MAAM,sBAAsB,CAAC;AAE1D,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAUnD;;GAEG;AACH,MAAM,UAAU,IAAI,CAClB,EAA6B,EAC7B,IAAsB;IAEtB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAEjF,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,UAAU;QAClD,MAAM,IAAI,WAAW,CACnB,gFAAgF,CACjF,CAAC;IAEJ,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAE/E,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QAE9B,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IAED,OAAO,IAAI,KAAK,CAAC;QACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;KAChF,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AACvB,CAAC"}
+{"version":3,"file":"json.js","sourceRoot":"","sources":["../../../src/vocabulary/primitive/json.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,EAAe,MAAM,sBAAsB,CAAC;AAG1D,OAAO,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AACnE,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AASnD;;GAEG;AACH,MAAM,UAAU,IAAI,CAClB,EAA6B,EAC7B,IAAsB;IAEtB,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,GAAG,OAAO,EAAE,KAAK,UAAU,CAAC,CAAC,CAAC,CAAC,EAAE,EAAE,IAAI,CAAC,CAAC,CAAC,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,CAAC;IAEjF,IAAI,MAAM,IAAI,OAAO,MAAM,CAAC,SAAS,KAAK,UAAU;QAClD,MAAM,IAAI,WAAW,CACnB,gFAAgF,CACjF,CAAC;IAEJ,IAAI,CAAC,MAAM;QAAE,OAAO,IAAI,KAAK,CAAC,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;IAE/E,MAAM,MAAM,GAAG,MAAM,CAAC,SAAS,EAAE,CAAC;IAClC,MAAM,SAAS,GAAG,cAAc,CAAC,EAAE,CAAC,MAAM,CAAC,CAAC;IAC5C,MAAM,UAAU,GAA4B,EAAE,CAAC;IAC/C,MAAM,QAAQ,GAAa,EAAE,CAAC;IAE9B,KAAK,MAAM,CAAC,GAAG,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;QAClD,UAAU,CAAC,GAAG,CAAC,GAAG,KAAK,CAAC,KAAK,CAAC;QAE9B,IAAI,SAAS,CAAC,QAAQ,CAAC,KAAK,CAAC;YAAE,QAAQ,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;IACpD,CAAC;IAED,OAAO,IAAI,KAAK,CAAC;QACf,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,UAAU,EAAE,GAAG,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,CAAC,CAAC,CAAC,EAAE,CAAC,EAAE;KAChF,CAAC,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;AACvB,CAAC"}

package/dist/vocabulary/primitive/many.d.ts

@@ -1,7 +1,7 @@
-import { type EntityConstructor } from '../../axis/role/EntityConstructor.js';
+import type { Entity } from '../../entity/Entity.js';
 import { Field, type Described } from '../../field/Field.js';
 /**
  * `many(() => Post)` → `{ type: 'array' }` with `role.relation.kind` `'many'`
  */
-export declare function many<E extends EntityConstructor>(target: E | (() => E), opts?: Described): Field<InstanceType<E>[]>;
+export declare function many<E extends Entity>(target: E | (() => E), opts?: Described): Field<InstanceType<E>[]>;
 //# sourceMappingURL=many.d.ts.map

package/dist/vocabulary/primitive/many.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"many.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/many.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAE9E,OAAO,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAE7D;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,iBAAiB,EAC9C,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACrB,IAAI,CAAC,EAAE,SAAS,GACf,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAK1B"}
+{"version":3,"file":"many.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/many.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AAErD,OAAO,EAAE,KAAK,EAAE,KAAK,SAAS,EAAE,MAAM,sBAAsB,CAAC;AAE7D;;GAEG;AACH,wBAAgB,IAAI,CAAC,CAAC,SAAS,MAAM,EACnC,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACrB,IAAI,CAAC,EAAE,SAAS,GACf,KAAK,CAAC,YAAY,CAAC,CAAC,CAAC,EAAE,CAAC,CAK1B"}

package/dist/vocabulary/primitive/ref.d.ts

@@ -1,8 +1,8 @@
-import { type EntityConstructor } from '../../axis/role/EntityConstructor.js';
+import type { Entity } from '../../entity/Entity.js';
 import { type OnDelete } from '../../axis/role/Relation.js';
 import { Field, type Shared } from '../../field/Field.js';
 export interface RefOptions extends Shared<string> {
     onDelete?: OnDelete;
 }
-export declare function ref<E extends EntityConstructor>(target: E | (() => E), opts?: RefOptions): Field<string>;
+export declare function ref<E extends Entity>(target: E | (() => E), opts?: RefOptions): Field<string>;
 //# sourceMappingURL=ref.d.ts.map

package/dist/vocabulary/primitive/ref.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/ref.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,KAAK,iBAAiB,EAAE,MAAM,sCAAsC,CAAC;AAC9E,OAAO,EAAY,KAAK,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,UAAW,SAAQ,MAAM,CAAC,MAAM,CAAC;IAChD,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,wBAAgB,GAAG,CAAC,CAAC,SAAS,iBAAiB,EAC7C,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACrB,IAAI,CAAC,EAAE,UAAU,GAChB,KAAK,CAAC,MAAM,CAAC,CAKf"}
+{"version":3,"file":"ref.d.ts","sourceRoot":"","sources":["../../../src/vocabulary/primitive/ref.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,MAAM,EAAE,MAAM,wBAAwB,CAAC;AACrD,OAAO,EAAY,KAAK,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AACtE,OAAO,EAAE,KAAK,EAAE,KAAK,MAAM,EAAE,MAAM,sBAAsB,CAAC;AAE1D,MAAM,WAAW,UAAW,SAAQ,MAAM,CAAC,MAAM,CAAC;IAChD,QAAQ,CAAC,EAAE,QAAQ,CAAC;CACrB;AAED,wBAAgB,GAAG,CAAC,CAAC,SAAS,MAAM,EAClC,MAAM,EAAE,CAAC,GAAG,CAAC,MAAM,CAAC,CAAC,EACrB,IAAI,CAAC,EAAE,UAAU,GAChB,KAAK,CAAC,MAAM,CAAC,CAKf"}

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "@fougere/schema",
-  "version": "0.17.4-alpha.0",
+  "version": "0.18.0-alpha.0",
   "description": "The entity and its 4 axes — shape, role, lifecycle, boundary. Subject-owned judgments, edge-safe.",
   "keywords": [
     "fougere",

package/src/SchemaConstraints.ts

@@ -1,6 +1,7 @@
 import { type FieldName } from './field/FieldName.js';
 import { type Fields } from './field/Fields.js';
 import { type FieldGroups } from './entity/FieldGroups.js';
+import type { EntityDeclarations } from './entity/EntityDeclarations.js';
 
 /**
  * What a schema states beyond any single field: groups of names. `unique` constrains the
@@ -9,7 +10,11 @@ import { type FieldGroups } from './entity/FieldGroups.js';
  * spanning two fields — a check, an exclusion — is a member here, not an eighth positional
  * argument in a list that has already lost one.
  */
+export type ConstraintKind = (typeof SchemaConstraints.kinds)[number];
+
 export class SchemaConstraints<TFields extends Fields = Fields> {
+  static readonly kinds = ['unique', 'index'] as const;
+
   private constructor(
     readonly unique: FieldGroups<TFields>,
     readonly index: FieldGroups<TFields>,
@@ -23,7 +28,7 @@ export class SchemaConstraints<TFields extends Fields = Fields> {
    * `SchemaConstraints.of([['a','b'], ['a','b']])` → `unique` holds one group
    */
   static of<TFields extends Fields>(
-    groups: { unique?: FieldGroups<TFields>; index?: FieldGroups<TFields> },
+    groups: Pick<EntityDeclarations<TFields>, ConstraintKind>,
   ): SchemaConstraints<TFields> {
     return new SchemaConstraints(deduped(groups.unique), deduped(groups.index));
   }

package/src/SchemaConstructor.ts

@@ -3,17 +3,12 @@ import type { StandardSchemaV1 } from '@standard-schema/spec';
 import { type Fields } from './field/Fields.js';
 
 import { type EntityDeclarations } from './entity/EntityDeclarations.js';
-import { type PreviousNames } from './entity/PreviousNames.js';
-import { SchemaDerivation } from './SchemaDerivation.js';
 import type { SchemaView } from './SchemaView.js';
 import type { Values } from './field/Values.js';
 
 export interface SchemaConstructor<TFields extends Fields> extends SchemaView<TFields> {
   new (data: Partial<Values<TFields>>): Values<TFields>;
   readonly '~standard': StandardSchemaV1.Props<Record<string, unknown>, Values<TFields>>;
-  readonly derivation?: SchemaDerivation;
-  readonly previous?: PreviousNames<TFields>;
-  readonly anchored?: boolean;
   from(data: Record<string, unknown>): Values<TFields>;
   pick<K extends string & keyof TFields>(
     ...keys: K[]

package/src/SchemaDefinition.ts

@@ -9,6 +9,7 @@ import { type ValidateOptions } from './validator/ValidateOptions.js';
 import type { SchemaView } from './SchemaView.js';
 import { SchemaConstraints } from './SchemaConstraints.js';
 import { SchemaError } from './SchemaError.js';
+import type { ConstraintKind } from './SchemaConstraints.js';
 
 /**
  * Everything a definition is made of, every member required.
@@ -17,15 +18,10 @@ import { SchemaError } from './SchemaError.js';
  * `anchored: false` are the two a derivation decides, and positionally they were an
  * `undefined` and a `false` a reader had to count arguments to name.
  */
-interface SchemaState {
-  fields: Fields;
-  adapterSet: EntityAdapterSet;
-  opts: ValidateOptions;
-  previous: PreviousNames<Fields> | undefined;
-  derivation: SchemaDerivation | undefined;
-  anchored: boolean;
-  constraints: SchemaConstraints;
-}
+type SchemaState = Pick<
+  SchemaDefinition,
+  'fields' | 'adapterSet' | 'opts' | 'previous' | 'derivation' | 'anchored' | 'constraints'
+>;
 
 /** What a schema is built from; the rest is stated by `declares` or inherited by a derivation. */
 export interface SchemaDeclaration<TFields extends Fields> {
@@ -183,8 +179,7 @@ export class SchemaDefinition {
   static merged(views: readonly SchemaView[]): SchemaDefinition {
     const fields: Fields = {};
     let opts: ValidateOptions = {};
-    const groups: { unique: (readonly string[])[]; index: (readonly string[])[] } =
-      { unique: [], index: [] };
+    const groups: Record<ConstraintKind, (readonly string[])[]> = { unique: [], index: [] };
     for (const view of views) {
       Object.assign(fields, view.getFields());
       opts = { ...opts, ...view.getOpts() };

package/src/axis/Resolver.ts

@@ -1 +1,3 @@
-export type Resolver = (name: string) => (abstract new (...args: never[]) => unknown) | undefined;
+import type { Entity } from '../entity/Entity.js';
+
+export type Resolver = (name: string) => Entity | undefined;

package/src/axis/role/Relation.ts

@@ -1,4 +1,5 @@
-import type { EntityConstructor } from './EntityConstructor.js';
+import type { Entity } from '../../entity/Entity.js';
+import type { RoleRules } from './Role.js';
 
 export const RELATION_KINDS = ['one', 'many'] as const;
 
@@ -7,11 +8,7 @@ export const ON_DELETE = ['cascade', 'restrict', 'set null'] as const;
 /** What becomes of the rows that name a deleted one. */
 export type OnDelete = (typeof ON_DELETE)[number];
 
-export interface Relation {
-  to: () => EntityConstructor;
-  kind: (typeof RELATION_KINDS)[number];
-  onDelete?: OnDelete;
-}
+export type Relation = NonNullable<RoleRules['relation']>;
 
 /**
  * How a relation is built — the one place a target becomes `() => Entity`.
@@ -22,15 +19,15 @@ export interface Relation {
  */
 export const Relation = {
   /** `() => Post` so two entities can point at each other. */
-  one(target: EntityConstructor | (() => EntityConstructor), onDelete?: OnDelete): Relation {
+  one(target: Entity | (() => Entity), onDelete?: OnDelete): Relation {
     return { to: normalizeTarget(target), kind: 'one', ...(onDelete ? { onDelete } : {}) };
   },
 
-  many(target: EntityConstructor | (() => EntityConstructor)): Relation {
+  many(target: Entity | (() => Entity)): Relation {
     return { to: normalizeTarget(target), kind: 'many' };
   },
 };
 
-function normalizeTarget<E extends EntityConstructor>(target: E | (() => E)): () => E {
+function normalizeTarget<E extends Entity>(target: E | (() => E)): () => E {
   return 'getFields' in target ? () => target as E : (target as () => E);
 }

package/src/axis/role/Role.ts

@@ -1,5 +1,5 @@
 import type { Relation } from './Relation.js';
-import type { EntityConstructor } from './EntityConstructor.js';
+import type { Entity } from '../../entity/Entity.js';
 import { isObject } from '../../lib/utils.js';
 import { Shapes, type Shape } from '../shape/Shape.js';
 import type { ValidationError } from '../../lib/ValidationError.js';
@@ -14,7 +14,7 @@ export class Role {
     .key(
       'relation',
       Format.of()
-        .key('to', Format.anything.as<() => EntityConstructor>())
+        .key('to', Format.anything.as<() => Entity>())
         .key('kind', Format.tokens(RELATION_KINDS))
         .key('onDelete', Format.tokens(ON_DELETE))
         .needs('to', 'kind')
@@ -86,7 +86,7 @@ export class Role {
   }
 
   /** Calls `() => Post` so no caller has to. */
-  get target(): EntityConstructor | undefined {
+  get target(): Entity | undefined {
     return this.rules.relation?.to();
   }
 

package/src/axis/shape/Shape.ts

@@ -52,12 +52,11 @@ export const SHAPE_TYPES = [
   'object',
 ] as const;
 
-type BaseShape =
-  | ({ type: 'string' } & StringConstraints)
-  | ({ type: 'number' | 'integer' } & NumericConstraints)
-  | ({ type: 'boolean' } & Documented)
-  | ({ type: 'array' } & ArrayConstraints)
-  | ({ type: 'object' } & ObjectConstraints);
+
+/** A shape with `null` taken out of its type — what `Shapes` splits a nullable one into. */
+type BaseShape = Shape extends infer Each
+  ? Each extends { type: infer Type } ? Omit<Each, 'type'> & { type: Type extends readonly [infer One, 'null'] ? One : Type } : never
+  : never;
 
 interface ShapeParts {
   base?: BaseShape;

package/src/entity/Entity.ts

@@ -0,0 +1,5 @@
+import type { SchemaView } from '../SchemaView.js';
+
+/** An entity class, whichever its fields — what a relation, a prefab or `json()` is handed. */
+// eslint-disable-next-line @typescript-eslint/no-explicit-any -- a row of any shape
+export type Entity = SchemaView & (abstract new (...args: any[]) => any);

package/src/field/FieldSet.ts

@@ -4,6 +4,8 @@ import { Field } from './Field.js';
 import { type FieldName } from './FieldName.js';
 import { type Fields } from './Fields.js';
 import { SchemaError } from '../SchemaError.js';
+import { SchemaConstraints, type ConstraintKind } from '../SchemaConstraints.js';
+import type { EntityDeclarations } from '../entity/EntityDeclarations.js';
 
 export class FieldSet<TFields extends Fields = Fields> {
   private constructor(private readonly fields: TFields) {}
@@ -24,15 +26,15 @@ export class FieldSet<TFields extends Fields = Fields> {
    */
   static declaring<TFields extends Fields>(
     declared: TFields,
-    groups: { unique?: FieldGroups<TFields>; index?: FieldGroups<TFields> } = {},
-  ): { fields: TFields; unique: FieldGroups<TFields>; index: FieldGroups<TFields> } {
+    groups: Pick<EntityDeclarations<TFields>, ConstraintKind> = {},
+  ): { fields: TFields } & Record<ConstraintKind, FieldGroups<TFields>> {
     const fields: Fields = {};
     for (const [key, field] of Object.entries(declared))
       fields[key] = new Field(field, key);
 
-    const composite = { unique: [] as FieldName<TFields>[][], index: [] as FieldName<TFields>[][] };
+    const composite: Record<ConstraintKind, FieldName<TFields>[][]> = { unique: [], index: [] };
 
-    for (const kind of ['unique', 'index'] as const) {
+    for (const kind of SchemaConstraints.kinds) {
       for (const group of groups[kind] ?? []) {
         const missing = group.filter((key) => !Object.hasOwn(fields, key));
         if (missing.length)

package/src/index.ts

@@ -4,6 +4,7 @@ export * from './vocabulary/index.js';
 
 export { ANONYMOUS_SCHEMA_NAME, Schema } from './Schema.js';
 export { type SchemaConstructor } from './SchemaConstructor.js';
+export { type Entity } from './entity/Entity.js';
 export { type SchemaView } from './SchemaView.js';
 export { Field } from './field/Field.js';
 export { type Fields } from './field/Fields.js';
@@ -13,7 +14,6 @@ export { type ShapeType } from './axis/shape/ShapeType.js';
 export { Shapes } from './axis/shape/Shape.js';
 export { Role } from './axis/role/Role.js';
 export { ON_DELETE, type OnDelete } from './axis/role/Relation.js';
-export { type EntityConstructor } from './axis/role/EntityConstructor.js';
 export { Lifecycle } from './axis/lifecycle/Lifecycle.js';
 export { Boundary } from './axis/boundary/Boundary.js';
 export { applyCreate, applyUpdate } from './axis/lifecycle/apply.js';

package/src/projection/card/Bundle.ts

@@ -1,5 +1,5 @@
 import type { Resolver } from '../../axis/Resolver.js';
-import type { EntityConstructor } from '../../axis/role/EntityConstructor.js';
+import type { Entity } from '../../entity/Entity.js';
 import { lowerFirst } from '../../lib/utils.js';
 import type { SchemaView } from '../../SchemaView.js';
 import { Card } from './Card.js';
@@ -9,6 +9,7 @@ import type { Diff } from './Diff.js';
 import type { SetDiff } from './SetDiff.js';
 import type { SetDiffOptions } from './SetDiffOptions.js';
 import { SchemaError } from '../../SchemaError.js';
+import { ENVELOPE } from './Envelope.js';
 
 type SchemaSet = Record<string, SchemaView> | SchemaView[];
 
@@ -38,8 +39,7 @@ export class Bundle {
 
     return new Bundle({
       $defs: definitions,
-      'x-fougere-version': 1,
-      'x-fougere-vendor': 'fougere',
+      ...ENVELOPE,
     });
   }
 
@@ -48,12 +48,12 @@ export class Bundle {
   }
 
   toSchemas(): Record<string, SchemaView> {
-    const byName: Record<string, EntityConstructor> = {};
+    const byName: Record<string, Entity> = {};
     const resolve: Resolver = (name) => byName[name.toLowerCase()];
     const schemas: Record<string, SchemaView> = {};
     for (const [name, descriptor] of Object.entries(this.descriptor.$defs)) {
       const schema = Card.fromDescriptor(descriptor).toSchema(resolve, name);
-      byName[name.toLowerCase()] = schema as unknown as EntityConstructor;
+      byName[name.toLowerCase()] = schema;
       schemas[name] = schema;
     }
 

package/src/projection/card/Card.ts

@@ -19,6 +19,8 @@ import type { SchemaDescriptor } from './SchemaDescriptor.js';
 import { compare, type Diff } from './Diff.js';
 import { type DiffOptions } from './DiffOptions.js';
 import { SchemaError } from '../../SchemaError.js';
+import type { ConstraintKind } from '../../SchemaConstraints.js';
+import { ENVELOPE } from './Envelope.js';
 
 type FieldsOf<T> = { [K in keyof T]-?: Field<T[K]> };
 
@@ -42,15 +44,14 @@ export class Card<T = Values<Fields>> {
       properties[key] = describeField(field, key);
       if (validator.requires(field)) required.push(key);
     }
-    for (const kind of ['unique', 'index'] as const)
+    for (const kind of SchemaConstraints.kinds)
       for (const group of kind === 'unique' ? schema.getUnique() : schema.getIndex())
         for (const member of group) carryGroup(properties[member], kind, group);
 
     const descriptor: SchemaDescriptor = {
       type: 'object',
       properties,
-      'x-fougere-version': 1,
-      'x-fougere-vendor': 'fougere',
+      ...ENVELOPE,
     };
     const title = name ?? Card.titleOf(schema);
     if (title) descriptor.title = title;
@@ -98,7 +99,7 @@ export class Card<T = Values<Fields>> {
     }
 
     const fields: Fields = {};
-    const groups: { unique: string[][]; index: string[][] } = { unique: [], index: [] };
+    const groups: Record<ConstraintKind, string[][]> = { unique: [], index: [] };
     for (const [key, property] of Object.entries(descriptor.properties)) {
       if (!isObject(property)) {
         refuse(
@@ -107,7 +108,7 @@ export class Card<T = Values<Fields>> {
         );
       }
       fields[key] = reconstructField(property, key, resolve);
-      for (const kind of ['unique', 'index'] as const)
+      for (const kind of SchemaConstraints.kinds)
         for (const group of property['x-fougere']?.role?.[kind] ?? [])
           if (group.length > 1) groups[kind].push([...group]);
     }

package/src/projection/card/Change.ts

@@ -1,7 +1,6 @@
-import type { BoundaryRef } from '../../axis/boundary/Boundary.js';
-import type { LifecycleRules } from '../../axis/lifecycle/Lifecycle.js';
+import type { FougereFieldAxes } from '../../FougereFieldAxes.js';
 import type { FieldDescriptor } from './FieldDescriptor.js';
-import type { RoleDescriptor } from './RoleDescriptor.js';
+import type { FieldExtension } from './FieldExtension.js';
 import type { TypeSet } from './TypeSet.js';
 
 /** One named difference, at one place. Each kind exists because a reader asks for it. */
@@ -19,6 +18,10 @@ export type Change =
   /** NOT NULL in either direction. Boot: an old writer cannot fill what it never knew. */
   | { kind: 'required'; field: string; from: boolean; to: boolean }
   /** An axis other than shape was restated. */
-  | { kind: 'restated'; field: string; axis: 'role'; from?: RoleDescriptor; to?: RoleDescriptor }
-  | { kind: 'restated'; field: string; axis: 'lifecycle'; from?: LifecycleRules; to?: LifecycleRules }
-  | { kind: 'restated'; field: string; axis: 'boundary'; from?: BoundaryRef; to?: BoundaryRef };
+  | { [Axis in keyof FougereFieldAxes]-?: {
+    kind: 'restated';
+    field: string;
+    axis: Axis;
+    from?: FieldExtension[Axis];
+    to?: FieldExtension[Axis];
+  } }[keyof FougereFieldAxes];

package/src/projection/card/Envelope.ts

@@ -0,0 +1,4 @@
+/** What every card document carries: the format it speaks, and who wrote it. */
+export const ENVELOPE = { 'x-fougere-version': 1, 'x-fougere-vendor': 'fougere' } as const;
+
+export type Envelope = typeof ENVELOPE;

package/src/projection/card/FieldDescriptor.ts

@@ -6,6 +6,5 @@ export type FieldDescriptor = ShapeKeywords & {
   type?: JSONSchema7TypeName | JSONSchema7TypeName[];
   items?: FieldDescriptor;
   properties?: Record<string, FieldDescriptor>;
-  description?: string;
   'x-fougere'?: FieldExtension;
 };

package/src/projection/card/FieldExtension.ts

@@ -1,12 +1,10 @@
-import type { BoundaryRef } from '../../axis/boundary/Boundary.js';
-import type { LifecycleRules } from '../../axis/lifecycle/Lifecycle.js';
+import type { FougereFieldAxes } from '../../FougereFieldAxes.js';
 import type { RoleDescriptor } from './RoleDescriptor.js';
 
-export interface FieldExtension {
-  role?: RoleDescriptor;
-  lifecycle?: LifecycleRules;
-  boundary?: BoundaryRef;
-
-  /** An axis registered from outside writes here, under its own name. */
-  [axis: string]: unknown;
-}
+/**
+ * What each axis writes on a card — its declaration as it stands, except `role`, whose target
+ * travels as a name. An axis registered from outside writes here too, under its own name.
+ */
+export type FieldExtension = {
+  [Axis in keyof FougereFieldAxes]?: Axis extends 'role' ? RoleDescriptor : FougereFieldAxes[Axis];
+} & { [axis: string]: unknown };

package/src/projection/card/RoleDescriptor.ts

@@ -1,4 +1,4 @@
-import type { EntityConstructor } from '../../axis/role/EntityConstructor.js';
+import type { Entity } from '../../entity/Entity.js';
 import type { Relation } from '../../axis/role/Relation.js';
 import type { RoleRules } from '../../axis/role/Role.js';
 import type { Resolver } from '../../axis/Resolver.js';
@@ -47,7 +47,7 @@ export const roleOnCard: CardForm<RoleRules, RoleDescriptor> = {
     if (wire.relation) {
       const name = wire.relation.to;
       rules.relation = {
-        to: () => (resolve?.(name) ?? ({ name } as unknown)) as EntityConstructor,
+        to: () => (resolve?.(name) ?? ({ name } as unknown)) as Entity,
         kind: wire.relation.kind,
         ...(wire.relation.onDelete ? { onDelete: wire.relation.onDelete } : {}),
       };

package/src/projection/card/SchemaBundle.ts

@@ -1,7 +1,6 @@
 import type { SchemaDescriptor } from './SchemaDescriptor.js';
+import type { Envelope } from './Envelope.js';
 
-export interface SchemaBundle {
+export interface SchemaBundle extends Envelope {
   $defs: Record<string, SchemaDescriptor>;
-  'x-fougere-version': 1;
-  'x-fougere-vendor': 'fougere';
 }