Add transitive NuGet vulnerability audit gate

[Widthdom]

CLOSES #216

Summary / 概要

English

• Audit every solution project for direct and transitive NuGet vulnerabilities in the main CI workflow.
• Fail closed on invalid audit output or any High/Critical finding, while publishing the complete result to the log and GitHub job summary.
• Upgrade FsCheck.Xunit from 2.16.6 to 3.3.3 and migrate property tests to the FsCheck 3 fluent API, removing the reported vulnerable transitive chain.
• Document the local audit command and temporary-exception policy in English and Japanese.

日本語

• メイン CI でソリューション内の全 project を対象に、NuGet の直接・推移的脆弱性を監査します。
• 不正・不完全な監査出力、または High/Critical 検出を fail-closed で失敗させ、完全な結果をログと GitHub job summary に出力します。
• FsCheck.Xunit を 2.16.6 から 3.3.3 へ更新し、プロパティテストを FsCheck 3 fluent API へ移行して、報告されていた脆弱な推移的依存チェーンを解消します。
• ローカル監査コマンドと一時例外ポリシーを英日両方で記載します。

Validation / 検証

• python3 -m unittest discover -s scripts/tests -p 'test_*.py' — 6 passed
• python3 scripts/nuget_audit_gate.py --solution FolderDiffIL4DotNet.sln — 6 projects audited, 0 advisories
• Focused FsCheck and CI configuration tests — 11 passed
• Release test suite — 2,034 passed, 1 environment-gated E2E skipped, 0 failed
• Release solution build — 0 warnings, 0 errors
• Test scope map — 92/92 classes listed
• Final adversarial review — no actionable findings

English checklist

• I read AGENT_GUIDE.md.
• I used the nildiff command name in user-facing text.
• I ran the relevant tests.
• I ran the Release configuration test when feasible.
• I updated docs, samples, and CHANGELOG.md when behavior changed.
• I did not add secrets, tags, or publish steps.
• I used explicit git add <file> paths only.

日本語チェックリスト

• AGENT_GUIDE.md を読んだ。
• ユーザー向けの文面では nildiff を使った。
• 関連テストを実行した。
• 可能なら Release 構成のテストも実行した。
• 挙動が変わった場合はドキュメント、サンプル、CHANGELOG.md を更新した。
• シークレット、タグ、公開手順を追加していない。
• git add <file> で明示的に追加した。