diff --git a/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.i18n.yaml b/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.i18n.yaml
index ef4090b3d6..4665f0ede8 100644
--- a/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.i18n.yaml
+++ b/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.i18n.yaml
@@ -2,5 +2,5 @@
 # side as of the last confirmed-consistent state. Both languages carry equal authority;
 # after editing either side, bring the other along and re-record with:
 #   pnpm run verify-translation-pairing --write
-2026-07-19-package-owned-invariant-service.md: d7b77439c8cfdfdf2fc4f01e779a6d3c7f345457
-2026-07-19-package-owned-invariant-service.zh.md: b553d137f9f06b57f24672bf6984d087ca99ceb2
+2026-07-19-package-owned-invariant-service.md: 19512580db7b228fbf4c44109ccb07eeaca80b54
+2026-07-19-package-owned-invariant-service.zh.md: f7c4bc4352e3ab1cd3a5aa7d2d0a64734bc22cb2
diff --git a/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.md b/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.md
index d7b77439c8..19512580db 100644
--- a/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.md
+++ b/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.md
@@ -18,7 +18,7 @@ Package ownership must also be exhaustive. Without a mechanical repository rule,
 
 `@deepseek-ai/dsh-invariants` is a product-independent Cordis service plugin that registers `ctx.invariants`. It owns configuration, registration uniqueness, child-fiber lifecycle, and package-attributed failures. It imports no session, agent, scope, or agent-loop package and contains none of their checks.
 
-Every workspace package publishes a `./invariant` companion plugin that registers its exact full npm name. A package with no relational check uses a generated ownership-only installer: it reserves the name through the real service boundary but installs no listeners. Package root entrypoints do not import or register diagnostics implicitly, so loading a root package does not change runtime checking or require the invariant service.
+Every workspace package publishes a `./invariant` companion plugin that registers its exact full npm name. Checks protect observable relations in event streams or mutable runtime data; service method presence and plugin wiring are type, load, and repository-gate contracts rather than runtime invariants. A package with no plausible runtime relation uses an empty installer whose `No runtime invariant:` comment explains the absence instead of inventing a synthetic assertion. Package root entrypoints do not import or register diagnostics implicitly, so loading a root package does not change runtime checking or require the invariant service.
 
 ### Configuration and selection
 
@@ -64,9 +64,9 @@ The former functional-plugin entrypoint and one-argument `InvariantError` constr
 | `@deepseek-ai/dsh-scope/invariant` | `@deepseek-ai/dsh-scope` | scoped-event carrier presence and subject consistency |
 | `@deepseek-ai/dsh-agent-loop/invariant` | `@deepseek-ai/dsh-agent-loop` | model-request reconstruction |
 
-These four owners contain stateful checks and focused tests. Every other package carries a generated baseline companion until it gains a relational assertion. Every companion is a separately bundled `./invariant` export with its own declarations and Loader-safe namespace plugin shape; the service package's own companion imports its local service type to avoid a self-dependency.
+These four owners contain stateful checks and focused tests. Every other package carries a generated baseline companion until it gains a relational assertion or records why no runtime relation exists. Every companion is a separately bundled `./invariant` export with its own declarations and Loader-safe namespace plugin shape; the service package's own companion imports its local service type to avoid a self-dependency.
 
-`verify-package-invariants` discovers every workspace package and rejects missing or stale companion source, foreign or unresolved registration names, missing `./invariant` exports or published files, missing invariant peer/development dependencies and project references, and bundle overrides that omit the companion entry. The generator writes only missing or marked ownership baselines, so a package-owned implementation is never replaced.
+`verify-package-invariants` discovers every workspace package and rejects missing or stale companion source, foreign or unresolved registration names, unexplained empty installers, missing `./invariant` exports or published files, missing invariant peer/development dependencies and project references, and bundle overrides that omit the companion entry. The generator writes only missing or marked ownership baselines, so a package-owned implementation is never replaced.
 
 ### Scoped-event semantic map
 
@@ -91,12 +91,13 @@ Every Vitest configuration loads a test host that mounts an explicitly enabled s
 - **Keep all checks in `dsh-invariants`.** Rejected because the registry would continue importing every checked product domain, owner changes would require central edits, and package tests would remain detached from the contracts they protect.
 - **Let root package entrypoints register checks implicitly when `ctx.invariants` happens to exist.** Rejected because root behavior would depend on composition order and optional service presence, diagnostics could not be selected independently, and package loading would hide a registration effect outside an explicit companion.
 - **Discover every `invariant.ts` file automatically at runtime.** Rejected because filesystem/package discovery is not a runtime ownership contract, makes bundled publication ambiguous, and cannot express explicit Cordis load order or dependency installation. Build-time generation, verification, and the test host may enumerate the source tree because they validate repository completeness rather than composing a shipped deployment.
+- **Require a synthetic assertion from every package.** Rejected because checking method presence, plugin names, or fixed examples only turns repository wiring and unit-test facts into startup work. Packages without an observable event or mutable-data relation state that fact locally and keep an empty installer.
 - **Validate allow/block entries against the currently loaded package set.** Rejected because a zero-match pattern can intentionally target a later or HMR-loaded contribution; current load order must not determine config validity.
 
 ## Consequences
 
 - Product packages own and test their relational assertions while the service stays product-independent.
-- Every package pays the small publication and dependency cost of an invariant companion, including packages whose generated baseline currently installs no listeners.
+- Every package pays the small publication and dependency cost of an invariant companion, including packages whose justified empty installer has no listener.
 - Standard compositions can disable all checks or select package names without changing their plugin tree.
 - Explicit companion entries make diagnostic cost and ownership visible in Cordis config and package exports.
 - One selected contribution adds one child fiber and its listener/state cost; filtered registrations retain only name ownership.
diff --git a/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.zh.md b/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.zh.md
index b553d137f9..f7c4bc4352 100644
--- a/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.zh.md
+++ b/.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.zh.md
@@ -18,7 +18,7 @@ Status: implemented
 
 `@deepseek-ai/dsh-invariants` 是与产品无关的 Cordis 服务插件，注册 `ctx.invariants`。它只负责配置、注册唯一性、子 fiber 生命周期和带包归属的失败；不导入 session、agent、scope 或 agent-loop 包，也不包含这些包的检查。
 
-工作区内的每个包都发布 `./invariant` 伴随插件，并注册自己完整且准确的 npm 包名。没有关系检查的包使用生成的仅声明所有权 installer：它通过真实服务边界占用包名，但不安装监听器。包的根入口不会隐式导入或注册诊断，因此加载根包不会改变运行时检查，也不要求不变式服务存在。
+工作区内的每个包都发布 `./invariant` 伴随插件，并注册自己完整且准确的 npm 包名。检查保护事件流或可变运行时数据中可观察的关系；服务方法是否存在以及插件接线是否正确，属于类型、加载和仓库门禁契约，不是运行时不变式。没有合理运行时关系可检查的包使用空 installer，并通过 `No runtime invariant:` 注释解释原因，而不是编造断言。包的根入口不会隐式导入或注册诊断，因此加载根包不会改变运行时检查，也不要求不变式服务存在。
 
 ### 配置与选择
 
@@ -64,9 +64,9 @@ blocklist 匹配优先于 allowlist 匹配。每个条目都是区分大小写
 | `@deepseek-ai/dsh-scope/invariant` | `@deepseek-ai/dsh-scope` | scoped event carrier 存在性与主体一致性 |
 | `@deepseek-ai/dsh-agent-loop/invariant` | `@deepseek-ai/dsh-agent-loop` | 模型请求重建 |
 
-这四个所有者保存有状态检查与聚焦测试。其他每个包在获得关系断言之前，都带有生成的基线伴随插件。每个伴随入口都是单独打包的 `./invariant` export，具有独立声明和对 Loader 安全的命名空间插件形态；服务包自身的伴随插件导入本地服务类型，避免形成自依赖。
+这四个所有者保存有状态检查与聚焦测试。其他每个包在获得关系断言或记录没有运行时关系的原因之前，都带有生成的基线伴随插件。每个伴随入口都是单独打包的 `./invariant` export，具有独立声明和对 Loader 安全的命名空间插件形态；服务包自身的伴随插件导入本地服务类型，避免形成自依赖。
 
-`verify-package-invariants` 会发现每个工作区包，并拒绝缺失或陈旧的伴随插件源码、外部或无法解析的注册名、缺失的 `./invariant` export 或发布文件、缺失的不变式对等依赖（peer dependency）、开发依赖及项目引用，以及遗漏伴随入口的自定义构建配置。生成器只写入缺失或带生成标记的所有权基线，因此绝不会替换包自行维护的实现。
+`verify-package-invariants` 会发现每个工作区包，并拒绝缺失或陈旧的伴随插件源码、外部或无法解析的注册名、没有解释的空 installer、缺失的 `./invariant` export 或发布文件、缺失的不变式对等依赖（peer dependency）、开发依赖及项目引用，以及遗漏伴随入口的自定义构建配置。生成器只写入缺失或带生成标记的所有权基线，因此绝不会替换包自行维护的实现。
 
 ### Scoped event 语义映射
 
@@ -91,12 +91,13 @@ Workspace 约束识别独立的不变式 bundle；包 exports、项目引用、
 - **把所有检查保留在 `dsh-invariants`。** 不予采纳，因为注册包仍要导入所有被检查的产品领域，所有者变更仍需中央编辑，测试也继续远离被保护的契约。
 - **当 `ctx.invariants` 恰好存在时，让根包入口隐式注册检查。** 不予采纳，因为根入口行为会依赖组合顺序与可选服务是否存在，诊断无法独立选择，而且包加载会隐藏一个不在显式伴随插件中的注册 effect。
 - **在运行时自动发现所有 `invariant.ts` 文件。** 不予采纳，因为文件系统或包发现不是运行时所有权契约，会让 bundle 发布含义不清，也无法表达显式 Cordis 加载顺序或依赖安装。构建期生成与校验以及测试 host 可以枚举源码树，因为它们验证的是仓库完整性，而不是组合已发布的部署。
+- **要求每个包提供合成断言。** 不予采纳，因为检查方法是否存在、插件名或固定样例，只会把仓库接线与单元测试事实变成启动时工作。没有可观察事件或可变数据关系的包会在本地说明原因，并保留空 installer。
 - **根据当前已加载包集合验证 allow/block 条目。** 不予采纳，因为零匹配模式可能有意指向稍后加载或 HMR 加载的贡献；当前加载顺序不能决定配置有效性。
 
 ## 后果
 
 - 产品包拥有并测试自己的关系断言，服务保持与产品无关。
-- 每个包都要承担不变式伴随插件带来的少量发布与依赖成本，包括目前只安装生成基线、不添加监听器的包。
+- 每个包都要承担不变式伴随插件带来的少量发布与依赖成本，包括使用有理由空 installer、不添加监听器的包。
 - 标准组合无需改变插件树即可关闭全部检查或按包名选择。
 - 显式伴随条目让诊断成本和所有权在 Cordis 配置与包 export 中可见。
 - 每个选中贡献增加一个子 fiber 及其监听器和状态成本；被过滤注册只保留包名占用。
diff --git a/packages/AGENTS.md b/packages/AGENTS.md
index adf1ba1cd0..f1403bb973 100644
--- a/packages/AGENTS.md
+++ b/packages/AGENTS.md
@@ -16,7 +16,7 @@ These package-specific rules supplement the repo-wide [conventions](../AGENTS.md
 - **Publish state only at its commit point.** Emit each notification and update derived state only after the success boundary that makes it true; derive caches, prompts, UI echoes, replay, and query views from one authoritative source.
 - **Apply bounds to the complete result.** Enforce byte, token, item, and time limits where the complete emitted or retained value, including wrappers and metadata, is known; test tiny and exact limits, oversized single chunks, and multibyte byte limits.
 - **Registry contributions prove disposal.** Add the HMR-safety test required by the [testing policy](../docs/testing.md): dispose the contributing fiber and observe removal.
-- **Every package owns an invariant companion.** Publish `./invariant`, register its manifest name, and retain the generated baseline until relational checks exist. `verify-package-invariants` gates source and publication wiring ([rationale](../.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.md)).
+- **Every package owns an invariant companion.** Publish `./invariant` and register its manifest name. Check observable event or mutable-data relations; when none exists, keep an empty installer with a `No runtime invariant:` comment explaining why instead of inventing a shape or presence assertion. `verify-package-invariants` gates source and publication wiring ([rationale](../.agents/notes/implemented/architecture/2026-07-19-package-owned-invariant-service.md)).
 
 Naming notes:
 
diff --git a/packages/bash/bash-local/src/invariant.ts b/packages/bash/bash-local/src/invariant.ts
index 8af5f91b22..0fe56f5929 100644
--- a/packages/bash/bash-local/src/invariant.ts
+++ b/packages/bash/bash-local/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'bash-local-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/bash/bash-sandbox/src/invariant.ts b/packages/bash/bash-sandbox/src/invariant.ts
index e74190fa82..26e0bb769e 100644
--- a/packages/bash/bash-sandbox/src/invariant.ts
+++ b/packages/bash/bash-sandbox/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'bash-sandbox-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/bash/bash/src/invariant.ts b/packages/bash/bash/src/invariant.ts
index 350f68bfc7..9f9d4cf164 100644
--- a/packages/bash/bash/src/invariant.ts
+++ b/packages/bash/bash/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'bash-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/bash/tool-bash/src/invariant.ts b/packages/bash/tool-bash/src/invariant.ts
index 286089c7ff..65c124801d 100644
--- a/packages/bash/tool-bash/src/invariant.ts
+++ b/packages/bash/tool-bash/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-bash-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/code-runtime/code-runtime-worker/src/invariant.ts b/packages/code-runtime/code-runtime-worker/src/invariant.ts
index 41b3eab511..443fa67a1d 100644
--- a/packages/code-runtime/code-runtime-worker/src/invariant.ts
+++ b/packages/code-runtime/code-runtime-worker/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'code-runtime-worker-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/code-runtime/code-runtime/src/invariant.ts b/packages/code-runtime/code-runtime/src/invariant.ts
index 6102927d77..1e5b5e4bb9 100644
--- a/packages/code-runtime/code-runtime/src/invariant.ts
+++ b/packages/code-runtime/code-runtime/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'code-runtime-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/compact/compact-basic/src/invariant.ts b/packages/compact/compact-basic/src/invariant.ts
index f72c0e5898..5afc935223 100644
--- a/packages/compact/compact-basic/src/invariant.ts
+++ b/packages/compact/compact-basic/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'compact-basic-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/compact/compact/src/invariant.ts b/packages/compact/compact/src/invariant.ts
index f7a2cbffd1..40547461dc 100644
--- a/packages/compact/compact/src/invariant.ts
+++ b/packages/compact/compact/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'compact-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/context/time-context/src/invariant.ts b/packages/context/time-context/src/invariant.ts
index 64fb98ac81..c452699b59 100644
--- a/packages/context/time-context/src/invariant.ts
+++ b/packages/context/time-context/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'time-context-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/context/workspace-context/src/invariant.ts b/packages/context/workspace-context/src/invariant.ts
index f3e76225c0..6a49e1bd15 100644
--- a/packages/context/workspace-context/src/invariant.ts
+++ b/packages/context/workspace-context/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'workspace-context-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/cordis/tool-cordis/src/invariant.ts b/packages/cordis/tool-cordis/src/invariant.ts
index a3f375b69f..194ac33b1c 100644
--- a/packages/cordis/tool-cordis/src/invariant.ts
+++ b/packages/cordis/tool-cordis/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-cordis-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/core/system-prompt/src/invariant.ts b/packages/core/system-prompt/src/invariant.ts
index 5117f93ce0..d281d29f2b 100644
--- a/packages/core/system-prompt/src/invariant.ts
+++ b/packages/core/system-prompt/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'system-prompt-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/core/tools/src/invariant.ts b/packages/core/tools/src/invariant.ts
index 7c5743e1d4..a296415939 100644
--- a/packages/core/tools/src/invariant.ts
+++ b/packages/core/tools/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tools-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/examples/acp-demo/src/invariant.ts b/packages/examples/acp-demo/src/invariant.ts
index d8f2ff17dc..4050fa90d7 100644
--- a/packages/examples/acp-demo/src/invariant.ts
+++ b/packages/examples/acp-demo/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'acp-demo-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/examples/agent-spine-demo/src/invariant.ts b/packages/examples/agent-spine-demo/src/invariant.ts
index 913b5ca2ab..134c5d7319 100644
--- a/packages/examples/agent-spine-demo/src/invariant.ts
+++ b/packages/examples/agent-spine-demo/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'agent-spine-demo-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/examples/cli-demo/src/invariant.ts b/packages/examples/cli-demo/src/invariant.ts
index 5681362dcc..35077586c4 100644
--- a/packages/examples/cli-demo/src/invariant.ts
+++ b/packages/examples/cli-demo/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'cli-demo-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/examples/jsonrpc-demo/src/invariant.ts b/packages/examples/jsonrpc-demo/src/invariant.ts
index 21f19faf0f..b59fcfd9ba 100644
--- a/packages/examples/jsonrpc-demo/src/invariant.ts
+++ b/packages/examples/jsonrpc-demo/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'jsonrpc-demo-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/examples/stdio-demo/src/invariant.ts b/packages/examples/stdio-demo/src/invariant.ts
index 5d51c3cd9b..93d5a73df7 100644
--- a/packages/examples/stdio-demo/src/invariant.ts
+++ b/packages/examples/stdio-demo/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'stdio-demo-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/fs/fs-local/src/invariant.ts b/packages/fs/fs-local/src/invariant.ts
index 0c89f2299b..ed93f88c72 100644
--- a/packages/fs/fs-local/src/invariant.ts
+++ b/packages/fs/fs-local/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'fs-local-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/fs/fs-policy/src/invariant.ts b/packages/fs/fs-policy/src/invariant.ts
index 11f155d2ec..60b40e074d 100644
--- a/packages/fs/fs-policy/src/invariant.ts
+++ b/packages/fs/fs-policy/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'fs-policy-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/fs/fs/src/invariant.ts b/packages/fs/fs/src/invariant.ts
index 55895b4b24..79dcb9b3ee 100644
--- a/packages/fs/fs/src/invariant.ts
+++ b/packages/fs/fs/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'fs-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/fs/tool-fs-search/src/invariant.ts b/packages/fs/tool-fs-search/src/invariant.ts
index f0055b611a..b010f15d6c 100644
--- a/packages/fs/tool-fs-search/src/invariant.ts
+++ b/packages/fs/tool-fs-search/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-fs-search-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/fs/tool-fs/src/invariant.ts b/packages/fs/tool-fs/src/invariant.ts
index 7a683d978f..ecdf7237ee 100644
--- a/packages/fs/tool-fs/src/invariant.ts
+++ b/packages/fs/tool-fs/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-fs-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/guard/repeat-tool-guard/src/invariant.ts b/packages/guard/repeat-tool-guard/src/invariant.ts
index 05c4df1a66..1bf0818b72 100644
--- a/packages/guard/repeat-tool-guard/src/invariant.ts
+++ b/packages/guard/repeat-tool-guard/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'repeat-tool-guard-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/hooks/hook-protocol/src/invariant.ts b/packages/hooks/hook-protocol/src/invariant.ts
index 9893493644..c2dac9910d 100644
--- a/packages/hooks/hook-protocol/src/invariant.ts
+++ b/packages/hooks/hook-protocol/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'hook-protocol-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/hooks/hooks-claude/src/invariant.ts b/packages/hooks/hooks-claude/src/invariant.ts
index 5c6002f7f5..f712873f5f 100644
--- a/packages/hooks/hooks-claude/src/invariant.ts
+++ b/packages/hooks/hooks-claude/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'hooks-claude-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/hooks/hooks-codex/src/invariant.ts b/packages/hooks/hooks-codex/src/invariant.ts
index 1b8f03a057..e81eb33340 100644
--- a/packages/hooks/hooks-codex/src/invariant.ts
+++ b/packages/hooks/hooks-codex/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'hooks-codex-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/llm/llm-deepseek/src/invariant.ts b/packages/llm/llm-deepseek/src/invariant.ts
index c3e6b5e153..8a00b0b498 100644
--- a/packages/llm/llm-deepseek/src/invariant.ts
+++ b/packages/llm/llm-deepseek/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'llm-deepseek-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/llm/llm-pi-ai/src/invariant.ts b/packages/llm/llm-pi-ai/src/invariant.ts
index 4ada7a1a51..a49ebab07e 100644
--- a/packages/llm/llm-pi-ai/src/invariant.ts
+++ b/packages/llm/llm-pi-ai/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'llm-pi-ai-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/llm/llm/src/invariant.ts b/packages/llm/llm/src/invariant.ts
index a8a56ce245..3911551916 100644
--- a/packages/llm/llm/src/invariant.ts
+++ b/packages/llm/llm/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'llm-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/llm/token-meter/src/invariant.ts b/packages/llm/token-meter/src/invariant.ts
index 00ceb567be..8fd25f6998 100644
--- a/packages/llm/token-meter/src/invariant.ts
+++ b/packages/llm/token-meter/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'token-meter-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/mcp/mcp-client/src/invariant.ts b/packages/mcp/mcp-client/src/invariant.ts
index d9e75e9955..92e58ec0e4 100644
--- a/packages/mcp/mcp-client/src/invariant.ts
+++ b/packages/mcp/mcp-client/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'mcp-client-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/sandbox/sandbox-local/src/invariant.ts b/packages/sandbox/sandbox-local/src/invariant.ts
index 3582962f94..e16cc06ead 100644
--- a/packages/sandbox/sandbox-local/src/invariant.ts
+++ b/packages/sandbox/sandbox-local/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'sandbox-local-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/sandbox/sandbox/src/invariant.ts b/packages/sandbox/sandbox/src/invariant.ts
index b220f11717..ffe9cb9db5 100644
--- a/packages/sandbox/sandbox/src/invariant.ts
+++ b/packages/sandbox/sandbox/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'sandbox-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/sdk/create-sdk/src/invariant.ts b/packages/sdk/create-sdk/src/invariant.ts
index 87a697e438..2f995b9029 100644
--- a/packages/sdk/create-sdk/src/invariant.ts
+++ b/packages/sdk/create-sdk/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'create-sdk-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/sdk/helper/src/invariant.ts b/packages/sdk/helper/src/invariant.ts
index 63a6fc2055..873281d567 100644
--- a/packages/sdk/helper/src/invariant.ts
+++ b/packages/sdk/helper/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'helper-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/sdk/scripts/src/invariant.ts b/packages/sdk/scripts/src/invariant.ts
index fd0a0ef55b..7a637eecab 100644
--- a/packages/sdk/scripts/src/invariant.ts
+++ b/packages/sdk/scripts/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'scripts-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/sdk/telemetry/src/invariant.ts b/packages/sdk/telemetry/src/invariant.ts
index 945b9e50e7..8af7848563 100644
--- a/packages/sdk/telemetry/src/invariant.ts
+++ b/packages/sdk/telemetry/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'telemetry-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/session-persistence/session-persistence-jsonl/src/invariant.ts b/packages/session-persistence/session-persistence-jsonl/src/invariant.ts
index 12c65db1c4..d7e8c4bb07 100644
--- a/packages/session-persistence/session-persistence-jsonl/src/invariant.ts
+++ b/packages/session-persistence/session-persistence-jsonl/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'session-persistence-jsonl-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/session-persistence/session-persistence-sqlite/src/invariant.ts b/packages/session-persistence/session-persistence-sqlite/src/invariant.ts
index a9b04cf5f5..c995336c2b 100644
--- a/packages/session-persistence/session-persistence-sqlite/src/invariant.ts
+++ b/packages/session-persistence/session-persistence-sqlite/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'session-persistence-sqlite-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/session-persistence/session-persistence/src/invariant.ts b/packages/session-persistence/session-persistence/src/invariant.ts
index cc7cc8fa2c..bbbe4cb523 100644
--- a/packages/session-persistence/session-persistence/src/invariant.ts
+++ b/packages/session-persistence/session-persistence/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'session-persistence-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/session-query/session-query/src/invariant.ts b/packages/session-query/session-query/src/invariant.ts
index 91bcee721e..d65f690cbc 100644
--- a/packages/session-query/session-query/src/invariant.ts
+++ b/packages/session-query/session-query/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'session-query-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/skill/skill-local/src/invariant.ts b/packages/skill/skill-local/src/invariant.ts
index 475d02bb8f..1230edb9a1 100644
--- a/packages/skill/skill-local/src/invariant.ts
+++ b/packages/skill/skill-local/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'skill-local-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/skill/skill/src/invariant.ts b/packages/skill/skill/src/invariant.ts
index c1d4091bb2..43abd10c43 100644
--- a/packages/skill/skill/src/invariant.ts
+++ b/packages/skill/skill/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'skill-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/skill/tool-skill/src/invariant.ts b/packages/skill/tool-skill/src/invariant.ts
index abf4ba3961..97a5e04558 100644
--- a/packages/skill/tool-skill/src/invariant.ts
+++ b/packages/skill/tool-skill/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-skill-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/spill/spill-local/src/invariant.ts b/packages/spill/spill-local/src/invariant.ts
index d638ffa2a9..41b4c82d1c 100644
--- a/packages/spill/spill-local/src/invariant.ts
+++ b/packages/spill/spill-local/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'spill-local-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/spill/spill-policy/src/invariant.ts b/packages/spill/spill-policy/src/invariant.ts
index d4aa544ecd..aeae1b4583 100644
--- a/packages/spill/spill-policy/src/invariant.ts
+++ b/packages/spill/spill-policy/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'spill-policy-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/spill/spill/src/invariant.ts b/packages/spill/spill/src/invariant.ts
index 714e43f3a6..0b23ef8633 100644
--- a/packages/spill/spill/src/invariant.ts
+++ b/packages/spill/spill/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'spill-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/subagent/subagent-acp/src/invariant.ts b/packages/subagent/subagent-acp/src/invariant.ts
index a5828fd4c1..5cda5764a3 100644
--- a/packages/subagent/subagent-acp/src/invariant.ts
+++ b/packages/subagent/subagent-acp/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'subagent-acp-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/subagent/subagent-fork/src/invariant.ts b/packages/subagent/subagent-fork/src/invariant.ts
index c6903fd82d..4a40e34fa4 100644
--- a/packages/subagent/subagent-fork/src/invariant.ts
+++ b/packages/subagent/subagent-fork/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'subagent-fork-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/subagent/subagent-inprocess/src/invariant.ts b/packages/subagent/subagent-inprocess/src/invariant.ts
index 0eac204104..5ece1a32c3 100644
--- a/packages/subagent/subagent-inprocess/src/invariant.ts
+++ b/packages/subagent/subagent-inprocess/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'subagent-inprocess-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/subagent/subagent-spawn/src/invariant.ts b/packages/subagent/subagent-spawn/src/invariant.ts
index d179a2b72a..913b2e136c 100644
--- a/packages/subagent/subagent-spawn/src/invariant.ts
+++ b/packages/subagent/subagent-spawn/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'subagent-spawn-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/subagent/subagent-subprocess/src/invariant.ts b/packages/subagent/subagent-subprocess/src/invariant.ts
index 22dac32814..ee0047854f 100644
--- a/packages/subagent/subagent-subprocess/src/invariant.ts
+++ b/packages/subagent/subagent-subprocess/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'subagent-subprocess-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/subagent/subagent/src/invariant.ts b/packages/subagent/subagent/src/invariant.ts
index 3a79592ee1..ab491bfb4d 100644
--- a/packages/subagent/subagent/src/invariant.ts
+++ b/packages/subagent/subagent/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'subagent-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/subagent/tool-subagent/src/invariant.ts b/packages/subagent/tool-subagent/src/invariant.ts
index 08881e4b2b..9b38442897 100644
--- a/packages/subagent/tool-subagent/src/invariant.ts
+++ b/packages/subagent/tool-subagent/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-subagent-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/support/acp-snapshot/src/invariant.ts b/packages/support/acp-snapshot/src/invariant.ts
index 3579b96cf5..02a7cf0b68 100644
--- a/packages/support/acp-snapshot/src/invariant.ts
+++ b/packages/support/acp-snapshot/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'acp-snapshot-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/support/agent-loop-testkit/src/invariant.ts b/packages/support/agent-loop-testkit/src/invariant.ts
index fc2554aa77..f299eb08cd 100644
--- a/packages/support/agent-loop-testkit/src/invariant.ts
+++ b/packages/support/agent-loop-testkit/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'agent-loop-testkit-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/support/invariants/src/invariant.ts b/packages/support/invariants/src/invariant.ts
index b6b4d8ae48..d55b2b73b1 100644
--- a/packages/support/invariants/src/invariant.ts
+++ b/packages/support/invariants/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'invariants-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/support/llm-replay/src/invariant.ts b/packages/support/llm-replay/src/invariant.ts
index 50295cbedf..c6349a23b0 100644
--- a/packages/support/llm-replay/src/invariant.ts
+++ b/packages/support/llm-replay/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'llm-replay-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/support/loader-smoke/src/invariant.ts b/packages/support/loader-smoke/src/invariant.ts
index 9265a5f8b4..6728f4ab5b 100644
--- a/packages/support/loader-smoke/src/invariant.ts
+++ b/packages/support/loader-smoke/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'loader-smoke-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/tasks/tasks/src/invariant.ts b/packages/tasks/tasks/src/invariant.ts
index 468fe664b9..afc5901d92 100644
--- a/packages/tasks/tasks/src/invariant.ts
+++ b/packages/tasks/tasks/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tasks-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/tasks/tool-tasks/src/invariant.ts b/packages/tasks/tool-tasks/src/invariant.ts
index fded38c895..dbb01600be 100644
--- a/packages/tasks/tool-tasks/src/invariant.ts
+++ b/packages/tasks/tool-tasks/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-tasks-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/timeout/timeout-policy/src/invariant.ts b/packages/timeout/timeout-policy/src/invariant.ts
index 9e7b5b7d4b..4a6933e8f8 100644
--- a/packages/timeout/timeout-policy/src/invariant.ts
+++ b/packages/timeout/timeout-policy/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'timeout-policy-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/todo/tool-todo/src/invariant.ts b/packages/todo/tool-todo/src/invariant.ts
index a5980342f3..f925a1ad5b 100644
--- a/packages/todo/tool-todo/src/invariant.ts
+++ b/packages/todo/tool-todo/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-todo-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/acp/src/invariant.ts b/packages/ui/acp/src/invariant.ts
index 2c081fc48c..e6ccda5342 100644
--- a/packages/ui/acp/src/invariant.ts
+++ b/packages/ui/acp/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'acp-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/app-boot/src/invariant.ts b/packages/ui/app-boot/src/invariant.ts
index 498d967799..de383a5eb0 100644
--- a/packages/ui/app-boot/src/invariant.ts
+++ b/packages/ui/app-boot/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'app-boot-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/jsonrpc/src/invariant.ts b/packages/ui/jsonrpc/src/invariant.ts
index 552c312481..f3ef43b461 100644
--- a/packages/ui/jsonrpc/src/invariant.ts
+++ b/packages/ui/jsonrpc/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'jsonrpc-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/permission/src/invariant.ts b/packages/ui/permission/src/invariant.ts
index 1a774e2e4c..1c9129c916 100644
--- a/packages/ui/permission/src/invariant.ts
+++ b/packages/ui/permission/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'permission-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/stdio/src/invariant.ts b/packages/ui/stdio/src/invariant.ts
index 443440a215..37176f11c6 100644
--- a/packages/ui/stdio/src/invariant.ts
+++ b/packages/ui/stdio/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'stdio-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/tool-ask-user/src/invariant.ts b/packages/ui/tool-ask-user/src/invariant.ts
index eebb1ced42..44c57bae86 100644
--- a/packages/ui/tool-ask-user/src/invariant.ts
+++ b/packages/ui/tool-ask-user/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-ask-user-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/tui/src/invariant.ts b/packages/ui/tui/src/invariant.ts
index cba5fd9d2e..1f89affab4 100644
--- a/packages/ui/tui/src/invariant.ts
+++ b/packages/ui/tui/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tui-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/user-approval/src/invariant.ts b/packages/ui/user-approval/src/invariant.ts
index 73dee4f9f1..b1b90d5509 100644
--- a/packages/ui/user-approval/src/invariant.ts
+++ b/packages/ui/user-approval/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'user-approval-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/ui/user-interaction/src/invariant.ts b/packages/ui/user-interaction/src/invariant.ts
index 262681fc06..bbf1b18041 100644
--- a/packages/ui/user-interaction/src/invariant.ts
+++ b/packages/ui/user-interaction/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'user-interaction-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/util/brand/src/invariant.ts b/packages/util/brand/src/invariant.ts
index e932e7e35e..b10caf9080 100644
--- a/packages/util/brand/src/invariant.ts
+++ b/packages/util/brand/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'brand-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/util/home/src/invariant.ts b/packages/util/home/src/invariant.ts
index 5874a57c1c..f72c8ec6ae 100644
--- a/packages/util/home/src/invariant.ts
+++ b/packages/util/home/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'home-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/util/paths/src/invariant.ts b/packages/util/paths/src/invariant.ts
index c2cedfbb0d..6424d64726 100644
--- a/packages/util/paths/src/invariant.ts
+++ b/packages/util/paths/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'paths-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/util/retention/src/invariant.ts b/packages/util/retention/src/invariant.ts
index 7516f9e5ed..2d43081596 100644
--- a/packages/util/retention/src/invariant.ts
+++ b/packages/util/retention/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'retention-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/util/timeout/src/invariant.ts b/packages/util/timeout/src/invariant.ts
index 15140bb880..0a0ddb50c2 100644
--- a/packages/util/timeout/src/invariant.ts
+++ b/packages/util/timeout/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'timeout-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/web/tool-web/src/invariant.ts b/packages/web/tool-web/src/invariant.ts
index 008fe2f5e1..f790931b3f 100644
--- a/packages/web/tool-web/src/invariant.ts
+++ b/packages/web/tool-web/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-web-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/web/web-fetch-local/src/invariant.ts b/packages/web/web-fetch-local/src/invariant.ts
index ef61e2a611..f7dc4579fb 100644
--- a/packages/web/web-fetch-local/src/invariant.ts
+++ b/packages/web/web-fetch-local/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'web-fetch-local-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/web/web-search-deepseek/src/invariant.ts b/packages/web/web-search-deepseek/src/invariant.ts
index 8781949be9..ac2b4e3a85 100644
--- a/packages/web/web-search-deepseek/src/invariant.ts
+++ b/packages/web/web-search-deepseek/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'web-search-deepseek-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/web/web-search-exa/src/invariant.ts b/packages/web/web-search-exa/src/invariant.ts
index a2dd956625..e66d9f6847 100644
--- a/packages/web/web-search-exa/src/invariant.ts
+++ b/packages/web/web-search-exa/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'web-search-exa-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/web/web-search-perplexity/src/invariant.ts b/packages/web/web-search-perplexity/src/invariant.ts
index fe82c79dae..a4d370d677 100644
--- a/packages/web/web-search-perplexity/src/invariant.ts
+++ b/packages/web/web-search-perplexity/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'web-search-perplexity-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/web/web/src/invariant.ts b/packages/web/web/src/invariant.ts
index b9b1b0d45d..af5862ab5f 100644
--- a/packages/web/web/src/invariant.ts
+++ b/packages/web/web/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'web-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/workflow/tool-workflow/src/invariant.ts b/packages/workflow/tool-workflow/src/invariant.ts
index cd1f0e475b..e3f46f0a73 100644
--- a/packages/workflow/tool-workflow/src/invariant.ts
+++ b/packages/workflow/tool-workflow/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'tool-workflow-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/workflow/workflow-workerthread/src/invariant.ts b/packages/workflow/workflow-workerthread/src/invariant.ts
index 6bcc40862c..ac47988dcc 100644
--- a/packages/workflow/workflow-workerthread/src/invariant.ts
+++ b/packages/workflow/workflow-workerthread/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'workflow-workerthread-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/packages/workflow/workflow/src/invariant.ts b/packages/workflow/workflow/src/invariant.ts
index b552021ca4..19e5c9e3c4 100644
--- a/packages/workflow/workflow/src/invariant.ts
+++ b/packages/workflow/workflow/src/invariant.ts
@@ -17,7 +17,7 @@ export const name = 'workflow-invariant'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
diff --git a/scripts/package-invariants.spec.ts b/scripts/package-invariants.spec.ts
index 698969b3d7..57395cbf82 100644
--- a/scripts/package-invariants.spec.ts
+++ b/scripts/package-invariants.spec.ts
@@ -101,4 +101,17 @@ export const apply = (ctx: { invariants: { register(name: string, install: () =>
     expect(collectPackageInvariantViolations(root).map(violation => violation.message))
       .toContain('generated baseline is stale; run pnpm run gen-package-invariants')
   })
+
+  it('rejects an unexplained empty package installer', () => {
+    const source = `
+export const name = 'probe-invariant'
+export const inject = ['invariants']
+const PACKAGE_NAME = '@deepseek-ai/dsh-probe'
+const install = () => {}
+export const apply = (ctx: { invariants: { register(name: string, install: () => void): () => void } }) =>
+  ctx.invariants.register(PACKAGE_NAME, install)
+`
+    expect(collectPackageInvariantViolations(fixture({ source })).map(violation => violation.message))
+      .toContain('empty install function must explain why with a "No runtime invariant:" comment')
+  })
 })
diff --git a/scripts/package-invariants.ts b/scripts/package-invariants.ts
index 45fb64829f..0078a6a4c4 100644
--- a/scripts/package-invariants.ts
+++ b/scripts/package-invariants.ts
@@ -11,6 +11,9 @@ import ts from 'typescript'
 /** Marker identifying baseline companions owned by this generator. */
 export const GENERATED_INVARIANT_MARKER = '@generated scripts/gen-package-invariants.ts'
 
+/** Required explanation marker for an intentionally empty installer. */
+export const NO_RUNTIME_INVARIANT_MARKER = 'No runtime invariant:'
+
 interface PackageManifest {
   name?: string
   exports?: Record<string, { types?: string; default?: string } | string | undefined>
@@ -78,7 +81,7 @@ export const name = '${pluginName}'
 /** Services required before the companion can register. */
 export const inject = ['invariants']
 
-/** Reserve this package's invariant ownership until it adds relational checks. */
+/** No runtime invariant: no package-owned event or mutable-data relation has been identified yet. */
 const install: InvariantInstaller = () => {}
 
 /**
@@ -237,6 +240,51 @@ function checkSource(
       addViolation(violations, owner.sourcePath, `must named-export ${exportedName}`)
     }
   }
+  checkEmptyInstallerReason(owner, sourceFile, sourceText, violations)
+}
+
+function checkEmptyInstallerReason(
+  owner: PackageInvariantOwner,
+  sourceFile: ts.SourceFile,
+  sourceText: string,
+  violations: PackageInvariantViolation[],
+): void {
+  for (const statement of sourceFile.statements) {
+    if (!ts.isVariableStatement(statement)) continue
+    for (const declaration of statement.declarationList.declarations) {
+      if (!ts.isIdentifier(declaration.name)
+        || declaration.name.text !== 'install'
+        || declaration.initializer === undefined) continue
+      const installer = installerFunction(declaration.initializer)
+      if (installer === undefined
+        || !ts.isBlock(installer.body)
+        || installer.body.statements.length > 0) return
+      const declarationText = sourceText.slice(statement.getFullStart(), statement.getEnd())
+      if (!declarationText.includes(NO_RUNTIME_INVARIANT_MARKER)) {
+        addViolation(
+          violations,
+          owner.sourcePath,
+          `empty install function must explain why with a "${NO_RUNTIME_INVARIANT_MARKER}" comment`,
+        )
+      }
+      return
+    }
+  }
+}
+
+function installerFunction(
+  initializer: ts.Expression,
+): ts.ArrowFunction | ts.FunctionExpression | undefined {
+  if (ts.isArrowFunction(initializer) || ts.isFunctionExpression(initializer)) return initializer
+  if (ts.isCallExpression(initializer)
+    && ts.isPropertyAccessExpression(initializer.expression)
+    && ts.isIdentifier(initializer.expression.expression)
+    && initializer.expression.expression.text === 'Object'
+    && initializer.expression.name.text === 'assign') {
+    const target = initializer.arguments[0]
+    if (target !== undefined && (ts.isArrowFunction(target) || ts.isFunctionExpression(target))) return target
+  }
+  return undefined
 }
 
 function topLevelStringConstants(sourceFile: ts.SourceFile): ReadonlyMap<string, string> {