cvx-kit 0.1.10 → 0.1.12

package/dist/modules/effect/crud.mjs

@@ -1,2 +1,2 @@
-import{defaultErrors as e}from"../../errors.mjs";import{effectOperationFactory as t}from"./operation.mjs";import{normalizeEffect as n}from"./normalize.mjs";import{paginated as r,zid as i}from"../../zod-table.mjs";import{z as a}from"zod";import{Effect as o}from"effect";function s(s){let{table:p}=s;if(`tenant`in p.storage.shape&&!s.enrich)return e.throw({code:`CRUD_ENRICH_REQUIRED`,message:`Table "${p.tableName}" requires an enrich callback`});if(!Number.isSafeInteger(s.read.maxPageSize)||s.read.maxPageSize<1)throw Error(`CRUD maxPageSize must be a positive safe integer`);let m=s.read.maximumRowsRead??s.read.maxPageSize;if(!Number.isSafeInteger(m)||m<1)throw Error(`CRUD maximumRowsRead must be a positive safe integer`);let h=p.tableName,g=i(h),_=d(p.commandInput),v=d(p.tools.update),y=d(p.tools.id),b=p.publicDto,x=d(a.object({id:g}).strict()),S=a.object({ok:a.literal(!0)}).strict(),C=a.object({numItems:a.number().int().min(1).max(s.read.maxPageSize),cursor:a.string().nullable(),endCursor:a.string().nullable().optional(),id:a.number().optional(),maximumRowsRead:a.number().int().positive().max(2**53-1).optional(),maximumBytesRead:a.number().int().positive().max(2**53-1).optional()}).strict(),w=r(b).result,T=s.classification??`business`,E=e=>({type:s.aggregateType,id:e}),D=`${h}.create`,O=`${h}.update`,k=`${h}.archive`,A=`${h}.get`,j=`${h}.list`;function M(t,n){return u(()=>s.checkId?s.checkId(t,n):t.db.normalizeId(p.tableName,n)!==null).pipe(o.map(t=>t===!0?n:e.throw({code:`CRUD_INVALID_ID`,message:`Invalid ID for table "${p.tableName}"`})))}function N(e,t){if(s.repository)return n(()=>s.repository.insert(e,t));let r=e;return n(()=>r.db.insert(p.tableName,t))}function P(e,t,r){if(s.repository)return n(()=>s.repository.patch(e,t,r));let i=e;return n(()=>i.db.patch(t,r))}let F=l(s.overrides?.create,(e,t)=>o.gen(function*(){let n=yield*u(()=>s.enrich?.(t,e));return{id:yield*N(t,Object.fromEntries(Object.entries({...e,...n}).filter(([,e])=>e!==void 0)))}})),I=l(s.overrides?.update,(e,t)=>P(t,e.id,e.data).pipe(o.as({ok:!0}))),L=(e,t)=>M(t,e.id).pipe(o.flatMap(()=>n(()=>I(e,t)))),R=l(s.overrides?.archive,(e,t)=>P(t,e.id,f(Date.now())).pipe(o.as({ok:!0}))),z=(e,t)=>M(t,e.id).pipe(o.flatMap(()=>n(()=>R(e,t)))),B=t(),V=Object.assign({},c(D,B.command({input:_,result:x,classification:T,aggregates:[s.aggregateType],permission:s.policy?.permissions?.create,guard:s.guards?.create,handler:F,audit:({result:e},t)=>u(()=>s.actor(t)).pipe(o.map(t=>({operation:D,actorId:t,aggregate:E(e.id)})))})),c(O,B.command({input:v,result:S,classification:T,aggregates:[s.aggregateType],permission:s.policy?.permissions?.update,guard:s.guards?.update,handler:L,audit:({command:e},t)=>u(()=>s.actor(t)).pipe(o.map(t=>({operation:O,actorId:t,aggregate:E(e.id)})))})),c(k,B.command({input:y,result:S,classification:T,aggregates:[s.aggregateType],permission:s.policy?.permissions?.archive,guard:s.guards?.archive,handler:z,audit:({command:e},t)=>u(()=>s.actor(t)).pipe(o.map(t=>({operation:k,actorId:t,aggregate:E(e.id)})))}))),H={context:s.context,defaults:{guard:s.policy?.guard},operations:()=>V},U=s.foundation.Command(H),W=d(b.nullable()),G=Object.assign({},c(A,B.query({input:y,result:W,permission:s.policy?.permissions?.get,guard:s.guards?.get,handler:(e,t)=>M(t,e.id).pipe(o.flatMap(e=>u(()=>s.read.get(t,e))),o.flatMap(e=>e===null?o.succeed(null):u(()=>s.read.project(e))))})),c(j,B.query({input:C,result:w,permission:s.policy?.permissions?.list,guard:s.guards?.list,handler:(e,t)=>u(()=>s.read.list(t,{...e,maximumRowsRead:Math.min(e.maximumRowsRead??m,m)})).pipe(o.flatMap(e=>o.forEach(e.page,e=>u(()=>s.read.project(e))).pipe(o.map(t=>({...e,page:t})))))}))),K={context:s.context,defaults:{guard:s.policy?.guard},operations:()=>G};return{commands:U,queries:s.foundation.Query(K),operations:V,queryOperations:G}}function c(e,t){return{[e]:t}}function l(e,t){return e??t}function u(e){return n(e)}function d(e){return{"~standard":e[`~standard`],parse:t=>e.parse(t),parseAsync:t=>e.parseAsync(t)}}function f(e){return Object.fromEntries([[`archivedAt`,e]])}export{s as createEffectCrud};
+import{defaultErrors as e}from"../../errors.mjs";import{normalizeEffect as t}from"./normalize.mjs";import{effectOperationFactory as n}from"./operation.mjs";import{paginated as r,zid as i}from"../../zod-table.mjs";import{z as a}from"zod";import{Effect as o}from"effect";function s(s){let{table:p}=s;if(`tenant`in p.storage.shape&&!s.enrich)return e.throw({code:`CRUD_ENRICH_REQUIRED`,message:`Table "${p.tableName}" requires an enrich callback`});if(!Number.isSafeInteger(s.read.maxPageSize)||s.read.maxPageSize<1)throw Error(`CRUD maxPageSize must be a positive safe integer`);let m=s.read.maximumRowsRead??s.read.maxPageSize;if(!Number.isSafeInteger(m)||m<1)throw Error(`CRUD maximumRowsRead must be a positive safe integer`);let h=p.tableName,g=i(h),_=d(p.commandInput),v=d(p.tools.update),y=d(p.tools.id),b=p.publicDto,x=d(a.object({id:g}).strict()),S=a.object({ok:a.literal(!0)}).strict(),C=a.object({numItems:a.number().int().min(1).max(s.read.maxPageSize),cursor:a.string().nullable(),endCursor:a.string().nullable().optional(),id:a.number().optional(),maximumRowsRead:a.number().int().positive().max(2**53-1).optional(),maximumBytesRead:a.number().int().positive().max(2**53-1).optional()}).strict(),w=r(b).result,T=s.classification??`business`,E=e=>({type:s.aggregateType,id:e}),D=`${h}.create`,O=`${h}.update`,k=`${h}.archive`,A=`${h}.get`,j=`${h}.list`;function M(t,n){return u(()=>s.checkId?s.checkId(t,n):t.db.normalizeId(p.tableName,n)!==null).pipe(o.map(t=>t===!0?n:e.throw({code:`CRUD_INVALID_ID`,message:`Invalid ID for table "${p.tableName}"`})))}function N(e,n){if(s.repository)return t(()=>s.repository.insert(e,n));let r=e;return t(()=>r.db.insert(p.tableName,n))}function P(e,n,r){if(s.repository)return t(()=>s.repository.patch(e,n,r));let i=e;return t(()=>i.db.patch(n,r))}let F=l(s.overrides?.create,(e,t)=>o.gen(function*(){let n=yield*u(()=>s.enrich?.(t,e));return{id:yield*N(t,Object.fromEntries(Object.entries({...e,...n}).filter(([,e])=>e!==void 0)))}})),I=l(s.overrides?.update,(e,t)=>P(t,e.id,e.data).pipe(o.as({ok:!0}))),L=(e,n)=>M(n,e.id).pipe(o.flatMap(()=>t(()=>I(e,n)))),R=l(s.overrides?.archive,(e,t)=>P(t,e.id,f(Date.now())).pipe(o.as({ok:!0}))),z=(e,n)=>M(n,e.id).pipe(o.flatMap(()=>t(()=>R(e,n)))),B=n(),V=Object.assign({},c(D,B.command({input:_,result:x,classification:T,aggregates:[s.aggregateType],permission:s.policy?.permissions?.create,guard:s.guards?.create,handler:F,audit:({result:e},t)=>u(()=>s.actor(t)).pipe(o.map(t=>({operation:D,actorId:t,aggregate:E(e.id)})))})),c(O,B.command({input:v,result:S,classification:T,aggregates:[s.aggregateType],permission:s.policy?.permissions?.update,guard:s.guards?.update,handler:L,audit:({command:e},t)=>u(()=>s.actor(t)).pipe(o.map(t=>({operation:O,actorId:t,aggregate:E(e.id)})))})),c(k,B.command({input:y,result:S,classification:T,aggregates:[s.aggregateType],permission:s.policy?.permissions?.archive,guard:s.guards?.archive,handler:z,audit:({command:e},t)=>u(()=>s.actor(t)).pipe(o.map(t=>({operation:k,actorId:t,aggregate:E(e.id)})))}))),H={context:s.context,defaults:{guard:s.policy?.guard},operations:()=>V},U=s.foundation.Command(H),W=d(b.nullable()),G=Object.assign({},c(A,B.query({input:y,result:W,permission:s.policy?.permissions?.get,guard:s.guards?.get,handler:(e,t)=>M(t,e.id).pipe(o.flatMap(e=>u(()=>s.read.get(t,e))),o.flatMap(e=>e===null?o.succeed(null):u(()=>s.read.project(e))))})),c(j,B.query({input:C,result:w,permission:s.policy?.permissions?.list,guard:s.guards?.list,handler:(e,t)=>u(()=>s.read.list(t,{...e,maximumRowsRead:Math.min(e.maximumRowsRead??m,m)})).pipe(o.flatMap(e=>o.forEach(e.page,e=>u(()=>s.read.project(e))).pipe(o.map(t=>({...e,page:t})))))}))),K={context:s.context,defaults:{guard:s.policy?.guard},operations:()=>G};return{commands:U,queries:s.foundation.Query(K),operations:V,queryOperations:G}}function c(e,t){return{[e]:t}}function l(e,t){return e??t}function u(e){return t(e)}function d(e){return{"~standard":e[`~standard`],parse:t=>e.parse(t),parseAsync:t=>e.parseAsync(t)}}function f(e){return Object.fromEntries([[`archivedAt`,e]])}export{s as createEffectCrud};
 //# sourceMappingURL=crud.mjs.map

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

@@ -0,0 +1,44 @@
+import { ContractInput, ContractOutput, ContractSchema } from "../contracts/contract.mjs";
+import { AuditEntryInput } from "../../components/foundation/client.mjs";
+import { DomainOperationContract, ExactOperationKeys } from "../contracts/domain.mjs";
+import { CallbackError, CallbackRequirements, CheckedEffectDefinition, EffectPreparation, OperationDefinition, effectOperationFactory } from "./operation.mjs";
+import { Effect } from "effect";
+//#region src/modules/effect/domain.d.ts
+type Supported<A> = A | PromiseLike<A> | Effect.Effect<A, unknown, unknown>;
+type Audit = Omit<AuditEntryInput, 'classification'> | null;
+declare const domainKey: unique symbol;
+type BoundKey<Key> = {
+  readonly [domainKey]: Key;
+};
+type Schemas<Entry extends DomainOperationContract> = Pick<Entry, 'input' | 'result'> & Omit<Entry, 'input' | 'result'>;
+type Forbidden = {
+  input?: never;
+  result?: never;
+  classification?: never;
+  replayResult?: never;
+  wire?: never;
+};
+type AuditCallback<Context, Entry extends DomainOperationContract, Value> = (resolution: {
+  command: ContractOutput<Entry['input']>;
+  result: ContractOutput<Entry['result']>;
+}, context: Context) => Value;
+export type SelectedAudit<Definition, Default> = Definition extends {
+  audit: infer Override;
+} ? Override : 'audit' extends keyof Definition ? Exclude<Definition['audit' & keyof Definition], undefined> | Default : Default;
+export type AuditedOperations<Operations, Default> = { [Key in keyof Operations]: Omit<Operations[Key], 'audit'> & {
+  audit: SelectedAudit<Operations[Key], Default>;
+}; };
+export type ExactDomainOperations<Operations, Contracts> = ExactOperationKeys<Operations, Contracts> & { [Key in keyof Operations]: Operations[Key] extends BoundKey<Key> ? Operations[Key] : never; };
+type Helper<Context, Entry extends DomainOperationContract, Key, Command extends boolean, Default, BaseError, BaseRequirements> = <Handler extends Supported<ContractInput<Entry['result']>>, Guard extends Supported<void> = never, Preparation extends Supported<EffectPreparation<ContractOutput<Entry['result']>, unknown, unknown>> = never, const Aggregates extends readonly string[] = readonly string[], AuditReturned extends Supported<Audit> = never, Middleware extends Supported<ContractInput<Entry['result']>> = never, const Metadata extends object = Record<never, never>, const Definition extends object = object>(implementation: Definition & Forbidden & Omit<OperationDefinition<Context, Entry['input'], Entry['result'], Record<never, never>, Aggregates, Handler, Guard, Preparation, AuditReturned, Middleware, Metadata, BaseError, BaseRequirements, ContractSchema, never>, 'input' | 'result' | 'classification' | 'replayResult' | 'wire'> & (Command extends true ? [Default] extends [never] ? {
+  audit: AuditCallback<Context, Entry, AuditReturned>;
+} : {} : {
+  audit?: never;
+  prepare?: never;
+  aggregates?: never;
+})) => CheckedEffectDefinition<Context, Schemas<Entry> & Definition & BoundKey<Key>, BaseError, BaseRequirements>;
+export type DomainEffectFactory<Context, Entries extends Readonly<Record<string, DomainOperationContract>>, Command extends boolean, Default = never, BaseError = never, BaseRequirements = never> = { [Kind in Command extends true ? 'command' : 'query']: { readonly [Key in keyof Entries]: Helper<Context, Entries[Key], Key, Command, Default, BaseError, BaseRequirements>; }; };
+export declare function domainEffectFactory<Context, Entries extends Readonly<Record<string, DomainOperationContract>>, Command extends boolean, Default, Guard>(entries: Entries, command: Command): DomainEffectFactory<Context, Entries, Command, Default, CallbackError<Guard>, CallbackRequirements<Guard>>;
+export type SharedEffectFactory<Context, Guard> = ReturnType<typeof effectOperationFactory<Context, Record<never, never>, NoInfer<CallbackError<Guard>>, NoInfer<CallbackRequirements<Guard>>, false>>;
+export type AuditValue = Supported<Audit>;
+//#endregion
+//# sourceMappingURL=domain.d.mts.map

package/dist/modules/effect/domain.mjs

@@ -0,0 +1,2 @@
+import{domainHelpers as e}from"../contracts/binding.mjs";function t(t,n){let r=e(t);return{[n?`command`:`query`]:r}}export{t as domainEffectFactory};
+//# sourceMappingURL=domain.mjs.map

package/dist/modules/effect/domain.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"domain.mjs","names":["domainEffectFactory","helpers","domainHelpers","entries","command"],"sources":["../../../src/modules/effect/domain.ts"],"sourcesContent":["/* oxlint-disable anti-slop/no-object-parameters -- Internal helper storage is heterogeneous; the exported mapped signatures validate the schema-paired implementation. */\nimport type { Effect } from 'effect'\nimport type { AuditEntryInput } from '../../components/foundation/client'\nimport type { ContractInput, ContractOutput, ContractSchema } from '../contracts/contract'\nimport type { DomainOperationContract, ExactOperationKeys } from '../contracts/domain'\nimport { domainHelpers } from '../contracts/binding'\nimport {\n\teffectOperationFactory,\n\ttype OperationDefinition,\n\ttype CheckedEffectDefinition,\n\ttype CallbackError,\n\ttype CallbackRequirements,\n\ttype EffectPreparation,\n} from './operation'\n\ntype Supported<A> = A | PromiseLike<A> | Effect.Effect<A, unknown, unknown>\ntype Audit = Omit<AuditEntryInput, 'classification'> | null\ndeclare const domainKey: unique symbol\ntype BoundKey<Key> = { readonly [domainKey]: Key }\ntype Schemas<Entry extends DomainOperationContract> = Pick<Entry, 'input' | 'result'> &\n\tOmit<Entry, 'input' | 'result'>\ntype Forbidden = {\n\tinput?: never\n\tresult?: never\n\tclassification?: never\n\treplayResult?: never\n\twire?: never\n}\ntype AuditCallback<Context, Entry extends DomainOperationContract, Value> = (\n\tresolution: { command: ContractOutput<Entry['input']>; result: ContractOutput<Entry['result']> },\n\tcontext: Context,\n) => Value\nexport type SelectedAudit<Definition, Default> = Definition extends { audit: infer Override }\n\t? Override\n\t: 'audit' extends keyof Definition\n\t\t? Exclude<Definition['audit' & keyof Definition], undefined> | Default\n\t\t: Default\nexport type AuditedOperations<Operations, Default> = {\n\t[Key in keyof Operations]: Omit<Operations[Key], 'audit'> & {\n\t\taudit: SelectedAudit<Operations[Key], Default>\n\t}\n}\nexport type ExactDomainOperations<Operations, Contracts> = ExactOperationKeys<\n\tOperations,\n\tContracts\n> & {\n\t[Key in keyof Operations]: Operations[Key] extends BoundKey<Key> ? Operations[Key] : never\n}\n\ntype Helper<\n\tContext,\n\tEntry extends DomainOperationContract,\n\tKey,\n\tCommand extends boolean,\n\tDefault,\n\tBaseError,\n\tBaseRequirements,\n> = <\n\tHandler extends Supported<ContractInput<Entry['result']>>,\n\tGuard extends Supported<void> = never,\n\tPreparation extends Supported<\n\t\tEffectPreparation<ContractOutput<Entry['result']>, unknown, unknown>\n\t> = never,\n\tconst Aggregates extends readonly string[] = readonly string[],\n\tAuditReturned extends Supported<Audit> = never,\n\tMiddleware extends Supported<ContractInput<Entry['result']>> = never,\n\tconst Metadata extends object = Record<never, never>,\n\tconst Definition extends object = object,\n>(\n\timplementation: Definition &\n\t\tForbidden &\n\t\tOmit<\n\t\t\tOperationDefinition<\n\t\t\t\tContext,\n\t\t\t\tEntry['input'],\n\t\t\t\tEntry['result'],\n\t\t\t\tRecord<never, never>,\n\t\t\t\tAggregates,\n\t\t\t\tHandler,\n\t\t\t\tGuard,\n\t\t\t\tPreparation,\n\t\t\t\tAuditReturned,\n\t\t\t\tMiddleware,\n\t\t\t\tMetadata,\n\t\t\t\tBaseError,\n\t\t\t\tBaseRequirements,\n\t\t\t\tContractSchema,\n\t\t\t\tnever\n\t\t\t>,\n\t\t\t'input' | 'result' | 'classification' | 'replayResult' | 'wire'\n\t\t> &\n\t\t(Command extends true\n\t\t\t? [Default] extends [never]\n\t\t\t\t? { audit: AuditCallback<Context, Entry, AuditReturned> }\n\t\t\t\t: {}\n\t\t\t: { audit?: never; prepare?: never; aggregates?: never }),\n) => CheckedEffectDefinition<\n\tContext,\n\tSchemas<Entry> & Definition & BoundKey<Key>,\n\tBaseError,\n\tBaseRequirements\n>\n\nexport type DomainEffectFactory<\n\tContext,\n\tEntries extends Readonly<Record<string, DomainOperationContract>>,\n\tCommand extends boolean,\n\tDefault = never,\n\tBaseError = never,\n\tBaseRequirements = never,\n> = {\n\t[Kind in Command extends true ? 'command' : 'query']: {\n\t\treadonly [Key in keyof Entries]: Helper<\n\t\t\tContext,\n\t\t\tEntries[Key],\n\t\t\tKey,\n\t\t\tCommand,\n\t\t\tDefault,\n\t\t\tBaseError,\n\t\t\tBaseRequirements\n\t\t>\n\t}\n}\n\nexport function domainEffectFactory<\n\tContext,\n\tEntries extends Readonly<Record<string, DomainOperationContract>>,\n\tCommand extends boolean,\n\tDefault,\n\tGuard,\n>(\n\tentries: Entries,\n\tcommand: Command,\n): DomainEffectFactory<\n\tContext,\n\tEntries,\n\tCommand,\n\tDefault,\n\tCallbackError<Guard>,\n\tCallbackRequirements<Guard>\n> {\n\tconst helpers = domainHelpers(entries)\n\t// SAFETY: each named helper installs its exact declaration; the public signatures check all callbacks.\n\treturn { [command ? 'command' : 'query']: helpers } as DomainEffectFactory<\n\t\tContext,\n\t\tEntries,\n\t\tCommand,\n\t\tDefault,\n\t\tCallbackError<Guard>,\n\t\tCallbackRequirements<Guard>\n\t>\n}\n\nexport type SharedEffectFactory<Context, Guard> = ReturnType<\n\ttypeof effectOperationFactory<\n\t\tContext,\n\t\tRecord<never, never>,\n\t\tNoInfer<CallbackError<Guard>>,\n\t\tNoInfer<CallbackRequirements<Guard>>,\n\t\tfalse\n\t>\n>\nexport type AuditValue = Supported<Audit>\n"],"mappings":"yDA4HA,SAAgBA,EAOf,EACA,EAQC,CACD,IAAMC,EAAUC,EAAcC,CAAO,EAErC,MAAO,EAAGC,EAAU,UAAY,SAAUH,CAAQ,CAQnD"}

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

@@ -90,7 +90,7 @@ type Audit<Aggregates extends readonly string[]> = Omit<AuditEntryInput, 'classi
     id: string;
   };
 };
-type OperationDefinition<Context, Input extends ContractSchema, Output extends ContractSchema, Extension, Aggregates extends readonly string[], Handler, Guard, Preparation, AuditResult, Middleware, Metadata, BaseError, BaseRequirements, Wire extends ContractSchema, Replay extends ContractSchema> = {
+export type OperationDefinition<Context, Input extends ContractSchema, Output extends ContractSchema, Extension, Aggregates extends readonly string[], Handler, Guard, Preparation, AuditResult, Middleware, Metadata, BaseError, BaseRequirements, Wire extends ContractSchema, Replay extends ContractSchema> = {
   input: Input;
   result: Output;
   handler: (input: ContractOutput<Input>, context: Context & Extension) => Handler;
@@ -120,15 +120,16 @@ type OperationDefinition<Context, Input extends ContractSchema, Output extends C
  * and returned Effect channels when middleware comes first. TypeScript processes
  * context-sensitive object callbacks in declaration order.
  */
-export declare function effectOperationFactory<Context, Extension extends Record<string, unknown> = Record<never, never>, BaseError = never, BaseRequirements = never>(): {
+export declare function effectOperationFactory<Context, Extension extends Record<string, unknown> = Record<never, never>, BaseError = never, BaseRequirements = never, AuditRequired extends boolean = true>(): {
   operation: <const Input extends ContractSchema, const Output extends ContractSchema, Handler extends Supported<ContractInput<Output>>, Guard extends Supported<void> = never, Preparation extends Supported<EffectPreparation<ContractOutput<Output>, unknown, unknown>> = never, const Aggregates extends readonly string[] = readonly string[], AuditResult extends Supported<Audit<Aggregates> | null> = never, Middleware extends Supported<ContractInput<Output>> = never, const Metadata extends object = Record<never, never>, const Wire extends ContractSchema = ContractSchema, const Replay extends ContractSchema = never, const Definition extends object = object>(definition: Definition & OperationDefinition<Context, Input, Output, Extension, Aggregates, Handler, Guard, Preparation, AuditResult, Middleware, Metadata, BaseError, BaseRequirements, Wire, Replay>) => CheckedEffectDefinition<Context, typeof definition, BaseError, BaseRequirements>;
   command: <const Input extends ContractSchema, const Output extends ContractSchema, Handler extends Supported<ContractInput<Output>>, Guard extends Supported<void> = never, Preparation extends Supported<EffectPreparation<ContractOutput<Output>, unknown, unknown>> = never, const Aggregates extends readonly string[] = readonly string[], AuditResult extends Supported<Audit<Aggregates> | null> = never, Middleware extends Supported<ContractInput<Output>> = never, const Metadata extends object = Record<never, never>, const Wire extends ContractSchema = ContractSchema, const Replay extends ContractSchema = never, const Definition extends object = object>(definition: Definition & OperationDefinition<Context, Input, Output, Extension, Aggregates, Handler, Guard, Preparation, AuditResult, Middleware, Metadata, BaseError, BaseRequirements, Wire, Replay> & {
     classification: string;
+  } & (AuditRequired extends true ? {
     audit: (resolution: {
       command: ContractOutput<Input>;
       result: ContractOutput<Output>;
     }, context: Context) => AuditResult;
-  }) => CheckedEffectDefinition<Context, typeof definition, BaseError, BaseRequirements>;
+  } : {})) => CheckedEffectDefinition<Context, typeof definition, BaseError, BaseRequirements>;
   query: <const Input extends ContractSchema, const Output extends ContractSchema, Handler extends Supported<ContractInput<Output>>, Guard extends Supported<void> = never, Middleware extends Supported<ContractInput<Output>> = never, const Metadata extends object = Record<never, never>, const Wire extends ContractSchema = ContractSchema, const Replay extends ContractSchema = never, const Definition extends object = object>(definition: Definition & OperationDefinition<Context, Input, Output, Extension, readonly string[], Handler, Guard, never, never, Middleware, Metadata, BaseError, BaseRequirements, Wire, Replay> & {
     prepare?: never;
     audit?: never;

package/dist/modules/effect/operation.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"operation.mjs","names":["effectOperationFactory","operation","definition","command","query"],"sources":["../../../src/modules/effect/operation.ts"],"sourcesContent":["import type { Effect } from 'effect'\nimport type { ContractSchema, ContractInput, ContractOutput } from '../contracts/contract'\nimport type { ContractDecoderError, ContractDecoderRequirements } from './schema'\nimport type { AuditEntryInput } from '../../components/foundation/client'\n\n/** Ordinary failures are defects; only an explicit Effect supplies a typed error. */\nexport type CallbackError<Value> = Value extends (...arguments_: never[]) => infer Returned\n\t? CallbackError<Returned>\n\t: Value extends Effect.Effect<infer Success, infer Error, unknown>\n\t\t? Error | CallbackError<Success>\n\t\t: Value extends PromiseLike<infer Awaited>\n\t\t\t? CallbackError<Awaited>\n\t\t\t: Value extends readonly (infer Item)[]\n\t\t\t\t? CallbackError<Item>\n\t\t\t\t: Value extends { kind: 'execute'; complete?: infer Complete }\n\t\t\t\t\t? CallbackError<Complete>\n\t\t\t\t\t: never\n\nexport type CallbackRequirements<Value> = Value extends (...arguments_: never[]) => infer Returned\n\t? CallbackRequirements<Returned>\n\t: Value extends Effect.Effect<infer Success, unknown, infer Requirements>\n\t\t? Requirements | CallbackRequirements<Success>\n\t\t: Value extends PromiseLike<infer Awaited>\n\t\t\t? CallbackRequirements<Awaited>\n\t\t\t: Value extends readonly (infer Item)[]\n\t\t\t\t? CallbackRequirements<Item>\n\t\t\t\t: Value extends { kind: 'execute'; complete?: infer Complete }\n\t\t\t\t\t? CallbackRequirements<Complete>\n\t\t\t\t\t: never\n\nexport type EffectValue<Value> =\n\tValue extends Effect.Effect<infer Success, unknown, unknown>\n\t\t? EffectValue<Success>\n\t\t: Value extends PromiseLike<infer Awaited>\n\t\t\t? EffectValue<Awaited>\n\t\t\t: Value\n\ndeclare const checkedOperation: unique symbol\n/** Type-only evidence that the helper checked callbacks against the base context and schemas. */\nexport type CheckedEffectOperation<Context> = {\n\treadonly [checkedOperation]: {\n\t\tcontext: (context: Context) => void\n\t\terror: unknown\n\t\trequirements: unknown\n\t\tdefinition: unknown\n\t}\n}\ntype CheckedChannels<Context, Error, Requirements, Definition> = {\n\treadonly [checkedOperation]: {\n\t\tcontext: (context: Context) => void\n\t\terror: Error\n\t\trequirements: Requirements\n\t\tdefinition: Definition\n\t}\n}\n/** Named checked-definition boundary keeps the private evidence marker inside this module's declarations. */\nexport type CheckedEffectDefinition<\n\tContext,\n\tDefinition,\n\tError = never,\n\tRequirements = never,\n> = NoInfer<Omit<Definition, typeof checkedOperation>> &\n\tCheckedChannels<Context, Error, Requirements, Omit<Definition, typeof checkedOperation>>\n/** Reject stale helper evidence after callbacks or schemas are replaced. */\nexport type ValidatedEffectOperations<Operations> = {\n\t[Key in keyof Operations]: Operations[Key] extends {\n\t\treadonly [checkedOperation]: { definition: infer Definition }\n\t}\n\t\t? Operations[Key] extends Definition\n\t\t\t? Operations[Key]\n\t\t\t: never\n\t\t: never\n}\n/** Only middleware whose next contract captured a default policy can discharge its channels. */\nexport type UnwrappedDefaultError<Definition, Guard> = Definition extends { middleware: Function }\n\t? Definition extends CheckedChannels<never, infer Error, unknown, unknown>\n\t\t? Exclude<CallbackError<Guard>, Error>\n\t\t: CallbackError<Guard>\n\t: CallbackError<Guard>\nexport type UnwrappedDefaultRequirements<Definition, Guard> = Definition extends {\n\tmiddleware: Function\n}\n\t? Definition extends CheckedChannels<never, unknown, infer Requirements, unknown>\n\t\t? Exclude<CallbackRequirements<Guard>, Requirements>\n\t\t: CallbackRequirements<Guard>\n\t: CallbackRequirements<Guard>\nexport type EffectOperationArgument<Definition extends { input: ContractSchema }> = ContractInput<\n\tDefinition['input']\n>\nexport type EffectOperationInput<Definition extends { input: ContractSchema }> = ContractOutput<\n\tDefinition['input']\n>\nexport type EffectOperationHandlerResult<Definition extends { result: ContractSchema }> =\n\tContractInput<Definition['result']>\nexport type EffectOperationResult<Definition extends { result: ContractSchema }> = ContractOutput<\n\tDefinition['result']\n>\n\ntype Hook<Definition, Key extends PropertyKey> = Key extends keyof Definition\n\t? Definition[Key]\n\t: never\ntype Returned<Callback> = Callback extends (...arguments_: never[]) => infer Value ? Value : never\n/** A conditional wrapper must retain the unwrapped channels for its absent branch. */\ntype CoreValue<Definition> = [Returned<Hook<Definition, 'middleware'>>] extends [never]\n\t? Returned<Hook<Definition, 'handler'>> | Returned<Hook<Definition, 'guard'>>\n\t: undefined extends Hook<Definition, 'middleware'>\n\t\t?\n\t\t\t\t| Returned<Hook<Definition, 'handler'>>\n\t\t\t\t| Returned<Hook<Definition, 'guard'>>\n\t\t\t\t| Returned<Hook<Definition, 'middleware'>>\n\t\t: Returned<Hook<Definition, 'middleware'>>\ntype OutsideHooks = 'prepare' | 'audit' | 'checkPermission' | 'writeAudit'\nexport type EffectOperationError<Definition> =\n\t| ContractDecoderError<Hook<Definition, 'input'>>\n\t| ContractDecoderError<Hook<Definition, 'result'>>\n\t| ContractDecoderError<Hook<Definition, 'replayResult'>>\n\t| CallbackError<CoreValue<Definition>>\n\t| CallbackError<Definition[Extract<keyof Definition, OutsideHooks>]>\nexport type EffectOperationRequirements<Definition> =\n\t| ContractDecoderRequirements<Hook<Definition, 'input'>>\n\t| ContractDecoderRequirements<Hook<Definition, 'result'>>\n\t| ContractDecoderRequirements<Hook<Definition, 'replayResult'>>\n\t| CallbackRequirements<CoreValue<Definition>>\n\t| CallbackRequirements<Definition[Extract<keyof Definition, OutsideHooks>]>\n\ntype Supported<Value, Error = unknown, Requirements = unknown> =\n\t| Value\n\t| PromiseLike<Value>\n\t| Effect.Effect<Value, Error, Requirements>\nexport type EffectPreparation<Result, Error = never, Requirements = never> =\n\t| { kind: 'replay'; result: unknown }\n\t| { kind: 'execute'; complete?: (result: Result) => Supported<void, Error, Requirements> }\nexport type EffectMiddlewareInput<\n\tContext,\n\tInput,\n\tResult,\n\tExtension,\n\tError = never,\n\tRequirements = never,\n> = {\n\toperation: string\n\tcontext: Context\n\tcommand: Input\n\tinput: Input\n\tnext: keyof Extension extends never\n\t\t? (options?: { context?: Extension }) => Effect.Effect<Result, Error, Requirements>\n\t\t: (options: { context: Extension }) => Effect.Effect<Result, Error, Requirements>\n}\ntype Audit<Aggregates extends readonly string[]> = Omit<\n\tAuditEntryInput,\n\t'classification' | 'aggregate'\n> & {\n\taggregate: { type: Aggregates[number]; id: string }\n}\ntype OperationDefinition<\n\tContext,\n\tInput extends ContractSchema,\n\tOutput extends ContractSchema,\n\tExtension,\n\tAggregates extends readonly string[],\n\tHandler,\n\tGuard,\n\tPreparation,\n\tAuditResult,\n\tMiddleware,\n\tMetadata,\n\tBaseError,\n\tBaseRequirements,\n\tWire extends ContractSchema,\n\tReplay extends ContractSchema,\n> = {\n\tinput: Input\n\tresult: Output\n\thandler: (input: ContractOutput<Input>, context: Context & Extension) => Handler\n\tclassification?: string\n\tpermission?: string\n\tmetadata?: Metadata\n\taggregates?: Aggregates\n\treplayResult?: Replay & (ContractOutput<Replay> extends ContractOutput<Output> ? unknown : never)\n\twire?: { schema: Wire; project: (value: ContractOutput<Output>) => ContractInput<Wire> }\n\tguard?: (context: Context & Extension, input: ContractOutput<Input>) => Guard\n\tprepare?: (context: Context, input: ContractOutput<Input>) => Preparation\n\taudit?: (\n\t\tresolution: { command: ContractOutput<Input>; result: ContractOutput<Output> },\n\t\tcontext: Context,\n\t) => AuditResult\n} & (keyof Extension extends never\n\t? {\n\t\t\tmiddleware?: (\n\t\t\t\tinput: EffectMiddlewareInput<\n\t\t\t\t\tContext,\n\t\t\t\t\tContractOutput<Input>,\n\t\t\t\t\tContractInput<Output>,\n\t\t\t\t\tExtension,\n\t\t\t\t\tBaseError | CallbackError<Handler | Guard>,\n\t\t\t\t\tBaseRequirements | CallbackRequirements<Handler | Guard>\n\t\t\t\t>,\n\t\t\t) => Middleware\n\t\t}\n\t: {\n\t\t\tmiddleware: (\n\t\t\t\tinput: EffectMiddlewareInput<\n\t\t\t\t\tContext,\n\t\t\t\t\tContractOutput<Input>,\n\t\t\t\t\tContractInput<Output>,\n\t\t\t\t\tExtension,\n\t\t\t\t\tBaseError | CallbackError<Handler | Guard>,\n\t\t\t\t\tBaseRequirements | CallbackRequirements<Handler | Guard>\n\t\t\t\t>,\n\t\t\t) => Middleware\n\t\t})\n\n/**\n * Bind context once; middleware wraps the handler/guard channels and may discharge them.\n * Declare contextual guards/handlers before middleware, or annotate their parameters\n * and returned Effect channels when middleware comes first. TypeScript processes\n * context-sensitive object callbacks in declaration order.\n */\nexport function effectOperationFactory<\n\tContext,\n\tExtension extends Record<string, unknown> = Record<never, never>,\n\tBaseError = never,\n\tBaseRequirements = never,\n>() {\n\tfunction operation<\n\t\tconst Input extends ContractSchema,\n\t\tconst Output extends ContractSchema,\n\t\tHandler extends Supported<ContractInput<Output>>,\n\t\tGuard extends Supported<void> = never,\n\t\tPreparation extends Supported<EffectPreparation<ContractOutput<Output>, unknown, unknown>> =\n\t\t\tnever,\n\t\tconst Aggregates extends readonly string[] = readonly string[],\n\t\tAuditResult extends Supported<Audit<Aggregates> | null> = never,\n\t\tMiddleware extends Supported<ContractInput<Output>> = never,\n\t\tconst Metadata extends object = Record<never, never>,\n\t\t// Retain whether middleware is guaranteed, conditional, or omitted.\n\t\tconst Wire extends ContractSchema = ContractSchema,\n\t\tconst Replay extends ContractSchema = never,\n\t\tconst Definition extends object = object,\n\t>(\n\t\tdefinition: Definition &\n\t\t\tOperationDefinition<\n\t\t\t\tContext,\n\t\t\t\tInput,\n\t\t\t\tOutput,\n\t\t\t\tExtension,\n\t\t\t\tAggregates,\n\t\t\t\tHandler,\n\t\t\t\tGuard,\n\t\t\t\tPreparation,\n\t\t\t\tAuditResult,\n\t\t\t\tMiddleware,\n\t\t\t\tMetadata,\n\t\t\t\tBaseError,\n\t\t\t\tBaseRequirements,\n\t\t\t\tWire,\n\t\t\t\tReplay\n\t\t\t>,\n\t) {\n\t\t// SAFETY: the marker is type-only proof of the helper's checked callback contract.\n\t\treturn definition as CheckedEffectDefinition<\n\t\t\tContext,\n\t\t\ttypeof definition,\n\t\t\tBaseError,\n\t\t\tBaseRequirements\n\t\t>\n\t}\n\tfunction command<\n\t\tconst Input extends ContractSchema,\n\t\tconst Output extends ContractSchema,\n\t\tHandler extends Supported<ContractInput<Output>>,\n\t\tGuard extends Supported<void> = never,\n\t\tPreparation extends Supported<EffectPreparation<ContractOutput<Output>, unknown, unknown>> =\n\t\t\tnever,\n\t\tconst Aggregates extends readonly string[] = readonly string[],\n\t\tAuditResult extends Supported<Audit<Aggregates> | null> = never,\n\t\tMiddleware extends Supported<ContractInput<Output>> = never,\n\t\tconst Metadata extends object = Record<never, never>,\n\t\t// Retain whether middleware is guaranteed, conditional, or omitted.\n\t\tconst Wire extends ContractSchema = ContractSchema,\n\t\tconst Replay extends ContractSchema = never,\n\t\tconst Definition extends object = object,\n\t>(\n\t\tdefinition: Definition &\n\t\t\tOperationDefinition<\n\t\t\t\tContext,\n\t\t\t\tInput,\n\t\t\t\tOutput,\n\t\t\t\tExtension,\n\t\t\t\tAggregates,\n\t\t\t\tHandler,\n\t\t\t\tGuard,\n\t\t\t\tPreparation,\n\t\t\t\tAuditResult,\n\t\t\t\tMiddleware,\n\t\t\t\tMetadata,\n\t\t\t\tBaseError,\n\t\t\t\tBaseRequirements,\n\t\t\t\tWire,\n\t\t\t\tReplay\n\t\t\t> & {\n\t\t\t\tclassification: string\n\t\t\t\taudit: (\n\t\t\t\t\tresolution: { command: ContractOutput<Input>; result: ContractOutput<Output> },\n\t\t\t\t\tcontext: Context,\n\t\t\t\t) => AuditResult\n\t\t\t},\n\t) {\n\t\t// SAFETY: the marker is type-only proof of the helper's checked callback contract.\n\t\treturn definition as CheckedEffectDefinition<\n\t\t\tContext,\n\t\t\ttypeof definition,\n\t\t\tBaseError,\n\t\t\tBaseRequirements\n\t\t>\n\t}\n\tfunction query<\n\t\tconst Input extends ContractSchema,\n\t\tconst Output extends ContractSchema,\n\t\tHandler extends Supported<ContractInput<Output>>,\n\t\tGuard extends Supported<void> = never,\n\t\tMiddleware extends Supported<ContractInput<Output>> = never,\n\t\tconst Metadata extends object = Record<never, never>,\n\t\tconst Wire extends ContractSchema = ContractSchema,\n\t\tconst Replay extends ContractSchema = never,\n\t\tconst Definition extends object = object,\n\t>(\n\t\tdefinition: Definition &\n\t\t\tOperationDefinition<\n\t\t\t\tContext,\n\t\t\t\tInput,\n\t\t\t\tOutput,\n\t\t\t\tExtension,\n\t\t\t\treadonly string[],\n\t\t\t\tHandler,\n\t\t\t\tGuard,\n\t\t\t\tnever,\n\t\t\t\tnever,\n\t\t\t\tMiddleware,\n\t\t\t\tMetadata,\n\t\t\t\tBaseError,\n\t\t\t\tBaseRequirements,\n\t\t\t\tWire,\n\t\t\t\tReplay\n\t\t\t> & {\n\t\t\t\tprepare?: never\n\t\t\t\taudit?: never\n\t\t\t\taggregates?: never\n\t\t\t\treplayResult?: never\n\t\t\t},\n\t) {\n\t\t// SAFETY: the marker is type-only proof of the helper's checked callback contract.\n\t\treturn definition as CheckedEffectDefinition<\n\t\t\tContext,\n\t\t\ttypeof definition,\n\t\t\tBaseError,\n\t\t\tBaseRequirements\n\t\t>\n\t}\n\treturn { operation, command, query }\n}\n"],"mappings":"AA0NA,SAAgBA,GAKZ,CACH,SAASC,EAgBR,EAkBC,CAED,OAAOC,CAMR,CACA,SAASC,EAgBR,EAwBC,CAED,OAAOD,CAMR,CACA,SAASE,EAWR,EAuBC,CAED,OAAOF,CAMR,CACA,MAAO,CAAE,YAAW,UAAS,OAAM,CACpC"}
+{"version":3,"file":"operation.mjs","names":["effectOperationFactory","operation","definition","command","query"],"sources":["../../../src/modules/effect/operation.ts"],"sourcesContent":["import type { Effect } from 'effect'\nimport type { ContractSchema, ContractInput, ContractOutput } from '../contracts/contract'\nimport type { ContractDecoderError, ContractDecoderRequirements } from './schema'\nimport type { AuditEntryInput } from '../../components/foundation/client'\n\n/** Ordinary failures are defects; only an explicit Effect supplies a typed error. */\nexport type CallbackError<Value> = Value extends (...arguments_: never[]) => infer Returned\n\t? CallbackError<Returned>\n\t: Value extends Effect.Effect<infer Success, infer Error, unknown>\n\t\t? Error | CallbackError<Success>\n\t\t: Value extends PromiseLike<infer Awaited>\n\t\t\t? CallbackError<Awaited>\n\t\t\t: Value extends readonly (infer Item)[]\n\t\t\t\t? CallbackError<Item>\n\t\t\t\t: Value extends { kind: 'execute'; complete?: infer Complete }\n\t\t\t\t\t? CallbackError<Complete>\n\t\t\t\t\t: never\n\nexport type CallbackRequirements<Value> = Value extends (...arguments_: never[]) => infer Returned\n\t? CallbackRequirements<Returned>\n\t: Value extends Effect.Effect<infer Success, unknown, infer Requirements>\n\t\t? Requirements | CallbackRequirements<Success>\n\t\t: Value extends PromiseLike<infer Awaited>\n\t\t\t? CallbackRequirements<Awaited>\n\t\t\t: Value extends readonly (infer Item)[]\n\t\t\t\t? CallbackRequirements<Item>\n\t\t\t\t: Value extends { kind: 'execute'; complete?: infer Complete }\n\t\t\t\t\t? CallbackRequirements<Complete>\n\t\t\t\t\t: never\n\nexport type EffectValue<Value> =\n\tValue extends Effect.Effect<infer Success, unknown, unknown>\n\t\t? EffectValue<Success>\n\t\t: Value extends PromiseLike<infer Awaited>\n\t\t\t? EffectValue<Awaited>\n\t\t\t: Value\n\ndeclare const checkedOperation: unique symbol\n/** Type-only evidence that the helper checked callbacks against the base context and schemas. */\nexport type CheckedEffectOperation<Context> = {\n\treadonly [checkedOperation]: {\n\t\tcontext: (context: Context) => void\n\t\terror: unknown\n\t\trequirements: unknown\n\t\tdefinition: unknown\n\t}\n}\ntype CheckedChannels<Context, Error, Requirements, Definition> = {\n\treadonly [checkedOperation]: {\n\t\tcontext: (context: Context) => void\n\t\terror: Error\n\t\trequirements: Requirements\n\t\tdefinition: Definition\n\t}\n}\n/** Named checked-definition boundary keeps the private evidence marker inside this module's declarations. */\nexport type CheckedEffectDefinition<\n\tContext,\n\tDefinition,\n\tError = never,\n\tRequirements = never,\n> = NoInfer<Omit<Definition, typeof checkedOperation>> &\n\tCheckedChannels<Context, Error, Requirements, Omit<Definition, typeof checkedOperation>>\n/** Reject stale helper evidence after callbacks or schemas are replaced. */\nexport type ValidatedEffectOperations<Operations> = {\n\t[Key in keyof Operations]: Operations[Key] extends {\n\t\treadonly [checkedOperation]: { definition: infer Definition }\n\t}\n\t\t? Operations[Key] extends Definition\n\t\t\t? Operations[Key]\n\t\t\t: never\n\t\t: never\n}\n/** Only middleware whose next contract captured a default policy can discharge its channels. */\nexport type UnwrappedDefaultError<Definition, Guard> = Definition extends { middleware: Function }\n\t? Definition extends CheckedChannels<never, infer Error, unknown, unknown>\n\t\t? Exclude<CallbackError<Guard>, Error>\n\t\t: CallbackError<Guard>\n\t: CallbackError<Guard>\nexport type UnwrappedDefaultRequirements<Definition, Guard> = Definition extends {\n\tmiddleware: Function\n}\n\t? Definition extends CheckedChannels<never, unknown, infer Requirements, unknown>\n\t\t? Exclude<CallbackRequirements<Guard>, Requirements>\n\t\t: CallbackRequirements<Guard>\n\t: CallbackRequirements<Guard>\nexport type EffectOperationArgument<Definition extends { input: ContractSchema }> = ContractInput<\n\tDefinition['input']\n>\nexport type EffectOperationInput<Definition extends { input: ContractSchema }> = ContractOutput<\n\tDefinition['input']\n>\nexport type EffectOperationHandlerResult<Definition extends { result: ContractSchema }> =\n\tContractInput<Definition['result']>\nexport type EffectOperationResult<Definition extends { result: ContractSchema }> = ContractOutput<\n\tDefinition['result']\n>\n\ntype Hook<Definition, Key extends PropertyKey> = Key extends keyof Definition\n\t? Definition[Key]\n\t: never\ntype Returned<Callback> = Callback extends (...arguments_: never[]) => infer Value ? Value : never\n/** A conditional wrapper must retain the unwrapped channels for its absent branch. */\ntype CoreValue<Definition> = [Returned<Hook<Definition, 'middleware'>>] extends [never]\n\t? Returned<Hook<Definition, 'handler'>> | Returned<Hook<Definition, 'guard'>>\n\t: undefined extends Hook<Definition, 'middleware'>\n\t\t?\n\t\t\t\t| Returned<Hook<Definition, 'handler'>>\n\t\t\t\t| Returned<Hook<Definition, 'guard'>>\n\t\t\t\t| Returned<Hook<Definition, 'middleware'>>\n\t\t: Returned<Hook<Definition, 'middleware'>>\ntype OutsideHooks = 'prepare' | 'audit' | 'checkPermission' | 'writeAudit'\nexport type EffectOperationError<Definition> =\n\t| ContractDecoderError<Hook<Definition, 'input'>>\n\t| ContractDecoderError<Hook<Definition, 'result'>>\n\t| ContractDecoderError<Hook<Definition, 'replayResult'>>\n\t| CallbackError<CoreValue<Definition>>\n\t| CallbackError<Definition[Extract<keyof Definition, OutsideHooks>]>\nexport type EffectOperationRequirements<Definition> =\n\t| ContractDecoderRequirements<Hook<Definition, 'input'>>\n\t| ContractDecoderRequirements<Hook<Definition, 'result'>>\n\t| ContractDecoderRequirements<Hook<Definition, 'replayResult'>>\n\t| CallbackRequirements<CoreValue<Definition>>\n\t| CallbackRequirements<Definition[Extract<keyof Definition, OutsideHooks>]>\n\ntype Supported<Value, Error = unknown, Requirements = unknown> =\n\t| Value\n\t| PromiseLike<Value>\n\t| Effect.Effect<Value, Error, Requirements>\nexport type EffectPreparation<Result, Error = never, Requirements = never> =\n\t| { kind: 'replay'; result: unknown }\n\t| { kind: 'execute'; complete?: (result: Result) => Supported<void, Error, Requirements> }\nexport type EffectMiddlewareInput<\n\tContext,\n\tInput,\n\tResult,\n\tExtension,\n\tError = never,\n\tRequirements = never,\n> = {\n\toperation: string\n\tcontext: Context\n\tcommand: Input\n\tinput: Input\n\tnext: keyof Extension extends never\n\t\t? (options?: { context?: Extension }) => Effect.Effect<Result, Error, Requirements>\n\t\t: (options: { context: Extension }) => Effect.Effect<Result, Error, Requirements>\n}\ntype Audit<Aggregates extends readonly string[]> = Omit<\n\tAuditEntryInput,\n\t'classification' | 'aggregate'\n> & {\n\taggregate: { type: Aggregates[number]; id: string }\n}\nexport type OperationDefinition<\n\tContext,\n\tInput extends ContractSchema,\n\tOutput extends ContractSchema,\n\tExtension,\n\tAggregates extends readonly string[],\n\tHandler,\n\tGuard,\n\tPreparation,\n\tAuditResult,\n\tMiddleware,\n\tMetadata,\n\tBaseError,\n\tBaseRequirements,\n\tWire extends ContractSchema,\n\tReplay extends ContractSchema,\n> = {\n\tinput: Input\n\tresult: Output\n\thandler: (input: ContractOutput<Input>, context: Context & Extension) => Handler\n\tclassification?: string\n\tpermission?: string\n\tmetadata?: Metadata\n\taggregates?: Aggregates\n\treplayResult?: Replay & (ContractOutput<Replay> extends ContractOutput<Output> ? unknown : never)\n\twire?: { schema: Wire; project: (value: ContractOutput<Output>) => ContractInput<Wire> }\n\tguard?: (context: Context & Extension, input: ContractOutput<Input>) => Guard\n\tprepare?: (context: Context, input: ContractOutput<Input>) => Preparation\n\taudit?: (\n\t\tresolution: { command: ContractOutput<Input>; result: ContractOutput<Output> },\n\t\tcontext: Context,\n\t) => AuditResult\n} & (keyof Extension extends never\n\t? {\n\t\t\tmiddleware?: (\n\t\t\t\tinput: EffectMiddlewareInput<\n\t\t\t\t\tContext,\n\t\t\t\t\tContractOutput<Input>,\n\t\t\t\t\tContractInput<Output>,\n\t\t\t\t\tExtension,\n\t\t\t\t\tBaseError | CallbackError<Handler | Guard>,\n\t\t\t\t\tBaseRequirements | CallbackRequirements<Handler | Guard>\n\t\t\t\t>,\n\t\t\t) => Middleware\n\t\t}\n\t: {\n\t\t\tmiddleware: (\n\t\t\t\tinput: EffectMiddlewareInput<\n\t\t\t\t\tContext,\n\t\t\t\t\tContractOutput<Input>,\n\t\t\t\t\tContractInput<Output>,\n\t\t\t\t\tExtension,\n\t\t\t\t\tBaseError | CallbackError<Handler | Guard>,\n\t\t\t\t\tBaseRequirements | CallbackRequirements<Handler | Guard>\n\t\t\t\t>,\n\t\t\t) => Middleware\n\t\t})\n\n/**\n * Bind context once; middleware wraps the handler/guard channels and may discharge them.\n * Declare contextual guards/handlers before middleware, or annotate their parameters\n * and returned Effect channels when middleware comes first. TypeScript processes\n * context-sensitive object callbacks in declaration order.\n */\nexport function effectOperationFactory<\n\tContext,\n\tExtension extends Record<string, unknown> = Record<never, never>,\n\tBaseError = never,\n\tBaseRequirements = never,\n\tAuditRequired extends boolean = true,\n>() {\n\tfunction operation<\n\t\tconst Input extends ContractSchema,\n\t\tconst Output extends ContractSchema,\n\t\tHandler extends Supported<ContractInput<Output>>,\n\t\tGuard extends Supported<void> = never,\n\t\tPreparation extends Supported<EffectPreparation<ContractOutput<Output>, unknown, unknown>> =\n\t\t\tnever,\n\t\tconst Aggregates extends readonly string[] = readonly string[],\n\t\tAuditResult extends Supported<Audit<Aggregates> | null> = never,\n\t\tMiddleware extends Supported<ContractInput<Output>> = never,\n\t\tconst Metadata extends object = Record<never, never>,\n\t\t// Retain whether middleware is guaranteed, conditional, or omitted.\n\t\tconst Wire extends ContractSchema = ContractSchema,\n\t\tconst Replay extends ContractSchema = never,\n\t\tconst Definition extends object = object,\n\t>(\n\t\tdefinition: Definition &\n\t\t\tOperationDefinition<\n\t\t\t\tContext,\n\t\t\t\tInput,\n\t\t\t\tOutput,\n\t\t\t\tExtension,\n\t\t\t\tAggregates,\n\t\t\t\tHandler,\n\t\t\t\tGuard,\n\t\t\t\tPreparation,\n\t\t\t\tAuditResult,\n\t\t\t\tMiddleware,\n\t\t\t\tMetadata,\n\t\t\t\tBaseError,\n\t\t\t\tBaseRequirements,\n\t\t\t\tWire,\n\t\t\t\tReplay\n\t\t\t>,\n\t) {\n\t\t// SAFETY: the marker is type-only proof of the helper's checked callback contract.\n\t\treturn definition as CheckedEffectDefinition<\n\t\t\tContext,\n\t\t\ttypeof definition,\n\t\t\tBaseError,\n\t\t\tBaseRequirements\n\t\t>\n\t}\n\tfunction command<\n\t\tconst Input extends ContractSchema,\n\t\tconst Output extends ContractSchema,\n\t\tHandler extends Supported<ContractInput<Output>>,\n\t\tGuard extends Supported<void> = never,\n\t\tPreparation extends Supported<EffectPreparation<ContractOutput<Output>, unknown, unknown>> =\n\t\t\tnever,\n\t\tconst Aggregates extends readonly string[] = readonly string[],\n\t\tAuditResult extends Supported<Audit<Aggregates> | null> = never,\n\t\tMiddleware extends Supported<ContractInput<Output>> = never,\n\t\tconst Metadata extends object = Record<never, never>,\n\t\t// Retain whether middleware is guaranteed, conditional, or omitted.\n\t\tconst Wire extends ContractSchema = ContractSchema,\n\t\tconst Replay extends ContractSchema = never,\n\t\tconst Definition extends object = object,\n\t>(\n\t\tdefinition: Definition &\n\t\t\tOperationDefinition<\n\t\t\t\tContext,\n\t\t\t\tInput,\n\t\t\t\tOutput,\n\t\t\t\tExtension,\n\t\t\t\tAggregates,\n\t\t\t\tHandler,\n\t\t\t\tGuard,\n\t\t\t\tPreparation,\n\t\t\t\tAuditResult,\n\t\t\t\tMiddleware,\n\t\t\t\tMetadata,\n\t\t\t\tBaseError,\n\t\t\t\tBaseRequirements,\n\t\t\t\tWire,\n\t\t\t\tReplay\n\t\t\t> & {\n\t\t\t\tclassification: string\n\t\t\t} & (AuditRequired extends true\n\t\t\t\t? {\n\t\t\t\t\t\taudit: (\n\t\t\t\t\t\t\tresolution: { command: ContractOutput<Input>; result: ContractOutput<Output> },\n\t\t\t\t\t\t\tcontext: Context,\n\t\t\t\t\t\t) => AuditResult\n\t\t\t\t\t}\n\t\t\t\t: {}),\n\t) {\n\t\t// SAFETY: the marker is type-only proof of the helper's checked callback contract.\n\t\t// oxlint-disable-next-line anti-slop/no-chained-type-assertions -- SAFETY: The private marker is type-only callback evidence, not a runtime field.\n\t\treturn definition as unknown as CheckedEffectDefinition<\n\t\t\tContext,\n\t\t\ttypeof definition,\n\t\t\tBaseError,\n\t\t\tBaseRequirements\n\t\t>\n\t}\n\tfunction query<\n\t\tconst Input extends ContractSchema,\n\t\tconst Output extends ContractSchema,\n\t\tHandler extends Supported<ContractInput<Output>>,\n\t\tGuard extends Supported<void> = never,\n\t\tMiddleware extends Supported<ContractInput<Output>> = never,\n\t\tconst Metadata extends object = Record<never, never>,\n\t\tconst Wire extends ContractSchema = ContractSchema,\n\t\tconst Replay extends ContractSchema = never,\n\t\tconst Definition extends object = object,\n\t>(\n\t\tdefinition: Definition &\n\t\t\tOperationDefinition<\n\t\t\t\tContext,\n\t\t\t\tInput,\n\t\t\t\tOutput,\n\t\t\t\tExtension,\n\t\t\t\treadonly string[],\n\t\t\t\tHandler,\n\t\t\t\tGuard,\n\t\t\t\tnever,\n\t\t\t\tnever,\n\t\t\t\tMiddleware,\n\t\t\t\tMetadata,\n\t\t\t\tBaseError,\n\t\t\t\tBaseRequirements,\n\t\t\t\tWire,\n\t\t\t\tReplay\n\t\t\t> & {\n\t\t\t\tprepare?: never\n\t\t\t\taudit?: never\n\t\t\t\taggregates?: never\n\t\t\t\treplayResult?: never\n\t\t\t},\n\t) {\n\t\t// SAFETY: the marker is type-only proof of the helper's checked callback contract.\n\t\treturn definition as CheckedEffectDefinition<\n\t\t\tContext,\n\t\t\ttypeof definition,\n\t\t\tBaseError,\n\t\t\tBaseRequirements\n\t\t>\n\t}\n\treturn { operation, command, query }\n}\n"],"mappings":"AA0NA,SAAgBA,GAMZ,CACH,SAASC,EAgBR,EAkBC,CAED,OAAOC,CAMR,CACA,SAASC,EAgBR,EA2BC,CAGD,OAAOD,CAMR,CACA,SAASE,EAWR,EAuBC,CAED,OAAOF,CAMR,CACA,MAAO,CAAE,YAAW,UAAS,OAAM,CACpC"}

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

@@ -1,7 +1,9 @@
 import { ContractOutput, ContractSchema } from "../contracts/contract.mjs";
 import { OperationPublicResult, SelectedOperation } from "../contracts/exposure.mjs";
 import { Observability, ObservabilityOptions } from "../../components/foundation/modules/observability/observability.mjs";
+import { DomainContract, DomainQueryContract } from "../contracts/domain.mjs";
 import { CallbackError, CallbackRequirements, CheckedEffectOperation, EffectOperationArgument, EffectOperationError, EffectOperationRequirements, EffectOperationResult, EffectValue, UnwrappedDefaultError, UnwrappedDefaultRequirements, ValidatedEffectOperations, effectOperationFactory } from "./operation.mjs";
+import { DomainEffectFactory, ExactDomainOperations } from "./domain.mjs";
 import { Effect } from "effect";
 //#region src/modules/effect/query.d.ts
 type Supported<Value> = Value | PromiseLike<Value> | Effect.Effect<Value, unknown, unknown>;
@@ -56,13 +58,26 @@ export type EffectQueryDependencies = {
   }) => unknown;
 };
 /** The public Foundation binds trusted application policies once. */
-export declare function bindEffectQuery<const Dependencies extends EffectQueryDependencies>(dependencies: Dependencies): <Host extends PolicyHost<Dependencies>, ContextReturned, const Operations extends QueryRegistry<EffectValue<ContextReturned>>, GuardReturned extends Supported<void> = never>(configuration: {
-  context: (host: Host) => ContextReturned;
-  operations: (definitions: ReturnType<typeof effectOperationFactory<EffectValue<ContextReturned>, Record<never, never>, NoInfer<CallbackError<GuardReturned>>, NoInfer<CallbackRequirements<GuardReturned>>>>) => Operations & NoInfer<ValidatedEffectOperations<Operations>>;
-  defaults?: {
-    metadata?: object;
-    guard?: (context: EffectValue<ContextReturned>) => GuardReturned;
-  };
-}) => ReturnType<typeof createEffectQuery<Host, ContextReturned, Operations, PolicyReturned<Dependencies>, GuardReturned>>;
+export declare function bindEffectQuery<const Dependencies extends EffectQueryDependencies>(dependencies: Dependencies): {
+  <Host extends PolicyHost<Dependencies>, ContextReturned, const Contract extends DomainContract & {
+    queries: Readonly<Record<string, DomainQueryContract>>;
+  }, const Operations extends QueryRegistry<EffectValue<ContextReturned>>, Mode extends false, GuardReturned extends Supported<void> = never>(configuration: {
+    contract: Contract;
+    context: (host: Host) => ContextReturned;
+    operations: (define: DomainEffectFactory<EffectValue<ContextReturned>, Contract['queries'], Mode, never, NoInfer<CallbackError<GuardReturned>>, NoInfer<CallbackRequirements<GuardReturned>>>) => Operations & NoInfer<ExactDomainOperations<Operations, Contract['queries']>> & NoInfer<ValidatedEffectOperations<Operations>>;
+    defaults?: {
+      metadata?: object;
+      guard?: (context: EffectValue<ContextReturned>) => GuardReturned;
+    };
+  }): ReturnType<typeof createEffectQuery<Host, ContextReturned, Operations, PolicyReturned<Dependencies>, GuardReturned>>;
+  <Host extends PolicyHost<Dependencies>, ContextReturned, const Operations extends QueryRegistry<EffectValue<ContextReturned>>, GuardReturned extends Supported<void> = never>(configuration: {
+    context: (host: Host) => ContextReturned;
+    operations: (definitions: ReturnType<typeof effectOperationFactory<EffectValue<ContextReturned>, Record<never, never>, NoInfer<CallbackError<GuardReturned>>, NoInfer<CallbackRequirements<GuardReturned>>>>) => Operations & NoInfer<ValidatedEffectOperations<Operations>>;
+    defaults?: {
+      metadata?: object;
+      guard?: (context: EffectValue<ContextReturned>) => GuardReturned;
+    };
+  }): ReturnType<typeof createEffectQuery<Host, ContextReturned, Operations, PolicyReturned<Dependencies>, GuardReturned>>;
+};
 //#endregion
 //# sourceMappingURL=query.d.mts.map

package/dist/modules/effect/query.mjs

@@ -1,2 +1,2 @@
-import{selectOperation as e}from"../contracts/exposure.mjs";import{effectOperationFactory as t}from"./operation.mjs";import{Observability as n}from"../../components/foundation/modules/observability/observability.mjs";import{decodeEffectContract as r}from"./schema.mjs";import{normalizeEffect as i,observationFailure as a}from"./normalize.mjs";import{Effect as o,Exit as s}from"effect";var c=class extends Error{code=`QUERY_MIDDLEWARE_NEXT_REUSED`;name=`QueryMiddlewareError`;constructor(){super(`A query middleware called next() more than once`)}},l=class extends Error{code=`QUERY_OPERATION_NOT_CONFIGURED`;name=`QueryConfigurationError`;constructor(){super(`The selected query operation is not configured`)}},u=class extends Error{code=`QUERY_PERMISSION_CHECKER_MISSING`;name=`QueryPermissionError`;constructor(){super(`Query permission requires an injected permission checker`)}};function d(d){let f=t(),p=d.operations(f),m=d.observability instanceof n?d.observability:new n(d.observability??{enabled:!1,classifyError:()=>({outcome:`failed`,errorCode:`UNEXPECTED`})});function h(e,t,n){return o.suspend(()=>{if(!Object.prototype.hasOwnProperty.call(p,e))return o.die(new l);let f=p[e];return o.flatMap(r(f.input,t),t=>{let l=m.start({operation:e,classification:f.classification??`query`});return o.gen(function*(){if(f.permission!==void 0){let t=d.checkPermission;if(!t)return yield*o.die(new u);yield*i(()=>t(n,{permission:f.permission,operation:e}))}let a=yield*i(()=>d.context(n)),s={...d.defaults?.metadata,...f.metadata},l=e=>o.gen(function*(){let n=d.defaults?.guard;return n&&(yield*i(()=>n(e))),f.guard&&(yield*i(()=>f.guard(e,t))),yield*i(()=>f.handler(t,e))}),p=!1,m=f.middleware,h=m?yield*i(()=>m({operation:e,input:t,command:t,context:a,metadata:s,next:e=>o.suspend(()=>p?o.die(new c):(p=!0,l(e?.context?Object.assign({},a,e.context):a)))})):yield*l(a);return yield*r(f.result,h)}).pipe(o.onExit(e=>o.sync(()=>{s.isSuccess(e)?l.completed():l.failed(a(e.cause))})))})})}function g(t,n){if(!Object.hasOwn(p,n))throw new l;return e(t,`query`,n,p[n])}return{exec:h,expose:g,withContext(e){return{exec:(t,n)=>h(t,n,e)}}}}function f(e){return function(t){let n=e.checkPermission;return d({...t,observability:e.observability,checkPermission:e.checkPermission?n:void 0})}}export{f as bindEffectQuery,d as createEffectQuery};
+import{selectOperation as e}from"../contracts/exposure.mjs";import{normalizeEffect as t,observationFailure as n}from"./normalize.mjs";import{effectOperationFactory as r}from"./operation.mjs";import{Observability as i}from"../../components/foundation/modules/observability/observability.mjs";import{decodeEffectContract as a}from"./schema.mjs";import{snapshotOperations as o}from"../contracts/binding.mjs";import{domainEffectFactory as s}from"./domain.mjs";import{Effect as c,Exit as l}from"effect";var u=class extends Error{code=`QUERY_MIDDLEWARE_NEXT_REUSED`;name=`QueryMiddlewareError`;constructor(){super(`A query middleware called next() more than once`)}},d=class extends Error{code=`QUERY_OPERATION_NOT_CONFIGURED`;name=`QueryConfigurationError`;constructor(){super(`The selected query operation is not configured`)}},f=class extends Error{code=`QUERY_PERMISSION_CHECKER_MISSING`;name=`QueryPermissionError`;constructor(){super(`Query permission requires an injected permission checker`)}};function p(o){let s=r(),p=o.operations(s),m=o.observability instanceof i?o.observability:new i(o.observability??{enabled:!1,classifyError:()=>({outcome:`failed`,errorCode:`UNEXPECTED`})});function h(e,r,i){return c.suspend(()=>{if(!Object.prototype.hasOwnProperty.call(p,e))return c.die(new d);let s=p[e];return c.flatMap(a(s.input,r),r=>{let d=m.start({operation:e,classification:s.classification??`query`});return c.gen(function*(){if(s.permission!==void 0){let n=o.checkPermission;if(!n)return yield*c.die(new f);yield*t(()=>n(i,{permission:s.permission,operation:e}))}let n=yield*t(()=>o.context(i)),l={...o.defaults?.metadata,...s.metadata},d=e=>c.gen(function*(){let n=o.defaults?.guard;return n&&(yield*t(()=>n(e))),s.guard&&(yield*t(()=>s.guard(e,r))),yield*t(()=>s.handler(r,e))}),p=!1,m=s.middleware,h=m?yield*t(()=>m({operation:e,input:r,command:r,context:n,metadata:l,next:e=>c.suspend(()=>p?c.die(new u):(p=!0,d(e?.context?Object.assign({},n,e.context):n)))})):yield*d(n);return yield*a(s.result,h)}).pipe(c.onExit(e=>c.sync(()=>{l.isSuccess(e)?d.completed():d.failed(n(e.cause))})))})})}function g(t,n){if(!Object.hasOwn(p,n))throw new d;return e(t,`query`,n,p[n])}return{exec:h,expose:g,withContext(e){return{exec:(t,n)=>h(t,n,e)}}}}function m(e){function t(t){let n=t.contract?s(t.contract.queries??{},!1):r(),i=o(t.operations(n),t.contract,`queries`);return p({...t,...e,operations:()=>i})}return t}export{m as bindEffectQuery,p as createEffectQuery};
 //# sourceMappingURL=query.mjs.map

package/dist/modules/effect/query.mjs.map

@@ -1 +1 @@
-{"version":3,"file":"query.mjs","names":["QueryMiddlewareError","QueryConfigurationError","QueryPermissionError","createEffectQuery","definitions","effectOperationFactory","operations","configuration","observability","Observability","exec","Effect","operation","definition","decodeEffectContract","input","observation","check","normalizeEffect","host","context","metadata","core","guard","current","parsedInput","usedNext","middleware","output","options","Exit","exit","observationFailure","expose","selectOperation","owner","bindEffectQuery","checkPermission","dependencies"],"sources":["../../../src/modules/effect/query.ts"],"sourcesContent":["import { Effect, Exit } from 'effect'\nimport type { ContractSchema } from '../contracts/contract'\nimport {\n\tselectOperation,\n\ttype SelectedOperation,\n\ttype OperationPublicResult,\n} from '../contracts/exposure'\nimport { decodeEffectContract } from './schema'\n// oxlint-disable-next-line cvx/component-boundaries -- SAFETY: Internal optional adapter shares the Effect-free Foundation lifecycle and types without entering the Convex component deployment graph.\nimport {\n\tObservability,\n\ttype ObservabilityOptions,\n} from '../../components/foundation/modules/observability/observability'\nimport { normalizeEffect, observationFailure } from './normalize'\nimport {\n\teffectOperationFactory,\n\ttype CallbackError,\n\ttype CallbackRequirements,\n\ttype EffectOperationArgument,\n\ttype EffectOperationError,\n\ttype EffectOperationRequirements,\n\ttype EffectOperationResult,\n\ttype EffectValue,\n\ttype CheckedEffectOperation,\n\ttype UnwrappedDefaultError,\n\ttype UnwrappedDefaultRequirements,\n\ttype ValidatedEffectOperations,\n} from './operation'\n\ntype Supported<Value> = Value | PromiseLike<Value> | Effect.Effect<Value, unknown, unknown>\ntype QueryDefinition = {\n\tinput: ContractSchema\n\tresult: ContractSchema\n\t// oxlint-disable-next-line anti-slop/no-unknown-returns -- Internal heterogeneous storage; selected schemas restore the concrete result at exec.\n\thandler: (input: never, context: never) => unknown\n\tclassification?: string\n\tpermission?: string\n\tmetadata?: object\n\t// oxlint-disable-next-line anti-slop/no-unknown-returns -- Internal hook storage retains the concrete definition separately.\n\tguard?: (context: never, input: never) => unknown\n\t// oxlint-disable-next-line anti-slop/no-unknown-returns -- Internal hook storage retains the concrete definition separately.\n\tmiddleware?: (input: never) => unknown\n}\ntype QueryRegistry<Context> = Readonly<\n\tRecord<\n\t\tstring,\n\t\tPick<QueryDefinition, 'input' | 'result' | 'handler'> &\n\t\t\tCheckedEffectOperation<Context> & {\n\t\t\t\tprepare?: never\n\t\t\t\taudit?: never\n\t\t\t\taggregates?: never\n\t\t\t\treplayResult?: never\n\t\t\t}\n\t>\n>\ntype OperationKey<Operations> = Extract<keyof Operations, string>\n\nclass QueryMiddlewareError extends Error {\n\treadonly code = 'QUERY_MIDDLEWARE_NEXT_REUSED'\n\treadonly name = 'QueryMiddlewareError'\n\tconstructor() {\n\t\tsuper('A query middleware called next() more than once')\n\t}\n}\nclass QueryConfigurationError extends Error {\n\treadonly code = 'QUERY_OPERATION_NOT_CONFIGURED'\n\treadonly name = 'QueryConfigurationError'\n\tconstructor() {\n\t\tsuper('The selected query operation is not configured')\n\t}\n}\nclass QueryPermissionError extends Error {\n\treadonly code = 'QUERY_PERMISSION_CHECKER_MISSING'\n\treadonly name = 'QueryPermissionError'\n\tconstructor() {\n\t\tsuper('Query permission requires an injected permission checker')\n\t}\n}\n\n/** Injectable domain queries compose lazily; the API chooses native function kind. */\nexport function createEffectQuery<\n\tHost,\n\tContextReturned,\n\tconst Operations extends QueryRegistry<EffectValue<ContextReturned>>,\n\tPermissionReturned = never,\n\tGuardReturned extends Supported<void> = never,\n>(configuration: {\n\tcontext: (host: Host) => ContextReturned\n\toperations: (\n\t\tdefinitions: ReturnType<\n\t\t\ttypeof effectOperationFactory<\n\t\t\t\tEffectValue<ContextReturned>,\n\t\t\t\tRecord<never, never>,\n\t\t\t\tNoInfer<CallbackError<GuardReturned>>,\n\t\t\t\tNoInfer<CallbackRequirements<GuardReturned>>\n\t\t\t>\n\t\t>,\n\t) => Operations & NoInfer<ValidatedEffectOperations<Operations>>\n\tcheckPermission?: (\n\t\thost: Host,\n\t\tinput: { permission: string; operation: string },\n\t) => PermissionReturned\n\tdefaults?: { metadata?: object; guard?: (context: EffectValue<ContextReturned>) => GuardReturned }\n\tobservability?: ObservabilityOptions | Observability\n}) {\n\tconst definitions = effectOperationFactory<\n\t\tEffectValue<ContextReturned>,\n\t\tRecord<never, never>,\n\t\tCallbackError<GuardReturned>,\n\t\tCallbackRequirements<GuardReturned>\n\t>()\n\tconst operations: Operations = configuration.operations(definitions)\n\tconst observability =\n\t\tconfiguration.observability instanceof Observability\n\t\t\t? configuration.observability\n\t\t\t: new Observability(\n\t\t\t\t\tconfiguration.observability ?? {\n\t\t\t\t\t\tenabled: false,\n\t\t\t\t\t\tclassifyError: () => ({ outcome: 'failed', errorCode: 'UNEXPECTED' }),\n\t\t\t\t\t},\n\t\t\t\t)\n\n\tfunction exec<const Key extends OperationKey<Operations>>(\n\t\toperation: Key,\n\t\tinput: EffectOperationArgument<Operations[Key]>,\n\t\thost: Host,\n\t): Effect.Effect<\n\t\tEffectOperationResult<Operations[Key]>,\n\t\t| EffectOperationError<Operations[Key]>\n\t\t| CallbackError<ContextReturned | PermissionReturned>\n\t\t| UnwrappedDefaultError<Operations[Key], GuardReturned>,\n\t\t| EffectOperationRequirements<Operations[Key]>\n\t\t| CallbackRequirements<ContextReturned | PermissionReturned>\n\t\t| UnwrappedDefaultRequirements<Operations[Key], GuardReturned>\n\t> {\n\t\tconst execution = Effect.suspend(() => {\n\t\t\tif (!Object.prototype.hasOwnProperty.call(operations, operation)) {\n\t\t\t\treturn Effect.die(new QueryConfigurationError())\n\t\t\t}\n\t\t\t// SAFETY: operation helpers check hooks before this heterogeneous storage seam.\n\t\t\tconst definition: QueryDefinition = operations[operation]\n\t\t\treturn Effect.flatMap(decodeEffectContract(definition.input, input), (parsedInput) => {\n\t\t\t\tconst observation = observability.start({\n\t\t\t\t\toperation,\n\t\t\t\t\tclassification: definition.classification ?? 'query',\n\t\t\t\t})\n\t\t\t\tconst run = Effect.gen(function* () {\n\t\t\t\t\tif (definition.permission !== undefined) {\n\t\t\t\t\t\tconst check = configuration.checkPermission\n\t\t\t\t\t\tif (!check) return yield* Effect.die(new QueryPermissionError())\n\t\t\t\t\t\tyield* normalizeEffect(() =>\n\t\t\t\t\t\t\tcheck(host, { permission: definition.permission!, operation }),\n\t\t\t\t\t\t)\n\t\t\t\t\t}\n\t\t\t\t\tconst context = yield* normalizeEffect(() => configuration.context(host))\n\t\t\t\t\tconst metadata = { ...configuration.defaults?.metadata, ...definition.metadata }\n\t\t\t\t\tconst core = (current: EffectValue<ContextReturned>) =>\n\t\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\t\tconst guard = configuration.defaults?.guard\n\t\t\t\t\t\t\tif (guard) yield* normalizeEffect(() => guard(current))\n\t\t\t\t\t\t\tif (definition.guard)\n\t\t\t\t\t\t\t\tyield* normalizeEffect(() => {\n\t\t\t\t\t\t\t\t\t// SAFETY: selected schemas and context own the stored guard parameters.\n\t\t\t\t\t\t\t\t\treturn definition.guard!(current as never, parsedInput as never)\n\t\t\t\t\t\t\t\t})\n\t\t\t\t\t\t\treturn yield* normalizeEffect(() => {\n\t\t\t\t\t\t\t\t// SAFETY: selected schemas and context own the stored handler parameters.\n\t\t\t\t\t\t\t\treturn definition.handler(parsedInput as never, current as never)\n\t\t\t\t\t\t\t})\n\t\t\t\t\t\t})\n\t\t\t\t\tlet usedNext = false\n\t\t\t\t\tconst middleware = definition.middleware\n\t\t\t\t\tconst output = middleware\n\t\t\t\t\t\t? yield* normalizeEffect(() => {\n\t\t\t\t\t\t\t\t// SAFETY: the selected helper checked this middleware's input and next contract.\n\t\t\t\t\t\t\t\treturn middleware({\n\t\t\t\t\t\t\t\t\toperation,\n\t\t\t\t\t\t\t\t\tinput: parsedInput,\n\t\t\t\t\t\t\t\t\tcommand: parsedInput,\n\t\t\t\t\t\t\t\t\tcontext,\n\t\t\t\t\t\t\t\t\tmetadata,\n\t\t\t\t\t\t\t\t\tnext: (options?: { context?: object }) =>\n\t\t\t\t\t\t\t\t\t\tEffect.suspend(() => {\n\t\t\t\t\t\t\t\t\t\t\tif (usedNext) return Effect.die(new QueryMiddlewareError())\n\t\t\t\t\t\t\t\t\t\t\tusedNext = true\n\t\t\t\t\t\t\t\t\t\t\treturn core(\n\t\t\t\t\t\t\t\t\t\t\t\toptions?.context ? Object.assign({}, context, options.context) : context,\n\t\t\t\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t\t} as never)\n\t\t\t\t\t\t\t})\n\t\t\t\t\t\t: yield* core(context)\n\t\t\t\t\treturn yield* decodeEffectContract(definition.result, output)\n\t\t\t\t})\n\t\t\t\treturn run.pipe(\n\t\t\t\t\tEffect.onExit((exit) =>\n\t\t\t\t\t\tEffect.sync(() => {\n\t\t\t\t\t\t\tif (Exit.isSuccess(exit)) observation.completed()\n\t\t\t\t\t\t\telse {\n\t\t\t\t\t\t\t\tobservation.failed(observationFailure(exit.cause))\n\t\t\t\t\t\t\t}\n\t\t\t\t\t\t}),\n\t\t\t\t\t),\n\t\t\t\t)\n\t\t\t})\n\t\t})\n\t\t// SAFETY: selected schemas own A; concrete callbacks and the wrapped middleware\n\t\t// own E/R. No interpreter or runner executes this Effect before the caller does.\n\t\treturn execution as ReturnType<typeof exec<Key>>\n\t}\n\tfunction expose<const Owner extends symbol, const Key extends OperationKey<Operations>>(\n\t\towner: Owner,\n\t\toperation: Key,\n\t): SelectedOperation<\n\t\tOwner,\n\t\tKey,\n\t\tOperations[Key]['input'],\n\t\tOperationPublicResult<Operations[Key]>\n\t> {\n\t\tif (!Object.hasOwn(operations, operation)) throw new QueryConfigurationError()\n\t\treturn selectOperation(owner, 'query', operation, operations[operation])\n\t}\n\treturn {\n\t\texec,\n\t\texpose,\n\t\t/** Bind invocation context without resolving it or running an operation. */\n\t\twithContext(context: Host) {\n\t\t\treturn {\n\t\t\t\texec: <const Key extends OperationKey<Operations>>(\n\t\t\t\t\toperation: Key,\n\t\t\t\t\tinput: EffectOperationArgument<Operations[Key]>,\n\t\t\t\t) => exec(operation, input, context),\n\t\t\t}\n\t\t},\n\t}\n}\n\ntype Policy<Dependencies> = 'checkPermission' extends keyof Dependencies\n\t? Dependencies['checkPermission']\n\t: never\n// oxlint-disable-next-line anti-slop/no-unknown-returns -- Conditional type extracts the host; no unknown result is exposed by the registry.\ntype CallbackHost<Callback> = Callback extends (host: infer Host, input: never) => unknown\n\t? Host\n\t: never\ntype CallbackReturned<Callback> = Callback extends (...arguments_: never[]) => infer Returned\n\t? Returned\n\t: never\ntype PolicyHost<Dependencies> = [CallbackHost<Policy<Dependencies>>] extends [never]\n\t? unknown\n\t: CallbackHost<Policy<Dependencies>>\ntype PolicyReturned<Dependencies> = CallbackReturned<Policy<Dependencies>>\nexport type EffectQueryDependencies = {\n\tobservability: Observability\n\t// oxlint-disable-next-line anti-slop/no-unknown-returns -- Host policy storage is erased; the bound generic dependency retains its concrete E/R.\n\tcheckPermission?: (host: never, input: { permission: string; operation: string }) => unknown\n}\n\n/** The public Foundation binds trusted application policies once. */\nexport function bindEffectQuery<const Dependencies extends EffectQueryDependencies>(\n\tdependencies: Dependencies,\n) {\n\treturn function query<\n\t\tHost extends PolicyHost<Dependencies>,\n\t\tContextReturned,\n\t\tconst Operations extends QueryRegistry<EffectValue<ContextReturned>>,\n\t\tGuardReturned extends Supported<void> = never,\n\t>(configuration: {\n\t\tcontext: (host: Host) => ContextReturned\n\t\toperations: (\n\t\t\tdefinitions: ReturnType<\n\t\t\t\ttypeof effectOperationFactory<\n\t\t\t\t\tEffectValue<ContextReturned>,\n\t\t\t\t\tRecord<never, never>,\n\t\t\t\t\tNoInfer<CallbackError<GuardReturned>>,\n\t\t\t\t\tNoInfer<CallbackRequirements<GuardReturned>>\n\t\t\t\t>\n\t\t\t>,\n\t\t) => Operations & NoInfer<ValidatedEffectOperations<Operations>>\n\t\tdefaults?: {\n\t\t\tmetadata?: object\n\t\t\tguard?: (context: EffectValue<ContextReturned>) => GuardReturned\n\t\t}\n\t}): ReturnType<\n\t\ttypeof createEffectQuery<\n\t\t\tHost,\n\t\t\tContextReturned,\n\t\t\tOperations,\n\t\t\tPolicyReturned<Dependencies>,\n\t\t\tGuardReturned\n\t\t>\n\t> {\n\t\t// SAFETY: Host is constrained to the trusted checker's host type; its concrete\n\t\t// return is retained while restoring the erased invocation argument slot.\n\t\tconst checkPermission = dependencies.checkPermission as (\n\t\t\thost: Host,\n\t\t\tinput: { permission: string; operation: string },\n\t\t) => PolicyReturned<Dependencies>\n\t\treturn createEffectQuery<\n\t\t\tHost,\n\t\t\tContextReturned,\n\t\t\tOperations,\n\t\t\tPolicyReturned<Dependencies>,\n\t\t\tGuardReturned\n\t\t>({\n\t\t\t...configuration,\n\t\t\tobservability: dependencies.observability,\n\t\t\tcheckPermission: dependencies.checkPermission ? checkPermission : undefined,\n\t\t})\n\t}\n}\n"],"mappings":"iYAyDA,IAAMA,EAAN,cAAmC,KAAM,CACxC,KAAgB,+BAChB,KAAgB,uBAChB,aAAc,CACb,MAAM,iDAAiD,CACxD,CACD,EACMC,EAAN,cAAsC,KAAM,CAC3C,KAAgB,iCAChB,KAAgB,0BAChB,aAAc,CACb,MAAM,gDAAgD,CACvD,CACD,EACMC,EAAN,cAAmC,KAAM,CACxC,KAAgB,mCAChB,KAAgB,uBAChB,aAAc,CACb,MAAM,0DAA0D,CACjE,CACD,EAGA,SAAgBC,EAMd,EAkBC,CACF,IAAMC,EAAcC,EAKlB,EACIC,EAAyBC,EAAc,WAAWH,CAAW,EAC7DI,EACLD,EAAc,yBAAyBE,EACpCF,EAAc,cACd,IAAIE,EACJF,EAAc,eAAiB,CAC9B,QAAS,GACT,mBAAsB,CAAE,QAAS,SAAU,UAAW,YAAa,EACpE,CACD,EAEH,SAASG,EACR,EACA,EACA,EASC,CA0ED,OAzEkBC,EAAO,YAAc,CACtC,GAAI,CAAC,OAAO,UAAU,eAAe,KAAKL,EAAYM,CAAS,EAC9D,OAAOD,EAAO,IAAI,IAAIV,CAAyB,EAGhD,IAAMY,EAA8BP,EAAWM,GAC/C,OAAOD,EAAO,QAAQG,EAAqBD,EAAW,MAAOE,CAAK,EAAI,GAAgB,CACrF,IAAMC,EAAcR,EAAc,MAAM,CACvC,YACA,eAAgBK,EAAW,gBAAkB,OAC9C,CAAC,EAiDD,OAhDYF,EAAO,IAAI,WAAa,CACnC,GAAIE,EAAW,aAAe,IAAA,GAAW,CACxC,IAAMI,EAAQV,EAAc,gBAC5B,GAAI,CAACU,EAAO,OAAO,MAAON,EAAO,IAAI,IAAIT,CAAsB,EAC/D,MAAOgB,MACND,EAAME,EAAM,CAAE,WAAYN,EAAW,WAAa,WAAU,CAAC,CAC9D,CACD,CACA,IAAMO,EAAU,MAAOF,MAAsBX,EAAc,QAAQY,CAAI,CAAC,EAClEE,EAAW,CAAE,GAAGd,EAAc,UAAU,SAAU,GAAGM,EAAW,QAAS,EACzES,EAAQ,GACbX,EAAO,IAAI,WAAa,CACvB,IAAMY,EAAQhB,EAAc,UAAU,MAOtC,OANIgB,IAAO,MAAOL,MAAsBK,EAAMC,CAAO,CAAC,GAClDX,EAAW,QACd,MAAOK,MAECL,EAAW,MAAOW,EAAkBC,CAAoB,CAC/D,GACK,MAAOP,MAENL,EAAW,QAAQY,EAAsBD,CAAgB,CAChE,CACF,CAAC,EACEE,EAAW,GACTC,EAAad,EAAW,WACxBe,EAASD,EACZ,MAAOT,MAEAS,EAAW,CACjB,YACA,MAAOF,EACP,QAASA,EACT,UACA,WACA,KAAO,GACNd,EAAO,YACFe,EAAiBf,EAAO,IAAI,IAAIX,CAAsB,GAC1D,EAAW,GACJsB,EACNO,GAAS,QAAU,OAAO,OAAO,CAAC,EAAGT,EAASS,EAAQ,OAAO,EAAIT,CAClE,EACA,CACH,CAAU,CACV,EACA,MAAOE,EAAKF,CAAO,EACtB,OAAO,MAAON,EAAqBD,EAAW,OAAQe,CAAM,CAC7D,CACS,CAAC,CAAC,KACVjB,EAAO,OAAQ,GACdA,EAAO,SAAW,CACbmB,EAAK,UAAUC,CAAI,EAAGf,EAAY,UAAU,EAE/CA,EAAY,OAAOgB,EAAmBD,EAAK,KAAK,CAAC,CAEnD,CAAC,CACF,CACD,CACD,CAAC,CACF,CAGe,CAChB,CACA,SAASE,EACR,EACA,EAMC,CACD,GAAI,CAAC,OAAO,OAAO3B,EAAYM,CAAS,EAAG,MAAM,IAAIX,EACrD,OAAOiC,EAAgBC,EAAO,QAASvB,EAAWN,EAAWM,EAAU,CACxE,CACA,MAAO,CACN,OACA,SAEA,YAAY,EAAe,CAC1B,MAAO,CACN,MACC,EACA,IACIF,EAAKE,EAAWG,EAAOK,CAAO,CACpC,CACD,CACD,CACD,CAuBA,SAAgBgB,EACf,EACC,CACD,OAAO,SAKL,EAwBA,CAGD,IAAMC,EAAkBC,EAAa,gBAIrC,OAAOnC,EAML,CACD,GAAGI,EACH,cAAe+B,EAAa,cAC5B,gBAAiBA,EAAa,gBAAkBD,EAAkB,IAAA,EACnE,CAAC,CACF,CACD"}
+{"version":3,"file":"query.mjs","names":["QueryMiddlewareError","QueryConfigurationError","QueryPermissionError","createEffectQuery","definitions","effectOperationFactory","operations","configuration","observability","Observability","exec","Effect","operation","definition","decodeEffectContract","input","observation","check","normalizeEffect","host","context","metadata","core","guard","current","parsedInput","usedNext","middleware","output","options","Exit","exit","observationFailure","expose","selectOperation","owner","bindEffectQuery","query","domainEffectFactory","snapshotOperations","dependencies"],"sources":["../../../src/modules/effect/query.ts"],"sourcesContent":["/* oxlint-disable anti-slop/no-unknown-returns, anti-slop/no-unsafe-dictionary-type -- Overload implementation storage is erased; public signatures retain concrete values, errors and services. */\nimport { Effect, Exit } from 'effect'\nimport type { ContractSchema } from '../contracts/contract'\nimport {\n\tselectOperation,\n\ttype SelectedOperation,\n\ttype OperationPublicResult,\n} from '../contracts/exposure'\nimport { decodeEffectContract } from './schema'\n// oxlint-disable-next-line cvx/component-boundaries -- SAFETY: Internal optional adapter shares the Effect-free Foundation lifecycle and types without entering the Convex component deployment graph.\nimport {\n\tObservability,\n\ttype ObservabilityOptions,\n} from '../../components/foundation/modules/observability/observability'\nimport { normalizeEffect, observationFailure } from './normalize'\nimport {\n\teffectOperationFactory,\n\ttype CallbackError,\n\ttype CallbackRequirements,\n\ttype EffectOperationArgument,\n\ttype EffectOperationError,\n\ttype EffectOperationRequirements,\n\ttype EffectOperationResult,\n\ttype EffectValue,\n\ttype CheckedEffectOperation,\n\ttype UnwrappedDefaultError,\n\ttype UnwrappedDefaultRequirements,\n\ttype ValidatedEffectOperations,\n} from './operation'\n\nimport type { DomainContract, DomainQueryContract } from '../contracts/domain'\nimport { snapshotOperations } from '../contracts/binding'\nimport { domainEffectFactory, type DomainEffectFactory, type ExactDomainOperations } from './domain'\n\ntype Supported<Value> = Value | PromiseLike<Value> | Effect.Effect<Value, unknown, unknown>\ntype QueryDefinition = {\n\tinput: ContractSchema\n\tresult: ContractSchema\n\t// oxlint-disable-next-line anti-slop/no-unknown-returns -- Internal heterogeneous storage; selected schemas restore the concrete result at exec.\n\thandler: (input: never, context: never) => unknown\n\tclassification?: string\n\tpermission?: string\n\tmetadata?: object\n\t// oxlint-disable-next-line anti-slop/no-unknown-returns -- Internal hook storage retains the concrete definition separately.\n\tguard?: (context: never, input: never) => unknown\n\t// oxlint-disable-next-line anti-slop/no-unknown-returns -- Internal hook storage retains the concrete definition separately.\n\tmiddleware?: (input: never) => unknown\n}\ntype QueryRegistry<Context> = Readonly<\n\tRecord<\n\t\tstring,\n\t\tPick<QueryDefinition, 'input' | 'result' | 'handler'> &\n\t\t\tCheckedEffectOperation<Context> & {\n\t\t\t\tprepare?: never\n\t\t\t\taudit?: never\n\t\t\t\taggregates?: never\n\t\t\t\treplayResult?: never\n\t\t\t}\n\t>\n>\ntype OperationKey<Operations> = Extract<keyof Operations, string>\n\nclass QueryMiddlewareError extends Error {\n\treadonly code = 'QUERY_MIDDLEWARE_NEXT_REUSED'\n\treadonly name = 'QueryMiddlewareError'\n\tconstructor() {\n\t\tsuper('A query middleware called next() more than once')\n\t}\n}\nclass QueryConfigurationError extends Error {\n\treadonly code = 'QUERY_OPERATION_NOT_CONFIGURED'\n\treadonly name = 'QueryConfigurationError'\n\tconstructor() {\n\t\tsuper('The selected query operation is not configured')\n\t}\n}\nclass QueryPermissionError extends Error {\n\treadonly code = 'QUERY_PERMISSION_CHECKER_MISSING'\n\treadonly name = 'QueryPermissionError'\n\tconstructor() {\n\t\tsuper('Query permission requires an injected permission checker')\n\t}\n}\n\n/** Injectable domain queries compose lazily; the API chooses native function kind. */\nexport function createEffectQuery<\n\tHost,\n\tContextReturned,\n\tconst Operations extends QueryRegistry<EffectValue<ContextReturned>>,\n\tPermissionReturned = never,\n\tGuardReturned extends Supported<void> = never,\n>(configuration: {\n\tcontext: (host: Host) => ContextReturned\n\toperations: (\n\t\tdefinitions: ReturnType<\n\t\t\ttypeof effectOperationFactory<\n\t\t\t\tEffectValue<ContextReturned>,\n\t\t\t\tRecord<never, never>,\n\t\t\t\tNoInfer<CallbackError<GuardReturned>>,\n\t\t\t\tNoInfer<CallbackRequirements<GuardReturned>>\n\t\t\t>\n\t\t>,\n\t) => Operations & NoInfer<ValidatedEffectOperations<Operations>>\n\tcheckPermission?: (\n\t\thost: Host,\n\t\tinput: { permission: string; operation: string },\n\t) => PermissionReturned\n\tdefaults?: { metadata?: object; guard?: (context: EffectValue<ContextReturned>) => GuardReturned }\n\tobservability?: ObservabilityOptions | Observability\n}) {\n\tconst definitions = effectOperationFactory<\n\t\tEffectValue<ContextReturned>,\n\t\tRecord<never, never>,\n\t\tCallbackError<GuardReturned>,\n\t\tCallbackRequirements<GuardReturned>\n\t>()\n\tconst operations: Operations = configuration.operations(definitions)\n\tconst observability =\n\t\tconfiguration.observability instanceof Observability\n\t\t\t? configuration.observability\n\t\t\t: new Observability(\n\t\t\t\t\tconfiguration.observability ?? {\n\t\t\t\t\t\tenabled: false,\n\t\t\t\t\t\tclassifyError: () => ({ outcome: 'failed', errorCode: 'UNEXPECTED' }),\n\t\t\t\t\t},\n\t\t\t\t)\n\n\tfunction exec<const Key extends OperationKey<Operations>>(\n\t\toperation: Key,\n\t\tinput: EffectOperationArgument<Operations[Key]>,\n\t\thost: Host,\n\t): Effect.Effect<\n\t\tEffectOperationResult<Operations[Key]>,\n\t\t| EffectOperationError<Operations[Key]>\n\t\t| CallbackError<ContextReturned | PermissionReturned>\n\t\t| UnwrappedDefaultError<Operations[Key], GuardReturned>,\n\t\t| EffectOperationRequirements<Operations[Key]>\n\t\t| CallbackRequirements<ContextReturned | PermissionReturned>\n\t\t| UnwrappedDefaultRequirements<Operations[Key], GuardReturned>\n\t> {\n\t\tconst execution = Effect.suspend(() => {\n\t\t\tif (!Object.prototype.hasOwnProperty.call(operations, operation)) {\n\t\t\t\treturn Effect.die(new QueryConfigurationError())\n\t\t\t}\n\t\t\t// SAFETY: operation helpers check hooks before this heterogeneous storage seam.\n\t\t\tconst definition: QueryDefinition = operations[operation]\n\t\t\treturn Effect.flatMap(decodeEffectContract(definition.input, input), (parsedInput) => {\n\t\t\t\tconst observation = observability.start({\n\t\t\t\t\toperation,\n\t\t\t\t\tclassification: definition.classification ?? 'query',\n\t\t\t\t})\n\t\t\t\tconst run = Effect.gen(function* () {\n\t\t\t\t\tif (definition.permission !== undefined) {\n\t\t\t\t\t\tconst check = configuration.checkPermission\n\t\t\t\t\t\tif (!check) return yield* Effect.die(new QueryPermissionError())\n\t\t\t\t\t\tyield* normalizeEffect(() =>\n\t\t\t\t\t\t\tcheck(host, { permission: definition.permission!, operation }),\n\t\t\t\t\t\t)\n\t\t\t\t\t}\n\t\t\t\t\tconst context = yield* normalizeEffect(() => configuration.context(host))\n\t\t\t\t\tconst metadata = { ...configuration.defaults?.metadata, ...definition.metadata }\n\t\t\t\t\tconst core = (current: EffectValue<ContextReturned>) =>\n\t\t\t\t\t\tEffect.gen(function* () {\n\t\t\t\t\t\t\tconst guard = configuration.defaults?.guard\n\t\t\t\t\t\t\tif (guard) yield* normalizeEffect(() => guard(current))\n\t\t\t\t\t\t\tif (definition.guard)\n\t\t\t\t\t\t\t\tyield* normalizeEffect(() => {\n\t\t\t\t\t\t\t\t\t// SAFETY: selected schemas and context own the stored guard parameters.\n\t\t\t\t\t\t\t\t\treturn definition.guard!(current as never, parsedInput as never)\n\t\t\t\t\t\t\t\t})\n\t\t\t\t\t\t\treturn yield* normalizeEffect(() => {\n\t\t\t\t\t\t\t\t// SAFETY: selected schemas and context own the stored handler parameters.\n\t\t\t\t\t\t\t\treturn definition.handler(parsedInput as never, current as never)\n\t\t\t\t\t\t\t})\n\t\t\t\t\t\t})\n\t\t\t\t\tlet usedNext = false\n\t\t\t\t\tconst middleware = definition.middleware\n\t\t\t\t\tconst output = middleware\n\t\t\t\t\t\t? yield* normalizeEffect(() => {\n\t\t\t\t\t\t\t\t// SAFETY: the selected helper checked this middleware's input and next contract.\n\t\t\t\t\t\t\t\treturn middleware({\n\t\t\t\t\t\t\t\t\toperation,\n\t\t\t\t\t\t\t\t\tinput: parsedInput,\n\t\t\t\t\t\t\t\t\tcommand: parsedInput,\n\t\t\t\t\t\t\t\t\tcontext,\n\t\t\t\t\t\t\t\t\tmetadata,\n\t\t\t\t\t\t\t\t\tnext: (options?: { context?: object }) =>\n\t\t\t\t\t\t\t\t\t\tEffect.suspend(() => {\n\t\t\t\t\t\t\t\t\t\t\tif (usedNext) return Effect.die(new QueryMiddlewareError())\n\t\t\t\t\t\t\t\t\t\t\tusedNext = true\n\t\t\t\t\t\t\t\t\t\t\treturn core(\n\t\t\t\t\t\t\t\t\t\t\t\toptions?.context ? Object.assign({}, context, options.context) : context,\n\t\t\t\t\t\t\t\t\t\t\t)\n\t\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t\t} as never)\n\t\t\t\t\t\t\t})\n\t\t\t\t\t\t: yield* core(context)\n\t\t\t\t\treturn yield* decodeEffectContract(definition.result, output)\n\t\t\t\t})\n\t\t\t\treturn run.pipe(\n\t\t\t\t\tEffect.onExit((exit) =>\n\t\t\t\t\t\tEffect.sync(() => {\n\t\t\t\t\t\t\tif (Exit.isSuccess(exit)) observation.completed()\n\t\t\t\t\t\t\telse {\n\t\t\t\t\t\t\t\tobservation.failed(observationFailure(exit.cause))\n\t\t\t\t\t\t\t}\n\t\t\t\t\t\t}),\n\t\t\t\t\t),\n\t\t\t\t)\n\t\t\t})\n\t\t})\n\t\t// SAFETY: selected schemas own A; concrete callbacks and the wrapped middleware\n\t\t// own E/R. No interpreter or runner executes this Effect before the caller does.\n\t\treturn execution as ReturnType<typeof exec<Key>>\n\t}\n\tfunction expose<const Owner extends symbol, const Key extends OperationKey<Operations>>(\n\t\towner: Owner,\n\t\toperation: Key,\n\t): SelectedOperation<\n\t\tOwner,\n\t\tKey,\n\t\tOperations[Key]['input'],\n\t\tOperationPublicResult<Operations[Key]>\n\t> {\n\t\tif (!Object.hasOwn(operations, operation)) throw new QueryConfigurationError()\n\t\treturn selectOperation(owner, 'query', operation, operations[operation])\n\t}\n\treturn {\n\t\texec,\n\t\texpose,\n\t\t/** Bind invocation context without resolving it or running an operation. */\n\t\twithContext(context: Host) {\n\t\t\treturn {\n\t\t\t\texec: <const Key extends OperationKey<Operations>>(\n\t\t\t\t\toperation: Key,\n\t\t\t\t\tinput: EffectOperationArgument<Operations[Key]>,\n\t\t\t\t) => exec(operation, input, context),\n\t\t\t}\n\t\t},\n\t}\n}\n\ntype Policy<Dependencies> = 'checkPermission' extends keyof Dependencies\n\t? Dependencies['checkPermission']\n\t: never\n// oxlint-disable-next-line anti-slop/no-unknown-returns -- Conditional type extracts the host; no unknown result is exposed by the registry.\ntype CallbackHost<Callback> = Callback extends (host: infer Host, input: never) => unknown\n\t? Host\n\t: never\ntype CallbackReturned<Callback> = Callback extends (...arguments_: never[]) => infer Returned\n\t? Returned\n\t: never\ntype PolicyHost<Dependencies> = [CallbackHost<Policy<Dependencies>>] extends [never]\n\t? unknown\n\t: CallbackHost<Policy<Dependencies>>\ntype PolicyReturned<Dependencies> = CallbackReturned<Policy<Dependencies>>\nexport type EffectQueryDependencies = {\n\tobservability: Observability\n\t// oxlint-disable-next-line anti-slop/no-unknown-returns -- Host policy storage is erased; the bound generic dependency retains its concrete E/R.\n\tcheckPermission?: (host: never, input: { permission: string; operation: string }) => unknown\n}\n\n/** The public Foundation binds trusted application policies once. */\nexport function bindEffectQuery<const Dependencies extends EffectQueryDependencies>(\n\tdependencies: Dependencies,\n) {\n\tfunction query<\n\t\tHost extends PolicyHost<Dependencies>,\n\t\tContextReturned,\n\t\tconst Contract extends DomainContract & {\n\t\t\tqueries: Readonly<Record<string, DomainQueryContract>>\n\t\t},\n\t\tconst Operations extends QueryRegistry<EffectValue<ContextReturned>>,\n\t\tMode extends false,\n\t\tGuardReturned extends Supported<void> = never,\n\t>(configuration: {\n\t\tcontract: Contract\n\t\tcontext: (host: Host) => ContextReturned\n\t\toperations: (\n\t\t\tdefine: DomainEffectFactory<\n\t\t\t\tEffectValue<ContextReturned>,\n\t\t\t\tContract['queries'],\n\t\t\t\tMode,\n\t\t\t\tnever,\n\t\t\t\tNoInfer<CallbackError<GuardReturned>>,\n\t\t\t\tNoInfer<CallbackRequirements<GuardReturned>>\n\t\t\t>,\n\t\t) => Operations &\n\t\t\tNoInfer<ExactDomainOperations<Operations, Contract['queries']>> &\n\t\t\tNoInfer<ValidatedEffectOperations<Operations>>\n\t\tdefaults?: {\n\t\t\tmetadata?: object\n\t\t\tguard?: (context: EffectValue<ContextReturned>) => GuardReturned\n\t\t}\n\t}): ReturnType<\n\t\ttypeof createEffectQuery<\n\t\t\tHost,\n\t\t\tContextReturned,\n\t\t\tOperations,\n\t\t\tPolicyReturned<Dependencies>,\n\t\t\tGuardReturned\n\t\t>\n\t>\n\n\tfunction query<\n\t\tHost extends PolicyHost<Dependencies>,\n\t\tContextReturned,\n\t\tconst Operations extends QueryRegistry<EffectValue<ContextReturned>>,\n\t\tGuardReturned extends Supported<void> = never,\n\t>(configuration: {\n\t\tcontext: (host: Host) => ContextReturned\n\t\toperations: (\n\t\t\tdefinitions: ReturnType<\n\t\t\t\ttypeof effectOperationFactory<\n\t\t\t\t\tEffectValue<ContextReturned>,\n\t\t\t\t\tRecord<never, never>,\n\t\t\t\t\tNoInfer<CallbackError<GuardReturned>>,\n\t\t\t\t\tNoInfer<CallbackRequirements<GuardReturned>>\n\t\t\t\t>\n\t\t\t>,\n\t\t) => Operations & NoInfer<ValidatedEffectOperations<Operations>>\n\t\tdefaults?: {\n\t\t\tmetadata?: object\n\t\t\tguard?: (context: EffectValue<ContextReturned>) => GuardReturned\n\t\t}\n\t}): ReturnType<\n\t\ttypeof createEffectQuery<\n\t\t\tHost,\n\t\t\tContextReturned,\n\t\t\tOperations,\n\t\t\tPolicyReturned<Dependencies>,\n\t\t\tGuardReturned\n\t\t>\n\t>\n\n\tfunction query(configuration: {\n\t\tcontext: (host: never) => unknown\n\t\tcontract?: DomainContract\n\t\toperations: (define: never) => Readonly<Record<string, object>>\n\t\tdefaults?: { metadata?: object; guard?: (context: never) => Supported<void> }\n\t}): unknown {\n\t\tconst definitions = configuration.contract\n\t\t\t? domainEffectFactory(configuration.contract.queries ?? {}, false)\n\t\t\t: effectOperationFactory()\n\t\tconst operations = snapshotOperations(\n\t\t\tconfiguration.operations(\n\t\t\t\t// SAFETY: the overload chooses this exact inline or contracted helper factory.\n\t\t\t\tdefinitions as never,\n\t\t\t),\n\t\t\tconfiguration.contract,\n\t\t\t'queries',\n\t\t)\n\t\t// SAFETY: the overload verifies callback types; exact binding ownership is verified before execution.\n\t\treturn createEffectQuery({\n\t\t\t...configuration,\n\t\t\t...dependencies,\n\t\t\toperations: () => operations,\n\t\t} as never)\n\t}\n\treturn query\n}\n"],"mappings":"kfA8DA,IAAMA,EAAN,cAAmC,KAAM,CACxC,KAAgB,+BAChB,KAAgB,uBAChB,aAAc,CACb,MAAM,iDAAiD,CACxD,CACD,EACMC,EAAN,cAAsC,KAAM,CAC3C,KAAgB,iCAChB,KAAgB,0BAChB,aAAc,CACb,MAAM,gDAAgD,CACvD,CACD,EACMC,EAAN,cAAmC,KAAM,CACxC,KAAgB,mCAChB,KAAgB,uBAChB,aAAc,CACb,MAAM,0DAA0D,CACjE,CACD,EAGA,SAAgBC,EAMd,EAkBC,CACF,IAAMC,EAAcC,EAKlB,EACIC,EAAyBC,EAAc,WAAWH,CAAW,EAC7DI,EACLD,EAAc,yBAAyBE,EACpCF,EAAc,cACd,IAAIE,EACJF,EAAc,eAAiB,CAC9B,QAAS,GACT,mBAAsB,CAAE,QAAS,SAAU,UAAW,YAAa,EACpE,CACD,EAEH,SAASG,EACR,EACA,EACA,EASC,CA0ED,OAzEkBC,EAAO,YAAc,CACtC,GAAI,CAAC,OAAO,UAAU,eAAe,KAAKL,EAAYM,CAAS,EAC9D,OAAOD,EAAO,IAAI,IAAIV,CAAyB,EAGhD,IAAMY,EAA8BP,EAAWM,GAC/C,OAAOD,EAAO,QAAQG,EAAqBD,EAAW,MAAOE,CAAK,EAAI,GAAgB,CACrF,IAAMC,EAAcR,EAAc,MAAM,CACvC,YACA,eAAgBK,EAAW,gBAAkB,OAC9C,CAAC,EAiDD,OAhDYF,EAAO,IAAI,WAAa,CACnC,GAAIE,EAAW,aAAe,IAAA,GAAW,CACxC,IAAMI,EAAQV,EAAc,gBAC5B,GAAI,CAACU,EAAO,OAAO,MAAON,EAAO,IAAI,IAAIT,CAAsB,EAC/D,MAAOgB,MACND,EAAME,EAAM,CAAE,WAAYN,EAAW,WAAa,WAAU,CAAC,CAC9D,CACD,CACA,IAAMO,EAAU,MAAOF,MAAsBX,EAAc,QAAQY,CAAI,CAAC,EAClEE,EAAW,CAAE,GAAGd,EAAc,UAAU,SAAU,GAAGM,EAAW,QAAS,EACzES,EAAQ,GACbX,EAAO,IAAI,WAAa,CACvB,IAAMY,EAAQhB,EAAc,UAAU,MAOtC,OANIgB,IAAO,MAAOL,MAAsBK,EAAMC,CAAO,CAAC,GAClDX,EAAW,QACd,MAAOK,MAECL,EAAW,MAAOW,EAAkBC,CAAoB,CAC/D,GACK,MAAOP,MAENL,EAAW,QAAQY,EAAsBD,CAAgB,CAChE,CACF,CAAC,EACEE,EAAW,GACTC,EAAad,EAAW,WACxBe,EAASD,EACZ,MAAOT,MAEAS,EAAW,CACjB,YACA,MAAOF,EACP,QAASA,EACT,UACA,WACA,KAAO,GACNd,EAAO,YACFe,EAAiBf,EAAO,IAAI,IAAIX,CAAsB,GAC1D,EAAW,GACJsB,EACNO,GAAS,QAAU,OAAO,OAAO,CAAC,EAAGT,EAASS,EAAQ,OAAO,EAAIT,CAClE,EACA,CACH,CAAU,CACV,EACA,MAAOE,EAAKF,CAAO,EACtB,OAAO,MAAON,EAAqBD,EAAW,OAAQe,CAAM,CAC7D,CACS,CAAC,CAAC,KACVjB,EAAO,OAAQ,GACdA,EAAO,SAAW,CACbmB,EAAK,UAAUC,CAAI,EAAGf,EAAY,UAAU,EAE/CA,EAAY,OAAOgB,EAAmBD,EAAK,KAAK,CAAC,CAEnD,CAAC,CACF,CACD,CACD,CAAC,CACF,CAGe,CAChB,CACA,SAASE,EACR,EACA,EAMC,CACD,GAAI,CAAC,OAAO,OAAO3B,EAAYM,CAAS,EAAG,MAAM,IAAIX,EACrD,OAAOiC,EAAgBC,EAAO,QAASvB,EAAWN,EAAWM,EAAU,CACxE,CACA,MAAO,CACN,OACA,SAEA,YAAY,EAAe,CAC1B,MAAO,CACN,MACC,EACA,IACIF,EAAKE,EAAWG,EAAOK,CAAO,CACpC,CACD,CACD,CACD,CAuBA,SAAgBgB,EACf,EACC,CAsED,SAASC,EAAM,EAKH,CACX,IAAMjC,EAAcG,EAAc,SAC/B+B,EAAoB/B,EAAc,SAAS,SAAW,CAAC,EAAG,EAAK,EAC/DF,EAAuB,EACpBC,EAAaiC,EAClBhC,EAAc,WAEbH,CACD,EACAG,EAAc,SACd,SACD,EAEA,OAAOJ,EAAkB,CACxB,GAAGI,EACH,GAAGiC,EACH,eAAkBlC,CACnB,CAAU,CACX,CACA,OAAO+B,CACR"}

package/dist/modules/effect/workflow.mjs

@@ -1,2 +1,2 @@
-import{decodeEffectContract as e}from"./schema.mjs";import{normalizeEffect as t}from"./normalize.mjs";import{WorkflowBindingError as n,workflowCancel as r,workflowExecution as i,workflowRestart as a,workflowTransition as o}from"../contracts/workflow.mjs";import{Effect as s}from"effect";function c(e){return n=>s.gen(function*(){let r=yield*f(n),i=yield*t(()=>e.authorize(r));return yield*t(()=>e.execute(r,i))})}function l(n){return r=>s.gen(function*(){let i=yield*f(r),a=yield*t(()=>n.authorize(i)),o=yield*s.tryPromise({try:()=>n.invokeMutation(i,a),catch:e=>e}).pipe(s.map(e=>({kind:`success`,value:e})),s.catch(e=>s.succeed({kind:`rejected`,error:e})));if(o.kind===`rejected`){let r=yield*t(()=>n.terminal(o.error));if(r===void 0)return yield*s.die(o.error);let a=yield*e(n.failure,r);return yield*f({...i,args:a}),{version:1,kind:`failed`,error:a}}return yield*e(n.result,o.value),yield*f({...i,args:o.value}),{version:1,kind:`succeeded`,value:o.value}})}function u(n){return{handler:r=>s.gen(function*(){let i=yield*f(r),a=yield*t(()=>n.authorize(i)),o=n.receipt(a),s=yield*t(()=>o.prepare(n.invocation(i,a)));if(s.kind===`replay`)return yield*e(o.replayResult,s.result);let c=yield*t(()=>n.execute(i,a)),l=s.complete;return yield*t(()=>l(c)),c})}}function d(e){function n(){return t(()=>e.read()).pipe(s.map(e=>e))}function i(r,i,a){return s.gen(function*(){let s=yield*n(),c={generation:r,nativeStatus:i},l=yield*p(()=>o(s,a===void 0?c:{...c,outcome:a}));return l.kind===`applied`&&(yield*t(()=>e.write(r,l.state))),l})}return{callback(n,r,a){return t(()=>e.authorize()).pipe(s.flatMap(()=>i(n,r,a)))},reconcile(n){return s.gen(function*(){return yield*t(()=>e.authorize()),yield*i(n,yield*t(()=>e.nativeStatus()),yield*t(()=>e.receiptOutcome()))})},cancel(i){return s.gen(function*(){yield*t(()=>e.authorize());let a=yield*n(),o=yield*p(()=>r(a,i));return o.kind===`applied`&&a.status===`running`&&(yield*t(()=>e.cancelNative()),yield*t(()=>e.write(i,o.state))),o})},restart(r){return s.gen(function*(){yield*t(()=>e.authorize());let i=yield*n();if(i.generation!==r)return{kind:`ignored`,state:i};let o=yield*p(()=>a(i));return yield*t(()=>e.restartNative()),yield*t(()=>e.write(r,o)),{kind:`applied`,state:o}})}}}function f(e){return p(()=>i(e))}function p(e){return s.try({try:e,catch:e=>{if(e instanceof n)return e;throw e}})}export{u as effectReceiptWorkflowMutation,l as effectTerminalWorkflowAttempt,c as effectWorkflowAttempt,d as effectWorkflowStatusBindings};
+import{normalizeEffect as e}from"./normalize.mjs";import{decodeEffectContract as t}from"./schema.mjs";import{WorkflowBindingError as n,workflowCancel as r,workflowExecution as i,workflowRestart as a,workflowTransition as o}from"../contracts/workflow.mjs";import{Effect as s}from"effect";function c(t){return n=>s.gen(function*(){let r=yield*f(n),i=yield*e(()=>t.authorize(r));return yield*e(()=>t.execute(r,i))})}function l(n){return r=>s.gen(function*(){let i=yield*f(r),a=yield*e(()=>n.authorize(i)),o=yield*s.tryPromise({try:()=>n.invokeMutation(i,a),catch:e=>e}).pipe(s.map(e=>({kind:`success`,value:e})),s.catch(e=>s.succeed({kind:`rejected`,error:e})));if(o.kind===`rejected`){let r=yield*e(()=>n.terminal(o.error));if(r===void 0)return yield*s.die(o.error);let a=yield*t(n.failure,r);return yield*f({...i,args:a}),{version:1,kind:`failed`,error:a}}return yield*t(n.result,o.value),yield*f({...i,args:o.value}),{version:1,kind:`succeeded`,value:o.value}})}function u(n){return{handler:r=>s.gen(function*(){let i=yield*f(r),a=yield*e(()=>n.authorize(i)),o=n.receipt(a),s=yield*e(()=>o.prepare(n.invocation(i,a)));if(s.kind===`replay`)return yield*t(o.replayResult,s.result);let c=yield*e(()=>n.execute(i,a)),l=s.complete;return yield*e(()=>l(c)),c})}}function d(t){function n(){return e(()=>t.read()).pipe(s.map(e=>e))}function i(r,i,a){return s.gen(function*(){let s=yield*n(),c={generation:r,nativeStatus:i},l=yield*p(()=>o(s,a===void 0?c:{...c,outcome:a}));return l.kind===`applied`&&(yield*e(()=>t.write(r,l.state))),l})}return{callback(n,r,a){return e(()=>t.authorize()).pipe(s.flatMap(()=>i(n,r,a)))},reconcile(n){return s.gen(function*(){return yield*e(()=>t.authorize()),yield*i(n,yield*e(()=>t.nativeStatus()),yield*e(()=>t.receiptOutcome()))})},cancel(i){return s.gen(function*(){yield*e(()=>t.authorize());let a=yield*n(),o=yield*p(()=>r(a,i));return o.kind===`applied`&&a.status===`running`&&(yield*e(()=>t.cancelNative()),yield*e(()=>t.write(i,o.state))),o})},restart(r){return s.gen(function*(){yield*e(()=>t.authorize());let i=yield*n();if(i.generation!==r)return{kind:`ignored`,state:i};let o=yield*p(()=>a(i));return yield*e(()=>t.restartNative()),yield*e(()=>t.write(r,o)),{kind:`applied`,state:o}})}}}function f(e){return p(()=>i(e))}function p(e){return s.try({try:e,catch:e=>{if(e instanceof n)return e;throw e}})}export{u as effectReceiptWorkflowMutation,l as effectTerminalWorkflowAttempt,c as effectWorkflowAttempt,d as effectWorkflowStatusBindings};
 //# sourceMappingURL=workflow.mjs.map

package/dist/modules/foundation/foundation.d.mts

@@ -0,0 +1,108 @@
+import { ContractInput, ContractOutput } from "../contracts/contract.mjs";
+import { OperationPublicResult, SelectedOperation } from "../contracts/exposure.mjs";
+import { Observability, ObservabilityOptions } from "../../components/foundation/modules/observability/observability.mjs";
+import { AuditEntryInput } from "../../components/foundation/client.mjs";
+import { DomainAuditInput, DomainContract } from "../contracts/domain.mjs";
+import { Audit, CheckedOperation, DomainFactory, ExactOperations, InlineFactory, NormalEntry, ValidatedOperations } from "./operation.mjs";
+//#region src/modules/foundation/foundation.d.ts
+type Supported<Value> = Value | PromiseLike<Value>;
+type Resolver = (host: never) => unknown;
+type Domain<Resolve extends Resolver> = Awaited<ReturnType<Resolve>>;
+type Host<Resolve extends Resolver> = Parameters<Resolve>[0];
+type CallbackHost<Callback> = Callback extends ((host: infer Host, ...args: never[]) => unknown) ? Host : unknown;
+export type FoundationRegistryOptions = {
+  observability: ObservabilityOptions;
+  writeAudit: (host: never, entry: AuditEntryInput) => Supported<unknown>;
+  checkPermission?: (host: never, input: {
+    operation: string;
+    permission: string;
+  }) => Supported<void>;
+};
+type Registry<Context> = Readonly<Record<string, NormalEntry & {
+  handler: (input: never, context: never) => unknown;
+} & CheckedOperation<Context>>>;
+type AuditedRegistry<Context> = Registry<Context> & Readonly<Record<string, {
+  audit: (resolution: never, context: never) => Supported<Audit>;
+}>>;
+type Defaults<Context> = {
+  guard?: (context: Context) => Supported<void>;
+  metadata?: object;
+};
+export type FoundationRegistry<Resolve extends Resolver, Operations extends Registry<Domain<Resolve>>> = {
+  exec<Key extends Extract<keyof Operations, string>>(operation: Key, input: ContractInput<Operations[Key]['input']>, host: Host<Resolve>): Promise<ContractOutput<Operations[Key]['result']>>;
+  withContext(host: Host<Resolve>): {
+    exec<Key extends Extract<keyof Operations, string>>(operation: Key, input: ContractInput<Operations[Key]['input']>): Promise<ContractOutput<Operations[Key]['result']>>;
+  };
+  expose<const Owner extends symbol, const Key extends Extract<keyof Operations, string>>(owner: Owner, operation: Key): SelectedOperation<Owner, Key, Operations[Key]['input'], OperationPublicResult<Operations[Key]>>;
+};
+/** Promise-based registries share the same command protocol as the optional Effect adapter. */
+export declare function createFoundation<const Options extends FoundationRegistryOptions>(options: Options): {
+  Command: {
+    <Resolve extends Resolver, const Contract extends DomainContract & {
+      commands: Readonly<Record<string, NormalEntry & {
+        classification: string;
+      }>>;
+    }, const Operations extends Registry<Domain<Resolve>>>(configuration: {
+      contract: Contract;
+      context: Resolve;
+      audit: (resolution: DomainAuditInput<Contract['commands']>, context: Domain<Resolve>) => Supported<Audit>;
+      operations: (definitions: DomainFactory<Domain<Resolve>, Contract['commands'], true, false>) => Operations & NoInfer<ExactOperations<Operations, Contract['commands']>> & NoInfer<ValidatedOperations<Operations>>;
+      defaults?: Defaults<Domain<Resolve>>;
+    } & (Host<Resolve> extends CallbackHost<Options["writeAudit"]> & CallbackHost<Options["checkPermission"]> ? unknown : {
+      context: never;
+    })): FoundationRegistry<Resolve, Operations>;
+    <Resolve extends Resolver, const Contract extends DomainContract & {
+      commands: Readonly<Record<string, NormalEntry & {
+        classification: string;
+      }>>;
+    }, const Operations extends AuditedRegistry<Domain<Resolve>>>(configuration: {
+      contract: Contract;
+      context: Resolve;
+      audit?: never;
+      operations: (definitions: DomainFactory<Domain<Resolve>, Contract['commands'], true, true>) => Operations & NoInfer<ExactOperations<Operations, Contract['commands']>> & NoInfer<ValidatedOperations<Operations>>;
+      defaults?: Defaults<Domain<Resolve>>;
+    } & (Host<Resolve> extends CallbackHost<Options["writeAudit"]> & CallbackHost<Options["checkPermission"]> ? unknown : {
+      context: never;
+    })): FoundationRegistry<Resolve, Operations>;
+    <Resolve extends Resolver, const Operations extends Registry<Domain<Resolve>>>(configuration: {
+      contract?: never;
+      context: Resolve;
+      audit: (resolution: DomainAuditInput<Operations>, context: Domain<Resolve>) => Supported<Audit>;
+      operations: (definitions: InlineFactory<Domain<Resolve>, false>) => Operations & NoInfer<ValidatedOperations<Operations>>;
+      defaults?: Defaults<Domain<Resolve>>;
+    } & (Host<Resolve> extends CallbackHost<Options["writeAudit"]> & CallbackHost<Options["checkPermission"]> ? unknown : {
+      context: never;
+    })): FoundationRegistry<Resolve, Operations>;
+    <Resolve extends Resolver, const Operations extends AuditedRegistry<Domain<Resolve>>>(configuration: {
+      contract?: never;
+      context: Resolve;
+      operations: (definitions: InlineFactory<Domain<Resolve>, true>) => Operations & NoInfer<ValidatedOperations<Operations>>;
+      defaults?: Defaults<Domain<Resolve>>;
+    } & (Host<Resolve> extends CallbackHost<Options["writeAudit"]> & CallbackHost<Options["checkPermission"]> ? unknown : {
+      context: never;
+    })): FoundationRegistry<Resolve, Operations>;
+  };
+  Query: {
+    <Resolve extends Resolver, const Contract extends DomainContract & {
+      queries: Readonly<Record<string, NormalEntry>>;
+    }, const Operations extends Registry<Domain<Resolve>>>(configuration: {
+      contract: Contract;
+      context: Resolve;
+      operations: (definitions: DomainFactory<Domain<Resolve>, Contract['queries'], false, true>) => Operations & NoInfer<ExactOperations<Operations, Contract['queries']>> & NoInfer<ValidatedOperations<Operations>>;
+      defaults?: Defaults<Domain<Resolve>>;
+    } & (Host<Resolve> extends CallbackHost<Options["writeAudit"]> & CallbackHost<Options["checkPermission"]> ? unknown : {
+      context: never;
+    })): FoundationRegistry<Resolve, Operations>;
+    <Resolve extends Resolver, const Operations extends Registry<Domain<Resolve>>>(configuration: {
+      contract?: never;
+      context: Resolve;
+      operations: (definitions: InlineFactory<Domain<Resolve>, true>) => Operations & NoInfer<ValidatedOperations<Operations>>;
+      defaults?: Defaults<Domain<Resolve>>;
+    } & (Host<Resolve> extends CallbackHost<Options["writeAudit"]> & CallbackHost<Options["checkPermission"]> ? unknown : {
+      context: never;
+    })): FoundationRegistry<Resolve, Operations>;
+  };
+  observability: Observability;
+};
+//#endregion
+//# sourceMappingURL=foundation.d.mts.map

package/dist/modules/foundation/foundation.mjs

@@ -0,0 +1,2 @@
+import{selectOperation as e}from"../contracts/exposure.mjs";import{decodeContract as t}from"../contracts/contract.mjs";import{Observability as n}from"../../components/foundation/modules/observability/observability.mjs";import{CommandPermissionError as r,executeCommandLifecycle as i,promiseLifecycle as a}from"../../components/foundation/modules/command/lifecycle.mjs";import{snapshotOperations as o}from"../contracts/binding.mjs";import{domainFactory as s,operationFactory as c}from"./operation.mjs";function l(t){let l=new n(t.observability);function d(e){return p(e,!0)}function f(e){return p(e,!1)}function p(n,d){let f=d?`commands`:`queries`,p=n.contract?s(n.contract[f]??{},d):c(),m=o(n.operations(p),n.contract,f,n.audit);async function h(e,o,s){if(!Object.hasOwn(m,e))throw Error(`The selected ${d?`command`:`query`} operation is not configured`);let c=m[e],f=await u(c.input,o);return l.observe({operation:e,classification:c.classification??`query`},async()=>{let o=async()=>{if(c.permission){if(!t.checkPermission)throw new r(e);await t.checkPermission(s,{operation:e,permission:c.permission})}};d||await o();let l=await n.context(s),p=e=>Promise.resolve(c.handler(f,e)),m=async e=>{await n.defaults?.guard?.(e),await c.guard?.(e,f)};if(d)return i(a,{operation:e,classification:c.classification,context:l,command:f,permission:o,prepare:async()=>{let e=await c.prepare?.(l,f);return e?.kind===`execute`?{...e,complete:e.complete?async t=>{await e.complete(t)}:void 0}:e},middleware:c.middleware?[e=>Promise.resolve(c.middleware({...e,input:f,metadata:{...n.defaults?.metadata,...c.metadata}}))]:[],defaultGuard:async()=>{},guard:m,run:p,decodeReplay:e=>u(c.replayResult??c.result,e),decodeResult:e=>u(c.result,e),audit:async e=>c.audit({command:f,result:e},l),writeAudit:async e=>t.writeAudit(s,e),aggregates:c.aggregates});let h=!1,g=async(e=l)=>{if(h)throw Error(`A query middleware called next() more than once`);return h=!0,await m(e),p(e)},_=c.middleware?await c.middleware({operation:e,command:f,input:f,context:l,metadata:{...n.defaults?.metadata,...c.metadata},next:e=>g(e?.context?{...l,...e.context}:l)}):await g();return u(c.result,_)})}return{exec:h,withContext:e=>({exec:(t,n)=>h(t,n,e)}),expose:(t,n)=>{if(!Object.hasOwn(m,n))throw Error(`The selected operation is not configured`);return e(t,d?`mutation`:`query`,n,m[n])}}}return{Command:d,Query:f,observability:l}}async function u(e,n){if(`kind`in e&&e.kind!==`contract`)throw Error(`Effect contracts require the Effect registry`);let r=await t(e,n);if(r.issues)throw Error(r.issues.map(e=>e.message).join(`; `));return r.value}export{l as createFoundation};
+//# sourceMappingURL=foundation.mjs.map

package/dist/modules/foundation/foundation.mjs.map

@@ -0,0 +1 @@
+{"version":3,"file":"foundation.mjs","names":["createFoundation","observability","Observability","options","Command","registry","configuration","Query","section","command","definitions","domainFactory","operationFactory","operations","snapshotOperations","exec","operation","definition","parsed","decode","input","permission","CommandPermissionError","host","context","run","enriched","guard","executeCommandLifecycle","promiseLifecycle","prepared","result","value","entry","called","next","raw","settings","selectOperation","owner","schema","decoded","decodeContract","issue"],"sources":["../../../src/modules/foundation/foundation.ts"],"sourcesContent":["/* oxlint-disable anti-slop/no-unknown-parameters, anti-slop/no-unknown-returns, anti-slop/no-unsafe-dictionary-type -- Private heterogeneous executor storage; public overloads restore schema-owned values and callbacks before dispatch. */\nimport type { AuditEntryInput } from '../../components/foundation/client'\n// oxlint-disable-next-line cvx/component-boundaries -- SAFETY: Host registries share the deployed component's Effect-free interpreter.\nimport {\n\texecuteCommandLifecycle,\n\tpromiseLifecycle,\n\tCommandPermissionError,\n\ttype PromiseExecution,\n} from '../../components/foundation/modules/command/lifecycle'\n// oxlint-disable-next-line cvx/component-boundaries -- SAFETY: Host-only observability is shared without entering the deployment graph.\nimport {\n\tObservability,\n\ttype ObservabilityOptions,\n} from '../../components/foundation/modules/observability/observability'\nimport {\n\tdecodeContract,\n\ttype ContractInput,\n\ttype ContractOutput,\n\ttype NeutralSchema,\n} from '../contracts/contract'\nimport type { DomainContract, DomainAuditInput } from '../contracts/domain'\nimport { snapshotOperations } from '../contracts/binding'\nimport {\n\tselectOperation,\n\ttype SelectedOperation,\n\ttype OperationPublicResult,\n} from '../contracts/exposure'\nimport {\n\tdomainFactory,\n\toperationFactory,\n\ttype DomainFactory,\n\ttype InlineFactory,\n\ttype NormalEntry,\n\ttype Audit,\n\ttype CheckedOperation,\n\ttype ExactOperations,\n\ttype ValidatedOperations,\n} from './operation'\n\ntype Supported<Value> = Value | PromiseLike<Value>\ntype Resolver = (host: never) => unknown\ntype Domain<Resolve extends Resolver> = Awaited<ReturnType<Resolve>>\ntype Host<Resolve extends Resolver> = Parameters<Resolve>[0]\ntype CallbackHost<Callback> = Callback extends (host: infer Host, ...args: never[]) => unknown\n\t? Host\n\t: unknown\nexport type FoundationRegistryOptions = {\n\tobservability: ObservabilityOptions\n\twriteAudit: (host: never, entry: AuditEntryInput) => Supported<unknown>\n\tcheckPermission?: (\n\t\thost: never,\n\t\tinput: { operation: string; permission: string },\n\t) => Supported<void>\n}\ntype Registry<Context> = Readonly<\n\tRecord<\n\t\tstring,\n\t\tNormalEntry & { handler: (input: never, context: never) => unknown } & CheckedOperation<Context>\n\t>\n>\ntype AuditedRegistry<Context> = Registry<Context> &\n\tReadonly<Record<string, { audit: (resolution: never, context: never) => Supported<Audit> }>>\ntype Defaults<Context> = { guard?: (context: Context) => Supported<void>; metadata?: object }\nexport type FoundationRegistry<\n\tResolve extends Resolver,\n\tOperations extends Registry<Domain<Resolve>>,\n> = {\n\texec<Key extends Extract<keyof Operations, string>>(\n\t\toperation: Key,\n\t\tinput: ContractInput<Operations[Key]['input']>,\n\t\thost: Host<Resolve>,\n\t): Promise<ContractOutput<Operations[Key]['result']>>\n\twithContext(host: Host<Resolve>): {\n\t\texec<Key extends Extract<keyof Operations, string>>(\n\t\t\toperation: Key,\n\t\t\tinput: ContractInput<Operations[Key]['input']>,\n\t\t): Promise<ContractOutput<Operations[Key]['result']>>\n\t}\n\texpose<const Owner extends symbol, const Key extends Extract<keyof Operations, string>>(\n\t\towner: Owner,\n\t\toperation: Key,\n\t): SelectedOperation<Owner, Key, Operations[Key]['input'], OperationPublicResult<Operations[Key]>>\n}\ntype RuntimeDefinition = NormalEntry & {\n\tclassification?: string\n\tpermission?: string\n\tmetadata?: object\n\taggregates?: readonly string[]\n\thandler: (input: unknown, context: unknown) => Supported<unknown>\n\tguard?: (context: unknown, input: unknown) => Supported<void>\n\tprepare?: (\n\t\tcontext: unknown,\n\t\tinput: unknown,\n\t) => Supported<\n\t\t| { kind: 'replay'; result: unknown }\n\t\t| { kind: 'execute'; complete?: (result: unknown) => Supported<void> }\n\t>\n\taudit: (resolution: { command: unknown; result: unknown }, context: unknown) => Supported<Audit>\n\tmiddleware?: (input: {\n\t\toperation: string\n\t\tcommand: unknown\n\t\tinput: unknown\n\t\tcontext: unknown\n\t\tmetadata: object\n\t\tnext: (options?: { context?: object }) => Promise<unknown>\n\t}) => Supported<unknown>\n}\ntype RuntimeConfiguration = {\n\tcontext: Resolver\n\tcontract?: DomainContract\n\toperations: (definitions: never) => Readonly<Record<string, object>>\n\taudit?: (resolution: never, context: never) => Supported<Audit>\n\tdefaults?: Defaults<never>\n}\n\n// SAFETY: public helper signatures and the paired schema check this erased runtime invocation.\n/** Promise-based registries share the same command protocol as the optional Effect adapter. */\nexport function createFoundation<const Options extends FoundationRegistryOptions>(\n\toptions: Options,\n) {\n\tconst observability = new Observability(options.observability)\n\ttype PolicyHost = CallbackHost<Options['writeAudit']> & CallbackHost<Options['checkPermission']>\n\ttype Compatible<Resolve extends Resolver> =\n\t\tHost<Resolve> extends PolicyHost ? unknown : { context: never }\n\tfunction Command<\n\t\tResolve extends Resolver,\n\t\tconst Contract extends DomainContract & {\n\t\t\tcommands: Readonly<Record<string, NormalEntry & { classification: string }>>\n\t\t},\n\t\tconst Operations extends Registry<Domain<Resolve>>,\n\t>(\n\t\tconfiguration: {\n\t\t\tcontract: Contract\n\t\t\tcontext: Resolve\n\t\t\taudit: (\n\t\t\t\tresolution: DomainAuditInput<Contract['commands']>,\n\t\t\t\tcontext: Domain<Resolve>,\n\t\t\t) => Supported<Audit>\n\t\t\toperations: (\n\t\t\t\tdefinitions: DomainFactory<Domain<Resolve>, Contract['commands'], true, false>,\n\t\t\t) => Operations &\n\t\t\t\tNoInfer<ExactOperations<Operations, Contract['commands']>> &\n\t\t\t\tNoInfer<ValidatedOperations<Operations>>\n\t\t\tdefaults?: Defaults<Domain<Resolve>>\n\t\t} & Compatible<Resolve>,\n\t): FoundationRegistry<Resolve, Operations>\n\tfunction Command<\n\t\tResolve extends Resolver,\n\t\tconst Contract extends DomainContract & {\n\t\t\tcommands: Readonly<Record<string, NormalEntry & { classification: string }>>\n\t\t},\n\t\tconst Operations extends AuditedRegistry<Domain<Resolve>>,\n\t>(\n\t\tconfiguration: {\n\t\t\tcontract: Contract\n\t\t\tcontext: Resolve\n\t\t\taudit?: never\n\t\t\toperations: (\n\t\t\t\tdefinitions: DomainFactory<Domain<Resolve>, Contract['commands'], true, true>,\n\t\t\t) => Operations &\n\t\t\t\tNoInfer<ExactOperations<Operations, Contract['commands']>> &\n\t\t\t\tNoInfer<ValidatedOperations<Operations>>\n\t\t\tdefaults?: Defaults<Domain<Resolve>>\n\t\t} & Compatible<Resolve>,\n\t): FoundationRegistry<Resolve, Operations>\n\tfunction Command<Resolve extends Resolver, const Operations extends Registry<Domain<Resolve>>>(\n\t\tconfiguration: {\n\t\t\tcontract?: never\n\t\t\tcontext: Resolve\n\t\t\taudit: (\n\t\t\t\tresolution: DomainAuditInput<Operations>,\n\t\t\t\tcontext: Domain<Resolve>,\n\t\t\t) => Supported<Audit>\n\t\t\toperations: (\n\t\t\t\tdefinitions: InlineFactory<Domain<Resolve>, false>,\n\t\t\t) => Operations & NoInfer<ValidatedOperations<Operations>>\n\t\t\tdefaults?: Defaults<Domain<Resolve>>\n\t\t} & Compatible<Resolve>,\n\t): FoundationRegistry<Resolve, Operations>\n\tfunction Command<\n\t\tResolve extends Resolver,\n\t\tconst Operations extends AuditedRegistry<Domain<Resolve>>,\n\t>(\n\t\tconfiguration: {\n\t\t\tcontract?: never\n\t\t\tcontext: Resolve\n\t\t\toperations: (\n\t\t\t\tdefinitions: InlineFactory<Domain<Resolve>, true>,\n\t\t\t) => Operations & NoInfer<ValidatedOperations<Operations>>\n\t\t\tdefaults?: Defaults<Domain<Resolve>>\n\t\t} & Compatible<Resolve>,\n\t): FoundationRegistry<Resolve, Operations>\n\tfunction Command(configuration: RuntimeConfiguration): unknown {\n\t\treturn registry(configuration, true)\n\t}\n\tfunction Query<\n\t\tResolve extends Resolver,\n\t\tconst Contract extends DomainContract & { queries: Readonly<Record<string, NormalEntry>> },\n\t\tconst Operations extends Registry<Domain<Resolve>>,\n\t>(\n\t\tconfiguration: {\n\t\t\tcontract: Contract\n\t\t\tcontext: Resolve\n\t\t\toperations: (\n\t\t\t\tdefinitions: DomainFactory<Domain<Resolve>, Contract['queries'], false, true>,\n\t\t\t) => Operations &\n\t\t\t\tNoInfer<ExactOperations<Operations, Contract['queries']>> &\n\t\t\t\tNoInfer<ValidatedOperations<Operations>>\n\t\t\tdefaults?: Defaults<Domain<Resolve>>\n\t\t} & Compatible<Resolve>,\n\t): FoundationRegistry<Resolve, Operations>\n\tfunction Query<Resolve extends Resolver, const Operations extends Registry<Domain<Resolve>>>(\n\t\tconfiguration: {\n\t\t\tcontract?: never\n\t\t\tcontext: Resolve\n\t\t\toperations: (\n\t\t\t\tdefinitions: InlineFactory<Domain<Resolve>, true>,\n\t\t\t) => Operations & NoInfer<ValidatedOperations<Operations>>\n\t\t\tdefaults?: Defaults<Domain<Resolve>>\n\t\t} & Compatible<Resolve>,\n\t): FoundationRegistry<Resolve, Operations>\n\tfunction Query(configuration: RuntimeConfiguration): unknown {\n\t\treturn registry(configuration, false)\n\t}\n\tfunction registry(configuration: RuntimeConfiguration, command: boolean) {\n\t\tconst section = command ? 'commands' : 'queries'\n\t\t// SAFETY: public overloads restrict Promise registries to neutral schemas.\n\t\tconst definitions = configuration.contract\n\t\t\t? domainFactory(\n\t\t\t\t\t// SAFETY: public helper signatures and the paired schema check this erased runtime invocation.\n\t\t\t\t\t(configuration.contract[section] as Readonly<Record<string, NormalEntry>>) ?? {},\n\t\t\t\t\tcommand,\n\t\t\t\t)\n\t\t\t: operationFactory()\n\t\t// SAFETY: helper overloads checked the selected callbacks; storage erases only their parameters.\n\t\tconst operations = snapshotOperations(\n\t\t\t// SAFETY: public helper signatures and the paired schema check this erased runtime invocation.\n\t\t\tconfiguration.operations(definitions as never),\n\t\t\tconfiguration.contract,\n\t\t\tsection,\n\t\t\tconfiguration.audit,\n\t\t)\n\t\tasync function exec(operation: string, input: unknown, host: never) {\n\t\t\tif (!Object.hasOwn(operations, operation))\n\t\t\t\tthrow Error(`The selected ${command ? 'command' : 'query'} operation is not configured`)\n\t\t\t// SAFETY: helpers verified callbacks against these paired schemas; only the runtime storage erases values.\n\t\t\tconst definition = operations[operation] as RuntimeDefinition\n\t\t\tconst parsed = await decode(definition.input, input)\n\t\t\treturn observability.observe(\n\t\t\t\t{ operation, classification: definition.classification ?? 'query' },\n\t\t\t\tasync () => {\n\t\t\t\t\tconst permission = async () => {\n\t\t\t\t\t\tif (!definition.permission) return\n\t\t\t\t\t\tif (!options.checkPermission) throw new CommandPermissionError(operation)\n\t\t\t\t\t\tawait options.checkPermission(host, { operation, permission: definition.permission })\n\t\t\t\t\t}\n\t\t\t\t\tif (!command) await permission()\n\t\t\t\t\tconst context = await configuration.context(host)\n\t\t\t\t\tconst run = (enriched: unknown) => Promise.resolve(definition.handler(parsed, enriched))\n\t\t\t\t\tconst guard = async (enriched: unknown) => {\n\t\t\t\t\t\t// SAFETY: base resolver context is the public default guard context.\n\t\t\t\t\t\tawait configuration.defaults?.guard?.(enriched as never)\n\t\t\t\t\t\tawait definition.guard?.(enriched, parsed)\n\t\t\t\t\t}\n\t\t\t\t\tif (command)\n\t\t\t\t\t\treturn executeCommandLifecycle<PromiseExecution, unknown, unknown, unknown, unknown>(\n\t\t\t\t\t\t\tpromiseLifecycle,\n\t\t\t\t\t\t\t{\n\t\t\t\t\t\t\t\toperation,\n\t\t\t\t\t\t\t\tclassification: definition.classification!,\n\t\t\t\t\t\t\t\tcontext,\n\t\t\t\t\t\t\t\tcommand: parsed,\n\t\t\t\t\t\t\t\tpermission,\n\t\t\t\t\t\t\t\tprepare: async () => {\n\t\t\t\t\t\t\t\t\tconst prepared = await definition.prepare?.(context, parsed)\n\t\t\t\t\t\t\t\t\treturn prepared?.kind === 'execute'\n\t\t\t\t\t\t\t\t\t\t? {\n\t\t\t\t\t\t\t\t\t\t\t\t...prepared,\n\t\t\t\t\t\t\t\t\t\t\t\tcomplete: prepared.complete\n\t\t\t\t\t\t\t\t\t\t\t\t\t? async (result) => {\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\tawait prepared.complete!(result)\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t\t\t\t\t\t\t: undefined,\n\t\t\t\t\t\t\t\t\t\t\t}\n\t\t\t\t\t\t\t\t\t\t: prepared\n\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t\tmiddleware: definition.middleware\n\t\t\t\t\t\t\t\t\t? [\n\t\t\t\t\t\t\t\t\t\t\t(input) =>\n\t\t\t\t\t\t\t\t\t\t\t\tPromise.resolve(\n\t\t\t\t\t\t\t\t\t\t\t\t\tdefinition.middleware!({\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t...input,\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tinput: parsed,\n\t\t\t\t\t\t\t\t\t\t\t\t\t\tmetadata: {\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t...configuration.defaults?.metadata,\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t\t...definition.metadata,\n\t\t\t\t\t\t\t\t\t\t\t\t\t\t},\n\t\t\t\t\t\t\t\t\t\t\t\t\t}),\n\t\t\t\t\t\t\t\t\t\t\t\t),\n\t\t\t\t\t\t\t\t\t\t]\n\t\t\t\t\t\t\t\t\t: [],\n\t\t\t\t\t\t\t\tdefaultGuard: async () => {},\n\t\t\t\t\t\t\t\tguard,\n\t\t\t\t\t\t\t\trun,\n\t\t\t\t\t\t\t\tdecodeReplay: (value) =>\n\t\t\t\t\t\t\t\t\tdecode(definition.replayResult ?? definition.result, value),\n\t\t\t\t\t\t\t\tdecodeResult: (value) => decode(definition.result, value),\n\t\t\t\t\t\t\t\taudit: async (result) => definition.audit({ command: parsed, result }, context),\n\t\t\t\t\t\t\t\twriteAudit: async (entry) => options.writeAudit(host, entry),\n\t\t\t\t\t\t\t\taggregates: definition.aggregates,\n\t\t\t\t\t\t\t},\n\t\t\t\t\t\t)\n\t\t\t\t\tlet called = false\n\t\t\t\t\tconst next = async (enriched = context) => {\n\t\t\t\t\t\tif (called) throw Error('A query middleware called next() more than once')\n\t\t\t\t\t\tcalled = true\n\t\t\t\t\t\tawait guard(enriched)\n\t\t\t\t\t\treturn run(enriched)\n\t\t\t\t\t}\n\t\t\t\t\tconst raw = definition.middleware\n\t\t\t\t\t\t? await definition.middleware({\n\t\t\t\t\t\t\t\toperation,\n\t\t\t\t\t\t\t\tcommand: parsed,\n\t\t\t\t\t\t\t\tinput: parsed,\n\t\t\t\t\t\t\t\tcontext,\n\t\t\t\t\t\t\t\tmetadata: { ...configuration.defaults?.metadata, ...definition.metadata },\n\t\t\t\t\t\t\t\tnext: (settings) =>\n\t\t\t\t\t\t\t\t\tnext(\n\t\t\t\t\t\t\t\t\t\t// SAFETY: public helper signatures and the paired schema check this erased runtime invocation.\n\t\t\t\t\t\t\t\t\t\tsettings?.context ? { ...(context as object), ...settings.context } : context,\n\t\t\t\t\t\t\t\t\t),\n\t\t\t\t\t\t\t})\n\t\t\t\t\t\t: await next()\n\t\t\t\t\treturn decode(definition.result, raw)\n\t\t\t\t},\n\t\t\t)\n\t\t}\n\t\treturn {\n\t\t\texec,\n\t\t\twithContext: (host: never) => ({\n\t\t\t\texec: (operation: string, input: unknown) => exec(operation, input, host),\n\t\t\t}),\n\t\t\texpose: (owner: symbol, operation: string) => {\n\t\t\t\tif (!Object.hasOwn(operations, operation))\n\t\t\t\t\tthrow Error('The selected operation is not configured')\n\t\t\t\treturn selectOperation(\n\t\t\t\t\towner,\n\t\t\t\t\tcommand ? 'mutation' : 'query',\n\t\t\t\t\toperation,\n\t\t\t\t\t// SAFETY: public helper signatures and the paired schema check this erased runtime invocation.\n\t\t\t\t\toperations[operation] as RuntimeDefinition,\n\t\t\t\t)\n\t\t\t},\n\t\t}\n\t}\n\treturn { Command, Query, observability }\n}\n\nasync function decode(schema: NeutralSchema, value: unknown) {\n\tif ('kind' in schema && schema.kind !== 'contract')\n\t\tthrow Error('Effect contracts require the Effect registry')\n\tconst decoded = await decodeContract(schema, value)\n\tif (decoded.issues) throw Error(decoded.issues.map((issue) => issue.message).join('; '))\n\treturn decoded.value\n}\n"],"mappings":"qfAqHA,SAAgBA,EACf,EACC,CACD,IAAMC,EAAgB,IAAIC,EAAcC,EAAQ,aAAa,EAwE7D,SAASC,EAAQ,EAA8C,CAC9D,OAAOC,EAASC,EAAe,EAAI,CACpC,CA2BA,SAASC,EAAM,EAA8C,CAC5D,OAAOF,EAASC,EAAe,EAAK,CACrC,CACA,SAASD,EAAS,EAAqC,EAAkB,CACxE,IAAMG,EAAUC,EAAU,WAAa,UAEjCC,EAAcJ,EAAc,SAC/BK,EAECL,EAAc,SAASE,IAAsD,CAAC,EAC/EC,CACD,EACCG,EAAiB,EAEdC,EAAaC,EAElBR,EAAc,WAAWI,CAAoB,EAC7CJ,EAAc,SACdE,EACAF,EAAc,KACf,EACA,eAAeS,EAAK,EAAmB,EAAgB,EAAa,CACnE,GAAI,CAAC,OAAO,OAAOF,EAAYG,CAAS,EACvC,MAAM,MAAM,gBAAgBP,EAAU,UAAY,QAAQ,6BAA6B,EAExF,IAAMQ,EAAaJ,EAAWG,GACxBE,EAAS,MAAMC,EAAOF,EAAW,MAAOG,CAAK,EACnD,OAAOnB,EAAc,QACpB,CAAE,YAAW,eAAgBgB,EAAW,gBAAkB,OAAQ,EAClE,SAAY,CACX,IAAMI,EAAa,SAAY,CAC9B,GAAKJ,EAAW,WAChB,IAAI,CAACd,EAAQ,gBAAiB,MAAM,IAAImB,EAAuBN,CAAS,EACxE,MAAMb,EAAQ,gBAAgBoB,EAAM,CAAE,YAAW,WAAYN,EAAW,UAAW,CAAC,CADZ,CAEzE,EACKR,GAAS,MAAMY,EAAW,EAC/B,IAAMG,EAAU,MAAMlB,EAAc,QAAQiB,CAAI,EAC1CE,EAAO,GAAsB,QAAQ,QAAQR,EAAW,QAAQC,EAAQQ,CAAQ,CAAC,EACjFC,EAAQ,KAAO,IAAsB,CAE1C,MAAMrB,EAAc,UAAU,QAAQoB,CAAiB,EACvD,MAAMT,EAAW,QAAQS,EAAUR,CAAM,CAC1C,EACA,GAAIT,EACH,OAAOmB,EACNC,EACA,CACC,YACA,eAAgBZ,EAAW,eAC3B,UACA,QAASC,EACT,aACA,QAAS,SAAY,CACpB,IAAMY,EAAW,MAAMb,EAAW,UAAUO,EAASN,CAAM,EAC3D,OAAOY,GAAU,OAAS,UACvB,CACA,GAAGA,EACH,SAAUA,EAAS,SAChB,KAAO,IAAW,CAClB,MAAMA,EAAS,SAAUC,CAAM,CAChC,EACC,IAAA,EACJ,EACCD,CACJ,EACA,WAAYb,EAAW,WACpB,CACC,GACA,QAAQ,QACPA,EAAW,WAAY,CACtB,GAAGG,EACH,MAAOF,EACP,SAAU,CACT,GAAGZ,EAAc,UAAU,SAC3B,GAAGW,EAAW,QACf,CACD,CAAC,CACF,CACF,EACC,CAAC,EACJ,aAAc,SAAY,CAAC,EAC3B,QACA,MACA,aAAe,GACdE,EAAOF,EAAW,cAAgBA,EAAW,OAAQe,CAAK,EAC3D,aAAe,GAAUb,EAAOF,EAAW,OAAQe,CAAK,EACxD,MAAO,KAAO,IAAWf,EAAW,MAAM,CAAE,QAASC,EAAQ,QAAO,EAAGM,CAAO,EAC9E,WAAY,KAAO,IAAUrB,EAAQ,WAAWoB,EAAMU,CAAK,EAC3D,WAAYhB,EAAW,UACxB,CACD,EACD,IAAIiB,EAAS,GACPC,EAAO,MAAO,EAAWX,IAAY,CAC1C,GAAIU,EAAQ,MAAM,MAAM,iDAAiD,EAGzE,MAFA,GAAS,GACT,MAAMP,EAAMD,CAAQ,EACbD,EAAIC,CAAQ,CACpB,EACMU,EAAMnB,EAAW,WACpB,MAAMA,EAAW,WAAW,CAC5B,YACA,QAASC,EACT,MAAOA,EACP,UACA,SAAU,CAAE,GAAGZ,EAAc,UAAU,SAAU,GAAGW,EAAW,QAAS,EACxE,KAAO,GACNkB,EAECE,GAAU,QAAU,CAAE,GAAIb,EAAoB,GAAGa,EAAS,OAAQ,EAAIb,CACvE,CACF,CAAC,EACA,MAAMW,EAAK,EACd,OAAOhB,EAAOF,EAAW,OAAQmB,CAAG,CACrC,CACD,CACD,CACA,MAAO,CACN,OACA,YAAc,IAAiB,CAC9B,MAAO,EAAmB,IAAmBrB,EAAKC,EAAWI,EAAOG,CAAI,CACzE,GACA,QAAS,EAAe,IAAsB,CAC7C,GAAI,CAAC,OAAO,OAAOV,EAAYG,CAAS,EACvC,MAAM,MAAM,0CAA0C,EACvD,OAAOsB,EACNC,EACA9B,EAAU,WAAa,QACvBO,EAEAH,EAAWG,EACZ,CACD,CACD,CACD,CACA,MAAO,CAAE,UAAS,QAAO,eAAc,CACxC,CAEA,eAAeG,EAAO,EAAuB,EAAgB,CAC5D,GAAI,SAAUqB,GAAUA,EAAO,OAAS,WACvC,MAAM,MAAM,8CAA8C,EAC3D,IAAMC,EAAU,MAAMC,EAAeF,EAAQR,CAAK,EAClD,GAAIS,EAAQ,OAAQ,MAAM,MAAMA,EAAQ,OAAO,IAAK,GAAUE,EAAM,OAAO,CAAC,CAAC,KAAK,IAAI,CAAC,EACvF,OAAOF,EAAQ,KAChB"}