@relyio/sdk 0.10.0 → 0.12.0

package/dist/{define-content-type-DfnTu26S.d.ts → include-paths-CrJNTsMl.d.ts}

@@ -1,3 +1,5 @@
+import { w as RichTextValue, t as RichTextTable, c as RichTextCodeGroup, s as RichTextStructure, n as RichTextMarkType } from './rich-text.d-rKmpgdGd.js';
+
 /**
  * Generated by scripts/emit-openapi-types.mjs from @relyio/api's committed
  * openapi-spec.json. Do not edit: run `pnpm codegen:openapi` in this package, which
@@ -1058,18 +1060,20 @@ interface components {
             localeStatus?: 'archived' | 'draft' | 'published';
             /** @description Whether `locale` has unpublished changes of its own. */
             localeHasDraft: boolean;
-            /** @description Every locale holding unpublished content, sorted. A shared-field draft is listed under the default locale. */
+            /** @description Every locale holding unpublished content of its own, sorted. A shared-field draft is not listed: it is `hasDraft`. */
             draftLocales: string[];
+            /** @description Whether the shared (non-localized) fields have unpublished changes. Publishing any locale makes them live, so they are unpublished work in every locale. */
+            hasDraft: boolean;
             /** @description The locale the request named, when it named one other than the default. On `?locales=a,b,c` it is always sent: the primary, or `*` when the list names as many locales as the entry has — as on `?locale=*`. */
             requestedLocale?: string;
             /** @description The schema’s default locale. */
             defaultLocale: string;
-            /** @description Whether the shared (non-localized) fields have unpublished changes. */
-            hasDraft: boolean;
             /** @description Each field whose value came from another locale, mapped to that locale. Absent when none did. */
             localeFallbacksApplied?: {
                 [key: string]: string;
             };
+            /** @description Each required field the entry holds no value for, which this read filled with its kind’s empty value — `""` for text, the tree holding nothing (`{ _type: "richText", version: 1, children: [] }`) for rich text, `[]` for a list, `false` for a boolean — so a required field is always present. A draft may leave these empty; publishing refuses it. Each is a value path, a list item named by its key: `title`, `seo.title`, `faq[_key=="k1"].question` — the spelling a validation error’s path uses, so a path still finds its item after a reorder. Absent when none was filled. */
+            emptyRequiredFields?: string[];
             /** @description Every locale the entry has content in, the default first. */
             availableLocales: components['schemas']['EntryLocale'][];
             /** @description The fields of every other locale asked for, keyed by locale — on `?locales=a,b` and `?locale=*`. A locale with no visible fields is left out. */
@@ -1103,7 +1107,7 @@ interface components {
         };
         /** @description One outgoing reference. */
         EntryRef: {
-            /** @description The declaring field’s path — `hero.link` for a reference inside a component. */
+            /** @description The declaring field’s path, spelt as the include path that expands it: `sections.customers` for a reference inside a page builder’s blocks, `sections.media.image` for one inside an object inside a block — no shape, index or key. Two block types that declare one field id share a path; each row still names its target. */
             path: string;
             /** @description The referenced entry’s id. */
             entryUid: string;
@@ -1111,7 +1115,7 @@ interface components {
         ErrorResponse: {
             error: {
                 /** @enum {string} */
-                code: 'ACCESS_DENIED' | 'CONTENT_INVALID' | 'INTERNAL_ERROR' | 'INVALID_API_KEY' | 'METHOD_NOT_ALLOWED' | 'MISSING_API_KEY' | 'ORGANIZATION_DELETE_BLOCKED' | 'PAYLOAD_TOO_LARGE' | 'PLAN_DOWNGRADE_BLOCKED' | 'PLAN_FEATURE_UNAVAILABLE' | 'RATE_LIMIT_EXCEEDED' | 'READ_ONLY_KEY' | 'REQUEST_INVALID' | 'REQUEST_TIMEOUT' | 'RESOURCE_CONFLICT' | 'RESOURCE_EXPIRED' | 'RESOURCE_NOT_FOUND' | 'REVERIFICATION_REQUIRED' | 'SERVICE_INDETERMINATE' | 'TRANSACTION_ROLLED_BACK' | 'USAGE_QUOTA_EXCEEDED' | 'USER_NOT_PROVISIONED';
+                code: 'ACCESS_DENIED' | 'CONTENT_INVALID' | 'INTERNAL_ERROR' | 'INVALID_API_KEY' | 'METHOD_NOT_ALLOWED' | 'MISSING_API_KEY' | 'ORGANIZATION_BEING_DELETED' | 'ORGANIZATION_DELETE_BLOCKED' | 'ORGANIZATION_IN_ANOTHER_CELL' | 'PAYLOAD_TOO_LARGE' | 'PLAN_DOWNGRADE_BLOCKED' | 'PLAN_FEATURE_UNAVAILABLE' | 'PROJECT_IN_ANOTHER_CELL' | 'RATE_LIMIT_EXCEEDED' | 'READ_ONLY_KEY' | 'REQUEST_INVALID' | 'REQUEST_TIMEOUT' | 'RESOURCE_CONFLICT' | 'RESOURCE_EXPIRED' | 'RESOURCE_NOT_FOUND' | 'REVERIFICATION_REQUIRED' | 'SERVICE_INDETERMINATE' | 'TRANSACTION_ROLLED_BACK' | 'USAGE_QUOTA_EXCEEDED' | 'USER_NOT_PROVISIONED';
                 messages: string[];
                 details?: {
                     [key: string]: unknown;
@@ -1230,6 +1234,17 @@ interface components {
                 };
             };
         };
+        RefusalProjectInAnotherCell: {
+            error: {
+                /** @enum {string} */
+                code: 'PROJECT_IN_ANOTHER_CELL';
+                messages: string[];
+                details: {
+                    /** @description The data region whose cell holds the Project, as `us` or `eu`. */
+                    region: string;
+                };
+            };
+        };
         RefusalRateLimitExceeded: {
             error: {
                 /** @enum {string} */
@@ -1300,6 +1315,88 @@ interface components {
                 };
             };
         };
+        /** @description The entry after a restore: its fields at the top level and `_metadata`, which also lists what the restore left out. */
+        RestoredEntry: {
+            _metadata: components['schemas']['RestoredEntryMetadata'];
+        } & {
+            [key: string]: unknown;
+        };
+        /** @description What this service reports about an entry beside its fields, and what a restore left out of it. */
+        RestoredEntryMetadata: {
+            id: string;
+            /** @description The content type. */
+            type: string;
+            /** @enum {string} */
+            entryType: 'asset' | 'content' | 'settings' | 'singleton';
+            /** @description The slug field’s value at `locale`, or null when the type declares none. */
+            slug: string | null;
+            /**
+             * @description Container lifecycle only. Publication is per locale: `localeStatus`.
+             * @enum {string}
+             */
+            status: 'active' | 'archived' | 'proposed';
+            /** @description The reported locale’s own version counter — not the entry’s shared-field counter. `0` when that locale has no content of its own. With `id` and `locale`, it is what `X-Entity-Tag` is minted from. */
+            version: number;
+            /** @description The locale the fields beside this object were composed for. */
+            locale: string;
+            /** @description How many versions `locale` has. Sent on a single-entry read; a list leaves it out. */
+            versionCount?: number;
+            /** @description `locale`’s version numbers, newest first, at most 25. Sent on a single-entry read; a list leaves it out. */
+            versions?: number[];
+            /**
+             * @description Publication state of `locale`. Absent when that locale has no content of its own: what is visible in it is inherited through the fallback chain.
+             * @enum {string}
+             */
+            localeStatus?: 'archived' | 'draft' | 'published';
+            /** @description Whether `locale` has unpublished changes of its own. */
+            localeHasDraft: boolean;
+            /** @description Every locale holding unpublished content of its own, sorted. A shared-field draft is not listed: it is `hasDraft`. */
+            draftLocales: string[];
+            /** @description Whether the shared (non-localized) fields have unpublished changes. Publishing any locale makes them live, so they are unpublished work in every locale. */
+            hasDraft: boolean;
+            /** @description The locale the request named, when it named one other than the default. On `?locales=a,b,c` it is always sent: the primary, or `*` when the list names as many locales as the entry has — as on `?locale=*`. */
+            requestedLocale?: string;
+            /** @description The schema’s default locale. */
+            defaultLocale: string;
+            /** @description Each field whose value came from another locale, mapped to that locale. Absent when none did. */
+            localeFallbacksApplied?: {
+                [key: string]: string;
+            };
+            /** @description Each required field the entry holds no value for, which this read filled with its kind’s empty value — `""` for text, the tree holding nothing (`{ _type: "richText", version: 1, children: [] }`) for rich text, `[]` for a list, `false` for a boolean — so a required field is always present. A draft may leave these empty; publishing refuses it. Each is a value path, a list item named by its key: `title`, `seo.title`, `faq[_key=="k1"].question` — the spelling a validation error’s path uses, so a path still finds its item after a reorder. Absent when none was filled. */
+            emptyRequiredFields?: string[];
+            /** @description Every locale the entry has content in, the default first. */
+            availableLocales: components['schemas']['EntryLocale'][];
+            /** @description The fields of every other locale asked for, keyed by locale — on `?locales=a,b` and `?locale=*`. A locale with no visible fields is left out. */
+            localizations?: {
+                [key: string]: {
+                    [key: string]: unknown;
+                };
+            };
+            /**
+             * Format: date-time
+             * @description When the entry was created.
+             */
+            createdAt: string;
+            /**
+             * Format: date-time
+             * @description When the entry was last written.
+             */
+            updatedAt: string;
+            /**
+             * Format: date-time
+             * @description When the entry was last published. Absent until it is.
+             */
+            publishedAt?: string;
+            /**
+             * Format: date-time
+             * @description When the entry was first published. Absent until it is.
+             */
+            firstPublishedAt?: string;
+            /** @description The entry’s outgoing references, across every locale, each once. */
+            refs: components['schemas']['EntryRef'][];
+            /** @description Each value of the restored version the active schema no longer declares, by path (`legacy`, `seo.note`, `faq[_key=="k1"].note` — an item named by its key). A restore writes what the schema still declares and is never refused for the rest; empty when the version held nothing removed. A replay of the restore under the same `Idempotency-Key` answers the entry as it stands and leaves this out. */
+            leftOut?: string[];
+        };
         /** @description How a hit’s relevance was reached. Sent on a search that asked for `explain`. */
         ScoreBreakdown: {
             keyword: number;
@@ -1354,9 +1451,9 @@ interface components {
             localeStatus?: 'archived' | 'draft' | 'published';
             /** @description Whether `locale` has unpublished changes of its own. */
             localeHasDraft: boolean;
-            /** @description Every locale holding unpublished content, sorted. A shared-field draft is listed under the default locale. */
+            /** @description Every locale holding unpublished content of its own, sorted. A shared-field draft is not listed: it is `hasDraft`. */
             draftLocales: string[];
-            /** @description Whether the shared (non-localized) fields have unpublished changes. */
+            /** @description Whether the shared (non-localized) fields have unpublished changes. Publishing any locale makes them live, so they are unpublished work in every locale. */
             hasDraft: boolean;
             /**
              * Format: date-time
@@ -1407,8 +1504,10 @@ interface components {
             localeStatus?: 'archived' | 'draft' | 'published';
             /** @description Whether `locale` has unpublished changes of its own. */
             localeHasDraft: boolean;
-            /** @description Every locale holding unpublished content, sorted. A shared-field draft is listed under the default locale. */
+            /** @description Every locale holding unpublished content of its own, sorted. A shared-field draft is not listed: it is `hasDraft`. */
             draftLocales: string[];
+            /** @description Whether the shared (non-localized) fields have unpublished changes. Publishing any locale makes them live, so they are unpublished work in every locale. */
+            hasDraft: boolean;
             /**
              * Format: date-time
              * @description When the group was last written.
@@ -1439,8 +1538,10 @@ interface components {
             localeStatus?: 'archived' | 'draft' | 'published';
             /** @description Whether `locale` has unpublished changes of its own. */
             localeHasDraft: boolean;
-            /** @description Every locale holding unpublished content, sorted. A shared-field draft is listed under the default locale. */
+            /** @description Every locale holding unpublished content of its own, sorted. A shared-field draft is not listed: it is `hasDraft`. */
             draftLocales: string[];
+            /** @description Whether the shared (non-localized) fields have unpublished changes. Publishing any locale makes them live, so they are unpublished work in every locale. */
+            hasDraft: boolean;
             /**
              * Format: date-time
              * @description When the group was last written.
@@ -1482,9 +1583,9 @@ interface components {
             localeStatus?: 'archived' | 'draft' | 'published';
             /** @description Whether `locale` has unpublished changes of its own. */
             localeHasDraft: boolean;
-            /** @description Every locale holding unpublished content, sorted. A shared-field draft is listed under the default locale. */
+            /** @description Every locale holding unpublished content of its own, sorted. A shared-field draft is not listed: it is `hasDraft`. */
             draftLocales: string[];
-            /** @description Whether the shared (non-localized) fields have unpublished changes. */
+            /** @description Whether the shared (non-localized) fields have unpublished changes. Publishing any locale makes them live, so they are unpublished work in every locale. */
             hasDraft: boolean;
             /**
              * Format: date-time
@@ -1506,13 +1607,15 @@ interface components {
              * @description When the singleton was first published. Absent until it is.
              */
             firstPublishedAt?: string;
+            /** @description Each required field the singleton holds no value for, which this read filled with its kind’s empty value, as a value path naming a list item by its key — as on an entry. Absent when none was. */
+            emptyRequiredFields?: string[];
         };
         SubFailure: {
             index: number;
             id?: string;
             error: {
                 /** @enum {string} */
-                code: 'ACCESS_DENIED' | 'CONTENT_INVALID' | 'INTERNAL_ERROR' | 'INVALID_API_KEY' | 'METHOD_NOT_ALLOWED' | 'MISSING_API_KEY' | 'ORGANIZATION_DELETE_BLOCKED' | 'PAYLOAD_TOO_LARGE' | 'PLAN_DOWNGRADE_BLOCKED' | 'PLAN_FEATURE_UNAVAILABLE' | 'RATE_LIMIT_EXCEEDED' | 'READ_ONLY_KEY' | 'REQUEST_INVALID' | 'REQUEST_TIMEOUT' | 'RESOURCE_CONFLICT' | 'RESOURCE_EXPIRED' | 'RESOURCE_NOT_FOUND' | 'REVERIFICATION_REQUIRED' | 'SERVICE_INDETERMINATE' | 'TRANSACTION_ROLLED_BACK' | 'USAGE_QUOTA_EXCEEDED' | 'USER_NOT_PROVISIONED';
+                code: 'ACCESS_DENIED' | 'CONTENT_INVALID' | 'INTERNAL_ERROR' | 'INVALID_API_KEY' | 'METHOD_NOT_ALLOWED' | 'MISSING_API_KEY' | 'ORGANIZATION_BEING_DELETED' | 'ORGANIZATION_DELETE_BLOCKED' | 'ORGANIZATION_IN_ANOTHER_CELL' | 'PAYLOAD_TOO_LARGE' | 'PLAN_DOWNGRADE_BLOCKED' | 'PLAN_FEATURE_UNAVAILABLE' | 'PROJECT_IN_ANOTHER_CELL' | 'RATE_LIMIT_EXCEEDED' | 'READ_ONLY_KEY' | 'REQUEST_INVALID' | 'REQUEST_TIMEOUT' | 'RESOURCE_CONFLICT' | 'RESOURCE_EXPIRED' | 'RESOURCE_NOT_FOUND' | 'REVERIFICATION_REQUIRED' | 'SERVICE_INDETERMINATE' | 'TRANSACTION_ROLLED_BACK' | 'USAGE_QUOTA_EXCEEDED' | 'USER_NOT_PROVISIONED';
                 messages: string[];
                 details?: {
                     [key: string]: unknown;
@@ -2282,6 +2385,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -2390,6 +2502,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -2486,6 +2607,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -2591,6 +2721,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -2701,6 +2840,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -2797,6 +2945,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -2885,6 +3042,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -2987,6 +3153,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3094,6 +3269,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3201,6 +3385,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3308,6 +3501,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3415,6 +3617,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3522,6 +3733,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3629,6 +3849,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3736,6 +3965,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3843,6 +4081,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -3932,6 +4179,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4021,6 +4277,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4111,6 +4376,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4163,8 +4437,7 @@ interface operations {
                 };
                 content: {
                     'application/json': {
-                        /** @description The payload itself. */
-                        data: unknown;
+                        data: components['schemas']['RestoredEntry'];
                     };
                 };
             };
@@ -4222,6 +4495,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4325,6 +4607,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4451,6 +4742,21 @@ interface operations {
                     };
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                    'text/event-stream': {
+                        /** @enum {string} */
+                        type: 'change' | 'complete' | 'error' | 'heartbeat';
+                    } & {
+                        [key: string]: unknown;
+                    };
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4548,6 +4854,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalAccessDeniedOrPlanFeatureUnavailableOrUsageQuotaExceeded'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4636,6 +4951,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4715,6 +5039,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalAccessDeniedOrPlanFeatureUnavailableOrUsageQuotaExceeded'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4803,6 +5136,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4893,6 +5235,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -4983,16 +5334,25 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
-            /** @description RATE_LIMIT_EXCEEDED */
-            429: {
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
                 headers: {
                     [name: string]: unknown;
                 };
                 content: {
-                    'application/json': components['schemas']['RefusalRateLimitExceeded'];
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
                 };
             };
-            /** @description INTERNAL_ERROR */
+            /** @description RATE_LIMIT_EXCEEDED */
+            429: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalRateLimitExceeded'];
+                };
+            };
+            /** @description INTERNAL_ERROR */
             500: {
                 headers: {
                     [name: string]: unknown;
@@ -5069,6 +5429,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5169,6 +5538,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalRequestTimeout'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5263,6 +5641,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5348,6 +5735,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalAccessDeniedOrPlanFeatureUnavailableOrUsageQuotaExceeded'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5442,6 +5838,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5525,6 +5930,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalAccessDeniedOrPlanFeatureUnavailableOrUsageQuotaExceeded'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5620,6 +6034,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5729,6 +6152,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5817,6 +6249,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -5926,6 +6367,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -6014,6 +6464,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -6103,6 +6562,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -6198,6 +6666,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -6307,6 +6784,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceExpired'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -6395,6 +6881,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -6483,6 +6978,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -6572,6 +7076,15 @@ interface operations {
                     'application/json': components['schemas']['RefusalResourceNotFound'];
                 };
             };
+            /** @description PROJECT_IN_ANOTHER_CELL */
+            421: {
+                headers: {
+                    [name: string]: unknown;
+                };
+                content: {
+                    'application/json': components['schemas']['RefusalProjectInAnotherCell'];
+                };
+            };
             /** @description RATE_LIMIT_EXCEEDED */
             429: {
                 headers: {
@@ -6604,455 +7117,178 @@ interface operations {
 }
 
 /**
- * Field type definitions matching @relyio/schema package
+ * Workflow definition for content approval pipelines
  *
- * Every config option here is spelled as `@relyio/schema`'s field config schema spells it, because
- * the CLI sends a field's `config` to deploy verbatim, and deploy — and `relyio validate` before it —
- * refuses an option the field's type does not declare, naming its path (REL-1480). This package does
- * not depend on `@relyio/schema`, so the
- * options are pinned from `@relyio/codegen-typescript`, which depends on both: its
- * `src/__tests__/sdk-field-config.types.ts` fails to compile when a key, whether it is required, or
- * the values it accepts differs between the two (REL-1408).
- */
-/**
- * AI configuration. A single prompt — `instructions` — describes what the
- * element is and how AI should produce its value. Attaches to fields, content
- * types, components, fieldsets, and (extended) asset types.
+ * Workflows define approval stages that content must pass through before
+ * publication. They can be configured globally and per content type.
  *
  * @example
- * ```typescript
- * fields.richText('body', {
- *   ai: {
- *     instructions: `
- *       Write in a conversational tone.
- *       Use short paragraphs (2-3 sentences).
- *       Target grade 8 reading level.
- *     `
- *   }
+ * // Simple workflow with one approval stage
+ * const workflow = defineWorkflow({
+ *   enabled: true,
+ *   stages: [
+ *     defineWorkflowStage('review', {
+ *       displayName: 'Editorial Review',
+ *       allowedRoles: ['editor', 'admin']
+ *     })
+ *   ]
+ * })
+ *
+ * @example
+ * // Multi-stage workflow
+ * const workflow = defineWorkflow({
+ *   enabled: true,
+ *   stages: [
+ *     defineWorkflowStage('editorial-review', {
+ *       displayName: 'Editorial Review',
+ *       allowedRoles: ['editor']
+ *     }),
+ *     defineWorkflowStage('legal-approval', {
+ *       displayName: 'Legal Approval',
+ *       requiredApprovals: 1,
+ *       allowedRoles: ['legal-reviewer']
+ *     }),
+ *     defineWorkflowStage('final-approval', {
+ *       displayName: 'Final Approval',
+ *       requiredApprovals: 2,
+ *       allowedRoles: ['publisher', 'admin']
+ *     })
+ *   ]
  * })
- * ```
  */
-interface AIConfig {
-    /**
-     * AI brief for this element: what it should contain and how to produce it.
-     *
-     * Used by the Studio authoring agent and — on asset types with
-     * `ai.autoGenerate` — by the automatic post-upload run.
-     *
-     * The fallback chain for AI guidance is:
-     * 1. ai.instructions (most specific)
-     * 2. ui.description (general field description)
-     * 3. Field displayName + type (inferred from semantics)
-     */
-    instructions?: string;
-}
 /**
- * Field-level AI config. `inputs` names the fields this instruction reads.
- * Unknown ids and cycles are refused when the schema is parsed.
+ * Escalation configuration when a workflow stage times out
  */
-interface FieldAIConfig extends AIConfig {
-    /** Field ids this instruction reads. Never inferred from instruction text. */
-    inputs?: string[];
+interface WorkflowEscalation {
+    /** Roles to notify when stage times out */
+    notifyRoles?: string[];
+    /** Roles to escalate to if still pending after another timeout period */
+    escalateToRoles?: string[];
 }
 /**
- * Asset-type AI configuration. Extends {@link AIConfig} with `autoGenerate`,
- * the single switch that turns on automatic field generation after upload.
+ * Auto-assignment configuration for workflow stages
  */
-interface AssetAIConfig extends AIConfig {
-    /**
-     * Master switch for automatic, post-upload field generation. When `true`, the
-     * derived analysis agent fills every field that declares `ai.instructions`,
-     * applied as a review proposal. Only meaningful for image asset types in v1.
-     */
-    autoGenerate?: boolean;
-}
-interface BaseFieldConfig {
-    /** Whether the field is required */
-    required?: boolean;
-    /** Whether the field value must be unique */
-    unique?: boolean;
-    /** Default value for the field. Each field type narrows it to the values its schema accepts. */
-    defaultValue?: unknown;
+interface WorkflowAutoAssign {
+    /** Roles whose users should be notified when content enters this stage */
+    roles: string[];
 }
-interface FieldUIConfig {
-    /** Display name shown in the UI */
+/**
+ * Workflow stage configuration
+ */
+interface WorkflowStageConfig {
+    /** Human-readable name shown in Studio */
     displayName: string;
-    /** Field description/help text */
+    /** Optional description for reviewers */
     description?: string;
-    /** Widget-specific options */
-    options?: Record<string, unknown>;
-}
-interface RuleCondition {
-    field: string;
-    operator: 'equals' | 'not_equals' | 'contains' | 'not_contains' | 'greater_than' | 'less_than' | 'is_empty' | 'is_not_empty';
-    value?: unknown;
+    /** Number of approvals needed to pass this stage (default: 1) */
+    requiredApprovals?: number;
+    /** Roles that can approve this stage */
+    allowedRoles?: string[];
+    /** Auto-assignment configuration */
+    autoAssign?: WorkflowAutoAssign;
+    /** Days before escalation triggers (optional) */
+    timeoutDays?: number;
+    /** Escalation configuration when stage times out */
+    escalation?: WorkflowEscalation;
 }
-interface RuleConditions {
-    mode: 'all' | 'any' | 'none';
-    conditions: RuleCondition[];
-}
-interface VisibilityRule {
-    type: 'visibility';
-    action: 'show' | 'hide';
-    conditions: RuleConditions;
-}
-interface RequirementRule {
-    type: 'requirement';
-    action: 'require' | 'optional';
-    conditions: RuleConditions;
-}
-interface ValidationRule {
-    type: 'validation';
-    action: 'validate' | 'skip';
-    message?: string;
-    conditions: RuleConditions;
-}
-interface ReadOnlyRule {
-    type: 'readOnly';
-    action: 'enable' | 'disable';
-    conditions: RuleConditions;
-}
-type FieldRule = VisibilityRule | RequirementRule | ValidationRule | ReadOnlyRule;
-type LocalizationConfig = boolean | string[] | {
-    enabled: boolean;
-    requiredLocales?: string[];
-    fallback?: boolean;
-};
-interface FieldDefinition<TId extends string = string, TType extends string = string, TConfig = unknown> {
-    /** Unique field identifier - preserves literal type for type inference */
-    readonly id: TId;
-    /** Field type */
-    readonly type: TType;
-    /** Type-specific configuration */
-    config?: TConfig;
-    /** UI display configuration */
-    ui?: FieldUIConfig;
-    /** AI configuration: generation/review guidance for this field */
-    ai?: FieldAIConfig;
-    /** Dynamic field rules */
-    rules?: FieldRule[];
-    /** Localization settings */
-    localization?: LocalizationConfig;
-    /** Fallback value when field is empty */
-    fallback?: unknown;
-    /** Whether this field is deprecated */
-    deprecated?: boolean;
-}
-/**
- * Any field definition - used in arrays where we need to preserve specific field types
- */
-type AnyFieldDefinition = FieldDefinition<string, string, unknown>;
-interface ShortTextConfig extends BaseFieldConfig {
-    /** Maximum character length */
-    maxLength?: number;
-    /** Regex pattern for validation */
-    pattern?: string;
-    defaultValue?: string;
-}
-interface LongTextConfig extends BaseFieldConfig {
-    minLength?: number;
-    maxLength?: number;
-    defaultValue?: string;
-}
-interface RichTextConfig extends BaseFieldConfig {
-    /** Maximum character length for the rich text content */
-    maxLength?: number;
-    /** Allowed formatting options (e.g., bold, italic, underline) */
-    allowedFormats?: string[];
-    /** Allowed embed types (e.g., image, video, code) */
-    embedTypes?: string[];
-    defaultValue?: string;
-}
-interface SlugConfig extends BaseFieldConfig {
-    /** Source field to generate slug from */
-    sourceField?: string;
-    /** Maximum character length */
-    maxLength?: number;
-    defaultValue?: string;
-}
-interface UrlConfig extends BaseFieldConfig {
-    /** Allowed URL protocols */
-    allowedProtocols?: ('http' | 'https' | 'ftp' | 'ftps')[];
-    /** Maximum character length */
-    maxLength?: number;
-    defaultValue?: string;
-}
-interface EmailConfig extends BaseFieldConfig {
-    /** Maximum character length */
-    maxLength?: number;
-    /** Whitelist of allowed email domains */
-    domainWhitelist?: string[];
-    defaultValue?: string;
-}
-interface IntegerConfig extends BaseFieldConfig {
-    min?: number;
-    max?: number;
-    defaultValue?: number;
-}
-interface DecimalConfig extends BaseFieldConfig {
-    min?: number;
-    max?: number;
-    decimalPlaces?: number;
-    roundingMode?: 'HALF_UP' | 'FLOOR' | 'CEILING' | 'ROUND' | 'TRUNCATE';
-    defaultValue?: number;
-}
-interface BooleanConfig extends BaseFieldConfig {
-    /** The editor's word for `true` (e.g. `'Published'`). */
-    labelTrue?: string;
-    /** The editor's word for `false` (e.g. `'Draft'`). */
-    labelFalse?: string;
-    defaultValue?: boolean;
+/**
+ * Complete workflow stage definition
+ */
+interface WorkflowStageDefinition {
+    readonly _tag: 'workflowStage';
+    readonly id: string;
+    readonly displayName: string;
+    readonly description?: string;
+    /** Absent means the schema's default of 1 */
+    readonly requiredApprovals?: number;
+    readonly allowedRoles?: string[];
+    readonly autoAssign?: WorkflowAutoAssign;
+    readonly timeoutDays?: number;
+    readonly escalation?: WorkflowEscalation;
 }
 /**
- * `TValue` is the union of the option values and `TMulti` whether the field holds a list of them.
- * `fields.enum()` infers both from the declaration, so a read of the field is typed by its options
- * (`INV-SS-TYPES-INFERRED`); the defaults describe any enum field.
+ * Workflow configuration
  */
-interface EnumConfig<TValue extends string = string, TMulti extends boolean = boolean> extends BaseFieldConfig {
-    /** The values the field may hold, each with the `label` an editor shows. Deploy refuses an option without one. */
-    options: Array<{
-        value: TValue;
-        label: string;
-    }>;
-    multi?: TMulti;
-    /** One option's value, or a list of them when `multi` is true. */
-    defaultValue?: string | string[];
-}
-/** A display format is not config: it is `ui.options.format`, where the schema declares it. */
-interface DateConfig extends BaseFieldConfig {
-    minDate?: string;
-    maxDate?: string;
-    /** `YYYY-MM-DD` */
-    defaultValue?: string;
-}
-/** A display format is not config: it is `ui.options.format`, where the schema declares it. */
-interface DateTimeConfig extends BaseFieldConfig {
-    minDateTime?: string;
-    maxDateTime?: string;
-    /** Store the instant in UTC (`'UTC'`), or keep the author's local time (`'local'`). */
-    timeZoneHandling?: 'UTC' | 'local';
-    defaultValue?: string;
+interface WorkflowConfig {
+    /** Enable/disable workflow for the branch (default: false) */
+    enabled?: boolean;
+    /** Array of approval stage definitions */
+    stages?: WorkflowStageDefinition[];
 }
 /**
- * `TTo` is the union of the target type ids and `TMulti` whether the field holds a list.
- * `fields.reference()` infers both, so a read of the field is typed by what it points at
- * (`INV-SS-TYPES-INFERRED`); the defaults describe any reference field.
+ * Complete workflow definition
  */
-interface ReferenceConfig<TTo extends string = string, TMulti extends boolean = boolean> extends BaseFieldConfig {
-    /**
-     * Target entry type id(s) — content type or asset type ids. Pass a single id
-     * for one target or an array for several. All ids must belong to the same
-     * family (all content types or all asset types).
-     */
-    to: TTo | TTo[];
-    /** Allow multiple references (the field value is a list). */
-    multi?: TMulti;
-    /** Reference strength for publish/unpublish behavior. */
-    referenceStrength?: 'strong' | 'weak';
-    /** Behavior when a referenced entry is deleted. */
-    onTargetDelete?: 'block' | 'nullify';
-    /** A target entry's id, or a list of them when `multi` is true. */
-    defaultValue?: string | string[];
-}
-interface TagsConfig extends BaseFieldConfig {
-    allowCustom?: boolean;
-    predefinedTags?: string[];
-    maxTags?: number;
+interface WorkflowDefinition {
+    readonly _tag: 'workflow';
+    /** Absent means the schema's default, disabled */
+    readonly enabled?: boolean;
+    readonly stages?: WorkflowStageDefinition[];
 }
 /**
- * `TSubfields` is the declared subfields, which `fields.list()` infers so a read types each item by
- * them (`INV-SS-TYPES-INFERRED`); the default describes any list field.
+ * Per-content-type workflow configuration
  */
-interface ListConfig<TSubfields extends readonly AnyFieldDefinition[] = FieldDefinition[]> extends BaseFieldConfig {
-    dragAndDrop?: boolean;
-    minItems?: number;
-    maxItems?: number;
-    /** Subfields for list items */
-    subfields?: TSubfields;
+interface ContentTypeWorkflowConfig {
+    /** Enable workflow for this content type (inherits from global if not set) */
+    enabled?: boolean;
+    /** Which global stages apply to this content type (subset of global stages) */
+    stages?: string[];
+    /** Publish automatically after all stages are approved */
+    autoPublish?: boolean;
+    /** Require all locales to be approved before publishing */
+    requireAllLocales?: boolean;
 }
 /**
- * A component field's config: the options every field type takes, and no more — what the schema
- * declares for a `component(<id>)` field, which has no config of its own. The validation document
- * reads `required` from it as it does from any field's.
+ * Define a workflow stage
+ *
+ * @param id - Unique identifier for the stage (kebab-case or camelCase)
+ * @param config - Stage configuration
+ *
+ * @example
+ * const editorialReview = defineWorkflowStage('editorial-review', {
+ *   displayName: 'Editorial Review',
+ *   description: 'Content quality and style check',
+ *   requiredApprovals: 1,
+ *   allowedRoles: ['editor', 'senior-editor']
+ * })
+ *
+ * @example
+ * // Stage with auto-assignment and timeout
+ * const legalApproval = defineWorkflowStage('legal-approval', {
+ *   displayName: 'Legal Approval',
+ *   allowedRoles: ['legal-reviewer'],
+ *   autoAssign: { roles: ['legal-reviewer'] },
+ *   timeoutDays: 3,
+ *   escalation: {
+ *     notifyRoles: ['legal-reviewer'],
+ *     escalateToRoles: ['admin']
+ *   }
+ * })
  */
-type ComponentFieldConfig = BaseFieldConfig;
-type FieldType = 'shortText' | 'longText' | 'richText' | 'slug' | 'url' | 'email' | 'integer' | 'decimal' | 'boolean' | 'enum' | 'date' | 'dateTime' | 'reference' | 'tags' | 'list';
-type ComponentFieldType = `component(${string})`;
-type AllFieldTypes = FieldType | ComponentFieldType;
-
+declare function defineWorkflowStage(id: string, config: WorkflowStageConfig): WorkflowStageDefinition;
 /**
- * Workflow definition for content approval pipelines
+ * Define a workflow configuration
  *
- * Workflows define approval stages that content must pass through before
- * publication. They can be configured globally and per content type.
+ * @param config - Workflow configuration with enabled flag and stages
  *
  * @example
- * // Simple workflow with one approval stage
+ * // Simple workflow
  * const workflow = defineWorkflow({
  *   enabled: true,
  *   stages: [
  *     defineWorkflowStage('review', {
- *       displayName: 'Editorial Review',
- *       allowedRoles: ['editor', 'admin']
+ *       displayName: 'Review',
+ *       allowedRoles: ['editor']
  *     })
  *   ]
  * })
  *
  * @example
- * // Multi-stage workflow
+ * // Disabled workflow (direct publish)
  * const workflow = defineWorkflow({
- *   enabled: true,
- *   stages: [
- *     defineWorkflowStage('editorial-review', {
- *       displayName: 'Editorial Review',
- *       allowedRoles: ['editor']
- *     }),
- *     defineWorkflowStage('legal-approval', {
- *       displayName: 'Legal Approval',
- *       requiredApprovals: 1,
- *       allowedRoles: ['legal-reviewer']
- *     }),
- *     defineWorkflowStage('final-approval', {
- *       displayName: 'Final Approval',
- *       requiredApprovals: 2,
- *       allowedRoles: ['publisher', 'admin']
- *     })
- *   ]
+ *   enabled: false
  * })
  */
-/**
- * Escalation configuration when a workflow stage times out
- */
-interface WorkflowEscalation {
-    /** Roles to notify when stage times out */
-    notifyRoles?: string[];
-    /** Roles to escalate to if still pending after another timeout period */
-    escalateToRoles?: string[];
-}
-/**
- * Auto-assignment configuration for workflow stages
- */
-interface WorkflowAutoAssign {
-    /** Roles whose users should be notified when content enters this stage */
-    roles: string[];
-}
-/**
- * Workflow stage configuration
- */
-interface WorkflowStageConfig {
-    /** Human-readable name shown in Studio */
-    displayName: string;
-    /** Optional description for reviewers */
-    description?: string;
-    /** Number of approvals needed to pass this stage (default: 1) */
-    requiredApprovals?: number;
-    /** Roles that can approve this stage */
-    allowedRoles?: string[];
-    /** Auto-assignment configuration */
-    autoAssign?: WorkflowAutoAssign;
-    /** Days before escalation triggers (optional) */
-    timeoutDays?: number;
-    /** Escalation configuration when stage times out */
-    escalation?: WorkflowEscalation;
-}
-/**
- * Complete workflow stage definition
- */
-interface WorkflowStageDefinition {
-    readonly _tag: 'workflowStage';
-    readonly id: string;
-    readonly displayName: string;
-    readonly description?: string;
-    /** Absent means the schema's default of 1 */
-    readonly requiredApprovals?: number;
-    readonly allowedRoles?: string[];
-    readonly autoAssign?: WorkflowAutoAssign;
-    readonly timeoutDays?: number;
-    readonly escalation?: WorkflowEscalation;
-}
-/**
- * Workflow configuration
- */
-interface WorkflowConfig {
-    /** Enable/disable workflow for the branch (default: false) */
-    enabled?: boolean;
-    /** Array of approval stage definitions */
-    stages?: WorkflowStageDefinition[];
-}
-/**
- * Complete workflow definition
- */
-interface WorkflowDefinition {
-    readonly _tag: 'workflow';
-    /** Absent means the schema's default, disabled */
-    readonly enabled?: boolean;
-    readonly stages?: WorkflowStageDefinition[];
-}
-/**
- * Per-content-type workflow configuration
- */
-interface ContentTypeWorkflowConfig {
-    /** Enable workflow for this content type (inherits from global if not set) */
-    enabled?: boolean;
-    /** Which global stages apply to this content type (subset of global stages) */
-    stages?: string[];
-    /** Publish automatically after all stages are approved */
-    autoPublish?: boolean;
-    /** Require all locales to be approved before publishing */
-    requireAllLocales?: boolean;
-}
-/**
- * Define a workflow stage
- *
- * @param id - Unique identifier for the stage (kebab-case or camelCase)
- * @param config - Stage configuration
- *
- * @example
- * const editorialReview = defineWorkflowStage('editorial-review', {
- *   displayName: 'Editorial Review',
- *   description: 'Content quality and style check',
- *   requiredApprovals: 1,
- *   allowedRoles: ['editor', 'senior-editor']
- * })
- *
- * @example
- * // Stage with auto-assignment and timeout
- * const legalApproval = defineWorkflowStage('legal-approval', {
- *   displayName: 'Legal Approval',
- *   allowedRoles: ['legal-reviewer'],
- *   autoAssign: { roles: ['legal-reviewer'] },
- *   timeoutDays: 3,
- *   escalation: {
- *     notifyRoles: ['legal-reviewer'],
- *     escalateToRoles: ['admin']
- *   }
- * })
- */
-declare function defineWorkflowStage(id: string, config: WorkflowStageConfig): WorkflowStageDefinition;
-/**
- * Define a workflow configuration
- *
- * @param config - Workflow configuration with enabled flag and stages
- *
- * @example
- * // Simple workflow
- * const workflow = defineWorkflow({
- *   enabled: true,
- *   stages: [
- *     defineWorkflowStage('review', {
- *       displayName: 'Review',
- *       allowedRoles: ['editor']
- *     })
- *   ]
- * })
- *
- * @example
- * // Disabled workflow (direct publish)
- * const workflow = defineWorkflow({
- *   enabled: false
- * })
- */
-declare function defineWorkflow(config: WorkflowConfig): WorkflowDefinition;
+declare function defineWorkflow(config: WorkflowConfig): WorkflowDefinition;
 /**
  * Define content-type specific workflow configuration
  *
@@ -7110,6 +7346,65 @@ declare function getFirstWorkflowStage(workflow: WorkflowDefinition): WorkflowSt
  */
 declare function isFinalWorkflowStage(workflow: WorkflowDefinition, stageId: string): boolean;
 
+/**
+ * Each field kind, declared once, with every facet the other packages decide by it — P0's field
+ * contract (REL-1783 declared it, REL-1788 made it the only list; `docs/design/structured-fields/README.md`,
+ * "What every package has to agree on").
+ *
+ * **Every consumer reads it.** Deploy's config verdict, the migration analyzer's change facts, entry
+ * validation's document and entry-writes' date-time paths read `change`, `locale`, `value` and
+ * `./rules` (REL-1784); the live document's projection and the Studio's field bindings read `live`
+ * (REL-1785, `@relyio/entry-projection/document-shape`'s `liveHoldingOf`); the SDK and both code
+ * generators key their tables by the union (REL-1786); the entry filter paths and the View
+ * capabilities (`FIELD_CAPABILITIES`) read `filter`, the search mapping and embed set `search`,
+ * settings' synthesized defaults `synthesized`, the read's fill of an empty required field and the
+ * write core's required-from-creation refusal `empty` (REL-1795, through `./empty`), every
+ * reference finder `references`
+ * ({@link holdsReferenceValue}), the content-adaptation tasks `change` and the seeds `value`
+ * (REL-1787). REL-1788 deleted the per-package tables these replaced (`FIELD_TYPE_KINDS`,
+ * `FIELD_TYPE_OPERATORS`, `FIELD_TYPE_CATEGORIES`, the reader's `FIELD_TYPE_ICONS`).
+ *
+ * **The rule for a consumer:** index by the union, never by a `string` with a fallback. A decision
+ * every kind takes part in is a facet here or a table in its own layer typed
+ * `EveryFieldKind<Row>` (or `OverEveryFieldKind<…>` for a type), so a kind this union gains is a compile error in
+ * every consumer that has not said what it does with it; a decision about one kind is
+ * {@link isKind}; where references are is {@link holdsReferenceValue}. A `type` string is read with
+ * {@link parseFieldType} first, and its `null` arm — a type the language does not declare — is
+ * named, never folded into a kind's row.
+ *
+ * **This module has no runtime dependency at all**, so a browser, the live Worker and a
+ * build-inlined customer package can each take it whole: every import below is `import type`,
+ * and `__tests__/dependency-free.test.ts` refuses any other. The facets that need Zod (a kind's
+ * config declaration) or the AJV fragment builders (its value validation) are in `./rules`, keyed by
+ * the same {@link FieldKind}. The facets that belong to a fenced layer — the SDK's type and the
+ * Python type (customer packages), the Studio field hook (headless Studio packages) — are named in
+ * {@link FIELD_KIND_FACETS} and built in their layers, as a {@link EveryFieldKind} table, so a
+ * missing row there is a compile error there.
+ *
+ * Nested kinds compose rather than declare per shape: an object's facets, and a list item's, are its
+ * shape's fields' facets under `<field>.$<shape>` (`./walk`'s item segment). `./walk` is that
+ * composition.
+ *
+ * Every declaration key is a kind (REL-1799, ADR 0012): a group of fields is an `object` with
+ * `of`, so a table over the kinds is {@link EveryFieldKind}.
+ */
+
+/**
+ * Every field kind, in the order the schema language has always listed them. The one definition of
+ * the union in `@relyio/schema`: `FIELD_TYPES` in `types/base/constants.ts` is this tuple.
+ */
+declare const FIELD_KINDS: readonly ['shortText', 'longText', 'richText', 'table', 'code', 'email', 'url', 'slug', 'integer', 'decimal', 'boolean', 'enum', 'date', 'dateTime', 'reference', 'tags', 'list', 'object'];
+/** A field kind: what a field's `type` names. The declaration is keyed by it and by nothing else. */
+type FieldKind = (typeof FIELD_KINDS)[number];
+/**
+ * Holds a type-level table to one member per kind — for a facet that is a type rather than a value,
+ * such as the SDK's value types: `type ValueByKind = OverEveryFieldKind<{ shortText: string; … }>`
+ * fails to compile when a kind has no member.
+ */
+type OverEveryFieldKind<T extends {
+    readonly [K in FieldKind]: unknown;
+}> = T;
+
 /**
  * Singleton content type definition matching @relyio/schema
  *
@@ -7120,28 +7415,19 @@ declare function isFinalWorkflowStage(workflow: WorkflowDefinition, stageId: str
  * the type system, enabling full autocomplete in SDK methods.
  */
 
-/**
- * Type alias for a fieldset with any fields.
- */
-type AnyFieldset$2 = Fieldset<any>;
 /**
  * What a singleton takes: a content type's settings, since the schema declares a singleton with the
- * same `ContentTypeSchema` — except `hierarchical`, which is `false` or absent. A singleton is one
- * entry, with no parent and no children, and deploy refuses `true` for one
- * (`SINGLETON_CANNOT_BE_HIERARCHICAL`). It used to take a content type's `boolean` and write `false`
- * whatever it was given.
+ * same `ContentTypeSchema` — fields and fieldsets side by side (REL-1794) — except `hierarchical`,
+ * which is `false` or absent. A singleton is one entry, with no parent and no children, and deploy
+ * refuses `true` for one (`SINGLETON_CANNOT_BE_HIERARCHICAL`).
  */
-interface SingletonConfigWithFields<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[]> extends Omit<ContentTypeConfigWithFields<TFields>, 'hierarchical'> {
-    hierarchical?: false;
-}
-/** {@link SingletonConfigWithFields}, with its fields organised into fieldsets. */
-interface SingletonConfigWithFieldsets<TFieldsets extends readonly AnyFieldset$2[] = readonly AnyFieldset$2[]> extends Omit<ContentTypeConfigWithFieldsets<TFieldsets>, 'hierarchical'> {
+interface SingletonConfig<TFields extends readonly FieldMember[] = readonly FieldMember[]> extends Omit<ContentTypeConfig<TFields>, 'hierarchical'> {
     hierarchical?: false;
 }
 /**
  * Singleton content type definition - preserves field types for inference
  */
-interface SingletonContentTypeDefinition<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[], TFieldsets extends readonly AnyFieldset$2[] = readonly AnyFieldset$2[]> {
+interface SingletonContentTypeDefinition<TFields extends readonly FieldMember[] = readonly FieldMember[]> {
     readonly _tag: 'singletonContentType';
     readonly name: string;
     readonly displayName: string;
@@ -7155,8 +7441,7 @@ interface SingletonContentTypeDefinition<TFields extends readonly AnyFieldDefini
     readonly accessTags?: string[];
     /** Workflow configuration for this singleton */
     readonly workflow?: ContentTypeWorkflowConfig;
-    readonly fields?: TFields;
-    readonly fieldsets?: TFieldsets;
+    readonly fields: TFields;
 }
 /**
  * Define a singleton content type
@@ -7176,8 +7461,7 @@ interface SingletonContentTypeDefinition<TFields extends readonly AnyFieldDefini
  *   ]
  * })
  */
-declare function defineSingletonContentType<TFields extends readonly AnyFieldDefinition[], _TFieldsets extends readonly Fieldset<AnyFieldDefinition[]>[]>(name: string, config: SingletonConfigWithFields<TFields>): SingletonContentTypeDefinition<TFields, readonly []>;
-declare function defineSingletonContentType<_TFields extends readonly AnyFieldDefinition[], TFieldsets extends readonly Fieldset<AnyFieldDefinition[]>[]>(name: string, config: SingletonConfigWithFieldsets<TFieldsets>): SingletonContentTypeDefinition<readonly [], TFieldsets>;
+declare function defineSingletonContentType<TFields extends readonly FieldMember[]>(name: string, config: SingletonConfig<TFields>): SingletonContentTypeDefinition<TFields>;
 declare const defineSingleton: typeof defineSingletonContentType;
 /**
  * What a read reports about a singleton beside its fields: the committed document's
@@ -7191,15 +7475,15 @@ type SingletonMetadata = components['schemas']['SingletonMetadata'];
 /**
  * Type alias for any singleton content type definition.
  */
-type AnySingletonContentTypeDefinition = SingletonContentTypeDefinition<any, any>;
+type AnySingletonContentTypeDefinition = SingletonContentTypeDefinition<any>;
 /**
  * Infer the TypeScript type from a singleton definition: every field typed as a read returns it
  * (`schema/infer-fields.ts`), plus `_metadata`. `S` is the schema, as for `InferContentType`.
  */
-type InferSingletonContentType<T extends AnySingletonContentTypeDefinition, S extends FieldSchemaContext | undefined = undefined> = FieldValues<DeclaredFields<T>, S> & {
+type InferSingletonContentType<T extends AnySingletonContentTypeDefinition, S extends FieldSchemaContext | undefined = undefined, I extends string = never> = FieldValues<DeclaredFields<T>, S, 'required', I> & {
     _metadata: SingletonMetadata;
 };
-type InferSingleton<T extends AnySingletonContentTypeDefinition, S extends FieldSchemaContext | undefined = undefined> = InferSingletonContentType<T, S>;
+type InferSingleton<T extends AnySingletonContentTypeDefinition, S extends FieldSchemaContext | undefined = undefined, I extends string = never> = InferSingletonContentType<T, S, I>;
 
 /**
  * Asset type definition matching @relyio/schema AssetTypeSchema
@@ -7359,35 +7643,16 @@ interface AssetTypeBaseConfig {
     file?: FileKindConfig;
 }
 /**
- * Type alias for a fieldset with any fields.
- */
-type AnyFieldset$1 = Fieldset<any>;
-/** Asset type configuration using direct fields. */
-interface AssetTypeConfigWithFields<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[]> extends AssetTypeBaseConfig {
-    /** Direct field definitions - preserves literal types */
-    fields: TFields;
-    /** Cannot have fieldsets when using fields */
-    fieldsets?: never;
-}
-/** Asset type configuration using fieldsets. */
-interface AssetTypeConfigWithFieldsets<TFieldsets extends readonly AnyFieldset$1[] = readonly AnyFieldset$1[]> extends AssetTypeBaseConfig {
-    /** Field organization via fieldsets - preserves literal types */
-    fieldsets: TFieldsets;
-    /** Cannot have direct fields when using fieldsets */
-    fields?: never;
-}
-/**
- * Asset type configuration with no metadata fields: the asset is its file. `AssetTypeSchema` makes
- * `fields` and `fieldsets` both optional, so this is an asset type deploy accepts (REL-1454).
+ * Asset type configuration. Metadata fields are optional — an asset type with none is its file
+ * (REL-1454) — and when declared, its `fields` hold fields and fieldsets side by side, as a content
+ * type's do (REL-1794).
  */
-interface AssetTypeConfigWithoutFields extends AssetTypeBaseConfig {
-    fields?: never;
-    fieldsets?: never;
+interface AssetTypeConfig<TFields extends readonly FieldMember[] = readonly FieldMember[]> extends AssetTypeBaseConfig {
+    /** Fields and fieldsets, side by side - preserves literal types */
+    fields?: TFields;
 }
-/** Asset type configuration: direct fields, fieldsets, or neither. */
-type AssetTypeConfig<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[], TFieldsets extends readonly AnyFieldset$1[] = readonly AnyFieldset$1[]> = AssetTypeConfigWithFields<TFields> | AssetTypeConfigWithFieldsets<TFieldsets> | AssetTypeConfigWithoutFields;
 /** Asset type definition - preserves field types for inference. */
-interface AssetTypeDefinition<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[], TFieldsets extends readonly AnyFieldset$1[] = readonly AnyFieldset$1[]> {
+interface AssetTypeDefinition<TFields extends readonly FieldMember[] = readonly FieldMember[]> {
     readonly _tag: 'assetType';
     readonly name: string;
     readonly displayName: string;
@@ -7401,15 +7666,13 @@ interface AssetTypeDefinition<TFields extends readonly AnyFieldDefinition[] = re
     readonly video?: VideoKindConfig;
     readonly file?: FileKindConfig;
     readonly fields?: TFields;
-    readonly fieldsets?: TFieldsets;
 }
 /**
  * Define an asset type.
  *
  * Exactly one kind key (`image`, `video`, or `file`) must be supplied. Metadata
- * fields are optional: declare `fields`, `fieldsets`, or neither. The generic
- * type parameters preserve literal field IDs for inference, mirroring
- * `defineContentType`.
+ * fields are optional. The generic type parameter preserves literal field IDs for
+ * inference, mirroring `defineContentType`.
  *
  * @example
  * const productPhoto = defineAssetType('productPhoto', {
@@ -7423,23 +7686,21 @@ interface AssetTypeDefinition<TFields extends readonly AnyFieldDefinition[] = re
  *   ],
  * })
  */
-declare function defineAssetType(name: string, config: AssetTypeConfigWithoutFields): AssetTypeDefinition<readonly [], readonly []>;
-declare function defineAssetType<TFields extends readonly AnyFieldDefinition[], _TFieldsets extends readonly Fieldset<AnyFieldDefinition[]>[]>(name: string, config: AssetTypeConfigWithFields<TFields>): AssetTypeDefinition<TFields, readonly []>;
-declare function defineAssetType<_TFields extends readonly AnyFieldDefinition[], TFieldsets extends readonly Fieldset<AnyFieldDefinition[]>[]>(name: string, config: AssetTypeConfigWithFieldsets<TFieldsets>): AssetTypeDefinition<readonly [], TFieldsets>;
+declare function defineAssetType<TFields extends readonly FieldMember[] = readonly []>(name: string, config: AssetTypeConfig<TFields>): AssetTypeDefinition<TFields>;
 /**
  * Type alias for any asset type definition.
  */
-type AnyAssetTypeDefinition = AssetTypeDefinition<any, any>;
+type AnyAssetTypeDefinition = AssetTypeDefinition<any>;
 /**
  * Infer the TypeScript type from an asset type definition.
  *
- * Mirrors {@link InferContentType}: produces the (optional) metadata field shape
+ * Mirrors {@link InferContentType}: produces the metadata field shape (a required field present)
  * plus `_metadata`, so it is assignable to `BaseContent` and can parametrize
  * `AssetClient<T>`. The runtime `file`/`urls` blocks are layered on by the
  * client's `AssetEntryResponse<T>` return type, not here, to keep the schema
  * layer free of any dependency on the client layer.
  */
-type InferAssetType<T extends AnyAssetTypeDefinition, S extends FieldSchemaContext | undefined = undefined> = FieldValues<DeclaredFields<T>, S> & {
+type InferAssetType<T extends AnyAssetTypeDefinition, S extends FieldSchemaContext | undefined = undefined, I extends string = never> = FieldValues<DeclaredFields<T>, S, 'required', I> & {
     _metadata: EntryMetadata;
 };
 
@@ -7447,33 +7708,47 @@ type InferAssetType<T extends AnyAssetTypeDefinition, S extends FieldSchemaConte
  * What a read returns for each field, derived from the field's declaration (`INV-SS-TYPES-INFERRED`).
  *
  * Every `Infer*` in this package — content types, singletons, asset types, settings groups — types
- * its fields here and nowhere else, so an entry, a referenced entry, a component and a list item are
- * typed by one table. The types describe **what a read returns**, which is not always what a write
+ * its fields here and nowhere else, so an entry, a referenced entry, an object's value and a list item
+ * are typed by one table. The types describe **what a read returns**, which is not always what a write
  * accepts:
  *
- * - `richText` is the stored HTML string; `date` is `YYYY-MM-DD` and `dateTime` an ISO 8601 string —
- *   the client does not revive dates.
- * - A `reference` is the target's id until `include` names it, and then the target entry itself.
- *   The type cannot see `include`, so it is both: `string | <entry>`. A single reference whose target
- *   was deleted with `onTargetDelete: 'nullify'` is `null`.
+ * - `richText` is the version-1 rich-text tree (`RichTextValue`, ADR 0013, REL-1803); a `table` is a
+ *   `RichTextTable` and a `code` field a `RichTextCodeGroup` — exactly the value of the same block
+ *   inside a tree (REL-1806); `date` is
+ *   `YYYY-MM-DD` and `dateTime` an ISO 8601 string
+ *   in UTC at millisecond precision (`2026-10-01T04:30:00.000Z`), whatever offset it was written in
+ *   — the client does not revive dates.
+ * - A `reference` is the target's id, and the target entry itself where the read's include paths
+ *   expand it (REL-1801, `./include-paths.ts`): a path naming it, crossing it, or stopping at a list
+ *   or object that holds it. A path that picks fields (`features(name,slug)`) narrows the entry to
+ *   those and its `_metadata`. An include set the type cannot see — a `string[]` — types every
+ *   reference as either, `string | <entry>`. An optional single reference whose target was deleted
+ *   with its references nullified is `null`; a **required** one is never `null`, because its target
+ *   cannot be deleted while it holds it (REL-1795).
  * - A localized field is the value for the one locale the read composed, like any other field; the
  *   other locales of a `locales=` read sit under `_metadata.localizations`, not here.
- * - Every field is optional. The wire omits a field with no value — a draft, a `fields` projection, a
- *   locale with nothing to fall back to, an entry older than a field — so `required` does not make
- *   one present.
+ * - **A required field is always present** (design decision 9, REL-1795); every other field is
+ *   optional. A required text, rich text, list or boolean a draft leaves empty is read as its kind's
+ *   empty value — `''`, the empty tree, `[]`, `false` — and named in
+ *   `_metadata.emptyRequiredFields`; a required number, date, choice, single reference, object,
+ *   table or code group has no empty value, so an entry holds it from
+ *   the moment it is created. An optional field the entry has no value for is omitted.
+ * - An `object` is one value of its shape — `_type`, `_key` and the shape's fields — and of several,
+ *   their union told apart by `_type` (REL-1799). A **required** object is given a shape and that
+ *   shape's required values when the entry is created (REL-2034), so even a draft read holds its
+ *   `_type` and `_key`.
  */
 
 /**
- * The parts of a schema a field's value type reads: the types a reference may expand to and the
- * components a component field names. Structural, so every `defineSchema()` result fits.
+ * The parts of a schema a field's value type reads: the types a reference may expand to.
+ * Structural, so every `defineSchema()` result fits. A list's or an object's shapes are not here:
+ * a field carries its fieldsets itself.
  *
  * Without one in view — `InferContentType<typeof post>` with no second argument — a reference
- * expands to an {@link UnresolvedEntry} and a component to an {@link UnresolvedComponent}: the field
- * is still typed, but what it names is not.
+ * expands to an {@link UnresolvedEntry}: the field is still typed, but what it names is not.
  */
 interface FieldSchemaContext {
     readonly contentTypes: object;
-    readonly components: object;
     readonly singletonContentTypes: object;
     readonly assetTypes?: object;
 }
@@ -7484,21 +7759,20 @@ interface UnresolvedEntry {
     _metadata: EntryMetadata;
     [field: string]: unknown;
 }
-/** A component whose definition is not in view: an object, with fields nothing declared. */
-type UnresolvedComponent = Record<string, unknown>;
 /**
- * One row per field type the schema declares. `OverEveryFieldType` makes the table exhaustive by
- * construction: a field type added to `FieldType` without a row here fails to compile, rather than
- * reading as `unknown`.
+ * One row per field kind the schema declares. `OverEveryFieldKind`, from the field-kind declaration,
+ * makes the table exhaustive by construction: a kind the declaration gains without a row here fails
+ * to compile, rather than reading as `unknown`.
  */
-type OverEveryFieldType<T extends {
-    [K in FieldType]: unknown;
-}> = T;
-type FieldValueByType<C, S extends Context> = OverEveryFieldType<{
+type FieldValueByType<C, S extends Context, K extends string, I extends string, A extends boolean> = OverEveryFieldKind<{
     shortText: string;
     longText: string;
-    /** The stored HTML. */
-    richText: string;
+    /** The version-1 tree (REL-1803): `{ _type: 'richText', version: 1, children }`. */
+    richText: RichTextValue;
+    /** Exactly a rich-text table block's value (REL-1806). */
+    table: RichTextTable;
+    /** Exactly a rich-text code group's value: code with tabs (REL-1806). */
+    code: RichTextCodeGroup;
     email: string;
     url: string;
     slug: string;
@@ -7508,301 +7782,979 @@ type FieldValueByType<C, S extends Context> = OverEveryFieldType<{
     enum: EnumValue<C>;
     /** `YYYY-MM-DD`. */
     date: string;
-    /** ISO 8601. */
+    /** ISO 8601 in UTC at millisecond precision: `2026-10-01T04:30:00.000Z`. */
     dateTime: string;
-    reference: ReferenceValue<C, S>;
+    reference: ReferenceValue<C, S, K, I, A>;
     tags: string[];
-    list: ListValue<C, S>;
+    list: ListValue<C, S, IncludesUnder<I, K>, CoversBelow<I, K, A>>;
+    object: ObjectValue<C, S, IncludesUnder<I, K>, CoversBelow<I, K, A>>;
 }>;
 /**
- * The value a read returns for field `F`.
+ * The value a read returns for field `F`, under the include paths `I` of the record it sits in —
+ * relative to that record, so `features` inside `sections` — and `A`, whether a path stopping at a
+ * list or object above it expands every reference below (`./include-paths.ts`).
  *
  * The last arm is the one `unknown` in this module, and it is deliberate: a field whose `type` is not
  * a declared literal — a definition built from a plain `string` rather than through `fields.*` — has
  * no row to read.
  */
-type FieldValue<F extends AnyFieldDefinition, S extends Context = undefined> = F['type'] extends `component(${infer Id})` ? ComponentValue<Id, S> : F['type'] extends FieldType ? FieldValueByType<NonNullable<F['config']>, S>[F['type']] : unknown;
-/** The fields `F` (a union of field definitions) as an object, each optional — see the module note. */
-type FieldValues<F extends AnyFieldDefinition, S extends Context = undefined> = {
-    [K in F['id']]?: FieldValue<Extract<F, {
+type FieldValue<F extends AnyFieldDefinition, S extends Context = undefined, I extends string = never, A extends boolean = false> = F['type'] extends FieldType ? FieldValueByType<NonNullable<F['config']>, S, F['id'], I, A>[F['type']] : unknown;
+/**
+ * `true` when a config declares `required: true` — a builder keeps the literal it was written as —
+ * and `false` for `false`, `boolean`, or no `required` at all.
+ */
+type RequiredIn<C> = C extends {
+    readonly required?: infer R;
+} ? [Exclude<R, undefined>] extends [never] ? false : [Exclude<R, undefined>] extends [true] ? true : false : false;
+/** Whether `F` declares `config.required: true`. */
+type IsRequired<F extends AnyFieldDefinition> = RequiredIn<NonNullable<F['config']>>;
+/** The ids of the required fields among `F` — each always present in a read (the module note). */
+type RequiredIds<F extends AnyFieldDefinition> = F extends AnyFieldDefinition ? IsRequired<F> extends true ? F['id'] : never : never;
+/** One object type from an intersection, so a read's type prints as one object. */
+type Flatten<T> = {
+    [K in keyof T]: T[K];
+} & {};
+/**
+ * Whether a read holds a record's required fields present: `required` for an entry, a singleton, an
+ * asset and every value nested in one; `none` for a settings group, whose read starts from the
+ * declared and synthesized defaults and leaves a required field with neither absent (the Content
+ * API does not fill a settings group's empty required fields — REL-1795 left settings as they were).
+ */
+type Presence = 'required' | 'none';
+/**
+ * The fields `F` (a union of field definitions) as an object: a required field present, every other
+ * one optional — see the module note. With `P` `none`, every field optional.
+ */
+type FieldValues<F extends AnyFieldDefinition, S extends Context = undefined, P extends Presence = 'required', I extends string = never, A extends boolean = false> = Flatten<{
+    [K in PresentIds<F, P>]: FieldValue<Extract<F, {
         readonly id: K;
-    }>, S>;
-};
+    }>, S, I, A>;
+} & {
+    [K in Exclude<F['id'], PresentIds<F, P>>]?: FieldValue<Extract<F, {
+        readonly id: K;
+    }>, S, I, A>;
+}>;
+type PresentIds<F extends AnyFieldDefinition, P extends Presence> = P extends 'required' ? RequiredIds<F> : never;
+/**
+ * Every field a definition declares, beside its sections or inside one at any depth, as one union —
+ * the one walk over `fields` every `Infer*` shares. A section's fields join the record it sits in
+ * (REL-1794), so a section leaves no key of its own: its fields read flat.
+ */
+type DeclaredFields<T extends {
+    readonly fields?: unknown;
+}> = Extract<NonNullable<T['fields']> extends readonly (infer Member)[] ? FieldsOfMember<Member> : never, AnyFieldDefinition>;
+/** A member's fields: a field is itself; a section is the fields of its own members. */
+type FieldsOfMember<Member> = Member extends AnyFieldDefinition ? Member : Member extends {
+    readonly fields: readonly (infer Inner)[];
+} ? FieldsOfMember<Inner> : never;
+/** `multi` as declared: `true`, `false`, or `boolean` when the declaration does not say. */
+type Multiplicity<C> = C extends {
+    readonly multi?: infer M;
+} ? M : false;
+/** One `V`, a list of them, or — when `multi` is not a literal — either. */
+type OneOrMany<C, V> = [Multiplicity<C>] extends [true] ? V[] : [Multiplicity<C>] extends [false | undefined] ? V : V | V[];
+type EnumValue<C> = OneOrMany<C, C extends {
+    readonly options: ReadonlyArray<{
+        readonly value: infer V;
+    }>;
+} ? V : string>;
+type ReferenceTarget<C> = C extends {
+    readonly to: infer T;
+} ? T extends readonly (infer E)[] ? E : T : string;
+/** `R[K]` where `R` declares `K`. A `Record<string, never>` default declares nothing. */
+type Declared<R, K> = K extends keyof R ? R[K] : never;
+type ContentEntryOf<D, S extends Context, I extends string> = D extends ContentTypeDefinition ? InferContentType<D, S, I> : never;
+type SingletonEntryOf<D, S extends Context, I extends string> = D extends SingletonContentTypeDefinition ? InferSingletonContentType<D, S, I> : never;
+type AssetEntryOf<D, S extends Context, I extends string> = D extends AssetTypeDefinition ? InferAssetType<D, S, I> : never;
+type OrUnresolved<T> = [T] extends [never] ? UnresolvedEntry : T;
+/**
+ * What `include` expands a reference to `Target` into: that type's entry, typed by the schema, under
+ * `I`, the include paths that continue past the reference (`customers.logo` → `logo` inside the
+ * customer).
+ */
+type ExpandedEntry<Target, S extends Context, I extends string = never> = S extends FieldSchemaContext ? OrUnresolved<ContentEntryOf<Declared<S['contentTypes'], Target>, S, I> | SingletonEntryOf<Declared<S['singletonContentTypes'], Target>, S, I> | AssetEntryOf<Declared<NonNullable<S['assetTypes']>, Target>, S, I>> : UnresolvedEntry;
+/**
+ * What a single reference reads as once its target is gone: `null` for an optional one, whose
+ * referrers a delete may nullify, and nothing for a required one, whose target cannot be deleted
+ * while it holds it (REL-1795).
+ */
+type Nullified<C> = RequiredIn<C> extends true ? never : null;
+/**
+ * A reference field `K` under the include paths `I` of its record (REL-1801): the target's id, or —
+ * where a path expands it — the target's entry, narrowed to the fields a path picked. Under an include
+ * set the type cannot see (`string`), either.
+ */
+type ReferenceValue<C, S extends Context, K extends string, I extends string, A extends boolean> = string extends I ? ReferenceAs<C, string | ExpandedEntry<ReferenceTarget<C>, S, string>> : ReferenceAs<C, ExpandsHere<I, K, A> extends true ? Selected<ExpandedEntry<ReferenceTarget<C>, S, IncludesUnder<I, K>>, SelectionAt<I, K>> : string>;
+/** One reference value `V`, as the field holds it: alone, nullable unless required, or a list. */
+type ReferenceAs<C, V> = [Multiplicity<C>] extends [true] ? V[] : [Multiplicity<C>] extends [false | undefined] ? V | Nullified<C> : V | Nullified<C> | V[];
+/**
+ * A list of a shape (`of`, REL-1796) is a list of items, each its shape's values — a section's
+ * fields read flat — plus `_type`, the shape's id as a literal, and `_key`, its item key. A list of
+ * several shapes, a page builder (REL-1798), is a list of their union, told apart by `_type`. A list
+ * without one is a list of strings, which is what the validation document enforces for it.
+ */
+type ListValue<C, S extends Context, I extends string, A extends boolean> = C extends {
+    readonly of?: infer Shape;
+} ? [ShapesIn<Exclude<Shape, undefined>>] extends [never] ? string[] : Array<ShapeItem<ShapesIn<Exclude<Shape, undefined>>, S, I, A>> : string[];
+/** The shapes an `of` names: the one fieldset, or each of a list of them. Distributes. */
+type ShapesIn<Of> = Of extends readonly (infer Shape)[] ? Shape : Of;
+/**
+ * An object (`of`, REL-1799) is one value of its shape: the shape's values — a section's fields read
+ * flat — plus `_type` and `_key`, as a list item is. Of several shapes, their union, told apart by
+ * `_type`, so `media._type === 'video'` narrows it. `of` is required, so an object always has one.
+ */
+type ObjectValue<C, S extends Context, I extends string, A extends boolean> = C extends {
+    readonly of: infer Shape;
+} ? ShapeItem<ShapesIn<Shape>, S, I, A> : never;
+/**
+ * What every structured item carries (design decision 6): `_type`, the fieldset it takes, and
+ * `_key`, its identity in its list for life. A list of shapes reads as an array of these.
+ */
+interface Keyed {
+    readonly _type: string;
+    readonly _key: string;
+}
+/**
+ * One block of a page builder (REL-1798): the item of `List` — a list field's value as a read types
+ * it, optional or not — whose `_type` is `Type`. What a site's component for that block receives:
+ * `BlockOf<Page['sections'], 'hero'>`. An object's value (REL-1799) is one such item rather than a
+ * list of them, so `BlockOf<Hero['media'], 'video'>` is the arm of the value whose `_type` is `video`.
+ */
+type BlockOf<List, Type extends string> = Extract<NonNullable<List> extends ReadonlyArray<infer Item> ? Item : NonNullable<List>, {
+    readonly _type: Type;
+}>;
+/**
+ * One item of a shape: `_type` and `_key` beside its values, under the include paths `I` that reach
+ * into the list or object (a path names fields, never shapes, so every shape reads the same `I`).
+ * Distributes over a union of shapes.
+ */
+type ShapeItem<Shape, S extends Context, I extends string = never, A extends boolean = false> = Shape extends {
+    readonly id: infer Id;
+    readonly fields: readonly unknown[];
+} ? Flatten<{
+    readonly _type: Id;
+    readonly _key: string;
+} & FieldValues<DeclaredFields<Shape>, S, 'required', I, A>> : never;
+/**
+ * The value a fieldset holds wherever it is a shape — an object's value, or one item of a list —
+ * typed by schema `S`: `_type`, `_key` and its fields. `relyio generate-types` writes one alias per
+ * fieldset id with it (`export type HeroFieldset = ShapeValue<typeof heroFieldset, SchemaTypes>`),
+ * so a site names a shape's value without reaching through the field that holds it.
+ */
+type ShapeValue<Shape extends AnyFieldset, S extends Context = undefined> = ShapeItem<Shape, S>;
+
+/**
+ * Content type definition matching @relyio/schema ContentTypeSchema
+ *
+ * Uses advanced TypeScript generics to preserve each field's declaration through the type system,
+ * so `InferContentType` types every field by what a read returns and `where()` autocompletes.
+ */
+
+/**
+ * A fieldset: a named group of fields and fieldsets. Where it is placed decides what it is (ADR
+ * 0012). Among a type's (or another fieldset's) `fields` it is a **section** of the form, and its
+ * fields join the record it sits in: a read returns them beside the type's other fields, so
+ * grouping the form never changes a read (REL-1794).
+ *
+ * A fieldset id names one shape across the whole schema. Reuse one by passing the same value
+ * wherever it is wanted; deploy refuses two different fieldsets under one id.
+ */
+interface Fieldset<TMembers extends readonly FieldMember[] = readonly FieldMember[], TId extends string = string> {
+    /** The fieldset's id — one shape across the schema, and what each item of a list of it names in `_type` */
+    readonly id: TId;
+    /** Display name shown in the UI */
+    readonly displayName: string;
+    /** Optional description */
+    readonly description?: string;
+    /** Whether an editing surface shows this section collapsed to begin with */
+    readonly collapsedByDefault?: boolean;
+    /** AI configuration for content generation and review */
+    readonly ai?: AIConfig;
+    /** Fields and fieldsets, in the order the form shows them - preserves literal types */
+    readonly fields: TMembers;
+}
+/**
+ * Type alias for a fieldset with any members.
+ * Used in generic constraints where we need to accept any fieldset type.
+ */
+type AnyFieldset = Fieldset<any>;
+/** One entry of a `fields` list: a field, or a fieldset placed there as a section. */
+type FieldMember = AnyFieldDefinition | AnyFieldset;
+/**
+ * Create a fieldset. Place it among a type's fields to make a section of the form, or pass it as a
+ * list's `of` to make it the shape each item takes (REL-1796). Generic to preserve its id and the
+ * specific field types for type inference: a list item's `_type` is this id.
+ *
+ * @example
+ * export const seo = fieldset('seo', {
+ *   displayName: 'SEO Settings',
+ *   fields: [
+ *     fields.shortText('metaTitle', { config: { maxLength: 60 } }),
+ *     fields.longText('metaDescription', { config: { maxLength: 160 } }),
+ *   ]
+ * })
+ */
+declare function fieldset<TId extends string, TMembers extends readonly FieldMember[]>(id: TId, config: {
+    displayName: string;
+    description?: string;
+    /** Show the section collapsed until an editor opens it */
+    collapsedByDefault?: boolean;
+    ai?: AIConfig;
+    fields: TMembers;
+}): Fieldset<TMembers, TId>;
+/**
+ * Content type configuration. Its `fields` hold fields and fieldsets side by side, in the order the
+ * form shows them (REL-1794). Generic to preserve literal field IDs for type inference.
+ */
+interface ContentTypeConfig<TFields extends readonly FieldMember[] = readonly FieldMember[]> {
+    /** Display name shown in the UI */
+    displayName: string;
+    /** Plural display name shown in the UI (e.g., "Products" for "Product") */
+    displayNamePlural?: string;
+    /** Description of the content type */
+    description?: string;
+    /** AI configuration: generation/review guidance */
+    ai?: AIConfig;
+    /**
+     * Field ID to use as entry display title in lists, references, and editor header.
+     * If not set, falls back to: title → name → slug → first shortText field → entryUid
+     */
+    displayField?: string;
+    /** Whether this content type supports hierarchical (parent-child) relationships */
+    hierarchical?: boolean;
+    /** Access tags for role-based access control */
+    accessTags?: string[];
+    /** Workflow configuration for this content type */
+    workflow?: ContentTypeWorkflowConfig;
+    /** Fields and fieldsets, side by side - preserves literal types */
+    fields: TFields;
+}
+/**
+ * Content type definition - preserves field types for inference
+ */
+interface ContentTypeDefinition<TFields extends readonly FieldMember[] = readonly FieldMember[]> {
+    readonly _tag: 'contentType';
+    readonly name: string;
+    readonly displayName: string;
+    readonly displayNamePlural?: string;
+    readonly description?: string;
+    /** AI configuration: generation/review guidance */
+    readonly ai?: AIConfig;
+    /** Field ID to use as entry display title */
+    readonly displayField?: string;
+    readonly hierarchical?: boolean;
+    readonly accessTags?: string[];
+    readonly workflow?: ContentTypeWorkflowConfig;
+    readonly fields: TFields;
+}
+/**
+ * Define a content type with type-safe fields
+ *
+ * The generic type parameters preserve the literal field IDs through the type
+ * system, enabling autocomplete in SDK methods like where(), select(), etc.
+ *
+ * @example
+ * // Fields, and a fieldset placed among them as a section of the form
+ * const product = defineContentType('product', {
+ *   displayName: 'Product',
+ *   fields: [
+ *     fields.shortText('title', { config: { required: true } }),
+ *     fieldset('pricing', {
+ *       displayName: 'Pricing',
+ *       fields: [
+ *         fields.decimal('price', { config: { min: 0, decimalPlaces: 2 } }),
+ *       ]
+ *     }),
+ *     fields.richText('description'),
+ *   ]
+ * })
+ * // A read returns { title, price, description }: a section's fields are the entry's own
+ */
+declare function defineContentType<TFields extends readonly FieldMember[]>(name: string, config: ContentTypeConfig<TFields>): ContentTypeDefinition<TFields>;
+/**
+ * Type alias for any content type definition.
+ */
+type AnyContentTypeDefinition = ContentTypeDefinition<any>;
+/**
+ * What a read reports about an entry beside its fields: the committed document's `EntryMetadata`
+ * (`apps/services/api/openapi-spec.json`), read through `http/api-schema.ts`, its one derivation in
+ * this package — not declared a second time here.
+ *
+ * It used to be written out by hand, and the copy had drifted from the wire: it declared a
+ * `parentId` no read sends, typed `createdAt` and `updatedAt` as `Date` where the wire sends ISO 8601
+ * strings, and left out what a reader most needs — `availableLocales`, `defaultLocale`, `slug`,
+ * `refs` — so the preview toolbar took them through a structural type of its own. A field the
+ * service adds or changes now reaches this type when `api-schema.ts` is regenerated, and
+ * `__tests__/read-metadata.types.ts` fails `type:check` if a read stops declaring it.
+ *
+ * Every entry-shaped value carries it — a single read, each item of a list or of `children()`, and
+ * an entry an `include` expanded — because the service builds each of them with one transform.
+ * `versionCount` and `versions` are sent on a single read only, so they are optional.
+ */
+type EntryMetadata = components['schemas']['EntryMetadata'];
+/**
+ * The per-locale publication facts every one-document read reports, an entry's, a singleton's and a
+ * settings group's alike (`INV-LM-PUBLICATION-IS-REPORTED-PER-LOCALE`): a `Pick` of the document's
+ * {@link EntryMetadata}, so this package holds no copy of them. `localeStatus` is absent when the
+ * locale has no content of its own.
+ *
+ * Unpublished work comes in two kinds, reported apart: `draftLocales` names the locales with edits
+ * of their own, and `hasDraft` is a change to the shared (non-localized) fields. Publishing any
+ * locale makes a shared change live, so it is pending in every locale and no locale code is listed
+ * for it. A locale has unpublished work when `draftLocales` names it or `hasDraft` is `true`.
+ */
+type LocalePublicationFields = Pick<EntryMetadata, 'localeStatus' | 'localeHasDraft' | 'draftLocales' | 'hasDraft'>;
+/**
+ * Infer the TypeScript type of an entry from a content type definition: every field it declares,
+ * beside its sections or inside one — a section's fields read flat — typed as a read returns it (`INV-SS-TYPES-INFERRED`), plus
+ * `_metadata`. A required field is always present and every other one optional —
+ * `schema/infer-fields.ts` says why, and what each field type reads as.
+ *
+ * `S` is the schema the type belongs to. With it, a reference expanded by `include` is typed as the
+ * entry it points at; without it, as an entry whose fields are not known. A client typed by a schema
+ * passes it.
+ *
+ * @example
+ * const product = defineContentType('product', {
+ *   displayName: 'Product',
+ *   fields: [
+ *     fields.shortText('title', { config: { required: true } }),
+ *     fields.decimal('price'),
+ *     fields.enum('status', {
+ *       config: {
+ *         options: [
+ *           { value: 'draft', label: 'Draft' },
+ *           { value: 'live', label: 'Live' },
+ *         ],
+ *       },
+ *     }),
+ *   ]
+ * })
+ *
+ * type Product = InferContentType<typeof product>
+ * // { title: string; price?: number; status?: 'draft' | 'live'; _metadata: EntryMetadata }
+ */
+type InferContentType<T extends AnyContentTypeDefinition, S extends FieldSchemaContext | undefined = undefined, I extends string = never> = FieldValues<DeclaredFields<T>, S, 'required', I> & {
+    _metadata: EntryMetadata;
+};
+
+/**
+ * Field type definitions matching @relyio/schema package
+ *
+ * Every config option here is spelled as `@relyio/schema`'s field config schema spells it, because
+ * the CLI sends a field's `config` to deploy verbatim, and deploy — and `relyio validate` before it —
+ * refuses an option the field's type does not declare, naming its path (REL-1480). This package has
+ * no runtime dependency on `@relyio/schema`, so the
+ * options are pinned from `@relyio/codegen-typescript`, which depends on both: its
+ * `src/__tests__/sdk-field-config.types.ts` fails to compile when a key, whether it is required, or
+ * the values it accepts differs between the two (REL-1408).
+ *
+ * The field kinds themselves are not restated: {@link FieldType} is the declaration's union, taken
+ * as a type (REL-1786). The import is erased from the JavaScript, and `dts.resolve` in
+ * `tsup.config.ts` rolls the union into the published `.d.ts`, as it does `@relyio/api-contract`'s
+ * types, so a customer installs nothing more for it. `@relyio/schema` is a devDependency for that
+ * reason: a build-time input, like the contract.
+ */
+
+/**
+ * AI configuration. A single prompt — `instructions` — describes what the
+ * element is and how AI should produce its value. Attaches to fields, content
+ * types, fieldsets, and (extended) asset types.
+ *
+ * @example
+ * ```typescript
+ * fields.richText('body', {
+ *   ai: {
+ *     instructions: `
+ *       Write in a conversational tone.
+ *       Use short paragraphs (2-3 sentences).
+ *       Target grade 8 reading level.
+ *     `
+ *   }
+ * })
+ * ```
+ */
+interface AIConfig {
+    /**
+     * AI brief for this element: what it should contain and how to produce it.
+     *
+     * Used by the Studio authoring agent and — on asset types with
+     * `ai.autoGenerate` — by the automatic post-upload run.
+     *
+     * The fallback chain for AI guidance is:
+     * 1. ai.instructions (most specific)
+     * 2. ui.description (general field description)
+     * 3. Field displayName + type (inferred from semantics)
+     */
+    instructions?: string;
+}
+/**
+ * Field-level AI config. `inputs` names the fields this instruction reads.
+ * Unknown ids and cycles are refused when the schema is parsed.
+ */
+interface FieldAIConfig extends AIConfig {
+    /** Field ids this instruction reads. Never inferred from instruction text. */
+    inputs?: string[];
+}
+/**
+ * Asset-type AI configuration. Extends {@link AIConfig} with `autoGenerate`,
+ * the single switch that turns on automatic field generation after upload.
+ */
+interface AssetAIConfig extends AIConfig {
+    /**
+     * Master switch for automatic, post-upload field generation. When `true`, the
+     * derived analysis agent fills every field that declares `ai.instructions`,
+     * applied as a review proposal. Only meaningful for image asset types in v1.
+     */
+    autoGenerate?: boolean;
+}
+interface BaseFieldConfig {
+    /** Whether the field is required */
+    required?: boolean;
+    /** Whether the field value must be unique */
+    unique?: boolean;
+    /** Default value for the field. Each field type narrows it to the values its schema accepts. */
+    defaultValue?: unknown;
+}
+interface FieldUIConfig {
+    /** Display name shown in the UI */
+    displayName: string;
+    /** Field description/help text */
+    description?: string;
+    /** Widget-specific options */
+    options?: Record<string, unknown>;
+}
+interface RuleCondition {
+    field: string;
+    operator: 'equals' | 'not_equals' | 'contains' | 'not_contains' | 'greater_than' | 'less_than' | 'is_empty' | 'is_not_empty';
+    value?: unknown;
+}
+interface RuleConditions {
+    mode: 'all' | 'any' | 'none';
+    conditions: RuleCondition[];
+}
+interface VisibilityRule {
+    type: 'visibility';
+    action: 'show' | 'hide';
+    conditions: RuleConditions;
+}
+interface RequirementRule {
+    type: 'requirement';
+    action: 'require' | 'optional';
+    conditions: RuleConditions;
+}
+interface ValidationRule {
+    type: 'validation';
+    action: 'validate' | 'skip';
+    message?: string;
+    conditions: RuleConditions;
+}
+interface ReadOnlyRule {
+    type: 'readOnly';
+    action: 'enable' | 'disable';
+    conditions: RuleConditions;
+}
+type FieldRule = VisibilityRule | RequirementRule | ValidationRule | ReadOnlyRule;
+type LocalizationConfig = boolean | string[] | {
+    enabled: boolean;
+    requiredLocales?: string[];
+    fallback?: boolean;
+};
+interface FieldDefinition<TId extends string = string, TType extends string = string, TConfig = unknown> {
+    /** Unique field identifier - preserves literal type for type inference */
+    readonly id: TId;
+    /** Field type */
+    readonly type: TType;
+    /** Type-specific configuration */
+    config?: TConfig;
+    /** UI display configuration */
+    ui?: FieldUIConfig;
+    /** AI configuration: generation/review guidance for this field */
+    ai?: FieldAIConfig;
+    /** Dynamic field rules */
+    rules?: FieldRule[];
+    /** Localization settings */
+    localization?: LocalizationConfig;
+    /** Fallback value when field is empty */
+    fallback?: unknown;
+    /** Whether this field is deprecated */
+    deprecated?: boolean;
+}
+/**
+ * Any field definition - used in arrays where we need to preserve specific field types
+ */
+type AnyFieldDefinition = FieldDefinition<string, string, unknown>;
+interface ShortTextConfig extends BaseFieldConfig {
+    /** Maximum character length */
+    maxLength?: number;
+    /** Regex pattern for validation */
+    pattern?: string;
+    defaultValue?: string;
+}
+interface LongTextConfig extends BaseFieldConfig {
+    minLength?: number;
+    maxLength?: number;
+    defaultValue?: string;
+}
+/**
+ * A rich-text field's config. With none of `structure`, `marks` and `multiline` the field has the
+ * whole docs set of built-ins; each narrows it, and the Studio's editor and every write hold the
+ * field to the narrowing (REL-1805). `blocks`, `inline` and `links` are reserved for declared blocks
+ * and entry links, and a deploy that sets one now is refused.
+ */
+interface RichTextConfig extends BaseFieldConfig {
+    /** Maximum count of the value's text characters, its markup not counted (default 50,000) */
+    maxLength?: number;
+    /**
+     * The built-in blocks the field allows besides paragraphs. Absent allows them all; `[]` allows
+     * paragraphs only.
+     */
+    structure?: readonly RichTextStructure[];
+    /** The marks the field allows. Absent allows them all; `[]` allows none. */
+    marks?: readonly RichTextMarkType[];
+    /** `false` makes a one-line field: one paragraph, no line break, no other block. Default `true`. */
+    multiline?: boolean;
+    /** Reserved for declared blocks (REL-1807): a deploy that sets it is refused. */
+    blocks?: never;
+    /** Reserved for inline elements (REL-1807): a deploy that sets it is refused. */
+    inline?: never;
+    /** Reserved for entry links (REL-1808): a deploy that sets it is refused. */
+    links?: never;
+    /** A version-1 rich-text tree, every node but a text run keyed (REL-1803) */
+    defaultValue?: RichTextValue;
+}
+/**
+ * A `table` field's config (REL-1806). Its value is exactly a rich-text table block's
+ * (`RichTextTable`): rows of cells, each cell formatted text, an optional header row and per-cell
+ * alignment — the same value a table inside rich text holds, so one copied from either is accepted
+ * by the other.
+ */
+interface TableConfig extends BaseFieldConfig {
+    /** A table, every node but a text run keyed */
+    defaultValue?: RichTextTable;
+}
+/**
+ * A `code` field's config (REL-1806). Its value is exactly a rich-text code group's
+ * (`RichTextCodeGroup`): one tab or more, each a code block with its text and an optional label,
+ * language, filename and line range.
+ */
+interface CodeConfig extends BaseFieldConfig {
+    /** The languages a tab may be written in; set, every tab names one of them */
+    languages?: readonly string[];
+    /** The most tabs the group may hold */
+    maxTabs?: number;
+    /** A code group, every node keyed, held to `languages` and `maxTabs` */
+    defaultValue?: RichTextCodeGroup;
+}
+interface SlugConfig extends BaseFieldConfig {
+    /** Source field to generate slug from */
+    sourceField?: string;
+    /** Maximum character length */
+    maxLength?: number;
+    defaultValue?: string;
+}
+/**
+ * A url field's value is an absolute URL (`https://relyio.com/docs`) or a site-relative path
+ * (`/sign-up`) — every url field takes both. A bare word, a path with no leading slash and a
+ * protocol-relative `//host` are refused `URL_INVALID`.
+ */
+interface UrlConfig extends BaseFieldConfig {
+    /** The protocols an absolute URL may use; a site-relative path is accepted whatever they are. */
+    allowedProtocols?: ('http' | 'https' | 'ftp' | 'ftps')[];
+    /** Maximum character length */
+    maxLength?: number;
+    defaultValue?: string;
+}
+interface EmailConfig extends BaseFieldConfig {
+    /** Maximum character length */
+    maxLength?: number;
+    /** Whitelist of allowed email domains */
+    domainWhitelist?: string[];
+    defaultValue?: string;
+}
+interface IntegerConfig extends BaseFieldConfig {
+    min?: number;
+    max?: number;
+    defaultValue?: number;
+}
+interface DecimalConfig extends BaseFieldConfig {
+    min?: number;
+    max?: number;
+    decimalPlaces?: number;
+    roundingMode?: 'HALF_UP' | 'FLOOR' | 'CEILING' | 'ROUND' | 'TRUNCATE';
+    defaultValue?: number;
+}
+interface BooleanConfig extends BaseFieldConfig {
+    /** The editor's word for `true` (e.g. `'Published'`). */
+    labelTrue?: string;
+    /** The editor's word for `false` (e.g. `'Draft'`). */
+    labelFalse?: string;
+    defaultValue?: boolean;
+}
 /**
- * Every field a definition declares, directly or through its fieldsets, as one union — the one walk
- * over `fields` / `fieldsets` every `Infer*` shares.
+ * `TValue` is the union of the option values and `TMulti` whether the field holds a list of them.
+ * `fields.enum()` infers both from the declaration, so a read of the field is typed by its options
+ * (`INV-SS-TYPES-INFERRED`); the defaults describe any enum field.
  */
-type DeclaredFields<T extends {
-    readonly fields?: unknown;
-    readonly fieldsets?: unknown;
-}> = Extract<(NonNullable<T['fields']> extends readonly (infer F)[] ? F : never) | (NonNullable<T['fieldsets']> extends readonly (infer FS)[] ? FS extends {
-    readonly fields: readonly (infer F)[];
-} ? F : never : never), AnyFieldDefinition>;
-/** `multi` as declared: `true`, `false`, or `boolean` when the declaration does not say. */
-type Multiplicity<C> = C extends {
-    readonly multi?: infer M;
-} ? M : false;
-/** One `V`, a list of them, or — when `multi` is not a literal — either. */
-type OneOrMany<C, V> = [Multiplicity<C>] extends [true] ? V[] : [Multiplicity<C>] extends [false | undefined] ? V : V | V[];
-type EnumValue<C> = OneOrMany<C, C extends {
-    readonly options: ReadonlyArray<{
-        readonly value: infer V;
+interface EnumConfig<TValue extends string = string, TMulti extends boolean = boolean> extends BaseFieldConfig {
+    /** The values the field may hold, each with the `label` an editor shows. Deploy refuses an option without one. */
+    options: Array<{
+        value: TValue;
+        label: string;
     }>;
-} ? V : string>;
-type ReferenceTarget<C> = C extends {
-    readonly to: infer T;
-} ? T extends readonly (infer E)[] ? E : T : string;
-/** `R[K]` where `R` declares `K`. A `Record<string, never>` default declares nothing. */
-type Declared<R, K> = K extends keyof R ? R[K] : never;
-type ContentEntryOf<D, S extends Context> = D extends ContentTypeDefinition ? InferContentType<D, S> : never;
-type SingletonEntryOf<D, S extends Context> = D extends SingletonContentTypeDefinition ? InferSingletonContentType<D, S> : never;
-type AssetEntryOf<D, S extends Context> = D extends AssetTypeDefinition ? InferAssetType<D, S> : never;
-type OrUnresolved<T> = [T] extends [never] ? UnresolvedEntry : T;
-/** What `include` expands a reference to `Target` into: that type's entry, typed by the schema. */
-type ExpandedEntry<Target, S extends Context> = S extends FieldSchemaContext ? OrUnresolved<ContentEntryOf<Declared<S['contentTypes'], Target>, S> | SingletonEntryOf<Declared<S['singletonContentTypes'], Target>, S> | AssetEntryOf<Declared<NonNullable<S['assetTypes']>, Target>, S>> : UnresolvedEntry;
-type ReferenceValue<C, S extends Context> = [Multiplicity<C>] extends [true] ? Array<string | ExpandedEntry<ReferenceTarget<C>, S>> : [Multiplicity<C>] extends [false | undefined] ? string | null | ExpandedEntry<ReferenceTarget<C>, S> : string | null | Array<string | ExpandedEntry<ReferenceTarget<C>, S>> | ExpandedEntry<ReferenceTarget<C>, S>;
-type ComponentFields<D, S extends Context> = [D] extends [never] ? UnresolvedComponent : D extends {
-    readonly fields: readonly (infer F)[];
-} ? FieldValues<Extract<F, AnyFieldDefinition>, S> : UnresolvedComponent;
-type ComponentValue<Id extends string, S extends Context> = S extends FieldSchemaContext ? ComponentFields<Declared<S['components'], Id>, S> : UnresolvedComponent;
+    multi?: TMulti;
+    /** One option's value, or a list of them when `multi` is true. */
+    defaultValue?: string | string[];
+}
+/** A display format is not config: it is `ui.options.format`, where the schema declares it. */
+interface DateConfig extends BaseFieldConfig {
+    minDate?: string;
+    maxDate?: string;
+    /** `YYYY-MM-DD` */
+    defaultValue?: string;
+}
+/** A display format is not config: it is `ui.options.format`, where the schema declares it. */
+interface DateTimeConfig extends BaseFieldConfig {
+    minDateTime?: string;
+    maxDateTime?: string;
+    /**
+     * Show the instant in UTC (`'UTC'`) or in the author's local time (`'local'`) in the editor. The
+     * instant is stored in UTC either way.
+     */
+    timeZoneHandling?: 'UTC' | 'local';
+    defaultValue?: string;
+}
 /**
- * A list with subfields is a list of objects typed by them; a list without is a list of strings,
- * which is what the validation document enforces for it.
+ * `TTo` is the union of the target type ids and `TMulti` whether the field holds a list.
+ * `fields.reference()` infers both, so a read of the field is typed by what it points at
+ * (`INV-SS-TYPES-INFERRED`); the defaults describe any reference field.
  */
-type ListValue<C, S extends Context> = C extends {
-    readonly subfields?: infer Sub;
-} ? Sub extends readonly (infer F)[] ? [F] extends [never] ? string[] : Array<FieldValues<Extract<F, AnyFieldDefinition>, S>> : string[] : string[];
-
+interface ReferenceConfig<TTo extends string = string, TMulti extends boolean = boolean> extends BaseFieldConfig {
+    /**
+     * Target entry type id(s) — content type or asset type ids. Pass a single id
+     * for one target or an array for several. All ids must belong to the same
+     * family (all content types or all asset types).
+     */
+    to: TTo | TTo[];
+    /** Allow multiple references (the field value is a list). */
+    multi?: TMulti;
+    /**
+     * The fewest and the most entries a multi reference holds, as a list's: your limit, enforced on
+     * every write and publish (`LIST_TOO_FEW_ITEMS`, `LIST_TOO_MANY_ITEMS`). A single reference
+     * takes neither.
+     */
+    minItems?: number;
+    maxItems?: number;
+    /** Reference strength for publish/unpublish behavior. */
+    referenceStrength?: 'strong' | 'weak';
+    /** Behavior when a referenced entry is deleted. */
+    onTargetDelete?: 'block' | 'nullify';
+    /** A target entry's id, or a list of them when `multi` is true. */
+    defaultValue?: string | string[];
+}
+interface TagsConfig extends BaseFieldConfig {
+    allowCustom?: boolean;
+    predefinedTags?: string[];
+    maxTags?: number;
+}
 /**
- * Content type definition matching @relyio/schema ContentTypeSchema
- *
- * Uses advanced TypeScript generics to preserve each field's declaration through the type system,
- * so `InferContentType` types every field by what a read returns and `where()` autocompletes.
+ * `TShape` is the fieldset each item takes — or the union of the several a page builder's items
+ * may take — which `fields.list()` infers so a read types each item by it (`INV-SS-TYPES-INFERRED`);
+ * the default describes any list field. A list without one holds strings.
  */
-
+interface ListConfig<TShape extends AnyFieldset = AnyFieldset> extends BaseFieldConfig {
+    dragAndDrop?: boolean;
+    minItems?: number;
+    maxItems?: number;
+    /**
+     * The fieldset each item takes (REL-1796): every item holds its fields — a section's read flat —
+     * plus `_type`, the fieldset's id, and `_key`, the item key that stays with it for life. Or
+     * several, a page builder (REL-1798): `of: [hero, featureGrid, ctaBanner]`, each item naming in
+     * `_type` the one it takes, in whatever order an editor puts them.
+     */
+    of?: TShape | readonly TShape[];
+}
 /**
- * Fieldset for organizing related fields
- * Generic over fields to preserve literal field IDs
+ * `TShape` is the fieldset an object's one value takes — or the union of the several it may take —
+ * which `fields.object()` infers so a read types the value by it (`INV-SS-TYPES-INFERRED`). Unlike a
+ * list's, `of` is required: an object without a shape holds nothing it could declare.
  */
-interface Fieldset<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[]> {
-    /** Unique fieldset identifier */
-    readonly id: string;
-    /** Display name shown in the UI */
-    readonly displayName: string;
-    /** Optional description */
-    readonly description?: string;
-    /** Whether an editing surface shows this fieldset collapsed to begin with */
-    readonly collapsedByDefault?: boolean;
-    /** AI configuration for content generation and review */
-    readonly ai?: AIConfig;
-    /** Fields within this fieldset - preserves literal types */
-    readonly fields: TFields;
+interface ObjectConfig<TShape extends AnyFieldset = AnyFieldset> extends BaseFieldConfig {
+    /**
+     * The fieldset the value takes (REL-1799, ADR 0012): it holds that fieldset's fields — a section's
+     * read flat — plus `_type`, the fieldset's id, and `_key`, its key. Or several: `of: [screenshot,
+     * video]`, the value naming in `_type` the one it takes. `_type` names the fieldset even where
+     * only one is allowed, so a second shape later changes no stored value.
+     */
+    of: TShape | readonly TShape[];
 }
 /**
- * Type alias for a fieldset with any fields.
- * Used in generic constraints where we need to accept any fieldset type.
+ * Every field kind: the one union, `FieldKind` in `@relyio/schema`'s field-kind declaration
+ * (REL-1783). A kind the declaration gains is a kind here, and every table this package keys by it
+ * stops compiling until it has a row: the read types (`OverEveryFieldKind` in `infer-fields.ts`) and
+ * the builders (`fields` in `schema/index.ts`).
  */
-type AnyFieldset = Fieldset<any>;
+type FieldType = FieldKind;
+
 /**
- * Create a fieldset for organizing fields
- * Generic to preserve the specific field types for type inference
+ * Settings group definition matching @relyio/schema SettingsGroupSchema
  *
- * @example
- * const seoFieldset = fieldset('seo', {
- *   displayName: 'SEO Settings',
- *   fields: [
- *     fields.shortText('metaTitle', { config: { maxLength: 60 } }),
- *     fields.longText('metaDescription', { config: { maxLength: 160 } }),
- *   ]
- * })
+ * Settings groups are for project-level configuration that doesn't fit
+ * into content types (e.g., API keys, feature flags, integrations).
+ *
+ * Uses advanced TypeScript generics to preserve literal field IDs through
+ * the type system, enabling full autocomplete in SDK methods.
  */
-declare function fieldset<TFields extends readonly AnyFieldDefinition[]>(id: string, config: {
-    displayName: string;
-    description?: string;
-    /** Show the fieldset collapsed until an editor opens it */
-    collapsedByDefault?: boolean;
-    ai?: AIConfig;
-    fields: TFields;
-}): Fieldset<TFields>;
+
 /**
- * Content type configuration using direct fields
- * Generic to preserve literal field IDs for type inference
+ * Settings group configuration - generic to preserve field types
  */
-interface ContentTypeConfigWithFields<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[]> {
+interface SettingsGroupConfig<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[]> {
     /** Display name shown in the UI */
     displayName: string;
-    /** Plural display name shown in the UI (e.g., "Products" for "Product") */
-    displayNamePlural?: string;
-    /** Description of the content type */
+    /** Description of the settings group */
     description?: string;
-    /** AI configuration: generation/review guidance */
+    /** AI configuration for content generation and review */
     ai?: AIConfig;
-    /**
-     * Field ID to use as entry display title in lists, references, and editor header.
-     * If not set, falls back to: title → name → slug → first shortText field → entryUid
-     */
-    displayField?: string;
-    /** Whether this content type supports hierarchical (parent-child) relationships */
-    hierarchical?: boolean;
     /** Access tags for role-based access control */
     accessTags?: string[];
-    /** Workflow configuration for this content type */
-    workflow?: ContentTypeWorkflowConfig;
-    /** Direct field definitions - preserves literal types */
+    /** Settings fields - preserves literal types */
     fields: TFields;
-    /** Cannot have fieldsets when using fields */
-    fieldsets?: never;
-}
-/**
- * Content type configuration using fieldsets
- * Generic to preserve fieldset field types
- */
-interface ContentTypeConfigWithFieldsets<TFieldsets extends readonly AnyFieldset[] = readonly AnyFieldset[]> {
-    /** Display name shown in the UI */
-    displayName: string;
-    /** Plural display name shown in the UI (e.g., "Products" for "Product") */
-    displayNamePlural?: string;
-    /** Description of the content type */
-    description?: string;
-    /** AI configuration: generation/review guidance */
-    ai?: AIConfig;
-    /**
-     * Field ID to use as entry display title in lists, references, and editor header.
-     * If not set, falls back to: title → name → slug → first shortText field → entryUid
-     */
-    displayField?: string;
-    /** Access tags for role-based access control */
-    accessTags?: string[];
-    /** Whether this content type supports hierarchical (parent-child) relationships */
-    hierarchical?: boolean;
-    /** Workflow configuration for this content type */
-    workflow?: ContentTypeWorkflowConfig;
-    /** Field organization via fieldsets - preserves literal types */
-    fieldsets: TFieldsets;
-    /** Cannot have direct fields when using fieldsets */
-    fields?: never;
 }
 /**
- * Content type configuration (either fields OR fieldsets, not both)
- */
-type ContentTypeConfig<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[], TFieldsets extends readonly AnyFieldset[] = readonly AnyFieldset[]> = ContentTypeConfigWithFields<TFields> | ContentTypeConfigWithFieldsets<TFieldsets>;
-/**
- * Content type definition - preserves field types for inference
+ * Settings group definition - preserves field types for inference
  */
-interface ContentTypeDefinition<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[], TFieldsets extends readonly AnyFieldset[] = readonly AnyFieldset[]> {
-    readonly _tag: 'contentType';
+interface SettingsGroupDefinition<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[]> {
+    readonly _tag: 'settingsGroup';
     readonly name: string;
     readonly displayName: string;
-    readonly displayNamePlural?: string;
     readonly description?: string;
-    /** AI configuration: generation/review guidance */
+    /** AI configuration for content generation and review */
     readonly ai?: AIConfig;
-    /** Field ID to use as entry display title */
-    readonly displayField?: string;
-    readonly hierarchical?: boolean;
     readonly accessTags?: string[];
-    readonly workflow?: ContentTypeWorkflowConfig;
-    readonly fields?: TFields;
-    readonly fieldsets?: TFieldsets;
+    readonly fields: TFields;
 }
 /**
- * Define a content type with type-safe fields
+ * Define a settings group
  *
- * The generic type parameters preserve the literal field IDs through the type
- * system, enabling autocomplete in SDK methods like where(), select(), etc.
+ * The generic type parameter preserves the literal field IDs through the type
+ * system, enabling autocomplete in SDK methods.
  *
  * @example
- * // Using direct fields
- * const product = defineContentType('product', {
- *   displayName: 'Product',
+ * const integrations = defineSettingsGroup('integrations', {
+ *   displayName: 'Integrations',
+ *   description: 'Third-party service integrations',
  *   fields: [
- *     fields.shortText('title', { config: { required: true } }),
- *     fields.decimal('price', { config: { min: 0, decimalPlaces: 2 } }),
- *   ]
- * })
- *
- * @example
- * // Using fieldsets for organization
- * const product = defineContentType('product', {
- *   displayName: 'Product',
- *   fieldsets: [
- *     fieldset('basic', {
- *       displayName: 'Basic Info',
- *       fields: [
- *         fields.shortText('title', { config: { required: true } }),
- *       ]
+ *     fields.shortText('stripeApiKey', {
+ *       config: { required: true },
+ *       ui: { displayName: 'Stripe API Key' }
  *     }),
- *     fieldset('pricing', {
- *       displayName: 'Pricing',
- *       fields: [
- *         fields.decimal('price', { config: { min: 0, decimalPlaces: 2 } }),
- *       ]
+ *     fields.shortText('sendgridApiKey', {
+ *       ui: { displayName: 'SendGrid API Key' }
+ *     }),
+ *     fields.boolean('enableAnalytics', {
+ *       config: { defaultValue: true },
+ *       ui: { displayName: 'Enable Analytics' }
  *     }),
  *   ]
  * })
  */
-declare function defineContentType<TFields extends readonly AnyFieldDefinition[], _TFieldsets extends readonly Fieldset<AnyFieldDefinition[]>[]>(name: string, config: ContentTypeConfigWithFields<TFields>): ContentTypeDefinition<TFields, readonly []>;
-declare function defineContentType<_TFields extends readonly AnyFieldDefinition[], TFieldsets extends readonly Fieldset<AnyFieldDefinition[]>[]>(name: string, config: ContentTypeConfigWithFieldsets<TFieldsets>): ContentTypeDefinition<readonly [], TFieldsets>;
+declare function defineSettingsGroup<TFields extends readonly AnyFieldDefinition[]>(name: string, config: SettingsGroupConfig<TFields>): SettingsGroupDefinition<TFields>;
 /**
- * Type alias for any content type definition.
+ * Type alias for any settings group definition.
  */
-type AnyContentTypeDefinition = ContentTypeDefinition<any, any>;
+type AnySettingsGroupDefinition = SettingsGroupDefinition<any>;
 /**
- * What a read reports about an entry beside its fields: the committed document's `EntryMetadata`
- * (`apps/services/api/openapi-spec.json`), read through `http/api-schema.ts`, its one derivation in
- * this package — not declared a second time here.
- *
- * It used to be written out by hand, and the copy had drifted from the wire: it declared a
- * `parentId` no read sends, typed `createdAt` and `updatedAt` as `Date` where the wire sends ISO 8601
- * strings, and left out what a reader most needs — `availableLocales`, `defaultLocale`, `slug`,
- * `refs` — so the preview toolbar took them through a structural type of its own. A field the
- * service adds or changes now reaches this type when `api-schema.ts` is regenerated, and
- * `__tests__/read-metadata.types.ts` fails `type:check` if a read stops declaring it.
+ * What a read reports about a settings group beside its fields: the committed document's
+ * `SettingsGroupMetadata`, read through `http/api-schema.ts` rather than declared again here.
  *
- * Every entry-shaped value carries it — a single read, each item of a list or of `children()`, and
- * an entry an `include` expanded — because the service builds each of them with one transform.
- * `versionCount` and `versions` are sent on a single read only, so they are optional.
+ * It names the group by `id` and `groupId`, carries the per-locale facts and the version history
+ * of `locale`, and says when the group was last written — there is no `createdAt`. The hand-written
+ * type this replaces declared a `key`, a `groupType` and a `createdAt` the wire does not carry, and
+ * `Date` timestamps where it sends ISO 8601 strings.
  */
-type EntryMetadata = components['schemas']['EntryMetadata'];
+type SettingsGroupMetadata = components['schemas']['SettingsGroupMetadata'];
 /**
- * The per-locale publication facts every one-document read reports, an entry's, a singleton's and a
- * settings group's alike (`INV-LM-PUBLICATION-IS-REPORTED-PER-LOCALE`): a `Pick` of the document's
- * {@link EntryMetadata}, so this package holds no copy of them. `localeStatus` is absent when the
- * locale has no content of its own.
+ * Infer the TypeScript type from a settings group definition: every field typed as a read returns it
+ * (`schema/infer-fields.ts`), plus `_metadata`. `S` is the schema, as for `InferContentType`. Every
+ * field is optional, required or not: a group reads as its declared and synthesized defaults until
+ * it is written, and a required field with neither is absent (`Presence`).
  */
-type LocalePublicationFields = Pick<EntryMetadata, 'localeStatus' | 'localeHasDraft' | 'draftLocales'>;
+type InferSettingsGroup<T extends AnySettingsGroupDefinition, S extends FieldSchemaContext | undefined = undefined, I extends string = never> = FieldValues<DeclaredFields<T>, S, 'none', I> & {
+    _metadata: SettingsGroupMetadata;
+};
+
 /**
- * Infer the TypeScript type of an entry from a content type definition: every field it declares,
- * directly or through fieldsets, typed as a read returns it (`INV-SS-TYPES-INFERRED`), plus
- * `_metadata`. Each field is optional — `schema/infer-fields.ts` says why, and what each field type
- * reads as.
+ * Include paths, typed (REL-1801, design decision 12): a read's type follows the paths it names.
  *
- * `S` is the schema the type belongs to. With it, a reference expanded by `include` is typed as the
- * entry it points at and a component field by the component's fields; without it, those two are
- * typed as an entry or an object whose fields are not known. A client typed by a schema passes it.
+ * ```ts
+ * const home = await relyio
+ *   .content('page')
+ *   .findById('home')
+ *   .include(['sections.features(name,slug)', 'sections.customers.logo', 'ogImage'])
+ *   .execute()
+ * ```
  *
- * @example
- * const product = defineContentType('product', {
- *   displayName: 'Product',
- *   fields: [
- *     fields.shortText('title'),
- *     fields.decimal('price'),
- *     fields.enum('status', {
- *       config: {
- *         options: [
- *           { value: 'draft', label: 'Draft' },
- *           { value: 'live', label: 'Live' },
- *         ],
- *       },
- *     }),
- *   ]
- * })
+ * - **A path names fields, joined by dots**, through lists, page builders, objects and references:
+ *   `sections.features` reaches `features` in whichever block declares it. Each hop across a
+ *   reference is written out — `sections.customers.logo` expands each customer and its logo — and
+ *   nothing expands past where a path stops, so a read costs what it names. A path that stops at a
+ *   list or an object expands every reference it holds.
+ * - **Parentheses pick fields**: `sections.features(name,slug)` returns each feature with its `name`,
+ *   its `slug` and its `_metadata`, and is typed so.
+ * - **A reference a path expands is typed as the entry; every other one as its id.** One path is one
+ *   element of the array; a path that holds no reference does not compile, and the error lists the
+ *   paths that do.
  *
- * type Product = InferContentType<typeof product>
- * // { title?: string; price?: number; status?: 'draft' | 'live'; _metadata: EntryMetadata }
+ * The grammar is `@relyio/schema`'s `readIncludePaths`, which the Content API reads `?include=` with;
+ * the API holds each path to the deployed schema and refuses one it does not hold, naming the ones it
+ * does.
  */
-type InferContentType<T extends AnyContentTypeDefinition, S extends FieldSchemaContext | undefined = undefined> = FieldValues<DeclaredFields<T>, S> & {
-    _metadata: EntryMetadata;
+
+/**
+ * The include paths that continue below field `K`, relative to it: `sections.features` → `features`
+ * under `sections`. An include set the type cannot see (`string`) continues everywhere.
+ */
+type IncludesUnder<I extends string, K extends string> = string extends I ? string : I extends `${K}.${infer Rest}` ? Rest : never;
+/**
+ * The paths that stop at field `K`: `''` for one that picks no fields, and what the parentheses hold
+ * for one that does (`'name,slug'`). `never` when none stops here.
+ */
+type StopsAt<I extends string, K extends string> = string extends I ? never : I extends K ? '' : I extends `${K}(${infer Picked})` ? Picked : never;
+/** Whether the reference at `K` is expanded: a path names it or crosses it, or one above covers it. */
+type ExpandsHere<I extends string, K extends string, A extends boolean> = A extends true ? true : [StopsAt<I, K> | IncludesUnder<I, K>] extends [never] ? false : true;
+/** Whether every reference below the list or object `K` is expanded: a path stops at it, or above. */
+type CoversBelow<I extends string, K extends string, A extends boolean> = A extends true ? true : '' extends StopsAt<I, K> ? true : false;
+/** Every field of an entry: what a reference a path picks nothing of returns. */
+interface EveryField {
+    readonly __everyField: true;
+}
+type Trim<S extends string> = S extends ` ${infer R}` ? Trim<R> : S extends `${infer R} ` ? Trim<R> : S;
+/** `'name, slug'` → `'name' | 'slug'`. */
+type Split<S extends string> = S extends `${infer Head},${infer Rest}` ? Trim<Head> | Split<Rest> : Trim<S>;
+/** The field a path below a reference crosses first: `logo(alt)` and `logo.credit` → `logo`. */
+type FirstField<P extends string> = P extends `${infer Head}.${string}` ? FirstField<Head> : P extends `${infer Head}(${string}` ? Head : P;
+/**
+ * The fields the entry a reference reaches returns: every field, unless every path stopping at it
+ * picks — then the picked fields and the fields deeper paths cross.
+ */
+type SelectionAt<I extends string, K extends string> = [StopsAt<I, K>] extends [never] ? EveryField : '' extends StopsAt<I, K> ? EveryField : Split<StopsAt<I, K>> | FirstField<IncludesUnder<I, K>>;
+/** An entry cut down to a selection, beside its `_metadata`. Distributes over a union of entries. */
+type Selected<E, Fields> = [Fields] extends [EveryField] ? E : E extends unknown ? {
+    [Key in keyof E as Key extends Fields | '_metadata' ? Key : never]: E[Key];
+} : never;
+type ReferenceKind = Extract<FieldType, 'reference'>;
+type IsReference<F> = F extends {
+    readonly type: ReferenceKind;
+} ? true : false;
+/** The fields of the shapes a list's items or an object's value take; `never` for any other field. */
+type ShapeFields<F> = F extends {
+    readonly config?: infer C;
+} ? NonNullable<C> extends {
+    readonly of?: infer Of;
+} ? FieldsOfShapes<ShapesIn<Exclude<Of, undefined>>> : never : never;
+type FieldsOfShapes<Shape> = Shape extends {
+    readonly fields: readonly unknown[];
+} ? DeclaredFields<Shape> : never;
+/** The fields of every type a reference may point at, sections read flat. */
+type TargetFields<F, S> = F extends {
+    readonly config?: infer C;
+} ? S extends FieldSchemaContext ? FieldsOfDefinition<Declared<S['contentTypes'], ReferenceTarget<NonNullable<C>>> | Declared<S['singletonContentTypes'], ReferenceTarget<NonNullable<C>>> | Declared<NonNullable<S['assetTypes']>, ReferenceTarget<NonNullable<C>>>> : never : never;
+type FieldsOfDefinition<D> = D extends {
+    readonly fields: readonly unknown[];
+} ? DeclaredFields<D> : never;
+/** `true` when a field is a reference, or a list or object holding one at any depth. */
+type HoldsReference<F> = F extends AnyFieldDefinition ? IsReference<F> extends true ? true : true extends HoldsReference<ShapeFields<F>> ? true : false : false;
+/**
+ * Every path a record can include, below `Prefix`: each reference, and each list or object holding
+ * one, then the paths inside it. Distributes over the record's fields.
+ */
+type IncludablePaths<Fields, Prefix extends string = ''> = Fields extends AnyFieldDefinition ? IsReference<Fields> extends true ? `${Prefix}${Fields['id']}` : true extends HoldsReference<ShapeFields<Fields>> ? `${Prefix}${Fields['id']}` | IncludablePaths<ShapeFields<Fields>, `${Prefix}${Fields['id']}.`> : never : never;
+/** The path part of a written path, and what its parentheses pick. */
+type PathOf<X extends string> = X extends `${infer Path}(${string})` ? Path : X;
+type PickedOf<X extends string> = X extends `${string}(${infer Picked})` ? Picked : never;
+/**
+ * `X` when it is a path the record `Root` can include; otherwise the paths it can include at the
+ * point `X` went wrong, which is what the compiler names: `Type '"sections.title"' is not
+ * assignable to type '"ogImage" | "sections" | "sections.features" | …'`.
+ */
+type CheckInclude<Root, S, X extends string> = Walk<Root, Root, S, PathOf<X>, PickedOf<X>, '', ''> extends true ? X : Walk<Root, Root, S, PathOf<X>, PickedOf<X>, '', ''>;
+/** The paths `Root` can include, written after `Entry` — the path up to the entry they belong to. */
+type Suggest<Root, Entry extends string> = IncludablePaths<Root, Entry>;
+type Walk<Fields, Root, S, Rest extends string, Picked extends string, Done extends string, Entry extends string> = Rest extends `${infer Segment}.${infer Tail}` ? Step<Extract<Fields, {
+    readonly id: Segment;
+}>, Root, S, Segment, Tail, Picked, Done, Entry> : Step<Extract<Fields, {
+    readonly id: Rest;
+}>, Root, S, Rest, '', Picked, Done, Entry>;
+type Step<F, Root, S, Segment extends string, Tail extends string, Picked extends string, Done extends string, Entry extends string> = [F] extends [never] ? Suggest<Root, Entry> : true extends IsReference<F> ? Tail extends '' ? [Picked] extends [never] ? true : CheckPicked<TargetFields<Extract<F, {
+    readonly type: ReferenceKind;
+}>, S>, Picked, `${Done}${Segment}`> : Walk<TargetFields<Extract<F, {
+    readonly type: ReferenceKind;
+}>, S>, TargetFields<Extract<F, {
+    readonly type: ReferenceKind;
+}>, S>, S, Tail, Picked, `${Done}${Segment}.`, `${Done}${Segment}.`> : true extends HoldsReference<ShapeFields<F>> ? Tail extends '' ? [Picked] extends [never] ? true : Suggest<Root, Entry> : Walk<ShapeFields<F>, Root, S, Tail, Picked, `${Done}${Segment}.`, Entry> : Suggest<Root, Entry>;
+/** `true` when every picked field is one the reached entry declares; otherwise each pick it could. */
+type CheckPicked<Target, Picked extends string, Path extends string> = [
+    Exclude<Split<Picked>, Target extends AnyFieldDefinition ? Target['id'] : never>
+] extends [never] ? true : `${Path}(${Target extends AnyFieldDefinition ? Target['id'] : never})`;
+/**
+ * How one read is typed by the include paths it names — a type-level function, applied with
+ * {@link ReadWith} and {@link CheckedInclude}. Each typed client carries the one for its type.
+ */
+interface Reading {
+    /** The include paths the read names (set by {@link ReadWith}). */
+    readonly include: string;
+    /** One path to check (set by {@link CheckedInclude}). */
+    readonly path: string;
+    /** What the read returns under `include`. */
+    readonly read: unknown;
+    /** `path` when it holds, or the paths that would. */
+    readonly checked: unknown;
+}
+/** What a read typed by `R` returns under the include paths `I`. */
+type ReadWith<R extends Reading, I extends string> = (R & {
+    readonly include: I;
+})['read'];
+/** `X` when `R`'s type can include it, or the paths it can. */
+type CheckedInclude<R extends Reading, X extends string> = (R & {
+    readonly path: X;
+})['checked'];
+/**
+ * A path as written: inferred from the argument, never from what checking it answers. TypeScript's
+ * own `NoInfer` does this from 5.4; this is the form every version the package supports reads.
+ */
+type Written<X> = [X][X extends unknown ? 0 : never];
+/**
+ * An `include()` argument, each path checked against the type. A path the type cannot see — a
+ * `string` — is taken as written, and the read typed as if it may expand anything.
+ */
+type CheckedIncludes<R extends Reading, P extends readonly string[]> = {
+    readonly [K in keyof P]: string extends P[K] ? P[K] : CheckedInclude<R, Written<P[K]>>;
 };
+/** A read no schema types: it returns `T` whatever it includes, and any path is taken as written. */
+interface UntypedReading<T> extends Reading {
+    readonly read: T;
+    readonly checked: this['path'];
+}
+/** A read of the content type `D` defines, in schema `S`. */
+interface ContentReading<D extends AnyContentTypeDefinition, S extends FieldSchemaContext | undefined> extends Reading {
+    readonly read: InferContentType<D, S, this['include']>;
+    readonly checked: CheckInclude<FieldsOfDefinition<D>, S, this['path']>;
+}
+/** A read of the singleton `D` defines, in schema `S`. */
+interface SingletonReading<D extends AnySingletonContentTypeDefinition, S extends FieldSchemaContext | undefined> extends Reading {
+    readonly read: InferSingletonContentType<D, S, this['include']>;
+    readonly checked: CheckInclude<FieldsOfDefinition<D>, S, this['path']>;
+}
+/** A read of the asset type `D` defines, in schema `S`. */
+interface AssetReading<D extends AnyAssetTypeDefinition, S extends FieldSchemaContext | undefined> extends Reading {
+    readonly read: InferAssetType<D, S, this['include']>;
+    readonly checked: CheckInclude<FieldsOfDefinition<D>, S, this['path']>;
+}
+/** A read of the settings group `D` defines, in schema `S`. */
+interface SettingsReading<D extends AnySettingsGroupDefinition, S extends FieldSchemaContext | undefined> extends Reading {
+    readonly read: InferSettingsGroup<D, S, this['include']>;
+    readonly checked: CheckInclude<FieldsOfDefinition<D>, S, this['path']>;
+}
 
-export { type SingletonConfigWithFieldsets as $, type AnyFieldDefinition as A, type BooleanConfig as B, type ComponentFieldConfig as C, type DecimalConfig as D, type EmailConfig as E, type FieldUIConfig as F, type UnresolvedComponent as G, defineContentType as H, type IntegerConfig as I, fieldset as J, type Fieldset as K, type LocalizationConfig as L, type ContentTypeConfig as M, type ContentTypeConfigWithFields as N, type ContentTypeConfigWithFieldsets as O, type ContentTypeDefinition as P, type EntryMetadata as Q, type RichTextConfig as R, type ShortTextConfig as S, type TagsConfig as T, type UrlConfig as U, type ValidationRule as V, type InferContentType as W, type LocalePublicationFields as X, defineSingletonContentType as Y, defineSingleton as Z, type SingletonConfigWithFields as _, type FieldAIConfig as a, type SingletonContentTypeDefinition as a0, type SingletonMetadata as a1, type InferSingletonContentType as a2, type InferSingleton as a3, defineAssetType as a4, type AssetTypeConfig as a5, type AssetTypeConfigWithFields as a6, type AssetTypeConfigWithFieldsets as a7, type AssetTypeConfigWithoutFields as a8, type AssetTypeDefinition as a9, getFirstWorkflowStage as aA, isFinalWorkflowStage as aB, type WorkflowEscalation as aC, type WorkflowAutoAssign as aD, type WorkflowStageConfig as aE, type WorkflowStageDefinition as aF, type WorkflowConfig as aG, type WorkflowDefinition as aH, type ContentTypeWorkflowConfig as aI, type paths as aJ, type components as aK, type InferAssetType as aa, type ImageKindConfig as ab, type VideoKindConfig as ac, type FileKindConfig as ad, type ImageTransform as ae, type ImageFitMode as af, type ImageOutputFormat as ag, type ImageUploadConfig as ah, type ImageSourceConfig as ai, type ImageExifConfig as aj, type VariantDefinition as ak, type VideoUploadConfig as al, type VideoPosterConfig as am, type VideoCaptionsConfig as an, type VideoDownloadConfig as ao, type VideoWatermarkConfig as ap, type FileUploadConfig as aq, type FileScanConfig as ar, defineWorkflow as as, defineWorkflowStage as at, defineContentTypeWorkflow as au, isWorkflowDefinition as av, isWorkflowStageDefinition as aw, getWorkflowStageIds as ax, findWorkflowStage as ay, getNextWorkflowStage as az, type FieldRule as b, type FieldDefinition as c, type LongTextConfig as d, type SlugConfig as e, type EnumConfig as f, type DateConfig as g, type DateTimeConfig as h, type ReferenceConfig as i, type ListConfig as j, type AIConfig as k, type AllFieldTypes as l, type AssetAIConfig as m, type BaseFieldConfig as n, type ComponentFieldType as o, type FieldType as p, type ReadOnlyRule as q, type RequirementRule as r, type RuleCondition as s, type RuleConditions as t, type VisibilityRule as u, type FieldSchemaContext as v, type FieldValue as w, type FieldValues as x, type DeclaredFields as y, type UnresolvedEntry as z };
+export { defineContentType as $, type AnyFieldset as A, type BooleanConfig as B, type CodeConfig as C, type DecimalConfig as D, type EmailConfig as E, type FieldUIConfig as F, type BlockOf as G, type ShapeValue as H, type IntegerConfig as I, type AssetReading as J, type Keyed as K, type LocalizationConfig as L, type CheckedIncludes as M, type CheckInclude as N, type ObjectConfig as O, type ContentReading as P, type IncludablePaths as Q, type RichTextConfig as R, type ShortTextConfig as S, type TableConfig as T, type UrlConfig as U, type ValidationRule as V, type Reading as W, type ReadWith as X, type SettingsReading as Y, type SingletonReading as Z, type UntypedReading as _, type FieldAIConfig as a, fieldset as a0, type Fieldset as a1, type FieldMember as a2, type ContentTypeConfig as a3, type ContentTypeDefinition as a4, type EntryMetadata as a5, type InferContentType as a6, type LocalePublicationFields as a7, defineSingletonContentType as a8, defineSingleton as a9, type VideoCaptionsConfig as aA, type VideoDownloadConfig as aB, type VideoWatermarkConfig as aC, type FileUploadConfig as aD, type FileScanConfig as aE, defineWorkflow as aF, defineWorkflowStage as aG, defineContentTypeWorkflow as aH, isWorkflowDefinition as aI, isWorkflowStageDefinition as aJ, getWorkflowStageIds as aK, findWorkflowStage as aL, getNextWorkflowStage as aM, getFirstWorkflowStage as aN, isFinalWorkflowStage as aO, type WorkflowEscalation as aP, type WorkflowAutoAssign as aQ, type WorkflowStageConfig as aR, type WorkflowStageDefinition as aS, type WorkflowConfig as aT, type WorkflowDefinition as aU, type ContentTypeWorkflowConfig as aV, type paths as aW, type components as aX, type CheckedInclude as aY, type SingletonConfig as aa, type SingletonContentTypeDefinition as ab, type SingletonMetadata as ac, type InferSingletonContentType as ad, type InferSingleton as ae, defineSettingsGroup as af, type SettingsGroupConfig as ag, type SettingsGroupDefinition as ah, type SettingsGroupMetadata as ai, type InferSettingsGroup as aj, defineAssetType as ak, type AssetTypeConfig as al, type AssetTypeDefinition as am, type InferAssetType as an, type ImageKindConfig as ao, type VideoKindConfig as ap, type FileKindConfig as aq, type ImageTransform as ar, type ImageFitMode as as, type ImageOutputFormat as at, type ImageUploadConfig as au, type ImageSourceConfig as av, type ImageExifConfig as aw, type VariantDefinition as ax, type VideoUploadConfig as ay, type VideoPosterConfig as az, type FieldRule as b, type FieldDefinition as c, type LongTextConfig as d, type SlugConfig as e, type EnumConfig as f, type DateConfig as g, type DateTimeConfig as h, type ReferenceConfig as i, type TagsConfig as j, type ListConfig as k, type AIConfig as l, type AnyFieldDefinition as m, type AssetAIConfig as n, type BaseFieldConfig as o, type FieldType as p, type ReadOnlyRule as q, type RequirementRule as r, type RuleCondition as s, type RuleConditions as t, type VisibilityRule as u, type FieldSchemaContext as v, type FieldValue as w, type FieldValues as x, type DeclaredFields as y, type UnresolvedEntry as z };