@logixjs/core 0.0.1

package/dist/Module-B_0xRDMR.d.cts

@@ -0,0 +1,203 @@
+import { h as AnyModuleShape, l as ModuleRuntime, o as StateOf, p as ActionOf, m as ModuleHandle, M as ModuleTag, k as ModuleImpl, A as AnySchema, z as ModuleLike, R as ReducersFromMap, j as ModuleLogic, B as BoundApi, O as ModuleImplementStateTransactionOptions, r as MutatorsFromMap, F as FieldPath, i as ModuleShape, q as ActionsFromMap, v as StateChangeWithMeta, u as StateCommitMeta, s as StateCommitMode, t as StateCommitPriority } from './module-B8CBqIZ_.cjs';
+import { Context, Layer, Effect, Schema } from 'effect';
+import { O as Of, D as Draft } from './Logic-DRh4sDZj.cjs';
+import { b as ActionDefs, a as ActionToken, N as NormalizedActionTokens } from './action-DiMDD_0v.cjs';
+
+interface DevSource {
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+}
+interface ModuleDev {
+    readonly source?: DevSource;
+}
+interface LogicUnitOptions {
+    readonly id?: string;
+    readonly kind?: string;
+    readonly name?: string;
+    readonly source?: DevSource;
+}
+interface MountedLogicUnitSummary {
+    readonly kind: string;
+    readonly id: string;
+    readonly derived?: boolean;
+    readonly name?: string;
+}
+interface ModuleDescriptor {
+    readonly id: string;
+    readonly moduleId: string;
+    readonly instanceId: string;
+    readonly actionKeys: ReadonlyArray<string>;
+    readonly logicUnits: ReadonlyArray<MountedLogicUnitSummary>;
+    readonly schemaKeys?: ReadonlyArray<string>;
+    readonly meta?: Record<string, unknown>;
+    readonly source?: DevSource;
+}
+type HandleExtendFn<Sh extends AnyModuleShape, Ext extends object> = (runtime: ModuleRuntime<StateOf<Sh>, ActionOf<Sh>>, base: ModuleHandle<Sh>) => Ext | (ModuleHandle<Sh> & Ext) | null | undefined;
+type NoInfer_<T> = [T][T extends any ? 0 : never];
+type ModuleDefBase<Id extends string = string, Sh extends AnyModuleShape = AnyModuleShape, Ext extends object = {}> = ModuleLike<Id, Sh, Ext> & {
+    readonly shape: Sh;
+    readonly stateSchema: Sh['stateSchema'];
+    readonly actionSchema: Sh['actionSchema'];
+    /**
+     * Raw ActionMap (tag -> payload schema).
+     * - Mainly for DX/reflection; runtime contract is still based on tag.shape/actionSchema.
+     */
+    readonly actions: Sh['actionMap'];
+    /**
+     * Raw reducers (if provided by the definition).
+     * - Mainly for DX/reflection; runtime normalizes them into primary reducers inside ModuleTag/ModuleFactory.
+     */
+    readonly reducers?: ReducersFromMap<Sh['stateSchema'], Sh['actionMap']>;
+    readonly live: <R = never, E = never>(initial: StateOf<Sh>, ...logics: Array<ModuleLogic<Sh, R, E>>) => Layer.Layer<ModuleRuntime<StateOf<Sh>, ActionOf<Sh>>, E, R>;
+    readonly schemas?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly services?: Record<string, Context.Tag<any, any>>;
+    readonly dev?: ModuleDev;
+    readonly logic: <R = never, E = unknown>(build: (api: BoundApi<Sh, R> & {
+        readonly self: Of<Sh, R, ModuleHandle<Sh> & Ext, never>;
+    }) => ModuleLogic<Sh, R, E>, options?: LogicUnitOptions) => ModuleLogic<Sh, R, E>;
+};
+type AnyModule = {
+    readonly _kind: 'Module';
+    readonly id: string;
+    readonly tag: ModuleTag<string, AnyModuleShape>;
+    readonly impl: ModuleImpl<any, AnyModuleShape, any>;
+    readonly actions: Record<string, AnySchema>;
+    readonly reducers?: Record<string, unknown>;
+    readonly schemas?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly services?: Record<string, Context.Tag<any, any>>;
+    readonly dev?: ModuleDev;
+};
+type Module<Id extends string, Sh extends AnyModuleShape, Ext extends object = {}, R = never> = ModuleDefBase<Id, Sh, Ext> & {
+    readonly _kind: 'Module';
+    readonly impl: ModuleImpl<Id, Sh, R>;
+    readonly withLogic: (logic: ModuleLogic<Sh, any, any>, options?: LogicUnitOptions) => Module<Id, Sh, Ext, R>;
+    readonly withLogics: (...inputs: ReadonlyArray<MountInput<Sh>>) => Module<Id, Sh, Ext, R>;
+    readonly withLayer: (layer: Layer.Layer<any, never, any>) => Module<Id, Sh, Ext, R>;
+    readonly withLayers: (...layers: ReadonlyArray<Layer.Layer<any, never, any>>) => Module<Id, Sh, Ext, R>;
+};
+type ModuleDef<Id extends string, Sh extends AnyModuleShape, Ext extends object = {}> = ModuleDefBase<Id, Sh, Ext> & {
+    readonly _kind: 'ModuleDef';
+    readonly implement: <R = never>(config: {
+        readonly initial: StateOf<Sh>;
+        readonly logics?: Array<ModuleLogic<Sh, R, any>>;
+        readonly imports?: ReadonlyArray<Layer.Layer<any, any, any> | ModuleImpl<any, AnyModuleShape, any>>;
+        readonly processes?: ReadonlyArray<Effect.Effect<void, any, any>>;
+        readonly stateTransaction?: ModuleImplementStateTransactionOptions;
+    }) => Module<Id, Sh, Ext, R>;
+};
+declare const is: (value: unknown) => value is ModuleDefBase;
+declare const hasImpl: (value: unknown) => value is AnyModule;
+declare const unwrapTag: <Id extends string, Sh extends AnyModuleShape>(module: ModuleLike<Id, Sh, any>) => ModuleTag<Id, Sh>;
+declare const unwrapImpl: <Id extends string, Sh extends AnyModuleShape>(module: AnyModule & {
+    readonly id: Id;
+    readonly tag: ModuleTag<Id, Sh>;
+}) => ModuleImpl<Id, Sh, any>;
+declare const descriptor: (module: ModuleDefBase<string, AnyModuleShape, any>, runtime: ModuleRuntime<any, any>) => ModuleDescriptor;
+type MountInput<Sh extends AnyModuleShape> = ModuleLogic<Sh, any, any> | readonly [ModuleLogic<Sh, any, any>, LogicUnitOptions];
+type MakeDef<Id extends string, SSchema extends AnySchema, AMap extends ActionDefs> = {
+    readonly state: SSchema;
+    readonly actions: AMap;
+    readonly reducers?: ReducersFromMap<SSchema, NoInfer_<AMap>>;
+    readonly immerReducers?: MutatorsFromMap<SSchema, NoInfer_<AMap>>;
+    readonly effects?: EffectsFromMap<NoInfer_<AMap>>;
+    readonly traits?: unknown;
+    readonly schemas?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly services?: Record<string, Context.Tag<any, any>>;
+    readonly dev?: ModuleDev;
+};
+type AnyActionMap = ActionDefs;
+type EmptyActionMap = Record<never, never>;
+type PayloadOfActionDef<V> = V extends Schema.Schema<any, any, any> ? Schema.Schema.Type<V> : V extends ActionToken<any, infer P, any> ? P : never;
+type DeclaredEffectHandler<Payload> = ($: unknown, payload: Payload) => Effect.Effect<void, any, any>;
+type EffectsFromMap<M extends AnyActionMap> = {
+    readonly [K in keyof M]?: ReadonlyArray<DeclaredEffectHandler<PayloadOfActionDef<M[K]>>>;
+};
+type MergeActionMap<Base extends AnyActionMap, Ext extends AnyActionMap> = {
+    readonly [K in keyof Base | keyof Ext]: K extends keyof Ext ? Ext[K] : K extends keyof Base ? Base[K] : never;
+};
+/**
+ * Module.make "app-side extension/override" parameters (a two-stage responsibility split: domain library author → app developer).
+ *
+ * - `actions`: add-only (cannot override existing action schema); used to extend actionMap.
+ * - `reducers`: add and override; used to override domain reducers or provide reducers for new actions.
+ * - Other reflective fields (schemas/meta/services/dev) are shallow-merged (last-write-wins).
+ */
+type MakeExtendDef<SSchema extends AnySchema, BaseActions extends AnyActionMap, ExtActions extends AnyActionMap = EmptyActionMap> = {
+    readonly actions?: ExtActions;
+    readonly reducers?: ReducersFromMap<SSchema, MergeActionMap<BaseActions, ExtActions>>;
+    readonly immerReducers?: MutatorsFromMap<SSchema, MergeActionMap<BaseActions, ExtActions>>;
+    readonly effects?: EffectsFromMap<MergeActionMap<BaseActions, ExtActions>>;
+    readonly schemas?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly services?: Record<string, Context.Tag<any, any>>;
+    readonly dev?: ModuleDev;
+};
+declare const Reducer: {
+    mutate: <S, A extends {
+        readonly payload?: any;
+    }>(mutator: (draft: Draft<S>, payload: A["payload"]) => void) => ((state: S, action: A, sink?: (path: string | FieldPath) => void) => S);
+    mutateMap: <R extends Readonly<Record<string, ((state: any, action: any, sink?: (path: string | FieldPath) => void) => any) | undefined>>>(mutators: { readonly [K in keyof [R][R extends any ? 0 : never]]?: (draft: Draft<Parameters<NonNullable<[R][R extends any ? 0 : never][K]>>[0]>, payload: Parameters<NonNullable<[R][R extends any ? 0 : never][K]>>[1] extends {
+        readonly payload: infer P;
+    } ? P : Parameters<NonNullable<[R][R extends any ? 0 : never][K]>>[1] extends {
+        readonly payload?: infer P;
+    } ? P | undefined : never) => void; }) => R;
+};
+type Shape<S extends AnySchema, M extends ActionDefs> = ModuleShape<S, Schema.Schema<ActionsFromMap<NormalizedActionTokens<M>>>, NormalizedActionTokens<M>>;
+declare function make<Id extends string, SSchema extends AnySchema, AMap extends ActionDefs, Ext extends object = {}>(id: Id, def: MakeDef<Id, SSchema, AMap>): ModuleDef<Id, ModuleShape<SSchema, Schema.Schema<ActionsFromMap<NormalizedActionTokens<AMap>>>, NormalizedActionTokens<AMap>>, Ext>;
+declare function make<Id extends string, SSchema extends AnySchema, AMap extends ActionDefs, Ext extends object = {}, ExtActions extends ActionDefs = EmptyActionMap>(id: Id, def: MakeDef<Id, SSchema, AMap>, extend: MakeExtendDef<SSchema, NoInfer_<AMap>, ExtActions>): ModuleDef<Id, ModuleShape<SSchema, Schema.Schema<ActionsFromMap<NormalizedActionTokens<MergeActionMap<AMap, ExtActions>>>>, NormalizedActionTokens<MergeActionMap<AMap, ExtActions>>>, Ext>;
+declare const Manage: {
+    readonly make: <D extends (...args: any[]) => AnyModule>(config: {
+        readonly kind?: string;
+        readonly define: D;
+    }) => {
+        readonly kind?: string;
+        readonly make: D;
+    };
+};
+
+declare const Module$1_ActionOf: typeof ActionOf;
+declare const Module$1_ActionsFromMap: typeof ActionsFromMap;
+type Module$1_AnyModule = AnyModule;
+declare const Module$1_AnyModuleShape: typeof AnyModuleShape;
+declare const Module$1_AnySchema: typeof AnySchema;
+declare const Module$1_BoundApi: typeof BoundApi;
+type Module$1_DevSource = DevSource;
+type Module$1_HandleExtendFn<Sh extends AnyModuleShape, Ext extends object> = HandleExtendFn<Sh, Ext>;
+type Module$1_LogicUnitOptions = LogicUnitOptions;
+type Module$1_MakeExtendDef<SSchema extends AnySchema, BaseActions extends AnyActionMap, ExtActions extends AnyActionMap = EmptyActionMap> = MakeExtendDef<SSchema, BaseActions, ExtActions>;
+declare const Module$1_Manage: typeof Manage;
+type Module$1_Module<Id extends string, Sh extends AnyModuleShape, Ext extends object = {}, R = never> = Module<Id, Sh, Ext, R>;
+type Module$1_ModuleDef<Id extends string, Sh extends AnyModuleShape, Ext extends object = {}> = ModuleDef<Id, Sh, Ext>;
+type Module$1_ModuleDescriptor = ModuleDescriptor;
+type Module$1_ModuleDev = ModuleDev;
+declare const Module$1_ModuleHandle: typeof ModuleHandle;
+declare const Module$1_ModuleImpl: typeof ModuleImpl;
+declare const Module$1_ModuleLogic: typeof ModuleLogic;
+declare const Module$1_ModuleRuntime: typeof ModuleRuntime;
+declare const Module$1_ModuleShape: typeof ModuleShape;
+declare const Module$1_ModuleTag: typeof ModuleTag;
+type Module$1_MountedLogicUnitSummary = MountedLogicUnitSummary;
+declare const Module$1_MutatorsFromMap: typeof MutatorsFromMap;
+declare const Module$1_Reducer: typeof Reducer;
+declare const Module$1_ReducersFromMap: typeof ReducersFromMap;
+type Module$1_Shape<S extends AnySchema, M extends ActionDefs> = Shape<S, M>;
+declare const Module$1_StateChangeWithMeta: typeof StateChangeWithMeta;
+declare const Module$1_StateCommitMeta: typeof StateCommitMeta;
+declare const Module$1_StateCommitMode: typeof StateCommitMode;
+declare const Module$1_StateCommitPriority: typeof StateCommitPriority;
+declare const Module$1_StateOf: typeof StateOf;
+declare const Module$1_descriptor: typeof descriptor;
+declare const Module$1_hasImpl: typeof hasImpl;
+declare const Module$1_is: typeof is;
+declare const Module$1_make: typeof make;
+declare const Module$1_unwrapImpl: typeof unwrapImpl;
+declare const Module$1_unwrapTag: typeof unwrapTag;
+declare namespace Module$1 {
+  export { Module$1_ActionOf as ActionOf, Module$1_ActionsFromMap as ActionsFromMap, type Module$1_AnyModule as AnyModule, Module$1_AnyModuleShape as AnyModuleShape, Module$1_AnySchema as AnySchema, Module$1_BoundApi as BoundApi, type Module$1_DevSource as DevSource, type Module$1_HandleExtendFn as HandleExtendFn, type Module$1_LogicUnitOptions as LogicUnitOptions, type Module$1_MakeExtendDef as MakeExtendDef, Module$1_Manage as Manage, type Module$1_Module as Module, type Module$1_ModuleDef as ModuleDef, type Module$1_ModuleDescriptor as ModuleDescriptor, type Module$1_ModuleDev as ModuleDev, Module$1_ModuleHandle as ModuleHandle, Module$1_ModuleImpl as ModuleImpl, Module$1_ModuleLogic as ModuleLogic, Module$1_ModuleRuntime as ModuleRuntime, Module$1_ModuleShape as ModuleShape, Module$1_ModuleTag as ModuleTag, type Module$1_MountedLogicUnitSummary as MountedLogicUnitSummary, Module$1_MutatorsFromMap as MutatorsFromMap, Module$1_Reducer as Reducer, Module$1_ReducersFromMap as ReducersFromMap, type Module$1_Shape as Shape, Module$1_StateChangeWithMeta as StateChangeWithMeta, Module$1_StateCommitMeta as StateCommitMeta, Module$1_StateCommitMode as StateCommitMode, Module$1_StateCommitPriority as StateCommitPriority, Module$1_StateOf as StateOf, Module$1_descriptor as descriptor, Module$1_hasImpl as hasImpl, Module$1_is as is, Module$1_make as make, Module$1_unwrapImpl as unwrapImpl, Module$1_unwrapTag as unwrapTag };
+}
+
+export { type AnyModule as A, type DevSource as D, type HandleExtendFn as H, type LogicUnitOptions as L, Module$1 as M, Reducer as R, type Shape as S, type ModuleDev as a, type MountedLogicUnitSummary as b, type ModuleDescriptor as c, type ModuleDef as d, unwrapImpl as e, descriptor as f, type MakeExtendDef as g, hasImpl as h, is as i, Manage as j, type Module as k, make as m, unwrapTag as u };

package/dist/Module-DnzluX2J.d.ts

@@ -0,0 +1,203 @@
+import { h as AnyModuleShape, l as ModuleRuntime, o as StateOf, p as ActionOf, m as ModuleHandle, M as ModuleTag, k as ModuleImpl, A as AnySchema, z as ModuleLike, R as ReducersFromMap, j as ModuleLogic, B as BoundApi, O as ModuleImplementStateTransactionOptions, r as MutatorsFromMap, F as FieldPath, i as ModuleShape, q as ActionsFromMap, v as StateChangeWithMeta, u as StateCommitMeta, s as StateCommitMode, t as StateCommitPriority } from './module-k7m3txak.js';
+import { Context, Layer, Effect, Schema } from 'effect';
+import { O as Of, D as Draft } from './Logic-BRjEMr-W.js';
+import { b as ActionDefs, a as ActionToken, N as NormalizedActionTokens } from './action-DiMDD_0v.js';
+
+interface DevSource {
+    readonly file: string;
+    readonly line: number;
+    readonly column: number;
+}
+interface ModuleDev {
+    readonly source?: DevSource;
+}
+interface LogicUnitOptions {
+    readonly id?: string;
+    readonly kind?: string;
+    readonly name?: string;
+    readonly source?: DevSource;
+}
+interface MountedLogicUnitSummary {
+    readonly kind: string;
+    readonly id: string;
+    readonly derived?: boolean;
+    readonly name?: string;
+}
+interface ModuleDescriptor {
+    readonly id: string;
+    readonly moduleId: string;
+    readonly instanceId: string;
+    readonly actionKeys: ReadonlyArray<string>;
+    readonly logicUnits: ReadonlyArray<MountedLogicUnitSummary>;
+    readonly schemaKeys?: ReadonlyArray<string>;
+    readonly meta?: Record<string, unknown>;
+    readonly source?: DevSource;
+}
+type HandleExtendFn<Sh extends AnyModuleShape, Ext extends object> = (runtime: ModuleRuntime<StateOf<Sh>, ActionOf<Sh>>, base: ModuleHandle<Sh>) => Ext | (ModuleHandle<Sh> & Ext) | null | undefined;
+type NoInfer_<T> = [T][T extends any ? 0 : never];
+type ModuleDefBase<Id extends string = string, Sh extends AnyModuleShape = AnyModuleShape, Ext extends object = {}> = ModuleLike<Id, Sh, Ext> & {
+    readonly shape: Sh;
+    readonly stateSchema: Sh['stateSchema'];
+    readonly actionSchema: Sh['actionSchema'];
+    /**
+     * Raw ActionMap (tag -> payload schema).
+     * - Mainly for DX/reflection; runtime contract is still based on tag.shape/actionSchema.
+     */
+    readonly actions: Sh['actionMap'];
+    /**
+     * Raw reducers (if provided by the definition).
+     * - Mainly for DX/reflection; runtime normalizes them into primary reducers inside ModuleTag/ModuleFactory.
+     */
+    readonly reducers?: ReducersFromMap<Sh['stateSchema'], Sh['actionMap']>;
+    readonly live: <R = never, E = never>(initial: StateOf<Sh>, ...logics: Array<ModuleLogic<Sh, R, E>>) => Layer.Layer<ModuleRuntime<StateOf<Sh>, ActionOf<Sh>>, E, R>;
+    readonly schemas?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly services?: Record<string, Context.Tag<any, any>>;
+    readonly dev?: ModuleDev;
+    readonly logic: <R = never, E = unknown>(build: (api: BoundApi<Sh, R> & {
+        readonly self: Of<Sh, R, ModuleHandle<Sh> & Ext, never>;
+    }) => ModuleLogic<Sh, R, E>, options?: LogicUnitOptions) => ModuleLogic<Sh, R, E>;
+};
+type AnyModule = {
+    readonly _kind: 'Module';
+    readonly id: string;
+    readonly tag: ModuleTag<string, AnyModuleShape>;
+    readonly impl: ModuleImpl<any, AnyModuleShape, any>;
+    readonly actions: Record<string, AnySchema>;
+    readonly reducers?: Record<string, unknown>;
+    readonly schemas?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly services?: Record<string, Context.Tag<any, any>>;
+    readonly dev?: ModuleDev;
+};
+type Module<Id extends string, Sh extends AnyModuleShape, Ext extends object = {}, R = never> = ModuleDefBase<Id, Sh, Ext> & {
+    readonly _kind: 'Module';
+    readonly impl: ModuleImpl<Id, Sh, R>;
+    readonly withLogic: (logic: ModuleLogic<Sh, any, any>, options?: LogicUnitOptions) => Module<Id, Sh, Ext, R>;
+    readonly withLogics: (...inputs: ReadonlyArray<MountInput<Sh>>) => Module<Id, Sh, Ext, R>;
+    readonly withLayer: (layer: Layer.Layer<any, never, any>) => Module<Id, Sh, Ext, R>;
+    readonly withLayers: (...layers: ReadonlyArray<Layer.Layer<any, never, any>>) => Module<Id, Sh, Ext, R>;
+};
+type ModuleDef<Id extends string, Sh extends AnyModuleShape, Ext extends object = {}> = ModuleDefBase<Id, Sh, Ext> & {
+    readonly _kind: 'ModuleDef';
+    readonly implement: <R = never>(config: {
+        readonly initial: StateOf<Sh>;
+        readonly logics?: Array<ModuleLogic<Sh, R, any>>;
+        readonly imports?: ReadonlyArray<Layer.Layer<any, any, any> | ModuleImpl<any, AnyModuleShape, any>>;
+        readonly processes?: ReadonlyArray<Effect.Effect<void, any, any>>;
+        readonly stateTransaction?: ModuleImplementStateTransactionOptions;
+    }) => Module<Id, Sh, Ext, R>;
+};
+declare const is: (value: unknown) => value is ModuleDefBase;
+declare const hasImpl: (value: unknown) => value is AnyModule;
+declare const unwrapTag: <Id extends string, Sh extends AnyModuleShape>(module: ModuleLike<Id, Sh, any>) => ModuleTag<Id, Sh>;
+declare const unwrapImpl: <Id extends string, Sh extends AnyModuleShape>(module: AnyModule & {
+    readonly id: Id;
+    readonly tag: ModuleTag<Id, Sh>;
+}) => ModuleImpl<Id, Sh, any>;
+declare const descriptor: (module: ModuleDefBase<string, AnyModuleShape, any>, runtime: ModuleRuntime<any, any>) => ModuleDescriptor;
+type MountInput<Sh extends AnyModuleShape> = ModuleLogic<Sh, any, any> | readonly [ModuleLogic<Sh, any, any>, LogicUnitOptions];
+type MakeDef<Id extends string, SSchema extends AnySchema, AMap extends ActionDefs> = {
+    readonly state: SSchema;
+    readonly actions: AMap;
+    readonly reducers?: ReducersFromMap<SSchema, NoInfer_<AMap>>;
+    readonly immerReducers?: MutatorsFromMap<SSchema, NoInfer_<AMap>>;
+    readonly effects?: EffectsFromMap<NoInfer_<AMap>>;
+    readonly traits?: unknown;
+    readonly schemas?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly services?: Record<string, Context.Tag<any, any>>;
+    readonly dev?: ModuleDev;
+};
+type AnyActionMap = ActionDefs;
+type EmptyActionMap = Record<never, never>;
+type PayloadOfActionDef<V> = V extends Schema.Schema<any, any, any> ? Schema.Schema.Type<V> : V extends ActionToken<any, infer P, any> ? P : never;
+type DeclaredEffectHandler<Payload> = ($: unknown, payload: Payload) => Effect.Effect<void, any, any>;
+type EffectsFromMap<M extends AnyActionMap> = {
+    readonly [K in keyof M]?: ReadonlyArray<DeclaredEffectHandler<PayloadOfActionDef<M[K]>>>;
+};
+type MergeActionMap<Base extends AnyActionMap, Ext extends AnyActionMap> = {
+    readonly [K in keyof Base | keyof Ext]: K extends keyof Ext ? Ext[K] : K extends keyof Base ? Base[K] : never;
+};
+/**
+ * Module.make "app-side extension/override" parameters (a two-stage responsibility split: domain library author → app developer).
+ *
+ * - `actions`: add-only (cannot override existing action schema); used to extend actionMap.
+ * - `reducers`: add and override; used to override domain reducers or provide reducers for new actions.
+ * - Other reflective fields (schemas/meta/services/dev) are shallow-merged (last-write-wins).
+ */
+type MakeExtendDef<SSchema extends AnySchema, BaseActions extends AnyActionMap, ExtActions extends AnyActionMap = EmptyActionMap> = {
+    readonly actions?: ExtActions;
+    readonly reducers?: ReducersFromMap<SSchema, MergeActionMap<BaseActions, ExtActions>>;
+    readonly immerReducers?: MutatorsFromMap<SSchema, MergeActionMap<BaseActions, ExtActions>>;
+    readonly effects?: EffectsFromMap<MergeActionMap<BaseActions, ExtActions>>;
+    readonly schemas?: Record<string, unknown>;
+    readonly meta?: Record<string, unknown>;
+    readonly services?: Record<string, Context.Tag<any, any>>;
+    readonly dev?: ModuleDev;
+};
+declare const Reducer: {
+    mutate: <S, A extends {
+        readonly payload?: any;
+    }>(mutator: (draft: Draft<S>, payload: A["payload"]) => void) => ((state: S, action: A, sink?: (path: string | FieldPath) => void) => S);
+    mutateMap: <R extends Readonly<Record<string, ((state: any, action: any, sink?: (path: string | FieldPath) => void) => any) | undefined>>>(mutators: { readonly [K in keyof [R][R extends any ? 0 : never]]?: (draft: Draft<Parameters<NonNullable<[R][R extends any ? 0 : never][K]>>[0]>, payload: Parameters<NonNullable<[R][R extends any ? 0 : never][K]>>[1] extends {
+        readonly payload: infer P;
+    } ? P : Parameters<NonNullable<[R][R extends any ? 0 : never][K]>>[1] extends {
+        readonly payload?: infer P;
+    } ? P | undefined : never) => void; }) => R;
+};
+type Shape<S extends AnySchema, M extends ActionDefs> = ModuleShape<S, Schema.Schema<ActionsFromMap<NormalizedActionTokens<M>>>, NormalizedActionTokens<M>>;
+declare function make<Id extends string, SSchema extends AnySchema, AMap extends ActionDefs, Ext extends object = {}>(id: Id, def: MakeDef<Id, SSchema, AMap>): ModuleDef<Id, ModuleShape<SSchema, Schema.Schema<ActionsFromMap<NormalizedActionTokens<AMap>>>, NormalizedActionTokens<AMap>>, Ext>;
+declare function make<Id extends string, SSchema extends AnySchema, AMap extends ActionDefs, Ext extends object = {}, ExtActions extends ActionDefs = EmptyActionMap>(id: Id, def: MakeDef<Id, SSchema, AMap>, extend: MakeExtendDef<SSchema, NoInfer_<AMap>, ExtActions>): ModuleDef<Id, ModuleShape<SSchema, Schema.Schema<ActionsFromMap<NormalizedActionTokens<MergeActionMap<AMap, ExtActions>>>>, NormalizedActionTokens<MergeActionMap<AMap, ExtActions>>>, Ext>;
+declare const Manage: {
+    readonly make: <D extends (...args: any[]) => AnyModule>(config: {
+        readonly kind?: string;
+        readonly define: D;
+    }) => {
+        readonly kind?: string;
+        readonly make: D;
+    };
+};
+
+declare const Module$1_ActionOf: typeof ActionOf;
+declare const Module$1_ActionsFromMap: typeof ActionsFromMap;
+type Module$1_AnyModule = AnyModule;
+declare const Module$1_AnyModuleShape: typeof AnyModuleShape;
+declare const Module$1_AnySchema: typeof AnySchema;
+declare const Module$1_BoundApi: typeof BoundApi;
+type Module$1_DevSource = DevSource;
+type Module$1_HandleExtendFn<Sh extends AnyModuleShape, Ext extends object> = HandleExtendFn<Sh, Ext>;
+type Module$1_LogicUnitOptions = LogicUnitOptions;
+type Module$1_MakeExtendDef<SSchema extends AnySchema, BaseActions extends AnyActionMap, ExtActions extends AnyActionMap = EmptyActionMap> = MakeExtendDef<SSchema, BaseActions, ExtActions>;
+declare const Module$1_Manage: typeof Manage;
+type Module$1_Module<Id extends string, Sh extends AnyModuleShape, Ext extends object = {}, R = never> = Module<Id, Sh, Ext, R>;
+type Module$1_ModuleDef<Id extends string, Sh extends AnyModuleShape, Ext extends object = {}> = ModuleDef<Id, Sh, Ext>;
+type Module$1_ModuleDescriptor = ModuleDescriptor;
+type Module$1_ModuleDev = ModuleDev;
+declare const Module$1_ModuleHandle: typeof ModuleHandle;
+declare const Module$1_ModuleImpl: typeof ModuleImpl;
+declare const Module$1_ModuleLogic: typeof ModuleLogic;
+declare const Module$1_ModuleRuntime: typeof ModuleRuntime;
+declare const Module$1_ModuleShape: typeof ModuleShape;
+declare const Module$1_ModuleTag: typeof ModuleTag;
+type Module$1_MountedLogicUnitSummary = MountedLogicUnitSummary;
+declare const Module$1_MutatorsFromMap: typeof MutatorsFromMap;
+declare const Module$1_Reducer: typeof Reducer;
+declare const Module$1_ReducersFromMap: typeof ReducersFromMap;
+type Module$1_Shape<S extends AnySchema, M extends ActionDefs> = Shape<S, M>;
+declare const Module$1_StateChangeWithMeta: typeof StateChangeWithMeta;
+declare const Module$1_StateCommitMeta: typeof StateCommitMeta;
+declare const Module$1_StateCommitMode: typeof StateCommitMode;
+declare const Module$1_StateCommitPriority: typeof StateCommitPriority;
+declare const Module$1_StateOf: typeof StateOf;
+declare const Module$1_descriptor: typeof descriptor;
+declare const Module$1_hasImpl: typeof hasImpl;
+declare const Module$1_is: typeof is;
+declare const Module$1_make: typeof make;
+declare const Module$1_unwrapImpl: typeof unwrapImpl;
+declare const Module$1_unwrapTag: typeof unwrapTag;
+declare namespace Module$1 {
+  export { Module$1_ActionOf as ActionOf, Module$1_ActionsFromMap as ActionsFromMap, type Module$1_AnyModule as AnyModule, Module$1_AnyModuleShape as AnyModuleShape, Module$1_AnySchema as AnySchema, Module$1_BoundApi as BoundApi, type Module$1_DevSource as DevSource, type Module$1_HandleExtendFn as HandleExtendFn, type Module$1_LogicUnitOptions as LogicUnitOptions, type Module$1_MakeExtendDef as MakeExtendDef, Module$1_Manage as Manage, type Module$1_Module as Module, type Module$1_ModuleDef as ModuleDef, type Module$1_ModuleDescriptor as ModuleDescriptor, type Module$1_ModuleDev as ModuleDev, Module$1_ModuleHandle as ModuleHandle, Module$1_ModuleImpl as ModuleImpl, Module$1_ModuleLogic as ModuleLogic, Module$1_ModuleRuntime as ModuleRuntime, Module$1_ModuleShape as ModuleShape, Module$1_ModuleTag as ModuleTag, type Module$1_MountedLogicUnitSummary as MountedLogicUnitSummary, Module$1_MutatorsFromMap as MutatorsFromMap, Module$1_Reducer as Reducer, Module$1_ReducersFromMap as ReducersFromMap, type Module$1_Shape as Shape, Module$1_StateChangeWithMeta as StateChangeWithMeta, Module$1_StateCommitMeta as StateCommitMeta, Module$1_StateCommitMode as StateCommitMode, Module$1_StateCommitPriority as StateCommitPriority, Module$1_StateOf as StateOf, Module$1_descriptor as descriptor, Module$1_hasImpl as hasImpl, Module$1_is as is, Module$1_make as make, Module$1_unwrapImpl as unwrapImpl, Module$1_unwrapTag as unwrapTag };
+}
+
+export { type AnyModule as A, type DevSource as D, type HandleExtendFn as H, type LogicUnitOptions as L, Module$1 as M, Reducer as R, type Shape as S, type ModuleDev as a, type MountedLogicUnitSummary as b, type ModuleDescriptor as c, type ModuleDef as d, unwrapImpl as e, descriptor as f, type MakeExtendDef as g, hasImpl as h, is as i, Manage as j, type Module as k, make as m, unwrapTag as u };