tsdkarc 1.2.0 → 1.2.2

package/esm/index.d.ts

@@ -3,7 +3,7 @@
  *
  * Minimal module lifecycle manager.
  *
- * Exports: Module, defineModule, ContextWriter, Logger, LifecycleHooks, StartOptions, start.
+ * Exports: Module, defineModule, ContextWriter, LifecycleHooks, StartOptions, start.
  *
  * Type helpers (internal):
  *   UnionToIntersection<U>  — U1 | U2 | U3  →  U1 & U2 & U3
@@ -61,24 +61,14 @@ export interface LifecycleHooks<S extends object = Record<never, never>> {
     /** Called once after the last module has finished shutting down. */
     afterShutdown?(ctx: ContextWriter<S>): Promise<void> | void;
     /** Called before each individual module boots, in boot order. */
-    beforeEachBoot?(ctx: ContextWriter<S>, 
-    /** The module about to boot. */
-    module: Module<any>): Promise<void> | void;
+    beforeEachBoot?(ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
     /** Called after each individual module finishes booting, in boot order. */
-    afterEachBoot?(ctx: ContextWriter<S>, 
-    /** The module that just finished booting. */
-    module: Module<any>): Promise<void> | void;
+    afterEachBoot?(ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
     /** Called before each individual module shuts down, in shutdown order. */
-    beforeEachShutdown?(ctx: ContextWriter<S>, 
-    /** The module about to shut down. */
-    module: Module<any>): Promise<void> | void;
+    beforeEachShutdown?(ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
     /** Called after each individual module finishes shutting down, in shutdown order. */
-    afterEachShutdown?(ctx: ContextWriter<S>, 
-    /** The module that just finished shutting down. */
-    module: Module<any>): Promise<void> | void;
-    onError?(error: Error, ctx: ContextWriter<S>, 
-    /** The module that just finished shutting down. */
-    module: Module<any>): Promise<void> | void;
+    afterEachShutdown?(ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
+    onError?(error: Error, ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
 }
 /**
  * Module<S, Sl>
@@ -102,64 +92,38 @@ export interface Module<S extends object, Sl extends object = S> {
     afterShutdown?(ctx: ContextWriter<S, Sl>): Promise<void> | void;
 }
 /**
-
-type AContext = {
-  value: string;
-};
-
-export const moduleA = defineModule<AContext>()({
-  name: "A",
-  modules: [] as const,
-  boot: () => ({ value: "module:A" }),
-  async shutdown(ctx) {
-    console.log(`shutdown ${ctx.value}`);
-  },
-});
-// Get context type by module
-type AContext2 = ContextOf<typeof moduleA> // same as above `AContext`
+ * Extracts the full context type from a module.
+ *
+ * @example
+ * type AContext = ContextOf<typeof moduleA> // { value: string }
  */
 export type ContextOf<M> = M extends Module<infer Full, any> ? {
     [K in keyof Full]: Full[K];
 } : never;
-/** Get context writter type by typeof module*/
+/** Get ContextWriter type by typeof module. */
 export type ContextWriterOf<M> = ContextWriter<M extends Module<any, infer Ctx> ? Ctx : never>;
-/** Get context writter's `set` type by typeof module*/
-export type ContextSetOf<M> = ContextWriter<M extends Module<any, infer Ctx> ? Ctx : never>['set'];
+/** Get the `set` function type from a module's ContextWriter. */
+export type SetOf<M> = ContextWriterOf<M>["set"];
 /**
- * Define a module with full context inferred from its dependency tuple.
- *
- * OwnSlice first — pass only what this module contributes:
- *   defineModule<AuthSlice>()({ modules: [db, redis] as const, ... })
- *
- * Deps is inferred from modules — no need to pass it explicitly.
- * Omit OwnSlice entirely if this module contributes nothing to context:
- *   defineModule()({ modules: [db] as const, ... })
- *
- * Inside boot/shutdown:
- *   ctx.db           — read dep directly (Readonly<S>)
- *   ctx.set('auth')  — write own slice only
- *
- * @param def  module definition
- */
-/**
- * Extracts the non-void return type of a boot function.
- * Returns Record<never, never> when boot is absent or returns void.
+ * Errors if U has any key not in T by mapping extra keys to never.
  */
-type BootReturn<T> = T extends (...args: any[]) => Promise<infer R> ? Exclude<R, void> extends never ? Record<never, never> : Exclude<R, void> : T extends (...args: any[]) => infer R ? Exclude<R, void> extends never ? Record<never, never> : Exclude<R, void> : Record<never, never>;
+type Exact<T, U> = {
+    [K in keyof U]: K extends keyof T ? T[K] : never;
+};
 /**
- * Infers OwnSlice from a def object's boot return type.
- * Falls back to Record<never, never> if no boot or boot returns void.
+ * Produces a readable type error message instead of `never`.
+ * Msg appears directly in the IDE error output.
  */
-type InferredOwnSlice<Def> = Def extends {
-    boot: infer B;
-} ? BootReturn<B> : Record<never, never>;
+type TypeError<Msg extends string> = {
+    readonly __error__: Msg;
+};
 /**
- * Infers the Deps tuple from a def object's modules field.
- * Falls back to [] if modules is absent.
+ * Errors if OwnSlice declares a key that already exists in DepCtx.
+ * Overlapping keys show a readable message instead of `never`.
  */
-type InferredDeps<Def> = Def extends {
-    modules: infer M;
-} ? M extends readonly AnyModule[] ? M : [] : [];
+type NoOverlap<DepCtx, OwnSlice> = {
+    [K in keyof OwnSlice]: K extends keyof DepCtx ? TypeError<`Key "${K & string}" is already owned by a dependency module`> : OwnSlice[K];
+};
 /**
  * Module def shape when OwnSlice is explicitly provided.
  */
@@ -175,24 +139,36 @@ type ModuleDef<Deps extends readonly AnyModule[], OwnSlice extends object, R ext
     afterShutdown?(ctx: ContextWriter<FullContext<Deps, OwnSlice>, OwnSlice>): Promise<void> | void;
 };
 /**
- * Loose module def shape used when OwnSlice is inferred.
+ * Module def shape when OwnSlice is inferred from boot's return type.
  *
- * modules is typed as readonly AnyModule[] so TypeScript preserves the literal
- * tuple — Deps is extracted post-hoc via InferredDeps<Def>, not constrained here.
+ * Deps and Slice are independent generics — TypeScript infers Deps from the
+ * `modules` field and Slice from boot's return value in a single pass, with
+ * no mutual dependency between them.
  *
- * boot returns `any` intentionally — Exact<object, R> would collapse every
- * property to never if we used `object`. Enforcement is on the output Module<>.
+ * Hook ctx types:
+ *   boot      — ContextWriter<MergeSlices<Deps>>  (dep context only)
+ *               boot produces Slice, so Slice cannot appear in its own param
+ *               type without creating a cycle that collapses ctx to `any`.
+ *   all other — ContextWriter<FullContext<Deps, Slice>, Slice>
+ *               these run after boot has written Slice into context, so the
+ *               full context including own slice is available and safe to type.
  */
-type ModuleDefLoose = {
+type ModuleDefInfer<Deps extends readonly AnyModule[], Slice extends Record<string, unknown>> = {
     name: string;
     description?: string;
-    modules?: readonly AnyModule[];
-    boot?(ctx: ContextWriter<any, any>): any;
-    shutdown?(ctx: ContextWriter<any, any>): Promise<void> | void;
-    beforeBoot?(ctx: ContextWriter<any, any>): Promise<void> | void;
-    afterBoot?(ctx: ContextWriter<any, any>): Promise<void> | void;
-    beforeShutdown?(ctx: ContextWriter<any, any>): Promise<void> | void;
-    afterShutdown?(ctx: ContextWriter<any, any>): Promise<void> | void;
+    modules?: Deps;
+    /** ctx = dep context only — own slice not available (produced by this function). */
+    boot?(ctx: ContextWriter<MergeSlices<Deps>, MergeSlices<Deps>>): void | Promise<void> | Slice | Promise<Slice>;
+    /** ctx = full context including own slice — runs after boot. */
+    shutdown?(ctx: ContextWriter<FullContext<Deps, Slice>, Slice>): Promise<void> | void;
+    /** ctx = dep context only — runs before boot. */
+    beforeBoot?(ctx: ContextWriter<MergeSlices<Deps>, MergeSlices<Deps>>): Promise<void> | void;
+    /** ctx = full context including own slice — runs after boot. */
+    afterBoot?(ctx: ContextWriter<FullContext<Deps, Slice>, Slice>): Promise<void> | void;
+    /** ctx = full context including own slice — runs after boot. */
+    beforeShutdown?(ctx: ContextWriter<FullContext<Deps, Slice>, Slice>): Promise<void> | void;
+    /** ctx = full context including own slice — runs after boot. */
+    afterShutdown?(ctx: ContextWriter<FullContext<Deps, Slice>, Slice>): Promise<void> | void;
 };
 /**
  * Sentinel type used to detect whether OwnSlice was explicitly supplied.
@@ -205,48 +181,34 @@ type Infer = typeof INFER;
  * Selects the inner function signature based on whether OwnSlice was supplied.
  *
  * OwnSlice = Infer (no type arg given):
- *   Captures the whole def as const Def, extracts both Deps and OwnSlice
- *   from the def object post-hoc via InferredDeps<Def> and InferredOwnSlice<Def>.
+ *   Deps is inferred from `modules`. Slice is inferred from boot's return.
+ *   Both are independent generics — no cycle, no `any`.
+ *   boot ctx = dep context only (cycle prevention).
+ *   all other hook ctx = full context including own slice.
  *
  * OwnSlice = explicit type:
  *   Enforces boot return against the supplied OwnSlice via Exact/NoOverlap.
+ *   Unchanged from original — no regression.
  */
-type DefineModuleInner<OwnSlice> = OwnSlice extends Infer ? <const Def extends ModuleDefLoose>(def: Def) => Module<FullContext<InferredDeps<Def>, Exclude<InferredOwnSlice<Def>, void>>, Exclude<InferredOwnSlice<Def>, void>> : OwnSlice extends object ? <const Deps extends readonly AnyModule[], R extends NoOverlap<MergeSlices<Deps>, OwnSlice>>(def: ModuleDef<Deps, OwnSlice, R>) => Module<FullContext<Deps, OwnSlice>, OwnSlice> : never;
+type DefineModuleInner<OwnSlice> = OwnSlice extends Infer ? <const Deps extends readonly AnyModule[], Slice extends Record<string, unknown> = Record<never, never>>(def: ModuleDefInfer<Deps, Slice>) => Module<FullContext<Deps, Slice>, Slice> : OwnSlice extends object ? <const Deps extends readonly AnyModule[], R extends NoOverlap<MergeSlices<Deps>, OwnSlice>>(def: ModuleDef<Deps, OwnSlice, R>) => Module<FullContext<Deps, OwnSlice>, OwnSlice> : never;
 /**
  * Defines a module with optional dependency wiring and lifecycle hooks.
  *
  * Explicit OwnSlice — boot return is enforced against the supplied type:
  *   defineModule<{ count: number }>()({ name: "counter", boot: () => ({ count: 0 }) })
  *
- * Inferred OwnSlice — OwnSlice is derived from boot's non-void return type,
- * and FullContext includes all dep module contexts via InferredDeps:
- *   defineModule()({ name: "C", modules: [A, B] as const, boot: () => ({ c: 1 }) })
- *   // Module<ContextOf<A> & ContextOf<B> & { c: number }, { c: number }>
+ * Inferred OwnSlice — Deps inferred from modules, OwnSlice inferred from boot return.
+ * ctx types per hook:
+ *   boot        — dep context only (own slice is being produced here, not available yet)
+ *   shutdown    — full context including own slice
+ *   beforeBoot  — dep context only (own slice not yet written)
+ *   afterBoot   — full context including own slice
+ *   beforeShutdown / afterShutdown — full context including own slice
  *
  * Void / absent boot — OwnSlice becomes Record<never, never>:
  *   defineModule()({ name: "logger", boot: () => { console.log("up") } })
  */
 export declare function defineModule<OwnSlice = Infer>(): DefineModuleInner<OwnSlice>;
-/**
- * Errors if U has any key not in T by mapping extra keys to never.
- */
-type Exact<T, U> = {
-    [K in keyof U]: K extends keyof T ? T[K] : never;
-};
-/**
- * Produces a readable type error message instead of `never`.
- * Msg appears directly in the IDE error output.
- */
-type TypeError<Msg extends string> = {
-    readonly __error__: Msg;
-};
-/**
- * Errors if OwnSlice declares a key that already exists in DepCtx.
- * Overlapping keys show a readable message instead of `never`.
- */
-type NoOverlap<DepCtx, OwnSlice> = {
-    [K in keyof OwnSlice]: K extends keyof DepCtx ? TypeError<`Key "${K & string}" is already owned by a dependency module`> : OwnSlice[K];
-};
 /**
  * Options for start(). Flat intersection — no nesting required:
  *   start([db], { log, afterBoot: async (ctx) => ... })

package/esm/index.js

@@ -3,7 +3,7 @@
  *
  * Minimal module lifecycle manager.
  *
- * Exports: Module, defineModule, ContextWriter, Logger, LifecycleHooks, StartOptions, start.
+ * Exports: Module, defineModule, ContextWriter, LifecycleHooks, StartOptions, start.
  *
  * Type helpers (internal):
  *   UnionToIntersection<U>  — U1 | U2 | U3  →  U1 & U2 & U3
@@ -29,10 +29,13 @@ var __awaiter = (this && this.__awaiter) || function (thisArg, _arguments, P, ge
  * Explicit OwnSlice — boot return is enforced against the supplied type:
  *   defineModule<{ count: number }>()({ name: "counter", boot: () => ({ count: 0 }) })
  *
- * Inferred OwnSlice — OwnSlice is derived from boot's non-void return type,
- * and FullContext includes all dep module contexts via InferredDeps:
- *   defineModule()({ name: "C", modules: [A, B] as const, boot: () => ({ c: 1 }) })
- *   // Module<ContextOf<A> & ContextOf<B> & { c: number }, { c: number }>
+ * Inferred OwnSlice — Deps inferred from modules, OwnSlice inferred from boot return.
+ * ctx types per hook:
+ *   boot        — dep context only (own slice is being produced here, not available yet)
+ *   shutdown    — full context including own slice
+ *   beforeBoot  — dep context only (own slice not yet written)
+ *   afterBoot   — full context including own slice
+ *   beforeShutdown / afterShutdown — full context including own slice
  *
  * Void / absent boot — OwnSlice becomes Record<never, never>:
  *   defineModule()({ name: "logger", boot: () => { console.log("up") } })

package/esm/tsconfig.esm.tsbuildinfo

@@ -1 +1 @@
-{"fileNames":["../node_modules/typescript/lib/lib.es5.d.ts","../node_modules/typescript/lib/lib.es2015.d.ts","../node_modules/typescript/lib/lib.dom.d.ts","../node_modules/typescript/lib/lib.es2015.core.d.ts","../node_modules/typescript/lib/lib.es2015.collection.d.ts","../node_modules/typescript/lib/lib.es2015.generator.d.ts","../node_modules/typescript/lib/lib.es2015.iterable.d.ts","../node_modules/typescript/lib/lib.es2015.promise.d.ts","../node_modules/typescript/lib/lib.es2015.proxy.d.ts","../node_modules/typescript/lib/lib.es2015.reflect.d.ts","../node_modules/typescript/lib/lib.es2015.symbol.d.ts","../node_modules/typescript/lib/lib.es2015.symbol.wellknown.d.ts","../node_modules/typescript/lib/lib.decorators.d.ts","../node_modules/typescript/lib/lib.decorators.legacy.d.ts","../src/index.ts","../node_modules/@types/deep-eql/index.d.ts","../node_modules/assertion-error/index.d.ts","../node_modules/@types/chai/index.d.ts","../node_modules/@types/estree/index.d.ts"],"fileIdsList":[[16,17]],"fileInfos":[{"version":"c430d44666289dae81f30fa7b2edebf186ecc91a2d4c71266ea6ae76388792e1","affectsGlobalScope":true,"impliedFormat":1},{"version":"45b7ab580deca34ae9729e97c13cfd999df04416a79116c3bfb483804f85ded4","impliedFormat":1},{"version":"080941d9f9ff9307f7e27a83bcd888b7c8270716c39af943532438932ec1d0b9","affectsGlobalScope":true,"impliedFormat":1},{"version":"c57796738e7f83dbc4b8e65132f11a377649c00dd3eee333f672b8f0a6bea671","affectsGlobalScope":true,"impliedFormat":1},{"version":"dc2df20b1bcdc8c2d34af4926e2c3ab15ffe1160a63e58b7e09833f616efff44","affectsGlobalScope":true,"impliedFormat":1},{"version":"515d0b7b9bea2e31ea4ec968e9edd2c39d3eebf4a2d5cbd04e88639819ae3b71","affectsGlobalScope":true,"impliedFormat":1},{"version":"0559b1f683ac7505ae451f9a96ce4c3c92bdc71411651ca6ddb0e88baaaad6a3","affectsGlobalScope":true,"impliedFormat":1},{"version":"0dc1e7ceda9b8b9b455c3a2d67b0412feab00bd2f66656cd8850e8831b08b537","affectsGlobalScope":true,"impliedFormat":1},{"version":"ce691fb9e5c64efb9547083e4a34091bcbe5bdb41027e310ebba8f7d96a98671","affectsGlobalScope":true,"impliedFormat":1},{"version":"8d697a2a929a5fcb38b7a65594020fcef05ec1630804a33748829c5ff53640d0","affectsGlobalScope":true,"impliedFormat":1},{"version":"4ff2a353abf8a80ee399af572debb8faab2d33ad38c4b4474cff7f26e7653b8d","affectsGlobalScope":true,"impliedFormat":1},{"version":"fb0f136d372979348d59b3f5020b4cdb81b5504192b1cacff5d1fbba29378aa1","affectsGlobalScope":true,"impliedFormat":1},{"version":"8e7f8264d0fb4c5339605a15daadb037bf238c10b654bb3eee14208f860a32ea","affectsGlobalScope":true,"impliedFormat":1},{"version":"782dec38049b92d4e85c1585fbea5474a219c6984a35b004963b00beb1aab538","affectsGlobalScope":true,"impliedFormat":1},{"version":"dc1e8f6c60e1772cd804d39523944b7c8e2f5e843cfed2bdc80670e99a459ab4","signature":"fe902df7306c6cdfbb631ee5fd2ae6ddc1d97e5834d91dd6107f07244cc8f45d"},{"version":"427fe2004642504828c1476d0af4270e6ad4db6de78c0b5da3e4c5ca95052a99","impliedFormat":1},{"version":"2eeffcee5c1661ddca53353929558037b8cf305ffb86a803512982f99bcab50d","impliedFormat":99},{"version":"9afb4cb864d297e4092a79ee2871b5d3143ea14153f62ef0bb04ede25f432030","affectsGlobalScope":true,"impliedFormat":99},{"version":"151ff381ef9ff8da2da9b9663ebf657eac35c4c9a19183420c05728f31a6761d","impliedFormat":1}],"root":[15],"options":{"declaration":true,"downlevelIteration":true,"emitDecoratorMetadata":true,"esModuleInterop":true,"experimentalDecorators":true,"module":5,"noImplicitAny":true,"outDir":"./","skipLibCheck":true,"strict":true,"strictPropertyInitialization":false,"target":2},"referencedMap":[[18,1]],"version":"5.9.3"}
+{"fileNames":["../node_modules/typescript/lib/lib.es5.d.ts","../node_modules/typescript/lib/lib.es2015.d.ts","../node_modules/typescript/lib/lib.dom.d.ts","../node_modules/typescript/lib/lib.es2015.core.d.ts","../node_modules/typescript/lib/lib.es2015.collection.d.ts","../node_modules/typescript/lib/lib.es2015.generator.d.ts","../node_modules/typescript/lib/lib.es2015.iterable.d.ts","../node_modules/typescript/lib/lib.es2015.promise.d.ts","../node_modules/typescript/lib/lib.es2015.proxy.d.ts","../node_modules/typescript/lib/lib.es2015.reflect.d.ts","../node_modules/typescript/lib/lib.es2015.symbol.d.ts","../node_modules/typescript/lib/lib.es2015.symbol.wellknown.d.ts","../node_modules/typescript/lib/lib.decorators.d.ts","../node_modules/typescript/lib/lib.decorators.legacy.d.ts","../src/index.ts","../node_modules/@types/deep-eql/index.d.ts","../node_modules/assertion-error/index.d.ts","../node_modules/@types/chai/index.d.ts","../node_modules/@types/estree/index.d.ts"],"fileIdsList":[[16,17]],"fileInfos":[{"version":"c430d44666289dae81f30fa7b2edebf186ecc91a2d4c71266ea6ae76388792e1","affectsGlobalScope":true,"impliedFormat":1},{"version":"45b7ab580deca34ae9729e97c13cfd999df04416a79116c3bfb483804f85ded4","impliedFormat":1},{"version":"080941d9f9ff9307f7e27a83bcd888b7c8270716c39af943532438932ec1d0b9","affectsGlobalScope":true,"impliedFormat":1},{"version":"c57796738e7f83dbc4b8e65132f11a377649c00dd3eee333f672b8f0a6bea671","affectsGlobalScope":true,"impliedFormat":1},{"version":"dc2df20b1bcdc8c2d34af4926e2c3ab15ffe1160a63e58b7e09833f616efff44","affectsGlobalScope":true,"impliedFormat":1},{"version":"515d0b7b9bea2e31ea4ec968e9edd2c39d3eebf4a2d5cbd04e88639819ae3b71","affectsGlobalScope":true,"impliedFormat":1},{"version":"0559b1f683ac7505ae451f9a96ce4c3c92bdc71411651ca6ddb0e88baaaad6a3","affectsGlobalScope":true,"impliedFormat":1},{"version":"0dc1e7ceda9b8b9b455c3a2d67b0412feab00bd2f66656cd8850e8831b08b537","affectsGlobalScope":true,"impliedFormat":1},{"version":"ce691fb9e5c64efb9547083e4a34091bcbe5bdb41027e310ebba8f7d96a98671","affectsGlobalScope":true,"impliedFormat":1},{"version":"8d697a2a929a5fcb38b7a65594020fcef05ec1630804a33748829c5ff53640d0","affectsGlobalScope":true,"impliedFormat":1},{"version":"4ff2a353abf8a80ee399af572debb8faab2d33ad38c4b4474cff7f26e7653b8d","affectsGlobalScope":true,"impliedFormat":1},{"version":"fb0f136d372979348d59b3f5020b4cdb81b5504192b1cacff5d1fbba29378aa1","affectsGlobalScope":true,"impliedFormat":1},{"version":"8e7f8264d0fb4c5339605a15daadb037bf238c10b654bb3eee14208f860a32ea","affectsGlobalScope":true,"impliedFormat":1},{"version":"782dec38049b92d4e85c1585fbea5474a219c6984a35b004963b00beb1aab538","affectsGlobalScope":true,"impliedFormat":1},{"version":"c855ee070a85ffc84384d7aef265f2b6b6c1ccf6999d69a97940f35cdad9da0b","signature":"671fb5916c01ae3e4bb091627db88d76ce1cebbd493f4855a9d85079774f382a"},{"version":"427fe2004642504828c1476d0af4270e6ad4db6de78c0b5da3e4c5ca95052a99","impliedFormat":1},{"version":"2eeffcee5c1661ddca53353929558037b8cf305ffb86a803512982f99bcab50d","impliedFormat":99},{"version":"9afb4cb864d297e4092a79ee2871b5d3143ea14153f62ef0bb04ede25f432030","affectsGlobalScope":true,"impliedFormat":99},{"version":"151ff381ef9ff8da2da9b9663ebf657eac35c4c9a19183420c05728f31a6761d","impliedFormat":1}],"root":[15],"options":{"declaration":true,"downlevelIteration":true,"emitDecoratorMetadata":true,"esModuleInterop":true,"experimentalDecorators":true,"module":5,"noImplicitAny":true,"outDir":"./","skipLibCheck":true,"strict":true,"strictPropertyInitialization":false,"target":2},"referencedMap":[[18,1]],"version":"5.9.3"}

package/lib/index.d.ts

@@ -3,7 +3,7 @@
  *
  * Minimal module lifecycle manager.
  *
- * Exports: Module, defineModule, ContextWriter, Logger, LifecycleHooks, StartOptions, start.
+ * Exports: Module, defineModule, ContextWriter, LifecycleHooks, StartOptions, start.
  *
  * Type helpers (internal):
  *   UnionToIntersection<U>  — U1 | U2 | U3  →  U1 & U2 & U3
@@ -61,24 +61,14 @@ export interface LifecycleHooks<S extends object = Record<never, never>> {
     /** Called once after the last module has finished shutting down. */
     afterShutdown?(ctx: ContextWriter<S>): Promise<void> | void;
     /** Called before each individual module boots, in boot order. */
-    beforeEachBoot?(ctx: ContextWriter<S>, 
-    /** The module about to boot. */
-    module: Module<any>): Promise<void> | void;
+    beforeEachBoot?(ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
     /** Called after each individual module finishes booting, in boot order. */
-    afterEachBoot?(ctx: ContextWriter<S>, 
-    /** The module that just finished booting. */
-    module: Module<any>): Promise<void> | void;
+    afterEachBoot?(ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
     /** Called before each individual module shuts down, in shutdown order. */
-    beforeEachShutdown?(ctx: ContextWriter<S>, 
-    /** The module about to shut down. */
-    module: Module<any>): Promise<void> | void;
+    beforeEachShutdown?(ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
     /** Called after each individual module finishes shutting down, in shutdown order. */
-    afterEachShutdown?(ctx: ContextWriter<S>, 
-    /** The module that just finished shutting down. */
-    module: Module<any>): Promise<void> | void;
-    onError?(error: Error, ctx: ContextWriter<S>, 
-    /** The module that just finished shutting down. */
-    module: Module<any>): Promise<void> | void;
+    afterEachShutdown?(ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
+    onError?(error: Error, ctx: ContextWriter<S>, module: Module<any>): Promise<void> | void;
 }
 /**
  * Module<S, Sl>
@@ -102,64 +92,38 @@ export interface Module<S extends object, Sl extends object = S> {
     afterShutdown?(ctx: ContextWriter<S, Sl>): Promise<void> | void;
 }
 /**
-
-type AContext = {
-  value: string;
-};
-
-export const moduleA = defineModule<AContext>()({
-  name: "A",
-  modules: [] as const,
-  boot: () => ({ value: "module:A" }),
-  async shutdown(ctx) {
-    console.log(`shutdown ${ctx.value}`);
-  },
-});
-// Get context type by module
-type AContext2 = ContextOf<typeof moduleA> // same as above `AContext`
+ * Extracts the full context type from a module.
+ *
+ * @example
+ * type AContext = ContextOf<typeof moduleA> // { value: string }
  */
 export type ContextOf<M> = M extends Module<infer Full, any> ? {
     [K in keyof Full]: Full[K];
 } : never;
-/** Get context writter type by typeof module*/
+/** Get ContextWriter type by typeof module. */
 export type ContextWriterOf<M> = ContextWriter<M extends Module<any, infer Ctx> ? Ctx : never>;
-/** Get context writter's `set` type by typeof module*/
-export type ContextSetOf<M> = ContextWriter<M extends Module<any, infer Ctx> ? Ctx : never>['set'];
+/** Get the `set` function type from a module's ContextWriter. */
+export type SetOf<M> = ContextWriterOf<M>["set"];
 /**
- * Define a module with full context inferred from its dependency tuple.
- *
- * OwnSlice first — pass only what this module contributes:
- *   defineModule<AuthSlice>()({ modules: [db, redis] as const, ... })
- *
- * Deps is inferred from modules — no need to pass it explicitly.
- * Omit OwnSlice entirely if this module contributes nothing to context:
- *   defineModule()({ modules: [db] as const, ... })
- *
- * Inside boot/shutdown:
- *   ctx.db           — read dep directly (Readonly<S>)
- *   ctx.set('auth')  — write own slice only
- *
- * @param def  module definition
- */
-/**
- * Extracts the non-void return type of a boot function.
- * Returns Record<never, never> when boot is absent or returns void.
+ * Errors if U has any key not in T by mapping extra keys to never.
  */
-type BootReturn<T> = T extends (...args: any[]) => Promise<infer R> ? Exclude<R, void> extends never ? Record<never, never> : Exclude<R, void> : T extends (...args: any[]) => infer R ? Exclude<R, void> extends never ? Record<never, never> : Exclude<R, void> : Record<never, never>;
+type Exact<T, U> = {
+    [K in keyof U]: K extends keyof T ? T[K] : never;
+};
 /**
- * Infers OwnSlice from a def object's boot return type.
- * Falls back to Record<never, never> if no boot or boot returns void.
+ * Produces a readable type error message instead of `never`.
+ * Msg appears directly in the IDE error output.
  */
-type InferredOwnSlice<Def> = Def extends {
-    boot: infer B;
-} ? BootReturn<B> : Record<never, never>;
+type TypeError<Msg extends string> = {
+    readonly __error__: Msg;
+};
 /**
- * Infers the Deps tuple from a def object's modules field.
- * Falls back to [] if modules is absent.
+ * Errors if OwnSlice declares a key that already exists in DepCtx.
+ * Overlapping keys show a readable message instead of `never`.
  */
-type InferredDeps<Def> = Def extends {
-    modules: infer M;
-} ? M extends readonly AnyModule[] ? M : [] : [];
+type NoOverlap<DepCtx, OwnSlice> = {
+    [K in keyof OwnSlice]: K extends keyof DepCtx ? TypeError<`Key "${K & string}" is already owned by a dependency module`> : OwnSlice[K];
+};
 /**
  * Module def shape when OwnSlice is explicitly provided.
  */
@@ -175,24 +139,36 @@ type ModuleDef<Deps extends readonly AnyModule[], OwnSlice extends object, R ext
     afterShutdown?(ctx: ContextWriter<FullContext<Deps, OwnSlice>, OwnSlice>): Promise<void> | void;
 };
 /**
- * Loose module def shape used when OwnSlice is inferred.
+ * Module def shape when OwnSlice is inferred from boot's return type.
  *
- * modules is typed as readonly AnyModule[] so TypeScript preserves the literal
- * tuple — Deps is extracted post-hoc via InferredDeps<Def>, not constrained here.
+ * Deps and Slice are independent generics — TypeScript infers Deps from the
+ * `modules` field and Slice from boot's return value in a single pass, with
+ * no mutual dependency between them.
  *
- * boot returns `any` intentionally — Exact<object, R> would collapse every
- * property to never if we used `object`. Enforcement is on the output Module<>.
+ * Hook ctx types:
+ *   boot      — ContextWriter<MergeSlices<Deps>>  (dep context only)
+ *               boot produces Slice, so Slice cannot appear in its own param
+ *               type without creating a cycle that collapses ctx to `any`.
+ *   all other — ContextWriter<FullContext<Deps, Slice>, Slice>
+ *               these run after boot has written Slice into context, so the
+ *               full context including own slice is available and safe to type.
  */
-type ModuleDefLoose = {
+type ModuleDefInfer<Deps extends readonly AnyModule[], Slice extends Record<string, unknown>> = {
     name: string;
     description?: string;
-    modules?: readonly AnyModule[];
-    boot?(ctx: ContextWriter<any, any>): any;
-    shutdown?(ctx: ContextWriter<any, any>): Promise<void> | void;
-    beforeBoot?(ctx: ContextWriter<any, any>): Promise<void> | void;
-    afterBoot?(ctx: ContextWriter<any, any>): Promise<void> | void;
-    beforeShutdown?(ctx: ContextWriter<any, any>): Promise<void> | void;
-    afterShutdown?(ctx: ContextWriter<any, any>): Promise<void> | void;
+    modules?: Deps;
+    /** ctx = dep context only — own slice not available (produced by this function). */
+    boot?(ctx: ContextWriter<MergeSlices<Deps>, MergeSlices<Deps>>): void | Promise<void> | Slice | Promise<Slice>;
+    /** ctx = full context including own slice — runs after boot. */
+    shutdown?(ctx: ContextWriter<FullContext<Deps, Slice>, Slice>): Promise<void> | void;
+    /** ctx = dep context only — runs before boot. */
+    beforeBoot?(ctx: ContextWriter<MergeSlices<Deps>, MergeSlices<Deps>>): Promise<void> | void;
+    /** ctx = full context including own slice — runs after boot. */
+    afterBoot?(ctx: ContextWriter<FullContext<Deps, Slice>, Slice>): Promise<void> | void;
+    /** ctx = full context including own slice — runs after boot. */
+    beforeShutdown?(ctx: ContextWriter<FullContext<Deps, Slice>, Slice>): Promise<void> | void;
+    /** ctx = full context including own slice — runs after boot. */
+    afterShutdown?(ctx: ContextWriter<FullContext<Deps, Slice>, Slice>): Promise<void> | void;
 };
 /**
  * Sentinel type used to detect whether OwnSlice was explicitly supplied.
@@ -205,48 +181,34 @@ type Infer = typeof INFER;
  * Selects the inner function signature based on whether OwnSlice was supplied.
  *
  * OwnSlice = Infer (no type arg given):
- *   Captures the whole def as const Def, extracts both Deps and OwnSlice
- *   from the def object post-hoc via InferredDeps<Def> and InferredOwnSlice<Def>.
+ *   Deps is inferred from `modules`. Slice is inferred from boot's return.
+ *   Both are independent generics — no cycle, no `any`.
+ *   boot ctx = dep context only (cycle prevention).
+ *   all other hook ctx = full context including own slice.
  *
  * OwnSlice = explicit type:
  *   Enforces boot return against the supplied OwnSlice via Exact/NoOverlap.
+ *   Unchanged from original — no regression.
  */
-type DefineModuleInner<OwnSlice> = OwnSlice extends Infer ? <const Def extends ModuleDefLoose>(def: Def) => Module<FullContext<InferredDeps<Def>, Exclude<InferredOwnSlice<Def>, void>>, Exclude<InferredOwnSlice<Def>, void>> : OwnSlice extends object ? <const Deps extends readonly AnyModule[], R extends NoOverlap<MergeSlices<Deps>, OwnSlice>>(def: ModuleDef<Deps, OwnSlice, R>) => Module<FullContext<Deps, OwnSlice>, OwnSlice> : never;
+type DefineModuleInner<OwnSlice> = OwnSlice extends Infer ? <const Deps extends readonly AnyModule[], Slice extends Record<string, unknown> = Record<never, never>>(def: ModuleDefInfer<Deps, Slice>) => Module<FullContext<Deps, Slice>, Slice> : OwnSlice extends object ? <const Deps extends readonly AnyModule[], R extends NoOverlap<MergeSlices<Deps>, OwnSlice>>(def: ModuleDef<Deps, OwnSlice, R>) => Module<FullContext<Deps, OwnSlice>, OwnSlice> : never;
 /**
  * Defines a module with optional dependency wiring and lifecycle hooks.
  *
  * Explicit OwnSlice — boot return is enforced against the supplied type:
  *   defineModule<{ count: number }>()({ name: "counter", boot: () => ({ count: 0 }) })
  *
- * Inferred OwnSlice — OwnSlice is derived from boot's non-void return type,
- * and FullContext includes all dep module contexts via InferredDeps:
- *   defineModule()({ name: "C", modules: [A, B] as const, boot: () => ({ c: 1 }) })
- *   // Module<ContextOf<A> & ContextOf<B> & { c: number }, { c: number }>
+ * Inferred OwnSlice — Deps inferred from modules, OwnSlice inferred from boot return.
+ * ctx types per hook:
+ *   boot        — dep context only (own slice is being produced here, not available yet)
+ *   shutdown    — full context including own slice
+ *   beforeBoot  — dep context only (own slice not yet written)
+ *   afterBoot   — full context including own slice
+ *   beforeShutdown / afterShutdown — full context including own slice
  *
  * Void / absent boot — OwnSlice becomes Record<never, never>:
  *   defineModule()({ name: "logger", boot: () => { console.log("up") } })
  */
 export declare function defineModule<OwnSlice = Infer>(): DefineModuleInner<OwnSlice>;
-/**
- * Errors if U has any key not in T by mapping extra keys to never.
- */
-type Exact<T, U> = {
-    [K in keyof U]: K extends keyof T ? T[K] : never;
-};
-/**
- * Produces a readable type error message instead of `never`.
- * Msg appears directly in the IDE error output.
- */
-type TypeError<Msg extends string> = {
-    readonly __error__: Msg;
-};
-/**
- * Errors if OwnSlice declares a key that already exists in DepCtx.
- * Overlapping keys show a readable message instead of `never`.
- */
-type NoOverlap<DepCtx, OwnSlice> = {
-    [K in keyof OwnSlice]: K extends keyof DepCtx ? TypeError<`Key "${K & string}" is already owned by a dependency module`> : OwnSlice[K];
-};
 /**
  * Options for start(). Flat intersection — no nesting required:
  *   start([db], { log, afterBoot: async (ctx) => ... })

package/lib/index.js

@@ -4,7 +4,7 @@
  *
  * Minimal module lifecycle manager.
  *
- * Exports: Module, defineModule, ContextWriter, Logger, LifecycleHooks, StartOptions, start.
+ * Exports: Module, defineModule, ContextWriter, LifecycleHooks, StartOptions, start.
  *
  * Type helpers (internal):
  *   UnionToIntersection<U>  — U1 | U2 | U3  →  U1 & U2 & U3
@@ -36,10 +36,13 @@ exports.rollback = rollback;
  * Explicit OwnSlice — boot return is enforced against the supplied type:
  *   defineModule<{ count: number }>()({ name: "counter", boot: () => ({ count: 0 }) })
  *
- * Inferred OwnSlice — OwnSlice is derived from boot's non-void return type,
- * and FullContext includes all dep module contexts via InferredDeps:
- *   defineModule()({ name: "C", modules: [A, B] as const, boot: () => ({ c: 1 }) })
- *   // Module<ContextOf<A> & ContextOf<B> & { c: number }, { c: number }>
+ * Inferred OwnSlice — Deps inferred from modules, OwnSlice inferred from boot return.
+ * ctx types per hook:
+ *   boot        — dep context only (own slice is being produced here, not available yet)
+ *   shutdown    — full context including own slice
+ *   beforeBoot  — dep context only (own slice not yet written)
+ *   afterBoot   — full context including own slice
+ *   beforeShutdown / afterShutdown — full context including own slice
  *
  * Void / absent boot — OwnSlice becomes Record<never, never>:
  *   defineModule()({ name: "logger", boot: () => { console.log("up") } })

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "tsdkarc",
-  "version": "1.2.0",
+  "version": "1.2.2",
   "description": "TsdkArc is an elegant and fully type-safe module composable library",
   "repository": "tsdk-monorepo/tsdkarc",
   "bugs": "https://github.com/tsdk-monorepo/tsdkarc/issues",