@fougere/schema 0.12.0-alpha.0 → 0.12.2-alpha.0

package/dist/axis/boundary/Boundary.js.map

@@ -1 +1 @@
-{"version":3,"file":"Boundary.js","sourceRoot":"","sources":["../../../src/axis/boundary/Boundary.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG1C,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAE3C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AAEnD,MAAM,eAAe,GAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAExD,MAAM,eAAe,GAAY,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC;AAElD,MAAM,OAAO,QAAQ;IACF,EAAE,CAAuB;IACzB,GAAG,CAAwB;IACnC,MAAM,CAAU;IAChB,MAAM,CAAU;IAEzB,YACE,KAAK,GAAkB,EAAE,EACzB,MAA6C;QAE7C,IAAI,CAAC,EAAE,GAAG,KAAK,CAAC,EAAE,CAAC;QACnB,IAAI,CAAC,GAAG,GAAG,KAAK,CAAC,GAAG,CAAC;QACrB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,eAAe,CAAC;QAChD,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,eAAe,CAAC;IAClD,CAAC;IAED,mCAAmC;IACnC,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC;QAC3B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7C,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC;QAEtD,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,WAAW,CAAC,4BAA4B,GAAG,GAAG,CAAC,CAAC;QACtE,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAAY;QACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAkB;YAC3B,EAAE,EAAE,QAAQ,CAAC,EAAE,IAAI,OAAO,CAAC,EAAE;YAC7B,GAAG,EAAE,QAAQ,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG;SACjC,CAAC;QACF,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE;YACzB,MAAM,EACJ,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;gBAC1B,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC;gBAC9C,CAAC,CAAC,eAAe;YACrB,MAAM,EACJ,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ;gBAC3B,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC/C,CAAC,CAAC,eAAe;SACtB,CAAC,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,QAAQ,CAAC,KAAwB;QACtC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM;YAAE,OAAO,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAChG,OAAO,IAAI,QAAQ,EAAE,CAAC;IACxB,CAAC;IAED,uFAAuF;IACvF,SAAS,CAAC,SAAwB;QAChC,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,IAAI,IAAI,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,IAAI,IAAI,CAAC,GAAG,EAAE,CAAC;IACzE,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,EAAE,KAAK,QAAQ,CAAC;IAC9B,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,GAAG,KAAK,QAAQ,CAAC;IAC/B,CAAC;CACF"}
+{"version":3,"file":"Boundary.js","sourceRoot":"","sources":["../../../src/axis/boundary/Boundary.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,UAAU,EAAE,MAAM,cAAc,CAAC;AAG1C,OAAO,EAAE,MAAM,EAAE,MAAM,mBAAmB,CAAC;AAC3C,OAAO,EAAE,WAAW,EAAE,MAAM,sBAAsB,CAAC;AACnD,OAAO,EAAE,MAAM,EAAiB,MAAM,qBAAqB,CAAC;AAE5D,MAAM,QAAQ,GAAG,CAAmC,IAAU,EAAE,EAAE,CAChE,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,QAAQ,CAAC,CAAC,EAAE,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,IAAI,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,MAAM,EAAE,CAAC,CAAC;AAEpG,MAAM,KAAK,GAAG,MAAM,CAAC,EAAE,EAAE,CAAC,GAAG,CAAC,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,EAAE,CAAC;AAEhG,MAAM,QAAQ,GAAG,MAAM,CAAC,KAAK,CAC3B,eAAe,EACf,MAAM,CAAC,MAAM,CAAC,MAAM,CAAC,IAAI,CAAC,EAAE,EAA6B,EAAE,KAAK,CAAC,CAClE,CAAC;AAMF,MAAM,eAAe,GAAY,CAAC,KAAK,EAAE,EAAE,CAAC,CAAC,EAAE,KAAK,EAAE,CAAC,CAAC;AAExD,MAAM,eAAe,GAAY,CAAC,KAAK,EAAE,EAAE,CAAC,KAAK,CAAC;AAElD,MAAM,OAAO,QAAQ;IAOA,KAAK;IANxB,MAAM,CAAU,MAAM,GAAG,QAAQ,CAAC;IAEzB,MAAM,CAAU;IAChB,MAAM,CAAU;IAEzB,YACmB,KAAK,GAAkB,EAAE,EAC1C,MAA6C;qBAD5B,KAAK;QAGtB,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,eAAe,CAAC;QAChD,IAAI,CAAC,MAAM,GAAG,MAAM,EAAE,MAAM,IAAI,eAAe,CAAC;IAClD,CAAC;IAED,mCAAmC;IACnC,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,MAAM,GAAG,GAAG,KAAK,CAAC,QAAQ,CAAC;QAC3B,IAAI,GAAG,KAAK,SAAS;YAAE,OAAO,IAAI,QAAQ,EAAE,CAAC;QAC7C,IAAI,OAAO,GAAG,KAAK,QAAQ;YAAE,OAAO,IAAI,QAAQ,CAAC,GAAG,CAAC,CAAC;QAEtD,MAAM,KAAK,GAAG,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC;QAC3C,IAAI,CAAC,KAAK;YAAE,MAAM,IAAI,WAAW,CAAC,4BAA4B,GAAG,GAAG,CAAC,CAAC;QAEtE,OAAO,IAAI,QAAQ,CAAC,KAAK,CAAC,CAAC;IAC7B,CAAC;IAED,uDAAuD;IACvD,MAAM,CAAC,aAAa,CAAC,KAAY;QAC/B,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,EAAE,CAAC;IACnC,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAAY;QACpB,MAAM,QAAQ,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAC;QAC1C,MAAM,OAAO,GAAG,QAAQ,CAAC,QAAQ,CAAC,KAAK,CAAC,KAAK,CAAC,CAAC;QAC/C,MAAM,KAAK,GAAkB;YAC3B,EAAE,EAAE,QAAQ,CAAC,KAAK,CAAC,EAAE,IAAI,OAAO,CAAC,KAAK,CAAC,EAAE;YACzC,GAAG,EAAE,QAAQ,CAAC,KAAK,CAAC,GAAG,IAAI,OAAO,CAAC,KAAK,CAAC,GAAG;SAC7C,CAAC;QAEF,OAAO,IAAI,QAAQ,CAAC,KAAK,EAAE;YACzB,MAAM,EACJ,OAAO,KAAK,CAAC,EAAE,KAAK,QAAQ;gBAC1B,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC,MAAM,CAAC;gBAC9C,CAAC,CAAC,eAAe;YACrB,MAAM,EACJ,OAAO,KAAK,CAAC,GAAG,KAAK,QAAQ;gBAC3B,CAAC,CAAC,UAAU,CAAC,QAAQ,CAAC,OAAO,CAAC,KAAK,CAAC,GAAG,CAAC,MAAM,CAAC;gBAC/C,CAAC,CAAC,eAAe;SACtB,CAAC,CAAC;IACL,CAAC;IAED,8EAA8E;IAC9E,MAAM,CAAC,QAAQ,CAAC,KAAwB;QACtC,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,KAAK,MAAM;YAAE,OAAO,IAAI,QAAQ,CAAC,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC;QAEhG,OAAO,IAAI,QAAQ,EAAE,CAAC;IACxB,CAAC;IAED,uFAAuF;IACvF,SAAS,CAAC,SAAwB;QAChC,OAAO,EAAE,EAAE,EAAE,SAAS,CAAC,EAAE,IAAI,IAAI,CAAC,KAAK,CAAC,EAAE,EAAE,GAAG,EAAE,SAAS,CAAC,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,GAAG,EAAE,CAAC;IACrF,CAAC;IAED,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,EAAE,KAAK,QAAQ,CAAC;IACpC,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,GAAG,KAAK,QAAQ,CAAC;IACrC,CAAC;CACF"}

package/dist/axis/boundary/Decoder.d.ts

@@ -1,4 +1,3 @@
-import type { BoundaryRules } from './BoundaryRules.js';
 import { Registry } from '../../lib/Registry.js';
 import type { Encoder } from './Encoder.js';
 import type { Verdict } from '../../lib/Verdict.js';
@@ -18,6 +17,13 @@ export type Decoder = (value: unknown) => Verdict;
 export declare const Boundaries: {
     decoders: Registry<Decoder>;
     encoders: Registry<Encoder>;
-    aliases: Registry<BoundaryRules>;
+    aliases: Registry<{
+        in?: "closed" | {
+            decode: string;
+        } | undefined;
+        out?: "closed" | {
+            encode: string;
+        } | undefined;
+    }>;
 };
 //# sourceMappingURL=Decoder.d.ts.map

package/dist/axis/boundary/Decoder.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Decoder.d.ts","sourceRoot":"","sources":["../../../src/axis/boundary/Decoder.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,aAAa,EAAE,MAAM,oBAAoB,CAAC;AACxD,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEpD;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;AAElD;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB,QAAQ;IAIR,QAAQ;IAIR,OAAO;CACR,CAAC"}
+{"version":3,"file":"Decoder.d.ts","sourceRoot":"","sources":["../../../src/axis/boundary/Decoder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AACjD,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,cAAc,CAAC;AAC5C,OAAO,KAAK,EAAE,OAAO,EAAE,MAAM,sBAAsB,CAAC;AAEpD;;;;GAIG;AACH,MAAM,MAAM,OAAO,GAAG,CAAC,KAAK,EAAE,OAAO,KAAK,OAAO,CAAC;AAElD;;;;;;GAMG;AACH,eAAO,MAAM,UAAU;IACrB,QAAQ;IAIR,QAAQ;IAIR,OAAO;;;;;;;;CACR,CAAC"}

package/dist/axis/boundary/Decoder.js.map

@@ -1 +1 @@
-{"version":3,"file":"Decoder.js","sourceRoot":"","sources":["../../../src/axis/boundary/Decoder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAWjD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,QAAQ,EAAE,IAAI,QAAQ,CACpB,kBAAkB,EAClB,6CAA6C,CAC9C;IACD,QAAQ,EAAE,IAAI,QAAQ,CACpB,kBAAkB,EAClB,6CAA6C,CAC9C;IACD,OAAO,EAAE,IAAI,QAAQ,CAAgB,gBAAgB,CAAC;CACvD,CAAC;AAEF,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;IAChD,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;QAC7B,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACtF,CAAC;IACD,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;AACxC,CAAC,CAAC,CAAC;AACH,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAChD,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CACpD,CAAC;AACF,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC"}
+{"version":3,"file":"Decoder.js","sourceRoot":"","sources":["../../../src/axis/boundary/Decoder.ts"],"names":[],"mappings":"AACA,OAAO,EAAE,QAAQ,EAAE,MAAM,uBAAuB,CAAC;AAWjD;;;;;;GAMG;AACH,MAAM,CAAC,MAAM,UAAU,GAAG;IACxB,QAAQ,EAAE,IAAI,QAAQ,CACpB,kBAAkB,EAClB,6CAA6C,CAC9C;IACD,QAAQ,EAAE,IAAI,QAAQ,CACpB,kBAAkB,EAClB,6CAA6C,CAC9C;IACD,OAAO,EAAE,IAAI,QAAQ,CAAgB,gBAAgB,CAAC;CACvD,CAAC;AAEF,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE;IAChD,IAAI,KAAK,YAAY,IAAI;QAAE,OAAO,EAAE,KAAK,EAAE,CAAC;IAC5C,IAAI,OAAO,KAAK,KAAK,QAAQ,EAAE,CAAC;QAC9B,MAAM,IAAI,GAAG,IAAI,IAAI,CAAC,KAAK,CAAC,CAAC;QAE7B,OAAO,MAAM,CAAC,KAAK,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,CAAC,EAAE,OAAO,EAAE,cAAc,EAAE,CAAC,CAAC,CAAC,EAAE,KAAK,EAAE,IAAI,EAAE,CAAC;IACtF,CAAC;IAED,OAAO,EAAE,OAAO,EAAE,iBAAiB,EAAE,CAAC;AACxC,CAAC,CAAC,CAAC;AACH,UAAU,CAAC,QAAQ,CAAC,QAAQ,CAAC,SAAS,EAAE,CAAC,KAAK,EAAE,EAAE,CAChD,KAAK,YAAY,IAAI,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,EAAE,CAAC,CAAC,CAAC,KAAK,CACpD,CAAC;AACF,UAAU,CAAC,OAAO,CAAC,QAAQ,CAAC,SAAS,EAAE,EAAE,EAAE,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,GAAG,EAAE,EAAE,MAAM,EAAE,SAAS,EAAE,EAAE,CAAC,CAAC"}

package/dist/axis/lifecycle/Lifecycle.d.ts

@@ -1,21 +1,42 @@
-import type { LifecycleRules } from './LifecycleRules.js';
+import { Format, type Accepted } from '../../lib/Format.js';
+import type { GeneratorRef } from './Generators.js';
+export type LifecycleRules = Accepted<typeof Lifecycle.format>;
 export declare class Lifecycle {
-    private readonly create?;
-    private readonly update?;
+    private readonly rules;
+    static readonly CREATE: readonly ['now', 'optional'];
+    static readonly UPDATE: readonly ['now', 'forbidden'];
+    static readonly format: Format<{
+        create?: "now" | "optional" | {
+            generate: GeneratorRef;
+        } | {
+            value: unknown;
+        } | undefined;
+        update?: "forbidden" | "now" | undefined;
+    }>;
     private constructor();
+    /** `optional()`, a default, a generator: the rule says the value need not arrive. */
+    static admitsAbsence(field: {
+        lifecycle?: LifecycleRules;
+    }): boolean;
     static of(field: {
         lifecycle?: LifecycleRules;
     }): Lifecycle;
+    private get create();
+    private get update();
     bornWith(instant: number): {
         value: unknown;
     } | undefined;
-    get requiredAtCreate(): boolean;
-    get stampedAtCreate(): boolean;
-    get stampedOnce(): boolean;
-    get immutable(): boolean;
-    get stampedOnUpdate(): boolean;
+    requiredAtCreate(): boolean;
+    stampedAtCreate(): boolean;
+    immutable(): boolean;
+    stampedOnUpdate(): boolean;
     get literal(): {
         value: unknown;
     } | undefined;
 }
+declare module '../../FougereFieldAxes.js' {
+    interface FougereFieldAxes {
+        readonly lifecycle?: LifecycleRules;
+    }
+}
 //# sourceMappingURL=Lifecycle.d.ts.map

package/dist/axis/lifecycle/Lifecycle.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Lifecycle.d.ts","sourceRoot":"","sources":["../../../src/axis/lifecycle/Lifecycle.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,qBAAqB,CAAC;AAE1D,qBAAa,SAAS;IACpB,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAA2B;IACnD,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAA2B;IAEnD,OAAO,eAGN;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,SAAS,CAAC,EAAE,cAAc,CAAA;KAAE,GAAG,SAAS,CAE1D;IAED,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,CAUxD;IAED,IAAI,gBAAgB,IAAI,OAAO,CAE9B;IAED,IAAI,eAAe,IAAI,OAAO,CAE7B;IAED,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,IAAI,eAAe,IAAI,OAAO,CAE7B;IAED,IAAI,OAAO,IAAI;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,CAM5C;CACF"}
+{"version":3,"file":"Lifecycle.d.ts","sourceRoot":"","sources":["../../../src/axis/lifecycle/Lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAE5D,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,iBAAiB,CAAC;AAEpD,MAAM,MAAM,cAAc,GAAG,QAAQ,CAAC,OAAO,SAAS,CAAC,MAAM,CAAC,CAAC;AAC/D,qBAAa,SAAS;IAkBA,OAAO,CAAC,QAAQ,CAAC,KAAK;IAjB1C,MAAM,CAAC,QAAQ,CAAC,MAAM,YAAI,KAAK,EAAE,UAAU,EAAW;IACtD,MAAM,CAAC,QAAQ,CAAC,MAAM,YAAI,KAAK,EAAE,WAAW,EAAW;IAEvD,MAAM,CAAC,QAAQ,CAAC,MAAM;;;;;;;OAYV;IAEZ,OAAO,eAA4D;IAEnE,qFAAqF;IACrF,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE;QAAE,SAAS,CAAC,EAAE,cAAc,CAAA;KAAE,GAAG,OAAO,CAEnE;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,SAAS,CAAC,EAAE,cAAc,CAAA;KAAE,GAAG,SAAS,CAE1D;IAED,OAAO,KAAK,MAAM,GAEjB;IAED,OAAO,KAAK,MAAM,GAEjB;IAED,QAAQ,CAAC,OAAO,EAAE,MAAM,GAAG;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,CAUxD;IAED,gBAAgB,IAAI,OAAO,CAE1B;IAED,eAAe,IAAI,OAAO,CAEzB;IAED,SAAS,IAAI,OAAO,CAEnB;IAED,eAAe,IAAI,OAAO,CAEzB;IAED,IAAI,OAAO,IAAI;QAAE,KAAK,EAAE,OAAO,CAAA;KAAE,GAAG,SAAS,CAM5C;CACF;AAED,OAAO,QAAQ,2BAA2B,CAAC;IACzC,UAAU,gBAAgB;QACxB,QAAQ,CAAC,SAAS,CAAC,EAAE,cAAc,CAAC;KACrC;CACF"}

package/dist/axis/lifecycle/Lifecycle.js

@@ -1,14 +1,32 @@
+import { Format } from '../../lib/Format.js';
 import { Generators } from './Generators.js';
 export class Lifecycle {
-    create;
-    update;
+    rules;
+    static CREATE = ['now', 'optional'];
+    static UPDATE = ['now', 'forbidden'];
+    static format = Format.of('axis/lifecycle')
+        .key('create', Format.either(Format.tokens(Lifecycle.CREATE), Format.exactlyOne({
+        value: Format.anything,
+        generate: Format.text.as(),
+    })))
+        .key('update', Format.tokens(Lifecycle.UPDATE))
+        .closed();
     constructor(rules = {}) {
-        this.create = rules.create;
-        this.update = rules.update;
+        this.rules = rules;
+    }
+    /** `optional()`, a default, a generator: the rule says the value need not arrive. */
+    static admitsAbsence(field) {
+        return !this.of(field).requiredAtCreate();
     }
     static of(field) {
         return new Lifecycle(field.lifecycle);
     }
+    get create() {
+        return this.rules.create;
+    }
+    get update() {
+        return this.rules.update;
+    }
     bornWith(instant) {
         const rule = this.create;
         if (rule === 'now')
@@ -19,19 +37,16 @@ export class Lifecycle {
             return { value: structuredClone(rule.value) };
         return { value: Generators.resolve(rule.generate)() };
     }
-    get requiredAtCreate() {
+    requiredAtCreate() {
         return this.create === undefined;
     }
-    get stampedAtCreate() {
+    stampedAtCreate() {
         return this.create === 'now';
     }
-    get stampedOnce() {
-        return this.stampedAtCreate && !this.stampedOnUpdate;
-    }
-    get immutable() {
+    immutable() {
         return this.update === 'forbidden';
     }
-    get stampedOnUpdate() {
+    stampedOnUpdate() {
         return this.update === 'now';
     }
     get literal() {

package/dist/axis/lifecycle/Lifecycle.js.map

@@ -1 +1 @@
-{"version":3,"file":"Lifecycle.js","sourceRoot":"","sources":["../../../src/axis/lifecycle/Lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAG7C,MAAM,OAAO,SAAS;IACH,MAAM,CAA4B;IAClC,MAAM,CAA4B;IAEnD,YAAoB,KAAK,GAAmB,EAAE;QAC5C,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC3B,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;IAC7B,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAAqC;QAC7C,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC;IAED,QAAQ,CAAC,OAAe;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QAEzB,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAExD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAE/C,IAAI,OAAO,IAAI,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAEnE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;IACxD,CAAC;IAED,IAAI,gBAAgB;QAClB,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IACnC,CAAC;IAED,IAAI,eAAe;QACjB,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC;IAC/B,CAAC;IAED,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,eAAe,IAAI,CAAC,IAAI,CAAC,eAAe,CAAC;IACvD,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;IACrC,CAAC;IAED,IAAI,eAAe;QACjB,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC;IAC/B,CAAC;IAED,IAAI,OAAO;QACT,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QAEzB,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,IAAI;YACjE,CAAC,CAAC,EAAE,KAAK,EAAG,IAA2B,CAAC,KAAK,EAAE;YAC/C,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;CACF"}
+{"version":3,"file":"Lifecycle.js","sourceRoot":"","sources":["../../../src/axis/lifecycle/Lifecycle.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,MAAM,EAAiB,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAC;AAI7C,MAAM,OAAO,SAAS;IAkBiB,KAAK;IAjB1C,MAAM,CAAU,MAAM,GAAG,CAAC,KAAK,EAAE,UAAU,CAAU,CAAC;IACtD,MAAM,CAAU,MAAM,GAAG,CAAC,KAAK,EAAE,WAAW,CAAU,CAAC;IAEvD,MAAM,CAAU,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,gBAAgB,CAAC;SACjD,GAAG,CACF,QAAQ,EACR,MAAM,CAAC,MAAM,CACX,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,EAC/B,MAAM,CAAC,UAAU,CAAC;QAChB,KAAK,EAAE,MAAM,CAAC,QAAQ;QACtB,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC,EAAE,EAAgB;KACzC,CAAC,CACH,CACF;SACA,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,MAAM,CAAC,CAAC;SAC9C,MAAM,EAAE,CAAC;IAEZ,YAAqC,KAAK,GAAmB,EAAE;qBAA1B,KAAK;IAAwB,CAAC;IAEnE,qFAAqF;IACrF,MAAM,CAAC,aAAa,CAAC,KAAqC;QACxD,OAAO,CAAC,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,gBAAgB,EAAE,CAAC;IAC5C,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAAqC;QAC7C,OAAO,IAAI,SAAS,CAAC,KAAK,CAAC,SAAS,CAAC,CAAC;IACxC,CAAC;IAED,IAAY,MAAM;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,IAAY,MAAM;QAChB,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC;IAC3B,CAAC;IAED,QAAQ,CAAC,OAAe;QACtB,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QAEzB,IAAI,IAAI,KAAK,KAAK;YAAE,OAAO,EAAE,KAAK,EAAE,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,CAAC;QAExD,IAAI,OAAO,IAAI,KAAK,QAAQ;YAAE,OAAO,SAAS,CAAC;QAE/C,IAAI,OAAO,IAAI,IAAI;YAAE,OAAO,EAAE,KAAK,EAAE,eAAe,CAAC,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC;QAEnE,OAAO,EAAE,KAAK,EAAE,UAAU,CAAC,OAAO,CAAC,IAAI,CAAC,QAAQ,CAAC,EAAE,EAAE,CAAC;IACxD,CAAC;IAED,gBAAgB;QACd,OAAO,IAAI,CAAC,MAAM,KAAK,SAAS,CAAC;IACnC,CAAC;IAED,eAAe;QACb,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC;IAC/B,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,MAAM,KAAK,WAAW,CAAC;IACrC,CAAC;IAED,eAAe;QACb,OAAO,IAAI,CAAC,MAAM,KAAK,KAAK,CAAC;IAC/B,CAAC;IAED,IAAI,OAAO;QACT,MAAM,IAAI,GAAG,IAAI,CAAC,MAAM,CAAC;QAEzB,OAAO,OAAO,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,IAAI,IAAI,OAAO,IAAI,IAAI;YACjE,CAAC,CAAC,EAAE,KAAK,EAAG,IAA2B,CAAC,KAAK,EAAE;YAC/C,CAAC,CAAC,SAAS,CAAC;IAChB,CAAC;CACF"}

package/dist/axis/lifecycle/apply.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../../src/axis/lifecycle/apply.ts"],"names":[],"mappings":"AAGA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD;;;;GAIG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAYnG;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CAAC,MAAM,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAAG,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAUnG"}
+{"version":3,"file":"apply.d.ts","sourceRoot":"","sources":["../../../src/axis/lifecycle/apply.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,KAAK,MAAM,EAAE,MAAM,uBAAuB,CAAC;AAEpD;;;;GAIG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAazB;AAED;;;;;GAKG;AACH,wBAAgB,WAAW,CACzB,MAAM,EAAE,MAAM,EACd,KAAK,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,GAC7B,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAUzB"}

package/dist/axis/lifecycle/apply.js

@@ -1,5 +1,4 @@
 import { Lifecycle } from './Lifecycle.js';
-import { Clock } from './Clock.js';
 /**
  * Fills what the declaration leaves to the storage, so no handler stamps a date itself.
  * FR : remplit ce que la déclaration laisse au storage : aucun handler n'estampe lui-même.
@@ -7,7 +6,7 @@ import { Clock } from './Clock.js';
  */
 export function applyCreate(fields, input) {
     const values = { ...input };
-    const instant = Clock.now();
+    const instant = Date.now();
     for (const [name, field] of Object.entries(fields)) {
         if (name in values)
             continue;
@@ -25,9 +24,9 @@ export function applyCreate(fields, input) {
  */
 export function applyUpdate(fields, patch) {
     const values = { ...patch };
-    const instant = Clock.now();
+    const instant = Date.now();
     for (const [name, field] of Object.entries(fields)) {
-        if (Lifecycle.of(field).stampedOnUpdate && !(name in values))
+        if (Lifecycle.of(field).stampedOnUpdate() && !(name in values))
             values[name] = new Date(instant);
     }
     return values;

package/dist/axis/lifecycle/apply.js.map

@@ -1 +1 @@
-{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../../src/axis/lifecycle/apply.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAC3C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAC;AAInC;;;;GAIG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAA8B;IACxE,MAAM,MAAM,GAA4B,EAAE,GAAG,KAAK,EAAE,CAAC;IACrD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;IAE5B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,IAAI,IAAI,IAAI,MAAM;YAAE,SAAS;QAC7B,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAEnD,IAAI,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CAAC,MAAc,EAAE,KAA8B;IACxE,MAAM,MAAM,GAA4B,EAAE,GAAG,KAAK,EAAE,CAAC;IACrD,MAAM,OAAO,GAAG,KAAK,CAAC,GAAG,EAAE,CAAC;IAE5B,KAAK,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,MAAM,CAAC,OAAO,CAAC,MAAM,CAAsB,EAAE,CAAC;QACxE,IAAI,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,eAAe,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC;YAC1D,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}
+{"version":3,"file":"apply.js","sourceRoot":"","sources":["../../../src/axis/lifecycle/apply.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAI3C;;;;GAIG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,KAA8B;IAE9B,MAAM,MAAM,GAA4B,EAAE,GAAG,KAAK,EAAE,CAAC;IACrD,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,MAAM;YAAE,SAAS;QAE7B,MAAM,IAAI,GAAG,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAC;QAEnD,IAAI,IAAI;YAAE,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,CAAC,KAAK,CAAC;IACtC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,WAAW,CACzB,MAAc,EACd,KAA8B;IAE9B,MAAM,MAAM,GAA4B,EAAE,GAAG,KAAK,EAAE,CAAC;IACrD,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,SAAS,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC,IAAI,IAAI,MAAM,CAAC;YAC5D,MAAM,CAAC,IAAI,CAAC,GAAG,IAAI,IAAI,CAAC,OAAO,CAAC,CAAC;IACrC,CAAC;IAED,OAAO,MAAM,CAAC;AAChB,CAAC"}

package/dist/axis/role/Role.d.ts

@@ -1,25 +1,44 @@
-import type { EntityConstructor } from './EntityConstructor.js';
 import type { Relation } from './Relation.js';
-import type { RoleRules } from './RoleRules.js';
+import type { EntityConstructor } from './EntityConstructor.js';
+import type { ValidationError } from '../../lib/ValidationError.js';
+import { Format, type Accepted } from '../../lib/Format.js';
 export declare class Role {
-    private readonly primary?;
-    private readonly index?;
-    private readonly unique?;
-    private readonly relation?;
+    private readonly rules;
+    static readonly format: Format<{
+        index?: boolean | undefined;
+        primary?: boolean | undefined;
+        relation?: {
+            kind: "many" | "one";
+            onDelete?: "cascade" | "restrict" | "set null" | undefined;
+            to: () => EntityConstructor;
+        } | undefined;
+        unique?: boolean | undefined;
+    }>;
+    static refusals(value: unknown, declaration?: Record<string, unknown>): ValidationError[];
     private constructor();
+    /** A collection has no column: the far side of the relation carries the key. */
+    static admitsAbsence(field: {
+        role?: RoleRules;
+    }): boolean;
     static of(field: {
         role?: RoleRules;
     }): Role;
-    get isPrimary(): boolean;
-    get isIndexed(): boolean;
+    isPrimary(): boolean;
+    isIndexed(): boolean;
     /** A field unique on its own. A group spanning several belongs to the schema. */
-    get isUnique(): boolean;
-    get isCollection(): boolean;
-    get isReference(): boolean;
+    isUnique(): boolean;
+    isCollection(): boolean;
+    isReference(): boolean;
     /** Either kind — what a CLI flag and a GraphQL selection both leave out. */
-    get isRelation(): boolean;
+    isRelation(): boolean;
     /** Calls `() => Post` so no caller has to. */
     get target(): EntityConstructor | undefined;
     get onDelete(): Relation['onDelete'];
 }
+export type RoleRules = Accepted<typeof Role.format>;
+declare module '../../FougereFieldAxes.js' {
+    interface FougereFieldAxes {
+        readonly role?: RoleRules;
+    }
+}
 //# sourceMappingURL=Role.d.ts.map

package/dist/axis/role/Role.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Role.d.ts","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAChE,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,qBAAa,IAAI;IACf,OAAO,CAAC,QAAQ,CAAC,OAAO,CAAC,CAAU;IACnC,OAAO,CAAC,QAAQ,CAAC,KAAK,CAAC,CAAU;IACjC,OAAO,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAU;IAClC,OAAO,CAAC,QAAQ,CAAC,QAAQ,CAAC,CAAW;IAErC,OAAO,eAKN;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,IAAI,CAE3C;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,IAAI,SAAS,IAAI,OAAO,CAEvB;IAED,iFAAiF;IACjF,IAAI,QAAQ,IAAI,OAAO,CAEtB;IAED,IAAI,YAAY,IAAI,OAAO,CAE1B;IAED,IAAI,WAAW,IAAI,OAAO,CAEzB;IAED,4EAA4E;IAC5E,IAAI,UAAU,IAAI,OAAO,CAExB;IAED,8CAA8C;IAC9C,IAAI,MAAM,IAAI,iBAAiB,GAAG,SAAS,CAE1C;IAED,IAAI,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,CAEnC;CACF"}
+{"version":3,"file":"Role.d.ts","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAC;AAC9C,OAAO,KAAK,EAAE,iBAAiB,EAAE,MAAM,wBAAwB,CAAC;AAGhE,OAAO,KAAK,EAAE,eAAe,EAAE,MAAM,8BAA8B,CAAC;AACpE,OAAO,EAAE,MAAM,EAAE,KAAK,QAAQ,EAAE,MAAM,qBAAqB,CAAC;AAG5D,qBAAa,IAAI;IA0CK,OAAO,CAAC,QAAQ,CAAC,KAAK;IAzC1C,MAAM,CAAC,QAAQ,CAAC,MAAM;;;;;;sBAOoB,iBAAiB;;;OAM/C;IAEZ,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,EAAE,WAAW,GAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAM,GAAG,eAAe,EAAE,CAwB5F;IAED,OAAO,eAAuD;IAE9D,gFAAgF;IAChF,MAAM,CAAC,aAAa,CAAC,KAAK,EAAE;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,OAAO,CAEzD;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE;QAAE,IAAI,CAAC,EAAE,SAAS,CAAA;KAAE,GAAG,IAAI,CAE3C;IAED,SAAS,IAAI,OAAO,CAEnB;IAED,SAAS,IAAI,OAAO,CAEnB;IAED,iFAAiF;IACjF,QAAQ,IAAI,OAAO,CAElB;IAED,YAAY,IAAI,OAAO,CAEtB;IAED,WAAW,IAAI,OAAO,CAErB;IAED,4EAA4E;IAC5E,UAAU,IAAI,OAAO,CAEpB;IAED,8CAA8C;IAC9C,IAAI,MAAM,IAAI,iBAAiB,GAAG,SAAS,CAE1C;IAED,IAAI,QAAQ,IAAI,QAAQ,CAAC,UAAU,CAAC,CAEnC;CACF;AAED,MAAM,MAAM,SAAS,GAAG,QAAQ,CAAC,OAAO,IAAI,CAAC,MAAM,CAAC,CAAC;AAErD,OAAO,QAAQ,2BAA2B,CAAC;IACzC,UAAU,gBAAgB;QACxB,QAAQ,CAAC,IAAI,CAAC,EAAE,SAAS,CAAC;KAC3B;CACF"}

package/dist/axis/role/Role.js

@@ -1,43 +1,77 @@
+import { isObject } from '../../lib/utils.js';
+import { Shapes } from '../shape/Shape.js';
+import { Format } from '../../lib/Format.js';
+import { ON_DELETE, RELATION_KINDS } from './Relation.js';
 export class Role {
-    primary;
-    index;
-    unique;
-    relation;
+    rules;
+    static format = Format.of('axis/role')
+        .key('primary', Format.flag)
+        .key('index', Format.flag)
+        .key('unique', Format.flag)
+        .key('relation', Format.of()
+        .key('to', Format.anything.as())
+        .key('kind', Format.tokens(RELATION_KINDS))
+        .key('onDelete', Format.tokens(ON_DELETE))
+        .needs('to', 'kind')
+        .closed())
+        .closed();
+    static refusals(value, declaration = {}) {
+        const role = Role.of({ role: isObject(value) ? value : undefined });
+        const errors = [];
+        const relation = isObject(value) ? value.relation : undefined;
+        if (isObject(relation) && 'to' in relation && typeof relation.to !== 'function')
+            errors.push({
+                path: ['role', 'relation', 'to'],
+                message: 'Expected a function returning the target entity, such as () => Post',
+            });
+        if (role.isPrimary() && Shapes.isNullable(declaration.shape))
+            errors.push({
+                path: ['role', 'primary'],
+                message: 'A primary key admits no null — a row is addressed by it',
+            });
+        if (role.isCollection() && (role.isUnique() || role.isIndexed()))
+            errors.push({
+                path: ['role', role.isUnique() ? 'unique' : 'index'],
+                message: 'A collection has no column of its own, so there is nothing to index',
+            });
+        return errors;
+    }
     constructor(rules = {}) {
-        this.primary = rules.primary;
-        this.index = rules.index;
-        this.unique = rules.unique;
-        this.relation = rules.relation;
+        this.rules = rules;
+    }
+    /** A collection has no column: the far side of the relation carries the key. */
+    static admitsAbsence(field) {
+        return this.of(field).isCollection();
     }
     static of(field) {
         return new Role(field.role);
     }
-    get isPrimary() {
-        return this.primary === true;
+    isPrimary() {
+        return this.rules.primary === true;
     }
-    get isIndexed() {
-        return this.index === true;
+    isIndexed() {
+        return this.rules.index === true;
     }
     /** A field unique on its own. A group spanning several belongs to the schema. */
-    get isUnique() {
-        return this.unique === true;
+    isUnique() {
+        return this.rules.unique === true;
     }
-    get isCollection() {
-        return this.relation?.kind === 'many';
+    isCollection() {
+        return this.rules.relation?.kind === 'many';
     }
-    get isReference() {
-        return this.relation?.kind === 'one';
+    isReference() {
+        return this.rules.relation?.kind === 'one';
     }
     /** Either kind — what a CLI flag and a GraphQL selection both leave out. */
-    get isRelation() {
-        return this.relation !== undefined;
+    isRelation() {
+        return this.rules.relation !== undefined;
     }
     /** Calls `() => Post` so no caller has to. */
     get target() {
-        return this.relation?.to();
+        return this.rules.relation?.to();
     }
     get onDelete() {
-        return this.relation?.onDelete;
+        return this.rules.relation?.onDelete;
     }
 }
 //# sourceMappingURL=Role.js.map

package/dist/axis/role/Role.js.map

@@ -1 +1 @@
-{"version":3,"file":"Role.js","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAIA,MAAM,OAAO,IAAI;IACE,OAAO,CAAW;IAClB,KAAK,CAAW;IAChB,MAAM,CAAW;IACjB,QAAQ,CAAY;IAErC,YAAoB,KAAK,GAAc,EAAE;QACvC,IAAI,CAAC,OAAO,GAAG,KAAK,CAAC,OAAO,CAAC;QAC7B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAC;QACzB,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,MAAM,CAAC;QAC3B,IAAI,CAAC,QAAQ,GAAG,KAAK,CAAC,QAAQ,CAAC;IACjC,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAA2B;QACnC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,OAAO,KAAK,IAAI,CAAC;IAC/B,CAAC;IAED,IAAI,SAAS;QACX,OAAO,IAAI,CAAC,KAAK,KAAK,IAAI,CAAC;IAC7B,CAAC;IAED,iFAAiF;IACjF,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,MAAM,KAAK,IAAI,CAAC;IAC9B,CAAC;IAED,IAAI,YAAY;QACd,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,KAAK,MAAM,CAAC;IACxC,CAAC;IAED,IAAI,WAAW;QACb,OAAO,IAAI,CAAC,QAAQ,EAAE,IAAI,KAAK,KAAK,CAAC;IACvC,CAAC;IAED,4EAA4E;IAC5E,IAAI,UAAU;QACZ,OAAO,IAAI,CAAC,QAAQ,KAAK,SAAS,CAAC;IACrC,CAAC;IAED,8CAA8C;IAC9C,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC;IAC7B,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACjC,CAAC;CACF"}
+{"version":3,"file":"Role.js","sourceRoot":"","sources":["../../../src/axis/role/Role.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,QAAQ,EAAE,MAAM,oBAAoB,CAAC;AAC9C,OAAO,EAAE,MAAM,EAAc,MAAM,mBAAmB,CAAC;AAEvD,OAAO,EAAE,MAAM,EAAiB,MAAM,qBAAqB,CAAC;AAC5D,OAAO,EAAE,SAAS,EAAE,cAAc,EAAE,MAAM,eAAe,CAAC;AAE1D,MAAM,OAAO,IAAI;IA0CsB,KAAK;IAzC1C,MAAM,CAAU,MAAM,GAAG,MAAM,CAAC,EAAE,CAAC,WAAW,CAAC;SAC5C,GAAG,CAAC,SAAS,EAAE,MAAM,CAAC,IAAI,CAAC;SAC3B,GAAG,CAAC,OAAO,EAAE,MAAM,CAAC,IAAI,CAAC;SACzB,GAAG,CAAC,QAAQ,EAAE,MAAM,CAAC,IAAI,CAAC;SAC1B,GAAG,CACF,UAAU,EACV,MAAM,CAAC,EAAE,EAAE;SACR,GAAG,CAAC,IAAI,EAAE,MAAM,CAAC,QAAQ,CAAC,EAAE,EAA2B,CAAC;SACxD,GAAG,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,CAAC,cAAc,CAAC,CAAC;SAC1C,GAAG,CAAC,UAAU,EAAE,MAAM,CAAC,MAAM,CAAC,SAAS,CAAC,CAAC;SACzC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC;SACnB,MAAM,EAAE,CACZ;SACA,MAAM,EAAE,CAAC;IAEZ,MAAM,CAAC,QAAQ,CAAC,KAAc,EAAE,WAAW,GAA4B,EAAE;QACvE,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,EAAE,IAAI,EAAE,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAE,KAAmB,CAAC,CAAC,CAAC,SAAS,EAAE,CAAC,CAAC;QACnF,MAAM,MAAM,GAAsB,EAAE,CAAC;QACrC,MAAM,QAAQ,GAAG,QAAQ,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,CAAC,SAAS,CAAC;QAE9D,IAAI,QAAQ,CAAC,QAAQ,CAAC,IAAI,IAAI,IAAI,QAAQ,IAAI,OAAO,QAAQ,CAAC,EAAE,KAAK,UAAU;YAC7E,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,MAAM,EAAE,UAAU,EAAE,IAAI,CAAC;gBAChC,OAAO,EAAE,qEAAqE;aAC/E,CAAC,CAAC;QAEL,IAAI,IAAI,CAAC,SAAS,EAAE,IAAI,MAAM,CAAC,UAAU,CAAC,WAAW,CAAC,KAAc,CAAC;YACnE,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,MAAM,EAAE,SAAS,CAAC;gBACzB,OAAO,EAAE,yDAAyD;aACnE,CAAC,CAAC;QAEL,IAAI,IAAI,CAAC,YAAY,EAAE,IAAI,CAAC,IAAI,CAAC,QAAQ,EAAE,IAAI,IAAI,CAAC,SAAS,EAAE,CAAC;YAC9D,MAAM,CAAC,IAAI,CAAC;gBACV,IAAI,EAAE,CAAC,MAAM,EAAE,IAAI,CAAC,QAAQ,EAAE,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC;gBACpD,OAAO,EAAE,qEAAqE;aAC/E,CAAC,CAAC;QAEL,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,YAAqC,KAAK,GAAc,EAAE;qBAArB,KAAK;IAAmB,CAAC;IAE9D,gFAAgF;IAChF,MAAM,CAAC,aAAa,CAAC,KAA2B;QAC9C,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,YAAY,EAAE,CAAC;IACvC,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAA2B;QACnC,OAAO,IAAI,IAAI,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC;IAC9B,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,OAAO,KAAK,IAAI,CAAC;IACrC,CAAC;IAED,SAAS;QACP,OAAO,IAAI,CAAC,KAAK,CAAC,KAAK,KAAK,IAAI,CAAC;IACnC,CAAC;IAED,iFAAiF;IACjF,QAAQ;QACN,OAAO,IAAI,CAAC,KAAK,CAAC,MAAM,KAAK,IAAI,CAAC;IACpC,CAAC;IAED,YAAY;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,MAAM,CAAC;IAC9C,CAAC;IAED,WAAW;QACT,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,IAAI,KAAK,KAAK,CAAC;IAC7C,CAAC;IAED,4EAA4E;IAC5E,UAAU;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,KAAK,SAAS,CAAC;IAC3C,CAAC;IAED,8CAA8C;IAC9C,IAAI,MAAM;QACR,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,EAAE,EAAE,CAAC;IACnC,CAAC;IAED,IAAI,QAAQ;QACV,OAAO,IAAI,CAAC,KAAK,CAAC,QAAQ,EAAE,QAAQ,CAAC;IACvC,CAAC;CACF"}

package/dist/axis/shape/Shape.d.ts

@@ -1,23 +1,28 @@
 import type { StringFormat } from './StringFormat.js';
 import type { ShapeType } from './ShapeType.js';
 type Nullably<T extends string> = T | readonly [T, 'null'];
-interface StringConstraints {
+/** The sentence a field carries, where JSON Schema already holds one. */
+interface Documented {
+    description?: string;
+}
+interface StringConstraints extends Documented {
     minLength?: number;
     maxLength?: number;
     pattern?: string;
     enum?: readonly (string | null)[];
     format?: StringFormat;
 }
-interface NumericConstraints {
+interface NumericConstraints extends Documented {
     minimum?: number;
     maximum?: number;
+    enum?: readonly (number | null)[];
 }
-interface ArrayConstraints {
+interface ArrayConstraints extends Documented {
     items?: Shape;
     minItems?: number;
     maxItems?: number;
 }
-interface ObjectConstraints {
+interface ObjectConstraints extends Documented {
     properties?: Record<string, unknown>;
     required?: readonly string[];
     additionalProperties?: boolean | Shape;
@@ -27,20 +32,21 @@ export type Shape = ({
     type: Nullably<'string'>;
 } & StringConstraints) | ({
     type: Nullably<'number'> | Nullably<'integer'>;
-} & NumericConstraints) | {
+} & NumericConstraints) | ({
     type: Nullably<'boolean'>;
-} | ({
+} & Documented) | ({
     type: Nullably<'array'>;
 } & ArrayConstraints) | ({
     type: Nullably<'object'>;
 } & ObjectConstraints);
+export declare const SHAPE_TYPES: readonly ['string', 'number', 'integer', 'boolean', 'array', 'object'];
 type BaseShape = ({
     type: 'string';
 } & StringConstraints) | ({
     type: 'number' | 'integer';
-} & NumericConstraints) | {
+} & NumericConstraints) | ({
     type: 'boolean';
-} | ({
+} & Documented) | ({
     type: 'array';
 } & ArrayConstraints) | ({
     type: 'object';
@@ -52,7 +58,6 @@ interface ShapeParts {
 export declare class Shapes {
     private static readonly cache;
     private static readonly none;
-    static is(value: unknown): value is Shape;
     /**
      * Every `pattern` a shape states, the nested ones included — `items`, `properties`.
      *
@@ -61,9 +66,27 @@ export declare class Shapes {
      */
     static patterns(shape: unknown): string[];
     private static collectPatterns;
+    /**
+     * `null` enters the grammar, and every constraint stays. It is added when it is ABSENT,
+     * read off the shape rather than assumed from its form — a shape already stating it comes
+     * back as itself, so `optional(nullable(text()))` does the work once.
+     *
+     * `enum` is widened TOO, because JSON Schema checks it apart from `type`: a shape saying
+     * `['string','null']` and `enum: ['draft','live']` calls null a legal type and not a legal
+     * value, and the engine answers `Instance does not match any of ["draft","live"]`.
+     *
+     * `{ type: 'string', minLength: 3 }`      → `{ type: ['string','null'], minLength: 3 }`
+     * `{ type: 'string', enum: ['draft'] }`   → `{ type: ['string','null'], enum: ['draft', null] }`
+     */
     static nullable(shape: Shape): Shape;
     static of(shape?: Shape): ShapeParts;
     static isNullable(shape?: Shape): boolean;
+    /**
+     * A value that came in as text — a form control, a command-line flag — read as the shape
+     * declares it. What does not read that way stays as it came, for the judge to refuse by name.
+     * `fromText({ type: 'integer' }, '12')` → `12`, and `fromText({ type: 'integer' }, 'abc')` → `'abc'`
+     */
+    static fromText(shape: Shape | undefined, value: unknown): unknown;
     /**
      * `shape.type` read off the base, except that a `string` answers `date` or `choice`.
      * FR : `shape.type` lu sur la base, sauf qu'une chaîne répond `date` ou `choice`.

package/dist/axis/shape/Shape.d.ts.map

@@ -1 +1 @@
-{"version":3,"file":"Shape.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAE3D,UAAU,iBAAiB;IAAG,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,SAAS,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IAAC,MAAM,CAAC,EAAE,YAAY,CAAA;CAAE;AAElJ,UAAU,kBAAkB;IAAG,OAAO,CAAC,EAAE,MAAM,CAAC;IAAC,OAAO,CAAC,EAAE,MAAM,CAAA;CAAE;AAEnE,UAAU,gBAAgB;IAAG,KAAK,CAAC,EAAE,KAAK,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAC;IAAC,QAAQ,CAAC,EAAE,MAAM,CAAA;CAAE;AAElF,UAAU,iBAAiB;IAAG,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IAAC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAAC,oBAAoB,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC;IAAC,aAAa,CAAC,EAAE,KAAK,CAAA;CAAE;AAEjK,MAAM,MAAM,KAAK,GACb,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CAAE,GAAG,iBAAiB,CAAC,GAClD,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAAG,kBAAkB,CAAC,GACzE;IAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAC7B,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;CAAE,GAAG,gBAAgB,CAAC,GAChD,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAIvD,KAAK,SAAS,GACV,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,GACxC,CAAC;IAAE,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAA;CAAE,GAAG,kBAAkB,CAAC,GACrD;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GACnB,CAAC;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,gBAAgB,CAAC,GACtC,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAE7C,UAAU,UAAU;IAClB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAgBD,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAqC;IAClE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAoD;IAEhF,MAAM,CAAC,EAAE,CAAC,KAAK,EAAE,OAAO,GAAG,KAAK,IAAI,KAAK,CASxC;IAED;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAKxC;IAED,OAAO,CAAC,MAAM,CAAC,eAAe;IAc9B,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAQnC;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,UAAU,CAiBnC;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,OAAO,CAExC;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,SAAS,GAAG,SAAS,CAOlD;CACF"}
+{"version":3,"file":"Shape.d.ts","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AACA,OAAO,KAAK,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAC;AACtD,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAC;AAEhD,KAAK,QAAQ,CAAC,CAAC,SAAS,MAAM,IAAI,CAAC,GAAG,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,CAAC;AAE3D,yEAAyE;AACzE,UAAU,UAAU;IAClB,WAAW,CAAC,EAAE,MAAM,CAAC;CACtB;AAED,UAAU,iBAAkB,SAAQ,UAAU;IAC5C,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;IAClC,MAAM,CAAC,EAAE,YAAY,CAAC;CACvB;AAED,UAAU,kBAAmB,SAAQ,UAAU;IAC7C,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,OAAO,CAAC,EAAE,MAAM,CAAC;IACjB,IAAI,CAAC,EAAE,SAAS,CAAC,MAAM,GAAG,IAAI,CAAC,EAAE,CAAC;CACnC;AAED,UAAU,gBAAiB,SAAQ,UAAU;IAC3C,KAAK,CAAC,EAAE,KAAK,CAAC;IACd,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,QAAQ,CAAC,EAAE,MAAM,CAAC;CACnB;AAED,UAAU,iBAAkB,SAAQ,UAAU;IAC5C,UAAU,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,OAAO,CAAC,CAAC;IACrC,QAAQ,CAAC,EAAE,SAAS,MAAM,EAAE,CAAC;IAC7B,oBAAoB,CAAC,EAAE,OAAO,GAAG,KAAK,CAAC;IACvC,aAAa,CAAC,EAAE,KAAK,CAAC;CACvB;AAED,MAAM,MAAM,KAAK,GACb,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CAAE,GAAG,iBAAiB,CAAC,GAClD,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,GAAG,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAAG,kBAAkB,CAAC,GACzE,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,SAAS,CAAC,CAAA;CAAE,GAAG,UAAU,CAAC,GAC5C,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,OAAO,CAAC,CAAA;CAAE,GAAG,gBAAgB,CAAC,GAChD,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAC,QAAQ,CAAC,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAEvD,eAAO,MAAM,WAAW,YACtB,QAAQ,EACR,QAAQ,EACR,SAAS,EACT,SAAS,EACT,OAAO,EACP,QAAQ,CACA,CAAC;AAEX,KAAK,SAAS,GACV,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,GACxC,CAAC;IAAE,IAAI,EAAE,QAAQ,GAAG,SAAS,CAAA;CAAE,GAAG,kBAAkB,CAAC,GACrD,CAAC;IAAE,IAAI,EAAE,SAAS,CAAA;CAAE,GAAG,UAAU,CAAC,GAClC,CAAC;IAAE,IAAI,EAAE,OAAO,CAAA;CAAE,GAAG,gBAAgB,CAAC,GACtC,CAAC;IAAE,IAAI,EAAE,QAAQ,CAAA;CAAE,GAAG,iBAAiB,CAAC,CAAC;AAE7C,UAAU,UAAU;IAClB,IAAI,CAAC,EAAE,SAAS,CAAC;IACjB,QAAQ,EAAE,OAAO,CAAC;CACnB;AAsBD,qBAAa,MAAM;IACjB,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,KAAK,CAAqC;IAClE,OAAO,CAAC,MAAM,CAAC,QAAQ,CAAC,IAAI,CAAoD;IAEhF;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,OAAO,GAAG,MAAM,EAAE,CAKxC;IAED,OAAO,CAAC,MAAM,CAAC,eAAe;IAc9B;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,KAAK,CAanC;IAED,MAAM,CAAC,EAAE,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,UAAU,CAoBnC;IAED,MAAM,CAAC,UAAU,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,OAAO,CAExC;IAED;;;;OAIG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAK,EAAE,KAAK,GAAG,SAAS,EAAE,KAAK,EAAE,OAAO,GAAG,OAAO,CAajE;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,KAAK,GAAG,SAAS,GAAG,SAAS,CAOlD;CACF"}

package/dist/axis/shape/Shape.js

@@ -1,15 +1,16 @@
-const SHAPE_TYPES = ['string', 'number', 'integer', 'boolean', 'array', 'object'];
+export const SHAPE_TYPES = [
+    'string',
+    'number',
+    'integer',
+    'boolean',
+    'array',
+    'object',
+];
+/** Every type name a shape states, whether it states one or a union of them. */
+const typesOf = (shape) => (Array.isArray(shape.type) ? shape.type : [shape.type]);
 export class Shapes {
     static cache = new WeakMap();
     static none = { base: undefined, nullable: false };
-    static is(value) {
-        if (typeof value !== 'object' || value === null)
-            return false;
-        const type = value.type;
-        const names = Array.isArray(type) ? type : [type];
-        return (names.some((name) => SHAPE_TYPES.includes(name)) &&
-            names.every((name) => name === 'null' || SHAPE_TYPES.includes(name)));
-    }
     /**
      * Every `pattern` a shape states, the nested ones included — `items`, `properties`.
      *
@@ -35,12 +36,28 @@ export class Shapes {
         for (const member of Object.values(value))
             Shapes.collectPatterns(member, found);
     }
+    /**
+     * `null` enters the grammar, and every constraint stays. It is added when it is ABSENT,
+     * read off the shape rather than assumed from its form — a shape already stating it comes
+     * back as itself, so `optional(nullable(text()))` does the work once.
+     *
+     * `enum` is widened TOO, because JSON Schema checks it apart from `type`: a shape saying
+     * `['string','null']` and `enum: ['draft','live']` calls null a legal type and not a legal
+     * value, and the engine answers `Instance does not match any of ["draft","live"]`.
+     *
+     * `{ type: 'string', minLength: 3 }`      → `{ type: ['string','null'], minLength: 3 }`
+     * `{ type: 'string', enum: ['draft'] }`   → `{ type: ['string','null'], enum: ['draft', null] }`
+     */
     static nullable(shape) {
-        if (Array.isArray(shape.type))
+        const types = typesOf(shape);
+        if (types.includes('null'))
             return shape;
-        const nullable = { ...shape, type: [shape.type, 'null'] };
+        const nullable = { ...shape, type: [...types, 'null'] };
         if ('enum' in nullable && nullable.enum && !nullable.enum.includes(null)) {
-            nullable.enum = [...nullable.enum, null];
+            nullable.enum = [
+                ...nullable.enum,
+                null,
+            ];
         }
         return nullable;
     }
@@ -67,6 +84,20 @@ export class Shapes {
     static isNullable(shape) {
         return this.of(shape).nullable;
     }
+    /**
+     * A value that came in as text — a form control, a command-line flag — read as the shape
+     * declares it. What does not read that way stays as it came, for the judge to refuse by name.
+     * `fromText({ type: 'integer' }, '12')` → `12`, and `fromText({ type: 'integer' }, 'abc')` → `'abc'`
+     */
+    static fromText(shape, value) {
+        const type = this.of(shape).base?.type;
+        if ((type !== 'number' && type !== 'integer') ||
+            typeof value !== 'string' ||
+            value === '')
+            return value;
+        const number = Number(value);
+        return Number.isFinite(number) ? number : value;
+    }
     /**
      * `shape.type` read off the base, except that a `string` answers `date` or `choice`.
      * FR : `shape.type` lu sur la base, sauf qu'une chaîne répond `date` ou `choice`.

package/dist/axis/shape/Shape.js.map

@@ -1 +1 @@
-{"version":3,"file":"Shape.js","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AAqBA,MAAM,WAAW,GAAG,CAAC,QAAQ,EAAE,QAAQ,EAAE,SAAS,EAAE,SAAS,EAAE,OAAO,EAAE,QAAQ,CAAU,CAAC;AA4B3F,MAAM,OAAO,MAAM;IACT,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAsB,CAAC;IAC1D,MAAM,CAAU,IAAI,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAEhF,MAAM,CAAC,EAAE,CAAC,KAAc;QACtB,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,KAAK,CAAC;QAC9D,MAAM,IAAI,GAAI,KAAe,CAAC,IAAI,CAAC;QACnC,MAAM,KAAK,GAAG,KAAK,CAAC,OAAO,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC;QAElD,OAAO,CACL,KAAK,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,EAAE,CAAE,WAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC;YACxE,KAAK,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,EAAE,CAAC,IAAI,KAAK,MAAM,IAAK,WAAkC,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAC,CAC7F,CAAC;IACJ,CAAC;IAED;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAErC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,KAAc,EAAE,KAAe;QAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,MAAM,IAAI,KAAK;gBAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAElE,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO;QAExD,MAAM,EAAE,OAAO,EAAE,GAAG,KAA8B,CAAC;QACnD,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAErD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnF,CAAC;IAED,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC;YAAE,OAAO,KAAK,CAAC;QAC5C,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,KAAK,CAAC,IAAI,EAAE,MAAM,CAAC,EAAsB,CAAC;QAC9E,IAAI,MAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,QAAiD,CAAC,IAAI,GAAG,CAAC,GAAG,QAAQ,CAAC,IAAI,EAAE,IAAI,CAAC,CAAC;QACrF,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAAa;QACrB,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;gBACtD,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAe,CAAC;gBACvD,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC/B,IAA6C,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAAC,CAAC;gBAC5F,CAAC;gBACD,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,EAAE,IAAI,EAAE,KAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACxD,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QACD,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAa;QAC7B,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IACjC,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,KAAa;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC;QAE/C,OAAO,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,CAAC;CACF"}
+{"version":3,"file":"Shape.js","sourceRoot":"","sources":["../../../src/axis/shape/Shape.ts"],"names":[],"mappings":"AA6CA,MAAM,CAAC,MAAM,WAAW,GAAG;IACzB,QAAQ;IACR,QAAQ;IACR,SAAS;IACT,SAAS;IACT,OAAO;IACP,QAAQ;CACA,CAAC;AA8BX,gFAAgF;AAChF,MAAM,OAAO,GAAG,CAAC,KAAY,EAAqB,EAAE,CAClD,CAAC,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,IAAI,CAAC,CAAsB,CAAC;AAE/E,MAAM,OAAO,MAAM;IACT,MAAM,CAAU,KAAK,GAAG,IAAI,OAAO,EAAsB,CAAC;IAC1D,MAAM,CAAU,IAAI,GAAe,EAAE,IAAI,EAAE,SAAS,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;IAEhF;;;;;OAKG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAc;QAC5B,MAAM,KAAK,GAAa,EAAE,CAAC;QAC3B,MAAM,CAAC,eAAe,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAErC,OAAO,KAAK,CAAC;IACf,CAAC;IAEO,MAAM,CAAC,eAAe,CAAC,KAAc,EAAE,KAAe;QAC5D,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,MAAM,MAAM,IAAI,KAAK;gBAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;YAElE,OAAO;QACT,CAAC;QACD,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO;QAExD,MAAM,EAAE,OAAO,EAAE,GAAG,KAA8B,CAAC;QACnD,IAAI,OAAO,OAAO,KAAK,QAAQ;YAAE,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAC;QAErD,KAAK,MAAM,MAAM,IAAI,MAAM,CAAC,MAAM,CAAC,KAAK,CAAC;YAAE,MAAM,CAAC,eAAe,CAAC,MAAM,EAAE,KAAK,CAAC,CAAC;IACnF,CAAC;IAED;;;;;;;;;;;OAWG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAY;QAC1B,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,CAAC,CAAC;QAC7B,IAAI,KAAK,CAAC,QAAQ,CAAC,MAAM,CAAC;YAAE,OAAO,KAAK,CAAC;QAEzC,MAAM,QAAQ,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,CAAC,GAAG,KAAK,EAAE,MAAM,CAAC,EAAsB,CAAC;QAC5E,IAAI,MAAM,IAAI,QAAQ,IAAI,QAAQ,CAAC,IAAI,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,QAAQ,CAAC,IAAI,CAAC,EAAE,CAAC;YACxE,QAA0D,CAAC,IAAI,GAAG;gBACjE,GAAG,QAAQ,CAAC,IAAI;gBAChB,IAAI;aACL,CAAC;QACJ,CAAC;QAED,OAAO,QAAQ,CAAC;IAClB,CAAC;IAED,MAAM,CAAC,EAAE,CAAC,KAAa;QACrB,IAAI,CAAC,KAAK;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7B,IAAI,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,CAAC,CAAC;QAClC,IAAI,CAAC,KAAK,EAAE,CAAC;YACX,IAAI,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,IAAI,CAAC,EAAE,CAAC;gBAC9B,MAAM,QAAQ,GAAG,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,MAAM,CAAC,CAAC;gBACtD,MAAM,IAAI,GAAG,EAAE,GAAG,KAAK,EAAE,IAAI,EAAE,QAAQ,EAAe,CAAC;gBACvD,IAAI,MAAM,IAAI,IAAI,IAAI,IAAI,CAAC,IAAI,EAAE,CAAC;oBAC/B,IAAsD,CAAC,IAAI,GAAG,IAAI,CAAC,IAAI,CAAC,MAAM,CAC7E,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,KAAK,IAAI,CAClB,CAAC;gBACJ,CAAC;gBACD,KAAK,GAAG,EAAE,IAAI,EAAE,QAAQ,EAAE,IAAI,EAAE,CAAC;YACnC,CAAC;iBAAM,CAAC;gBACN,KAAK,GAAG,EAAE,IAAI,EAAE,KAAkB,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC;YACxD,CAAC;YACD,IAAI,CAAC,KAAK,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,CAAC,CAAC;QAC/B,CAAC;QAED,OAAO,KAAK,CAAC;IACf,CAAC;IAED,MAAM,CAAC,UAAU,CAAC,KAAa;QAC7B,OAAO,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,QAAQ,CAAC;IACjC,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,QAAQ,CAAC,KAAwB,EAAE,KAAc;QACtD,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC;QAEvC,IACE,CAAC,IAAI,KAAK,QAAQ,IAAI,IAAI,KAAK,SAAS,CAAC;YACzC,OAAO,KAAK,KAAK,QAAQ;YACzB,KAAK,KAAK,EAAE;YAEZ,OAAO,KAAK,CAAC;QAEf,MAAM,MAAM,GAAG,MAAM,CAAC,KAAK,CAAC,CAAC;QAE7B,OAAO,MAAM,CAAC,QAAQ,CAAC,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,CAAC,CAAC,KAAK,CAAC;IAClD,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,MAAM,CAAC,KAAa;QACzB,MAAM,IAAI,GAAG,IAAI,CAAC,EAAE,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC;QACjC,IAAI,CAAC,IAAI;YAAE,OAAO,SAAS,CAAC;QAC5B,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAO,IAAI,CAAC,IAAI,CAAC;QAC7C,IAAI,IAAI,CAAC,MAAM,KAAK,WAAW;YAAE,OAAO,MAAM,CAAC;QAE/C,OAAO,IAAI,CAAC,IAAI,EAAE,MAAM,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,MAAM,CAAC;IAC/C,CAAC;CACF"}

package/dist/axis/shape/ShapeFormat.d.ts

@@ -0,0 +1,10 @@
+import { Format } from '../../lib/Format.js';
+import { type Shape } from './Shape.js';
+/**
+ * What a shape may state — JSON Schema's own keywords, less the ones this package has no word
+ * for. `shape` used to be the one key of a field declaration nothing judged, so `minLenght: 1`
+ * passed and was dropped where `lifecycle: { craete: 'now' }` had been refused since `Format`.
+ * `properties` stays open because a projection folds `meta.description` into it.
+ */
+export declare const SHAPE_FORMAT: Format<Shape>;
+//# sourceMappingURL=ShapeFormat.d.ts.map