@pzy560117/codex-harness 0.1.6 → 0.1.8

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)
@@ -1017,15 +1053,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",
@@ -1143,11 +1180,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 +1267,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 +1294,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",

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

@@ -11,7 +11,7 @@ if ([string]::IsNullOrWhiteSpace($ProjectRoot)) {
   $ProjectRoot = [System.IO.Path]::GetFullPath((Join-Path $PSScriptRoot "..\.."))
 }
 
-function Invoke-VerificationCommand {
+function Invoke-VerificationCommand {
   param(
     [string]$Command,
     [string]$Root
@@ -27,8 +27,22 @@ function Invoke-VerificationCommand {
   }
   finally {
     Pop-Location
-  }
-}
+  }
+}
+
+function Invoke-TaskStructureValidation {
+  param([string]$Root)
+
+  $scriptPath = Join-Path $Root "tools\harness\task-structure-lint.ps1"
+  if (-not (Test-Path -LiteralPath $scriptPath)) {
+    throw "缺少 task structure lint: tools\\harness\\task-structure-lint.ps1"
+  }
+
+  & powershell -NoProfile -ExecutionPolicy Bypass -File $scriptPath -ProjectRoot $Root | Out-Host
+  if ($LASTEXITCODE -ne 0) {
+    throw "task structure 校验失败。"
+  }
+}
 
 function Get-CodexHookCommand {
   param(
@@ -166,15 +180,17 @@ function Test-CodexHookCommandCompatibility {
 function Test-PowerShellSyntax {
   param([string]$Root)
 
-  $paths = @(
+  $paths = @(
     "tools\install\bootstrap-codex-harness.ps1",
     "tools\harness\codex-loop.ps1",
     "tools\install\env-check.ps1",
     "tools\install\install-agent.ps1",
     "tools\install\install-agent-here.ps1",
+    "tools\harness\task-structure-lint.ps1",
     "tools\harness\verify.ps1",
     "docs\codex-harness-engineering\templates\bootstrap-codex-harness.ps1",
-    "docs\codex-harness-engineering\templates\hooks\hook-stop-verify.ps1"
+    "docs\codex-harness-engineering\templates\hooks\hook-stop-verify.ps1",
+    "docs\codex-harness-engineering\templates\tools\harness\task-structure-lint.ps1"
   )
 
   foreach ($relativePath in $paths) {
@@ -273,13 +289,14 @@ function Invoke-AgentPackageFreshnessCheck {
 
 $resolvedProjectRoot = (Resolve-Path -LiteralPath $ProjectRoot).Path
 
-foreach ($command in $Commands) {
-  Invoke-VerificationCommand -Command $command -Root $resolvedProjectRoot
-}
-
-Test-CodexHookCommandCompatibility -Root $resolvedProjectRoot -AdditionalPaths $HookConfigPaths
-Test-PowerShellSyntax -Root $resolvedProjectRoot
-Test-NoStaleFeedbackMcpReferences -Root $resolvedProjectRoot
+foreach ($command in $Commands) {
+  Invoke-VerificationCommand -Command $command -Root $resolvedProjectRoot
+}
+
+Invoke-TaskStructureValidation -Root $resolvedProjectRoot
+Test-CodexHookCommandCompatibility -Root $resolvedProjectRoot -AdditionalPaths $HookConfigPaths
+Test-PowerShellSyntax -Root $resolvedProjectRoot
+Test-NoStaleFeedbackMcpReferences -Root $resolvedProjectRoot
 Invoke-AgentPackageFreshnessCheck -Root $resolvedProjectRoot
 
 Write-Output "Verification passed."