frontend-project-context 1.0.1 → 1.2.0

package/docs/17-AI-EXCHANGE-BOUNDARY-DESIGN.md

@@ -0,0 +1,268 @@
+# 17 — `1.2.0` AI Exchange Boundary 设计
+
+> 权威说明：本文定义项目与现有 AI 编程工具之间的模型无关双向交换边界；如与 [00-PRODUCT-CONSTITUTION.md](./00-PRODUCT-CONSTITUTION.md) 冲突，以产品宪法为准。
+>
+> 状态：`implemented-local; A-56-through-A-63-and-full-69-test-suite-passed; release-not-authorized`
+>
+> 设计基线：`frontend-project-context@1.1.0` 本地完整性修正、Assist Bundle schema 1、A-01 至 A-55、B0-01/B0-02、CLI 与发布工件共 61 项通过。
+
+## 1. 决定
+
+Frontend Project Context 的主要职责是成为项目与 AI 编程工具之间的桥梁。现有内核已稳定完成“项目 → AI”的治理、编译和投影，`1.1.0` 也已能以 Assist Bundle 向外部 Agent 输出 setup/sync 工作单元。但“AI → 项目”仍依赖宿主自行拼装多个 CLI 参数，没有统一、可验证、可分组审查的机器合同。
+
+因此产品内核增加第七项：**AI Exchange Boundary**。
+
+它只扩展桥接协议，不扩展为 Provider wrapper、Agent Runtime 或任务执行系统。
+
+## 2. 双向桥梁合同
+
+```text
+项目来源
+→ 人工治理的 Project Contract
+→ Context / Assist Bundle
+→ 现有 AI 编程工具
+→ Action Plan
+→ 确定性 Preflight / Review Bundle
+→ 人明确批准具体 action、ID 和路径
+→ 复用现有细粒度安全写命令
+→ 新的 Project Contract / projection
+```
+
+桥梁的责任边界是：
+
+1. 把项目知识编译成 AI 可消费的最小、可追溯上下文；
+2. 把 AI 的建议收敛为实例化、可预检、可人工审查的 action；
+3. 用 schema、snapshot、digest、scope、impact 和 ownership 限制 action；
+4. 在人批准后仍复用已验收的细粒度命令，不新建一个隐式权限更大的批处理写入器。
+
+## 3. 内核与适配器的分界
+
+### 3.1 归入内核
+
+- Assist Bundle 的机器可读 schema、版本和完整工作单元；
+- 模型无关 Action Plan schema；
+- 纯预检的 Review Bundle；
+- 公开 capability 与 protocol version 描述；
+- 对现有 register/propose/accept/revise/deprecate/approve/publish 原语的结构化映射；
+- 人工批准前的完整差异、baseline、impact、blocker 和路径集。
+
+### 3.2 仍属适配器
+
+- Codex Skill、Claude instruction、MCP Server、IDE 插件或 AGENTS 触发说明；
+- 把用户自然语言转换成 `setup`、`sync`、`context` 或 Action Plan 的宿主逻辑；
+- 外部 CI 从 Git 或平台事件获取 changed path 的逻辑。
+
+适配器可以根据不同 AI 工具替换；内核 schema、安全性和人工权限不随模型改变。
+
+## 4. 新增公共入口
+
+### 4.1 `capabilities`
+
+```text
+project-context capabilities --project PATH [--json]
+```
+
+永远只读，对未初始化和已初始化项目都可用。JSON 固定返回：
+
+- package version 与 exchange protocol version；
+- Contract/proposal/lock/renderer/dashboard/Assist/Action Plan/Review Bundle schema version；
+- 当前可用命令与 action kind；
+- initialized 状态和已初始化项目的 ID/name；
+- 永久边界：无 Provider、无 Agent Runtime、无 Git、无自动批准、无业务代码写入。
+
+输出必须从实现常量派生，不另存 capability 配置文件。
+
+### 4.2 `preflight`
+
+```text
+project-context preflight --project PATH --plan FILE [--json]
+```
+
+`preflight` 只读 Action Plan，不接受 `--write`、`--by`、`--approve`、`--ids` 或任何授权参数。它必须：
+
+1. 验证 Action Plan schema 与 project ID；
+2. 验证三个 project snapshot baseline；
+3. 对每个 action 复用现有纯 preview/helper；
+4. 计算 exact item/source/path/projection impact；
+5. 把相同人工决策类型稳定分组；
+6. 输出 Review Bundle 和结构化 invocation，不输出可直接 shell 执行的拼接字符串；
+7. 任一 action 不可审查时整份 plan 标记 blocked，但不隐藏其他 action 的预检结果。
+
+`1.2.0` 不新增 `apply-plan`。人工批准后，宿主根据 Review Bundle 中已展示的结构化 invocation 调用现有细粒度命令；任一 baseline 失效立即停止并重新 `sync`/`preflight`。
+
+## 5. Action Plan schema 1
+
+Action Plan 是由外部 AI 或其他调用方产生的短生命周期输入，不是 store，不是 Contract，不自带权限。
+
+```json
+{
+  "schemaVersion": 1,
+  "projectId": "project-id",
+  "baselines": {
+    "contract": "sha256:...",
+    "sourcesLock": "sha256:...",
+    "projectionsLock": "sha256:..."
+  },
+  "actions": [
+    {
+      "id": "action-revise-ui-copy",
+      "kind": "revise-item",
+      "input": {}
+    }
+  ]
+}
+```
+
+固定规则：
+
+- action ID 在当前 plan 中唯一且稳定；
+- `actions` 非空，按 ID 规范排序后计算 plan digest；
+- 拒绝未知字段、未知 action kind、重复 ID 和非项目内路径；
+- action 不得包含 `write`、`by`、`approval`、Provider 配置、shell command 或 AI 推理正文；
+- action 只表达建议，不表达人已批准。
+
+### 5.1 action kind
+
+| kind | 复用现有原语 | 必须携带的主要 baseline |
+| --- | --- | --- |
+| `register-source` | `register` preview | contract/source locator |
+| `propose-item` | `propose` preview | contract + proposal output path |
+| `accept-source-change` | `review-source` + `accept-source-change` preview | contract、source object、locked/current digest、affected IDs |
+| `revise-item` | `revise` preview | contract + current item digest |
+| `deprecate-item` | `deprecate` preview | contract + current item digest |
+| `deprecate-source` | `deprecate-source` preview | contract、source object digest、affected IDs |
+| `request-item-approval` | `approve` preview | proposal/pending item ID + contract/proposal baseline |
+| `publish-projection` | `publish` preview | contract + projection lock/ownership baseline |
+
+`input` 使用对应原语已公开的类型化参数，不复制第二套 scope、source、item 或 projection 解析器。
+
+## 6. Review Bundle schema 1
+
+```json
+{
+  "schemaVersion": 1,
+  "projectId": "project-id",
+  "planDigest": "sha256:...",
+  "baselines": {},
+  "status": "reviewable | blocked",
+  "summary": {
+    "actions": 0,
+    "reviewable": 0,
+    "blocked": 0,
+    "groups": 0
+  },
+  "actions": [],
+  "groups": [],
+  "findings": [],
+  "invocations": []
+}
+```
+
+每个 action 结果必须包含：
+
+- action ID/kind 和 `reviewable | blocked` 状态；
+- exact current/proposed 差异；
+- source/item/path/projection ID 影响集；
+- action 特定 baseline 与 blocker；
+- `humanApprovalRequired: true`；
+- 若可审查，一份 `{ command, args }` 结构化 invocation，不包含 `--write`、`--by` 或任何人类身份伪造。
+
+`groups` 至少分为 source change、new/revised knowledge、deprecation、approval request、projection 和 blocker。每组只可引用已完整展示的 action ID，不得用“全部后续变化”之类开放授权。
+
+## 7. 机器可读 schema 发布
+
+`1.2.0` 应在 npm 包中公开：
+
+```text
+schemas/capabilities.schema.json
+schemas/assist-bundle.schema.json
+schemas/action-plan.schema.json
+schemas/review-bundle.schema.json
+```
+
+schema 文件是交换形式的机器合同，不是项目真源。运行时验证与 schema 必须由同一组常量和验证规则产生或交叉验收，不允许文档与代码漂移。
+
+Contract、proposal、source lock、projection lock、renderer 和 Dashboard schema 不因此变更。
+
+## 8. 权限、并发与失败恢复
+
+- `capabilities`、`setup`、`sync`、`context`、`preflight` 可被 Agent/CI 自动调用，但不产生持久权限；
+- Action Plan 即使由人提供，也只是待审查建议；
+- Review Bundle 不是 approval receipt，不能被原命令解释为已授权；
+- 人必须根据已展示内容明确批准具体 action/ID/path，宿主才可补入已授权的 `--write`、`--by` 和 rationale；
+- 每个写命令继续使用自身 baseline 和原子写；
+- 任一写入后 project snapshot 变化，未执行的旧 invocation 全部失效，必须重新 `sync`/`preflight`；
+- 不引入全局 rollback、自动重放或跨命令事务。
+
+## 9. 错误类别
+
+| code | 退出码 | 含义 |
+| --- | --- | --- |
+| `action-plan-schema-invalid` | 2 | plan 字段、kind 或类型非法 |
+| `action-plan-project-mismatch` | 2 | plan project ID 与当前项目不同 |
+| `action-plan-baseline-changed` | 1 | plan snapshot 已过期，需重新 sync/preflight |
+| `action-plan-conflict` | 1 | action 内部重复、依赖循环或互相冲突 |
+| `action-preflight-blocked` | 1 | 对应现有原语预检失败 |
+
+能用现有稳定错误精确表达的情况必须直接复用，不创建同义错误。
+
+## 10. 兼容与版本
+
+- package 目标版本为 `1.2.0`，因为新增公共 CLI、机器 schema 和内核桥接协议；
+- `1.1.0` Assist Bundle 保持 schema 1，`1.2.0` 只补充机器 schema 文件与交叉验证；
+- 旧项目不需要 store migration；
+- 所有旧命令、参数和退出码保持兼容；
+- 旧 Host Agent 可继续直接调用原命令，不强制生成 Action Plan；
+- npm 包将 `schemas/` 加入白名单，不加入项目动态状态。
+
+## 11. 唯一实现范围
+
+| 文件 | 允许变更 |
+| --- | --- |
+| `src/project-context/exchange-schema.mjs` | Action Plan 与 Review Bundle 类型验证、稳定规范化 |
+| `src/project-context/exchange.mjs` | capabilities、preflight 聚合、分组和 structured invocation |
+| `src/project-context/assist.mjs` | 仅为机器 schema 交叉验收暴露必要常量；不改变 `1.1.0` 语义 |
+| `src/project-context/cli.mjs` | 新增 `capabilities`/`preflight` 及严格 allowlist |
+| `schemas/*.schema.json` | 四份公开交换 schema |
+| `test/project-context/exchange.test.mjs` | A-56 至 A-63 |
+| `README.md`、`docs/04`、`docs/05`、`docs/08`、`UPGRADING.md`、`CHANGELOG.md` | 实现后同步真实行为 |
+| `package.json` | 实现后升至 `1.2.0` 并发布 `schemas/` |
+
+不新建数据库、索引、缓存、Provider client、Agent loop、shell executor、Git 读取、scheduler、daemon、watcher、业务代码修改器或自动批准器。
+
+## 12. 冻结验收 A-56 至 A-63
+
+- **A-56 capability 可发现性**：未初始化/已初始化项目输出确定性 capability，版本、schema、action kind 和永久边界与代码一致，零写入。
+- **A-57 Action Plan schema**：合法 plan 稳定规范化；未知字段/kind、重复 ID、越界路径、权限字段和 shell 字符串失败封闭。
+- **A-58 原语复用**：八类 action 全部复用现有 schema/helper/preview，不存在第二套 scope、impact、source 或 projection 语义。
+- **A-59 Review Bundle 完整性**：精确 current/proposed、baseline、item/source/path/projection 影响、blocker、分组和 structured invocation 稳定且无遗漏。
+- **A-60 人工权限**：capabilities/preflight/plan/review 均不写 store/projection/业务文件，不产生 approval，invocation 不包含 write/by。
+- **A-61 baseline 与恢复**：三个 snapshot 或 action-specific digest 变化必须阻断旧 plan；重新 sync/preflight 可收敛，不重放旧计划。
+- **A-62 机器 schema 一致性**：四份发布 schema 验证实际 fixture 输入/输出，package whitelist 包含它们且不包含动态项目状态。
+- **A-63 兼容与永久边界**：A-01 至 A-55、B0/CLI/发布工件全部继续通过；零 Provider、Agent Runtime、Git、network、child process、dependency install、scheduler、daemon、自动批准或业务代码修改。
+
+实现 Gate：八项新验收全部通过，全量 `npm run check` 预期为 69/69；README/help/schema 足以让一个不同模型的宿主在不依赖内部代码的情况下生成 Action Plan 并理解 Review Bundle。这是协议可用性验收，不伪称已内置或运行任何真实 Host Agent。
+
+## 13. 明确不做
+
+- 不调用 OpenAI、Anthropic、Gemini 或其他 Provider；
+- 不实现 Agent Runtime、prompt runner、tool loop 或自然语言路由器；
+- 不新增 `apply-plan` 或批量隐式授权；
+- 不把 AI 建议、Review Bundle 或对话保存为第二真源；
+- 不读取 Git diff，不管理 hook、commit、branch、PR 或 CI 平台；
+- 不根据新框架、文件名或单项目差异扩大 discovery；
+- 不运行项目验证命令、不修改业务代码；
+- 不用本设计授权真实项目访问、网络、打包、Git 写入或 npm 发布。
+
+## 14. 实现结果与停止条件
+
+`1.2.0` 已按本文冻结范围完成本地实现：
+
+- `capabilities` 在未初始化、partial 和已初始化项目中确定性返回实现常量派生的能力、schema 与永久边界；
+- `exchange-schema.mjs` 严格验证并稳定规范化 Action Plan schema 1，拒绝未知/权限/执行字段、重复 action、未知 kind 和项目外路径；
+- `exchange.mjs` 对八类 action 复用既有原语进行纯预检，输出 Review Bundle schema 1、精确 impact、blocker、稳定 group 和结构化 invocation；
+- approval/deprecation 只在内部借用既有 preview 语义进行验证，对外 proposed intent 明确要求人类身份与执行时间，不暴露内部 sentinel、不形成 approval；
+- `schemas/` 发布 capabilities、Assist Bundle、Action Plan 与 Review Bundle 四份机器合同，npm 白名单继续排除动态项目状态和自托管 store；
+- A-56 至 A-63 和全部旧验收共 69/69 通过，store schema、renderer、Dashboard 与旧 CLI 无迁移和无回归。
+
+实现和自托管同步完成后本阶段停止。当前仍不授权 Provider、Agent Runtime、`apply-plan`、自动批准/修复、业务代码执行、Git 管理、网络、依赖安装、scheduler、daemon、真实项目访问、`npm pack`、registry、push 或发布。构建与测试成功不等于发布授权。

package/docs/README.md

@@ -54,20 +54,28 @@
 
     记录首次公开发布前来源生命周期修补的冻结设计与本地实现：处理来源删除、搬迁和永久退役，不自动接受、批准或修复；A-40 至 A-45 已通过。
 
+12. [16-GUIDED-ONBOARDING-AND-AI-RECONCILIATION-DESIGN.md](./16-GUIDED-ONBOARDING-AND-AI-RECONCILIATION-DESIGN.md)
+
+    记录 `1.1.0` AI Exchange Boundary 聚合基础的冻结合同与本地实现：以 setup/sync 聚合既有原语，外部 AI 依据模型无关工作单元准备首次接入和增量维护，人集中评判；Assist Bundle 默认不携带来源正文，A-46 至 A-55 已通过。
+
+13. [17-AI-EXCHANGE-BOUNDARY-DESIGN.md](./17-AI-EXCHANGE-BOUNDARY-DESIGN.md)
+
+    记录 `1.2.0` 双向 AI 交换内核的冻结设计与本地实现结果：机器可发现 capability、Action Plan、只读 preflight/Review Bundle、结构化 invocation 和人工精确授权边界；A-56 至 A-63 已通过，发布仍未授权。
+
 ## 历史证据
 
-12. [06-HISTORICAL-PROTOTYPE.md](./06-HISTORICAL-PROTOTYPE.md)
-13. [07-REAL-TASK-EVIDENCE.md](./07-REAL-TASK-EVIDENCE.md)
+14. [06-HISTORICAL-PROTOTYPE.md](./06-HISTORICAL-PROTOTYPE.md)
+15. [07-REAL-TASK-EVIDENCE.md](./07-REAL-TASK-EVIDENCE.md)
 
 历史文档只解释为什么不再建设任务执行 Harness。它们不是程序需求、工作流或授权来源。
 
 ## Beta 证据
 
-14. [09-B0-DTG-TMC-MOBILE.md](./09-B0-DTG-TMC-MOBILE.md)
+16. [09-B0-DTG-TMC-MOBILE.md](./09-B0-DTG-TMC-MOBILE.md)
 
    记录首次真实项目只读接入、通用修补和同项目回归。报告中的历史“下一步”不再产生新需求。
 
-15. [10-B0-DTG-TMC-PC.md](./10-B0-DTG-TMC-PC.md)
+17. [10-B0-DTG-TMC-PC.md](./10-B0-DTG-TMC-PC.md)
 
    记录第二个真实项目只读接入和跨项目对比：核心链路与首轮通用修补再次通过。产品宪法已经停止继续寻找项目和扩充技术发现白名单。
 

package/examples/README.md

@@ -5,7 +5,20 @@
 维护者首次初始化：
 
 ```bash
-npm run context:init -- --id my-project --name "My Project" --write
+npm run context:setup -- --id my-project --name "My Project" --write --json
+```
+
+日常维护时生成只读变化工作单元：
+
+```bash
+npm run context:sync -- --changed-path src/example.ts --json
+```
+
+外部 AI 宿主先查询机器协议，再对无权限 Action Plan 生成只读 Review Bundle：
+
+```bash
+npm run context:capabilities -- --json
+npm run context:preflight -- --plan .project-context/action-plan.json --json
 ```
 
 团队和 CI 的只读 Gate：
@@ -14,4 +27,4 @@ npm run context:init -- --id my-project --name "My Project" --write
 npm run context:check
 ```
 
-应提交 `.project-context/contract.json`、`.project-context/sources.lock.json`、`.project-context/projections.lock.json` 和团队明确采用的受管投影。不要提交 proposal、dashboard HTML、tarball、node_modules 或临时 Context Bundle。
+人工审查 setup/sync 或 Review Bundle 返回的精确 action、ID 和路径后，继续使用 approve/accept/revise/deprecate/publish 的显式写入命令。Review Bundle invocation 不含 `--write`/`--by`，不能当成授权。应提交 `.project-context/contract.json`、`.project-context/sources.lock.json`、`.project-context/projections.lock.json` 和团队明确采用的受管投影。不要提交 proposal、Action Plan、Review Bundle、Assist Bundle、dashboard HTML、tarball、node_modules 或临时 Context Bundle。

package/examples/package.json

@@ -1,11 +1,15 @@
 {
   "private": true,
   "scripts": {
+    "context:setup": "project-context setup --project .",
     "context:init": "project-context init --project .",
     "context:check": "project-context check --project .",
-    "context:dashboard": "project-context dashboard --project ."
+    "context:dashboard": "project-context dashboard --project .",
+    "context:sync": "project-context sync --project .",
+    "context:capabilities": "project-context capabilities --project .",
+    "context:preflight": "project-context preflight --project ."
   },
   "devDependencies": {
-    "frontend-project-context": "1.0.1"
+    "frontend-project-context": "1.2.0"
   }
 }

package/package.json

@@ -1,6 +1,6 @@
 {
   "name": "frontend-project-context",
-  "version": "1.0.1",
+  "version": "1.2.0",
   "description": "Govern, compile, and verify project-local context for AI coding tools.",
   "private": false,
   "publishConfig": {
@@ -13,6 +13,7 @@
   "files": [
     "bin/",
     "src/",
+    "schemas/",
     "docs/",
     "examples/",
     "CHANGELOG.md",
@@ -24,8 +25,8 @@
     "project-context": "bin/project-context.mjs"
   },
   "scripts": {
-    "check": "node --check bin/project-context.mjs && node --test test/project-context test/release",
-    "test": "node --test test/project-context test/release",
+    "check": "node --check bin/project-context.mjs && npm test",
+    "test": "node --test test/project-context/acceptance.test.mjs test/project-context/assist.test.mjs test/project-context/cli.test.mjs test/project-context/dashboard.test.mjs test/project-context/exchange.test.mjs test/project-context/maintenance.test.mjs test/project-context/source-lifecycle.test.mjs test/release/acceptance.test.mjs",
     "prepack": "npm run check"
   },
   "engines": {

package/schemas/action-plan.schema.json

@@ -0,0 +1,250 @@
+{
+  "$schema": "https://json-schema.org/draft/2020-12/schema",
+  "$id": "urn:frontend-project-context:schema:action-plan:1",
+  "title": "Frontend Project Context Action Plan",
+  "type": "object",
+  "additionalProperties": false,
+  "required": ["schemaVersion", "projectId", "baselines", "actions"],
+  "properties": {
+    "schemaVersion": { "const": 1 },
+    "projectId": { "$ref": "#/$defs/id" },
+    "baselines": { "$ref": "#/$defs/baselines" },
+    "actions": {
+      "type": "array",
+      "minItems": 1,
+      "items": {
+        "oneOf": [
+          { "$ref": "#/$defs/registerSource" },
+          { "$ref": "#/$defs/proposeItem" },
+          { "$ref": "#/$defs/acceptSourceChange" },
+          { "$ref": "#/$defs/reviseItem" },
+          { "$ref": "#/$defs/deprecateItem" },
+          { "$ref": "#/$defs/deprecateSource" },
+          { "$ref": "#/$defs/requestItemApproval" },
+          { "$ref": "#/$defs/publishProjection" }
+        ]
+      }
+    }
+  },
+  "$defs": {
+    "id": { "type": "string", "pattern": "^[a-z0-9]+(?:[.-][a-z0-9]+)*$" },
+    "digest": { "type": "string", "pattern": "^sha256:[a-f0-9]{64}$" },
+    "path": { "type": "string", "minLength": 1, "not": { "pattern": "(^/|(^|[\\/])\\.\\.([\\/]|$))" } },
+    "baselines": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["contract", "sourcesLock", "projectionsLock"],
+      "properties": {
+        "contract": { "$ref": "#/$defs/digest" },
+        "sourcesLock": { "$ref": "#/$defs/digest" },
+        "projectionsLock": { "$ref": "#/$defs/digest" }
+      }
+    },
+    "scope": {
+      "oneOf": [
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind"],
+          "properties": { "kind": { "const": "project" } }
+        },
+        {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["kind", "path"],
+          "properties": {
+            "kind": { "enum": ["path-prefix", "file"] },
+            "path": { "$ref": "#/$defs/path" }
+          }
+        }
+      ]
+    },
+    "verification": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["kind"],
+      "properties": {
+        "kind": { "enum": ["none", "file-exists", "json-value", "path-digest"] },
+        "source": { "$ref": "#/$defs/id" },
+        "expected": {}
+      }
+    },
+    "itemInput": {
+      "type": "object",
+      "required": ["id", "kind", "subject", "value", "statement", "sources", "scope"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "enum": ["fact", "policy", "reference", "validation-description"] },
+        "subject": { "$ref": "#/$defs/id" },
+        "value": {},
+        "statement": { "type": "string", "minLength": 1 },
+        "sources": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/id" } },
+        "scope": { "$ref": "#/$defs/scope" },
+        "overrides": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/id" } },
+        "verification": { "$ref": "#/$defs/verification" }
+      }
+    },
+    "registerSource": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "input"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "const": "register-source" },
+        "input": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["id", "kind"],
+          "properties": {
+            "id": { "$ref": "#/$defs/id" },
+            "kind": { "enum": ["file", "path", "json-pointer", "human-decision", "external-reference"] },
+            "path": { "$ref": "#/$defs/path" },
+            "pointer": { "type": "string" },
+            "reference": { "type": "string", "minLength": 1 }
+          }
+        }
+      }
+    },
+    "proposeItem": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "input"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "const": "propose-item" },
+        "input": {
+          "unevaluatedProperties": false,
+          "allOf": [
+            { "$ref": "#/$defs/itemInput" },
+            {
+              "type": "object",
+              "required": ["output"],
+              "properties": { "output": { "$ref": "#/$defs/path" } }
+            }
+          ]
+        }
+      }
+    },
+    "acceptSourceChange": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "input"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "const": "accept-source-change" },
+        "input": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["id", "sourceObjectDigest", "lockedDigest", "currentDigest", "affectedItems"],
+          "properties": {
+            "id": { "$ref": "#/$defs/id" },
+            "sourceObjectDigest": { "$ref": "#/$defs/digest" },
+            "lockedDigest": { "$ref": "#/$defs/digest" },
+            "currentDigest": { "$ref": "#/$defs/digest" },
+            "affectedItems": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/id" } }
+          }
+        }
+      }
+    },
+    "reviseItem": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "input"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "const": "revise-item" },
+        "input": {
+          "unevaluatedProperties": false,
+          "allOf": [
+            { "$ref": "#/$defs/itemInput" },
+            {
+              "type": "object",
+              "required": ["expectedItemDigest"],
+              "properties": { "expectedItemDigest": { "$ref": "#/$defs/digest" } }
+            }
+          ]
+        }
+      }
+    },
+    "deprecateItem": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "input"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "const": "deprecate-item" },
+        "input": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["id", "expectedItemDigest", "rationale"],
+          "properties": {
+            "id": { "$ref": "#/$defs/id" },
+            "expectedItemDigest": { "$ref": "#/$defs/digest" },
+            "rationale": { "type": "string", "minLength": 1 }
+          }
+        }
+      }
+    },
+    "deprecateSource": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "input"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "const": "deprecate-source" },
+        "input": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["id", "expectedSourceDigest", "affectedItems", "rationale"],
+          "properties": {
+            "id": { "$ref": "#/$defs/id" },
+            "expectedSourceDigest": { "$ref": "#/$defs/digest" },
+            "affectedItems": { "type": "array", "uniqueItems": true, "items": { "$ref": "#/$defs/id" } },
+            "rationale": { "type": "string", "minLength": 1 }
+          }
+        }
+      }
+    },
+    "requestItemApproval": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "input"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "const": "request-item-approval" },
+        "input": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["mode", "ids"],
+          "properties": {
+            "mode": { "enum": ["pending", "proposal"] },
+            "ids": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/id" } },
+            "proposal": { "$ref": "#/$defs/path" },
+            "proposalDigest": { "$ref": "#/$defs/digest" },
+            "rationale": { "type": "string" }
+          }
+        }
+      }
+    },
+    "publishProjection": {
+      "type": "object",
+      "additionalProperties": false,
+      "required": ["id", "kind", "input"],
+      "properties": {
+        "id": { "$ref": "#/$defs/id" },
+        "kind": { "const": "publish-projection" },
+        "input": {
+          "type": "object",
+          "additionalProperties": false,
+          "required": ["target", "output", "paths", "expectedContentDigest"],
+          "properties": {
+            "target": { "enum": ["agents", "ruler"] },
+            "output": { "$ref": "#/$defs/path" },
+            "paths": { "type": "array", "minItems": 1, "uniqueItems": true, "items": { "$ref": "#/$defs/path" } },
+            "expectedContentDigest": { "anyOf": [{ "$ref": "#/$defs/digest" }, { "type": "null" }] }
+          }
+        }
+      }
+    }
+  }
+}