@pzy560117/codex-harness 0.1.9 → 0.1.11

package/README.md

@@ -106,7 +106,7 @@ harness init --plan
 ### 钉住远程版本初始化
 
 ```powershell
-npx @pzy560117/codex-harness init --version 0.1.9
+npx @pzy560117/codex-harness init --version 0.1.11
 ```
 
 适合 release smoke 或回滚到某个已发布版本。

package/package-source/docs/codex-harness-engineering/templates/bootstrap-codex-harness.ps1

@@ -613,6 +613,7 @@ $rootFiles = @(
   @{ Source = "prompts\worker-role\harness-writer.md"; Destination = ".codex\prompts\worker-role\harness-writer.md" },
   @{ Source = "runtime\smoke-task.json"; Destination = "tools\harness\templates\smoke-task.json" },
   @{ Source = "runtime\project-task-template.json"; Destination = "tools\harness\templates\project-task-template.json" },
+  @{ Source = "runtime\feature-task-reference.json"; Destination = "tools\harness\templates\feature-task-reference.json" },
   @{ Source = "tools\harness\task-structure-lint.ps1"; Destination = "tools\harness\task-structure-lint.ps1" },
   @{ Source = "runtime\verify.ps1"; Destination = "tools\harness\verify.ps1" },
   @{ Source = "tools\harness\docs-lint.ps1"; Destination = "tools\harness\docs-lint.ps1" },
@@ -667,7 +668,8 @@ $contextFiles = @(
   @{ Source = "context\API_MAP.md"; Destination = "docs\ai\API_MAP.md" },
   @{ Source = "context\DB_SCHEMA.md"; Destination = "docs\ai\DB_SCHEMA.md" },
   @{ Source = "context\KNOWN_ISSUES.md"; Destination = "docs\ai\KNOWN_ISSUES.md" },
-  @{ Source = "context\CHANGELOG_AI.md"; Destination = "docs\ai\CHANGELOG_AI.md" }
+  @{ Source = "context\CHANGELOG_AI.md"; Destination = "docs\ai\CHANGELOG_AI.md" },
+  @{ Source = "context\service-dependency-matrix.yaml"; Destination = ".service-matrix\dependencies.yaml" }
 )
 
 foreach ($file in $contextFiles) {

package/package-source/docs/codex-harness-engineering/templates/package-assets/root/install-agent.ps1

@@ -20,8 +20,12 @@ param(
   [switch]$InitGitIfNeeded
 )
 
-Set-StrictMode -Version Latest
-$ErrorActionPreference = "Stop"
+Set-StrictMode -Version Latest
+$ErrorActionPreference = "Stop"
+
+function Get-PackageRoot {
+  return [System.IO.Path]::GetFullPath((Join-Path $PSScriptRoot "..\.."))
+}
 
 function Write-Step {
   param([string]$Message)
@@ -214,7 +218,7 @@ function Write-InstallPlan {
   }
 }
 
-function Get-ManifestEntriesForMode {
+function Get-ManifestEntriesForMode {
   param(
     [object]$ManifestInfo,
     [string]$InstallMode,
@@ -249,8 +253,17 @@ function Get-ManifestEntriesForMode {
     })
   }
 
-  return $modeEntries
-}
+  return $modeEntries
+}
+
+function Get-ThinProjectExcludedDestinations {
+  return @(
+    "docs/testing/",
+    "docs/harness/",
+    "docs/requirement-prep-kit/",
+    "docs/knowledge/"
+  )
+}
 
 function Get-InstallManifestVersion {
   param([object]$ManifestInfo)
@@ -283,7 +296,7 @@ function Get-PackageSourceCommit {
 function Read-PackageLockOrNull {
   param([string]$ProjectRoot)
 
-  $lockPath = Join-Path $ProjectRoot ".codex-harness\package.lock.json"
+  $lockPath = Join-Path $ProjectRoot ".codex-harness\locks\package.lock.json"
   if (-not (Test-Path -LiteralPath $lockPath -PathType Leaf)) {
     return $null
   }
@@ -462,7 +475,7 @@ function Write-UpgradePlan {
   $lockInfo = Read-PackageLockOrNull -ProjectRoot $ProjectRoot
   if ($null -eq $lockInfo) {
     Write-Output "Status: missing-lock"
-    Write-Output "Reason: .codex-harness/locks/package.lock.json 不存在，无法安全区分包管理文件和用户文件。"
+    Write-Output "Reason: .codex-harness/locks/package.lock.json 不存在，无法安全区分包管理文件和用户文件。"
     return
   }
 
@@ -598,11 +611,11 @@ function Get-VendorManifestFileRecords {
   $templateRoot = Join-Path $packageRoot "docs\codex-harness-engineering\templates"
   $fullPackageRootMappings = @(
     @{ SourceRoot = $templateRoot; Source = "runtime\AGENTS.md"; Destination = ".agents/AGENTS.md"; Kind = "runtime" },
-    @{ SourceRoot = $templateRoot; Source = "tools/install/bootstrap-codex-harness.ps1"; Destination = ".agents/tools/install/bootstrap-codex-harness.ps1"; Kind = "runtime" },
-    @{ SourceRoot = $templateRoot; Source = "runtime\tools/harness/codex-loop.ps1"; Destination = ".agents/codex-loop.ps1"; Kind = "runtime" },
-    @{ SourceRoot = $templateRoot; Source = "config\tools/install/env-check.ps1"; Destination = ".agents/tools/install/env-check.ps1"; Kind = "runtime" },
-    @{ SourceRoot = $templateRoot; Source = "runtime\tools/harness/verify.ps1"; Destination = ".agents/tools/harness/verify.ps1"; Kind = "runtime" },
-    @{ SourceRoot = $templateRoot; Source = "trace\docs/harness/trace.schema.json"; Destination = ".agents/docs/harness/trace.schema.json"; Kind = "runtime" }
+    @{ SourceRoot = $templateRoot; Source = "bootstrap-codex-harness.ps1"; Destination = ".agents/bootstrap-codex-harness.ps1"; Kind = "runtime" },
+    @{ SourceRoot = $templateRoot; Source = "runtime\codex-loop.ps1"; Destination = ".agents/codex-loop.ps1"; Kind = "runtime" },
+    @{ SourceRoot = $templateRoot; Source = "config\env-check.ps1"; Destination = ".agents/env-check.ps1"; Kind = "runtime" },
+    @{ SourceRoot = $templateRoot; Source = "runtime\verify.ps1"; Destination = ".agents/verify.ps1"; Kind = "runtime" },
+    @{ SourceRoot = $templateRoot; Source = "trace\trace.schema.json"; Destination = ".agents/trace.schema.json"; Kind = "runtime" }
   )
 
   foreach ($mapping in $fullPackageRootMappings) {
@@ -890,7 +903,7 @@ function Write-MigrationAdoptPackageLock {
     [object[]]$AdoptRecords
   )
 
-  $lockDirectory = Join-Path $ProjectRoot ".codex-harness"
+  $lockDirectory = Join-Path $ProjectRoot ".codex-harness\locks"
   if (-not (Test-Path -LiteralPath $lockDirectory -PathType Container)) {
     New-Item -ItemType Directory -Force -Path $lockDirectory | Out-Null
   }
@@ -957,7 +970,7 @@ function Invoke-MigrationApply {
   $blockedRecords = @($records | Where-Object { @("blocked-user-drift", "unknown-legacy-file", "manual-review") -contains [string]$_.Action })
   $plannedWrites = @()
   if ($adoptRecords.Count -gt 0) {
-    $plannedWrites = @(".codex-harness/locks/package.lock.json", ".codex-harness/state/config.json")
+    $plannedWrites = @(".codex-harness/locks/package.lock.json", ".codex-harness/state/config.json")
   }
 
   if (-not [bool]$plan.AgentsExists) {
@@ -1035,7 +1048,7 @@ function Invoke-MigrationApply {
   }
 
   Write-Output ("WrittenManagedFiles: {0}" -f $adoptRecords.Count)
-  Write-Output "nextSteps: 运行 tools/harness/doctor.ps1 和 refresh-agent-package.ps1 -CheckOnly 验证迁移后的 lock。"
+  Write-Output "nextSteps: 运行 doctor.ps1 和 refresh-agent-package.ps1 -CheckOnly 验证迁移后的 lock。"
 }
 
 function Get-InstalledModeFromLock {
@@ -1161,7 +1174,7 @@ function Get-InstallLockManagedFiles {
       continue
     }
 
-    if ([string]$entry.Kind -eq "generated-lock" -or [string]$entry.Destination -eq ".codex-harness/locks/package.lock.json") {
+    if ([string]$entry.Kind -eq "generated-lock" -or [string]$entry.Destination -eq ".codex-harness/locks/package.lock.json") {
       continue
     }
 
@@ -1224,7 +1237,7 @@ function Write-InstalledPackageLock {
   $packageVersion = Get-InstallManifestVersion -ManifestInfo $ManifestInfo
   $aiKitManifestPath = Join-Path $PackageRoot "ai-sync\ai-kit-manifest.json"
 
-  $lockDirectory = Join-Path $ProjectRoot ".codex-harness"
+  $lockDirectory = Join-Path $ProjectRoot ".codex-harness\locks"
   if (-not (Test-Path -LiteralPath $lockDirectory -PathType Container)) {
     New-Item -ItemType Directory -Force -Path $lockDirectory | Out-Null
   }
@@ -1265,7 +1278,7 @@ function Write-ProjectHarnessConfig {
     [string]$PackageRoot
   )
 
-  $configDirectory = Join-Path $ProjectRoot ".codex-harness"
+  $configDirectory = Join-Path $ProjectRoot ".codex-harness\state"
   if (-not (Test-Path -LiteralPath $configDirectory -PathType Container)) {
     New-Item -ItemType Directory -Force -Path $configDirectory | Out-Null
   }
@@ -1362,7 +1375,7 @@ function Invoke-UpgradeExecution {
 
   $lockInfo = Read-PackageLockOrNull -ProjectRoot $ProjectRoot
   if ($null -eq $lockInfo) {
-    throw "missing-lock: .codex-harness/locks/package.lock.json 不存在，无法安全执行升级。"
+    throw "missing-lock: .codex-harness/locks/package.lock.json 不存在，无法安全执行升级。"
   }
 
   $lockDocument = $lockInfo.Document
@@ -1535,7 +1548,7 @@ function Invoke-UninstallExecution {
 
   $lockInfo = Read-PackageLockOrNull -ProjectRoot $ProjectRoot
   if ($null -eq $lockInfo) {
-    throw "missing-lock: .codex-harness/locks/package.lock.json 不存在，无法安全执行卸载。"
+    throw "missing-lock: .codex-harness/locks/package.lock.json 不存在，无法安全执行卸载。"
   }
 
   $lockDocument = $lockInfo.Document
@@ -1649,11 +1662,11 @@ function Test-GitRepository {
   }
 }
 
-function Assert-GitRepoOrInit {
-  param(
-    [string]$Root,
-    [bool]$AllowInit
-  )
+function Assert-GitRepoOrInit {
+  param(
+    [string]$Root,
+    [bool]$AllowInit
+  )
 
   $repoExists = Test-GitRepository -Root $Root
 
@@ -1661,15 +1674,32 @@ function Assert-GitRepoOrInit {
     return $true
   }
 
-  if (-not $AllowInit) {
-    throw "目标目录不是 Git 仓库: $Root。请先初始化 Git，或传入 -InitGitIfNeeded。"
-  }
-
-  Write-Step "目标目录不是 Git 仓库，执行 git init。"
-  & git -C $Root init | Out-Null
-  if ($LASTEXITCODE -ne 0) {
-    throw "git init 失败: $Root"
-  }
+  if (-not $AllowInit) {
+    throw "目标目录不是 Git 仓库: $Root。请先初始化 Git，或传入 -InitGitIfNeeded。"
+  }
+
+  $codeGraphCommand = Get-Command codegraph -ErrorAction SilentlyContinue
+  if ($null -eq $codeGraphCommand) {
+    throw "目标目录不是 Git 仓库: $Root。自动初始化前需要先执行 codegraph init -i，但当前环境找不到 codegraph 命令。"
+  }
+
+  Write-Step "目标目录不是 Git 仓库，先执行 codegraph init -i。"
+  Push-Location $Root
+  try {
+    & $codeGraphCommand.Source init -i | Out-Host
+    if ($LASTEXITCODE -ne 0) {
+      throw "codegraph init -i 失败: $Root"
+    }
+  }
+  finally {
+    Pop-Location
+  }
+
+  Write-Step "目标目录不是 Git 仓库，执行 git init。"
+  & git -C $Root init | Out-Null
+  if ($LASTEXITCODE -ne 0) {
+    throw "git init 失败: $Root"
+  }
 
   return $false
 }
@@ -2018,7 +2048,7 @@ function Copy-ManifestEntries {
   }
 }
 
-function Overlay-DirectoryIfPresent {
+function Overlay-DirectoryIfPresent {
   param(
     [string]$SourceDirectory,
     [string]$DestinationDirectory
@@ -2052,8 +2082,8 @@ function Overlay-DirectoryIfPresent {
   }
 }
 
-function Ensure-ReadmeForSmoke {
-  param([string]$Root)
+function Ensure-ReadmeForSmoke {
+  param([string]$Root)
 
   $readmePath = Join-Path $Root "README.md"
   if (Test-Path -LiteralPath $readmePath) {
@@ -2063,14 +2093,48 @@ function Ensure-ReadmeForSmoke {
   @(
     "# Project README",
     "",
-    "This README was generated by tools/install/install-agent.ps1 to support the initial smoke task.",
+    "This README was generated by install-agent.ps1 to support the initial smoke task.",
     "Replace it with project-specific content after harness setup is verified."
   ) | Set-Content -LiteralPath $readmePath -Encoding UTF8
-
-  return $readmePath
-}
-
-function Copy-Package {
+
+  return $readmePath
+}
+
+function Assert-InstalledProjectScopeSurface {
+  param(
+    [object]$ManifestInfo,
+    [string]$ProjectRoot,
+    [switch]$ThinProjectProfile
+  )
+
+  $projectEntries = @(Get-ManifestEntriesForMode -ManifestInfo $ManifestInfo -InstallMode "project" -ThinProjectProfile:$ThinProjectProfile.IsPresent)
+
+  $missingPaths = @()
+  foreach ($entry in $projectEntries) {
+    $targetPath = [string]$entry.TargetPath
+    if ([string]::IsNullOrWhiteSpace($targetPath)) {
+      continue
+    }
+
+    if ($entry.SourceKind -eq "directory") {
+      if (-not (Test-Path -LiteralPath $targetPath -PathType Container)) {
+        $missingPaths += $entry.Destination
+      }
+      continue
+    }
+
+    if (-not (Test-Path -LiteralPath $targetPath -PathType Leaf)) {
+      $missingPaths += $entry.Destination
+    }
+  }
+
+  if ($missingPaths.Count -gt 0) {
+    $details = ($missingPaths | Sort-Object -Unique | ForEach-Object { "- $_" }) -join "`n"
+    throw "project scope 安装后缺少以下真相源或运行文件:`n$details"
+  }
+}
+
+function Copy-Package {
   param(
     [string]$SourceRoot,
     [string]$DestinationRoot,
@@ -2089,14 +2153,14 @@ function Copy-Package {
 
   $rootFileMappings = @(
     @{ SourceRoot = $templateRoot; Source = "runtime\AGENTS.md"; Destination = "AGENTS.md" },
-    @{ SourceRoot = $templateRoot; Source = "tools/install/bootstrap-codex-harness.ps1"; Destination = "tools/install/bootstrap-codex-harness.ps1" },
-    @{ SourceRoot = $templateRoot; Source = "runtime\tools/harness/codex-loop.ps1"; Destination = "tools/harness/codex-loop.ps1" },
-    @{ SourceRoot = $templateRoot; Source = "config\tools/install/env-check.ps1"; Destination = "tools/install/env-check.ps1" },
-    @{ SourceRoot = $templateRoot; Source = "runtime\tools/harness/verify.ps1"; Destination = "tools/harness/verify.ps1" },
-    @{ SourceRoot = $templateRoot; Source = "trace\docs/harness/trace.schema.json"; Destination = "docs/harness/trace.schema.json" },
+    @{ SourceRoot = $templateRoot; Source = "bootstrap-codex-harness.ps1"; Destination = "bootstrap-codex-harness.ps1" },
+    @{ SourceRoot = $templateRoot; Source = "runtime\codex-loop.ps1"; Destination = "codex-loop.ps1" },
+    @{ SourceRoot = $templateRoot; Source = "config\env-check.ps1"; Destination = "env-check.ps1" },
+    @{ SourceRoot = $templateRoot; Source = "runtime\verify.ps1"; Destination = "verify.ps1" },
+    @{ SourceRoot = $templateRoot; Source = "trace\trace.schema.json"; Destination = "trace.schema.json" },
     @{ SourceRoot = $SourceRoot; Source = "install-manifest.json"; Destination = "install-manifest.json" },
     @{ SourceRoot = $SourceRoot; Source = "install-manifest.schema.json"; Destination = "install-manifest.schema.json" },
-    @{ SourceRoot = $packageAssetsRoot; Source = "root\tools/install/install-agent.ps1"; Destination = "tools/install/install-agent.ps1" },
+    @{ SourceRoot = $packageAssetsRoot; Source = "root\install-agent.ps1"; Destination = "install-agent.ps1" },
     @{ SourceRoot = $packageAssetsRoot; Source = "root\install-agent-here.ps1"; Destination = "install-agent-here.ps1" },
     @{ SourceRoot = $packageAssetsRoot; Source = "root\README.md"; Destination = "README.md" },
     @{ SourceRoot = $packageAssetsRoot; Source = "root\PACKAGE.md"; Destination = "PACKAGE.md" }
@@ -2135,10 +2199,10 @@ function Copy-Package {
     -DestinationRelativePath "docs\codex-harness-engineering\templates"
 }
 
-$sourceRoot = [System.IO.Path]::GetFullPath($PSScriptRoot)
-if ([string]::IsNullOrWhiteSpace($ProjectRoot)) {
-  $ProjectRoot = $sourceRoot
-}
+$sourceRoot = Get-PackageRoot
+if ([string]::IsNullOrWhiteSpace($ProjectRoot)) {
+  $ProjectRoot = $sourceRoot
+}
 
 $resolvedProjectRoot = [System.IO.Path]::GetFullPath($ProjectRoot)
 $targetAgentsRoot = Join-Path $resolvedProjectRoot ".agents"
@@ -2315,7 +2379,7 @@ try {
       $scopeUserPackage = Install-UserPackageLayer -ManifestInfo $installManifestInfo -PackageRoot $effectiveSourceRoot
     }
 
-    $bootstrapScript = Join-Path $effectiveSourceRoot "tools/install/bootstrap-codex-harness.ps1"
+    $bootstrapScript = Join-Path $effectiveSourceRoot "tools\install\bootstrap-codex-harness.ps1"
     Write-Step "同步项目根 runtime 文件 (mode=$Mode)"
     $bootstrapArgs = @(
       '-NoProfile',
@@ -2334,7 +2398,7 @@ try {
 
     & powershell @bootstrapArgs | Out-Host
     if ($LASTEXITCODE -ne 0) {
-      throw "tools/install/bootstrap-codex-harness.ps1 执行失败: $resolvedProjectRoot"
+      throw "bootstrap-codex-harness.ps1 执行失败: $resolvedProjectRoot"
     }
   }
   elseif ($Mode -eq "vendor") {
@@ -2362,9 +2426,9 @@ try {
     New-Item -ItemType Directory -Path $targetAgentsRoot | Out-Null
     Copy-Package -SourceRoot $effectiveSourceRoot -DestinationRoot $targetAgentsRoot -InstallMode $Mode
 
-    $bootstrapScript = Join-Path $targetAgentsRoot "tools/install/bootstrap-codex-harness.ps1"
+    $bootstrapScript = Join-Path $targetAgentsRoot "bootstrap-codex-harness.ps1"
 
-    Write-Step "调用 tools/install/bootstrap-codex-harness.ps1 同步项目根 runtime 文件"
+    Write-Step "调用 bootstrap-codex-harness.ps1 同步项目根 runtime 文件"
     $bootstrapArgs = @(
       '-NoProfile',
       '-ExecutionPolicy', 'Bypass',
@@ -2380,7 +2444,7 @@ try {
 
     & powershell @bootstrapArgs | Out-Host
     if ($LASTEXITCODE -ne 0) {
-      throw "tools/install/bootstrap-codex-harness.ps1 执行失败: $resolvedProjectRoot"
+      throw "bootstrap-codex-harness.ps1 执行失败: $resolvedProjectRoot"
     }
   }
 
@@ -2395,25 +2459,31 @@ try {
     Write-Step "已写入 package lock: $lockPath"
   }
 
-  if ($Mode -eq "project" -or $Mode -eq "vendor") {
-    $configPackageRoot = if ($Mode -eq "vendor") { $targetAgentsRoot } elseif ($null -ne $scopeUserPackage) { [string]$scopeUserPackage.PackageRoot } else { $effectiveSourceRoot }
-    $configPath = Write-ProjectHarnessConfig `
-      -ManifestInfo $installManifestInfo `
+  if ($Mode -eq "project" -or $Mode -eq "vendor") {
+    $configPackageRoot = if ($Mode -eq "vendor") { $targetAgentsRoot } elseif ($null -ne $scopeUserPackage) { [string]$scopeUserPackage.PackageRoot } else { $effectiveSourceRoot }
+    $configPath = Write-ProjectHarnessConfig `
+      -ManifestInfo $installManifestInfo `
       -ProjectRoot $resolvedProjectRoot `
       -InstallScope $Mode `
       -VendorInstalled:($Mode -eq "vendor") `
-      -PackageRoot $configPackageRoot
-    Write-Step "已写入 harness config: $configPath"
-  }
-
-  $generatedReadme = $null
+      -PackageRoot $configPackageRoot
+    Write-Step "已写入 harness config: $configPath"
+  }
+
+  if ($Mode -eq "project") {
+    $thinProjectInstall = $Scope -eq "project" -or $defaultThinInstall
+    Assert-InstalledProjectScopeSurface -ManifestInfo $installManifestInfo -ProjectRoot $resolvedProjectRoot -ThinProjectProfile:$thinProjectInstall
+    Write-Step "project scope 真相源与运行文件已按 manifest 落地"
+  }
+
+  $generatedReadme = $null
   if ($InitSmoke) {
     $generatedReadme = Ensure-ReadmeForSmoke -Root $resolvedProjectRoot
     if ($null -ne $generatedReadme) {
       Write-Step "为 smoke 初始化补充 README.md: $generatedReadme"
     }
 
-    $smokeTaskPath = Join-Path $resolvedProjectRoot "smoke-task.json"
+    $smokeTaskPath = Join-Path $resolvedProjectRoot "tools\harness\templates\smoke-task.json"
     $taskPath = Join-Path $resolvedProjectRoot "task.json"
     if (-not (Test-Path -LiteralPath $smokeTaskPath)) {
       throw "找不到 smoke-task.json: $smokeTaskPath"
@@ -2490,16 +2560,19 @@ try {
   Write-Output ("SmokeInitialized: {0}" -f $InitSmoke.IsPresent)
   Write-Output ("BaselineCommitted: {0}" -f $baselineCommitted)
   Write-Output ("BaselinePolicy: {0}" -f $baselinePolicy)
-  if ($Mode -eq "full" -or $Mode -eq "project") {
-    Write-Output ""
-    Write-Output "Next steps:"
-    Write-Output ("- 裁剪 `"{0}`" 和 `"{1}`" 为目标项目事实" -f (Join-Path $resolvedProjectRoot 'docs\ai\repo-map.md'), (Join-Path $resolvedProjectRoot 'docs\ai\architecture-brief.md'))
-    Write-Output ("- powershell -NoProfile -ExecutionPolicy Bypass -File `"{0}`"" -f (Join-Path $resolvedProjectRoot 'tools/install/env-check.ps1'))
-    Write-Output ("- powershell -NoProfile -ExecutionPolicy Bypass -File `"{0}`"" -f (Join-Path $resolvedProjectRoot 'tools/harness/verify.ps1'))
-    Write-Output ("- powershell -NoProfile -ExecutionPolicy Bypass -File `"{0}`"" -f (Join-Path $resolvedProjectRoot 'tools/harness/codex-loop.ps1'))
-  }
-}
-finally {
+  if ($Mode -eq "full" -or $Mode -eq "project") {
+    Write-Output ""
+    Write-Output "Next steps:"
+    Write-Output ("- 先裁剪 `"{0}`"、`"{1}`" 和 `"{2}`" 为目标项目事实" -f (Join-Path $resolvedProjectRoot 'docs\ai\repo-map.md'), (Join-Path $resolvedProjectRoot 'docs\ai\architecture-brief.md'), (Join-Path $resolvedProjectRoot 'docs\ai\CURRENT_TASK.md'))
+    Write-Output ("- 复杂项目继续补齐 `"{0}`"、`"{1}`"、`"{2}`"、`"{3}`"、`"{4}`"、`"{5}`"" -f (Join-Path $resolvedProjectRoot 'docs\ai\PROJECT_CONTEXT.md'), (Join-Path $resolvedProjectRoot 'docs\ai\DECISIONS.md'), (Join-Path $resolvedProjectRoot 'docs\ai\API_MAP.md'), (Join-Path $resolvedProjectRoot 'docs\ai\DB_SCHEMA.md'), (Join-Path $resolvedProjectRoot 'docs\ai\KNOWN_ISSUES.md'), (Join-Path $resolvedProjectRoot 'docs\ai\CHANGELOG_AI.md'))
+    Write-Output ("- powershell -NoProfile -ExecutionPolicy Bypass -File `"{0}`"" -f (Join-Path $resolvedProjectRoot 'tools\install\env-check.ps1'))
+    Write-Output ("- powershell -NoProfile -ExecutionPolicy Bypass -File `"{0}`"" -f (Join-Path $resolvedProjectRoot 'tools\harness\verify.ps1'))
+    Write-Output ("- 如需接入外部知识或代码语义工具，先读 `"{0}`" 和 `"{1}`"" -f (Join-Path $resolvedProjectRoot 'docs\harness\mcp-knowledge-governance.md'), (Join-Path $resolvedProjectRoot 'docs\harness\code-semantics-and-navigation.md'))
+    Write-Output ("- 如需 7x24 长时间推进，可在 Codex app 中使用 `/goal`；推荐先读 `"{0}`" 和 `"{1}`"" -f (Join-Path $resolvedProjectRoot 'docs\codex-harness-engineering\goal-harness-integration-guide.md'), (Join-Path $resolvedProjectRoot 'docs\codex-harness-engineering\examples\goal-templates.md'))
+    Write-Output ("- powershell -NoProfile -ExecutionPolicy Bypass -File `"{0}`"" -f (Join-Path $resolvedProjectRoot 'tools\harness\codex-loop.ps1'))
+  }
+}
+finally {
   if (($null -ne $stagedSourceRoot) -and (Test-Path -LiteralPath $stagedSourceRoot)) {
     Remove-Item -LiteralPath $stagedSourceRoot -Recurse -Force -ErrorAction SilentlyContinue
   }

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

@@ -576,6 +576,15 @@ function Test-DoctorThinLegacyResidue {
   return $false
 }
 
+function Get-ThinProjectExcludedDestinations {
+  return @(
+    "docs/testing/",
+    "docs/harness/",
+    "docs/requirement-prep-kit/",
+    "docs/knowledge/"
+  )
+}
+
 function Test-ProjectScopeInstallSurface {
   param(
     [string]$Root,
@@ -594,6 +603,17 @@ function Test-ProjectScopeInstallSurface {
       continue
     }
 
+    $skipForThinProject = $false
+    foreach ($excludedDestination in @(Get-ThinProjectExcludedDestinations)) {
+      if ($destinationRaw.Replace('\', '/').StartsWith($excludedDestination, [System.StringComparison]::OrdinalIgnoreCase)) {
+        $skipForThinProject = $true
+        break
+      }
+    }
+    if ($skipForThinProject) {
+      continue
+    }
+
     $normalizedDestination = $destinationRaw.Replace('/', '\').TrimStart('\')
     $expectsDirectory = $destinationRaw.Trim().Replace('\', '/').EndsWith('/', [System.StringComparison]::Ordinal)
     $targetPath = Join-Path $Root $normalizedDestination
@@ -1265,17 +1285,18 @@ elseif (-not $isVendorProjectInstall) {
     Add-DoctorError -Errors ([ref]$errors) -Message "run profile 不是合法 JSON: $runProfileRelativePath"
   }
 
-  $allowedTaskKinds = @(
-    "harness",
-    "smoke",
-    "feature_research",
-    "feature_spec",
-    "feature_design",
-    "feature_plan",
-    "feature_impl",
-    "release",
-    "archive"
-  )
+  $allowedTaskKinds = @(
+    "harness",
+    "smoke",
+    "feature_research",
+    "feature_spec",
+    "feature_design",
+    "feature_plan",
+    "testcase_design",
+    "feature_impl",
+    "release",
+    "archive"
+  )
   $allowedGateProfiles = @(
     "lightweight",
     "research_required",