@dyrected/core 2.5.65 → 2.6.1

package/dist/index.cjs

@@ -1557,6 +1557,12 @@ function generateOpenApi(config) {
             schema: { type: "string" },
             description: "JSON filter"
           },
+          {
+            name: "search",
+            in: "query",
+            schema: { type: "string" },
+            description: "Free-text search across configured searchable fields"
+          },
           {
             name: "sort",
             in: "query",
@@ -1753,13 +1759,6 @@ function generateOpenApi(config) {
         }
       };
     }
-    spec.paths[`${path}/seed`] = {
-      post: {
-        tags: [collectionTag],
-        summary: `Seed initial ${labels.plural}`,
-        responses: { 200: { description: "Seeded documents" } }
-      }
-    };
     if (collection.upload) {
       spec.paths[`${path}/media`] = {
         get: {
@@ -2061,13 +2060,6 @@ function generateOpenApi(config) {
         }
       }
     };
-    spec.paths[`${path}/seed`] = {
-      post: {
-        tags: [globalTag],
-        summary: `Seed ${global.label || slug}`,
-        responses: { 200: { description: "Seeded global" } }
-      }
-    };
   }
   if (config.storage) {
     spec.paths["/api/media/{filename}"] = {

package/dist/index.d.cts

@@ -1,5 +1,5 @@
-import { F as Field, B as Block, D as DyrectedConfig, C as CollectionConfig, A as AdminAuthConfig, P as PublicAdminAuthConfig, W as WorkflowConfig, a as AuthenticatedUser, b as WorkflowTransition, L as LifecycleEventName, c as LifecycleEvent, d as BaseDocument, H as HookRequestContext, e as ArrayField, f as BlocksField, g as BooleanField, h as AuthConfig, i as DateField, j as DateTimeField, E as EmailField, G as GlobalConfig, I as IconField, k as ImageField, J as JoinField, l as JsonField, M as MultiSelectField, N as NumberField, O as ObjectField, R as RadioField, m as RelationshipField, n as RichTextField, o as RowField, S as SelectField, T as TextField, p as TextareaField, q as TimeField, U as UrlField } from './app-config-Dv5XACR4.cjs';
-export { r as AccessFunction, s as AccessFunctionArgs, t as AccessPolicyResolver, u as AccessResult, v as AccessRule, w as AdminAuthAccessResolution, x as AdminAuthClaimMapping, y as AdminAuthMember, z as AdminAuthProvider, K as AdminAuthProviderMembersConfig, Q as AdminAuthProvisioningMode, V as AdminAuthResolveAccessArgs, X as AdminAuthResolvedIdentity, Y as AdminConfig, Z as AdminDashboardComponentSlots, _ as AdminIconName, $ as BaseAdminAuthProvider, a0 as BaseFieldAdmin, a1 as BlockVariant, a2 as BooleanFieldAdmin, a3 as BooleanFormat, a4 as CharacterLimitFieldAdmin, a5 as CharacterLimitFieldConfig, a6 as CollectionAfterChangeHook, a7 as CollectionAfterDeleteHook, a8 as CollectionAfterReadHook, a9 as CollectionAfterTransitionHook, aa as CollectionBeforeChangeHook, ab as CollectionBeforeDeleteHook, ac as CollectionBeforeReadHook, ad as CollectionBeforeTransitionHook, ae as CollectionListComponentSlots, af as CustomAdminAuthProvider, ag as DatabaseAdapter, ah as DateFieldAdmin, ai as DateFormat, aj as DisplayTone, ak as DynamicOptionItem, al as DynamicOptionsConfig, am as DynamicOptionsResolver, an as DynamicOptionsResolverArgs, ao as DyrectedLoggerConfig, ap as DyrectedObservabilityConfig, aq as EmailFieldAdmin, ar as FieldAdminHooks, as as FieldAdminOnChangeHook, at as FieldAdminOnChangeHookArgs, au as FieldAdminOptionsHook, av as FieldAdminOptionsHookArgs, aw as FieldAdminOptionsHookResult, ax as FieldAfterReadHook, ay as FieldAfterReadHookArgs, az as FieldBase, aA as FieldBeforeChangeHook, aB as FieldBeforeChangeHookArgs, aC as FieldHook, aD as FieldHooks, aE as FieldType, aF as FileData, aG as GlobalAfterChangeHook, aH as GlobalAfterReadHook, aI as GlobalBeforeChangeHook, aJ as GlobalBeforeReadHook, aK as HeadingLevel, aL as HookFunction, aM as IconFieldAdmin, aN as ImageService, aO as JsonFieldAdmin, aP as JsonFormat, aQ as LIFECYCLE_EVENT_NAMES, aR as LifecycleEventHandler, aS as LinkFormat, aT as MultiSelectFieldAdmin, aU as NamedAccessPolicy, aV as NumberFieldAdmin, aW as NumberFormat, aX as NumberLimitFieldAdmin, aY as NumberLimitFieldConfig, aZ as OIDCAdminAuthProvider, a_ as OptionFormat, a$ as PaginatedResult, b0 as PublicAdminAuthProvider, b1 as RadioFieldAdmin, b2 as RateLimitConfig, b3 as ReadonlyDatabaseAdapter, b4 as RichTextFeature, b5 as RichTextFieldConfig, b6 as SelectFieldAdmin, b7 as StorageAdapter, b8 as TextFieldAdmin, b9 as TextFormat, ba as TextareaFieldAdmin, bb as TrustProxyConfig, bc as TypedField, bd as UploadConfig, be as UrlFieldAdmin, bf as UrlLinkValue, bg as WordLimitFieldAdmin, bh as WordLimitFieldConfig, bi as WorkflowMetadata, bj as WorkflowRole, bk as WorkflowState, bl as WorkflowTransitionContext } from './app-config-Dv5XACR4.cjs';
+import { F as Field, B as Block, D as DyrectedConfig, C as CollectionConfig, A as AdminAuthConfig, P as PublicAdminAuthConfig, W as WorkflowConfig, a as AuthenticatedUser, b as WorkflowTransition, L as LifecycleEventName, c as LifecycleEvent, d as BaseDocument, H as HookRequestContext, e as ArrayField, f as BlocksField, g as BooleanField, h as AuthConfig, G as GlobalConfig, i as AccessPolicyResolver, j as DateField, k as DateTimeField, E as EmailField, I as IconField, l as ImageField, J as JoinField, m as JsonField, M as MultiSelectField, N as NumberField, O as ObjectField, R as RadioField, n as RelationshipField, o as RichTextField, p as RowField, S as SelectField, T as TextField, q as TextareaField, r as TimeField, U as UrlField } from './app-config-DCWinlNK.cjs';
+export { s as AccessFunction, t as AccessFunctionArgs, u as AccessResult, v as AccessRule, w as AdminAuthAccessResolution, x as AdminAuthClaimMapping, y as AdminAuthMember, z as AdminAuthProvider, K as AdminAuthProviderMembersConfig, Q as AdminAuthProvisioningMode, V as AdminAuthResolveAccessArgs, X as AdminAuthResolvedIdentity, Y as AdminConfig, Z as AdminDashboardComponentSlots, _ as AdminIconName, $ as BaseAdminAuthProvider, a0 as BaseFieldAdmin, a1 as BlockVariant, a2 as BooleanFieldAdmin, a3 as BooleanFormat, a4 as CharacterLimitFieldAdmin, a5 as CharacterLimitFieldConfig, a6 as CollectionAfterChangeHook, a7 as CollectionAfterDeleteHook, a8 as CollectionAfterReadHook, a9 as CollectionAfterTransitionHook, aa as CollectionBeforeChangeHook, ab as CollectionBeforeDeleteHook, ac as CollectionBeforeReadHook, ad as CollectionBeforeTransitionHook, ae as CollectionListComponentSlots, af as CustomAdminAuthProvider, ag as DatabaseAdapter, ah as DateFieldAdmin, ai as DateFormat, aj as DisplayTone, ak as DynamicOptionItem, al as DynamicOptionsConfig, am as DynamicOptionsResolver, an as DynamicOptionsResolverArgs, ao as DyrectedLoggerConfig, ap as DyrectedObservabilityConfig, aq as EmailFieldAdmin, ar as FieldAdminHooks, as as FieldAdminOnChangeHook, at as FieldAdminOnChangeHookArgs, au as FieldAdminOptionsHook, av as FieldAdminOptionsHookArgs, aw as FieldAdminOptionsHookResult, ax as FieldAfterReadHook, ay as FieldAfterReadHookArgs, az as FieldBase, aA as FieldBeforeChangeHook, aB as FieldBeforeChangeHookArgs, aC as FieldHook, aD as FieldHooks, aE as FieldType, aF as FileData, aG as GlobalAfterChangeHook, aH as GlobalAfterReadHook, aI as GlobalBeforeChangeHook, aJ as GlobalBeforeReadHook, aK as HeadingLevel, aL as HookFunction, aM as IconFieldAdmin, aN as ImageService, aO as JoinFieldAdmin, aP as JsonFieldAdmin, aQ as JsonFormat, aR as LIFECYCLE_EVENT_NAMES, aS as LifecycleEventHandler, aT as LinkFormat, aU as MultiSelectFieldAdmin, aV as NamedAccessPolicy, aW as NumberFieldAdmin, aX as NumberFormat, aY as NumberLimitFieldAdmin, aZ as NumberLimitFieldConfig, a_ as OIDCAdminAuthProvider, a$ as OptionFormat, b0 as PaginatedResult, b1 as PublicAdminAuthProvider, b2 as RadioFieldAdmin, b3 as RateLimitConfig, b4 as ReadonlyDatabaseAdapter, b5 as RichTextFeature, b6 as RichTextFieldConfig, b7 as SelectFieldAdmin, b8 as StorageAdapter, b9 as TextFieldAdmin, ba as TextFormat, bb as TextareaFieldAdmin, bc as TrustProxyConfig, bd as TypedField, be as UploadConfig, bf as UrlFieldAdmin, bg as UrlLinkValue, bh as WordLimitFieldAdmin, bi as WordLimitFieldConfig, bj as WorkflowMetadata, bk as WorkflowRole, bl as WorkflowState, bm as WorkflowTransitionContext } from './app-config-DCWinlNK.cjs';
 import 'lucide-react';
 import 'pino';
 
@@ -325,6 +325,159 @@ declare function transitionWorkflow(args: {
     req: HookRequestContext;
 }): Promise<BaseDocument>;
 
+type TopLevelFieldName<TFields extends readonly Field[]> = Extract<TFields[number], {
+    name: string;
+}>["name"];
+type InvalidReference<TLabel extends string, TReceived, TExpected extends string> = {
+    __dyrected_error__: `Invalid ${TLabel}`;
+    __dyrected_received__: TReceived;
+    __dyrected_expected__: TExpected;
+};
+type TypedReference<TValue, TExpected extends string, TLabel extends string> = TValue extends undefined ? undefined : TValue extends TExpected ? TValue : InvalidReference<TLabel, TValue, TExpected>;
+type TypedReferenceList<TValue, TExpected extends string, TLabel extends string> = TValue extends readonly unknown[] ? {
+    [K in keyof TValue]: TypedReference<TValue[K], TExpected, TLabel>;
+} : InvalidReference<`${TLabel} list`, TValue, TExpected>;
+type TypedCollectionAdmin<TFields extends readonly Field[], TDoc extends object, TAdmin extends NonNullable<CollectionConfig<TDoc>["admin"]> | undefined> = Omit<NonNullable<CollectionConfig<TDoc>["admin"]>, "useAsTitle" | "defaultColumns" | "searchableFields"> & {
+    useAsTitle?: TypedReference<PropertyType<NonNullable<TAdmin>, "useAsTitle">, TopLevelFieldName<TFields>, "field name">;
+    defaultColumns?: TypedReferenceList<PropertyType<NonNullable<TAdmin>, "defaultColumns">, TopLevelFieldName<TFields>, "field name">;
+    searchableFields?: TypedReferenceList<PropertyType<NonNullable<TAdmin>, "searchableFields">, TopLevelFieldName<TFields>, "field name">;
+};
+type TypedNestedFieldAdmin<TFields extends readonly Field[], TAdmin extends NonNullable<Field["admin"]> | undefined> = Omit<NonNullable<Field["admin"]>, "useAsTitle"> & {
+    useAsTitle?: TypedReference<PropertyType<NonNullable<TAdmin>, "useAsTitle">, TopLevelFieldName<TFields>, "field name">;
+};
+type PropertyType<T, K extends PropertyKey> = T extends {
+    [P in K]?: infer V;
+} ? V : never;
+type PolicyNames<TPolicies> = Extract<keyof NonNullable<TPolicies>, string>;
+type TypedPolicyReference<TPolicyNames extends string, TPolicy extends string | undefined> = {
+    policy: TypedReference<TPolicy, TPolicyNames, "policy name">;
+    params?: Record<string, unknown>;
+};
+type TypedAccessRule<TRule, TPolicyNames extends string> = Exclude<TRule, {
+    policy: string;
+}> | TypedPolicyReference<TPolicyNames, Extract<PropertyType<TRule, "policy">, string>>;
+type RetypeAccessObject<TAccess, TKeys extends PropertyKey, TPolicyNames extends string> = TAccess extends object ? Omit<TAccess, Extract<TKeys, keyof TAccess>> & {
+    [K in Extract<TKeys, keyof TAccess>]?: TypedAccessRule<PropertyType<TAccess, K>, TPolicyNames>;
+} : TAccess;
+type TypedFieldAccess<TAccess, TPolicyNames extends string> = RetypeAccessObject<TAccess, "read" | "create" | "update", TPolicyNames>;
+type TypedCollectionAccess<TAccess, TPolicyNames extends string> = RetypeAccessObject<TAccess, "read" | "create" | "update" | "delete" | "readAudit", TPolicyNames>;
+type TypedGlobalAccess<TAccess, TPolicyNames extends string> = RetypeAccessObject<TAccess, "read" | "update", TPolicyNames>;
+type SlugOf<T> = T extends {
+    slug: infer TSlug extends string;
+} ? TSlug : never;
+type CollectionSlug<TCollections extends readonly unknown[]> = SlugOf<TCollections[number]>;
+type BlockSlug<TBlocks extends readonly unknown[]> = SlugOf<TBlocks[number]>;
+type UploadCollectionSlug<TCollections extends readonly unknown[]> = SlugOf<Extract<TCollections[number], {
+    upload: unknown;
+}>>;
+type AuthCollectionSlug<TCollections extends readonly unknown[]> = SlugOf<Extract<TCollections[number], {
+    auth: unknown;
+}>>;
+type CollectionBySlug<TCollections extends readonly unknown[], TSlug extends string> = Extract<TCollections[number], {
+    slug: TSlug;
+}>;
+type CollectionFieldNamesBySlug<TCollections extends readonly unknown[], TSlug extends string> = CollectionBySlug<TCollections, TSlug> extends {
+    fields: infer TFields extends readonly Field[];
+} ? TopLevelFieldName<TFields> : never;
+type WorkflowStateName<TWorkflow> = TWorkflow extends {
+    states: infer TStates extends readonly unknown[];
+} ? Extract<TStates[number], {
+    name: string;
+}>["name"] : never;
+type TypedWorkflowStateValue<TValue, TWorkflow> = TValue extends readonly unknown[] ? {
+    [K in keyof TValue]: TypedReference<TValue[K], WorkflowStateName<TWorkflow>, "workflow state name">;
+} : TypedReference<TValue, WorkflowStateName<TWorkflow>, "workflow state name">;
+type TypedWorkflowTransition<TTransition, TWorkflow> = Omit<TTransition, "from" | "to"> & {
+    from: TypedWorkflowStateValue<PropertyType<TTransition, "from">, TWorkflow>;
+    to: TypedReference<PropertyType<TTransition, "to">, WorkflowStateName<TWorkflow>, "workflow state name">;
+};
+type TypedWorkflow<TWorkflow> = TWorkflow extends {
+    transitions: infer TTransitions extends readonly unknown[];
+} ? Omit<TWorkflow, "initialState" | "draftState" | "transitions"> & {
+    initialState: TypedReference<PropertyType<TWorkflow, "initialState">, WorkflowStateName<TWorkflow>, "workflow state name">;
+    draftState?: TypedReference<PropertyType<TWorkflow, "draftState">, WorkflowStateName<TWorkflow>, "workflow state name">;
+    transitions: {
+        [K in keyof TTransitions]: TypedWorkflowTransition<TTransitions[K], TWorkflow>;
+    };
+} : TWorkflow;
+type TypedBlockForConfig<TBlock extends Block, TCollections extends readonly unknown[], TRootBlocks extends readonly Block[], TPolicyNames extends string> = Omit<TBlock, "fields"> & {
+    fields: TBlock["fields"] extends readonly Field[] ? TypedFields<TBlock["fields"], TCollections, TRootBlocks, TPolicyNames> : TBlock["fields"];
+};
+type TypedBlocksForConfig<TBlocks extends readonly Block[], TCollections extends readonly unknown[], TRootBlocks extends readonly Block[], TPolicyNames extends string> = {
+    [K in keyof TBlocks]: TBlocks[K] extends Block ? TypedBlockForConfig<TBlocks[K], TCollections, TRootBlocks, TPolicyNames> : TBlocks[K];
+};
+type TypedFieldForConfig<TField extends Field, TCollections extends readonly unknown[], TBlocks extends readonly Block[], TPolicyNames extends string> = TField extends {
+    type: "relationship";
+} ? Omit<TField, "relationTo" | "access"> & {
+    relationTo?: TypedReference<PropertyType<TField, "relationTo">, CollectionSlug<TCollections>, "collection slug">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "image";
+} ? Omit<TField, "relationTo" | "access"> & {
+    relationTo?: TypedReference<PropertyType<TField, "relationTo">, UploadCollectionSlug<TCollections>, "upload collection slug">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "richText";
+} ? Omit<TField, "uploadCollection" | "access"> & {
+    uploadCollection?: TypedReference<PropertyType<TField, "uploadCollection">, UploadCollectionSlug<TCollections>, "upload collection slug">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "join";
+} ? Omit<TField, "collection" | "on" | "access"> & {
+    collection?: TypedReference<PropertyType<TField, "collection">, CollectionSlug<TCollections>, "collection slug">;
+    on?: TypedReference<PropertyType<TField, "on">, CollectionFieldNamesBySlug<TCollections, Extract<PropertyType<TField, "collection">, string>> | TopLevelFieldName<Extract<CollectionBySlug<TCollections, CollectionSlug<TCollections>>, {
+        fields: readonly Field[];
+    }>["fields"]>, "field name">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "blocks";
+} ? Omit<TField, "blocks" | "blockReferences" | "access"> & {
+    blocks?: TField["blocks"] extends readonly Block[] ? TypedBlocksForConfig<TField["blocks"], TCollections, TBlocks, TPolicyNames> : TField["blocks"];
+    blockReferences?: TypedReferenceList<PropertyType<TField, "blockReferences">, BlockSlug<TBlocks>, "block slug">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "array";
+    fields: infer TSubFields extends readonly Field[];
+} ? Omit<TField, "fields" | "access" | "admin"> & {
+    fields: TypedFields<TSubFields, TCollections, TBlocks, TPolicyNames>;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+    admin?: TypedNestedFieldAdmin<TSubFields, PropertyType<TField, "admin">>;
+} : TField extends {
+    type: "object";
+    fields: infer TSubFields extends readonly Field[];
+} ? Omit<TField, "fields" | "access" | "admin"> & {
+    fields: TypedFields<TSubFields, TCollections, TBlocks, TPolicyNames>;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+    admin?: TypedNestedFieldAdmin<TSubFields, PropertyType<TField, "admin">>;
+} : TField extends {
+    fields: infer TSubFields extends readonly Field[];
+} ? Omit<TField, "fields" | "access"> & {
+    fields: TypedFields<TSubFields, TCollections, TBlocks, TPolicyNames>;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : Omit<TField, "access"> & {
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+};
+type TypedFields<TFields extends readonly Field[], TCollections extends readonly unknown[], TBlocks extends readonly Block[], TPolicyNames extends string> = {
+    [K in keyof TFields]: TFields[K] extends Field ? TypedFieldForConfig<TFields[K], TCollections, TBlocks, TPolicyNames> : TFields[K];
+};
+type TypedCollectionForConfig<TCollection extends CollectionConfig<any>, TCollections extends readonly CollectionConfig<any>[], TBlocks extends readonly Block[], TPolicyNames extends string> = Omit<TCollection, "fields" | "access" | "workflow"> & {
+    fields: TCollection["fields"] extends readonly Field[] ? TypedFields<TCollection["fields"], TCollections, TBlocks, TPolicyNames> : TCollection["fields"];
+    access?: TypedCollectionAccess<NonNullable<TCollection["access"]>, TPolicyNames>;
+    workflow?: TypedWorkflow<NonNullable<TCollection["workflow"]>>;
+};
+type TypedCollections<TCollections extends readonly CollectionConfig<any>[], TAllCollections extends readonly CollectionConfig<any>[], TBlocks extends readonly Block[], TPolicyNames extends string> = {
+    [K in keyof TCollections]: TCollections[K] extends CollectionConfig<any> ? TypedCollectionForConfig<TCollections[K], TAllCollections, TBlocks, TPolicyNames> : TCollections[K];
+};
+type TypedGlobalForConfig<TGlobal extends GlobalConfig<any>, TCollections extends readonly CollectionConfig<any>[], TBlocks extends readonly Block[], TPolicyNames extends string> = Omit<TGlobal, "fields" | "access"> & {
+    fields: TGlobal["fields"] extends readonly Field[] ? TypedFields<TGlobal["fields"], TCollections, TBlocks, TPolicyNames> : TGlobal["fields"];
+    access?: TypedGlobalAccess<NonNullable<TGlobal["access"]>, TPolicyNames>;
+};
+type TypedGlobals<TGlobals extends readonly GlobalConfig<any>[], TCollections extends readonly CollectionConfig<any>[], TBlocks extends readonly Block[], TPolicyNames extends string> = {
+    [K in keyof TGlobals]: TGlobals[K] extends GlobalConfig<any> ? TypedGlobalForConfig<TGlobals[K], TCollections, TBlocks, TPolicyNames> : TGlobals[K];
+};
+type TypedAdminAuthConfig<TAdminAuth, TCollections extends readonly CollectionConfig<any>[]> = TAdminAuth extends object ? Omit<TAdminAuth, "collectionSlug"> & {
+    collectionSlug?: TypedReference<PropertyType<TAdminAuth, "collectionSlug">, AuthCollectionSlug<TCollections>, "auth collection slug">;
+} : TAdminAuth;
 /**
  * Define a collection. When called without an explicit type argument, TypeScript
  * automatically infers the document shape from the `fields` array you provide —
@@ -354,30 +507,42 @@ declare function transitionWorkflow(args: {
  * export const Posts = defineCollection<Post>({ ... })
  * ```
  */
-declare function defineCollection<const TFields extends Field[]>(config: Omit<CollectionConfig<Prettify<{
+declare function defineCollection<const TSlug extends string, const TFields extends Field[], const TAdmin extends NonNullable<CollectionConfig<Prettify<{
+    id: string;
+} & InferDocShape<TFields> & SystemDocFields & AuthDocFields>>["admin"]> | undefined, const TConfig extends Omit<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields & AuthDocFields>>, "fields" | "auth"> & {
+} & InferDocShape<TFields> & SystemDocFields & AuthDocFields>>, "fields" | "auth" | "admin"> & {
+    slug: TSlug;
     fields: TFields;
     auth: true | AuthConfig;
-}): CollectionConfig<Prettify<{
+    admin?: TypedCollectionAdmin<TFields, Prettify<{
+        id: string;
+    } & InferDocShape<TFields> & SystemDocFields & AuthDocFields>, TAdmin>;
+}>(config: TConfig): TConfig;
+declare function defineCollection<const TSlug extends string, const TFields extends Field[], const TAdmin extends NonNullable<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields & AuthDocFields>>;
-declare function defineCollection<const TFields extends Field[]>(config: Omit<CollectionConfig<Prettify<{
+} & InferDocShape<TFields> & SystemDocFields & UploadDocFields>>["admin"]> | undefined, const TConfig extends Omit<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields & UploadDocFields>>, "fields" | "upload"> & {
+} & InferDocShape<TFields> & SystemDocFields & UploadDocFields>>, "fields" | "upload" | "admin"> & {
+    slug: TSlug;
     fields: TFields;
     upload: true;
-}): CollectionConfig<Prettify<{
+    admin?: TypedCollectionAdmin<TFields, Prettify<{
+        id: string;
+    } & InferDocShape<TFields> & SystemDocFields & UploadDocFields>, TAdmin>;
+}>(config: TConfig): TConfig;
+declare function defineCollection<const TSlug extends string, const TFields extends Field[], const TAdmin extends NonNullable<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields & UploadDocFields>>;
-declare function defineCollection<const TFields extends Field[]>(config: Omit<CollectionConfig<Prettify<{
+} & InferDocShape<TFields> & SystemDocFields>>["admin"]> | undefined, const TConfig extends Omit<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields>>, "fields"> & {
+} & InferDocShape<TFields> & SystemDocFields>>, "fields" | "admin"> & {
+    slug: TSlug;
     fields: TFields;
-}): CollectionConfig<Prettify<{
-    id: string;
-} & InferDocShape<TFields> & SystemDocFields>>;
-declare function defineCollection<TDoc extends object>(config: CollectionConfig<TDoc>): CollectionConfig<TDoc>;
+    admin?: TypedCollectionAdmin<TFields, Prettify<{
+        id: string;
+    } & InferDocShape<TFields> & SystemDocFields>, TAdmin>;
+}>(config: TConfig): TConfig;
+declare function defineCollection<TDoc extends object, const TConfig extends CollectionConfig<TDoc>>(config: TConfig): TConfig;
 /**
  * Define a global (singleton document). TypeScript automatically infers the
  * document shape from the `fields` array, or you can pass an explicit type:
@@ -403,10 +568,11 @@ declare function defineCollection<TDoc extends object>(config: CollectionConfig<
  * export const Settings = defineGlobal<SiteSettings>({ ... })
  * ```
  */
-declare function defineGlobal<const TFields extends Field[]>(config: Omit<GlobalConfig<Prettify<InferDocShape<TFields>>>, "fields"> & {
+declare function defineGlobal<const TSlug extends string, const TFields extends Field[], const TConfig extends Omit<GlobalConfig<Prettify<InferDocShape<TFields>>>, "fields"> & {
+    slug: TSlug;
     fields: TFields;
-}): GlobalConfig<Prettify<InferDocShape<TFields>>>;
-declare function defineGlobal<TDoc extends object>(config: GlobalConfig<TDoc>): GlobalConfig<TDoc>;
+}>(config: TConfig): TConfig;
+declare function defineGlobal<TDoc extends object, const TConfig extends GlobalConfig<TDoc>>(config: TConfig): TConfig;
 /**
  * Define the root Dyrected configuration.
  *
@@ -414,7 +580,13 @@ declare function defineGlobal<TDoc extends object>(config: GlobalConfig<TDoc>):
  * the database adapter, collections, globals, storage, email, and all other
  * server-level configuration.
  */
-declare function defineConfig<TUser extends AuthenticatedUser = AuthenticatedUser>(config: DyrectedConfig<TUser>): DyrectedConfig<TUser>;
+declare function defineConfig<TUser extends AuthenticatedUser = AuthenticatedUser, const TBlocks extends readonly Block[] = [], const TCollections extends readonly CollectionConfig<any>[] = [], const TGlobals extends readonly GlobalConfig<any>[] = [], const TAdminAuth extends DyrectedConfig<TUser>["adminAuth"] | undefined = undefined, const TPolicies extends Record<string, AccessPolicyResolver<Record<string, unknown>, TUser> | string | boolean> | undefined = undefined>(config: Omit<DyrectedConfig<TUser>, "blocks" | "collections" | "globals" | "accessPolicies" | "adminAuth"> & {
+    blocks?: TypedBlocksForConfig<TBlocks, TCollections, TBlocks, PolicyNames<TPolicies>>;
+    collections: TypedCollections<TCollections, TCollections, TBlocks, PolicyNames<TPolicies>>;
+    globals: TypedGlobals<TGlobals, TCollections, TBlocks, PolicyNames<TPolicies>>;
+    accessPolicies?: TPolicies;
+    adminAuth?: TypedAdminAuthConfig<TAdminAuth, TCollections>;
+}): typeof config;
 /**
  * Define a single field of any type. This is an identity helper: it returns the
  * field unchanged at runtime but preserves the exact literal type, so document
@@ -571,4 +743,4 @@ declare function defineTab<const T extends readonly Field[]>(args: {
     fields: T;
 }): T;
 
-export { AdminAuthConfig, ArrayField, AuthConfig, type AuthDocFields, AuthenticatedUser, BaseDocument, Block, BlocksField, BooleanField, CollectionConfig, DateField, DateTimeField, DyrectedConfig, EmailField, Field, GlobalConfig, HookRequestContext, IconField, ImageField, type InferDocShape, JoinField, JsonField, LIFECYCLE_EVENTS_COLLECTION, LifecycleEvent, LifecycleEventName, MultiSelectField, NumberField, ObjectField, type Prettify, PublicAdminAuthConfig, type PublishingWorkflowOptions, RadioField, RelationshipField, RichTextField, RowField, SelectField, type SortClause, type SortDirection, type SqlSortDialect, type SqlWhereResult, type SystemDocFields, TextField, TextareaField, TimeField, type UploadDocFields, UrlField, WORKFLOW_HISTORY_COLLECTION, type WhereClause, type WhereOperator, type WhereOperatorName, WorkflowConfig, WorkflowTransition, availableWorkflowTransitions, buildSqlOrderBy, canViewWorkflowDraft, createLifecycleEvent, createWorkflowDocument, defineArrayField, defineBlock, defineBlocksField, defineBooleanField, defineCollection, defineConfig, defineDateField, defineDateTimeField, defineEmailField, defineField, defineGlobal, defineIconField, defineImageField, defineJoinField, defineJsonField, defineMultiSelectField, defineNumberField, defineObjectField, definePublishingWorkflow, defineRadioField, defineRelationshipField, defineRichTextField, defineRowField, defineSelectField, defineTab, defineTextField, defineTextareaField, defineTimeField, defineUrlField, dispatchLifecycleEvent, dispatchPendingLifecycleEvents, executeFieldAfterRead, executeFieldBeforeChange, generateOpenApi, getAdminAuthCollection, getPublicAdminAuthConfig, initializeWorkflowDocument, materializeWorkflowDocument, normalizeConfig, numericFieldNames, parseMongoWhere, parseSort, parseSqlWhere, publishedStateName, publishingWorkflow, resolveAdminAuthCollection, runCollectionHooks, saveWorkflowDraft, simplePublishingWorkflow, transitionWorkflow, workflowCapabilities };
+export { AccessPolicyResolver, AdminAuthConfig, ArrayField, AuthConfig, type AuthDocFields, AuthenticatedUser, BaseDocument, Block, BlocksField, BooleanField, CollectionConfig, DateField, DateTimeField, DyrectedConfig, EmailField, Field, GlobalConfig, HookRequestContext, IconField, ImageField, type InferDocShape, JoinField, JsonField, LIFECYCLE_EVENTS_COLLECTION, LifecycleEvent, LifecycleEventName, MultiSelectField, NumberField, ObjectField, type Prettify, PublicAdminAuthConfig, type PublishingWorkflowOptions, RadioField, RelationshipField, RichTextField, RowField, SelectField, type SortClause, type SortDirection, type SqlSortDialect, type SqlWhereResult, type SystemDocFields, TextField, TextareaField, TimeField, type UploadDocFields, UrlField, WORKFLOW_HISTORY_COLLECTION, type WhereClause, type WhereOperator, type WhereOperatorName, WorkflowConfig, WorkflowTransition, availableWorkflowTransitions, buildSqlOrderBy, canViewWorkflowDraft, createLifecycleEvent, createWorkflowDocument, defineArrayField, defineBlock, defineBlocksField, defineBooleanField, defineCollection, defineConfig, defineDateField, defineDateTimeField, defineEmailField, defineField, defineGlobal, defineIconField, defineImageField, defineJoinField, defineJsonField, defineMultiSelectField, defineNumberField, defineObjectField, definePublishingWorkflow, defineRadioField, defineRelationshipField, defineRichTextField, defineRowField, defineSelectField, defineTab, defineTextField, defineTextareaField, defineTimeField, defineUrlField, dispatchLifecycleEvent, dispatchPendingLifecycleEvents, executeFieldAfterRead, executeFieldBeforeChange, generateOpenApi, getAdminAuthCollection, getPublicAdminAuthConfig, initializeWorkflowDocument, materializeWorkflowDocument, normalizeConfig, numericFieldNames, parseMongoWhere, parseSort, parseSqlWhere, publishedStateName, publishingWorkflow, resolveAdminAuthCollection, runCollectionHooks, saveWorkflowDraft, simplePublishingWorkflow, transitionWorkflow, workflowCapabilities };

package/dist/index.d.ts

@@ -1,5 +1,5 @@
-import { F as Field, B as Block, D as DyrectedConfig, C as CollectionConfig, A as AdminAuthConfig, P as PublicAdminAuthConfig, W as WorkflowConfig, a as AuthenticatedUser, b as WorkflowTransition, L as LifecycleEventName, c as LifecycleEvent, d as BaseDocument, H as HookRequestContext, e as ArrayField, f as BlocksField, g as BooleanField, h as AuthConfig, i as DateField, j as DateTimeField, E as EmailField, G as GlobalConfig, I as IconField, k as ImageField, J as JoinField, l as JsonField, M as MultiSelectField, N as NumberField, O as ObjectField, R as RadioField, m as RelationshipField, n as RichTextField, o as RowField, S as SelectField, T as TextField, p as TextareaField, q as TimeField, U as UrlField } from './app-config-Dv5XACR4.js';
-export { r as AccessFunction, s as AccessFunctionArgs, t as AccessPolicyResolver, u as AccessResult, v as AccessRule, w as AdminAuthAccessResolution, x as AdminAuthClaimMapping, y as AdminAuthMember, z as AdminAuthProvider, K as AdminAuthProviderMembersConfig, Q as AdminAuthProvisioningMode, V as AdminAuthResolveAccessArgs, X as AdminAuthResolvedIdentity, Y as AdminConfig, Z as AdminDashboardComponentSlots, _ as AdminIconName, $ as BaseAdminAuthProvider, a0 as BaseFieldAdmin, a1 as BlockVariant, a2 as BooleanFieldAdmin, a3 as BooleanFormat, a4 as CharacterLimitFieldAdmin, a5 as CharacterLimitFieldConfig, a6 as CollectionAfterChangeHook, a7 as CollectionAfterDeleteHook, a8 as CollectionAfterReadHook, a9 as CollectionAfterTransitionHook, aa as CollectionBeforeChangeHook, ab as CollectionBeforeDeleteHook, ac as CollectionBeforeReadHook, ad as CollectionBeforeTransitionHook, ae as CollectionListComponentSlots, af as CustomAdminAuthProvider, ag as DatabaseAdapter, ah as DateFieldAdmin, ai as DateFormat, aj as DisplayTone, ak as DynamicOptionItem, al as DynamicOptionsConfig, am as DynamicOptionsResolver, an as DynamicOptionsResolverArgs, ao as DyrectedLoggerConfig, ap as DyrectedObservabilityConfig, aq as EmailFieldAdmin, ar as FieldAdminHooks, as as FieldAdminOnChangeHook, at as FieldAdminOnChangeHookArgs, au as FieldAdminOptionsHook, av as FieldAdminOptionsHookArgs, aw as FieldAdminOptionsHookResult, ax as FieldAfterReadHook, ay as FieldAfterReadHookArgs, az as FieldBase, aA as FieldBeforeChangeHook, aB as FieldBeforeChangeHookArgs, aC as FieldHook, aD as FieldHooks, aE as FieldType, aF as FileData, aG as GlobalAfterChangeHook, aH as GlobalAfterReadHook, aI as GlobalBeforeChangeHook, aJ as GlobalBeforeReadHook, aK as HeadingLevel, aL as HookFunction, aM as IconFieldAdmin, aN as ImageService, aO as JsonFieldAdmin, aP as JsonFormat, aQ as LIFECYCLE_EVENT_NAMES, aR as LifecycleEventHandler, aS as LinkFormat, aT as MultiSelectFieldAdmin, aU as NamedAccessPolicy, aV as NumberFieldAdmin, aW as NumberFormat, aX as NumberLimitFieldAdmin, aY as NumberLimitFieldConfig, aZ as OIDCAdminAuthProvider, a_ as OptionFormat, a$ as PaginatedResult, b0 as PublicAdminAuthProvider, b1 as RadioFieldAdmin, b2 as RateLimitConfig, b3 as ReadonlyDatabaseAdapter, b4 as RichTextFeature, b5 as RichTextFieldConfig, b6 as SelectFieldAdmin, b7 as StorageAdapter, b8 as TextFieldAdmin, b9 as TextFormat, ba as TextareaFieldAdmin, bb as TrustProxyConfig, bc as TypedField, bd as UploadConfig, be as UrlFieldAdmin, bf as UrlLinkValue, bg as WordLimitFieldAdmin, bh as WordLimitFieldConfig, bi as WorkflowMetadata, bj as WorkflowRole, bk as WorkflowState, bl as WorkflowTransitionContext } from './app-config-Dv5XACR4.js';
+import { F as Field, B as Block, D as DyrectedConfig, C as CollectionConfig, A as AdminAuthConfig, P as PublicAdminAuthConfig, W as WorkflowConfig, a as AuthenticatedUser, b as WorkflowTransition, L as LifecycleEventName, c as LifecycleEvent, d as BaseDocument, H as HookRequestContext, e as ArrayField, f as BlocksField, g as BooleanField, h as AuthConfig, G as GlobalConfig, i as AccessPolicyResolver, j as DateField, k as DateTimeField, E as EmailField, I as IconField, l as ImageField, J as JoinField, m as JsonField, M as MultiSelectField, N as NumberField, O as ObjectField, R as RadioField, n as RelationshipField, o as RichTextField, p as RowField, S as SelectField, T as TextField, q as TextareaField, r as TimeField, U as UrlField } from './app-config-DCWinlNK.js';
+export { s as AccessFunction, t as AccessFunctionArgs, u as AccessResult, v as AccessRule, w as AdminAuthAccessResolution, x as AdminAuthClaimMapping, y as AdminAuthMember, z as AdminAuthProvider, K as AdminAuthProviderMembersConfig, Q as AdminAuthProvisioningMode, V as AdminAuthResolveAccessArgs, X as AdminAuthResolvedIdentity, Y as AdminConfig, Z as AdminDashboardComponentSlots, _ as AdminIconName, $ as BaseAdminAuthProvider, a0 as BaseFieldAdmin, a1 as BlockVariant, a2 as BooleanFieldAdmin, a3 as BooleanFormat, a4 as CharacterLimitFieldAdmin, a5 as CharacterLimitFieldConfig, a6 as CollectionAfterChangeHook, a7 as CollectionAfterDeleteHook, a8 as CollectionAfterReadHook, a9 as CollectionAfterTransitionHook, aa as CollectionBeforeChangeHook, ab as CollectionBeforeDeleteHook, ac as CollectionBeforeReadHook, ad as CollectionBeforeTransitionHook, ae as CollectionListComponentSlots, af as CustomAdminAuthProvider, ag as DatabaseAdapter, ah as DateFieldAdmin, ai as DateFormat, aj as DisplayTone, ak as DynamicOptionItem, al as DynamicOptionsConfig, am as DynamicOptionsResolver, an as DynamicOptionsResolverArgs, ao as DyrectedLoggerConfig, ap as DyrectedObservabilityConfig, aq as EmailFieldAdmin, ar as FieldAdminHooks, as as FieldAdminOnChangeHook, at as FieldAdminOnChangeHookArgs, au as FieldAdminOptionsHook, av as FieldAdminOptionsHookArgs, aw as FieldAdminOptionsHookResult, ax as FieldAfterReadHook, ay as FieldAfterReadHookArgs, az as FieldBase, aA as FieldBeforeChangeHook, aB as FieldBeforeChangeHookArgs, aC as FieldHook, aD as FieldHooks, aE as FieldType, aF as FileData, aG as GlobalAfterChangeHook, aH as GlobalAfterReadHook, aI as GlobalBeforeChangeHook, aJ as GlobalBeforeReadHook, aK as HeadingLevel, aL as HookFunction, aM as IconFieldAdmin, aN as ImageService, aO as JoinFieldAdmin, aP as JsonFieldAdmin, aQ as JsonFormat, aR as LIFECYCLE_EVENT_NAMES, aS as LifecycleEventHandler, aT as LinkFormat, aU as MultiSelectFieldAdmin, aV as NamedAccessPolicy, aW as NumberFieldAdmin, aX as NumberFormat, aY as NumberLimitFieldAdmin, aZ as NumberLimitFieldConfig, a_ as OIDCAdminAuthProvider, a$ as OptionFormat, b0 as PaginatedResult, b1 as PublicAdminAuthProvider, b2 as RadioFieldAdmin, b3 as RateLimitConfig, b4 as ReadonlyDatabaseAdapter, b5 as RichTextFeature, b6 as RichTextFieldConfig, b7 as SelectFieldAdmin, b8 as StorageAdapter, b9 as TextFieldAdmin, ba as TextFormat, bb as TextareaFieldAdmin, bc as TrustProxyConfig, bd as TypedField, be as UploadConfig, bf as UrlFieldAdmin, bg as UrlLinkValue, bh as WordLimitFieldAdmin, bi as WordLimitFieldConfig, bj as WorkflowMetadata, bk as WorkflowRole, bl as WorkflowState, bm as WorkflowTransitionContext } from './app-config-DCWinlNK.js';
 import 'lucide-react';
 import 'pino';
 
@@ -325,6 +325,159 @@ declare function transitionWorkflow(args: {
     req: HookRequestContext;
 }): Promise<BaseDocument>;
 
+type TopLevelFieldName<TFields extends readonly Field[]> = Extract<TFields[number], {
+    name: string;
+}>["name"];
+type InvalidReference<TLabel extends string, TReceived, TExpected extends string> = {
+    __dyrected_error__: `Invalid ${TLabel}`;
+    __dyrected_received__: TReceived;
+    __dyrected_expected__: TExpected;
+};
+type TypedReference<TValue, TExpected extends string, TLabel extends string> = TValue extends undefined ? undefined : TValue extends TExpected ? TValue : InvalidReference<TLabel, TValue, TExpected>;
+type TypedReferenceList<TValue, TExpected extends string, TLabel extends string> = TValue extends readonly unknown[] ? {
+    [K in keyof TValue]: TypedReference<TValue[K], TExpected, TLabel>;
+} : InvalidReference<`${TLabel} list`, TValue, TExpected>;
+type TypedCollectionAdmin<TFields extends readonly Field[], TDoc extends object, TAdmin extends NonNullable<CollectionConfig<TDoc>["admin"]> | undefined> = Omit<NonNullable<CollectionConfig<TDoc>["admin"]>, "useAsTitle" | "defaultColumns" | "searchableFields"> & {
+    useAsTitle?: TypedReference<PropertyType<NonNullable<TAdmin>, "useAsTitle">, TopLevelFieldName<TFields>, "field name">;
+    defaultColumns?: TypedReferenceList<PropertyType<NonNullable<TAdmin>, "defaultColumns">, TopLevelFieldName<TFields>, "field name">;
+    searchableFields?: TypedReferenceList<PropertyType<NonNullable<TAdmin>, "searchableFields">, TopLevelFieldName<TFields>, "field name">;
+};
+type TypedNestedFieldAdmin<TFields extends readonly Field[], TAdmin extends NonNullable<Field["admin"]> | undefined> = Omit<NonNullable<Field["admin"]>, "useAsTitle"> & {
+    useAsTitle?: TypedReference<PropertyType<NonNullable<TAdmin>, "useAsTitle">, TopLevelFieldName<TFields>, "field name">;
+};
+type PropertyType<T, K extends PropertyKey> = T extends {
+    [P in K]?: infer V;
+} ? V : never;
+type PolicyNames<TPolicies> = Extract<keyof NonNullable<TPolicies>, string>;
+type TypedPolicyReference<TPolicyNames extends string, TPolicy extends string | undefined> = {
+    policy: TypedReference<TPolicy, TPolicyNames, "policy name">;
+    params?: Record<string, unknown>;
+};
+type TypedAccessRule<TRule, TPolicyNames extends string> = Exclude<TRule, {
+    policy: string;
+}> | TypedPolicyReference<TPolicyNames, Extract<PropertyType<TRule, "policy">, string>>;
+type RetypeAccessObject<TAccess, TKeys extends PropertyKey, TPolicyNames extends string> = TAccess extends object ? Omit<TAccess, Extract<TKeys, keyof TAccess>> & {
+    [K in Extract<TKeys, keyof TAccess>]?: TypedAccessRule<PropertyType<TAccess, K>, TPolicyNames>;
+} : TAccess;
+type TypedFieldAccess<TAccess, TPolicyNames extends string> = RetypeAccessObject<TAccess, "read" | "create" | "update", TPolicyNames>;
+type TypedCollectionAccess<TAccess, TPolicyNames extends string> = RetypeAccessObject<TAccess, "read" | "create" | "update" | "delete" | "readAudit", TPolicyNames>;
+type TypedGlobalAccess<TAccess, TPolicyNames extends string> = RetypeAccessObject<TAccess, "read" | "update", TPolicyNames>;
+type SlugOf<T> = T extends {
+    slug: infer TSlug extends string;
+} ? TSlug : never;
+type CollectionSlug<TCollections extends readonly unknown[]> = SlugOf<TCollections[number]>;
+type BlockSlug<TBlocks extends readonly unknown[]> = SlugOf<TBlocks[number]>;
+type UploadCollectionSlug<TCollections extends readonly unknown[]> = SlugOf<Extract<TCollections[number], {
+    upload: unknown;
+}>>;
+type AuthCollectionSlug<TCollections extends readonly unknown[]> = SlugOf<Extract<TCollections[number], {
+    auth: unknown;
+}>>;
+type CollectionBySlug<TCollections extends readonly unknown[], TSlug extends string> = Extract<TCollections[number], {
+    slug: TSlug;
+}>;
+type CollectionFieldNamesBySlug<TCollections extends readonly unknown[], TSlug extends string> = CollectionBySlug<TCollections, TSlug> extends {
+    fields: infer TFields extends readonly Field[];
+} ? TopLevelFieldName<TFields> : never;
+type WorkflowStateName<TWorkflow> = TWorkflow extends {
+    states: infer TStates extends readonly unknown[];
+} ? Extract<TStates[number], {
+    name: string;
+}>["name"] : never;
+type TypedWorkflowStateValue<TValue, TWorkflow> = TValue extends readonly unknown[] ? {
+    [K in keyof TValue]: TypedReference<TValue[K], WorkflowStateName<TWorkflow>, "workflow state name">;
+} : TypedReference<TValue, WorkflowStateName<TWorkflow>, "workflow state name">;
+type TypedWorkflowTransition<TTransition, TWorkflow> = Omit<TTransition, "from" | "to"> & {
+    from: TypedWorkflowStateValue<PropertyType<TTransition, "from">, TWorkflow>;
+    to: TypedReference<PropertyType<TTransition, "to">, WorkflowStateName<TWorkflow>, "workflow state name">;
+};
+type TypedWorkflow<TWorkflow> = TWorkflow extends {
+    transitions: infer TTransitions extends readonly unknown[];
+} ? Omit<TWorkflow, "initialState" | "draftState" | "transitions"> & {
+    initialState: TypedReference<PropertyType<TWorkflow, "initialState">, WorkflowStateName<TWorkflow>, "workflow state name">;
+    draftState?: TypedReference<PropertyType<TWorkflow, "draftState">, WorkflowStateName<TWorkflow>, "workflow state name">;
+    transitions: {
+        [K in keyof TTransitions]: TypedWorkflowTransition<TTransitions[K], TWorkflow>;
+    };
+} : TWorkflow;
+type TypedBlockForConfig<TBlock extends Block, TCollections extends readonly unknown[], TRootBlocks extends readonly Block[], TPolicyNames extends string> = Omit<TBlock, "fields"> & {
+    fields: TBlock["fields"] extends readonly Field[] ? TypedFields<TBlock["fields"], TCollections, TRootBlocks, TPolicyNames> : TBlock["fields"];
+};
+type TypedBlocksForConfig<TBlocks extends readonly Block[], TCollections extends readonly unknown[], TRootBlocks extends readonly Block[], TPolicyNames extends string> = {
+    [K in keyof TBlocks]: TBlocks[K] extends Block ? TypedBlockForConfig<TBlocks[K], TCollections, TRootBlocks, TPolicyNames> : TBlocks[K];
+};
+type TypedFieldForConfig<TField extends Field, TCollections extends readonly unknown[], TBlocks extends readonly Block[], TPolicyNames extends string> = TField extends {
+    type: "relationship";
+} ? Omit<TField, "relationTo" | "access"> & {
+    relationTo?: TypedReference<PropertyType<TField, "relationTo">, CollectionSlug<TCollections>, "collection slug">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "image";
+} ? Omit<TField, "relationTo" | "access"> & {
+    relationTo?: TypedReference<PropertyType<TField, "relationTo">, UploadCollectionSlug<TCollections>, "upload collection slug">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "richText";
+} ? Omit<TField, "uploadCollection" | "access"> & {
+    uploadCollection?: TypedReference<PropertyType<TField, "uploadCollection">, UploadCollectionSlug<TCollections>, "upload collection slug">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "join";
+} ? Omit<TField, "collection" | "on" | "access"> & {
+    collection?: TypedReference<PropertyType<TField, "collection">, CollectionSlug<TCollections>, "collection slug">;
+    on?: TypedReference<PropertyType<TField, "on">, CollectionFieldNamesBySlug<TCollections, Extract<PropertyType<TField, "collection">, string>> | TopLevelFieldName<Extract<CollectionBySlug<TCollections, CollectionSlug<TCollections>>, {
+        fields: readonly Field[];
+    }>["fields"]>, "field name">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "blocks";
+} ? Omit<TField, "blocks" | "blockReferences" | "access"> & {
+    blocks?: TField["blocks"] extends readonly Block[] ? TypedBlocksForConfig<TField["blocks"], TCollections, TBlocks, TPolicyNames> : TField["blocks"];
+    blockReferences?: TypedReferenceList<PropertyType<TField, "blockReferences">, BlockSlug<TBlocks>, "block slug">;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : TField extends {
+    type: "array";
+    fields: infer TSubFields extends readonly Field[];
+} ? Omit<TField, "fields" | "access" | "admin"> & {
+    fields: TypedFields<TSubFields, TCollections, TBlocks, TPolicyNames>;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+    admin?: TypedNestedFieldAdmin<TSubFields, PropertyType<TField, "admin">>;
+} : TField extends {
+    type: "object";
+    fields: infer TSubFields extends readonly Field[];
+} ? Omit<TField, "fields" | "access" | "admin"> & {
+    fields: TypedFields<TSubFields, TCollections, TBlocks, TPolicyNames>;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+    admin?: TypedNestedFieldAdmin<TSubFields, PropertyType<TField, "admin">>;
+} : TField extends {
+    fields: infer TSubFields extends readonly Field[];
+} ? Omit<TField, "fields" | "access"> & {
+    fields: TypedFields<TSubFields, TCollections, TBlocks, TPolicyNames>;
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+} : Omit<TField, "access"> & {
+    access?: TypedFieldAccess<NonNullable<TField["access"]>, TPolicyNames>;
+};
+type TypedFields<TFields extends readonly Field[], TCollections extends readonly unknown[], TBlocks extends readonly Block[], TPolicyNames extends string> = {
+    [K in keyof TFields]: TFields[K] extends Field ? TypedFieldForConfig<TFields[K], TCollections, TBlocks, TPolicyNames> : TFields[K];
+};
+type TypedCollectionForConfig<TCollection extends CollectionConfig<any>, TCollections extends readonly CollectionConfig<any>[], TBlocks extends readonly Block[], TPolicyNames extends string> = Omit<TCollection, "fields" | "access" | "workflow"> & {
+    fields: TCollection["fields"] extends readonly Field[] ? TypedFields<TCollection["fields"], TCollections, TBlocks, TPolicyNames> : TCollection["fields"];
+    access?: TypedCollectionAccess<NonNullable<TCollection["access"]>, TPolicyNames>;
+    workflow?: TypedWorkflow<NonNullable<TCollection["workflow"]>>;
+};
+type TypedCollections<TCollections extends readonly CollectionConfig<any>[], TAllCollections extends readonly CollectionConfig<any>[], TBlocks extends readonly Block[], TPolicyNames extends string> = {
+    [K in keyof TCollections]: TCollections[K] extends CollectionConfig<any> ? TypedCollectionForConfig<TCollections[K], TAllCollections, TBlocks, TPolicyNames> : TCollections[K];
+};
+type TypedGlobalForConfig<TGlobal extends GlobalConfig<any>, TCollections extends readonly CollectionConfig<any>[], TBlocks extends readonly Block[], TPolicyNames extends string> = Omit<TGlobal, "fields" | "access"> & {
+    fields: TGlobal["fields"] extends readonly Field[] ? TypedFields<TGlobal["fields"], TCollections, TBlocks, TPolicyNames> : TGlobal["fields"];
+    access?: TypedGlobalAccess<NonNullable<TGlobal["access"]>, TPolicyNames>;
+};
+type TypedGlobals<TGlobals extends readonly GlobalConfig<any>[], TCollections extends readonly CollectionConfig<any>[], TBlocks extends readonly Block[], TPolicyNames extends string> = {
+    [K in keyof TGlobals]: TGlobals[K] extends GlobalConfig<any> ? TypedGlobalForConfig<TGlobals[K], TCollections, TBlocks, TPolicyNames> : TGlobals[K];
+};
+type TypedAdminAuthConfig<TAdminAuth, TCollections extends readonly CollectionConfig<any>[]> = TAdminAuth extends object ? Omit<TAdminAuth, "collectionSlug"> & {
+    collectionSlug?: TypedReference<PropertyType<TAdminAuth, "collectionSlug">, AuthCollectionSlug<TCollections>, "auth collection slug">;
+} : TAdminAuth;
 /**
  * Define a collection. When called without an explicit type argument, TypeScript
  * automatically infers the document shape from the `fields` array you provide —
@@ -354,30 +507,42 @@ declare function transitionWorkflow(args: {
  * export const Posts = defineCollection<Post>({ ... })
  * ```
  */
-declare function defineCollection<const TFields extends Field[]>(config: Omit<CollectionConfig<Prettify<{
+declare function defineCollection<const TSlug extends string, const TFields extends Field[], const TAdmin extends NonNullable<CollectionConfig<Prettify<{
+    id: string;
+} & InferDocShape<TFields> & SystemDocFields & AuthDocFields>>["admin"]> | undefined, const TConfig extends Omit<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields & AuthDocFields>>, "fields" | "auth"> & {
+} & InferDocShape<TFields> & SystemDocFields & AuthDocFields>>, "fields" | "auth" | "admin"> & {
+    slug: TSlug;
     fields: TFields;
     auth: true | AuthConfig;
-}): CollectionConfig<Prettify<{
+    admin?: TypedCollectionAdmin<TFields, Prettify<{
+        id: string;
+    } & InferDocShape<TFields> & SystemDocFields & AuthDocFields>, TAdmin>;
+}>(config: TConfig): TConfig;
+declare function defineCollection<const TSlug extends string, const TFields extends Field[], const TAdmin extends NonNullable<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields & AuthDocFields>>;
-declare function defineCollection<const TFields extends Field[]>(config: Omit<CollectionConfig<Prettify<{
+} & InferDocShape<TFields> & SystemDocFields & UploadDocFields>>["admin"]> | undefined, const TConfig extends Omit<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields & UploadDocFields>>, "fields" | "upload"> & {
+} & InferDocShape<TFields> & SystemDocFields & UploadDocFields>>, "fields" | "upload" | "admin"> & {
+    slug: TSlug;
     fields: TFields;
     upload: true;
-}): CollectionConfig<Prettify<{
+    admin?: TypedCollectionAdmin<TFields, Prettify<{
+        id: string;
+    } & InferDocShape<TFields> & SystemDocFields & UploadDocFields>, TAdmin>;
+}>(config: TConfig): TConfig;
+declare function defineCollection<const TSlug extends string, const TFields extends Field[], const TAdmin extends NonNullable<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields & UploadDocFields>>;
-declare function defineCollection<const TFields extends Field[]>(config: Omit<CollectionConfig<Prettify<{
+} & InferDocShape<TFields> & SystemDocFields>>["admin"]> | undefined, const TConfig extends Omit<CollectionConfig<Prettify<{
     id: string;
-} & InferDocShape<TFields> & SystemDocFields>>, "fields"> & {
+} & InferDocShape<TFields> & SystemDocFields>>, "fields" | "admin"> & {
+    slug: TSlug;
     fields: TFields;
-}): CollectionConfig<Prettify<{
-    id: string;
-} & InferDocShape<TFields> & SystemDocFields>>;
-declare function defineCollection<TDoc extends object>(config: CollectionConfig<TDoc>): CollectionConfig<TDoc>;
+    admin?: TypedCollectionAdmin<TFields, Prettify<{
+        id: string;
+    } & InferDocShape<TFields> & SystemDocFields>, TAdmin>;
+}>(config: TConfig): TConfig;
+declare function defineCollection<TDoc extends object, const TConfig extends CollectionConfig<TDoc>>(config: TConfig): TConfig;
 /**
  * Define a global (singleton document). TypeScript automatically infers the
  * document shape from the `fields` array, or you can pass an explicit type:
@@ -403,10 +568,11 @@ declare function defineCollection<TDoc extends object>(config: CollectionConfig<
  * export const Settings = defineGlobal<SiteSettings>({ ... })
  * ```
  */
-declare function defineGlobal<const TFields extends Field[]>(config: Omit<GlobalConfig<Prettify<InferDocShape<TFields>>>, "fields"> & {
+declare function defineGlobal<const TSlug extends string, const TFields extends Field[], const TConfig extends Omit<GlobalConfig<Prettify<InferDocShape<TFields>>>, "fields"> & {
+    slug: TSlug;
     fields: TFields;
-}): GlobalConfig<Prettify<InferDocShape<TFields>>>;
-declare function defineGlobal<TDoc extends object>(config: GlobalConfig<TDoc>): GlobalConfig<TDoc>;
+}>(config: TConfig): TConfig;
+declare function defineGlobal<TDoc extends object, const TConfig extends GlobalConfig<TDoc>>(config: TConfig): TConfig;
 /**
  * Define the root Dyrected configuration.
  *
@@ -414,7 +580,13 @@ declare function defineGlobal<TDoc extends object>(config: GlobalConfig<TDoc>):
  * the database adapter, collections, globals, storage, email, and all other
  * server-level configuration.
  */
-declare function defineConfig<TUser extends AuthenticatedUser = AuthenticatedUser>(config: DyrectedConfig<TUser>): DyrectedConfig<TUser>;
+declare function defineConfig<TUser extends AuthenticatedUser = AuthenticatedUser, const TBlocks extends readonly Block[] = [], const TCollections extends readonly CollectionConfig<any>[] = [], const TGlobals extends readonly GlobalConfig<any>[] = [], const TAdminAuth extends DyrectedConfig<TUser>["adminAuth"] | undefined = undefined, const TPolicies extends Record<string, AccessPolicyResolver<Record<string, unknown>, TUser> | string | boolean> | undefined = undefined>(config: Omit<DyrectedConfig<TUser>, "blocks" | "collections" | "globals" | "accessPolicies" | "adminAuth"> & {
+    blocks?: TypedBlocksForConfig<TBlocks, TCollections, TBlocks, PolicyNames<TPolicies>>;
+    collections: TypedCollections<TCollections, TCollections, TBlocks, PolicyNames<TPolicies>>;
+    globals: TypedGlobals<TGlobals, TCollections, TBlocks, PolicyNames<TPolicies>>;
+    accessPolicies?: TPolicies;
+    adminAuth?: TypedAdminAuthConfig<TAdminAuth, TCollections>;
+}): typeof config;
 /**
  * Define a single field of any type. This is an identity helper: it returns the
  * field unchanged at runtime but preserves the exact literal type, so document
@@ -571,4 +743,4 @@ declare function defineTab<const T extends readonly Field[]>(args: {
     fields: T;
 }): T;
 
-export { AdminAuthConfig, ArrayField, AuthConfig, type AuthDocFields, AuthenticatedUser, BaseDocument, Block, BlocksField, BooleanField, CollectionConfig, DateField, DateTimeField, DyrectedConfig, EmailField, Field, GlobalConfig, HookRequestContext, IconField, ImageField, type InferDocShape, JoinField, JsonField, LIFECYCLE_EVENTS_COLLECTION, LifecycleEvent, LifecycleEventName, MultiSelectField, NumberField, ObjectField, type Prettify, PublicAdminAuthConfig, type PublishingWorkflowOptions, RadioField, RelationshipField, RichTextField, RowField, SelectField, type SortClause, type SortDirection, type SqlSortDialect, type SqlWhereResult, type SystemDocFields, TextField, TextareaField, TimeField, type UploadDocFields, UrlField, WORKFLOW_HISTORY_COLLECTION, type WhereClause, type WhereOperator, type WhereOperatorName, WorkflowConfig, WorkflowTransition, availableWorkflowTransitions, buildSqlOrderBy, canViewWorkflowDraft, createLifecycleEvent, createWorkflowDocument, defineArrayField, defineBlock, defineBlocksField, defineBooleanField, defineCollection, defineConfig, defineDateField, defineDateTimeField, defineEmailField, defineField, defineGlobal, defineIconField, defineImageField, defineJoinField, defineJsonField, defineMultiSelectField, defineNumberField, defineObjectField, definePublishingWorkflow, defineRadioField, defineRelationshipField, defineRichTextField, defineRowField, defineSelectField, defineTab, defineTextField, defineTextareaField, defineTimeField, defineUrlField, dispatchLifecycleEvent, dispatchPendingLifecycleEvents, executeFieldAfterRead, executeFieldBeforeChange, generateOpenApi, getAdminAuthCollection, getPublicAdminAuthConfig, initializeWorkflowDocument, materializeWorkflowDocument, normalizeConfig, numericFieldNames, parseMongoWhere, parseSort, parseSqlWhere, publishedStateName, publishingWorkflow, resolveAdminAuthCollection, runCollectionHooks, saveWorkflowDraft, simplePublishingWorkflow, transitionWorkflow, workflowCapabilities };
+export { AccessPolicyResolver, AdminAuthConfig, ArrayField, AuthConfig, type AuthDocFields, AuthenticatedUser, BaseDocument, Block, BlocksField, BooleanField, CollectionConfig, DateField, DateTimeField, DyrectedConfig, EmailField, Field, GlobalConfig, HookRequestContext, IconField, ImageField, type InferDocShape, JoinField, JsonField, LIFECYCLE_EVENTS_COLLECTION, LifecycleEvent, LifecycleEventName, MultiSelectField, NumberField, ObjectField, type Prettify, PublicAdminAuthConfig, type PublishingWorkflowOptions, RadioField, RelationshipField, RichTextField, RowField, SelectField, type SortClause, type SortDirection, type SqlSortDialect, type SqlWhereResult, type SystemDocFields, TextField, TextareaField, TimeField, type UploadDocFields, UrlField, WORKFLOW_HISTORY_COLLECTION, type WhereClause, type WhereOperator, type WhereOperatorName, WorkflowConfig, WorkflowTransition, availableWorkflowTransitions, buildSqlOrderBy, canViewWorkflowDraft, createLifecycleEvent, createWorkflowDocument, defineArrayField, defineBlock, defineBlocksField, defineBooleanField, defineCollection, defineConfig, defineDateField, defineDateTimeField, defineEmailField, defineField, defineGlobal, defineIconField, defineImageField, defineJoinField, defineJsonField, defineMultiSelectField, defineNumberField, defineObjectField, definePublishingWorkflow, defineRadioField, defineRelationshipField, defineRichTextField, defineRowField, defineSelectField, defineTab, defineTextField, defineTextareaField, defineTimeField, defineUrlField, dispatchLifecycleEvent, dispatchPendingLifecycleEvents, executeFieldAfterRead, executeFieldBeforeChange, generateOpenApi, getAdminAuthCollection, getPublicAdminAuthConfig, initializeWorkflowDocument, materializeWorkflowDocument, normalizeConfig, numericFieldNames, parseMongoWhere, parseSort, parseSqlWhere, publishedStateName, publishingWorkflow, resolveAdminAuthCollection, runCollectionHooks, saveWorkflowDraft, simplePublishingWorkflow, transitionWorkflow, workflowCapabilities };

package/dist/index.js

@@ -24,7 +24,7 @@ import {
   simplePublishingWorkflow,
   transitionWorkflow,
   workflowCapabilities
-} from "./chunk-TEGRS6J7.js";
+} from "./chunk-K3ASMUKV.js";
 
 // src/types/workflows.ts
 var LIFECYCLE_EVENT_NAMES = [