test: strengthen existing rule regression coverage (#8)

[mao2009]

Issue #8: Strengthen existing rule regression coverage

Refs #8

既存 RT/LVP/FIF Analyzer の現在の挙動を v1.0 まで壊さないための回帰テストを体系化します。テスト数 56 → 101。

⚠️ Base branch: この PR は main ではなく feature/issue-7-diagnostic-ssot をベースにしています。理由は「Issue #7 への依存」を参照してください。PR #20 の merge 後、base は自動的に main に切り替わります。

Changes

DiagnosticContractTests.cs（33 tests）

docs/DIAGNOSTICS.md の SSOT を機械的に固定します。

• 全 7 Diagnostic の ID / category / default severity / 既定有効 を検証
• SupportedDiagnostics が公開契約と厳密に一致することを検証（追加・削除の双方を検出。新規 Diagnostic は SSOT とこのリストを同時に更新しないと通りません）
• ID 命名規則（PREFIX + 4桁）を検証
• category 方針（Naming は既定 Error にしない）を検証
• 各 descriptor の title / message / description が解決可能かつ非空であることを検証
• title / description が Diagnostic 間で共有されていないことを検証

message 文言そのものは公開契約対象外のため値は固定していません。代わりに「descriptor が自分自身の ID の resource key を参照していること」を検証します。

RegressionBoundaryTests.cs（11 tests）

既存テストが扱っていなかった境界を固定します。

対象	内容
RT0001	instance field は対象外 / 同一アクセスが重複報告されないことを件数で固定
RT0002	string・Convert など既知純粋型は許可 / user type の instance method は検出 / [PureMethod] なしは解析対象外
RT0003	呼び出しではなく property 参照経路（Console.Out）を固定
LVP0001	var 宣言 / nested block / 二重アンダースコア / 読み取りのみは検出しない

AnalyzerProbe.cs

Analyzer を直接実行して報告 Diagnostic をそのまま取得するヘルパー。Microsoft.CodeAnalysis.Testing の markup 形式では重複報告の有無を表現しづらいため、件数と位置を直接検証したい境界テストで使用します。Issue #8 スコープの「Analyzer Test 共通パターンの整理」に該当します。

実装調査で判明した現在の挙動（テストで固定済み）

[PureMethod] メソッド内のローカル関数について:

• 本体は外側メソッドとして解析されるため、static mutable field アクセスに RT0001 が報告される
• 一方でローカル関数自体は [PureMethod] を持たないため、その呼び出しは RT0002（非純粋メソッド呼び出し）になる

この扱いが妥当かどうかは Issue #10（pure method contract / interprocedural analysis）の検討対象です。本 PR では挙動を変更せず、現状を固定するに留めています。

Issue #7 への依存（実測で確認）

Descriptor_DescriptionsAreNotSharedBetweenDiagnostics は、Issue #7 の LVP0003 descriptor 修正がない状態で実行すると

These diagnostics share an identical description, which means at least one
references another diagnostic's resource key: LVP0003, FIF0001

として実際に失敗することを実測で確認しました。推測ではなく CONFIRMED な依存です。

Merge order: PR #20（#7）→ この PR。

Verification

• Build: PASS (0 error)
• Tests: 101/101 PASS（baseline 56 から +45）
• git diff --check: PASS

Issue #8 完了条件

• 全公開 Diagnostic に positive/negative テストがある
• 主要な境界ケースがテストされている
• 既存挙動を変更する PR で回帰テストが必須になる（contract test が descriptor 変更を検出）
• Release 前に全 Analyzer Tests が green である

Merge boundary

技術検証を通過しても MERGE CANDIDATE にとどまります。merge には Merge Skill による検証と、この PR / HEAD に対する新しい明示的 human approval が必要です。

🤖 Generated with Claude Code

Summary by CodeRabbit

• Tests
  • Added regression coverage for analyzer behavior involving field access, pure and non-pure methods, I/O properties, variable reassignment, nested blocks, and read-only access.
  • Added contract tests validating diagnostic IDs, categories, severities, enablement, naming, descriptions, titles, and documented policies.
  • Added test infrastructure for compiling source code and collecting analyzer diagnostics asynchronously.

[coderabbitai]

No actionable comments were generated in the recent review. 🎉

ℹ️ Recent review info

⚙️ Run configuration

Configuration used: defaults

Review profile: CHILL

Plan: Team

Run ID: fe5ccefb-e3c5-4c98-9f41-6c1e7c2cb12c

📥 Commits

Reviewing files that changed from the base of the PR and between 285f852 and 052fb57.

📒 Files selected for processing (3)

• src/PureSharp.Analyzers.Tests/AnalyzerProbe.cs
• src/PureSharp.Analyzers.Tests/DiagnosticContractTests.cs
• src/PureSharp.Analyzers.Tests/RegressionBoundaryTests.cs

Included review availability: Your plan provides up to 8 included reviews per hour; 3 remain after this review.

---

📝 Walkthrough

Walkthrough

The test project adds a Roslyn analyzer execution helper, a diagnostic contract suite, and regression tests for RT0001–RT0003 and LVP0001 boundary behavior.

Changes

Analyzer testing

Layer / File(s)	Summary
Analyzer execution probe src/PureSharp.Analyzers.Tests/AnalyzerProbe.cs	Adds asynchronous compilation and analyzer execution with automatic metadata-reference discovery and load-failure handling.
Diagnostic contract validation src/PureSharp.Analyzers.Tests/DiagnosticContractTests.cs	Adds checks for diagnostic coverage, IDs, categories, severities, enablement, naming, descriptor text, uniqueness, and category policies.
Analyzer boundary regressions src/PureSharp.Analyzers.Tests/RegressionBoundaryTests.cs	Adds regression cases for RT0001, RT0002, RT0003, and LVP0001 analyzer behavior.

Estimated code review effort: 3 (Moderate) | ~20 minutes

Merge Risk: ⚪ Minimal · up to 052fb

This adds analyzer contract and boundary regression coverage without changing analyzer production behavior. The expanded test suite is reported passing, with no current merge-blocking risk identified.

🚥 Pre-merge checks | ✅ 4 | ❌ 1

❌ Failed checks (1 warning)

Check name	Status	Explanation	Resolution
Docstring Coverage	⚠️ Warning	Docstring coverage is 33.33% which is insufficient. The required threshold is 80.00%. Docstring coverage is scoped to functions touched by this diff. Analyzed 27 functions across 3 files.	Write docstrings for the functions missing them to satisfy the coverage threshold.

✅ Passed checks (4 passed)

Check name	Status	Explanation
Description Check	✅ Passed	Check skipped - CodeRabbit’s high-level summary is enabled.
Title check	✅ Passed	The title clearly summarizes the primary change: stronger regression coverage for the existing analyzers. It is concise and related to the added regression and diagnostic contract tests.
Linked Issues check	✅ Passed	Check skipped because no linked issues were found for this pull request.
Out of Scope Changes check	✅ Passed	Check skipped because no linked issues were found for this pull request.

• Fix all pre-merge checks with AI

✨ Finishing Touches 💡 1

📝 Generate docstrings 💡

• Create stacked PR
• Commit on current branch

🧪 Generate unit tests (beta)

• Create PR with unit tests
• Commit unit tests in branch feature/issue-8-regression-coverage

---

_{Comment @coderabbitai help to get the list of available commands.}

[mao2009]

@coderabbitai review

[coderabbitai]

✅ Action performed

Review finished.

Note: CodeRabbit is an incremental review system and does not re-review already reviewed commits. This command is applicable only when automatic reviews are paused.