重写看门狗设计说明为现状说明：删立项前旧描述、补FTL心跳路由与取证机制、修掩码与复位归因

docs/README.md

@@ -85,7 +85,7 @@ docs/
 | [`系统墙钟时间维护说明.md`](子系统设计/系统墙钟时间维护说明.md) | `sys_clock`：RTC 基准、tick 回绕防护、30 天惰性再基准化 |
 | [`控制台单写者日志设计说明.md`](子系统设计/控制台单写者日志设计说明.md) | 控制台日志单写者模型（避免多任务交错输出） |
 | [`运行与自检记录设计说明.md`](子系统设计/运行与自检记录设计说明.md) | `/log/run.log`·`selftest.log` 定长记录与待机显示 |
-| [`看门狗设计说明.md`](子系统设计/看门狗设计说明.md) | **实施中**：IWDG（CubeMX 配置）+ 任务心跳位图；代码已落地编译通过，待台架故障注入/长跑验证 |
+| [`看门狗设计说明.md`](子系统设计/看门狗设计说明.md) | IWDG（CubeMX 配置）+ 任务心跳位图：选型与超时推导、掩码与埋点、取证机制、验证记录；已台架闭环（V2/V4/V5） |
 | [`网络/BSD_Socket_API_使用指南.md`](网络/BSD_Socket_API_使用指南.md) | **上层视图**：BSD Socket API 公开语义、示例、常见问题 |
 | [`网络/BSD_Socket_API_函数调用关系.md`](网络/BSD_Socket_API_函数调用关系.md) | **内部视图**：netTask / 消息队列 / L3 挂起 / 重试对账的调用关系与设计意图 |
 | [`网络/Net层阻塞模型架构设计.md`](网络/Net层阻塞模型架构设计.md) | **等待模型**：pending 请求架构、五路完成语义、设计边界与性能特征 |

docs/测试说明/实机测试实施指南.md

@@ -7,7 +7,7 @@
 > 无实机时**只读本文，不执行任何烧录**。
 > **上游**：`错误码传播审计.md`（E-xx）· `待处理内容.md`（统一登记簿：P-x / N·S·T-x /
 > S1x·A-x / 阶段排序 / 诊断基线）·
-> `子系统设计/看门狗设计说明.md`（§10 台架步骤）。
+> `子系统设计/看门狗设计说明.md`（§7 验证记录）。
 > **约定**：本文事项完成后**先销上游登记**，再在文末变更记录留一行；
 > 结论与证据沉淀进对应模块文档/问题记录（2026-10-02 台架窗口的完整取证链——
 > IWDG PR/RLR 静默错配 / dhara resume 回滚 / ORE 僵尸通道——见 `看门狗设计说明.md` 2026-10-02 变更记录、
@@ -103,7 +103,7 @@
 > V2/V4/V5 三用例全部通过——V2（任务饿死）声明 stall 后 ≤2.5s `reset cause: IWDG`；V4（关中断死循环）每 ~4.9s 稳定 IWDG 复位（IWDG 独立于中断）；V5（30 min 真实负载）**120/120 次 FTP 传输全 PASS、零 IWDG 复位**。
 > **遗留观察**：V5 期间 44 次 stall 声明 100% 与 `e02_probe` 探针的 time_sync 30s 掉线+监听重建重合；隔离实验（仅 FTP 120s）**0 次 stall** → 探针场景专属，非一般负载误杀（已登记 `待处理内容.md`）。
 
-> 来源：`子系统设计/看门狗设计说明.md` §10 步骤 7~10。
+> 来源：`子系统设计/看门狗设计说明.md` §7 验证记录（原实施步骤已并入该文档文末变更记录）。
 > 判定状态机与 IWDG 配置（PR/RLR 按设计值写入）已落地并经真机验证（2026-10-02，`930215f`，
 > 见设计说明 2026-10-02 变更记录）；故障注入 + 长跑验收结论见上文 2026-10-03 段落。
 
@@ -433,7 +433,7 @@ CH395F / STORAGE / GD5F，未含 RTC；怀疑 RTC 构建下 `testTask` 不被创
 | 本文项 | 上游文档 | 下游落地文档 |
 |---|---|---|
 | S7 自检判定 | —（原复审项，已闭环 2026-10-02） | `测试说明/自动化测试流程.md`（参数已落地，`4a4cd29`） |
-| V2/V4/V5 | `子系统设计/看门狗设计说明.md` §10 | `子系统设计/看门狗设计说明.md` 变更记录（2026-10-03） |
+| V2/V4/V5 | `子系统设计/看门狗设计说明.md` §7 验证记录 | `子系统设计/看门狗设计说明.md` 变更记录（2026-10-03） |
 | S11 堆告警 | —（原复审项，已闭环 2026-10-03） | `内存管理/RAM使用分析与优化方案.md`（基线更新） |
 | S9 GD5F | `问题记录/错误码传播审计.md` 第二档 #1 | `问题记录/GD5F2GQ5UE_Trap_Records.md`、`测试说明/GD5F2GQ5UE_Test_Guide.md` |
 | N-2 日志静默 | `待处理内容.md` N-2 | `问题记录/错误码传播审计.md` E-02 |

docs/测试说明/模拟器差距清单.md

@@ -60,7 +60,7 @@
 
 | # | 差距 | 模拟器行为 | 真机行为 | 影响 | 回归补测 |
 |---|---|---|---|---|---|
-| H-1 | **IWDG 硬件行为** | 无 IWDG；`sim_port.c` 桩（空实现 + 计数器） | 独立看门狗，LSI 时钟驱动，超时真复位 | **真实复位行为、LSI 漂移、`RCC_CSR` 标志均不可建模**；位图/判定逻辑可在模拟器跑（纯 RAM） | 真机 `@test`（复位原因日志）+ 看门狗单测（L0.5 已覆盖位图逻辑）<br>`看门狗设计说明.md` §4.9 |
+| H-1 | **IWDG 硬件行为** | **不编译看门狗模块**（`simulator/` 无 `task_watchdog.c`，也无 IWDG 桩） | 独立看门狗，LSI 时钟驱动，超时真复位 | **真实复位行为、LSI 漂移、`RCC_CSR` 标志均不可建模**；位图/判定逻辑也不在模拟器内跑——改由主机侧单测覆盖 | 真机 `@test`（复位原因日志 + 故障注入 V2/V4）+ 看门狗主机侧单测（L0.5，39 断言）<br>`看门狗设计说明.md` §4.7 / §7 |
 | H-2 | **CH395F 芯片** | 无（Winsock 代其 BSD API） | SPI 寄存器/命令/中断、PHY 协商、真实以太网帧 | 寄存器时序、命令回复、中断风暴、PHY 100M 全双工强制 | 板端 CH395F 套件（52 断言点）+ `@test` |
 | H-3 | **GD5F NAND** | 无 | SPI NAND：BBT 扫描、ECC、坏块管理、dhara FTL | 坏块/ECC/写入失败等路径完全不可测 | 板端 GD5F 套件（76 断言点）+ `@test` |
 | H-4 | **SD2506 RTC** | 无 | I2C RTC：时间读写、闹钟、温度、电池电压 | 时间源相关（`sys_clock_init` 降级路径）在模拟器上不可触发 | 板端 RTC 套件（18 断言点）+ `sys_clock` L0.5（已覆盖算术面） |

docs/测试说明/看门狗单元测试说明.md

@@ -93,7 +93,7 @@ test/host/watchdog/watchdog_test.c
 | **门禁层级** | **L0.5 层**（介于 L0 静态门禁与 L1 板端套件之间）：主机侧、秒级、纯逻辑，比板端套件便宜、比静态检查更强 |
 | **pre-commit 钩子** | `watchdog-unit-test`（本地钩子，`.pre-commit-config.yaml` §7） |
 | **汇总行** | `=== Task Watchdog Tests: N/N PASSED (failed=0) ===` |
-| **与板端测试的关系** | 互补：本单测保证**判定逻辑**正确；板端 `@test` 故障注入（V2/V4，见 `子系统设计/看门狗设计说明.md` §10）保证**真机复位链路**正确 |
+| **与板端测试的关系** | 互补：本单测保证**判定逻辑**正确；板端 `@test` 故障注入（V2/V4，见 `子系统设计/看门狗设计说明.md` §7 验证记录）保证**真机复位链路**正确 |
 
 ---