@fougere/schema 0.9.2-alpha.0 → 0.10.0-alpha.0

package/src/projection/card/TypeSet.ts

@@ -0,0 +1,2 @@
+/** A field's declared types, always represented as a set. */
+export type TypeSet = string[];

package/src/projection/card/admission.ts

@@ -1,6 +1,6 @@
-import type { ValidationError } from '../../lib/validation.js';
+import type { ValidationError } from '../../lib/ValidationError.js';
 import { Shapes } from '../../axis/shape/Shape.js';
-import { dotted } from '../../lib/validation.js';
+import { dotted } from '../../lib/ValidationResult.js';
 
 /**
  * Throws with what is wrong AND what to write: a card's author is in another process.
@@ -43,7 +43,7 @@ export const oneOfTokens = <T extends readonly string[]>(
 ): value is T[number] => typeof value === 'string' && (tokens as readonly string[]).includes(value);
 
 /**
- * Compiles every `pattern` at the door, so a bad one is refused here and not at the first row.
+ * Compiles every `pattern` at the facade, so a bad one is refused here and not at the first row.
  * FR : compile chaque `pattern` à la porte : un mauvais est refusé ici, pas au premier row.
  * `{ type: 'string', pattern: '(' }` → `Field 'code' states pattern: "(", which is not a regular expression`
  */

package/src/validator/FieldDeclarationValidator.ts

@@ -2,7 +2,8 @@ import { EXTENSION_AXES } from '../axis/Axis.js';
 import { Shapes } from '../axis/shape/Shape.js';
 import type { Field } from '../field/Field.js';
 import { isObject, shown } from '../lib/utils.js';
-import type { ValidationError, ValidationResult } from '../lib/validation.js';
+import type { ValidationError } from '../lib/ValidationError.js';
+import type { ValidationResult } from '../lib/ValidationResult.js';
 
 export class FieldDeclarationValidator {
   private constructor(private readonly declaration: unknown) {}

package/src/validator/FieldValueValidator.ts

@@ -1,9 +1,11 @@
 import { Validator, format as engineFormats } from '@cfworker/json-schema';
 import { Boundary } from '../axis/boundary/Boundary.js';
-import { Formats, type FormatPredicate } from '../axis/shape/Formats.js';
-import { Shapes, type Shape } from '../axis/shape/Shape.js';
+import { type FormatPredicate } from '../axis/shape/FormatPredicate.js';
+import { Formats } from '../axis/shape/Formats.js';
+import { type Shape } from '../axis/shape/Shape.js';
+import { Shapes } from '../axis/shape/Shape.js';
 import type { Field } from '../field/Field.js';
-import type { Checked } from '../lib/validation.js';
+import type { Checked } from '../lib/Checked.js';
 import type { OutputUnit } from '@cfworker/json-schema';
 
 interface ShapePlan {

package/src/validator/InputValidator.ts

@@ -1,14 +1,13 @@
 import { Boundary } from '../axis/boundary/Boundary.js';
 import { Lifecycle } from '../axis/lifecycle/Lifecycle.js';
 import { Role } from '../axis/role/Role.js';
-import type { Field, Fields } from '../field/Field.js';
-import type { ValidationError, ValidationResult } from '../lib/validation.js';
+import type { Field } from '../field/Field.js';
+import type { Fields } from '../field/Fields.js';
+import type { ValidationError } from '../lib/ValidationError.js';
+import type { ValidationResult } from '../lib/ValidationResult.js';
 import { FieldValueValidator } from './FieldValueValidator.js';
 import { InputRefusal } from './InputRefusal.js';
-
-export interface ValidateOptions {
-  patch?: boolean;
-}
+import type { ValidateOptions } from './ValidateOptions.js';
 
 export class InputValidator {
   private constructor(

package/src/validator/ValidateOptions.ts

@@ -0,0 +1,3 @@
+export interface ValidateOptions {
+  patch?: boolean;
+}

package/src/vocabulary/primitive/many.ts

@@ -1,4 +1,5 @@
-import { Relation, type EntityConstructor } from '../../axis/role/Relation.js';
+import { type EntityConstructor } from '../../axis/role/EntityConstructor.js';
+import { Relation } from '../../axis/role/Relation.js';
 import { Field } from '../../field/Field.js';
 
 /**

package/src/vocabulary/primitive/ref.ts

@@ -1,4 +1,5 @@
-import { Relation, type EntityConstructor } from '../../axis/role/Relation.js';
+import { type EntityConstructor } from '../../axis/role/EntityConstructor.js';
+import { Relation } from '../../axis/role/Relation.js';
 import { Field } from '../../field/Field.js';
 
 export interface RefOptions {

package/src/vocabulary/primitive/text.ts

@@ -1,5 +1,5 @@
 import { Field } from '../../field/Field.js';
-import { type StringFormat } from '../../axis/shape/Formats.js';
+import { type StringFormat } from '../../axis/shape/StringFormat.js';
 
 export interface TextOptions {
   min?: number;

package/dist/lib/validation.d.ts

@@ -1,32 +0,0 @@
-export interface ValidationError {
-    /**
-     * Where the refusal happened: the field, then where under it the shape refused.
-     * Empty when the input itself is refused. Segments, never a sentence — a field may
-     * legally be named `a.b`, and re-parsing a joined path invents a segment it never had.
-     */
-    path: readonly string[];
-    message: string;
-}
-export type ValidationResult<T> = {
-    success: true;
-    data: T;
-} | {
-    success: false;
-    errors: ValidationError[];
-};
-/**
- * A field's verdict. `path` is where INSIDE the value the refusal happened — empty when the
- * field itself is refused, `['street']` when the shape below it is.
- */
-export type Checked = {
-    value: unknown;
-} | {
-    error: string;
-    path?: readonly string[];
-};
-/**
- * A path as a message writes it — `addr.street`. One rendering among others, and the
- * reason the value stays segmented: this one cannot be read back.
- */
-export declare const dotted: (path: readonly string[]) => string;
-//# sourceMappingURL=validation.d.ts.map

package/dist/lib/validation.d.ts.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.d.ts","sourceRoot":"","sources":["../../src/lib/validation.ts"],"names":[],"mappings":"AAAA,MAAM,WAAW,eAAe;IAC9B;;;;OAIG;IACH,IAAI,EAAE,SAAS,MAAM,EAAE,CAAC;IACxB,OAAO,EAAE,MAAM,CAAC;CACjB;AAED,MAAM,MAAM,gBAAgB,CAAC,CAAC,IAC1B;IAAE,OAAO,EAAE,IAAI,CAAC;IAAC,IAAI,EAAE,CAAC,CAAA;CAAE,GAC1B;IAAE,OAAO,EAAE,KAAK,CAAC;IAAC,MAAM,EAAE,eAAe,EAAE,CAAA;CAAE,CAAC;AAElD;;;GAGG;AACH,MAAM,MAAM,OAAO,GAAG;IAAE,KAAK,EAAE,OAAO,CAAA;CAAE,GAAG;IAAE,KAAK,EAAE,MAAM,CAAC;IAAC,IAAI,CAAC,EAAE,SAAS,MAAM,EAAE,CAAA;CAAE,CAAC;AAEvF;;;GAGG;AACH,eAAO,MAAM,MAAM,SAAU,SAAS,MAAM,EAAE,KAAG,MAAwB,CAAC"}

package/dist/lib/validation.js.map

@@ -1 +0,0 @@
-{"version":3,"file":"validation.js","sourceRoot":"","sources":["../../src/lib/validation.ts"],"names":[],"mappings":"AAoBA;;;GAGG;AACH,MAAM,CAAC,MAAM,MAAM,GAAG,CAAC,IAAuB,EAAU,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC"}

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

@@ -1,55 +0,0 @@
-import type { BoundaryRef } from '../../axis/boundary/Boundary.js';
-import type { LifecycleRules } from '../../axis/lifecycle/Lifecycle.js';
-import type { Relation } from '../../axis/role/Relation.js';
-import type { RoleRules } from '../../axis/role/Role.js';
-import type { JSONSchema7TypeName } from 'json-schema';
-import type { Shape } from '../../axis/shape/Shape.js';
-type ShapeKeywords = UnionToIntersection<KeywordsOf<Shape>>;
-type KeywordsOf<S> = S extends unknown ? Partial<Omit<S, 'type' | 'items' | 'properties'>> : never;
-type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
-export type FieldDescriptor = ShapeKeywords & {
-    type?: JSONSchema7TypeName | JSONSchema7TypeName[];
-    items?: FieldDescriptor;
-    properties?: Record<string, FieldDescriptor>;
-    description?: string;
-    'x-fougere'?: FieldExtension;
-};
-export interface FieldExtension {
-    role?: RoleDescriptor;
-    lifecycle?: LifecycleRules;
-    boundary?: BoundaryRef;
-}
-export type RoleDescriptor = Pick<RoleRules, 'primary' | 'index'> & {
-    unique?: string[][];
-    relation?: RelationDescriptor;
-};
-export type RelationDescriptor = Pick<Relation, 'kind' | 'onDelete'> & {
-    to: string;
-};
-/**
- * What a derivation was cut from, and what the cut left — `nameOf` keyed by the
- * ORIGIN's field names. Absent on a declaration that derives from nothing.
- *
- * A dropped field is `null` and never `undefined`: JSON.stringify erases the second,
- * which would leave the card saying only what remains — what `properties` already says.
- */
-export interface DerivedFrom {
-    from: string;
-    nameOf: Record<string, string | null>;
-}
-export interface SchemaDescriptor {
-    title?: string;
-    type: 'object';
-    properties: Record<string, FieldDescriptor>;
-    required?: string[];
-    'x-fougere-derived'?: DerivedFrom;
-    'x-fougere-version': 1;
-    'x-fougere-vendor': 'fougere';
-}
-export interface SchemaBundle {
-    $defs: Record<string, SchemaDescriptor>;
-    'x-fougere-version': 1;
-    'x-fougere-vendor': 'fougere';
-}
-export {};
-//# sourceMappingURL=Descriptor.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Descriptor.d.ts","sourceRoot":"","sources":["../../../src/projection/card/Descriptor.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,QAAQ,EAAE,MAAM,6BAA6B,CAAC;AAC5D,OAAO,KAAK,EAAE,SAAS,EAAE,MAAM,yBAAyB,CAAC;AACzD,OAAO,KAAK,EAAE,mBAAmB,EAAE,MAAM,aAAa,CAAC;AACvD,OAAO,KAAK,EAAE,KAAK,EAAE,MAAM,2BAA2B,CAAC;AAEvD,KAAK,aAAa,GAAG,mBAAmB,CAAC,UAAU,CAAC,KAAK,CAAC,CAAC,CAAC;AAE5D,KAAK,UAAU,CAAC,CAAC,IAAI,CAAC,SAAS,OAAO,GAAG,OAAO,CAAC,IAAI,CAAC,CAAC,EAAE,MAAM,GAAG,OAAO,GAAG,YAAY,CAAC,CAAC,GAAG,KAAK,CAAC;AACnG,KAAK,mBAAmB,CAAC,CAAC,IAAI,CAAC,CAAC,SAAS,OAAO,GAAG,CAAC,CAAC,EAAE,CAAC,KAAK,IAAI,GAAG,KAAK,CAAC,SAAS,CAAC,CAAC,EAAE,MAAM,CAAC,KAAK,IAAI,GAAG,CAAC,GAAG,KAAK,CAAC;AAEpH,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;AAEF,MAAM,WAAW,cAAc;IAC7B,IAAI,CAAC,EAAE,cAAc,CAAC;IACtB,SAAS,CAAC,EAAE,cAAc,CAAC;IAC3B,QAAQ,CAAC,EAAE,WAAW,CAAC;CACxB;AAED,MAAM,MAAM,cAAc,GAAG,IAAI,CAAC,SAAS,EAAE,SAAS,GAAG,OAAO,CAAC,GAAG;IAClE,MAAM,CAAC,EAAE,MAAM,EAAE,EAAE,CAAC;IACpB,QAAQ,CAAC,EAAE,kBAAkB,CAAC;CAC/B,CAAC;AAEF,MAAM,MAAM,kBAAkB,GAAG,IAAI,CAAC,QAAQ,EAAE,MAAM,GAAG,UAAU,CAAC,GAAG;IAAE,EAAE,EAAE,MAAM,CAAA;CAAE,CAAC;AAEtF;;;;;;GAMG;AACH,MAAM,WAAW,WAAW;IAC1B,IAAI,EAAE,MAAM,CAAC;IACb,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,GAAG,IAAI,CAAC,CAAC;CACvC;AAED,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;AAED,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"}

package/dist/projection/card/Descriptor.js

@@ -1,2 +0,0 @@
-export {};
-//# sourceMappingURL=Descriptor.js.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"Descriptor.js","sourceRoot":"","sources":["../../../src/projection/card/Descriptor.ts"],"names":[],"mappings":""}

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

@@ -1,104 +0,0 @@
-import type { BoundaryRef } from '../../axis/boundary/Boundary.js';
-import type { LifecycleRules } from '../../axis/lifecycle/Lifecycle.js';
-import type { FieldDescriptor, RoleDescriptor, SchemaDescriptor } from './Descriptor.js';
-/** One named difference, at one place. Each kind exists because a reader asks for it. */
-export type Change = 
-/** DDL: add the column. Codec: the old caller never sends it. Boot: refuse when required. */
-{
-    kind: 'added';
-    field: string;
-    to: FieldDescriptor;
-    required: boolean;
-}
-/** DDL: drop the column. Codec: the old caller still sends it, and it goes nowhere. */
- | {
-    kind: 'removed';
-    field: string;
-    from: FieldDescriptor;
-    required: boolean;
-}
-/** DDL: rename the column. Codec and storage: one more entry in the field-to-column map. */
- | {
-    kind: 'renamed';
-    from: string;
-    to: string;
-    field: FieldDescriptor;
-}
-/** DDL: alter the type. Codec: convert the value, when it can. */
- | {
-    kind: 'retyped';
-    field: string;
-    from: TypeSet;
-    to: TypeSet;
-}
-/** Same type, different bounds: a CHECK moves, and a value legal yesterday may not be. */
- | {
-    kind: 'reshaped';
-    field: string;
-    from: FieldDescriptor;
-    to: FieldDescriptor;
-}
-/** 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;
-};
-/** A field's declared types, always represented as a set. */
-export type TypeSet = string[];
-/** A removal and an addition that could be one rename: same shape, different name. */
-export interface RenameCandidate {
-    removed: string;
-    added: string;
-}
-export interface Diff {
-    changes: Change[];
-    /** Questions the comparison refuses to decide without an explicit rename declaration. */
-    ambiguous: RenameCandidate[];
-}
-export interface DiffOptions {
-    /** Renames as declared at the time: old name to new name. */
-    renamed?: Record<string, string>;
-}
-export interface SetDiff {
-    /** Entities the target bundle has and the source bundle had not. */
-    entitiesAdded: string[];
-    /** Entities the source bundle had and the target bundle has not. */
-    entitiesRemoved: string[];
-    /** Differences for entities present in both bundles; unchanged entities are absent. */
-    entities: Record<string, Diff>;
-}
-export interface SetDiffOptions {
-    /** Declared renames, per entity: `{ post: { body: 'content' } }`. */
-    renamed?: Record<string, Record<string, string>>;
-}
-/**
- * What changed between two descriptions of the same entity, read from the wire form alone.
- * FR : ce qui a changé entre deux descriptions d'une même entité, lu du seul format du fil.
- * `compare(v1, v2, { renamed: { body: 'content' } })` → one `renamed`, no `ambiguous`
- *
- * Documented: [how a schema moves](https://fougere.dev/docs/schema/evolution).
- */
-export declare function compare(was: SchemaDescriptor, is: SchemaDescriptor, options?: DiffOptions): Diff;
-//# sourceMappingURL=diff.d.ts.map

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

@@ -1 +0,0 @@
-{"version":3,"file":"diff.d.ts","sourceRoot":"","sources":["../../../src/projection/card/diff.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,EAAE,WAAW,EAAE,MAAM,iCAAiC,CAAC;AACnE,OAAO,KAAK,EAAE,cAAc,EAAE,MAAM,mCAAmC,CAAC;AAGxE,OAAO,KAAK,EAAE,eAAe,EAAkB,cAAc,EAAE,gBAAgB,EAAE,MAAM,iBAAiB,CAAC;AAEzG,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;AAEhG,6DAA6D;AAC7D,MAAM,MAAM,OAAO,GAAG,MAAM,EAAE,CAAC;AAE/B,sFAAsF;AACtF,MAAM,WAAW,eAAe;IAC9B,OAAO,EAAE,MAAM,CAAC;IAChB,KAAK,EAAE,MAAM,CAAC;CACf;AAED,MAAM,WAAW,IAAI;IACnB,OAAO,EAAE,MAAM,EAAE,CAAC;IAClB,yFAAyF;IACzF,SAAS,EAAE,eAAe,EAAE,CAAC;CAC9B;AAED,MAAM,WAAW,WAAW;IAC1B,6DAA6D;IAC7D,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;CAClC;AAED,MAAM,WAAW,OAAO;IACtB,oEAAoE;IACpE,aAAa,EAAE,MAAM,EAAE,CAAC;IACxB,oEAAoE;IACpE,eAAe,EAAE,MAAM,EAAE,CAAC;IAC1B,uFAAuF;IACvF,QAAQ,EAAE,MAAM,CAAC,MAAM,EAAE,IAAI,CAAC,CAAC;CAChC;AAED,MAAM,WAAW,cAAc;IAC7B,qEAAqE;IACrE,OAAO,CAAC,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC,CAAC;CAClD;AAED;;;;;;GAMG;AACH,wBAAgB,OAAO,CACrB,GAAG,EAAE,gBAAgB,EACrB,EAAE,EAAE,gBAAgB,EACpB,OAAO,GAAE,WAAgB,GACxB,IAAI,CA4DN"}

package/src/lib/validation.ts

@@ -1,25 +0,0 @@
-export interface ValidationError {
-  /**
-   * Where the refusal happened: the field, then where under it the shape refused.
-   * Empty when the input itself is refused. Segments, never a sentence — a field may
-   * legally be named `a.b`, and re-parsing a joined path invents a segment it never had.
-   */
-  path: readonly string[];
-  message: string;
-}
-
-export type ValidationResult<T> =
-  | { success: true; data: T }
-  | { success: false; errors: ValidationError[] };
-
-/**
- * A field's verdict. `path` is where INSIDE the value the refusal happened — empty when the
- * field itself is refused, `['street']` when the shape below it is.
- */
-export type Checked = { value: unknown } | { error: string; path?: readonly string[] };
-
-/**
- * A path as a message writes it — `addr.street`. One rendering among others, and the
- * reason the value stays segmented: this one cannot be read back.
- */
-export const dotted = (path: readonly string[]): string => path.join('.');

package/src/projection/card/Descriptor.ts

@@ -1,60 +0,0 @@
-import type { BoundaryRef } from '../../axis/boundary/Boundary.js';
-import type { LifecycleRules } from '../../axis/lifecycle/Lifecycle.js';
-import type { Relation } from '../../axis/role/Relation.js';
-import type { RoleRules } from '../../axis/role/Role.js';
-import type { JSONSchema7TypeName } from 'json-schema';
-import type { Shape } from '../../axis/shape/Shape.js';
-
-type ShapeKeywords = UnionToIntersection<KeywordsOf<Shape>>;
-
-type KeywordsOf<S> = S extends unknown ? Partial<Omit<S, 'type' | 'items' | 'properties'>> : never;
-type UnionToIntersection<U> = (U extends unknown ? (k: U) => void : never) extends (k: infer I) => void ? I : never;
-
-export type FieldDescriptor = ShapeKeywords & {
-  type?: JSONSchema7TypeName | JSONSchema7TypeName[];
-  items?: FieldDescriptor;
-  properties?: Record<string, FieldDescriptor>;
-  description?: string;
-  'x-fougere'?: FieldExtension;
-};
-
-export interface FieldExtension {
-  role?: RoleDescriptor;
-  lifecycle?: LifecycleRules;
-  boundary?: BoundaryRef;
-}
-
-export type RoleDescriptor = Pick<RoleRules, 'primary' | 'index'> & {
-  unique?: string[][];
-  relation?: RelationDescriptor;
-};
-
-export type RelationDescriptor = Pick<Relation, 'kind' | 'onDelete'> & { to: string };
-
-/**
- * What a derivation was cut from, and what the cut left — `nameOf` keyed by the
- * ORIGIN's field names. Absent on a declaration that derives from nothing.
- *
- * A dropped field is `null` and never `undefined`: JSON.stringify erases the second,
- * which would leave the card saying only what remains — what `properties` already says.
- */
-export interface DerivedFrom {
-  from: string;
-  nameOf: Record<string, string | null>;
-}
-
-export interface SchemaDescriptor {
-  title?: string;
-  type: 'object';
-  properties: Record<string, FieldDescriptor>;
-  required?: string[];
-  'x-fougere-derived'?: DerivedFrom;
-  'x-fougere-version': 1;
-  'x-fougere-vendor': 'fougere';
-}
-
-export interface SchemaBundle {
-  $defs: Record<string, SchemaDescriptor>;
-  'x-fougere-version': 1;
-  'x-fougere-vendor': 'fougere';
-}