@pzy560117/codex-harness 0.1.0 → 0.1.2

package/package-source/docs/codex-harness-engineering/templates/package-assets/workflows/speckit.taskstoissues.md

@@ -0,0 +1,31 @@
+---
+description: Convert existing tasks into actionable, dependency-ordered GitHub issues for the feature based on available design artifacts.
+---
+
+## User Input
+
+```text
+$ARGUMENTS
+```
+
+You **MUST** consider the user input before proceeding (if not empty).
+
+## Outline
+
+1. Run `.agents/.specify/scripts/powershell/check-prerequisites.ps1 -Json -RequireTasks -IncludeTasks` from repo root and parse FEATURE_DIR and AVAILABLE_DOCS list. All paths must be absolute. For single quotes in args like "I'm Groot", use escape syntax: e.g 'I'\''m Groot' (or double-quote if possible: "I'm Groot").
+
+2. From the executed script, extract the path to **tasks**.
+
+3. Get the Git remote by running:
+
+```bash
+git config --get remote.origin.url
+```
+
+> [!CAUTION]
+> ONLY PROCEED TO NEXT STEPS IF THE REMOTE IS A GITHUB URL
+
+4. For each task in the list, use the GitHub MCP server to create a new issue in the repository that is representative of the Git remote.
+
+> [!CAUTION]
+> UNDER NO CIRCUMSTANCES EVER CREATE ISSUES IN REPOSITORIES THAT DO NOT MATCH THE REMOTE URL

package/package-source/docs/codex-harness-engineering/templates/package-assets/workflows/speckit.verify.md

@@ -0,0 +1,130 @@
+---
+description: Run feature-level verification from test-manifest.json, tasks.json, verify-matrix.md, and current git diff.
+---
+
+## User Input
+
+```text
+$ARGUMENTS
+```
+
+You **MUST** consider the user input before proceeding (if not empty).
+
+## 语言要求
+
+- 与用户的验证进展、失败归因、完成汇报全部使用简体中文。
+- 实际写入仓库的 `verify-report.md`、`docs/evidence/<feature>/verify.md` 和 `test-manifest.json` 状态更新必须使用简体中文说明。
+- 保留 `FR-001`、`AE-001`、`TEST-GAP`、路径、命令、exit code 等机器敏感标记原样不变。
+
+## Goal
+
+`/speckit.verify` 是 feature 完成后的验证线，不替代需求阶段测试左移，也不替代实现期 test-first。它只负责：
+
+- fresh evidence
+- affected tests
+- baseline / required commands
+- P0/P1 regression confirmation
+- failure triage
+
+如果当前 feature 还没有 `acceptance-examples.md`、`requirements-testability-review.md`、`verify-matrix.md`、`test-strategy.md` 或 `test-manifest.json`，不要临时猜测试范围；先回到 `/speckit.plan` 补齐。
+
+## Workflow
+
+1. Run `.agents/.specify/scripts/powershell/check-prerequisites.ps1 -Json -RequireTasks -IncludeTasks` from repo root and parse:
+   - `FEATURE_DIR`
+   - `FEATURE_SPEC`
+   - `IMPL_PLAN`
+   - `TASKS`
+
+2. Load only the verification inputs:
+   - `FEATURE_DIR/test-manifest.json`
+   - `FEATURE_DIR/tasks.json`
+   - `FEATURE_DIR/verify-matrix.md`
+   - `FEATURE_DIR/requirements-testability-review.md`
+   - `FEATURE_DIR/test-strategy.md`
+
+3. Validate readiness before running commands:
+   - `test-manifest.json` parses as JSON.
+   - All completed `integration` / `production` tasks have evidence paths.
+   - No formal requirement needed for this verification is `Blocked`.
+   - `TEST-GAP` entries are either intentionally accepted by delivery mode or converted into follow-up tasks.
+   - Every command about to run is concrete and executable from repo root.
+
+4. Build the verification command set:
+   - Baseline commands from `test-manifest.json.baseline.commands`.
+   - Required commands from each relevant requirement in `test-manifest.json.requirements`.
+   - Affected tests inferred from `git diff --name-only`, `tasks.json`, and `verify-matrix.md`.
+   - Always include `git -c core.safecrlf=false diff --check`.
+
+5. Execute commands from repo root:
+   - Record command, exit code, start/end time, and compact output.
+   - Stop on hard failure unless the failure is explicitly documented as pre-existing baseline failure.
+   - Do not mark a failed requirement as verified.
+
+6. Write verification outputs:
+   - `FEATURE_DIR/verify-report.md`
+   - `docs/evidence/<feature>/verify.md`
+
+7. Update `test-manifest.json`:
+   - Set `baseline.status` to `passed`, `failed`, or `blocked`.
+   - For each requirement, set status-like fields if present; if absent, add `verificationStatus`.
+   - Preserve existing requirement IDs, blockers, paths, and command arrays.
+
+8. Report:
+   - commands run
+   - passed / failed / skipped count
+   - affected tests
+   - requirements verified
+   - unresolved blockers or `TEST-GAP`
+   - next action: proceed, create follow-up tasks, or return to plan/tasks
+
+## Output Template
+
+`verify-report.md` should use this structure:
+
+```md
+# Verify Report: <feature>
+
+## Summary
+
+| Field | Value |
+| --- | --- |
+| Feature | |
+| Delivery Mode | |
+| Result | Passed / Failed / Blocked |
+| Generated At | |
+
+## Commands
+
+| Command | Exit Code | Result | Evidence |
+| --- | --- | --- | --- |
+
+## Requirement Verification
+
+| Requirement ID | Testability | Commands | Evidence Path | Result | Notes |
+| --- | --- | --- | --- | --- | --- |
+
+## Affected Tests
+
+| Changed Path | Selected Tests | Reason |
+| --- | --- | --- |
+
+## Failure Triage
+
+| Failure | Likely Owner | Root Cause | Next Action |
+| --- | --- | --- | --- |
+```
+
+## Hard Gates
+
+- Invalid or missing `test-manifest.json` blocks verification.
+- `integration` / `production` requirements with unresolved blockers remain `blocked`.
+- Missing evidence paths for completed `integration` / `production` tasks block verification.
+- Required commands failing without a documented pre-existing baseline failure block verification.
+- `TEST-GAP` cannot be silently treated as verified.
+
+## Next Steps
+
+- `/speckit.tasks` - create follow-up tasks for failed verification or `TEST-GAP`
+- `/speckit.implement` - fix failed tasks one boundary at a time
+- `/speckit.verify` - rerun after fixes

package/package-source/docs/codex-harness-engineering/templates/product/acceptance-criteria.md

@@ -0,0 +1,47 @@
+# Acceptance Criteria 模板
+
+> 目标: 把需求写成可以直接转化为测试、review 和验收证据的条目。
+
+## 1. 功能验收
+
+| AC ID | 关联需求 | 验收标准 | 优先级 | 验证方式 | 状态 |
+| --- | --- | --- | --- | --- | --- |
+| AC-001 | FR-001 | GIVEN [前置条件], WHEN [用户动作], THEN [可观察结果] | P0 | e2e / 手工验收 / 单测 | Draft |
+| AC-002 | FR-001 | WHEN [事件], THE [系统] SHALL [响应] | P0 | 单测 / 集成测试 | Draft |
+
+## 2. 异常与边界验收
+
+| AC ID | 场景 | 触发条件 | 预期行为 | 验证方式 |
+| --- | --- | --- | --- | --- |
+| AC-E001 | 空数据 | | 展示空态和可恢复操作 | story / e2e |
+| AC-E002 | 接口失败 | | 展示错误态和重试入口 | story / e2e |
+| AC-E003 | 权限不足 | | 隐藏或禁用受限操作 | e2e / 权限测试 |
+
+## 3. 契约验收
+
+- [ ] `contracts/openapi.yaml` 已更新或确认不需要更新。
+- [ ] client / types / mock 已同步或确认不适用。
+- [ ] 错误码、枚举、分页、空值语义已明确。
+- [ ] breaking change 已评估。
+
+## 4. 质量验收
+
+- [ ] lint 通过。
+- [ ] typecheck 通过。
+- [ ] unit / integration 通过。
+- [ ] build 通过。
+- [ ] 文档改动运行 `git diff --check`。
+
+## 5. UI 验收
+
+- [ ] stories 覆盖 `default / empty / loading / error`。
+- [ ] 关键权限、禁用、长文本和移动端状态已覆盖。
+- [ ] e2e 覆盖主流程和至少一个异常流。
+- [ ] visual regression 已更新或通过。
+
+## 6. 文档验收
+
+- [ ] `prd-lite.md`、`page-inventory.md`、`state-matrix.yaml` 一致。
+- [ ] `design-brief.md`、`component-map.md`、`screen-states.md` 一致。
+- [ ] 关键限制、禁改区、BLOCKED 条件已记录。
+- [ ] Open Questions 已关闭或明确阻塞后续阶段。

package/package-source/docs/codex-harness-engineering/templates/product/difficulty-research.md

@@ -0,0 +1,47 @@
+# Difficulty Research 模板
+
+> 目标: 在编码前提前研究所有实现难点、风险点和不确定点。不能把关键研究推迟到实现阶段。
+
+## 1. 难点总览
+
+| Difficulty ID | 难点 / 不确定点 | 来源需求 | 影响页面 / 接口 | 风险等级 | 是否阻塞 | 负责人 | 状态 |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+| DR-001 | | FR-001 | page-001 / API | High / Medium / Low | Yes / No | | Open |
+
+## 2. 研究记录
+
+### DR-001: [难点名称]
+
+- 关联需求:
+- 关联界面:
+- 问题描述:
+- 为什么现在必须研究:
+- 已知约束:
+- 可选方案:
+
+| 方案 | 优点 | 缺点 | 风险 | 验证方式 |
+| --- | --- | --- | --- | --- |
+| A | | | | |
+| B | | | | |
+
+**结论**:
+
+**选择理由**:
+
+**后续任务影响**:
+
+**仍需确认**:
+
+## 3. 前置验证
+
+| 验证项 | 方法 | 结果 | 证据路径 | 是否通过 |
+| --- | --- | --- | --- | --- |
+| 可行性验证 | spike / 文档调研 / 原型 / mock | | | Pending |
+
+## 4. 通过标准
+
+- [ ] P0/P1 需求相关难点已列出。
+- [ ] 高风险难点已有研究结论或明确 BLOCKED。
+- [ ] 方案选择记录了备选方案和拒绝理由。
+- [ ] 研究结论已同步到 PRD、Design Brief、DEV-PLAN 或 Contract。
+- [ ] 后续实现任务不再需要重新判断核心方案。

package/package-source/docs/codex-harness-engineering/templates/product/page-inventory.md

@@ -0,0 +1,21 @@
+# Page Inventory 模板
+
+> 目标: 明确本功能涉及的所有页面、视图、弹窗、抽屉和嵌入区，避免设计和实现阶段漏掉状态。
+
+| Page ID | 页面/视图 | 路由/入口 | 类型 | 角色 | 核心目标 | 关键状态 | 依赖接口 | 关联需求 |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- |
+| page-001 | | | 列表/详情/表单/弹窗/抽屉/嵌入视图 | | | default, empty, loading, error | | FR-001 |
+
+## 状态覆盖检查
+
+| Page ID | default | empty | loading | error | permission_denied | disabled | long_content | mobile |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- |
+| page-001 | 是 | 是/否 | 是/否 | 是/否 | 是/否 | 是/否 | 是/否 | 是/否 |
+
+## 使用说明
+
+- 每一行只描述一个页面或一个独立视图。
+- 弹窗、抽屉、嵌入式子视图也应单独列出。
+- `关键状态` 至少列出 `default / empty / loading / error`。
+- 如果某个状态不适用，在状态覆盖检查中写明“否”和原因，不要留空。
+- `Page ID` 必须能被 `state-matrix.yaml`、`screen-states.md`、stories 和 e2e 用例引用。

package/package-source/docs/codex-harness-engineering/templates/product/prd-lite.md

@@ -0,0 +1,158 @@
+# PRD-Lite 模板
+
+> 目标: 把原始需求收敛成 Codex 可以直接消费的产品真相源。未填完整前，不应进入设计或实现阶段。
+
+## 1. 基本信息
+
+- Feature ID:
+- Feature 名称:
+- 来源: issue / 会议纪要 / 事故复盘 / 业务需求 / 其他
+- 负责人:
+- 相关方:
+- 当前状态: Draft / Review / Approved / Changed
+- 最后更新:
+
+## 2. 背景与问题
+
+- 业务背景:
+- 当前问题:
+- 为什么现在做:
+- 不做的影响:
+- 现有替代方案:
+
+## 3. 目标与非目标
+
+### 目标
+
+| 目标 ID | 目标描述 | 衡量方式 | 优先级 |
+| --- | --- | --- | --- |
+| G-001 | | | P0 |
+
+### 非目标
+
+| 非目标 ID | 本期明确不做 | 原因 | 后续处理 |
+| --- | --- | --- | --- |
+| NG-001 | | | |
+
+## 4. 用户与角色
+
+| 角色 | 使用场景 | 核心诉求 | 权限差异 | 优先级 |
+| --- | --- | --- | --- | --- |
+| | | | | P0 |
+
+## 5. 范围边界
+
+| 范围 | 内容 |
+| --- | --- |
+| In scope | |
+| Out of scope | |
+| 允许变更 | |
+| 禁止变更 | |
+| 依赖前置条件 | |
+
+## 6. 业务流程
+
+### 主流程
+
+```mermaid
+flowchart TD
+  A[开始] --> B[核心步骤]
+  B --> C[完成]
+```
+
+### 异常流程
+
+| 场景 ID | 异常场景 | 触发条件 | 预期行为 | 兜底策略 |
+| --- | --- | --- | --- | --- |
+| E-001 | | | | |
+
+## 7. 页面 / 流程 / 接口影响
+
+| 类型 | 名称 | 影响说明 | 对应真相源 |
+| --- | --- | --- | --- |
+| 页面 | | | `page-inventory.md` |
+| 状态 | | | `state-matrix.yaml` |
+| 接口 | | | `contracts/openapi.yaml` |
+| 权限 | | | 本文权限矩阵 |
+
+## 8. 功能需求
+
+| 需求 ID | 用户故事 / 能力 | 优先级 | 关联页面 | 关联状态 | 验收入口 |
+| --- | --- | --- | --- | --- | --- |
+| FR-001 | As a [角色], I want [能力], so that [价值] | P0 | | | `acceptance-criteria.md` |
+
+## 9. 需求到界面追溯
+
+| 需求 ID | 关联页面 / 视图 | 页面状态 | UI 元素 / 操作 | 依赖字段 | 依赖接口 | 验收标准 | 追溯状态 |
+| --- | --- | --- | --- | --- | --- | --- | --- |
+| FR-001 | page-001 | default / empty / loading / error | | | | AC-001 | Pending |
+
+> 完整追溯矩阵维护在 `docs/product/requirement-interface-matrix.md`。所有 P0/P1 需求必须完成映射。
+
+## 10. 前置难点研究
+
+| 难点 ID | 难点 / 不确定点 | 关联需求 | 影响界面 / 接口 | 风险等级 | 研究结论 | 状态 |
+| --- | --- | --- | --- | --- | --- | --- |
+| DR-001 | | FR-001 | page-001 / API | High / Medium / Low | | Open |
+
+> 详细研究记录维护在 `docs/product/difficulty-research.md`。高风险难点未关闭前，不进入实现阶段。
+
+## 11. 业务规则
+
+| 规则 ID | 规则描述 | 触发时机 | 校验逻辑 | 不满足时行为 |
+| --- | --- | --- | --- | --- |
+| BR-001 | | | | |
+
+## 12. 权限矩阵
+
+| 操作 | 角色 A | 角色 B | 角色 C | 备注 |
+| --- | --- | --- | --- | --- |
+| 查看 | 允许 | 只读 | 禁止 | |
+
+## 13. 数据与字段
+
+| 字段 | 中文名 | 类型 | 来源 | 必填 | 取值范围 / 枚举 | 边界规则 |
+| --- | --- | --- | --- | --- | --- | --- |
+| | | | | | | |
+
+## 14. 非功能需求
+
+| 类型 | 要求 | 指标 / 标准 | 优先级 | 验证方式 |
+| --- | --- | --- | --- | --- |
+| 性能 | | | P0 | |
+| 安全 | | | P0 | |
+| 可用性 | | | P1 | |
+| 可访问性 | | | P1 | |
+| 兼容性 | | | P1 | |
+
+## 15. 成功标准
+
+| 指标 ID | 成功标准 | 目标值 | 衡量方式 |
+| --- | --- | --- | --- |
+| SC-001 | | | |
+
+## 16. 风险、假设与待确认
+
+### 风险
+
+| 风险 ID | 风险描述 | 影响 | 概率 | 缓解措施 | 负责人 |
+| --- | --- | --- | --- | --- | --- |
+| R-001 | | 高/中/低 | 高/中/低 | | |
+
+### 假设
+
+| 假设 ID | 假设内容 | 验证方式 | 失效影响 |
+| --- | --- | --- | --- |
+| A-001 | | | |
+
+### 待确认
+
+| 问题 ID | 问题 | 相关方 | 截止日期 | 状态 |
+| --- | --- | --- | --- | --- |
+| Q-001 | | | | 待确认 |
+
+## 17. 变更记录
+
+| 版本 | 日期 | 变更内容 | 影响范围 | 评审人 |
+| --- | --- | --- | --- | --- |
+| v0.1 | | 初稿 | | |

package/package-source/docs/codex-harness-engineering/templates/product/requirement-interface-matrix.md

@@ -0,0 +1,37 @@
+# Requirement Interface Matrix 模板
+
+> 目标: 确保需求分析完成后，每一条需求都能追溯到具体界面、界面状态、字段、操作、接口和验收证据。没有映射完成前，不进入设计或实现阶段。
+
+## 1. 需求到界面映射
+
+| Requirement ID | 需求摘要 | 用户角色 | 关联页面 / 视图 | 页面状态 | UI 元素 / 操作 | 关联字段 | 依赖接口 | 验收标准 | 覆盖状态 |
+| --- | --- | --- | --- | --- | --- | --- | --- | --- | --- |
+| FR-001 | | | page-001 | default / empty / loading / error | | | | AC-001 | Pending |
+
+## 2. 界面到需求反查
+
+| Page ID | 页面 / 视图 | 页面目标 | 覆盖需求 | 未覆盖需求 | 多余功能风险 | 备注 |
+| --- | --- | --- | --- | --- | --- | --- |
+| page-001 | | | FR-001 | | | |
+
+## 3. 状态到需求映射
+
+| Page ID | State | 触发需求 / 业务规则 | 用户可见表现 | 依赖数据 / 接口 | 验收标准 | 设计图 |
+| --- | --- | --- | --- | --- | --- | --- |
+| page-001 | default | FR-001 | | | AC-001 | |
+| page-001 | empty | FR-001 / BR-001 | | | AC-E001 | |
+| page-001 | error | FR-001 / NFR-001 | | | AC-E002 | |
+
+## 4. 缺口清单
+
+| Gap ID | 缺口类型 | 描述 | 影响阶段 | 处理方式 | 负责人 | 截止 |
+| --- | --- | --- | --- | --- | --- | --- |
+| GAP-001 | 需求未映射界面 / 界面无需求 / 状态缺失 / 接口缺失 | | Spec / Design / Code | 补需求 / 补设计 / 删除多余功能 / 阻塞 | | |
+
+## 5. 通过标准
+
+- [ ] 每个 P0/P1 需求至少映射到一个页面、状态或接口。
+- [ ] 每个页面、弹窗、抽屉、嵌入视图都有需求来源。
+- [ ] 每个 required state 都有触发条件、界面表现和验收标准。
+- [ ] 没有“界面有功能但需求没有”的多余实现。
+- [ ] 所有缺口已关闭，或明确标记 BLOCKED。

package/package-source/docs/codex-harness-engineering/templates/product/state-matrix.yaml

@@ -0,0 +1,105 @@
+version: "1.0"
+feature_id: "FEAT-000"
+required_states:
+  - default
+  - empty
+  - loading
+  - error
+  - permission_denied
+  - disabled
+  - long_content
+  - mobile
+pages:
+  - page_id: "page-001"
+    title: "示例页面"
+    route: "/example"
+    actor: "primary-user"
+    related_requirements:
+      - "FR-001"
+    states:
+      default:
+        required: true
+        description: "展示主要数据和默认可执行操作"
+        trigger: "用户进入页面且数据加载成功"
+        expected_ui:
+          - "主要内容可见"
+          - "主要操作入口可见"
+        user_actions:
+          - "执行核心操作"
+        acceptance_refs:
+          - "AC-001"
+      empty:
+        required: true
+        description: "无数据或筛选后无结果"
+        trigger: "查询结果为空"
+        expected_ui:
+          - "空态提示"
+          - "恢复或创建入口"
+        user_actions:
+          - "重置条件"
+          - "创建数据"
+        acceptance_refs:
+          - "AC-E001"
+      loading:
+        required: true
+        description: "数据请求或提交尚未完成"
+        trigger: "请求未完成"
+        expected_ui:
+          - "骨架屏、spinner 或按钮 loading"
+        user_actions:
+          - "等待"
+        acceptance_refs:
+          - "AC-E002"
+      error:
+        required: true
+        description: "接口报错、超时或数据解析失败"
+        trigger: "请求失败"
+        expected_ui:
+          - "错误提示"
+          - "重试入口"
+        user_actions:
+          - "重试"
+        acceptance_refs:
+          - "AC-E002"
+      permission_denied:
+        required: true
+        description: "当前角色无权查看或操作"
+        trigger: "权限校验失败"
+        expected_ui:
+          - "权限不足提示"
+          - "受限操作隐藏或禁用"
+        user_actions:
+          - "返回"
+        acceptance_refs:
+          - "AC-E003"
+      disabled:
+        required: false
+        not_applicable_reason: ""
+        description: "操作因状态、权限或前置条件不足而不可用"
+        trigger: "操作前置条件不满足"
+        expected_ui:
+          - "禁用态"
+          - "原因说明"
+        user_actions:
+          - "查看原因"
+        acceptance_refs: []
+      long_content:
+        required: true
+        description: "字段超长、列表项较多或极端数据"
+        trigger: "数据超过常规长度或数量"
+        expected_ui:
+          - "文本不溢出容器"
+          - "可通过 tooltip、换行或截断查看"
+        user_actions:
+          - "查看完整内容"
+        acceptance_refs: []
+      mobile:
+        required: true
+        description: "小屏或窄容器访问"
+        trigger: "视口宽度小于移动端断点"
+        expected_ui:
+          - "布局可用"
+          - "关键操作不被遮挡"
+        user_actions:
+          - "完成核心流程"
+        acceptance_refs: []

package/package-source/docs/codex-harness-engineering/templates/prompts/controller-loop.md

@@ -0,0 +1,88 @@
+# Controller Loop Prompt
+
+## 元信息
+
+- 版本: v1.1
+- 标签: codex, harness, controller, driver
+
+## 角色
+
+你是 Harness 主控 Agent。你负责读取任务、推进阶段、触发评审、整理证据和决定阻塞，不直接替代业务实现，也不直接写仓库文件。
+
+## 核心目标
+
+- 读取 `task.json`、`progress.txt`、`traces/` 和必要的 truth source。
+- 读取 `docs/knowledge/knowledge-catalog.md` 和 `docs/knowledge/catalog.md`，判断当前阶段是否需要注入项目知识。
+- 选择下一步：执行单任务、进入审查、生成 repair task、继续等待、或 BLOCKED。
+- 保持任务边界、文件边界和验证边界清晰。
+- 确保所有通过结论都有 fresh verification evidence。
+- 任何非 driver 的仓库写入都先派给匹配的 writer 子代理；`progress.txt`、`traces/` 仍由 `tools/harness/codex-loop.ps1` 统一处理。
+
+## 决策顺序
+
+1. 检查 Git 工作区是否干净；默认只归因，不自动清理。只有当 stop hook 或 driver 已明确指出 dirty workspace 是当前唯一阻塞、仓库存在 `.agents/skills/auto-commit/SKILL.md`、改动属于当前任务且没有混入用户无关改动时，才允许先按 auto-commit skill 完成审查、验证和提交，再继续 driver。
+2. 读取待执行任务、依赖、gate、truth source 和验证命令。
+3. 如果任务涉及 harness、规则、prompt、trace、模板、review 或归档，先检查 `docs/harness/knowledge-architecture.md`、`docs/harness/rule-governance.md` 和 `docs/knowledge/` 是否应作为上下文。
+4. 判断当前任务是否具备进入实现阶段的输入。
+5. 如需委派子代理，先确定它是只读辅助角色还是 writer 角色，并要求其先阅读 `AGENTS.md`、`docs/harness/task-session-strategy.md`、`.codex/rules/agents.md`、`docs/harness/knowledge-architecture.md`、相关 truth source 和 `.agents/skills/*/SKILL.md`（如存在）。
+6. 触发 driver 实现、writer 子代理、审查、测试、修复闭环或 `ARCHIVE-*` 知识归档。
+7. 对规则、文档、任务队列、prompt、配置等非 driver 内容，安排匹配的 writer 子代理落盘；运行时状态继续交给 `tools/harness/codex-loop.ps1`。
+8. 输出下一条可执行命令。
+
+## 禁止事项
+
+- 不要跳过 Stage 1、Stage 2、测试、视觉还原或 security gate。
+- 不要在没有 evidence 的情况下把任务判定为完成。
+- 不要伪造 `task.json`、`progress.txt` 或 `traces/` 的完成状态。
+- 不要把多个独立需求合并成一个实现任务。
+- 不要把混入用户无关改动的 dirty workspace 直接交给 auto-commit skill。
+- 不要让主控会话自己改 `task.json`、`AGENTS.md`、`.codex/*`、`.codex/rules/*`、`docs/harness/*`、prompt、spec、plan 或业务文件。
+- 不要让只读辅助子代理直接写文件，也不要跳过先读 skill / docs / rules 的步骤。
+- 不要把 draft 知识条目当作强约束；只有 verified / proven 或当前 truth source 明确要求时，才能作为阻塞依据。
+- 不要把一次性经验直接写入 `AGENTS.md`；先沉淀到 `docs/knowledge/`，再按 `docs/harness/rule-governance.md` 判断是否升级。
+
+## 自动修复闭环
+
+当 Stage 1、Stage 2、测试、E2E 或视觉评审失败：
+
+1. 抽取 finding id、severity、owner、evidence path、recommended fix。
+2. 合并重复 finding，避免冲突修复。
+3. 生成修复任务或修复说明。
+4. 优先派给原实现链路修复。
+5. 由原测试或评审链路复验。
+6. 同一 finding 两次失败后升级模型和 reasoning effort。
+7. 达到 retry budget 后输出 BLOCKED。
+
+## 输出格式
+
+```markdown
+## Controller Decision
+
+- State: execute / review / repair / blocked / done
+- Reason: ...
+- Next command: `...`
+
+## Active Task
+
+- Task: ...
+- Gate: ...
+- Verification: ...
+
+## Findings Queue
+
+| Finding | Severity | Owner | Retry | Evidence | Next |
+| --- | --- | --- | --- | --- | --- |
+
+## Verification Evidence
+
+- ...
+
+## Knowledge Context
+
+- References:
+- Outputs / Archive Needed:
+
+## Risks
+
+- ...
+```