From c099785788dd355427f16efc7d885ff6df547f2d Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?=E8=90=BD=E7=AC=94?=
 <46271592+Skymly@users.noreply.github.com>
Date: Sun, 28 Jun 2026 20:41:56 +0800
Subject: [PATCH] Update DP041 to reserved Info-level (compiler-enforced via
 CS0535)

---
 docs/diagnostics.md    | 2 +-
 docs/zh/diagnostics.md | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/docs/diagnostics.md b/docs/diagnostics.md
index e98c417..67a9174 100644
--- a/docs/diagnostics.md
+++ b/docs/diagnostics.md
@@ -127,7 +127,7 @@ See [State transition table](./state-transition-table.md).
 | ID | Severity | When |
 |----|----------|------|
 | **DP040** | Error | `BuildRoot(IServiceProvider)` called but a composite node is not registered in the container |
-| **DP041** | Error | Generated `I{Contract}NodeVisitor` does not cover all node types (visitor missing a `Visit` overload) |
+| **DP041** | Info | Generated `I{Contract}NodeVisitor` does not cover all node types (reserved — the C# compiler enforces full coverage via CS0535 when implementing the generated interface) |
 
 ## Decorator DI + async (DP042–DP043) {#dp042}
 
diff --git a/docs/zh/diagnostics.md b/docs/zh/diagnostics.md
index 9c76b4b..bafdf6d 100644
--- a/docs/zh/diagnostics.md
+++ b/docs/zh/diagnostics.md
@@ -124,7 +124,7 @@ IDE 帮助链接指向本页（`#dp###` 锚点）。
 | ID | 级别 | 触发条件 |
 |----|------|----------|
 | **DP040** | Error | `BuildRoot(IServiceProvider)` 调用时 composite 节点未注册到容器 |
-| **DP041** | Error | 生成的 `I{Contract}NodeVisitor` 未覆盖所有节点类型（visitor 缺少 `Visit` 重载） |
+| **DP041** | Info | 生成的 `I{Contract}NodeVisitor` 未覆盖所有节点类型（保留 ID — C# 编译器通过接口实现 CS0535 自动强制覆盖，诊断不实际触发） |
 
 ## Decorator DI + async（DP042–DP043） {#dp042}