docs(数据可信): §4.6.2 三处判据按代码实况写定，手册侧同步去纠错叙述
判据属主 docs/任务规划/数据可信.md §4.6.2 四处改写： - D2 逐波形系数写全：方波 0.900 闭式 / 0.904 实算，三角 0.573 / 0.578， 并注明真有效值（方波 1.000、三角 0.583）不是判据对象； - D3 拆两档出口：定量档走段文件 fft（同段内 UA 表序 0 与 UN 表序 3 的相对差 ≤2°，段与发生器无绝对相位锁定），定性档 phasor(hb) 只判跟随 80°~100°， 并给出 ×0.1 量化最坏 ≈8° 的算式； - D5 接法改为 DC −1.00 V 保持 ≥5 s 或 1.000 Vrms / 2.0 Hz，写明 20 拍同侧 清零规则（App/algo/adc_health.c）与释放沿前提，50 Hz 档预期就是不锁存； 另补 sticky 语义（撤注入不清、复位后仍不清才是 bug）； - D6 峰值预算（基波 0.800 Vrms + 两个 0.160 Vrms，避开 ±2 V 红线）与定量档 fft --ch 4 --all，phasor(hb) 降为"只证这根轨不是恒 0"的旁证。 表头新增分工一行：判据语义在本节，期望值算术与执行步骤在测试说明那篇。 docs/测试说明/ADC前端注入验证流程.md 侧同步九处：开头引导块与 §8 头改成 中性分工裁定，D2 / D3 / D5 卡与 §8.10 第 4 条里"那边写错了 / 等回写"的叙述 删除（只写现状），D5 小标题去掉"接法必须按本卡改"的对照语气。
This commit is contained in:
+9
-5
@@ -307,16 +307,20 @@ typedef struct {
|
||||
|
||||
#### 4.6.2 判据 D1~D6
|
||||
|
||||
> **分工**：本节定"验什么、过判据是多少"；**期望值的算术、接法细节与执行步骤**在
|
||||
> `docs/测试说明/ADC前端注入验证流程.md` §8（同一轮次的手册，两边于 2026-10-29 已对齐）。
|
||||
|
||||
| # | 验什么 | 接法 | 读哪 | 过判据 |
|
||||
|---|---|---|---|---|
|
||||
| **D1** | 基波幅值计量 | UA（R31 / `AIN1`）注 1.000 Vrms、50.000 Hz 正弦 | `meas:` 的 `ua_mv`；或 104 `0x4011` | 读数 = 万用表 AC 档读数，偏差 ≤2 %（与静态同档）。⚠ 别用 `phasor(hb)` 行比幅值——那是 ×0.1 定点，注 1 V 只剩 10 格（§4.6.3） |
|
||||
| **D2** | 读数是否只跟基波走 | 同幅值改方波、三角 | 同上 | 期望值 = **基波分量有效值**（方波基波 = 4/π × 峰值/√2 ≈ 0.90×峰值；三角 = 峰值/√6），**不是**真有效值；偏差 ≤2 %。顺带把"这台仪表读的是基波"这条口径钉进文档——用户拿真有效值表去对会以为差了 10 % |
|
||||
| **D3** | 相位 | UA 与 UN 两路**同片**（都走 TPAFE）注同幅、同相 | `phasor(hb)` 各行 `Re=` / `Im=` | 两路 `atan2(fIm, fRe)` 之差 ≤2°；改变发生器相位 90°，差值跟着走。**只许比同片内**——跨转换器无同刻性（§9），STM32 那五路还有 1 拍乒乓滞后 |
|
||||
| **D2** | 读数是否只跟基波走 | 同幅值改方波、三角 | 同上 | 期望值 = **基波分量有效值**（同峰值下的基波 / 峰值比：方波 ≈ **0.90**，闭式 4/π ÷ √2 = 0.900、20 点整周期 DFT 实算 0.904；三角 ≈ **0.573**，闭式 8/π² ÷ √2 = 0.573、实算 0.578），**不是**真有效值（方波 = 1.000、三角 = 0.583 峰值）；偏差 ≤2 %。算术与逐波形对照表见 `docs/测试说明/ADC前端注入验证流程.md` §8.5 的 D2 卡。顺带把"这台仪表读的是基波"这条口径钉进文档——用户拿真有效值表去对会以为差了 10 % |
|
||||
| **D3** | 相位 | UA 与 UN 两路**同片**（都走 TPAFE）注同幅、同相 | **定量档**：录波段文件 `test/host/wave_read.py fft`（浮点重算基波相位；段内表序 `UA` = 0、`UN` = 3）；**定性档**：`phasor(hb)` 各行 `Re=` / `Im=` | **定量档**：同段内两路相位差 ≤2°，把发生器相位改 90° 后差值跟到 ≈90°。**定性档只判"跟随"**（差值落进 80°~100°）——`phasor` 出口是 ×0.1 定点，1.000 Vrms 时每格 0.1 V，角度量化最坏 ≈ atan(0.1 / 0.707) ≈ 8°，判不动 2°（§4.6.3）。⚠ 段与发生器**无绝对相位锁定**（触发瞬间钉在段内点 159），只能比**同段内两路**的相对差，跨段比相位或拿发生器相位当绝对基准都不成立。**只许比同片内**——跨转换器无同刻性（§9），STM32 那五路还有 1 拍乒乓滞后 |
|
||||
| **D4** | 测频 | 同 D1 的 1 V/50 Hz | `freq(hb):` 与 104 `0x401D` | **预期就是"不出数"**（幅值门 50 V 在引脚域恒不过，§2.3 #1）→ 这条的判据是"如实报不可测"（`freq_valid=0`、UI `Hz` 显示 `--`、104 上送 IV），**不是**报出一个错误的 50.00。想真验 45~55 Hz 精度（PC 侧判据 0.02 Hz）须临时把 `FREQ_AMP_MIN` 降到引脚域量级（如 0.5 V）单跑一轮 → §7 #8 + §8 风险行 |
|
||||
| **D5** | 削顶与品质路由（**负向用例**） | 给 UB（R52 / `AIN2`）注同幅正弦 | `cal:` 行的 `rail=` / `edge=`；`rail: edge=…` 的 `[ERR]` 行；104 `0x4012` | 负半周钉下轨 → **连续 20 拍（正好一个 50 Hz 周波）后该路贴轨位锁存**、`edge` 起沿、104 上该路 IV 且值清零。⚠ 这条会**故意造出 `[ERR]`**，而 `@test` 的 forbidden 标记含 `[ERR]` → 本轮要么人工判读、要么把这五路排在最后单独一轮（§8 第一行） |
|
||||
| **D6** | 谐波轨 | 基波 + 20 % 二次 + 20 % 五次（IA 上注） | `phasor(hb) C04-IA-F2` / `C05-IA-F5` 两行（`log_phasors()` 逐实例打印，实例表加行即自动覆盖） | 谐波轨读数 = 注入分量（±2 %）。⚠ 这两根轨**目前没有任何下游消费者**（`prot_elm.c` 无引用、`meas` 只算 `harm=1`），所以 D6 只证"算得对"，**不证"有人用"**——出口归 §9 的谐波轨立项 |
|
||||
| **D5** | 削顶与品质路由（**负向用例**） | 给 UB（R52 / `AIN2`）注 **DC −1.00 V 并保持 ≥5 s**；或 1.000 Vrms 而频率 **2.0 Hz** 的正弦——两档都能造出"连续贴同一侧轨带"。⚠ **注 50 Hz 同幅正弦造不出锁存，且这是预期而非故障**：1 kHz 下一个周波只 20 点、正半周必落中带，而 `adc_health_rail_watch()` 任何一拍回中带就把计数清零（`App/algo/adc_health.c`），连续贴底最长 ≈ 209/360 × 20 ≈ 11 拍 < 20。TPAFE 侧在 ±2 V 判据上限内造不出这条（轨带 ±32112 码 ≈ ±4.9 V），只有 STM32 那五路能做 | `cal:` 行的 `rail=` / `edge=`；`rail: edge=…` 的 `[ERR]` 行；104 `0x4012`；段文件档另加 `wave_read.py shape` 的三把尺子（`--strict` / 再加 `--clip-superset` / 不带），逐条配法见 `docs/测试说明/ADC前端注入验证流程.md` §8.5 的 D5 卡 | 负半周钉下轨 → **连续 20 拍同侧后该路贴轨位锁存**（`ADC_RAIL_N_RUN = 20`，`App/algo/adc_health.h:174`）、`edge` 起沿、104 上该路 IV 且值清零。锁存另有**释放沿前提**：该通道此前须出现过中带样本 → **先上电见基线摆动、再开发生器输出**，开机就注会测出假不通过。撤掉注入后 `rail` 仍非 0 是 sticky 语义（只有 `adc_health_rail_init()` / 复位清）——**复位后仍不清才是 bug**。⚠ 这条会**故意造出 `[ERR]`**，而 `@test` 的 forbidden 标记含 `[ERR]` → 人工判读、排在最后单独一轮（§8 第一行） |
|
||||
| **D6** | 谐波轨 | 基波 + 20 % 二次 + 20 % 五次（IA 上注）。⚠ 峰值预算：1.000 Vrms 基波 + 两个 20 % 分量的最坏对齐 ≈ 1.98 V 已顶 ±2 V 红线 → 基波用 **0.800 Vrms**、二次与五次各 0.160 Vrms | **定量档**：段文件 `test/host/wave_read.py fft --ch 4 --all`（`IA` = 段内表序 4，直接给基波与 2 / 5 次谐波 RMS，单位 mV）；**旁证**：UI 交流量页 `Ia2` / `Ia5`（1 mV）与 `phasor(hb) C04-IA-F2` / `C05-IA-F5`（×0.1 定点，只证这根轨不是恒 0） | 谐波轨读数 = 注入分量（**±2 %，走定量档**；周期行档判不动：0.160 Vrms 在 ×0.1 出口只有 1~2 格）。⚠ 这两根轨**目前没有任何下游消费者**（`prot_elm.c` 无引用、`meas` 只算 `harm=1`），所以 D6 只证"算得对"，**不证"有人用"**——出口归 §9 的谐波轨立项 |
|
||||
|
||||
**先做 D1 / D2 / D5**（纯读数、无跨通道约定），D3 / D6 次之，D4 视 §7 #8 的裁定。
|
||||
**先做 D1 / D2 / D5**（纯读数、无跨通道约定），D3 / D6 次之，D4 视 §7 #8 的裁定。每条的两档跑法（周期行标量档 /
|
||||
录波段文件定量档）、触发动作、耗时排布与失败分诊在 `docs/测试说明/ADC前端注入验证流程.md` §8.6。
|
||||
|
||||
#### 4.6.3 读数出口（零固件改动）
|
||||
|
||||
|
||||
+22
-27
@@ -11,10 +11,9 @@
|
||||
> V0.1 有五路单极性削顶（`UB/UC/IB/IC/IN`），它们在交流轮次里只能作"预期削顶"的负向用例。
|
||||
>
|
||||
> **判据的属主是 `docs/任务规划/数据可信.md` §4.6.2**（D1~D6 验什么、过判据是多少），本文 §8 只写**怎么跑**。
|
||||
> 两处不一致时分两类裁定：**「验什么、算不算过」从 `docs/任务规划/数据可信.md` §4.6.2**；**「期望值怎么算」从本文**。
|
||||
> 后者不是抬杠：那边有三处与代码算不拢（D2 的三角系数、D5 的「注 50 Hz 正弦就能造出锁存」、D3 与 D6 在 ×0.1 定点
|
||||
> 出口下的分辨率），照它的数字跑会把好板子判成失败。本轮按本文数值跑，更正清单与回写路径见 §8.10 第 4 条——那个
|
||||
> 文件的单写者阻塞已随录波并入解除（2026-10-29），但改判据文档是另一个动作面，**要不要现在改它仍等用户裁定**。
|
||||
> 两边于 2026-10-29 对齐；若将来再分叉，分两类裁定：**「验什么、算不算过」从
|
||||
> `docs/任务规划/数据可信.md` §4.6.2**，**「期望值怎么算、怎么接线怎么跑」从本文 §8**。
|
||||
> 这一跳为什么不用等标准源、又证不到什么，见其 §4.6.1 与 §4.6.5，本文不重抄。
|
||||
|
||||
---
|
||||
|
||||
@@ -286,10 +285,9 @@ TPAFE 是双极性、二进制补码，可以注负压；STM32 是单极性，
|
||||
## 8. 交流（正弦）动态验证轮次（D1~D6）
|
||||
|
||||
> **判据的属主是 `docs/任务规划/数据可信.md` §4.6.2**（D1~D6 验什么、过判据是多少），本节只写**怎么跑**：
|
||||
> 接哪个点、发生器怎么设、读哪一行的哪个字段、期望值怎么算、结果往哪回写。裁定口径同开头引导块：
|
||||
> **判据语义从 `docs/任务规划/数据可信.md` §4.6.2，期望值的算术从本节**——它与代码算不拢的那三处，
|
||||
> 回写清单见本文 §8.10 第 4 条；本节按更正后的数值跑。
|
||||
> 为什么这一跳不用等标准源、以及它证不到什么，看 `docs/任务规划/数据可信.md` §4.6.1 与 §4.6.5，本节不重抄。
|
||||
> 接哪个点、发生器怎么设、读哪一行的哪个字段、期望值怎么算、结果往哪回写。两边于 2026-10-29 对齐；将来
|
||||
> 若再分叉，按两类裁定——**「验什么、算不算过」从 `docs/任务规划/数据可信.md` §4.6.2，「期望值怎么算、
|
||||
> 怎么接线怎么跑」从本节**。为什么这一跳不用等标准源、以及它证不到什么，看其 §4.6.1 与 §4.6.5，本节不重抄。
|
||||
>
|
||||
> **引用写法**：本节凡引用判据文档的小节，一律写成「文件名 + 小节号」的紧邻形式；只写 §8.x 的是本文自己的节。
|
||||
|
||||
@@ -429,10 +427,9 @@ TPAFE 是双极性、二进制补码，可以注负压；STM32 是单极性，
|
||||
|
||||
- 判据：读数 = **基波**期望 ±2 %，**不是**真有效值。方波那栏最直观——真 RMS 表会读 ≈1414 mV、
|
||||
均值响应表读 ≈1570 mV，而板上读 ≈1278 mV，**这正是"这台仪表读的是基波"的证据，不是 bug**；
|
||||
所以抬头里必须写清万用表响应类型（§4.6.2 D2 原话：拿真有效值表去对会以为差了 10 %）。
|
||||
- ⚠ **`docs/任务规划/数据可信.md` §4.6.2 的 D2 行把三角写成「峰值 / √6」（= 0.408）是错的**：按基波口径应为
|
||||
0.573（闭式）~ 0.578（20 点整周期 DFT）。照那个数判会把好板子判成失败。本轮按本节数值跑，
|
||||
更正回写见 §8.10 第 4 条。
|
||||
所以抬头里必须写清万用表响应类型（判据文档同一条：拿真有效值表去对会以为差了 10 %）。
|
||||
- 系数的来路：方波基波幅值 = 4/π × 峰值、三角 = 8/π² × 峰值，再除 √2 得基波有效值 → 闭式 **0.900 / 0.573**，
|
||||
20 点整周期 DFT 实算 **0.904 / 0.578**；`docs/任务规划/数据可信.md` §4.6.2 的 D2 行与本节同值，算术以本节为准。
|
||||
|
||||
记录表：
|
||||
|
||||
@@ -447,7 +444,7 @@ TPAFE 是双极性、二进制补码，可以注负压；STM32 是单极性，
|
||||
|---|---|
|
||||
| 接法 | `UA`（R31）与 `UN`（R28）**都走 TPAFE**，同幅 1.000 Vrms、同相——发生器单路输出分两路即天然同相；双通道机型则两通道都设 0° |
|
||||
| 读数 | `phasor(hb) C02-UA-F1: Re=.. Im=..` 与 `C03-UN-F1: Re=.. Im=..`，各取 `atan2(Im, Re)` 再比差值 |
|
||||
| 判据（§4.6.2） | 同相时差值 ≤2°；把发生器（或 B 通道）改 90°，差值跟着走到 ≈90° |
|
||||
| 判据（§4.6.2） | **定量档**：同相时同段内两路相位差 ≤2°，把发生器（或 B 通道）改 90° 后差值跟到 ≈90°；**定性档只判跟随**（差值落进 80°~100°，容差写进记录表） |
|
||||
| ⚠ 分辨率 | 出口只有 ×0.1 且向下截断：1.000 Vrms 时 Re/Im 各只有 ±10 格，**一格就是 0.1 V** → 角度量化误差最坏 ≈ atan(0.1 / 0.707) ≈ 8°，**≤2° 今天用串口判不出来** |
|
||||
| 三个档 | ① **段文件定量档（首选，零改代码）**：同一次注入触发一段，`test/host/wave_read.py fft` 重算基波相位，比**同段内** `UA`（表序 0）与 `UN`（表序 3）的相位差——浮点重算，不受 ×0.1 量化限制，≤2° 判得动，动作见下面第 2 段；② **定性档**：没取到段时退而用，同相 ≈0°、改 90° 后差值落进 80°~100° 即算跟随，容差写进记录表；③ **抬倍数退路**：临时把 `log_phasors()` 的倍数改成 ×1000 并改掉行尾 `(x0.1)`，跑完按 §8.9 还原——段文件档已落地，这条基本不必走，要走仍**先问用户** |
|
||||
| 红线 | **只许比同片内**：跨转换器无同刻性（V0.1 硬件缺陷）+ STM32 那五路另有 1 拍乒乓滞后 → `docs/硬件平台/ADC通道映射说明.md` §7 |
|
||||
@@ -491,14 +488,13 @@ TPAFE 是双极性、二进制补码，可以注负压；STM32 是单极性，
|
||||
|---|---|---|---|---|---|
|
||||
| 50.000 | | | | | |
|
||||
|
||||
#### D5 触底与品质路由（负向用例）——**接法必须按本卡改**
|
||||
#### D5 触底与品质路由（负向用例）
|
||||
|
||||
- **`docs/任务规划/数据可信.md` §4.6.2 原文**：给 `UB`（R52 / `AIN2` / U5.B7）注同幅正弦 → 负半周钉下轨
|
||||
→ 连续 20 拍后该路贴轨位锁存、`edge` 起沿、104 该路 IV 且值清零。
|
||||
- ⚠ **50 Hz 正弦造不出这个锁存**：锁存条件是"连续 `ADC_RAIL_N_RUN = 20` 拍贴同一侧轨带"（`App/algo/adc_health.h:174`），
|
||||
而 `adc_health_rail_watch()` 里**任何一拍回到中带就把两侧计数清零**；1 kHz 下一个 50 Hz 周波只有 20 个点、
|
||||
正半周必然落在中带 → 连续贴底最长 ≈ 209°/360° × 20 ≈ **11 拍 < 20** → 永不锁存。
|
||||
**这是判据文档与代码的分歧，不是固件缺功能**（更正回写见 §8.10 第 4 条）。
|
||||
- **判据**（`docs/任务规划/数据可信.md` §4.6.2 D5）：给 `UB`（R52 / `AIN2` / U5.B7）注 **DC −1.00 V 保持 ≥5 s**
|
||||
或 **1.000 Vrms / 2.0 Hz** 的正弦 → 负半周钉下轨 → 连续 20 拍同侧后该路贴轨位锁存、`edge` 起沿、104 该路 IV 且值清零。
|
||||
- ⚠ **注 50 Hz 同幅正弦造不出这个锁存，这是实现约束不是固件缺功能**：锁存条件是"连续 `ADC_RAIL_N_RUN = 20` 拍
|
||||
贴同一侧轨带"（`App/algo/adc_health.h:174`），而 `adc_health_rail_watch()` 里**任何一拍回到中带就把两侧计数清零**；
|
||||
1 kHz 下一个 50 Hz 周波只有 20 个点、正半周必然落在中带 → 连续贴底最长 ≈ 209°/360° × 20 ≈ **11 拍 < 20**。
|
||||
- **轨带数值**（`App/algo/adc_cal.c:452` 的 `adc_cal_rail_ths()`，TEMP 不监视）：STM32 侧贴底 = 码 ≤ **81**（2 % FS ≈ 65 mV）、
|
||||
贴顶 = 码 ≥ 4013；TPAFE 侧 = ±32112 码（≈ ±4.9 V）→ **TPAFE 侧这一条在 ±2 V 判据上限内根本造不出来**，
|
||||
只有 STM32 那五路能做。
|
||||
@@ -508,8 +504,8 @@ TPAFE 是双极性、二进制补码，可以注负压；STM32 是单极性，
|
||||
只有 `adc_health_rail_init()` / 复位清）→ 复位一次并把"是否随复位清"记进表：这条实测行为是本轮的产出之一。
|
||||
- **改法 B**：发生器 1.000 Vrms 但**频率设 2.0 Hz** → 负半周 250 ms = 250 拍贴底 ≥ 20 → 锁存；
|
||||
顺带证"贴轨检测与工频无关"这条口径。
|
||||
- **原接法照跑，但判据反过来**：注 50 Hz 正弦这一档仍做，判据是**不锁存属预期**——记录 `adc: UB` 负半周钉 0、
|
||||
`rail` 仍 `0x000`，作为 §8.10 第 4 条更正的证据。别把它记成失败。
|
||||
- **50 Hz 档照跑，判据就是"不锁存"**：记下 `adc: UB` 负半周钉 0 而 `rail` 仍 `0x000` —— 这一档证的是
|
||||
"锁存要连续 20 拍同侧"这条实现约束本身，不是失败，也不是战果。
|
||||
- **反向假阳性**：反过来注一个峰值 <65 mV（<46 mVrms）的 50 Hz 小信号，会让 `UB` 一路贴底而**锁存**——
|
||||
那是"信号小到进不了中带"，不是削顶。读 `rail` 时要把这条一起排除。
|
||||
- **与 `cl` 区分**：`cl=0xE6` 是**来源派生**的静态触底掩码（`docs/任务规划/数据可信.md` §2.6），D5 要的是动态
|
||||
@@ -638,11 +634,10 @@ TPAFE 是双极性、二进制补码，可以注负压；STM32 是单极性，
|
||||
任务卡 `docs/任务规划/数据可信.md` §5 的 DoD 就是这么分的。本文只留"怎么跑"，**不抄实测数**。
|
||||
3. **本文回写** → 只在 §8.1 那张表下加一行指针级别的句子（"YYYY-MM-DD 已按本节跑通，实测见 …"）；
|
||||
不在本文建第二份结论表，否则两份必然漂移（`docs/文档规范.md` 同一事实只在一处详述）。
|
||||
4. **三处要更正 `docs/任务规划/数据可信.md`**（那个文件本轮仍**没动**：`task/wave-record` 已于 2026-10-29 并入
|
||||
`v2-on-ui`，单写者目录的阻塞条件已消失；但改判据文档是另一个动作面，仍等用户点头再动）：
|
||||
- §4.6.2 D2 的三角期望值「峰值 / √6」→ 0.573 ~ 0.578（§8.5 的 D2 卡）；
|
||||
- §4.6.2 D5 的"注 50 Hz 正弦 → 连续 20 拍锁存"按代码做不到，改法 A / B 见 §8.5；
|
||||
- §4.6.2 D3 / D6 的判据在 ×0.1 定点出口下分辨率不足 → 段文件出口现已落地，判据应明写"定量档走段文件、定性档走 `phasor(hb)`"（本文 §8.5 的 D3 / D6 卡已按此写）；
|
||||
4. **判据文档的一致性维护** → 本文 §8 的期望值算术、接法与出口分档已写进
|
||||
`docs/任务规划/数据可信.md` §4.6.2（2026-10-29：D2 的逐波形系数、D5 的 DC / 2 Hz 接法与 50 Hz 档的
|
||||
"不锁存属预期"、D3 与 D6 的"定量档走段文件、定性档走 `phasor(hb)`"）。今后两边若再分叉，按开头引导块的
|
||||
两类裁定处理（语义从那节、算术与步骤从本文），**别在本文另立第二份判据表**。
|
||||
5. **销项** → `docs/任务规划/数据可信.md` §2.7 与 §6 卡片表里这一条按登记簿「完成即销项」处理，属 Ask first，
|
||||
须用户明确指示后再做。
|
||||
|
||||
|
||||
Reference in New Issue
Block a user