diff --git a/docs/cordis-catalog/services.md b/docs/cordis-catalog/services.md
index 7da704df75..79e540e7bd 100644
--- a/docs/cordis-catalog/services.md
+++ b/docs/cordis-catalog/services.md
@@ -489,13 +489,13 @@ Package-owned invariant registry with global and regex-based selection.
  * even when filtering disables its checks. Enabled installers run in a child
  * fiber; failure disposes that fiber and releases the reservation.
  * @param packageName - full npm package name that owns the contribution.
- * @param installer - synchronous listener installer for the child context.
+ * @param installer - listener or startup-check installer for the child context.
  * @returns an effect-scoped disposer for the registration.
  */
 register(packageName: string, installer: InvariantInstaller): () => void
 ```
 
-Source: [`packages/support/invariants/src/index.ts:261`](../../packages/support/invariants/src/index.ts)
+Source: [`packages/support/invariants/src/index.ts:388`](../../packages/support/invariants/src/index.ts)
 
 ## `ctx.llm` — `LlmService`
 
diff --git a/packages/cordis/tool-cordis/src/api-catalog.ts b/packages/cordis/tool-cordis/src/api-catalog.ts
index 40b8f38471..bceeed2ad9 100644
--- a/packages/cordis/tool-cordis/src/api-catalog.ts
+++ b/packages/cordis/tool-cordis/src/api-catalog.ts
@@ -256,7 +256,7 @@ export const SERVICE_API: readonly ServiceApiEntry[] = [
     methods: [
       {
         signature: 'register(packageName: string, installer: InvariantInstaller): () => void',
-        jsDoc: '/**\n * Register one package\'s invariant installer. The package name is reserved\n * even when filtering disables its checks. Enabled installers run in a child\n * fiber; failure disposes that fiber and releases the reservation.\n * @param packageName - full npm package name that owns the contribution.\n * @param installer - synchronous listener installer for the child context.\n * @returns an effect-scoped disposer for the registration.\n */',
+        jsDoc: '/**\n * Register one package\'s invariant installer. The package name is reserved\n * even when filtering disables its checks. Enabled installers run in a child\n * fiber; failure disposes that fiber and releases the reservation.\n * @param packageName - full npm package name that owns the contribution.\n * @param installer - listener or startup-check installer for the child context.\n * @returns an effect-scoped disposer for the registration.\n */',
       },
     ],
   },
@@ -1192,7 +1192,7 @@ export const TYPE_API: readonly TypeApiEntry[] = [
   },
   {
     name: 'InvariantInstaller',
-    declaration: 'export interface InvariantInstaller {\n    (ctx: Context, fail: InvariantFailure): void;\n    readonly inject?: Inject;\n}',
+    declaration: 'export interface InvariantInstaller {\n    (ctx: Context, fail: InvariantFailure): void | Promise<void>;\n    readonly inject?: Inject;\n}',
   },
   {
     name: 'JsonValue',
diff --git a/website/zh-CN/api/harness/invariants.md b/website/zh-CN/api/harness/invariants.md
index 61589489f7..e2f582a566 100644
--- a/website/zh-CN/api/harness/invariants.md
+++ b/website/zh-CN/api/harness/invariants.md
@@ -6,7 +6,7 @@
 
 Package-owned invariant registry with global and regex-based selection.
 
-[Source](https://github.com/deepseek-harness/deepseek-harness/blob/master/packages/support/invariants/src/index.ts#L261)
+[Source](https://github.com/deepseek-harness/deepseek-harness/blob/master/packages/support/invariants/src/index.ts#L388)
 
 ### ctx.invariants.register(packageName, installer)
 
@@ -16,7 +16,7 @@ Package-owned invariant registry with global and regex-based selection.
  * even when filtering disables its checks. Enabled installers run in a child
  * fiber; failure disposes that fiber and releases the reservation.
  * @param packageName - full npm package name that owns the contribution.
- * @param installer - synchronous listener installer for the child context.
+ * @param installer - listener or startup-check installer for the child context.
  * @returns an effect-scoped disposer for the registration.
  */
 register(packageName: string, installer: InvariantInstaller): () => void
@@ -25,8 +25,8 @@ register(packageName: string, installer: InvariantInstaller): () => void
 Register one package's invariant installer. The package name is reserved even when filtering disables its checks. Enabled installers run in a child fiber; failure disposes that fiber and releases the reservation.
 
 - `packageName` — full npm package name that owns the contribution.
-- `installer` — synchronous listener installer for the child context.
+- `installer` — listener or startup-check installer for the child context.
 
 **Returns** an effect-scoped disposer for the registration.
 
-[Source](https://github.com/deepseek-harness/deepseek-harness/blob/master/packages/support/invariants/src/index.ts#L303)
+[Source](https://github.com/deepseek-harness/deepseek-harness/blob/master/packages/support/invariants/src/index.ts#L430)