Merge branch 'v2-on-ui' into task/screenlink-plan-to-design

# Conflicts:
#	docs/子系统设计/控制台单写者日志设计说明.md
This commit is contained in:
2026-10-30 09:25:35 +08:00
214 changed files with 929 additions and 717 deletions
+1 -1
View File
@@ -261,5 +261,5 @@ ADC 引脚电压 V)+ `adc_health_rail_watch()` ×9(「采样通道自检」
- **故障录波**(数据面 / 段格式 / 现场回放契约):docs/子系统设计/故障录波设计说明.md §6.2 是段文件
字节布局的属主,同一篇的 docs/子系统设计/故障录波设计说明.md §6.3 是字段口径裁定——两节合起来是板端
编码器与 PC 读段脚本两份独立实现的共同依据;卡片判据与顺序 → docs/任务规划/故障录波.md §2
- 相量层 / ADC 输入层单测细则:`docs/测试说明/相量层单元测试说明.md`、`docs/测试说明/ADC输入层单元测试说明.md`
- 相量层 / ADC 输入层单测细则:`docs/测试说明/单元测试/相量层单元测试说明.md`、`docs/测试说明/单元测试/ADC输入层单元测试说明.md`
- RAM 与栈台账:`docs/内存管理/RAM使用分析与优化方案.md`
+1 -1
View File
@@ -622,7 +622,7 @@ void adc_task_func(void *arg) {
/* 4) 首拍相量上报:攒满一周波(20 ms)后立即落一次,作为 全周傅氏相量链路的开机证据。
* 不依赖 10 s 心跳 → 台架 @test 的 settle 窗口内即可见(否则会被静默判据
* 截断,见 docs/测试说明/自动化测试流程.md 的 settle 口径)。 */
* 截断,见 docs/测试说明/流程与规范/自动化测试流程.md 的 settle 口径)。 */
if ((first_phasor_logged == 0u) && (dbg_console_writer_ready() != 0u)) {
phasor_t p;
+2 -2
View File
@@ -30,10 +30,10 @@
- **单一喂狗者**:`defaultTask` 每 100 ms 抽样判定,仅当位图等于必需掩码时才喂狗
- **硬件访问收敛**:`IWDG` 寄存器与 `HAL_GetTick()` 经 `wd_platform_*` 弱钩子访问
(声明在 `task_watchdog.h` 末段),MCU 端为 `__weak` 默认实现,主机侧单测以同名强符号覆盖 → 可在 PC 上跑纯逻辑回归
- 设计详见 `docs/子系统设计/看门狗设计说明.md`;单测见 `docs/测试说明/看门狗单元测试说明.md`
- 设计详见 `docs/子系统设计/看门狗设计说明.md`;单测见 `docs/测试说明/单元测试/看门狗单元测试说明.md`
## 相关文档
- `docs/子系统设计/系统墙钟时间维护说明.md`
- `docs/子系统设计/看门狗设计说明.md`
- `docs/测试说明/看门狗单元测试说明.md`
- `docs/测试说明/单元测试/看门狗单元测试说明.md`
+3 -3
View File
@@ -52,7 +52,7 @@
* 三个 __weak 钩子(wd_platform_feed / _start / _tick_ms);MCU 端默认实现见
* 文件末尾,行为与重构前逐字一致。判定状态机因此成为纯逻辑,主机侧单测
* (test/host/watchdog/)以强符号覆盖这三个钩子后即可离线穷举验证。
* 详见 docs/测试说明/看门狗单元测试说明.md。
* 详见 docs/测试说明/单元测试/看门狗单元测试说明.md。
*/
#include "task_watchdog.h"
@@ -562,7 +562,7 @@ void task_wd_poll(void) {
* **直接喂狗**。若每轮 100ms 都写,等于在"停喂"窗口里持续喂狗 →
* IWDG 永不溢出 → 停喂语义被证据机制自身抵消(2026-10-03 台架 V2
* 实测:stall 已声明、miss 累至 1157≈115s 仍不复位,见
* docs/测试说明/实机测试实施指南.md §4)。写一次即可留证,此后不再
* docs/测试说明/板级测试/实机测试实施指南.md §4)。写一次即可留证,此后不再
* 触碰 NAND,恢复"停喂 → IWDG 溢出复位"(§5.3 的权威归因)。 */
if (s_stall_evidenced == 0u) {
s_stall_evidenced = 1u;
@@ -604,7 +604,7 @@ uint32_t task_wd_is_armed(void) {
* 以下三个 __weak 为 MCU 端默认实现,行为与重构前逐字一致。
* 主机侧单测提供同名强符号覆盖(链接器优先取强符号)以实现离线可观测。
* 声明见 task_watchdog.h 末段"平台后端(内部)";详见
* docs/测试说明/看门狗单元测试说明.md。
* docs/测试说明/单元测试/看门狗单元测试说明.md。
*
* 主机侧单测(同编译单元 #include 本文件)需回避这组默认定义与自身桩重名,
* 故由 TASK_WATCHDOG_UNIT_TEST 守卫:该宏下不编入默认实现,仅留桩。
+1 -1
View File
@@ -169,7 +169,7 @@ void task_wd_tick_probe(void);
* ============================ 平台后端(内部) ============================
* 把判定状态机中的硬件访问收敛到三个薄钩子,使"取走清零 / 掩码判定 / 缺失
* 累计 / 节流"成为纯逻辑,可在主机侧用桩替换后离线穷举验证
* (见 test/host/watchdog/ 与 docs/测试说明/看门狗单元测试说明.md)。
* (见 test/host/watchdog/ 与 docs/测试说明/单元测试/看门狗单元测试说明.md)。
*
* 与 App/cfg/cfg_file_store.h 的"共享核心 + 平台后端"同款做法:
* - 三者由 task_watchdog.c 以 __weak 提供 MCU 默认实现(读写 IWDG 寄存器 /