@relyio/sdk 0.5.0 → 0.7.0

package/dist/{define-schema-2xbHgtK-.d.cts → define-schema-D7MButVt.d.cts}

@@ -1,98 +1,4 @@
-import { l as AnyFieldDefinition, w as Fieldset, A as AIConfig, K as LocalePublicationFields, y as ContentTypeConfigWithFields, z as ContentTypeConfigWithFieldsets, c as FieldDefinition, m as AssetAIConfig, a5 as ContentTypeWorkflowConfig, L as LocalizationConfig, H as EntryMetadata, G as ContentTypeDefinition, a4 as WorkflowDefinition } from './define-content-type-CBfnTWSS.cjs';
-
-/**
- * Singleton content type definition matching @relyio/schema
- *
- * In RelyIO, singletons are just content types with a special flag.
- * They share the same structure as regular content types.
- *
- * Uses advanced TypeScript generics to preserve literal field IDs through
- * the type system, enabling full autocomplete in SDK methods.
- */
-
-/**
- * Type alias for a fieldset with any fields.
- */
-type AnyFieldset$1 = Fieldset<any>;
-/**
- * Singleton content type definition - preserves field types for inference
- */
-interface SingletonContentTypeDefinition<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[], TFieldsets extends readonly AnyFieldset$1[] = readonly AnyFieldset$1[]> {
-    readonly _tag: 'singletonContentType';
-    readonly name: string;
-    readonly displayName: string;
-    readonly displayNamePlural?: string;
-    readonly description?: string;
-    /** AI configuration: generation guidance + entry intelligence */
-    readonly ai?: AIConfig;
-    /** Field ID to use as entry display title */
-    readonly displayField?: string;
-    readonly hierarchical: false;
-    readonly accessTags?: string[];
-    readonly fields?: TFields;
-    readonly fieldsets?: TFieldsets;
-}
-/**
- * Define a singleton content type
- *
- * Singletons are single-instance content types like homepage, site settings, etc.
- * They use the same field structure as regular content types.
- *
- * The generic type parameters preserve the literal field IDs through the type
- * system, enabling autocomplete in SDK methods.
- *
- * @example
- * const homepage = defineSingletonContentType('homepage', {
- *   displayName: 'Homepage',
- *   fields: [
- *     fields.shortText('heroTitle', { config: { required: true } }),
- *     fields.image('heroImage'),
- *   ]
- * })
- */
-declare function defineSingletonContentType<TFields extends readonly AnyFieldDefinition[], _TFieldsets extends readonly Fieldset<AnyFieldDefinition[]>[]>(name: string, config: ContentTypeConfigWithFields<TFields>): SingletonContentTypeDefinition<TFields, readonly []>;
-declare function defineSingletonContentType<_TFields extends readonly AnyFieldDefinition[], TFieldsets extends readonly Fieldset<AnyFieldDefinition[]>[]>(name: string, config: ContentTypeConfigWithFieldsets<TFieldsets>): SingletonContentTypeDefinition<readonly [], TFieldsets>;
-declare const defineSingleton: typeof defineSingletonContentType;
-/**
- * Singleton metadata.
- *
- * The per-locale publication half is inherited from `LocalePublicationFields` rather than absent.
- * `apps/services/api` reports `localeStatus` / `localeHasDraft` / `draftLocales` on singleton reads
- * exactly as it does on entry reads (`INV-LM-PUBLICATION-IS-REPORTED-PER-LOCALE`); this type simply
- * never said so, which told a customer that a singleton has no publication state to read.
- */
-interface SingletonMetadata extends LocalePublicationFields {
-    /** Singleton key identifier */
-    key: string;
-    /** Singleton type identifier */
-    singletonType: string;
-    /** Content version */
-    version: number;
-    /** Content locale */
-    locale: string;
-    /** Creation timestamp */
-    createdAt: Date;
-    /** Last update timestamp */
-    updatedAt: Date;
-}
-/**
- * Type alias for any singleton content type definition.
- */
-type AnySingletonContentTypeDefinition = SingletonContentTypeDefinition<any, any>;
-/**
- * Extract field IDs from a singleton content type definition
- */
-type ExtractSingletonFieldIds<T extends AnySingletonContentTypeDefinition> = NonNullable<T['fields']> extends (infer F)[] ? F extends AnyFieldDefinition ? F['id'] : ExtractFromSingletonFieldsets<T> : ExtractFromSingletonFieldsets<T>;
-type ExtractFromSingletonFieldsets<T extends AnySingletonContentTypeDefinition> = NonNullable<T['fieldsets']> extends (infer FS)[] ? FS extends Fieldset<infer Fields> ? Fields extends AnyFieldDefinition[] ? Fields[number]['id'] : never : never : never;
-/**
- * Infer the TypeScript type from a singleton definition
- */
-type InferSingletonContentType<T extends AnySingletonContentTypeDefinition> = {
-    [K in ExtractSingletonFieldIds<T> & string]?: unknown;
-} & {
-    _metadata: SingletonMetadata;
-};
-type InferSingleton<T extends AnySingletonContentTypeDefinition> = InferSingletonContentType<T>;
+import { A as AnyFieldDefinition, c as FieldDefinition, k as AIConfig, v as FieldSchemaContext, x as FieldValues, y as DeclaredFields, aK as components, P as ContentTypeDefinition, a0 as SingletonContentTypeDefinition, aH as WorkflowDefinition, a9 as AssetTypeDefinition, W as InferContentType } from './define-content-type-DiVpbwNs.cjs';
 
 /**
  * Component definition matching @relyio/schema ComponentSchema
@@ -121,9 +27,10 @@ interface ComponentMetadata {
     validation?: ComponentValidationMetadata;
 }
 /**
- * Component configuration
+ * Component configuration. Generic over its fields, as a content type's is, so a component field
+ * reads as an object typed by them (`INV-SS-TYPES-INFERRED`).
  */
-interface ComponentConfig {
+interface ComponentConfig<TFields extends readonly AnyFieldDefinition[] = FieldDefinition[]> {
     /** Display name shown in the UI */
     displayName?: string;
     /** Description of the component */
@@ -133,22 +40,22 @@ interface ComponentConfig {
     /** Whether this component is deprecated */
     deprecated?: boolean;
     /** Component fields */
-    fields: FieldDefinition[];
+    fields: TFields;
     /** Component metadata for validation and reusability */
     metadata?: ComponentMetadata;
 }
 /**
- * Component definition
+ * Component definition - preserves field types for inference
  */
-interface ComponentDefinition {
+interface ComponentDefinition<TFields extends readonly AnyFieldDefinition[] = FieldDefinition[]> {
     readonly _tag: 'component';
     readonly name: string;
     readonly displayName?: string;
     readonly description?: string;
     /** AI configuration for content generation and review */
     readonly ai?: AIConfig;
-    readonly deprecated: boolean;
-    readonly fields: FieldDefinition[];
+    readonly deprecated?: boolean;
+    readonly fields: TFields;
     readonly metadata?: ComponentMetadata;
 }
 /**
@@ -167,7 +74,9 @@ interface ComponentDefinition {
  *       config: { maxLength: 160 },
  *       ui: { displayName: 'Meta Description' }
  *     }),
- *     fields.image('ogImage', {
+ *     // An image is an entry of an asset type, which a reference points at
+ *     fields.reference('ogImage', {
+ *       config: { to: 'productPhoto' },
  *       ui: { displayName: 'Open Graph Image' }
  *     }),
  *   ]
@@ -182,7 +91,7 @@ interface ComponentDefinition {
  *   ]
  * })
  */
-declare function defineComponent(name: string, config: ComponentConfig): ComponentDefinition;
+declare function defineComponent<TFields extends readonly AnyFieldDefinition[]>(name: string, config: ComponentConfig<TFields>): ComponentDefinition<TFields>;
 
 /**
  * Settings group definition matching @relyio/schema SettingsGroupSchema
@@ -253,267 +162,21 @@ declare function defineSettingsGroup<TFields extends readonly AnyFieldDefinition
  */
 type AnySettingsGroupDefinition = SettingsGroupDefinition<any>;
 /**
- * Extract field IDs from a settings group definition
- */
-type ExtractSettingsFieldIds<T extends AnySettingsGroupDefinition> = T['fields'] extends readonly AnyFieldDefinition[] ? T['fields'][number]['id'] : never;
-/**
- * Settings group metadata
- */
-interface SettingsGroupMetadata {
-    /** Settings group key identifier */
-    key: string;
-    /** Settings group type identifier */
-    groupType: string;
-    /** Content version */
-    version: number;
-    /** Creation timestamp */
-    createdAt: Date;
-    /** Last update timestamp */
-    updatedAt: Date;
-}
-/**
- * Infer the TypeScript type from a settings group definition
- */
-type InferSettingsGroup<T extends AnySettingsGroupDefinition> = {
-    [K in ExtractSettingsFieldIds<T> & string]?: unknown;
-} & {
-    _metadata: SettingsGroupMetadata;
-};
-
-/**
- * Asset type definition matching @relyio/schema AssetTypeSchema
- *
- * Asset types are first-class entries (entryType: 'asset') that pair a binary
- * pipeline family (declared via exactly one kind key: `image`, `video`, or
- * `file`) with user-defined metadata fields that reuse the standard field
- * system — including fieldsets, workflow, access tags, and AI config.
+ * 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.
  *
- * The kind config blocks are strongly typed below (mirroring the zod-inferred
- * `@relyio/schema` types), so authoring asset types in TypeScript gets full
- * autocomplete. The authoritative validation still lives in @relyio/schema's
- * `AssetTypesValidator` and runs on deploy.
+ * 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.
  */
-
-/** Resize fit modes supported by the Cloudflare Images binding. */
-type ImageFitMode = 'cover' | 'contain' | 'fill' | 'inside' | 'outside';
-/** Output formats the Cloudflare Images binding can produce (`heic` is input-only). */
-type ImageOutputFormat = 'avif' | 'webp' | 'jpeg' | 'png';
-/** Shared image transform props (CF Images vocabulary). */
-interface ImageTransform {
-    width?: number;
-    height?: number;
-    fit?: ImageFitMode;
-    format?: ImageOutputFormat;
-    quality?: number;
-}
-/** Upload gate for the `image` kind (rejects bad files at the door). */
-interface ImageUploadConfig {
-    allowedMimeTypes?: string[];
-    maxFileSize?: number;
-    minWidth?: number;
-    maxWidth?: number;
-    minHeight?: number;
-    maxHeight?: number;
-    /** `width:height`, e.g. `16:9`. */
-    aspectRatio?: string;
-}
-/** Upload gate for the `video` kind. */
-interface VideoUploadConfig {
-    allowedMimeTypes?: string[];
-    maxFileSize?: number;
-    maxDuration?: number;
-    minWidth?: number;
-    maxWidth?: number;
-    minHeight?: number;
-    maxHeight?: number;
-}
-/** Upload gate for the `file` kind (MIME + size only in v1). */
-interface FileUploadConfig {
-    allowedMimeTypes?: string[];
-    maxFileSize?: number;
-}
-/** Delivery rendition preset (max 20 per asset type), applied on the fly by the gateway. */
-interface VariantDefinition extends ImageTransform {
-    /** Variant id; must start with a letter (codegen emits the `*Variant` union from these). */
-    id: string;
-}
+type SettingsGroupMetadata = components['schemas']['SettingsGroupMetadata'];
 /**
- * Ingest normalization of the canonical stored original (image v1 only).
- * `true` expands to the platform default on deploy.
+ * 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`.
  */
-type ImageSourceConfig = boolean | (ImageTransform & {
-    stripMetadata?: boolean;
-});
-/** EXIF retention policy for the `image` kind (plan 15). */
-interface ImageExifConfig {
-    /** Retain GPS in `extracted.exif` (default strips it for privacy). */
-    keepGps?: boolean;
-}
-/** Image kind config (`upload`, `source`, `variants`, `localization`, `exif`). */
-interface ImageKindConfig {
-    upload?: ImageUploadConfig;
-    source?: ImageSourceConfig;
-    /** Max 20 variants per asset type. */
-    variants?: VariantDefinition[];
-    localization?: LocalizationConfig;
-    exif?: ImageExifConfig;
-}
-/** Poster/thumbnail strategy for the `video` kind. */
-interface VideoPosterConfig {
-    /** 0.0–1.0 → Stream thumbnailTimestampPct. */
-    defaultTimestampPct?: number;
-    /** Enable an animated preview (gif/webp). */
-    animated?: boolean;
-}
-/** Subtitle track strategy for the `video` kind. */
-interface VideoCaptionsConfig {
-    enabled?: boolean;
-    requiredLocales?: string[];
-    /** Stream AI transcription when no track is uploaded. */
-    autoGenerate?: boolean;
-}
-/** Downloadable-MP4 toggle for the `video` kind. */
-interface VideoDownloadConfig {
-    enabled?: boolean;
-}
-/** Stream watermark profile for the `video` kind. */
-interface VideoWatermarkConfig {
-    enabled?: boolean;
-    /** Account-level Stream watermark profile uid. */
-    profileId?: string;
-}
-/**
- * Video kind config (`upload`, `poster`, `captions`, `download`, `watermark`,
- * `localization`). Stream auto-generates the ABR ladder — there is intentionally
- * NO `variants` and NO `encoding` block.
- */
-interface VideoKindConfig {
-    upload?: VideoUploadConfig;
-    poster?: VideoPosterConfig;
-    captions?: VideoCaptionsConfig;
-    download?: VideoDownloadConfig;
-    watermark?: VideoWatermarkConfig;
-    localization?: LocalizationConfig;
-}
-/** Malware scan config for the `file` kind (plan 19). */
-interface FileScanConfig {
-    enabled?: boolean;
-    blockUntilClean?: boolean;
-}
-/** File kind config (`upload`, `localization`, `scan`, `extractText`). */
-interface FileKindConfig {
-    upload?: FileUploadConfig;
-    localization?: LocalizationConfig;
-    /** Malware scan (plan 19). */
-    scan?: FileScanConfig;
-    /** Extract searchable text + metadata for PDFs (plan 15). */
-    extractText?: boolean;
-}
-interface AssetTypeBaseConfig {
-    /** Display name shown in the UI */
-    displayName: string;
-    /** Plural display name (e.g., "Product Photos" for "Product Photo") */
-    displayNamePlural?: string;
-    /** Description of the asset type */
-    description?: string;
-    /**
-     * AI configuration. `ai.instructions` is an optional global brief; per-field
-     * `ai.instructions` describe individual fields. `ai.autoGenerate` (image
-     * kind, v1) is the master switch: when true, the derived analysis agent runs
-     * after upload and fills every field that declares `ai.instructions`, applied
-     * as a review proposal.
-     */
-    ai?: AssetAIConfig;
-    /** Field ID to use as the asset display title */
-    displayField?: string;
-    /** Access tags for role-based access control */
-    accessTags?: string[];
-    /** Workflow configuration for this asset type */
-    workflow?: ContentTypeWorkflowConfig;
-    /** Image pipeline config — mutually exclusive with `video`/`file` */
-    image?: ImageKindConfig;
-    /** Video pipeline config — mutually exclusive with `image`/`file` */
-    video?: VideoKindConfig;
-    /** File pipeline config — mutually exclusive with `image`/`video` */
-    file?: FileKindConfig;
-}
-/**
- * Type alias for a fieldset with any fields.
- */
-type AnyFieldset = 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[] = readonly AnyFieldset[]> extends AssetTypeBaseConfig {
-    /** Field organization via fieldsets - preserves literal types */
-    fieldsets: TFieldsets;
-    /** Cannot have direct fields when using fieldsets */
-    fields?: never;
-}
-/** Asset type configuration (either fields OR fieldsets). */
-type AssetTypeConfig<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[], TFieldsets extends readonly AnyFieldset[] = readonly AnyFieldset[]> = AssetTypeConfigWithFields<TFields> | AssetTypeConfigWithFieldsets<TFieldsets>;
-/** Asset type definition - preserves field types for inference. */
-interface AssetTypeDefinition<TFields extends readonly AnyFieldDefinition[] = readonly AnyFieldDefinition[], TFieldsets extends readonly AnyFieldset[] = readonly AnyFieldset[]> {
-    readonly _tag: 'assetType';
-    readonly name: string;
-    readonly displayName: string;
-    readonly displayNamePlural?: string;
-    readonly description?: string;
-    readonly ai?: AssetAIConfig;
-    readonly displayField?: string;
-    readonly accessTags?: string[];
-    readonly workflow?: ContentTypeWorkflowConfig;
-    readonly image?: ImageKindConfig;
-    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. The
- * generic type parameters preserve literal field IDs for inference, mirroring
- * `defineContentType`.
- *
- * @example
- * const productPhoto = defineAssetType('productPhoto', {
- *   displayName: 'Product Photo',
- *   image: {
- *     upload: { allowedMimeTypes: ['image/jpeg', 'image/png', 'image/webp'], maxFileSize: 10485760 },
- *     variants: [{ id: 'thumb', width: 200, height: 200, fit: 'cover', format: 'webp' }],
- *   },
- *   fields: [
- *     fields.shortText('altText', { ui: { displayName: 'Alt Text' } }),
- *   ],
- * })
- */
-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>;
-/**
- * Type alias for any asset type definition.
- */
-type AnyAssetTypeDefinition = AssetTypeDefinition<any, any>;
-type ExtractAssetFieldIds<T extends AnyAssetTypeDefinition> = NonNullable<T['fields']> extends (infer F)[] ? F extends AnyFieldDefinition ? F['id'] : ExtractFromAssetFieldsets<T> : ExtractFromAssetFieldsets<T>;
-type ExtractFromAssetFieldsets<T extends AnyAssetTypeDefinition> = NonNullable<T['fieldsets']> extends (infer FS)[] ? FS extends Fieldset<infer Fields> ? Fields extends AnyFieldDefinition[] ? Fields[number]['id'] : never : never : never;
-/**
- * Infer the TypeScript type from an asset type definition.
- *
- * Mirrors {@link InferContentType}: produces the (optional) metadata field shape
- * 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> = {
-    [K in ExtractAssetFieldIds<T> & string]?: unknown;
-} & {
-    _metadata: EntryMetadata;
+type InferSettingsGroup<T extends AnySettingsGroupDefinition, S extends FieldSchemaContext | undefined = undefined> = FieldValues<DeclaredFields<T>, S> & {
+    _metadata: SettingsGroupMetadata;
 };
 
 /**
@@ -523,19 +186,68 @@ type InferAssetType<T extends AnyAssetTypeDefinition> = {
  *
  * This is a hand-written mirror: `@relyio/sdk` is published standalone and does not depend on
  * `@relyio/schema`, so a field added there has to be added here too. When the two drifted, `limit`
- * was the casualty — the documentation writes `limit: '${limit?20}'` and this file said `number`.
+ * was the casualty — the documentation writes `limit: '${limit?20}'` and this file said `number` —
+ * and so were `fullText` and `type`, which a query pulled by `relyio generate-types` carried and
+ * this refused. `@relyio/codegen-typescript`'s `src/__tests__/sdk-definition-config.types.ts` now
+ * fails to compile when a key, whether it is required, or the values it accepts differs from the
+ * schema's, block by block (REL-1457).
+ */
+/** One value a query clause compares with. */
+type QueryScalar = string | number | boolean;
+/**
+ * The operators `where` and `filters` compare a field with — `{ price: { gte: 10 } }`.
+ *
+ * The service's one vocabulary for `where`, `filters` and `having`, which deploy refuses any other
+ * key against (REL-1479). There were four copies, and this one's `where` had no `eq` while `filters`
+ * took six operators, each a `${…}` string. A value may be a parameter expression: a list operator
+ * takes a list or a parameter that supplies one, a flag a boolean or a parameter.
+ * `@relyio/codegen-typescript`'s `sdk-definition-config.types.ts` fails to compile when an operator,
+ * or what it takes, differs from the schema's.
  */
 type WhereOperator = {
-    gte?: string | number;
-    lte?: string | number;
-    gt?: string | number;
-    lt?: string | number;
-    ne?: string | number | boolean;
-    in?: (string | number | boolean)[];
-    nin?: (string | number | boolean)[];
-    contains?: string;
-    startsWith?: string;
-    endsWith?: string;
+    /** Equal to */
+    eq?: QueryScalar;
+    /** Not equal to */
+    ne?: QueryScalar;
+    /** Greater than */
+    gt?: QueryScalar;
+    /** Greater than or equal to */
+    gte?: QueryScalar;
+    /** Less than */
+    lt?: QueryScalar;
+    /** Less than or equal to */
+    lte?: QueryScalar;
+    /** One of the values given */
+    in?: QueryScalar[] | string;
+    /** None of the values given */
+    nin?: QueryScalar[] | string;
+    /** Contains the text, ignoring case */
+    contains?: QueryScalar;
+    /** Starts with the text, ignoring case */
+    startsWith?: QueryScalar;
+    /** Ends with the text, ignoring case */
+    endsWith?: QueryScalar;
+    /** The field holds a value (true) or does not (false) */
+    exists?: boolean | string;
+    /** The field holds no value (true) or does (false) */
+    notExists?: boolean | string;
+};
+/**
+ * The operators `having` compares a metric with: the same as `where`'s, each with a literal, since
+ * `having` reads the values the aggregate computed and substitutes no parameter.
+ */
+type HavingOperator = {
+    eq?: QueryScalar;
+    ne?: QueryScalar;
+    gt?: QueryScalar;
+    gte?: QueryScalar;
+    lt?: QueryScalar;
+    lte?: QueryScalar;
+    in?: QueryScalar[];
+    nin?: QueryScalar[];
+    contains?: QueryScalar;
+    startsWith?: QueryScalar;
+    endsWith?: QueryScalar;
     exists?: boolean;
     notExists?: boolean;
 };
@@ -543,28 +255,40 @@ type WhereValue = string | number | boolean | (string | number | boolean)[] | Wh
 type WhereCondition = Record<string, WhereValue>;
 type SortDirection = 'asc' | 'desc';
 type SortCondition = Record<string, SortDirection> | Record<string, SortDirection>[];
+/** `products(status=active).count as productCount`: a relationship, filtered and counted. */
 type IncludeRelationship = {
     relationship: string;
     where?: WhereCondition;
-    aggregate?: 'count' | 'sum' | 'avg' | 'min' | 'max';
+    /**
+     * What the include answers instead of the entries it joins. `count` is the one modifier: `sum`,
+     * `avg`, `min` and `max` name no field to reduce — select one, like `products.price.sum` — and
+     * the service refuses them (REL-1479).
+     */
+    aggregate?: 'count';
+    /** The name the include answers under; the relationship's name when absent */
     alias?: string;
 };
-type IncludePath = {
+/**
+ * A path, the fields to return from it, the references to expand beneath it and which entries to
+ * join — `{ path: 'items.product', fields: ['title'], include: ['brand'] }`. The one object form of a
+ * path: `IncludePath`, `{ path, include: string[], where }`, described a subset of this one and is
+ * gone. One level beneath, as the schema declares it: a deeper `include` inside a nested path is
+ * refused at deploy.
+ */
+type IncludeSelection = {
     path: string;
     fields?: string[];
-    include?: (string | IncludePath)[];
+    include?: (string | {
+        path: string;
+        fields?: string[];
+        where?: WhereCondition;
+    })[];
     where?: WhereCondition;
 };
-type IncludeDefinition = string | string[] | (string | IncludeRelationship | IncludePath)[];
+type IncludeDefinition = string | string[] | (string | IncludeRelationship | IncludeSelection)[];
 type SelectMapping = Record<string, string>;
-type FilterOperator = {
-    gte?: string;
-    lte?: string;
-    gt?: string;
-    lt?: string;
-    in?: string;
-    nin?: string;
-};
+/** `filters` are `where` conditions bound at call time: the same operators, written the same way. */
+type FilterOperator = WhereOperator;
 type FilterDefinition = Record<string, string | FilterOperator>;
 /** A value that is either a literal or a `${param}` / `${param?default}` expression. */
 type Parameterizable<T> = T | string;
@@ -596,12 +320,22 @@ interface QueryParameter {
 /** Whether the query answers with one record or a list. Independent of how many rows match. */
 type QueryCardinality = 'one' | 'many';
 type CachePolicyObject = {
-    policy: 'public' | 'private' | 'no-cache';
+    /** Defaults to `public` */
+    policy?: 'public' | 'private' | 'no-cache';
     ttl?: number;
     staleWhileRevalidate?: number;
     tags?: string[];
 };
 type CachePolicy = string | CachePolicyObject;
+/** A text search over `fields` the query runs beside its operation block. */
+type FullTextSearch = {
+    /** The fields searched; at least one */
+    fields: string[];
+    /** The search text, usually a parameter expression such as `${q}` */
+    query: string;
+    highlight?: boolean;
+    ranking?: 'simple' | 'complex';
+};
 /**
  * Fetch block - retrieve content entries
  */
@@ -634,12 +368,15 @@ interface AggregateBlock {
         expression: string;
         as?: string;
     })[];
-    /** Aggregation operations */
-    aggregations?: Record<string, string>;
-    /** Legacy: same as aggregations */
+    /**
+     * What to compute per group, keyed by the name each answers under: `<field>.<fn>`, where `fn` is
+     * `count`, `sum`, `avg`, `min`, `max`, `first` or `last` — `{ total: 'amount.sum' }`. Deploy
+     * requires it. The one spelling: `aggregations`, which this type called the main one, was a
+     * second name deploy refused (REL-1470).
+     */
     metrics?: Record<string, string>;
     /** Having clause for filtering aggregations */
-    having?: Record<string, string | number | boolean | WhereOperator>;
+    having?: Record<string, QueryScalar | HavingOperator>;
     /** Sort order */
     sort?: SortCondition;
     /** Maximum results */
@@ -681,23 +418,6 @@ interface SearchBlock {
     /** Results offset */
     offset?: Parameterizable<number>;
 }
-/**
- * Similar block - find similar content via vector search
- */
-interface SimilarBlock {
-    /** Single content type */
-    contentType?: string;
-    /** Multiple content types or "*" for all */
-    contentTypes?: string | string[] | '*';
-    /** Source entry UID to find similar content for */
-    source: string;
-    /** Filter conditions */
-    where?: WhereCondition;
-    /** Field mapping for results */
-    fields?: SelectMapping;
-    /** Maximum results */
-    limit?: Parameterizable<number>;
-}
 /**
  * Include sub-queries for additional data
  */
@@ -709,10 +429,19 @@ interface IncludeSubQuery {
     select?: SelectMapping;
 }
 type IncludeSubQueries = Record<string, IncludeSubQuery>;
+/**
+ * Which operation block a query runs. Inferred from the block it declares when absent.
+ *
+ * `similar` is not one: deploy refused a query built on it alone and nothing ran it. Similar
+ * content is `relyio.similar(uid)` (REL-1470).
+ */
+type QueryType = 'fetch' | 'aggregate' | 'search';
 /**
  * Query definition configuration
  */
 interface QueryConfig {
+    /** Which operation block the query runs; inferred when absent */
+    type?: QueryType;
     /** API endpoint path (required, e.g., /api/featured-products) */
     endpoint: string;
     /** Query description */
@@ -723,12 +452,12 @@ interface QueryConfig {
     aggregate?: AggregateBlock;
     /** Search block for full-text/semantic search */
     search?: SearchBlock;
-    /** Similar block for vector similarity search */
-    similar?: SimilarBlock;
     /** Include sub-queries */
     include?: IncludeSubQueries;
     /** Dynamic filter definitions */
     filters?: FilterDefinition;
+    /** Full-text search over the fields it names */
+    fullText?: FullTextSearch;
     /** Field selection/mapping */
     select?: SelectMapping;
     /** Cache policy */
@@ -744,14 +473,15 @@ interface QueryConfig {
 interface QueryDefinition {
     readonly _tag: 'query';
     readonly name: string;
+    readonly type?: QueryType;
     readonly endpoint: string;
     readonly description?: string;
     readonly fetch?: FetchBlock;
     readonly aggregate?: AggregateBlock;
     readonly search?: SearchBlock;
-    readonly similar?: SimilarBlock;
     readonly include?: IncludeSubQueries;
     readonly filters?: FilterDefinition;
+    readonly fullText?: FullTextSearch;
     readonly select?: SelectMapping;
     readonly cache?: CachePolicy;
     readonly parameters?: QueryParameter[];
@@ -807,7 +537,7 @@ interface QueryDefinition {
  *     source: 'product',
  *     where: { status: 'active' },
  *     by: ['category'],
- *     aggregations: {
+ *     metrics: {
  *       totalProducts: 'id.count',
  *       avgPrice: 'price.base.avg',
  *       minPrice: 'price.base.min',
@@ -1171,16 +901,28 @@ interface AllScopeConfig {
  */
 type ViewScopeConfig = ContentTypeScopeConfig | ContentTypesScopeConfig | EntryTypeScopeConfig | AllScopeConfig;
 /**
- * Filter operators supported in view filters.
+ * The operators a view filter may name: the schema's `FILTER_OPERATORS`, which deploy parses a view
+ * with and the read core compiles every one of.
  *
- * Reverse-reference operators (`linksTo` / `doesNotLinkTo` / `hasAnyLink` /
- * `hasNoLinks`) are intentionally absent: they were advertised here without a
- * compiler, and a runtime no-op that silently drops a filter is worse than
- * refusing the type. `@relyio/entry-reads`' `declareOperatorNames` makes naming
- * an operator with no catalog `compile` a build failure. Follow-up: reverse-
- * reference operators with entry-reads P5/P6 expansion.
- */
-type ViewFilterOperator = 'is' | 'isNot' | 'contains' | 'doesNotContain' | 'startsWith' | 'endsWith' | 'isEmpty' | 'isNotEmpty' | 'equals' | 'notEquals' | 'greaterThan' | 'greaterThanOrEqual' | 'lessThan' | 'lessThanOrEqual' | 'between' | 'isBefore' | 'isAfter' | 'isOnOrBefore' | 'isOnOrAfter' | 'inTheLast' | 'inTheNext' | 'today' | 'yesterday' | 'tomorrow' | 'thisWeek' | 'lastWeek' | 'thisMonth' | 'lastMonth' | 'isTrue' | 'isFalse' | 'isAnyOf' | 'isNoneOf' | 'includes' | 'includesAll' | 'includesAny' | 'excludes';
+ * This list used to be its own: ten of its names — `doesNotContain`, `isNotEmpty`, `isOnOrBefore`,
+ * `isOnOrAfter`, `tomorrow`, `lastWeek`, `lastMonth`, `includesAll`, `includesAny`, `excludes` —
+ * are none the schema declares, so a view naming one was refused at deploy, and six the schema does
+ * declare — `notContains`, `notIncludes`, `isOn`, `isBetween`, `thisYear`, `hasValue` — could not be
+ * written here, so a view pulled by `relyio generate-types` that named one did not compile.
+ * `@relyio/codegen-typescript`'s `src/__tests__/sdk-definition-config.types.ts` holds the two to each
+ * other (REL-1457).
+ */
+type ViewFilterOperator = 'is' | 'isNot' | 'contains' | 'notContains' | 'startsWith' | 'endsWith' | 'isAnyOf' | 'isNoneOf' | 'includes' | 'notIncludes' | 'isTrue' | 'isFalse' | 'equals' | 'notEquals' | 'greaterThan' | 'lessThan' | 'greaterThanOrEqual' | 'lessThanOrEqual' | 'between' | 'isOn' | 'isBefore' | 'isAfter' | 'isBetween' | 'inTheLast' | 'inTheNext' | 'today' | 'yesterday' | 'thisWeek' | 'thisMonth' | 'thisYear' | 'isEmpty' | 'hasValue';
+/** A span of time back or forward from now, for `inTheLast` and `inTheNext`. */
+interface ViewFilterRelativeDate {
+    amount: number;
+    unit: 'minutes' | 'hours' | 'days' | 'weeks' | 'months' | 'years';
+}
+/** What a filter compares against: the schema's `FilterValueSchema`. */
+type ViewFilterValue = string | number | boolean | null | (string | number)[] | {
+    from: string | number | Date;
+    to: string | number | Date;
+} | ViewFilterRelativeDate | Date;
 /**
  * Simple filter condition
  */
@@ -1196,7 +938,7 @@ interface ViewFilterCondition {
     /**
      * Filter value (optional for some operators like isEmpty)
      */
-    value?: unknown;
+    value?: ViewFilterValue;
 }
 /**
  * Grouped filter conditions with AND/OR logic
@@ -1224,8 +966,8 @@ interface ViewConfig {
      */
     name: string;
     /**
-     * URL-friendly slug for the view (optional, auto-generated from id if not provided)
-     * Used in Studio URLs like /studio/views/:slug
+     * URL-friendly slug for the view, used in Studio URLs like /studio/views/:slug. Absent, the
+     * platform derives one from the id when it reads the schema.
      */
     slug?: string;
     /**
@@ -1282,12 +1024,40 @@ interface ViewDefinition extends ViewConfig {
      * Unique view ID (must start with a letter)
      */
     readonly id: string;
-    /**
-     * URL-friendly slug for the view
-     * Auto-generated from id if not provided in config
-     */
-    readonly slug: string;
 }
+/**
+ * Define a schema view
+ *
+ * Views are pre-configured entry list displays with filters,
+ * columns, and metadata settings.
+ *
+ * @example
+ * const publishedPosts = defineView('publishedPosts', {
+ *   name: 'Published Posts',
+ *   description: 'All published blog posts',
+ *   icon: '📝',
+ *   scope: { type: 'contentType', contentType: 'post' },
+ *   filters: [
+ *     { field: 'status', operator: 'is', value: 'published' }
+ *   ],
+ *   columns: ['title', 'author', 'publishedAt'],
+ *   metadataFields: ['category', 'views'],
+ *   sort: { field: 'publishedAt', direction: 'desc' }
+ * })
+ *
+ * @example
+ * const draftContent = defineView('draftContent', {
+ *   name: 'Drafts',
+ *   scope: { type: 'all' },
+ *   filters: [
+ *     { field: 'status', operator: 'is', value: 'draft' }
+ *   ]
+ * })
+ *
+ * @param id - Unique view ID (must start with a letter)
+ * @param config - View configuration
+ * @returns View definition object
+ */
 declare function defineView(id: string, config: ViewConfig): ViewDefinition;
 
 /**
@@ -1389,7 +1159,7 @@ interface TypedSchemaConfig<TContentTypes extends Record<string, ContentTypeDefi
  *   displayName: 'Product',
  *   fields: [
  *     fields.shortText('title', { config: { required: true }, localization: true }),
- *     fields.currency('price', { config: { currencyCode: 'USD' } }),
+ *     fields.decimal('price', { config: { min: 0, decimalPlaces: 2 } }),
  *     fields.component('seo', 'seo'),
  *   ]
  * })
@@ -1410,6 +1180,18 @@ type AnySchemaDefinition = SchemaDefinition<any, any, any, any, any, any, any, a
  * Get content type names from a schema
  */
 type SchemaContentTypeNames<T extends AnySchemaDefinition> = keyof T['contentTypes'] & string;
+/**
+ * An entry of content type `K`, typed by schema `T` as a read returns it — what `content(K)` reads,
+ * with references and components resolved against `T` (`INV-SS-TYPES-INFERRED`).
+ */
+type SchemaEntry<T extends AnySchemaDefinition, K extends SchemaContentTypeNames<T>> = InferContentType<T['contentTypes'][K], T>;
+/**
+ * An entry of any one of the content types `K` names — every content type by default — as a search
+ * across them returns it: a union, so `_metadata.type` tells a caller which it holds.
+ */
+type SchemaEntryOf<T extends AnySchemaDefinition, K extends SchemaContentTypeNames<T> = SchemaContentTypeNames<T>> = {
+    [N in K]: SchemaEntry<T, N>;
+}[K];
 /**
  * Get singleton names from a schema
  */
@@ -1435,4 +1217,4 @@ type SchemaAssetTypeNames<T extends AnySchemaDefinition> = NonNullable<T['assetT
  */
 type SchemaLocaleCodes<T extends AnySchemaDefinition> = NonNullable<T['locales']> extends readonly LocaleDefinition[] ? NonNullable<T['locales']>[number]['code'] : never;
 
-export { type VideoCaptionsConfig as $, type SettingsGroupConfig as A, type SettingsGroupDefinition as B, type ComponentConfig as C, type SettingsGroupMetadata as D, type InferSettingsGroup as E, defineAssetType as F, type AssetTypeConfig as G, type AssetTypeConfigWithFields as H, type InferSingletonContentType as I, type AssetTypeConfigWithFieldsets as J, type AssetTypeDefinition as K, type LocaleOptions as L, type InferAssetType as M, type ImageKindConfig as N, type FileKindConfig as O, type ImageTransform as P, type ImageFitMode as Q, type ImageOutputFormat as R, type SchemaConfig as S, type TextDirection as T, type ImageUploadConfig as U, type VideoKindConfig as V, type ImageSourceConfig as W, type ImageExifConfig as X, type VariantDefinition as Y, type VideoUploadConfig as Z, type VideoPosterConfig as _, type SchemaDefinition as a, type VideoDownloadConfig as a0, type VideoWatermarkConfig as a1, type FileUploadConfig as a2, type FileScanConfig as a3, defineRole as a4, isRoleDefinition as a5, isBuiltInRole as a6, getBuiltInRoleActions as a7, BUILT_IN_ROLES as a8, ROLE_ACTIONS as a9, type WhereCondition as aA, type WhereValue as aB, type WhereOperator as aC, type SortCondition as aD, type SortDirection as aE, type IncludeDefinition as aF, type SelectMapping as aG, type FilterDefinition as aH, type CachePolicy as aI, type CachePolicyObject as aJ, type IncludeSubQuery as aK, type IncludeSubQueries as aL, type Parameterizable as aM, type QueryParameter as aN, type QueryParameterType as aO, type QueryCardinality as aP, type InferQueryResponse as aQ, type InferQueryParams as aR, BUILT_IN_ROLE_ACTIONS as aa, type BuiltInRole as ab, type RoleAction as ac, type ResourcePermission as ad, type FieldVisibility as ae, type RoleConfig as af, type RoleDefinition as ag, defineView as ah, type ViewScopeConfig as ai, type ContentTypeScopeConfig as aj, type ContentTypesScopeConfig as ak, type EntryTypeScopeConfig as al, type AllScopeConfig as am, type ViewFilterOperator as an, type ViewFilterCondition as ao, type ViewFilterGroup as ap, type ViewFilter as aq, type ViewConfig as ar, type ViewDefinition as as, defineQuery as at, type QueryConfig as au, type QueryDefinition as av, type FetchBlock as aw, type AggregateBlock as ax, type SearchBlock as ay, type SimilarBlock as az, type SchemaContentTypeNames as b, type SchemaSingletonNames as c, defineSchema as d, type SchemaQueryNames as e, type SchemaLocaleCodes as f, type SchemaSettingsGroupNames as g, type SchemaAssetTypeNames as h, defineLocale as i, isLocaleDefinition as j, getLocaleCodes as k, findDefaultLocale as l, getActiveLocales as m, buildFallbackChain as n, type LocaleDefinition as o, defineSingletonContentType as p, defineSingleton as q, type SingletonContentTypeDefinition as r, type SingletonMetadata as s, type InferSingleton as t, defineComponent as u, type ComponentDefinition as v, type ComponentMetadata as w, type ComponentReusabilityMetadata as x, type ComponentValidationMetadata as y, defineSettingsGroup as z };
+export { type ViewFilterCondition as $, defineRole as A, isRoleDefinition as B, type ComponentConfig as C, isBuiltInRole as D, getBuiltInRoleActions as E, BUILT_IN_ROLES as F, BUILT_IN_ROLE_ACTIONS as G, type BuiltInRole as H, type InferSettingsGroup as I, type RoleAction as J, type ResourcePermission as K, type LocaleOptions as L, type FieldVisibility as M, type RoleConfig as N, type RoleDefinition as O, defineView as P, type ContentTypeScopeConfig as Q, ROLE_ACTIONS as R, type SchemaConfig as S, type TextDirection as T, type ContentTypesScopeConfig as U, type ViewScopeConfig as V, type EntryTypeScopeConfig as W, type AllScopeConfig as X, type ViewFilterOperator as Y, type ViewFilterValue as Z, type ViewFilterRelativeDate as _, type SchemaDefinition as a, type ViewFilterGroup as a0, type ViewFilter as a1, type ViewConfig as a2, type ViewDefinition as a3, defineQuery as a4, type QueryConfig as a5, type QueryDefinition as a6, type QueryType as a7, type FullTextSearch as a8, type FetchBlock as a9, type AggregateBlock as aa, type SearchBlock as ab, type WhereCondition as ac, type WhereValue as ad, type WhereOperator as ae, type HavingOperator as af, type QueryScalar as ag, type SortCondition as ah, type SortDirection as ai, type IncludeDefinition as aj, type IncludeRelationship as ak, type IncludeSelection as al, type SelectMapping as am, type FilterDefinition as an, type CachePolicy as ao, type CachePolicyObject as ap, type IncludeSubQuery as aq, type IncludeSubQueries as ar, type Parameterizable as as, type QueryParameter as at, type QueryParameterType as au, type QueryCardinality as av, type InferQueryResponse as aw, type InferQueryParams as ax, type FilterOperator as ay, type SchemaContentTypeNames as b, type SchemaSingletonNames as c, defineSchema as d, type SchemaQueryNames as e, type SchemaLocaleCodes as f, type SchemaSettingsGroupNames as g, type SchemaAssetTypeNames as h, type SchemaEntry as i, type SchemaEntryOf as j, defineLocale as k, isLocaleDefinition as l, getLocaleCodes as m, findDefaultLocale as n, getActiveLocales as o, buildFallbackChain as p, type LocaleDefinition as q, defineComponent as r, type ComponentDefinition as s, type ComponentMetadata as t, type ComponentReusabilityMetadata as u, type ComponentValidationMetadata as v, defineSettingsGroup as w, type SettingsGroupConfig as x, type SettingsGroupDefinition as y, type SettingsGroupMetadata as z };