@pzy560117/codex-harness 0.1.7 → 0.1.9

package/package-source/docs/codex-harness-engineering/templates/runtime/AGENTS.md

@@ -1,61 +1,54 @@
-# AGENTS.md
+## 模板优先
 
-本文件只保留每次会话都必须知道的 Harness 入口规则。细节按需读取下方深文档，不把长期协议全部塞进入口文件。
+- 需要影响新项目 bootstrap、生成物结构、默认导航层、默认 prompt、默认规则、默认技能、默认上下文模板时，先修改模板 canonical：
+  - `docs/codex-harness-engineering/templates/`
+  - `tools/harness/templates/`
+  - `docs/codex-harness-engineering/templates/package-assets/`
+- 当前仓库根目录下的活跃文档或脚本，只在它本身就是 canonical，或为了验证模板落地效果、保持当前仓库可运行时再同步修改。
+- 如果一次改动同时涉及根目录活跃文件和模板文件，优先说明哪一份是 canonical，避免只修当前仓库、不修模板源。
 
-## 模板源目录说明
+## 任务结构硬门禁
 
-- 当你在模板源仓库维护 `templates/runtime/` 时，本文件也同时代表该目录的本地索引。
-- 当前目录主要包含：
-  - `AGENTS.md`：安装到目标项目根目录的入口规则模板
-  - `codex-loop.ps1` / `doctor.ps1` / `verify.ps1`：driver 与运行时脚本模板
-  - `project-task-template.json` / `smoke-task.json` / `task.json` / `progress.txt`：任务与运行状态模板
-  - `task-run-profile.json`：运行策略模板
-  - `scripts/`：runtime 自检和队列校验脚本
-- 维护该目录时，优先确认这些文件是“安装后运行面”，不要把只适用于模板仓库的局部说明大量混入这里。
+- 未经用户明确同意，不得把标准 `task.json` 模板 phase 压缩成更少任务；正式任务队列至少保留 `ANALYSIS-001`、`TESTCASE-001`、`PLAN-001`。
+- P0/P1 项目禁止跳过 `TESTCASE-001`；缺少 `docs/testing/NATURAL_LANGUAGE_TEST_CASES.md`、`ACCEPTANCE_CRITERIA.md`、`TRACEABILITY_MATRIX.md`、`TEST_DATA_MATRIX.md`、`REGRESSION_PLAN.md`、`verify-matrix.md` 任一项，都不得生成最终 `task.json`。
+- `feature_impl` 没有 `qa_contract` 不得进入正式任务队列；`qa_contract` 没有完整 `tdd_contract`、`development_validation`、`acceptance_validation` 不得开始实现。
+- 单个 `feature_impl` 默认不得覆盖超过 3 条主需求；订单、支付、库存、RBAC 必须拆独立任务；前端和后端不得长期混在同一个 story，除非这是明确的 `release` 任务。
 
-## 核心入口
+## 子目录 AGENTS 规则
 
-- 本仓库默认采用 `driver-first`：真实任务进入 `task.json`，由 `tools/harness/codex-loop.ps1` 逐个执行。
-- `single task` 是当前唯一自动执行模式；每轮 driver 只处理一个 `passes: false` 且依赖已通过的任务。
-- 交互开发模式只负责需求收敛、分析、规划和任务输入；方案确认后，默认回到 `task.json -> tools/harness/codex-loop.ps1`。
-- 主控会话不直接维护仓库状态文件；`task.json`、`progress.txt`、`traces/` 和 Git 提交由 runtime 链路推进。
-- 长会话续跑前，先重读 `docs/ai/CURRENT_TASK.md`、`docs/ai/repo-map.md` 和相关 truth source；不要只靠聊天记忆继续实现。
-- 需要理解代码结构或安装包边界时，先读 `docs/ai/repo-map.md`，再进入具体目录或深文档。
-- 需要落盘规则、任务、文档、前端、后端或测试内容时，先确认 truth source，再委派匹配的 writer 子代理或进入 driver 任务。
+- 新增业务目录、模块职责变化、目录入口变化、目录级测试命令变化时，必须检查并更新最接近该目录的子目录 `AGENTS.md`。
+- 目录级 `AGENTS.md` 负责承载局部职责、边界、入口、测试命令、复用模式、坑点和禁止事项；不要把这类规则长期堆在根 `AGENTS.md`。
+- 自动托管区块 `AUTO-MODULE-FACTS` 只补动态事实，不等于目录规则完整；即使 facts 已自动刷新，仍需要有人维护手写的局部规则部分。
+- 如果 `task.json.owned_paths`、`docs/ai/repo-map.md` 或模块边界已经明确某目录是独立模块，而该目录缺少子目录 `AGENTS.md`，应视为至少 `warn`，高风险目录应直接阻断进入正式任务队列或实现阶段。
 
-## 硬约束
+## 目录级规则
 
-- 启动前 Git 工作区必须干净，除非用户明确说明哪些改动属于本任务；可再生运行产物只能通过 `runtime.git.non_blocking_dirty_paths` 列白名单。
-- 不要伪造完成状态：不得手工把未验证任务标记为 `passes: true`，不得绕过 `test_command`、review gate 或 commit gate。
-- 不要删除或改写已有任务描述，除非用户明确要求替换模板示例或重建任务队列。
-- 修改后必须运行与改动直接对应的验证；文档改动至少运行 `git diff --check`。
-- 测试范围从需求收敛阶段开始定义；P0/P1 需求进入实现前必须有可追溯验收、测试数据和证据路径。
-- 外部系统、开源栈、第三方平台或真实环境集成需求，完成声明必须包含真实依赖接入、成功态证据和失败态证据。
-- 进入实现前必须有当前项目声明的架构约束 truth source，默认路径为 `docs/architecture/constraints.md`，也可由 `task.json.runtime.handoff.truth_sources.architecture` 指向其他路径。
-- `feature_impl` 任务必须携带可执行的 `architecture_constraints`、`forbidden_implementations` 和对应验证命令；禁止用测试替身、local-only adapter 或领域原型冒充任务声明的交付路径。
-- Stage 1 Review 先审声明的架构约束符合性，再审业务规格；仅当任务要求架构门禁且约束缺失或实现冲突时 FAIL。
-- 多 Agent 协作时，禁止多个 Agent 同时修改同一文件或同一组可写路径；必须先按任务、目录、文件组、分支或 PR 隔离。
-- 当前轮次结束前必须刷新 `docs/ai/CURRENT_TASK.md` 中的已完成内容、未完成内容、修改文件、测试结果和下一步。
-- 阻塞时追加 `progress.txt`，输出 `BLOCKED - 需要人工介入`，然后停止。
-
-## 阶段更新规则
-
-- Stage 01 初始化：更新 `task.json`、`AGENTS.md`、项目路径和验证命令。
-- Stage 02 需求收敛：更新 `docs/product/`、Requirement IDs、验收标准和可执行验收示例。
-- Stage 03 追溯与架构约束：更新架构约束 truth source、测试追溯矩阵和证据协议。
-- Stage 09 DEV-PLAN / 任务拆分：把架构约束、禁止实现和验证命令写入每个相关 `feature_impl`。
-- Stage 10-14 实现与集成：只更新任务 owned paths 内的实现、测试和证据。
-- Stage 15-16 Review：保持只读审查，输出 findings、证据和 repair queue。
-- Stage 17 Verify / Regression：刷新验证证据，不在本阶段第一次补需求或测试范围。
-- Archive：更新 `docs/knowledge/`、索引和可复用经验，不升级一次性结论为全局规则。
+- 当某个目录满足以下任一条件时，应优先考虑新增或更新该目录下的 `AGENTS.md`，而不是继续扩充根入口：
+  - 目录有独立模块职责或技术栈
+  - 目录存在与全仓不同的架构边界
+  - 目录有独立入口文件、测试命令或验证方式
+  - 目录反复出现相同 review 问题、坑点或禁止事项
+- 子目录 `AGENTS.md` 应重点写：
+  - 该目录负责什么 / 不负责什么
+  - 入口文件和核心文件
+  - 修改前必须先看的文件
+  - 本目录的局部架构规则和复用模式
+  - 测试 / 构建 / 验证命令
+  - 常见坑和禁止事项
+- `docs/ai/repo-map.md` 及模板中的 repo-map 应维护“子目录规则索引”，明确哪些路径已有本地规则、适用于什么场景。
 
 ## 必读索引
 
-如果当前仓库是 thin install 项目，而下面列出的 `docs/harness/*` 或 `docs/knowledge/*` 不在项目根，先读取 `.codex-harness/state/config.json`，再到其中 `packageRoot` 下查同路径文件。
+如果当前仓库是 thin install 项目，而下面列出的 `docs/harness/*`、`docs/testing/*` 或 `docs/knowledge/*` 不在项目根，先读取 `.codex-harness/state/config.json`，再按文档类型改读 `packageRoot` 下模板镜像中的对应文件：
+- `docs/harness/*` -> `docs/codex-harness-engineering/templates/docs/*`
+- `docs/testing/*` -> `docs/codex-harness-engineering/templates/testing/*`
+- `docs/knowledge/*` -> `docs/codex-harness-engineering/templates/knowledge/*`
 
+- Harness 分层分析索引：`harness-analysis/README.md`
+- Codex Harness Engineering 总览：`docs/codex-harness-engineering/README.md`
+- Codex 宿主自动加载机制：`docs/codex-harness-engineering/codex-host-runtime-and-autoload.md`
+- Codex 自动加载优化清单：`harness-analysis/10-codex-autoload-optimization-checklist.md`
 - Harness 架构：`docs/harness/architecture.md`
-- 代码地图：`docs/ai/repo-map.md`
-- 架构摘要：`docs/ai/architecture-brief.md`
 - 架构约束包：`docs/architecture/constraints.md` 或 `task.json.runtime.handoff.truth_sources.architecture`
 - 新项目使用：`docs/harness/new-project-usage.md`
 - Task 会话与 `task.json` 细则：`docs/harness/task-session-strategy.md`
@@ -64,3 +57,9 @@
 - Trace 格式：`docs/harness/trace-format.md`
 - 权限策略：`docs/harness/sandbox-policy.md`
 - Prompt 与知识集成：`docs/harness/prompt-knowledge-integration.md`
+
+## 当前在做的事情
+
+- 正在持续分析当前仓库里的 Codex 宿主层、Harness 控制层、安装工程和桥接层。
+- 当前重点是把“哪些内容会被 Codex 自动加载到上下文、哪些只是运行配置、哪些是 Harness runtime 二次读取”彻底拆清。
+- 所有新增分析文档统一落在 `harness-analysis/`，方法论和模板级说明补充到 `docs/codex-harness-engineering/`。

package/package-source/docs/codex-harness-engineering/templates/runtime/doctor.ps1

@@ -57,14 +57,50 @@ function Add-DoctorError {
   $Errors.Value += $Message
 }
 
-function Add-DoctorWarning {
-  param(
-    [ref]$Warnings,
-    [string]$Message
-  )
-
-  $Warnings.Value += $Message
-}
+function Add-DoctorWarning {
+  param(
+    [ref]$Warnings,
+    [string]$Message
+  )
+
+  $Warnings.Value += $Message
+}
+
+function Invoke-TaskStructureValidation {
+  param(
+    [string]$Root,
+    [ref]$Errors,
+    [ref]$Warnings
+  )
+
+  $scriptPath = Join-Path $Root "tools\harness\task-structure-lint.ps1"
+  if (-not (Test-Path -LiteralPath $scriptPath -PathType Leaf)) {
+    Add-DoctorError -Errors $Errors -Message "缺少 task structure lint: tools\\harness\\task-structure-lint.ps1"
+    return
+  }
+
+  try {
+    $result = & powershell -NoProfile -ExecutionPolicy Bypass -File $scriptPath -ProjectRoot $Root -JsonOutput | ConvertFrom-Json
+  }
+  catch {
+    Add-DoctorError -Errors $Errors -Message "task structure lint 执行失败: $($_.Exception.Message)"
+    return
+  }
+
+  foreach ($finding in @($result.findings)) {
+    $message = [string]$finding.message
+    if (-not [string]::IsNullOrWhiteSpace([string]$finding.task_id)) {
+      $message = "task $($finding.task_id): $message"
+    }
+
+    if ($finding.severity -eq "warning") {
+      Add-DoctorWarning -Warnings $Warnings -Message $message
+    }
+    else {
+      Add-DoctorError -Errors $Errors -Message $message
+    }
+  }
+}
 
 function Get-DoctorFileSha256 {
   param([string]$Path)
@@ -497,9 +533,6 @@ function Test-DoctorThinLegacyResidue {
   param([string]$Root)
 
   $legacyResiduePaths = @(
-    "docs\harness",
-    "docs\testing",
-    "docs\knowledge",
     "docs\requirement-prep-kit"
   )
 
@@ -542,6 +575,41 @@ function Test-DoctorThinLegacyResidue {
 
   return $false
 }
+
+function Test-ProjectScopeInstallSurface {
+  param(
+    [string]$Root,
+    [object]$ManifestSnapshot,
+    [ref]$Errors
+  )
+
+  if ($null -eq $ManifestSnapshot) {
+    return
+  }
+
+  $entries = @($ManifestSnapshot.entries | Where-Object { [string]$_.scope -eq "project" })
+  foreach ($entry in $entries) {
+    $destinationRaw = [string]$entry.destination
+    if ([string]::IsNullOrWhiteSpace($destinationRaw)) {
+      continue
+    }
+
+    $normalizedDestination = $destinationRaw.Replace('/', '\').TrimStart('\')
+    $expectsDirectory = $destinationRaw.Trim().Replace('\', '/').EndsWith('/', [System.StringComparison]::Ordinal)
+    $targetPath = Join-Path $Root $normalizedDestination
+
+    if ($expectsDirectory) {
+      if (-not (Test-Path -LiteralPath $targetPath -PathType Container)) {
+        Add-DoctorError -Errors $Errors -Message "project scope 安装缺少目录: $normalizedDestination"
+      }
+      continue
+    }
+
+    if (-not (Test-Path -LiteralPath $targetPath -PathType Leaf)) {
+      Add-DoctorError -Errors $Errors -Message "project scope 安装缺少文件: $normalizedDestination"
+    }
+  }
+}
 
 function Test-DoctorMissingUserPackage {
   param([object]$HarnessConfigInfo)
@@ -760,7 +828,7 @@ function Test-PackageLock {
   }
 }
 
-function Test-InstallManifestSnapshot {
+function Test-InstallManifestSnapshot {
   param(
     [string]$Root,
     [bool]$RequireSnapshot,
@@ -838,9 +906,6 @@ function Test-ThinProjectSurface {
   }
 
   $legacyResiduePaths = @(
-    "docs\harness",
-    "docs\testing",
-    "docs\knowledge",
     "docs\requirement-prep-kit"
   )
 
@@ -879,6 +944,17 @@ function Test-ThinProjectSurface {
     }
   }
 }
+
+function Read-InstallManifestSnapshotOrNull {
+  param([string]$Root)
+
+  $snapshotPath = Join-Path $Root ".codex-harness\manifests\install-manifest.json"
+  if (-not (Test-Path -LiteralPath $snapshotPath -PathType Leaf)) {
+    return $null
+  }
+
+  return Read-JsonFileOrNull -Path $snapshotPath
+}
 
 function Test-HarnessConfig {
   param(
@@ -1017,15 +1093,16 @@ $isThinProjectInstall = $harnessConfigInfo.Exists -and $harnessConfigInfo.Valid
 $isVendorProjectInstall = $harnessConfigInfo.Exists -and $harnessConfigInfo.Valid -and $harnessConfigInfo.InstallScope -eq "vendor"
 $isNotInstalledProject = $baseProjectShape -eq "not-installed"
 
-$requiredRootFiles = @(
-  "AGENTS.md",
+$requiredRootFiles = @(
+  "AGENTS.md",
   "tools\harness\codex-loop.ps1",
   "tools\harness\doctor.ps1",
+  "tools\harness\task-structure-lint.ps1",
   "tools\harness\verify.ps1",
   "tools\install\env-check.ps1",
   "task.json",
   "docs\harness\trace.schema.json"
-)
+)
 
 $requiredPromptFiles = @(
   ".codex\\prompts\\implement-one-task.md",
@@ -1108,21 +1185,25 @@ if ((Test-Path -LiteralPath $specManifestSchemaPath) -and (-not (Test-JsonFile -
   Add-DoctorError -Errors ([ref]$errors) -Message "spec-manifest.schema.json 不是合法 JSON: docs\\spec\\spec-manifest.schema.json"
 }
 
-if ($isNotInstalledProject) {
-  Add-DoctorError -Errors ([ref]$errors) -Message "readiness gate 未检测到 harness config 或 legacy vendor，请先安装 project scope。"
-}
-else {
+if ($isNotInstalledProject) {
+  Add-DoctorError -Errors ([ref]$errors) -Message "readiness gate 未检测到 harness config 或 legacy vendor，请先安装 project scope。"
+}
+else {
   if (-not $isVendorProjectInstall) {
     Test-SpecManifest -Root $resolvedProjectRoot -Errors ([ref]$errors) -Warnings ([ref]$warnings)
   }
 
-  Test-HarnessConfig -Root $resolvedProjectRoot -Errors ([ref]$errors) -Warnings ([ref]$warnings)
-  Test-PackageLock -Root $resolvedProjectRoot -Errors ([ref]$errors) -Warnings ([ref]$warnings)
-  if (-not $isThinProjectInstall) {
-    Test-InstallManifest -Root $resolvedProjectRoot -Errors ([ref]$errors) -Warnings ([ref]$warnings)
-  }
-  Test-InstallManifestSnapshot -Root $resolvedProjectRoot -RequireSnapshot:$harnessConfigInfo.Exists -Errors ([ref]$errors) -Warnings ([ref]$warnings)
-}
+  Test-HarnessConfig -Root $resolvedProjectRoot -Errors ([ref]$errors) -Warnings ([ref]$warnings)
+  Test-PackageLock -Root $resolvedProjectRoot -Errors ([ref]$errors) -Warnings ([ref]$warnings)
+  if (-not $isThinProjectInstall) {
+    Test-InstallManifest -Root $resolvedProjectRoot -Errors ([ref]$errors) -Warnings ([ref]$warnings)
+  }
+  Test-InstallManifestSnapshot -Root $resolvedProjectRoot -RequireSnapshot:$harnessConfigInfo.Exists -Errors ([ref]$errors) -Warnings ([ref]$warnings)
+  if ($isThinProjectInstall) {
+    $installManifestSnapshot = Read-InstallManifestSnapshotOrNull -Root $resolvedProjectRoot
+    Test-ProjectScopeInstallSurface -Root $resolvedProjectRoot -ManifestSnapshot $installManifestSnapshot -Errors ([ref]$errors)
+  }
+}
 
 if (-not (Test-Path -LiteralPath $taskPath)) {
   if ($isNotInstalledProject) {
@@ -1143,11 +1224,37 @@ elseif (-not $isVendorProjectInstall) {
     Add-DoctorError -Errors ([ref]$errors) -Message "task.json 仍包含模板占位符，请先替换为当前项目真实任务。"
   }
 
-  $taskDocument = $taskContent | ConvertFrom-Json
-  $runtime = $taskDocument.runtime
-  $runProfileRelativePath = $DefaultRunProfile
-  if ($null -ne $runtime -and -not [string]::IsNullOrWhiteSpace($runtime.run_profile)) {
-    $runProfileRelativePath = $runtime.run_profile
+  $taskDocument = $taskContent | ConvertFrom-Json
+  $runtime = $taskDocument.runtime
+  if ($null -eq $runtime -or [string]::IsNullOrWhiteSpace([string]$runtime.driver)) {
+    Add-DoctorError -Errors ([ref]$errors) -Message "task.json 缺少 runtime.driver"
+  }
+  else {
+    $driverCommand = [string]$runtime.driver
+    if ($driverCommand -match 'tools[\\/]+harness[\\/]+tools[\\/]+harness[\\/]+codex-loop\.ps1') {
+      Add-DoctorError -Errors ([ref]$errors) -Message "task.json 的 runtime.driver 包含重复路径段 tools/harness/tools/harness，请改为 .\\tools\\harness\\codex-loop.ps1"
+    }
+
+    $driverFileMatch = [regex]::Match($driverCommand, '(?i)-File\s+("?)([^"]+)\1')
+    if (-not $driverFileMatch.Success) {
+      Add-DoctorError -Errors ([ref]$errors) -Message "task.json 的 runtime.driver 不是可解析的 PowerShell -File 命令: $driverCommand"
+    }
+    else {
+      $driverRelativePath = $driverFileMatch.Groups[2].Value.Replace('/', '\')
+      if ($driverRelativePath.StartsWith('.\')) {
+        $driverRelativePath = $driverRelativePath.Substring(2)
+      }
+
+      $driverPath = Join-Path $resolvedProjectRoot $driverRelativePath
+      if (-not (Test-Path -LiteralPath $driverPath)) {
+        Add-DoctorError -Errors ([ref]$errors) -Message "task.json 的 runtime.driver 指向不存在的脚本: $driverRelativePath"
+      }
+    }
+  }
+
+  $runProfileRelativePath = $DefaultRunProfile
+  if ($null -ne $runtime -and -not [string]::IsNullOrWhiteSpace($runtime.run_profile)) {
+    $runProfileRelativePath = $runtime.run_profile
   }
 
   $runProfilePath = Join-Path $resolvedProjectRoot $runProfileRelativePath
@@ -1204,7 +1311,7 @@ elseif (-not $isVendorProjectInstall) {
   }
 
   $taskIds = @{}
-  foreach ($task in @($taskDocument.tasks)) {
+  foreach ($task in @($taskDocument.tasks)) {
     if ($null -eq $task.id -or [string]::IsNullOrWhiteSpace([string]$task.id)) {
       Add-DoctorError -Errors ([ref]$errors) -Message "存在缺少 id 的任务。"
       continue
@@ -1231,13 +1338,15 @@ elseif (-not $isVendorProjectInstall) {
 
     $requiredTruthSourcesProperty = $task.PSObject.Properties["required_truth_sources"]
     $requiredTruthSources = if ($null -ne $requiredTruthSourcesProperty) { $requiredTruthSourcesProperty.Value } else { @() }
-    foreach ($truthSource in @($requiredTruthSources)) {
-      if ($allowedTruthSources -notcontains [string]$truthSource) {
-        Add-DoctorError -Errors ([ref]$errors) -Message "任务 $($task.id) 使用了未知 required_truth_source: $truthSource"
-      }
-    }
-  }
-}
+    foreach ($truthSource in @($requiredTruthSources)) {
+      if ($allowedTruthSources -notcontains [string]$truthSource) {
+        Add-DoctorError -Errors ([ref]$errors) -Message "任务 $($task.id) 使用了未知 required_truth_source: $truthSource"
+      }
+    }
+  }
+
+  Invoke-TaskStructureValidation -Root $resolvedProjectRoot -Errors ([ref]$errors) -Warnings ([ref]$warnings)
+}
 
 Write-DoctorReadiness `
   -Root $resolvedProjectRoot `

package/package-source/docs/codex-harness-engineering/templates/runtime/project-task-template.json

@@ -1,6 +1,6 @@
 {
   "runtime": {
-    "driver": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/codex-loop.ps1",
+    "driver": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\codex-loop.ps1",
     "trace_dir": "traces",
     "agent": "codex",
     "run_profile": ".codex\\task-run-profile.json",
@@ -92,12 +92,13 @@
       "execution": {
         "mode": "single"
       },
-      "steps": [
-        "把模板中的 <feature-slug>、用户故事标题、requirement_ids、owned_paths、context_files 和 test_command 全部替换成当前项目真实值",
-        "确认 task 依赖、优先级、execution.mode 和 non_blocking_dirty_paths 已与当前项目约束一致",
-        "确认架构约束 truth source 已明确交付形态、公开入口、数据边界、异步边界、测试替身策略、禁止实现和 Definition of Done；如项目不用默认路径，更新 runtime.handoff.truth_sources.architecture",
-        "确认当前 task.json 已经是正式任务队列，不再保留领域示例、smoke 占位或过期路径"
-      ],
+      "steps": [
+        "把模板中的 <feature-slug>、用户故事标题、requirement_ids、owned_paths、context_files 和 test_command 全部替换成当前项目真实值",
+        "确认 task 依赖、优先级、execution.mode 和 non_blocking_dirty_paths 已与当前项目约束一致",
+        "不得删除 ANALYSIS-001、TESTCASE-001、PLAN-001；未经用户明确批准并记录例外原因，不得压缩标准模板 phase",
+        "确认架构约束 truth source 已明确交付形态、公开入口、数据边界、异步边界、测试替身策略、禁止实现和 Definition of Done；如项目不用默认路径，更新 runtime.handoff.truth_sources.architecture",
+        "确认当前 task.json 已经是正式任务队列，不再保留领域示例、smoke 占位或过期路径"
+      ],
       "test_command": "git diff --check",
       "acceptance": [
         "任务队列只保留当前项目真实阶段与用户故事",
@@ -354,7 +355,9 @@
         "把后续实现按用户故事顺序映射到 dev-plan、affected tests、验证命令和证据路径",
         "把自然语言测试用例中的 TDD 候选转换为每个 feature_impl.qa_contract.tdd_contract，并保留 source_case_ids",
         "把非 TDD 自然语言用例映射到 feature_impl.qa_contract.story_full_chain.source_case_ids、acceptance_validation.source_case_ids、回归计划或 verify-matrix",
+        "不要把模板 phase 合并成更少任务；如果用户明确批准压缩，必须在对应任务补充 decomposition_exemption 记录批准范围和原因",
         "确认每个实现任务都已有 requirement_ids、owned_paths、context_files 和最小可行验收闭环",
+        "确认每个 feature_impl 默认不超过 3 条主 requirement_ids；订单、支付、库存、RBAC 拆成独立任务；前端和后端不要长期混在同一个 story",
         "对涉及用户可见行为、路由、表单、权限、状态流转或关键业务闭环的任务，明确是否要求 docs/testing/e2e-plan.md，并把相关 E2E 命令写进 test_command 或 release 验证链路",
         "确认每个 feature_impl 任务都携带 architecture_constraints、forbidden_implementations、tdd_contract 和项目真实可执行的 test_command",
         "明确哪些故事必须串行，哪些依赖可在后续手工改成并行"
@@ -364,6 +367,8 @@
         "dev-plan、verify-matrix 和 story 级执行顺序保持一致",
         "每个 feature_impl 的 tdd_contract.red.source_case_ids 均能回溯到 NATURAL_LANGUAGE_TEST_CASES.md",
         "每个 feature_impl 的非 TDD 自然语言用例均能回溯到 story_full_chain、acceptance_validation、回归计划或 verify-matrix",
+        "模板 phase 没有被压缩；如存在压缩或跨层混合，已附带用户批准的 decomposition_exemption",
+        "每个 feature_impl 默认不超过 3 条主 requirement_ids，且订单、支付、库存、RBAC 已拆成独立任务",
         "高风险用户可见任务已经明确是否需要 e2e-plan 与对应 E2E 证据",
         "实现任务不会把测试替身、local-only adapter 或领域原型伪装成声明的交付路径",
         "后续实现与 release 任务的验证边界已经明确且可执行"
@@ -487,19 +492,21 @@
         ],
         "exemptions": []
       },
-      "context_files": [
-        "docs/product/prd-lite.md",
-        "docs/product/requirement-interface-matrix.md",
-        "docs/architecture/constraints.md",
-        "docs/context/feature-pack.md",
-        "docs/design/design-brief.md",
-        "docs/design/component-map.md",
-        "docs/design/screen-states.md",
-        "docs/testing/ACCEPTANCE_EXAMPLES.md",
-        "docs/testing/NATURAL_LANGUAGE_TEST_CASES.md",
-        "docs/testing/TRACEABILITY_MATRIX.md",
-        "docs/testing/TEST_STRATEGY.md",
-        "docs/testing/TEST_DATA_MATRIX.md",
+      "context_files": [
+        "docs/product/prd-lite.md",
+        "docs/product/requirement-interface-matrix.md",
+        "docs/architecture/constraints.md",
+        "docs/context/feature-pack.md",
+        "docs/design/design-brief.md",
+        "docs/design/component-map.md",
+        "docs/design/screen-states.md",
+        "docs/testing/ACCEPTANCE_CRITERIA.md",
+        "docs/testing/ACCEPTANCE_EXAMPLES.md",
+        "docs/testing/NATURAL_LANGUAGE_TEST_CASES.md",
+        "docs/testing/REGRESSION_PLAN.md",
+        "docs/testing/TRACEABILITY_MATRIX.md",
+        "docs/testing/TEST_STRATEGY.md",
+        "docs/testing/TEST_DATA_MATRIX.md",
         "docs/testing/EVIDENCE_PROTOCOL.md",
         "docs/testing/test-matrix.md",
         "docs/testing/verify-matrix.md",
@@ -520,13 +527,14 @@
       "execution": {
         "mode": "single"
       },
-      "steps": [
-        "把 US1 标题、requirement_ids、owned_paths、产物路径和独立验证方式替换为真实项目内容",
-        "把 qa_contract 中的 tdd_contract.source_case_ids、story_full_chain.source_case_ids、acceptance_validation.source_case_ids、入口、数据、动作、Oracle、证据、失败态和 release impact 全部替换为真实内容",
-        "仅实现首个可单独交付的用户故事，并同步补齐其 affected tests 与必要文档",
-        "运行与 US1 对应的真实验证命令，必须包含开发验证和代码完成后的故事级验收链路，并记录可回溯证据"
-      ],
-      "test_command": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/verify.ps1 -Commands @('<replace-with-project-fitness-check>', '<replace-with-affected-tests>', 'git diff --check')",
+      "steps": [
+        "把 US1 标题、requirement_ids、owned_paths、产物路径和独立验证方式替换为真实项目内容",
+        "把 qa_contract 中的 tdd_contract.source_case_ids、story_full_chain.source_case_ids、acceptance_validation.source_case_ids、入口、数据、动作、Oracle、证据、失败态和 release impact 全部替换为真实内容",
+        "单个 feature_impl 默认不超过 3 条主 requirement_ids；订单、支付、库存、RBAC 不要和其他主故事捆绑；前端和后端不要长期混在同一个 story",
+        "仅实现首个可单独交付的用户故事，并同步补齐其 affected tests 与必要文档",
+        "运行与 US1 对应的真实验证命令，必须包含开发验证和代码完成后的故事级验收链路，并记录可回溯证据"
+      ],
+      "test_command": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\verify.ps1 -Commands @('<replace-with-project-fitness-check>', '<replace-with-affected-tests>', 'git diff --check')",
       "acceptance": [
         "US1 能作为 MVP 独立演示或独立验收",
         "US1 满足架构约束 truth source，不以测试替身冒充声明交付路径",
@@ -652,19 +660,21 @@
         ],
         "exemptions": []
       },
-      "context_files": [
-        "docs/product/prd-lite.md",
-        "docs/product/requirement-interface-matrix.md",
-        "docs/architecture/constraints.md",
-        "docs/context/feature-pack.md",
-        "docs/design/design-brief.md",
-        "docs/design/component-map.md",
-        "docs/design/screen-states.md",
-        "docs/testing/ACCEPTANCE_EXAMPLES.md",
-        "docs/testing/NATURAL_LANGUAGE_TEST_CASES.md",
-        "docs/testing/TRACEABILITY_MATRIX.md",
-        "docs/testing/TEST_STRATEGY.md",
-        "docs/testing/TEST_DATA_MATRIX.md",
+      "context_files": [
+        "docs/product/prd-lite.md",
+        "docs/product/requirement-interface-matrix.md",
+        "docs/architecture/constraints.md",
+        "docs/context/feature-pack.md",
+        "docs/design/design-brief.md",
+        "docs/design/component-map.md",
+        "docs/design/screen-states.md",
+        "docs/testing/ACCEPTANCE_CRITERIA.md",
+        "docs/testing/ACCEPTANCE_EXAMPLES.md",
+        "docs/testing/NATURAL_LANGUAGE_TEST_CASES.md",
+        "docs/testing/REGRESSION_PLAN.md",
+        "docs/testing/TRACEABILITY_MATRIX.md",
+        "docs/testing/TEST_STRATEGY.md",
+        "docs/testing/TEST_DATA_MATRIX.md",
         "docs/testing/EVIDENCE_PROTOCOL.md",
         "docs/testing/test-matrix.md",
         "docs/testing/verify-matrix.md",
@@ -685,13 +695,14 @@
       "execution": {
         "mode": "single"
       },
-      "steps": [
-        "将 US2 占位内容替换为真实范围、路径、需求编号和验证命令",
-        "把 qa_contract 中的 tdd_contract.source_case_ids、story_full_chain.source_case_ids、acceptance_validation.source_case_ids、入口、数据、动作、Oracle、证据、失败态和 release impact 全部替换为真实内容",
-        "确保 US2 可作为独立增量交付，不把未确认范围混入同一任务",
-        "补齐 US2 的 affected tests、开发验证、代码完成后的故事级验收链路、回归说明和证据路径"
-      ],
-      "test_command": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/verify.ps1 -Commands @('<replace-with-project-fitness-check>', '<replace-with-affected-tests>', 'git diff --check')",
+      "steps": [
+        "将 US2 占位内容替换为真实范围、路径、需求编号和验证命令",
+        "把 qa_contract 中的 tdd_contract.source_case_ids、story_full_chain.source_case_ids、acceptance_validation.source_case_ids、入口、数据、动作、Oracle、证据、失败态和 release impact 全部替换为真实内容",
+        "单个 feature_impl 默认不超过 3 条主 requirement_ids；订单、支付、库存、RBAC 不要和其他主故事捆绑；前端和后端不要长期混在同一个 story",
+        "确保 US2 可作为独立增量交付，不把未确认范围混入同一任务",
+        "补齐 US2 的 affected tests、开发验证、代码完成后的故事级验收链路、回归说明和证据路径"
+      ],
+      "test_command": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\verify.ps1 -Commands @('<replace-with-project-fitness-check>', '<replace-with-affected-tests>', 'git diff --check')",
       "acceptance": [
         "US2 范围清晰且不与其他故事混杂",
         "US2 满足架构约束 truth source，不以测试替身冒充声明交付路径",
@@ -817,18 +828,21 @@
         ],
         "exemptions": []
       },
-      "context_files": [
-        "docs/product/prd-lite.md",
-        "docs/product/requirement-interface-matrix.md",
-        "docs/architecture/constraints.md",
-        "docs/context/feature-pack.md",
-        "docs/design/design-brief.md",
-        "docs/design/component-map.md",
-        "docs/design/screen-states.md",
-        "docs/testing/ACCEPTANCE_EXAMPLES.md",
-        "docs/testing/TRACEABILITY_MATRIX.md",
-        "docs/testing/TEST_STRATEGY.md",
-        "docs/testing/TEST_DATA_MATRIX.md",
+      "context_files": [
+        "docs/product/prd-lite.md",
+        "docs/product/requirement-interface-matrix.md",
+        "docs/architecture/constraints.md",
+        "docs/context/feature-pack.md",
+        "docs/design/design-brief.md",
+        "docs/design/component-map.md",
+        "docs/design/screen-states.md",
+        "docs/testing/ACCEPTANCE_CRITERIA.md",
+        "docs/testing/ACCEPTANCE_EXAMPLES.md",
+        "docs/testing/NATURAL_LANGUAGE_TEST_CASES.md",
+        "docs/testing/REGRESSION_PLAN.md",
+        "docs/testing/TRACEABILITY_MATRIX.md",
+        "docs/testing/TEST_STRATEGY.md",
+        "docs/testing/TEST_DATA_MATRIX.md",
         "docs/testing/EVIDENCE_PROTOCOL.md",
         "docs/testing/test-matrix.md",
         "docs/testing/verify-matrix.md",
@@ -849,13 +863,14 @@
       "execution": {
         "mode": "single"
       },
-      "steps": [
-        "将 US3 占位内容替换为真实故事标题、路径、需求编号和验证方式",
-        "把 qa_contract 中的 tdd_contract.source_case_ids、story_full_chain.source_case_ids、acceptance_validation.source_case_ids、入口、数据、动作、Oracle、证据、失败态和 release impact 全部替换为真实内容",
-        "只承接剩余优先级最高且可单独验收的增量，不把 release 收口动作混入本故事",
-        "完成 US3 的实现、测试映射、开发验证、代码完成后的故事级验收链路和证据沉淀"
-      ],
-      "test_command": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/verify.ps1 -Commands @('<replace-with-project-fitness-check>', '<replace-with-affected-tests>', 'git diff --check')",
+      "steps": [
+        "将 US3 占位内容替换为真实故事标题、路径、需求编号和验证方式",
+        "把 qa_contract 中的 tdd_contract.source_case_ids、story_full_chain.source_case_ids、acceptance_validation.source_case_ids、入口、数据、动作、Oracle、证据、失败态和 release impact 全部替换为真实内容",
+        "单个 feature_impl 默认不超过 3 条主 requirement_ids；订单、支付、库存、RBAC 不要和其他主故事捆绑；前端和后端不要长期混在同一个 story",
+        "只承接剩余优先级最高且可单独验收的增量，不把 release 收口动作混入本故事",
+        "完成 US3 的实现、测试映射、开发验证、代码完成后的故事级验收链路和证据沉淀"
+      ],
+      "test_command": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\verify.ps1 -Commands @('<replace-with-project-fitness-check>', '<replace-with-affected-tests>', 'git diff --check')",
       "acceptance": [
         "US3 的增量边界和独立验收方式已明确",
         "US3 满足架构约束 truth source，不以测试替身冒充声明交付路径",

package/package-source/docs/codex-harness-engineering/templates/runtime/smoke-task.json

@@ -37,7 +37,7 @@
     }
   ],
   "runtime": {
-    "driver": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/codex-loop.ps1",
+    "driver": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\codex-loop.ps1",
     "run_profile": ".codex\\task-run-profile.json",
     "session": {
       "mode": "fresh-process",

package/package-source/docs/codex-harness-engineering/templates/runtime/task.json

@@ -1,6 +1,6 @@
 {
   "runtime": {
-    "driver": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\tools/harness/codex-loop.ps1",
+    "driver": "powershell -NoProfile -ExecutionPolicy Bypass -File .\\tools\\harness\\codex-loop.ps1",
     "trace_dir": "traces",
     "agent": "codex",
     "run_profile": ".codex\\task-run-profile.json",