@deepseek-ai/dsh-invariants 0.1.5-rc.2 → 0.1.6-alpha.2
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.i18n.yaml +1 -1
- package/README.zh.md +12 -12
- package/package.json +1 -1
package/README.i18n.yaml
CHANGED
|
@@ -3,4 +3,4 @@
|
|
|
3
3
|
# after editing either side, bring the other along and re-record with:
|
|
4
4
|
# pnpm run verify-translation-pairing --write packages/runtime-diagnostics/invariants/README.md
|
|
5
5
|
README.md: 3841ca14f2236ddba1976926c13242b6f92bc16f
|
|
6
|
-
README.zh.md:
|
|
6
|
+
README.zh.md: 913a72bc1711c025b8a8259c8929dfe957fc0354
|
package/README.zh.md
CHANGED
|
@@ -1,5 +1,5 @@
|
|
|
1
1
|
---
|
|
2
|
-
description: "
|
|
2
|
+
description: "用于实时组合的运行时不变量检查：运行包自有检查的注册表服务，供用户和维护者选择、配置或排查。"
|
|
3
3
|
kind: "package-reference"
|
|
4
4
|
---
|
|
5
5
|
|
|
@@ -9,7 +9,7 @@ kind: "package-reference"
|
|
|
9
9
|
|
|
10
10
|
## 概述
|
|
11
11
|
|
|
12
|
-
`dsh-invariants` 在 DeepSeek Harness 组合中运行包自有的运行时检查——不变量：任何包都可以发布一个 `./invariant` 配套入口，在组合运行期间验证其自身的持久关系（权威事件流与可变快照）。检查自动运行，失败的检查会报告归因到拥有被违反关系的包的 `InvariantError`。需要带全局开关与包名过滤器的自检诊断时选择它；标准 agent
|
|
12
|
+
`dsh-invariants` 在 DeepSeek Harness 组合中运行包自有的运行时检查——不变量：任何包都可以发布一个 `./invariant` 配套入口，在组合运行期间验证其自身的持久关系（权威事件流与可变快照）。检查自动运行，失败的检查会报告归因到拥有被违反关系的包的 `InvariantError`。需要带全局开关与包名过滤器的自检诊断时选择它；标准 agent（智能体）组合已挂载它及四个核心配套入口，而单独加载服务不会安装任何检查。
|
|
13
13
|
|
|
14
14
|
## 目录
|
|
15
15
|
|
|
@@ -57,10 +57,10 @@ kind: "package-reference"
|
|
|
57
57
|
|
|
58
58
|
| 配套入口 | 检查 |
|
|
59
59
|
|---|---|
|
|
60
|
-
| `dsh-session`、`dsh-agent`、`dsh-scope`、`dsh-agent-loop` | 会话日志包含关系与调用/结果跟踪、agent
|
|
61
|
-
| `dsh-llm`、`dsh-llm-retry`、`dsh-tools`、`dsh-system-prompt` | LLM
|
|
62
|
-
| `dsh-compaction`、`dsh-hook-protocol`、`dsh-sandbox-policy` |
|
|
63
|
-
| `dsh-fs`、`dsh-subagent`、`dsh-workflow`、`dsh-tool-workflow` | 文件系统事件身份、subagent
|
|
60
|
+
| `dsh-session`、`dsh-agent`、`dsh-scope`、`dsh-agent-loop` | 会话日志包含关系与调用/结果跟踪、agent 状态转换、经过作用域过滤的分发主体、loop 所构建请求的重建 |
|
|
61
|
+
| `dsh-llm`、`dsh-llm-retry`、`dsh-tools`、`dsh-system-prompt` | LLM（大语言模型）流语法、重试失败形状、工具流水线阶段配对与冻结结果、提示词组装章节名 |
|
|
62
|
+
| `dsh-compaction`、`dsh-hook-protocol`、`dsh-sandbox-policy` | 压缩（compaction）流配对、钩子调用/结果配对、沙箱 mode 值 |
|
|
63
|
+
| `dsh-fs`、`dsh-subagent`、`dsh-workflow`、`dsh-tool-workflow` | 文件系统事件身份、subagent 提供方与开始/结束配对、工作流生命周期身份、工作流记录形状 |
|
|
64
64
|
| `dsh-goal`、`dsh-goal-round-driver` | 持久 goal 流折叠与重建的继续提示词 |
|
|
65
65
|
| `dsh-permission-presets`、`dsh-user-approval`、`dsh-commands` | preset 引用指向活动 preset、审批询问/决定配对、命令运行/完成配对 |
|
|
66
66
|
| `dsh-jobs`、`dsh-tool-todo`、`dsh-time-context` | 任务快照字段关系、整表 todo 形状、持久时钟读数 |
|
|
@@ -68,7 +68,7 @@ kind: "package-reference"
|
|
|
68
68
|
| `dsh-agent-presets`、`dsh-session-title`、`dsh-plan-mode`、`dsh-schedule` | preset 挂载位置、标题来源引用、plan-mode 载荷、schedule 流 |
|
|
69
69
|
| `dsh-client-hmr`、`dsh-client-modules`、`dsh-client-runtime` | 浏览器/node 侧 stat-watcher 生命周期、启动入口图、slot 变更版本化 |
|
|
70
70
|
|
|
71
|
-
|
|
71
|
+
其余工作区包省略配套入口，并在各自 README 中说明包级原因。
|
|
72
72
|
|
|
73
73
|
### 向自定义组合添加配套入口
|
|
74
74
|
|
|
@@ -87,7 +87,7 @@ ctx.plugin(SessionInvariant)
|
|
|
87
87
|
|
|
88
88
|
### 检查失败时
|
|
89
89
|
|
|
90
|
-
违规会从报告它的上下文抛出 `InvariantError`：它携带稳定的 `INVARIANT` 代码、所属包的完整 npm `packageName`，以及以 `invariant violated by "<package>": …`
|
|
90
|
+
违规会从报告它的上下文抛出 `InvariantError`：它携带稳定的 `INVARIANT` 代码、所属包的完整 npm `packageName`，以及以 `invariant violated by "<package>": …` 开头的消息。失败因此可以归因到某个包，而注册表无需导入任何产品代码。installer 本身失败的配套入口会被释放，其注册会回滚，因此损坏的检查不会遗留部分监听器。
|
|
91
91
|
|
|
92
92
|
-----
|
|
93
93
|
|
|
@@ -104,14 +104,14 @@ ctx.plugin(SessionInvariant)
|
|
|
104
104
|
- **与产品无关的注册表。** 服务不导入任何 session、agent、scope 或 agent-loop 包，也不包含它们的检查；配套入口把检查放在其归属者旁边。
|
|
105
105
|
- **真实关系，而非人为断言。** 配套入口只检查其包拥有的事件流或可变数据关系；确认方法、插件名、注入或固定纯函数结果是类型、加载或单元测试关注点，绝不是运行时不变量。
|
|
106
106
|
- **注册保留归属。** 即使过滤器让 installer 保持非活动，包名也会被保留，因此两个插件永远不会静默认领同一个名字。
|
|
107
|
-
-
|
|
107
|
+
- **配套入口接线由机械规则强制。** `pnpm run verify-package-invariants` 拒绝空 installer、省略或忽略 reporter 的 installer、错误注册名、不完整的发布接线，以及省略配套入口后残留的接线（[省略配套入口笔记](../../../.agents/notes/implemented/simplification/2026-08-28-omit-unneeded-invariant-companions.zh.md)）。
|
|
108
108
|
|
|
109
109
|
### 源码地图
|
|
110
110
|
|
|
111
111
|
| 文件 | 职责 |
|
|
112
112
|
|---|---|
|
|
113
113
|
| [`src/index.ts`](src/index.ts) | 插件入口：`Config` schema、`InvariantRegistry` 服务、选择、注册、`InvariantError` |
|
|
114
|
-
| — |
|
|
114
|
+
| — | 不发布运行时不变量配套入口；注册归属与子级生命周期本身就是服务的变更边界；由同一注册表观察它们只会重复其实现。 |
|
|
115
115
|
|
|
116
116
|
### 选择与注册生命周期
|
|
117
117
|
|
|
@@ -126,9 +126,9 @@ ctx.plugin(SessionInvariant)
|
|
|
126
126
|
|
|
127
127
|
当包级约定不够用时阅读以下页面。它们从生成的服务参考逐步进入决策证据与组地图。
|
|
128
128
|
|
|
129
|
-
- [
|
|
129
|
+
- [运行时不变量子系统](../../../docs/subsystems/invariants.zh.md)——`Config`、installer、服务与配套入口约定的生成参考。
|
|
130
130
|
- [生成的配置目录](../../../docs/config-catalog.zh.md#deepseek-aidsh-invariants)——每个受支持配置字段及其源声明。
|
|
131
|
-
- [
|
|
131
|
+
- [运行时不变量约定 Agent Note](../../../.agents/notes/implemented/architecture/2026-07-19-package-invariant-runtime-contracts.zh.md)——运行时不变量可以断言什么，以及强制配套入口接线的机械门禁。
|
|
132
132
|
- [runtime-diagnostics 组地图](../../README.zh.md)——相邻的诊断包。
|
|
133
133
|
|
|
134
134
|
-----
|
package/package.json
CHANGED