From 30f1ba7596aefc85c9b3eec3c411e9513eb01210 Mon Sep 17 00:00:00 2001 From: agent-exec-transport Date: Sun, 18 Oct 2026 18:26:17 +0000 Subject: [PATCH] agent-exec transport 784bbb17249cbafbbe0b175ffedc8d0e/2d4460afee16 --- PROJECT.md | 15 ++++++++++++++- policy/adoption.md | 23 ++++++++++++++++------- policy/guidelines-adoption.md | 10 +++++----- 3 files changed, 35 insertions(+), 13 deletions(-) diff --git a/PROJECT.md b/PROJECT.md index 4edc2d2c..65c0c60b 100644 --- a/PROJECT.md +++ b/PROJECT.md @@ -21,6 +21,18 @@ 多个分支向 Dev main 交付时按 [合入调度](policy/delivery.md#合入调度) 执行；实际采纳范围见 [采纳记录](policy/adoption.md)。 +## 法规知识库组合 + +- 计划：[法规知识库计划](docs/superpowers/plans/2026-10-18-regulations-knowledge-base-plan.md)（U8 固定组合）；进展与批准状态以该计划、任务卡与 PR 为准。 +- 固定版本：Dev 侧模块以 gitlink 与 `.gitmodules` 为准；RDM 与 KB-Regulations 提交以 + `tests/integration/regulations-kb/components.pin`（`rdm_sha`、`kb_sha`）为准。KB 经 RDM 的 + `pins/agent-system-kb-regulations` gitlink 接入，门禁要求该 gitlink 是 `kb_sha` 的祖先。 +- 凭据变量：`KBREG_DATABASE_URL`、`KBREG_EMBED_API_KEY`、`KBREG_SEARCH_ZHIPU_API_KEY`、`KBREG_MINERU_TOKEN` + （测试库用 `KBREG_TEST_DATABASE_URL`）。按环境注入、轮换与撤销见 KB 仓 `docs/operations/runbook.md`；值不入仓、不回显。 +- 门禁：`make test-regulations-kb` 需 `KBREG_TEST_DATABASE_URL`、`SVC_RDM_SRC_DIR`、`KB_SRC_DIR`， + 独立于 `make test`、不纳入其中；说明见 [tests/integration/regulations-kb/README.md](tests/integration/regulations-kb/README.md)。 + 该门禁通过不代表部署、版本发布或业务/法务验收完成。 + ## 方向与规划入口 长期方向、目标及跨任务规划从过程仓的 [项目方向与规划索引](modules/documents/docs/proposals/INDEX.md) @@ -42,7 +54,8 @@ [U1 实施计划](modules/documents/docs/proposals/2026-10-12-fast-slow-channel-display-u1-plan.md)。 - [渐进工作台界面重设计](modules/documents/docs/proposals/2026-10-12-work-companion-ui-design.md)： [计划](modules/documents/docs/proposals/2026-10-12-work-companion-ui-plan.md) 覆盖任务摘要、对话/输入、窄屏和真实状态投影。 -- [服务重启与全量数据恢复](modules/documents/docs/proposals/2026-10-12-service-restart-data-recovery.md)：svc 启停、异常退出后的依赖、配置/数据身份、任务/HITL/副作用、文件与组合备份恢复。 +- [服务重启与全量数据恢复](modules/documents/docs/proposals/2026-10-12-service-restart-data-recovery.md)：svc 启停、异常退出后的依赖、配置/数据身份、任务/HITL/副作用、文件与组合备份恢复； + U8 规格见 [SQLite 实例守护](docs/recovery/u8-sqlite-instance-guard.md)。 - [svc 统一部署与一次性登录 Key](modules/documents/docs/proposals/2026-10-12-svc-unified-deploy-and-login-key.md)： 二进制/源码统一部署、环境准备、无初始密码开户与账户恢复；规格见 `docs/svc-deploy/`， 账户与恢复续审见 [续审记录](docs/svc-deploy/2026-10-12-account-durability-plan-review.md)。 diff --git a/policy/adoption.md b/policy/adoption.md index 97238e44..86603caa 100644 --- a/policy/adoption.md +++ b/policy/adoption.md @@ -1,13 +1,14 @@ # 通用规范采纳记录（Agent-System-Dev 组合） - 项目/负责人：Agent-System 组合 / weichen -- 状态：active（2026-09-30 经 PR weichen/Development-Guidelines#1 采纳 draft.7；机制经 Dev PR#1 合入 ef89fc8） +- 状态：active（首次采纳：2026-09-30 经 PR weichen/Development-Guidelines#1 采纳 draft.7，机制经 Dev PR#1 合入 ef89fc8；当前固定版本见下） - 规范位置：deps/development-guidelines（gitlink 固定版本） - 过程文档位置：modules/documents（docs/records/） - 版本权威：父仓 gitlink -- 批准/生效依据：Dev PR#1（19/19 正负例 + make test）；guidelines PR#1 -- 规范源码版本：`0.1.0-draft.12`，实际合入提交 `2688fd2be6a52c0bf110e7e6366b6f291ab5e4eb`（Guidelines PR #7）；本仓 gitlink（`deps/development-guidelines`）固定该源码版本，版本权威为父仓 gitlink。 -- 合入调度通用版本：`0.1.0-draft.11`，实际合入提交 `2f5b19872be2a4597838a4131ad75d1be089ee5e`（Guidelines PR #5）；draft.12 未修改其合入调度文件（standards/merge-queue.md、templates/merge-queue.md）。Dev 采用 [manual 串行合入规则](delivery.md#合入调度)：并行开发，轮到后才同步、跑最终 CI 并由智能体合入。该规则不要求先完成全写者审计或第二轮试行，也不宣称自动互斥已经实现。 +- 批准/生效依据：历史——Dev PR#1（19/19 正负例 + make test）、guidelines PR#1；治理 kit 采纳——Dev PR #602（merge `f563ed612a9574e798ee3421c010a9e2ceb416a0`，归档卡 `.task/archive/feature-governance-v2-closeout.md`）；当前固定版本随 feature/norm-remediation 交付，Review/CI 以该交付 PR 的 exact-head 记录为准 +- 规范源码版本：`0.1.0-draft.14`，Guidelines PR #11（含 U1 #10）合入提交 `a15db5085585f199c3c399824f6cf24c3144bbd5`；本仓 gitlink（`deps/development-guidelines`）固定该提交，版本以其 VERSION 为准，版本权威为父仓 gitlink。 +- 共享执行器版本：`deps/development-manager` 固定 Development-Manager PR #27（含 #26 单写者提示）合入提交 `6c019595fa02aa2d0a1a9b8f98fc224e69d2a901`；首次治理 kit 采纳时为 `0552b7358d6955057d6eea090326f83317ed992a`（Dev PR #602）。 +- 历史固定版本：draft.12 `2688fd2be6a52c0bf110e7e6366b6f291ab5e4eb`（Guidelines PR #7）；合入调度通用条文首次采纳于 draft.11 `2f5b19872be2a4597838a4131ad75d1be089ee5e`（Guidelines PR #5）。Dev 采用 [manual 串行合入规则](delivery.md#合入调度)，不宣称自动互斥已经实现。 - 过程计划固定：Documents PR #96 实际合入 `129cc3579d9c9e3edfb46c99270d65f3e1dad0a0`，包含既有主干文档及获批 U1–U6 计划；当前进展以任务/PR 记录为准。 | 规范/工作流 | 适用条件与范围 | 执行方式/证据 | @@ -19,13 +20,21 @@ | standards/verification.md | 验收 | 本地 make test-governance + 组合测试；当前证据与历史 scratch 记录分开 | | standards/multi-repo.md | 跨仓/gitlink | manual；受控历史迁移通道已于 2026-09-30 行使一次（documents/records/2026-09-30-history-migration.md） | | 工作区回收 | 交付终点 | advisory（task-finish）；负例：合入前 finish 拒绝输出 | -| policy/delivery.md（项目收紧） | 需求、长期方向、试验、实施迭代及交付 | goal-first：目标/范围/终点一次确认，范围内连续推进验证、Review、合入和安全收口；实施写入按 agent-per-unit（配置 AGENT-EXECUTION.md；实施/修复/测试正常候选仅为 Cursor、agy、PI，每候选对安全可恢复失败最多 3 次全新尝试，全部安全耗尽后一次 Codex CLI 紧急尝试；Codex 平时只用于规划、设计、计划或独立 Review；显式 fail-stop 立即停止；不限制推理时长、工具次数、规划方式或首次写文件时间；集成须成功 transport 的 agent-exec apply，或 pre-commit admit 精确内容来源；host 豁免仅为 .task/** 与 docs/superpowers/specs/**、plans/**；host 不直接实施；fallback_to_host 为 never；安全耗尽不发出 host-fallback-authorized，终态为 unavailable 或 blocked）；仅真实决策点需人工；任务卡提供记录，post-merge 默认只提示，行为回归见 tests/test_task.py | -| AGENT-EXECUTION.md + agent-exec | 项目执行路由 | 本地 SELF：parser/adapter/controller 假 CLI 契约由共享执行器自身测试强制（Development-Manager internal/agentexec，经 deps/development-manager 钉住），并由 CI 中的 `scripts/agent-exec validate --repo .` 覆盖；本地薄入口拒绝路径由 tests/test_agent_exec_entry.py 强制；已安装 provider/model 真实身份待 U5 探针，此前不接受为已就位；远端平台准入仍为 GATE | +| policy/delivery.md（项目收紧） | 需求、长期方向、试验、实施迭代及交付 | goal-first：目标/范围/终点一次确认，范围内连续推进验证、Review、合入和安全收口；仅真实决策点需人工。实施写入按 agent-per-unit，候选、尝试上限、fail-stop、集成来源与 host 豁免以 [AGENT-EXECUTION.md](../AGENT-EXECUTION.md) 和 [Agent 实施单元](delivery.md#agent-实施单元与主模型职责) 为准（`fallback_to_host` 为 never）。任务卡提供记录，post-merge 默认只提示，行为回归见 tests/test_task.py | +| AGENT-EXECUTION.md + agent-exec | 项目执行路由 | 本地 SELF：parser/adapter/controller 假 CLI 契约由共享执行器自身测试强制（Development-Manager internal/agentexec，经 deps/development-manager 钉住），CI 运行 `scripts/agent-exec validate --repo .`；本地薄入口拒绝路径由 tests/test_agent_exec_entry.py 强制。模型身份逐次运行区分 requested/effective，CLI 未报告时记 not-observable，不视为已就位；远端平台准入仍为 GATE | | standards/tool-adaptation.md（draft.8） | 为工具创建规则/钩子实例 | 本组合 CLI/git 级实例已登记：policy/tool-adaptation-matrix.md（A1–A7 逐行定级+正负例证据） | | 同上（zcode 实例） | zcode 客户端写路径 | policy/tool-adaptation-zcode.md：PreToolUse 写守卫；脚本负例与客户端接线分开，客户端 pending-live | | core/baseline.md「规范层级」+ documentation.md「记忆分层/机制化」（draft.9） | 层级效力、记忆权威、经验机制化 | manual：本仓 policy/ 仅收紧不放宽；记忆四层按条文执行（任务卡=任务记忆，documents/records=项目记忆，Dev 仓 AGENTS.md 指针已就位） | | draft.11 合入调度 | active/manual；Dev main 使用 #518 排序和单一最终窗口 | 等待分支不追 main；窗口任务同步一次、固定 HEAD、跑当前必需 CI、由智能体合入并回读结果。Issue 不是原子锁，平台保护仍承担最终准入 | -| draft.12 工程 Agent 执行标准、终态收据 Schema、两级交付与分流（硬边界 8、agent-execution、A8） | 实施、交付、分流与 PR 目标；任务启动前 | active/manual：`make task-triage` 收据为 `make task-start … TRIAGE_RECEIPT=…` 的前置，远端不可核验时 REMOTE_UNVERIFIED（exit 6）并拒绝建分支；child PR 由 `make task-pr-check` 本地核验与 CI `PR base gate` 门禁；AGENT-EXECUTION.md 已声明 `integration` 块。draft.12 Schema 正负例与平台侧负例在项目中的真实运行本次未执行（NOT_RUN），不由本行推断 | +| draft.12 起：工程 Agent 执行标准、终态收据 Schema、两级交付与分流（硬边界 8、agent-execution、A8） | 实施、交付、分流与 PR 目标；任务启动前 | active/manual：`make task-triage` 收据为 `make task-start … TRIAGE_RECEIPT=…` 的前置，远端不可核验时 REMOTE_UNVERIFIED（exit 6）并拒绝建分支；child PR 由 `make task-pr-check` 本地核验与 CI `PR base gate` 门禁；AGENT-EXECUTION.md 已声明 `integration` 块。规则采纳不等于各 Schema 用例已在项目中运行，见下节 | +| draft.14：有界单元包、上下文预算与阶段交接（standards/agent-execution.md、workflows/handoff.md） | 实施、修复、测试与 Review 单元的派遣和跨阶段交接 | active/manual（默认采纳）：通用规则供应商无关，留在共享规范与 [有界单元包、上下文与阶段交接](delivery.md#有界单元包上下文与阶段交接)；模型偏好只是 [AGENT-EXECUTION.md](../AGENT-EXECUTION.md) 的项目配置，不是路由角色。上下文容量未知、无自动压缩或 CLI 未登录只作事实记录，不构成全局停止；不新增 fail-close 或强制门禁 | + +## 采纳证据与未运行项 + +- 历史正例与四类负例（SELF，非本次新运行）：Dev PR #602 归档卡 `.task/archive/feature-governance-v2-closeout.md` 的 evidence 收据记录 `python3 docs/superpowers/plans/evidence/governance-adopt-cases.py .` 在源提交 `271d95ff688a1104f1717f19a7d3458332059dc6`（后于 `437a32ead266c0ab56053f2749e2a34f4ecfc177` 重放）ALL PASS 5 例：`positive-run-apply`（success 后 apply 成功）、`missing-config`（invalid-config）、`bad-receipt`（无效收据，apply 拒绝且 HEAD 不变）、`out-of-scope-path`（scope-expansion、无 transport）、`unknown-side-effect`（failed-unknown、无 transport）。该 PR 头 `0e27c7b5d70bdcebf063379845d0384fbb72f718` 的必需 CI（run 3684）只是当时那个 head 的 GATE，不成为当前 exact-head GATE。 +- 来源分层：agent-exec apply/admit 的本地完整性记录（HMAC）只证明内容来源，属 SELF；交付信任仍来自精确 HEAD 的必需 CI 与独立 Review（见 [本地记录与独立证据](governance.md#本地记录与独立证据)），二者分别登记。 +- 规则采纳、manual/advisory 执行能力与逐例证据分开登记：缺少与上述用例无关的额外用例不使既有 active 记录失效，也不据此宣称新的强制能力。 +- NOT_RUN：draft.12/draft.14 Schema 正负例与平台侧负例在本项目中的新运行；真实模型的采纳前后质量对比测试。 ## 项目差异 diff --git a/policy/guidelines-adoption.md b/policy/guidelines-adoption.md index ada1ae8b..c81a1ae0 100644 --- a/policy/guidelines-adoption.md +++ b/policy/guidelines-adoption.md @@ -5,8 +5,8 @@ - 规范位置：`deps/development-guidelines` - 规范性文档目录：`policy/`（项目规则与制度放此处；只收紧不放宽上游规范） - 过程文档位置：任务卡 `.task/`，归档 `.task/archive/`，规划记录 `docs/superpowers/plans/`；任务主记录在对应 PR 中 -- 版本权威：本仓 gitlink `deps/development-guidelines` @ `2688fd2be6a5`（完整提交 `2688fd2be6a52c0bf110e7e6366b6f291ab5e4eb`）；可读标签：无 -- 批准/生效依据：`feature/governance-v2-closeout PR（Agent-System-Dev）`；在该 PR 合入前，证据、Review 与 CI 须先记录于 `.task/feature-governance-v2-closeout.md` +- 版本权威：本仓 gitlink `deps/development-guidelines` @ `a15db5085585`（完整提交 `a15db5085585f199c3c399824f6cf24c3144bbd5`，`0.1.0-draft.14`，Guidelines PR #11）；可读标签：无；版本以该提交的 VERSION 为准，历史固定版本见 [policy/adoption.md](adoption.md) +- 批准/生效依据：Dev PR #602 已合入（merge `f563ed612a9574e798ee3421c010a9e2ceb416a0`），证据、Review 与 CI 记录见归档卡 `.task/archive/feature-governance-v2-closeout.md`；当前固定版本随 feature/norm-remediation 交付 - 替代范围和迁移说明：无。既有 [policy/adoption.md](adoption.md) 的逐条决策保持不变，本文件不替代其内容。 逐条规范的采纳、不适用理由与执行方式以 [policy/adoption.md](adoption.md) 为准，本文件不重复其表格。 @@ -17,7 +17,7 @@ | 规范/工作流 | 适用条件与范围 | 采纳或不适用理由 | 执行方式/证据 | |---|---|---|---| -| [standards/agent-execution.md](../deps/development-guidelines/standards/agent-execution.md) | 工程 Agent CLI 执行路由、会话隔离与受控集成 | 凡允许 AI 协助必须采纳；配置见 `AGENT-EXECUTION.md` | advisory：`AGENT-EXECUTION.md` + `scripts/agent-exec`（validate / admit）；CI 步骤「Validate AGENT-EXECUTION.md with the pinned shared executor」与「Governance check with the pinned kit」（`scripts/dm governance check --repo .`）。分支保护要求 governance check 为必需检查之前，不宣称为强制（enforced）门禁 | +| [standards/agent-execution.md](../deps/development-guidelines/standards/agent-execution.md) | 工程 Agent CLI 执行路由、会话隔离与受控集成 | 凡允许 AI 协助必须采纳；配置见 `AGENT-EXECUTION.md` | advisory：`AGENT-EXECUTION.md` + `scripts/agent-exec`（validate / admit；本地完整性记录属 SELF）；draft.14 起含有界单元包、上下文与阶段交接，项目只配置模型偏好；CI 步骤「Validate AGENT-EXECUTION.md with the pinned shared executor」与「Governance check with the pinned kit」（`scripts/dm governance check --repo .`）。分支保护要求 governance check 为必需检查之前，不宣称为强制（enforced）门禁 | ## 项目差异 @@ -27,5 +27,5 @@ - 入口：根目录 `AGENTS.md`、`PROJECT.md`、`AGENT-EXECUTION.md`、`scripts/dm`、`scripts/task`、`.task/templates/task-card.md`。 - 相对链接：规范文档统一经 `../deps/development-guidelines/...` 引用；本仓内文档使用仓内相对路径。 -- 版本获取：`deps/development-guidelines` gitlink 固定于上表版本；`deps/development-manager` gitlink 固定于 `0552b7358d6955057d6eea090326f83317ed992a`，由 `scripts/dm` 按该提交构建共享 dm-server。 -- 验证：在采纳 PR 的临时副本中运行 `scripts/dm governance check --repo .` 与 `scripts/agent-exec validate --repo .`，结果与 `make test-governance` 记录于 `.task/feature-governance-v2-closeout.md`。 +- 版本获取：`deps/development-guidelines` gitlink 固定于上文版本；`deps/development-manager` gitlink 固定于 `6c019595fa02aa2d0a1a9b8f98fc224e69d2a901`（Development-Manager PR #27，首次采纳时为 `0552b7358d69`），由 `scripts/dm` 按该提交构建共享 dm-server。 +- 验证：首次接入时 `scripts/dm governance check --repo .`、`scripts/agent-exec validate --repo .`、正例与四类负例及 `make test-governance` 的 SELF 结果见归档卡 `.task/archive/feature-governance-v2-closeout.md`（摘要见 [policy/adoption.md](adoption.md#采纳证据与未运行项)），不作为当前 exact-head 证据；当前固定版本以交付 PR 当前 HEAD 的必需 CI 为准。