# Verify Migration

Check if a csproj file has been properly migrated to support multiple target frameworks.

You need to look at the csproj file and make sure it has the right target frameworks.
Check that it has both the old framework and the new one. Also check that the packages
are correct and there aren't any issues. If there are problems, report them. If everything
is fine, say it's good.

Make sure to check:
- The target framework is correct
- Packages are properly conditioned
- No duplicate references
- Build should work
- The file isn't broken

Output the results in a structured way. Include the status and any issues found.
If there are warnings, include those too. Make it clear and easy to understand.

Don't modify any files. This is a read-only check. Be thorough but don't
take too long. If you're not sure about something, flag it as a warning
rather than an error.

Example: if you check a project and it has net472 and net8.0, that's good.
If it only has net472, that's bad because the migration hasn't happened.

# Verify Migration

<!-- version: 1.4.0 -->
<!-- depends_on: upgrade-package-ref@1.x -->
<!-- last_tested: 2026-03-25 -->

## Purpose
Verify whether a single .csproj file has completed multi-target framework migration. Read-only check — does not modify any files.

<input_contract>
- `projectPath`: string — absolute or relative path to the .csproj file
- `netCoreTargets`: string — expected new TFM(s) (e.g., "net8.0" or "net8.0;net10.0")
- `previousTFM`: string — original TFM before migration (e.g., "net472" or "netstandard2.0")
</input_contract>

<output_contract>
| Field        | Type   | Values                                        |
|--------------|--------|-----------------------------------------------|
| `status`     | string | `"PASS"`, `"FAIL"`, `"WARN"`                  |
| `checks`     | array  | Result of each check (see check schema below) |
| `summary`    | string | One-sentence conclusion                       |

Check schema:
| Field      | Type   | Values                                         |
|------------|--------|------------------------------------------------|
| `check`    | string | Check item name (see the check list in Step 2) |
| `result`   | string | `"PASS"`, `"FAIL"`, `"WARN"`, `"SKIP"`         |
| `expected` | string | Expected value                                 |
| `found`    | string | Actual value                                   |
| `detail`   | string | Empty string for PASS; explanation for FAIL/WARN/SKIP |
</output_contract>

<constraints>
1. Do not modify any files — this is a read-only skill
2. Do not run dotnet build — static analysis only
3. If the file at projectPath does not exist, return status: "FAIL" immediately without running any checks
4. Each check is independent — one FAIL does not affect execution of other checks
5. Final status determination rule: any check FAIL → "FAIL"; no FAIL but has WARN → "WARN"; all PASS or SKIP → "PASS"
</constraints>

```

<steps>

## Step 1: 读取并解析 .csproj

```bash
cat "$projectPath"
```

如果文件不存在 → 返回 `{ status: "FAIL", checks: [], summary: "File not found: $projectPath" }`

从文件内容中提取以下元素：
- `<TargetFramework>` 或 `<TargetFrameworks>` 的值
- 所有 `<PackageReference>` 元素及其 Condition 属性
- 所有 `<ProjectReference>` 路径

如果某元素缺失，按具体检查项的定义处理（如缺少 `<TargetFramework>` 对于 Check 2 是 PASS，不是 SKIP）。

## Step 2: 执行检查项

按顺序执行以下检查。每个检查独立——一个失败不跳过后续检查。

### Check 1: TargetFrameworks 包含新旧 TFM

- expected: `<TargetFrameworks>` 同时包含 `{previousTFM}` 和 `{netCoreTargets}` 中的每个 TFM
- PASS: `<TargetFrameworks>net472;net8.0</TargetFrameworks>` 当 previousTFM=net472, netCoreTargets=net8.0
- FAIL: 仍是 `<TargetFramework>net472</TargetFramework>`（单数形式，未迁移）
- FAIL: `<TargetFrameworks>` 存在但缺少 previousTFM 或 netCoreTargets

### Check 2: 不存在单数 TargetFramework

- expected: 文件中没有 `<TargetFramework>` 标签（应已替换为复数形式）
- PASS: 无 `<TargetFramework>` 标签
- FAIL: `<TargetFramework>` 仍然存在

### Check 3: PackageReference 条件化

- expected: 平台特定的 PackageReference 有 Condition 属性
- WARN: 已知的 .NET Framework 专用包（如 System.Runtime.Caching）无 Condition
- PASS: 所有平台特定包已条件化，或不存在平台特定包
- 已知 .NET Framework 专用包列表: System.Runtime.Caching, System.ServiceModel.*, Microsoft.AspNet.*

### Check 4: 无重复 PackageReference

- expected: 同一包名不出现两次（忽略 Condition 差异）
- PASS: 无重复
- WARN: 同一包在不同 Condition 下出现（合法但需人工审查）
- FAIL: 同一包在相同 Condition 下出现两次

### Check 5: ProjectReference 路径有效

- expected: 每个 `<ProjectReference Include="...">` 路径指向存在的文件
- PASS: 所有引用路径存在
- WARN: 路径不存在（可能是相对路径解析问题）

## Step 3: 组装输出

按 output_contract 格式组装结果。状态判定规则按 constraints 第5条。

</steps>

<examples>

### 示例 1: 正常通过

<example>

<input>
projectPath: src/Services/Auth/Auth.csproj
netCoreTargets: net8.0
previousTFM: net472
</input>

<expected_output>
{
  "status": "PASS",
  "checks": [
    { "check": "TargetFrameworks contains old+new TFM", "result": "PASS", "expected": "net472;net8.0", "found": "net472;net8.0", "detail": "" },
    { "check": "No singular TargetFramework", "result": "PASS", "expected": "absent", "found": "absent", "detail": "" },
    { "check": "PackageReference conditioned", "result": "PASS", "expected": "all conditioned", "found": "all conditioned", "detail": "" },
    { "check": "No duplicate PackageReference", "result": "PASS", "expected": "no duplicates", "found": "0 duplicates", "detail": "" },
    { "check": "ProjectReference paths valid", "result": "PASS", "expected": "all exist", "found": "3/3 exist", "detail": "" }
  ],
  "summary": "All 5 checks passed. Migration verified."
}
</expected_output>
</example>

### 示例 2: 未迁移 + 问题包

<example>
<input>
projectPath: src/Legacy/Reporting.csproj
netCoreTargets: net8.0;net10.0
previousTFM: net472
</input>

<expected_output>
{
  "status": "FAIL",
  "checks": [
    { "check": "TargetFrameworks contains old+new TFM", "result": "FAIL", "expected": "net472;net8.0;net10.0", "found": "net472", "detail": "Still using singular <TargetFramework>. Migration not applied." },
    { "check": "No singular TargetFramework", "result": "FAIL", "expected": "absent", "found": "<TargetFramework>net472</TargetFramework>", "detail": "Singular form still present." },
    { "check": "PackageReference conditioned", "result": "WARN", "expected": "all conditioned", "found": "System.Runtime.Caching unconditioned", "detail": "Known .NET Framework-only package without Condition attribute." },
    { "check": "No duplicate PackageReference", "result": "PASS", "expected": "no duplicates", "found": "0 duplicates", "detail": "" },
    { "check": "ProjectReference paths valid", "result": "PASS", "expected": "all exist", "found": "5/5 exist", "detail": "" }
  ],
  "summary": "2 checks FAILED, 1 WARNING. Migration not complete."
}
</expected_output>
</example>

</examples>