cvx-kit 0.1.6 → 0.1.8

package/dist/modules/effect/crud.d.mts

@@ -0,0 +1,785 @@
+import { ContractSchema, LegacyParser, StandardSchema } from "../contracts/contract.mjs";
+import { Observability } from "../../components/foundation/modules/observability/observability.mjs";
+import { CallbackError, CallbackRequirements, CheckedEffectDefinition, EffectMiddlewareInput, EffectOperationArgument, EffectOperationError, EffectOperationRequirements, EffectOperationResult, EffectValue, UnwrappedDefaultError, UnwrappedDefaultRequirements } from "./operation.mjs";
+import { EffectFoundation, EffectFoundationOptions } from "./foundation.mjs";
+import { PaginationOptions, PaginationResult } from "convex/server";
+import { z } from "zod";
+import { GenericId } from "convex/values";
+import { Effect } from "effect";
+//#region src/modules/effect/crud.d.ts
+/** Table masks and branded IDs come from the same kit-owned table boundary. */
+type EffectCrudTable = {
+  tableName: string;
+  commandInput: z.ZodObject<Record<string, z.ZodType>>;
+  storage: z.ZodObject<Record<string, z.ZodType>>;
+  publicDto: z.ZodObject<Record<string, z.ZodType>>;
+  tools: {
+    id: z.ZodObject<{
+      id: z.ZodType<GenericId<string>, string>;
+    }>;
+    update: z.ZodObject<{
+      id: z.ZodType<GenericId<string>, string>;
+      data: z.ZodObject<Record<string, z.ZodType>>;
+    }>;
+  };
+};
+type Input<Table extends EffectCrudTable> = z.output<Table['commandInput']>;
+type Storage<Table extends EffectCrudTable> = z.input<Table['storage']>;
+type Id<Table extends EffectCrudTable> = GenericId<Table['tableName']>;
+type Update<Table extends EffectCrudTable> = z.output<Table['tools']['update']>;
+type IdInput<Table extends EffectCrudTable> = z.output<Table['tools']['id']>;
+type IdContext<Table extends EffectCrudTable> = {
+  db: {
+    normalizeId: (table: Table['tableName'], id: string) => Id<Table> | null;
+  };
+};
+/** Compare decoded command fields with storage input, allowing server-only fields. */
+type StorageCompatible<Decoded, Stored> = [Exclude<keyof Decoded, keyof Stored>] extends [never] ? [Decoded] extends [Pick<Partial<Stored>, Extract<keyof Decoded, keyof Stored>>] ? true : false : false;
+type StorageOverrides<Table extends EffectCrudTable> = (StorageCompatible<Input<Table>, Storage<Table>> extends true ? unknown : {
+  overrides: {
+    create: Function;
+  };
+}) & (StorageCompatible<Update<Table>['data'], Storage<Table>> extends true ? unknown : {
+  overrides: {
+    update: Function;
+  };
+});
+type Supported<Value> = Value | PromiseLike<Value> | Effect.Effect<Value, unknown, unknown>;
+type EffectCrudPage<Row> = PaginationResult<Row>;
+type EffectCrudPagination = { [Key in keyof PaginationOptions]: PaginationOptions[Key]; } & {
+  id?: number;
+};
+/** Trusted repositories receive domain context, never authority from caller arguments. */
+type EffectCrudRepository<Context, Table extends EffectCrudTable, Insert, Patch> = {
+  insert: (context: Context, values: Storage<Table>) => Insert;
+  patch: (context: Context, id: Id<Table>, values: Partial<Storage<Table>>) => Patch;
+};
+type EffectCrudContext<Table extends EffectCrudTable> = {
+  db: {
+    insert: (table: Table['tableName'], values: Storage<Table>) => Promise<Id<Table>>;
+    patch: (id: Id<Table>, values: Partial<Storage<Table>>) => Promise<void>;
+  };
+};
+type CallbackHost<Callback> = [Exclude<Callback, undefined>] extends [never] ? unknown : Exclude<Callback, undefined> extends ((...args: infer Arguments) => unknown) ? Arguments extends [] ? unknown : Arguments[0] : unknown;
+type PermissionPolicy<Dependencies> = 'checkPermission' extends keyof Dependencies ? Dependencies['checkPermission'] : never;
+type CallbackReturned<Callback> = Callback extends ((...args: never[]) => infer Returned) ? Returned : never;
+type QueryCallbackHost<Callback> = Callback extends ((host: infer Host, input: never) => unknown) ? Host : never;
+type QueryPolicyHost<Dependencies> = [QueryCallbackHost<PermissionPolicy<Dependencies>>] extends [never] ? unknown : QueryCallbackHost<PermissionPolicy<Dependencies>>;
+type PolicyHost<Options extends EffectFoundationOptions> = CallbackHost<Options['writeAudit']> & QueryPolicyHost<Options & {
+  observability: EffectFoundation<Options>['observability'];
+}>;
+/** Keep registry indexing inside a named, constrained declaration boundary. */
+type CrudExecutor<Host, Operations extends Readonly<Record<string, {
+  input: ContractSchema;
+  result: ContractSchema;
+}>>, Callbacks, Guard> = {
+  exec<Key extends Extract<keyof Operations, string>>(operation: Key, input: EffectOperationArgument<Operations[Key]>, host: Host): Effect.Effect<EffectOperationResult<Operations[Key]>, EffectOperationError<Operations[Key]> | CallbackError<Callbacks> | UnwrappedDefaultError<Operations[Key], Guard>, EffectOperationRequirements<Operations[Key]> | CallbackRequirements<Callbacks> | UnwrappedDefaultRequirements<Operations[Key], Guard>>;
+};
+type EffectCrudConfig<Options extends EffectFoundationOptions, Host, ContextReturned, Table extends EffectCrudTable, Actor, Enrich, Insert, Patch, Get, List, Project, Policy, CreateGuard, UpdateGuard, ArchiveGuard, GetGuard, ListGuard, CreateOverride, UpdateOverride, ArchiveOverride, CheckId = never> = {
+  foundation: EffectFoundation<Options>;
+  table: Table;
+  context: (host: Host) => ContextReturned;
+  aggregateType: string;
+  classification?: string;
+  /** Trusted table-membership check, not an existence lookup or a string-brand parser. */
+  checkId?: (context: EffectValue<ContextReturned>, id: string) => CheckId;
+  actor: (context: EffectValue<ContextReturned>) => Actor;
+  enrich?: (context: EffectValue<ContextReturned>, input: Input<Table>) => Enrich;
+  repository?: EffectCrudRepository<EffectValue<ContextReturned>, Table, Insert, Patch>;
+  policy?: {
+    guard?: (context: EffectValue<ContextReturned>) => Policy;
+    permissions?: Partial<Record<'create' | 'update' | 'archive' | 'get' | 'list', string>>;
+  };
+  guards?: {
+    create?: (context: EffectValue<ContextReturned>, input: Input<Table>) => CreateGuard;
+    update?: (context: EffectValue<ContextReturned>, input: Update<Table>) => UpdateGuard;
+    archive?: (context: EffectValue<ContextReturned>, input: IdInput<Table>) => ArchiveGuard;
+    get?: (context: EffectValue<ContextReturned>, input: IdInput<Table>) => GetGuard;
+    list?: (context: EffectValue<ContextReturned>, input: EffectCrudPagination) => ListGuard;
+  };
+  overrides?: {
+    create?: (input: Input<Table>, context: EffectValue<ContextReturned>) => CreateOverride;
+    update?: (input: Update<Table>, context: EffectValue<ContextReturned>) => UpdateOverride;
+    archive?: (input: IdInput<Table>, context: EffectValue<ContextReturned>) => ArchiveOverride;
+  };
+  read: {
+    /** Maximum initial page target; reactive ranges may return more rows. */
+    maxPageSize: number;
+    /**
+     * Server-owned indexed pagination row budget; defaults to maxPageSize. Search ignores it.
+     * Native reactive ranges may exceed this budget; consumers must honor split metadata.
+     */
+    maximumRowsRead?: number;
+    /** Return raw, undecoded public-schema input; the query result lifecycle decodes it once. */
+    project: (row: Storage<Table>) => Project;
+    get: (context: EffectValue<ContextReturned>, id: Id<Table>) => Get;
+    /** Trusted adapters forward the supplied read budget to supported native pagination. */
+    list: (context: EffectValue<ContextReturned>, input: EffectCrudPagination) => List;
+  };
+} & (EffectValue<ContextReturned> extends EffectCrudContext<Table> ? unknown : {
+  repository: EffectCrudRepository<EffectValue<ContextReturned>, Table, Insert, Patch>;
+}) & (EffectValue<ContextReturned> extends IdContext<Table> ? unknown : {
+  checkId: (context: EffectValue<ContextReturned>, id: string) => CheckId;
+}) & StorageOverrides<Table>;
+/** Generate operations through the Foundation's bound helpers; no runner or policy lives here. */
+declare function createEffectCrud<const Options extends EffectFoundationOptions, Host extends PolicyHost<Options>, ContextReturned, const Table extends EffectCrudTable, Actor extends Supported<string>, Enrich extends Supported<Partial<Storage<Table>>> = never, Insert extends Supported<Id<Table>> = never, Patch extends Supported<void> = never, Get extends Supported<Storage<Table> | null> = never, List extends Supported<EffectCrudPage<Storage<Table>>> = never, Project extends Supported<z.input<Table['publicDto']>> = never, Policy extends Supported<void> = never, CreateGuard extends Supported<void> = never, UpdateGuard extends Supported<void> = never, ArchiveGuard extends Supported<void> = never, GetGuard extends Supported<void> = never, ListGuard extends Supported<void> = never, CreateOverride extends Supported<{
+  id: Id<Table>;
+}> = never, UpdateOverride extends Supported<{
+  ok: true;
+}> = never, ArchiveOverride extends Supported<{
+  ok: true;
+}> = never, CheckId extends Supported<boolean> = never, const Configuration extends object = object>(config: Configuration & ProtectedOverrides<Configuration> & EffectCrudConfig<Options, Host, ContextReturned, Table, Actor, Enrich, Insert, Patch, Get, List, Project, Policy, CreateGuard, UpdateGuard, ArchiveGuard, GetGuard, ListGuard, CreateOverride, UpdateOverride, ArchiveOverride, CheckId>): {
+  commands: CrudExecutor<Host, NamedOperation<`${Table["tableName"]}.create`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: StandardSchema<z.input<Table["commandInput"]>, z.infer<Table["commandInput"]>> & LegacyParser<z.infer<Table["commandInput"]>>;
+    result: StandardSchema<{
+      id: string;
+    }, {
+      id: Id<Table>;
+    }> & LegacyParser<{
+      id: Id<Table>;
+    }>;
+    handler: (input: z.infer<Table["commandInput"]>, context: EffectValue<ContextReturned> & Record<never, never>) => Chosen<CreateOverride, Effect.Effect<{
+      id: EffectValue<Insert> | Id<Table>;
+    }, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A_1, infer _E, infer R>] ? R : never>, RequiredOverride<Configuration, "create">>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: {
+        id: Id<Table>;
+      }) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: z.infer<Table["commandInput"]>) => CreateGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: z.infer<Table["commandInput"]>) => never) | undefined;
+    audit?: ((resolution: {
+      command: z.infer<Table["commandInput"]>;
+      result: {
+        id: Id<Table>;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.create`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, z.infer<Table["commandInput"]>, {
+      id: string;
+    }, Record<never, never>, CallbackError<CreateGuard> | CallbackError<Policy> | CallbackError<Chosen<CreateOverride, Effect.Effect<{
+      id: EffectValue<Insert> | Id<Table>;
+    }, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A_1, infer _E, infer R>] ? R : never>, RequiredOverride<Configuration, "create">>>, CallbackRequirements<CreateGuard> | CallbackRequirements<Policy> | CallbackRequirements<Chosen<CreateOverride, Effect.Effect<{
+      id: EffectValue<Insert> | Id<Table>;
+    }, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A_1, infer _E, infer R>] ? R : never>, RequiredOverride<Configuration, "create">>>>) => never) | undefined;
+  } & {
+    classification: string;
+    audit: (resolution: {
+      command: z.infer<Table["commandInput"]>;
+      result: {
+        id: Id<Table>;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.create`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>> & NamedOperation<`${Table["tableName"]}.update`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: StandardSchema<z.input<Table["tools"]["update"]>, z.infer<Table["tools"]["update"]>> & LegacyParser<z.infer<Table["tools"]["update"]>>;
+    result: z.ZodObject<{
+      ok: z.ZodLiteral<true>;
+    }, z.core.$strict>;
+    handler: (input: z.infer<Table["tools"]["update"]>, context: EffectValue<ContextReturned> & Record<never, never>) => Effect.Effect<EffectValue<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>, CallbackError<CheckId> | CallbackError<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>, CallbackRequirements<CheckId> | CallbackRequirements<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: {
+        ok: true;
+      }) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: z.infer<Table["tools"]["update"]>) => UpdateGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: z.infer<Table["tools"]["update"]>) => never) | undefined;
+    audit?: ((resolution: {
+      command: z.infer<Table["tools"]["update"]>;
+      result: {
+        ok: true;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.update`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, z.infer<Table["tools"]["update"]>, {
+      ok: true;
+    }, Record<never, never>, CallbackError<CheckId> | CallbackError<Policy> | CallbackError<UpdateGuard> | CallbackError<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>> | CallbackError<EffectValue<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>>, CallbackRequirements<CheckId> | CallbackRequirements<Policy> | CallbackRequirements<UpdateGuard> | CallbackRequirements<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>> | CallbackRequirements<EffectValue<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>>>) => never) | undefined;
+  } & {
+    classification: string;
+    audit: (resolution: {
+      command: z.infer<Table["tools"]["update"]>;
+      result: {
+        ok: true;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.update`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>> & NamedOperation<`${Table["tableName"]}.archive`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: StandardSchema<z.input<Table["tools"]["id"]>, z.infer<Table["tools"]["id"]>> & LegacyParser<z.infer<Table["tools"]["id"]>>;
+    result: z.ZodObject<{
+      ok: z.ZodLiteral<true>;
+    }, z.core.$strict>;
+    handler: (input: z.infer<Table["tools"]["id"]>, context: EffectValue<ContextReturned> & Record<never, never>) => Effect.Effect<EffectValue<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>, CallbackError<CheckId> | CallbackError<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>, CallbackRequirements<CheckId> | CallbackRequirements<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: {
+        ok: true;
+      }) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: z.infer<Table["tools"]["id"]>) => ArchiveGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: z.infer<Table["tools"]["id"]>) => never) | undefined;
+    audit?: ((resolution: {
+      command: z.infer<Table["tools"]["id"]>;
+      result: {
+        ok: true;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.archive`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, z.infer<Table["tools"]["id"]>, {
+      ok: true;
+    }, Record<never, never>, CallbackError<ArchiveGuard> | CallbackError<CheckId> | CallbackError<Policy> | CallbackError<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>> | CallbackError<EffectValue<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>>, CallbackRequirements<ArchiveGuard> | CallbackRequirements<CheckId> | CallbackRequirements<Policy> | CallbackRequirements<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>> | CallbackRequirements<EffectValue<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>>>) => never) | undefined;
+  } & {
+    classification: string;
+    audit: (resolution: {
+      command: z.infer<Table["tools"]["id"]>;
+      result: {
+        ok: true;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.archive`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>>, ((host: Host) => ContextReturned) | Options[keyof Options], Policy>;
+  queries: CrudExecutor<Host, NamedOperation<`${Table["tableName"]}.get`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: StandardSchema<z.input<Table["tools"]["id"]>, z.infer<Table["tools"]["id"]>> & LegacyParser<z.infer<Table["tools"]["id"]>>;
+    result: StandardSchema<z.input<Table["publicDto"]> | null, z.output<Table["publicDto"]> | null> & LegacyParser<z.output<Table["publicDto"]> | null>;
+    handler: (input: z.infer<Table["tools"]["id"]>, context: EffectValue<ContextReturned> & Record<never, never>) => Effect.Effect<z.core.input<Table["publicDto"]> | null, CallbackError<CheckId> | CallbackError<Get> | CallbackError<Project>, CallbackRequirements<CheckId> | CallbackRequirements<Get> | CallbackRequirements<Project>>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: z.infer<Table["publicDto"]> | null) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: z.infer<Table["tools"]["id"]>) => GetGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: z.infer<Table["tools"]["id"]>) => never) | undefined;
+    audit?: ((resolution: {
+      command: z.infer<Table["tools"]["id"]>;
+      result: z.infer<Table["publicDto"]> | null;
+    }, context: EffectValue<ContextReturned>) => never) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, z.infer<Table["tools"]["id"]>, z.core.input<Table["publicDto"]> | null, Record<never, never>, CallbackError<CheckId> | CallbackError<Get> | CallbackError<GetGuard> | CallbackError<Policy> | CallbackError<Project> | CallbackError<z.core.input<Table["publicDto"]>>, CallbackRequirements<CheckId> | CallbackRequirements<Get> | CallbackRequirements<GetGuard> | CallbackRequirements<Policy> | CallbackRequirements<Project> | CallbackRequirements<z.core.input<Table["publicDto"]>>>) => never) | undefined;
+  } & {
+    prepare?: never;
+    audit?: never;
+    aggregates?: never;
+    replayResult?: never;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>> & NamedOperation<`${Table["tableName"]}.list`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: z.ZodObject<{
+      numItems: z.ZodNumber;
+      cursor: z.ZodNullable<z.ZodString>;
+      endCursor: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+      id: z.ZodOptional<z.ZodNumber>;
+      maximumRowsRead: z.ZodOptional<z.ZodNumber>;
+      maximumBytesRead: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+    result: z.ZodObject<{
+      page: z.ZodArray<Table["publicDto"]>;
+      isDone: z.ZodBoolean;
+      continueCursor: z.ZodString;
+      splitCursor: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+      pageStatus: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        SplitRecommended: "SplitRecommended";
+        SplitRequired: "SplitRequired";
+      }>>>;
+    }, z.core.$strip>;
+    handler: (input: {
+      numItems: number;
+      cursor: string | null;
+      endCursor?: string | null | undefined;
+      id?: number | undefined;
+      maximumRowsRead?: number | undefined;
+      maximumBytesRead?: number | undefined;
+    }, context: EffectValue<ContextReturned> & Record<never, never>) => Effect.Effect<{
+      isDone: boolean;
+      continueCursor: import("convex/server").Cursor;
+      splitCursor?: import("convex/server").Cursor | null;
+      pageStatus?: "SplitRecommended" | "SplitRequired" | null;
+      page: z.input<Table["publicDto"]>[];
+    }, CallbackError<List> | CallbackError<Project>, CallbackRequirements<List> | CallbackRequirements<Project>>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: {
+        page: z.infer<Table["publicDto"]>[];
+        isDone: boolean;
+        continueCursor: string;
+        splitCursor?: string | null | undefined;
+        pageStatus?: "SplitRecommended" | "SplitRequired" | null | undefined;
+      }) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: {
+      numItems: number;
+      cursor: string | null;
+      endCursor?: string | null | undefined;
+      id?: number | undefined;
+      maximumRowsRead?: number | undefined;
+      maximumBytesRead?: number | undefined;
+    }) => ListGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: {
+      numItems: number;
+      cursor: string | null;
+      endCursor?: string | null | undefined;
+      id?: number | undefined;
+      maximumRowsRead?: number | undefined;
+      maximumBytesRead?: number | undefined;
+    }) => never) | undefined;
+    audit?: ((resolution: {
+      command: {
+        numItems: number;
+        cursor: string | null;
+        endCursor?: string | null | undefined;
+        id?: number | undefined;
+        maximumRowsRead?: number | undefined;
+        maximumBytesRead?: number | undefined;
+      };
+      result: {
+        page: z.infer<Table["publicDto"]>[];
+        isDone: boolean;
+        continueCursor: string;
+        splitCursor?: string | null | undefined;
+        pageStatus?: "SplitRecommended" | "SplitRequired" | null | undefined;
+      };
+    }, context: EffectValue<ContextReturned>) => never) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, {
+      numItems: number;
+      cursor: string | null;
+      endCursor?: string | null | undefined;
+      id?: number | undefined;
+      maximumRowsRead?: number | undefined;
+      maximumBytesRead?: number | undefined;
+    }, {
+      page: z.core.input<Table["publicDto"]>[];
+      isDone: boolean;
+      continueCursor: string;
+      splitCursor?: string | null | undefined;
+      pageStatus?: "SplitRecommended" | "SplitRequired" | null | undefined;
+    }, Record<never, never>, CallbackError<List> | CallbackError<ListGuard> | CallbackError<Policy> | CallbackError<Project>, CallbackRequirements<List> | CallbackRequirements<ListGuard> | CallbackRequirements<Policy> | CallbackRequirements<Project>>) => never) | undefined;
+  } & {
+    prepare?: never;
+    audit?: never;
+    aggregates?: never;
+    replayResult?: never;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>>, ContextReturned | CallbackReturned<PermissionPolicy<Options & {
+    observability: Observability;
+  }>>, Policy>;
+  operations: NamedOperation<`${Table["tableName"]}.create`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: StandardSchema<z.input<Table["commandInput"]>, z.infer<Table["commandInput"]>> & LegacyParser<z.infer<Table["commandInput"]>>;
+    result: StandardSchema<{
+      id: string;
+    }, {
+      id: Id<Table>;
+    }> & LegacyParser<{
+      id: Id<Table>;
+    }>;
+    handler: (input: z.infer<Table["commandInput"]>, context: EffectValue<ContextReturned> & Record<never, never>) => Chosen<CreateOverride, Effect.Effect<{
+      id: EffectValue<Insert> | Id<Table>;
+    }, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A_1, infer _E, infer R>] ? R : never>, RequiredOverride<Configuration, "create">>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: {
+        id: Id<Table>;
+      }) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: z.infer<Table["commandInput"]>) => CreateGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: z.infer<Table["commandInput"]>) => never) | undefined;
+    audit?: ((resolution: {
+      command: z.infer<Table["commandInput"]>;
+      result: {
+        id: Id<Table>;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.create`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, z.infer<Table["commandInput"]>, {
+      id: string;
+    }, Record<never, never>, CallbackError<CreateGuard> | CallbackError<Policy> | CallbackError<Chosen<CreateOverride, Effect.Effect<{
+      id: EffectValue<Insert> | Id<Table>;
+    }, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A_1, infer _E, infer R>] ? R : never>, RequiredOverride<Configuration, "create">>>, CallbackRequirements<CreateGuard> | CallbackRequirements<Policy> | CallbackRequirements<Chosen<CreateOverride, Effect.Effect<{
+      id: EffectValue<Insert> | Id<Table>;
+    }, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A, infer E, infer _R>] ? E : never, [Effect.Effect<EffectValue<Insert>, CallbackError<Insert>, CallbackRequirements<Insert>> | Effect.Effect<Partial<z.core.input<Table["storage"]>> | undefined, CallbackError<Enrich>, CallbackRequirements<Enrich>> | Effect.Effect<Id<Table>, never, never>] extends [Effect.Effect<infer _A_1, infer _E, infer R>] ? R : never>, RequiredOverride<Configuration, "create">>>>) => never) | undefined;
+  } & {
+    classification: string;
+    audit: (resolution: {
+      command: z.infer<Table["commandInput"]>;
+      result: {
+        id: Id<Table>;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.create`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>> & NamedOperation<`${Table["tableName"]}.update`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: StandardSchema<z.input<Table["tools"]["update"]>, z.infer<Table["tools"]["update"]>> & LegacyParser<z.infer<Table["tools"]["update"]>>;
+    result: z.ZodObject<{
+      ok: z.ZodLiteral<true>;
+    }, z.core.$strict>;
+    handler: (input: z.infer<Table["tools"]["update"]>, context: EffectValue<ContextReturned> & Record<never, never>) => Effect.Effect<EffectValue<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>, CallbackError<CheckId> | CallbackError<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>, CallbackRequirements<CheckId> | CallbackRequirements<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: {
+        ok: true;
+      }) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: z.infer<Table["tools"]["update"]>) => UpdateGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: z.infer<Table["tools"]["update"]>) => never) | undefined;
+    audit?: ((resolution: {
+      command: z.infer<Table["tools"]["update"]>;
+      result: {
+        ok: true;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.update`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, z.infer<Table["tools"]["update"]>, {
+      ok: true;
+    }, Record<never, never>, CallbackError<CheckId> | CallbackError<Policy> | CallbackError<UpdateGuard> | CallbackError<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>> | CallbackError<EffectValue<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>>, CallbackRequirements<CheckId> | CallbackRequirements<Policy> | CallbackRequirements<UpdateGuard> | CallbackRequirements<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>> | CallbackRequirements<EffectValue<Chosen<UpdateOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "update">>>>>) => never) | undefined;
+  } & {
+    classification: string;
+    audit: (resolution: {
+      command: z.infer<Table["tools"]["update"]>;
+      result: {
+        ok: true;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.update`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>> & NamedOperation<`${Table["tableName"]}.archive`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: StandardSchema<z.input<Table["tools"]["id"]>, z.infer<Table["tools"]["id"]>> & LegacyParser<z.infer<Table["tools"]["id"]>>;
+    result: z.ZodObject<{
+      ok: z.ZodLiteral<true>;
+    }, z.core.$strict>;
+    handler: (input: z.infer<Table["tools"]["id"]>, context: EffectValue<ContextReturned> & Record<never, never>) => Effect.Effect<EffectValue<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>, CallbackError<CheckId> | CallbackError<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>, CallbackRequirements<CheckId> | CallbackRequirements<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: {
+        ok: true;
+      }) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: z.infer<Table["tools"]["id"]>) => ArchiveGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: z.infer<Table["tools"]["id"]>) => never) | undefined;
+    audit?: ((resolution: {
+      command: z.infer<Table["tools"]["id"]>;
+      result: {
+        ok: true;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.archive`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, z.infer<Table["tools"]["id"]>, {
+      ok: true;
+    }, Record<never, never>, CallbackError<ArchiveGuard> | CallbackError<CheckId> | CallbackError<Policy> | CallbackError<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>> | CallbackError<EffectValue<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>>, CallbackRequirements<ArchiveGuard> | CallbackRequirements<CheckId> | CallbackRequirements<Policy> | CallbackRequirements<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>> | CallbackRequirements<EffectValue<Chosen<ArchiveOverride, Effect.Effect<{
+      ok: true;
+    }, CallbackError<Patch>, CallbackRequirements<Patch>>, RequiredOverride<Configuration, "archive">>>>>) => never) | undefined;
+  } & {
+    classification: string;
+    audit: (resolution: {
+      command: z.infer<Table["tools"]["id"]>;
+      result: {
+        ok: true;
+      };
+    }, context: EffectValue<ContextReturned>) => Effect.Effect<{
+      operation: `${Table["tableName"]}.archive`;
+      actorId: string;
+      aggregate: {
+        type: string;
+        id: string;
+      };
+    }, CallbackError<Actor>, CallbackRequirements<Actor>>;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>>;
+  queryOperations: NamedOperation<`${Table["tableName"]}.get`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: StandardSchema<z.input<Table["tools"]["id"]>, z.infer<Table["tools"]["id"]>> & LegacyParser<z.infer<Table["tools"]["id"]>>;
+    result: StandardSchema<z.input<Table["publicDto"]> | null, z.output<Table["publicDto"]> | null> & LegacyParser<z.output<Table["publicDto"]> | null>;
+    handler: (input: z.infer<Table["tools"]["id"]>, context: EffectValue<ContextReturned> & Record<never, never>) => Effect.Effect<z.core.input<Table["publicDto"]> | null, CallbackError<CheckId> | CallbackError<Get> | CallbackError<Project>, CallbackRequirements<CheckId> | CallbackRequirements<Get> | CallbackRequirements<Project>>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: z.infer<Table["publicDto"]> | null) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: z.infer<Table["tools"]["id"]>) => GetGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: z.infer<Table["tools"]["id"]>) => never) | undefined;
+    audit?: ((resolution: {
+      command: z.infer<Table["tools"]["id"]>;
+      result: z.infer<Table["publicDto"]> | null;
+    }, context: EffectValue<ContextReturned>) => never) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, z.infer<Table["tools"]["id"]>, z.core.input<Table["publicDto"]> | null, Record<never, never>, CallbackError<CheckId> | CallbackError<Get> | CallbackError<GetGuard> | CallbackError<Policy> | CallbackError<Project> | CallbackError<z.core.input<Table["publicDto"]>>, CallbackRequirements<CheckId> | CallbackRequirements<Get> | CallbackRequirements<GetGuard> | CallbackRequirements<Policy> | CallbackRequirements<Project> | CallbackRequirements<z.core.input<Table["publicDto"]>>>) => never) | undefined;
+  } & {
+    prepare?: never;
+    audit?: never;
+    aggregates?: never;
+    replayResult?: never;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>> & NamedOperation<`${Table["tableName"]}.list`, CheckedEffectDefinition<EffectValue<ContextReturned>, object & {
+    input: z.ZodObject<{
+      numItems: z.ZodNumber;
+      cursor: z.ZodNullable<z.ZodString>;
+      endCursor: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+      id: z.ZodOptional<z.ZodNumber>;
+      maximumRowsRead: z.ZodOptional<z.ZodNumber>;
+      maximumBytesRead: z.ZodOptional<z.ZodNumber>;
+    }, z.core.$strict>;
+    result: z.ZodObject<{
+      page: z.ZodArray<Table["publicDto"]>;
+      isDone: z.ZodBoolean;
+      continueCursor: z.ZodString;
+      splitCursor: z.ZodOptional<z.ZodNullable<z.ZodString>>;
+      pageStatus: z.ZodOptional<z.ZodNullable<z.ZodEnum<{
+        SplitRecommended: "SplitRecommended";
+        SplitRequired: "SplitRequired";
+      }>>>;
+    }, z.core.$strip>;
+    handler: (input: {
+      numItems: number;
+      cursor: string | null;
+      endCursor?: string | null | undefined;
+      id?: number | undefined;
+      maximumRowsRead?: number | undefined;
+      maximumBytesRead?: number | undefined;
+    }, context: EffectValue<ContextReturned> & Record<never, never>) => Effect.Effect<{
+      isDone: boolean;
+      continueCursor: import("convex/server").Cursor;
+      splitCursor?: import("convex/server").Cursor | null;
+      pageStatus?: "SplitRecommended" | "SplitRequired" | null;
+      page: z.input<Table["publicDto"]>[];
+    }, CallbackError<List> | CallbackError<Project>, CallbackRequirements<List> | CallbackRequirements<Project>>;
+    classification?: string;
+    permission?: string;
+    metadata?: Record<never, never> | undefined;
+    aggregates?: readonly string[] | undefined;
+    replayResult?: undefined;
+    wire?: {
+      schema: ContractSchema;
+      project: (value: {
+        page: z.infer<Table["publicDto"]>[];
+        isDone: boolean;
+        continueCursor: string;
+        splitCursor?: string | null | undefined;
+        pageStatus?: "SplitRecommended" | "SplitRequired" | null | undefined;
+      }) => unknown;
+    } | undefined;
+    guard?: ((context: EffectValue<ContextReturned> & Record<never, never>, input: {
+      numItems: number;
+      cursor: string | null;
+      endCursor?: string | null | undefined;
+      id?: number | undefined;
+      maximumRowsRead?: number | undefined;
+      maximumBytesRead?: number | undefined;
+    }) => ListGuard) | undefined;
+    prepare?: ((context: EffectValue<ContextReturned>, input: {
+      numItems: number;
+      cursor: string | null;
+      endCursor?: string | null | undefined;
+      id?: number | undefined;
+      maximumRowsRead?: number | undefined;
+      maximumBytesRead?: number | undefined;
+    }) => never) | undefined;
+    audit?: ((resolution: {
+      command: {
+        numItems: number;
+        cursor: string | null;
+        endCursor?: string | null | undefined;
+        id?: number | undefined;
+        maximumRowsRead?: number | undefined;
+        maximumBytesRead?: number | undefined;
+      };
+      result: {
+        page: z.infer<Table["publicDto"]>[];
+        isDone: boolean;
+        continueCursor: string;
+        splitCursor?: string | null | undefined;
+        pageStatus?: "SplitRecommended" | "SplitRequired" | null | undefined;
+      };
+    }, context: EffectValue<ContextReturned>) => never) | undefined;
+  } & {
+    middleware?: ((input: EffectMiddlewareInput<EffectValue<ContextReturned>, {
+      numItems: number;
+      cursor: string | null;
+      endCursor?: string | null | undefined;
+      id?: number | undefined;
+      maximumRowsRead?: number | undefined;
+      maximumBytesRead?: number | undefined;
+    }, {
+      page: z.core.input<Table["publicDto"]>[];
+      isDone: boolean;
+      continueCursor: string;
+      splitCursor?: string | null | undefined;
+      pageStatus?: "SplitRecommended" | "SplitRequired" | null | undefined;
+    }, Record<never, never>, CallbackError<List> | CallbackError<ListGuard> | CallbackError<Policy> | CallbackError<Project>, CallbackRequirements<List> | CallbackRequirements<ListGuard> | CallbackRequirements<Policy> | CallbackRequirements<Project>>) => never) | undefined;
+  } & {
+    prepare?: never;
+    audit?: never;
+    aggregates?: never;
+    replayResult?: never;
+  }, CallbackError<Policy>, CallbackRequirements<Policy>>>;
+};
+type NamedOperation<Name extends string, Definition> = { [Key in Name]: Definition; };
+type ProtectedOverrides<Configuration> = 'overrides' extends keyof Configuration ? {
+  overrides?: { [Key in Exclude<keyof NonNullable<Configuration['overrides']>, 'create' | 'update' | 'archive'>]: never; };
+} : unknown;
+type RequiredOverride<Configuration, Key extends string> = Configuration extends {
+  overrides: { [K in Key]: Function; };
+} ? true : false;
+type Chosen<Override, Default, Required extends boolean> = Required extends true ? Override : [Override] extends [never] ? Default : Override | Default;
+//#endregion
+export { EffectCrudConfig, EffectCrudContext, EffectCrudPage, EffectCrudPagination, EffectCrudRepository, EffectCrudTable, createEffectCrud };
+//# sourceMappingURL=crud.d.mts.map