wandering1/STM32F4-Base
1
0
Fork 0
Code Issues 29 Pull Requests 1 Actions Packages Projects 2 Releases Wiki Activity
761 Commits 4 Branches 0 Tags
842d711ed611f064fb0b8b64e8c0024aac10b04e
Commit Graph

8 Commits

Author SHA1 Message Date
wandering1 0f7b5a87fb chore(编号): 存量编号全量转语义短语，门禁识别面与语料同批重打 
登记簿、文档与代码注释里的存量字母加数字编号（N-x / S-x / T-x / E-x / A-x / 卡号）
一律改写为语义短语，净删 2,028 处引用；删除基线与待确认、并行分道方案、排期详述、
采集保护收尾 4 篇（内容已并入 docs/任务规划/README 与登记簿）。

门禁机器与三张账同批重打：check_ids.py 新增变更记录行豁免与第二根护栏
undecidable_total_ceiling；check_test_traceability.py 只加 stdout/stderr UTF-8
reconfigure（TC_RE 未动）；check_cubemx_survival.py 的 --write 固定 newline=LF；
id_registry / id_aliases（+19 条 retired-to-phrase）/ id_known_backlog 重打。

test/ 56 个文件同步 TC 标签语义化，其中 18 个 TU 改了 CHECK / printf 里的标签文字，
是本批唯一改变构建产物的文件集合。

为什么合成一笔、不拆四笔（实测撞闸，非偏好）：pre-commit 跑钩子前会 stash 未 staged
部分，拆开后中间提交必然是「新规则 + 旧语料」——实跑可判定 85.15% < 基线 86.00%、
不可判定 1,453 > 上限 1,166，编号门禁直接拦下。编号识别面与它描述的语料只能同码移动。

实跑基线（工作区全量）：754 文件 / 8,230 处编号字面量 / 可判定 7,079 = 86.01%
（基线 86.0%，容差 0.1pp）/ 不可判定绝对数 1,151（上限 1,166）/ 校验 1-6 错误级 0 /
告警 = 悬空 2（App/algo/freq.c 的 S2，属 §4.4 同号不同义）+ 孤儿 50。

基线从 84.0 抬到 86.0 的理由见 docs/门禁说明/id-check.md §7.6：本批真删了 2,028 处
引用，可判定面随真实内容上升，不是把分母做小。同批新增排除 docs/硬件平台/ 语料，使
识别面少 264 处——芯片手册位号与网表料号不属编号空间（registry 有 excluded_paths_note）。

⚠ 余量只剩 0.11pp（约 10 处）与绝对数 15 处：把「可判定的引用」改成散文会立刻撞第二
根护栏。另遗留一项：id_aliases 里 retired 的 N / S / T / A 别名没有 scope（U1~U5 有），
今后有人新写一个 A-4，校验 3 不会响，只能靠人，建议下批补 scope。

固件不变证据：115 个 .c/.h 剥注释并归一字符串后与 HEAD 逐字节全等，残留代码差异 0；
App / Src / Drivers 的字符串字面量零改动。@build 0 错误 0 警告；40/40 主机套件、2,889
断言全通过；覆盖率 line 89.2% / func 92.6%；pre-commit 48 钩子 --all-files 全绿；
check_doc_links --all 通过（176 文档，章节引用无法判定 0）；逐字节卫生核过：14 个带
BOM 文件与 HEAD 一致、0 个 CR、0 个 U+FFFD，字符串字面量纯 ASCII。

.cubemx_survival_baseline.json 的 watchdog-module 哈希 56bf27 变 2bb051 属合法：
Src/freertos.c 的 USER CODE 区内只有注释文字随编号改写，代码未变。

同批带上体积同码凭证与 RAM 台账行（@build 之后盖戳）：RW_IRAM1 79,008 B / 60.3%，
RW_CCM 57,376 B / 87.9%，阈值 92%。
 2026-10-26 12:28:14 +08:00
wandering1 2d16fdddc0 fix(看门狗): 停喂判定按位分账——复合串窗不再误停喂（2026-10-25 大窗判读 F2） 
道F task-23。动因 = 2026-10-25 台架大窗判读：9 条 stall 行里 16:24/16:28 两起为
复合判据误升级——旧逻辑喂狗前置 = 全必需位同窗跑过，任一窗缺任一位即断喂，
复合连续 8 窗申报 stall；UI 一窗缺、IEC104 下一窗缺、再下窗 FTP 缺这类互不相干
的亚秒抖动被串成 800ms 假停摆（mg=877/918，两事件中无任何任务达单任务容忍线）。
16:39 那起才是真 UI 单任务串（~1.2s，bit4 到 8 连击——受害者面修复 = F3 票）。

【改造】stall/停喂唯一判据 = 任一必需位自己的连续缺席窗数（s_miss_bits[] 分账，
+9B BSS）：同一任务 8 窗（800ms）没跑过 → 申报 + 停喂 → IWDG 自然溢出
（IWDGRSTF 权威归因不变）；所有位连击 <8 的缺席窗照常喂狗；位出现即该位清零，
掩码外位不入账（wd_required_mask 随构建变化自动跟随、不留旧账）。`MISS start`
保留为复合边沿诊断行（不再代表停喂，判读口径以设计说明 §6.1/§11.1 为准）。
代价：真停摆从挂死到复位总时长最坏 +约 0.7s（≈2.5s 最坏 / ≈3.3s 标称），V2
台架判据「声明 stall 后 ≤2.5s 复位」不受影响（申报时点未变，停喂起点即申报）。

【测试】test/host/watchdog 断言按新判据改写 5 处（004/005/006/008/013：缺席窗
照常喂），新增 TC-WATCHDOG-017（20 窗 UI/NET 交替缺席：零 stall + 20 窗持续喂——
旧复合判据必在第 8 窗误报，回归钉）与 TC-WATCHDOG-018（同位 8/9/10 连击必报停
+ 停喂；恢复窗喂、账本重启，第二段亚容忍串重新从零计）。47/47 全绿。

【文档】看门狗设计说明 §0/§2.2（停喂链加「v1.5 起字面成立」注）/§3.2/§5.3/
§6.1/§11.1/§11.6 大窗补记 + 变更记录；看门狗单元测试说明（用例表 + 47 断言 +
变更记录，顺带修正 TC-WATCHDOG-003 行 10-12 后未跟的 `0x37`→`0x1F7`）。

【越界申报】① docs/测试说明/看门狗单元测试说明.md——票面写域外，但该文档
§4 自要求「行为变更须同步改单测与本文」，执行性同步；② 根目录
.cubemx_survival_baseline.json——cubemx-survival 钩子对 task_watchdog.c（watchdog-
module 审计项 = 全文哈希基线）明示「有意改动请 --write 重建基线」，重建后
31 通过 / 0 失败。均非他人并行改动面。

【门禁】@build 0 错误 0 警告（Code=224768 RO=24640 RW=1328 ZI=135096）。
--all-files 43 绿；红仅 mem-numbers/mem-budget = 台账漂移（vs 2026-10-25 行：
Code +80B / ER_IROM1 249328→249408 / ZI +8B（s_miss_bits）/ IRAM1 约 +8B，待回填）。
id-check 增量拦截通过（首跑拦下变更记录里 TC-003/TC-004 裸形，已改全 ID）、
test-coverage 通过、cubemx-survival 通过。
gate: only mem-budget/mem-numbers pending lead ledger backfill

【台架】等你排窗两轮（各 ≥30min）：单独 relisten_stress :7003 / 探针轮。判据按
v1.1 口径 = stall 行零为硬判据；预期本修复后 16:24/16:28 型复合误升级归零，
MISS start 仍会出现（诊断量）；16:39 型 UI 真单串在 F3 落地前仍可能照报——
那属于「判据抓对了人」，请连同 mask 一起记给我。
 2026-10-25 17:58:18 +08:00
wandering1 bda7ab2b50 refactor(编号): 16 个测试模块码单词化 + 门禁识别面连带放宽 
批 2（用户授权改名 + 「新名要一眼看懂」裁定）
- 16 个有歧义模块码单词化，共 1,146 处随 scripts/rename_ids.py 改写：
  AI→ADCIN、AH→ADCHEALTH、PS→PROTSET、PE→PROTELEM、PH→PHASOR、
  TS→TIMESYNC、VL→VOLLOCK、NP→NANDPORT、CFG→CONFIG、CLK→SYSCLK、
  WD→WATCHDOG、STO→STORAGE、SH→SHA256、FA→FTPAUTH、FR→FREQ、104→IEC104
- 不动 NET/GD5F/RTC/SOE/UI/ADC/LOG/RS485/TOOL（已是单词、芯片名或业界通用词，
  改了纯属 churn）
- 别名按全局登记：这批字面量已完全限定（TC-<码>-<nnn>），不存在裸形多义
- 映射表存档 scripts/rename_maps/batch2.json 作审计轨迹；§6 模块码表同步

连带修门禁（关键教训）
- 模块码涨到 9 位（ADCHEALTH/WATCHDOG）后，候选正则与族正则的 {0,4} 上界
  会让改名后的号**整批从门禁眼里消失**：实测编号字面量从 8271 掉到 7315、
  悬空假降 490 处。已放宽到 {0,9} 并写进 §6 注记
- 结论：改名批次必须连带复核识别面，只改数据不改判据 = 静默放行；
  这次是靠「可判定比例跌破基线即失败」那条线拦下来的

现状与遗留
- 校验 1 未登记前缀 0 处；可判定比例 82.71%（基线 82.6%，只涨不跌成立）
- 遗留：7 个模块的「单元测试说明.md」仍缺（PROTSET 116、NANDPORT 109、
  PROTELEM 65、FREQ 48、FTPAUTH 45、SHA256 25、SOE 14 处悬空）——改名不解决
  缺文档，处置方式待议
- 遗留：T-2/T-3/T-4/T-6 历史任务号悬空（别名表未收全，属本工具批次漏项）
- 未改任何 C/H 可编译语义（仅注释与宏名内的编号），故不需 @build
 2026-10-21 09:53:28 +08:00
wandering1 d1e6bb4ba7 W5波+N-19收口：FTP鉴权落地、Trap25三连定案修复(N-30)、N-20/N-23/N-26 
N-19 FTP 鉴权：
- lftpd_auth（USER/PASS 状态机 + 连续5次失败锁60s）+ SHA-256
  (user||pwd) 口令哈希；config.ini [ftp] 段 user/pwd_hash/write，
  出厂 admin/admin 在用有启动告警；lftpd_log.c 删除并入 lftpd_auth
- ftp_cfg 配置读写；台架 ftp_auth_bench.py 13/13

N-30 / Trap 25（CH395F_Trap_Records.md 四次定案全记录）：
- 修复1 closed-with-data accept：客户端发完正常 FIN 后芯片按
  FUN_PARA(0x09) §5.52② 保留 Socket+RX 缓冲，旧代码把 CLOSED 一律
  relisten 自毁缓冲 → STOR 必挂 425；改为接受"已关但可读"连接排空
- 修复2 丢 CONNECT 中断探针 net_lost_connect_probe + last_peer_port
  幽灵甄别（拆链窗口握手完成但中断丢失，双信源去抖补 accept）
- 修复3 send_list/send_nlst 批量单发：背靠背 ~60B 小段毒化芯片 TX
  （芯片报 SEND_OK 但对端全丢），整份目录一次性写入
- 证伪存档：固定沉降/Socket 轮换冷却/listen 门控（台架 v7 矩阵）
- 台架工具 test/board/ch395f_reuse_bench.{c,h} + host 脚本存档
  （不注册编译；实验分支 n30-chip-bench 保留）

N-20：Error_Handler 死循环降级（记录+复位路径）
N-23：scripts/check_registration.py 双端注册反向校验（pre-commit）
N-26：GD5F NAND 直 DMA 调用方缓冲窗口断言

验证：BUILD_OK 0/0；ftp_regression 连跑 4 轮 11/11（修复前
LIST#4/#7 100% 挂、STOR#2 曾 100% 425）；ftp_auth_bench 13/13；
@test 启动标记 PASS；ci_local L0+L0.5 全过；doc-links 通过。
登记簿 N-30 已销项。
 2026-10-11 18:50:24 +08:00
wandering1 e89fe54a97 重写看门狗设计说明为现状说明：删立项前旧描述、补FTL心跳路由与取证机制、修掩码与复位归因 2026-10-10 10:57:31 +08:00
wandering1 7531eb9b89 待处理内容（登记簿）：删除已闭环项，只保留未闭环项 
按用户要求（与 下一步任务规划.md 同一要求），登记簿只保留未闭环项：
- 删 S-6（dhara resume 回滚，✅ 已修）。
- 删「可靠性与自恢复」整节（N-03/N-03a/c/d/e 均 ✅；N-03b 为已接受的显式代价，非待办）。
- 删「测试与验证基础设施」的「已销项 T-1~T-6」块与空表。
- N-2 行精简（去掉验证叙事，保留结论 + 残余待办）。
- 新增 T-7：CI runner 未就绪（部署前置，原为区块内提示，改登记为正式待办）。
- 抬头补一句「本表只保留未闭环项，已闭环项不保留、不留变更记录」。

按登记簿「同步清理其他文档对本编号的引用」约定，修正悬空指针：
- 看门狗设计说明.md：抬头状态（原「待台架验证」已过时 → ✅ 已闭环，去掉 N-03 指针）；
  §后续项去掉 N-03 指针。
- 实机测试实施指南.md：§4 来源去掉 N-03；§10 V2/V4/V5 下游改为设计说明变更记录。
- 看门狗单元测试说明.md：分工表两处「⏳ 待台架（N-03 V2/V4/V5）」→ ✅ 已台架验收。
（历史变更记录中「T-6/T-1 销项」等属当时记录，保留不改。）

验证：pre-commit --all-files 17/17 Passed。
 2026-10-04 01:48:50 +08:00
wandering1 2055de0303 测试：落地测试架构改进 T-1~T-5（套件开关门禁/汇总行校验/通用 harness/公共断言宏/多套件编排） 
背景：L0.5 主机侧单测落地后复审测试架构，给出 6 条改进意见（P0~P3），
登记进 docs/待处理内容.md「测试与验证基础设施」后逐条实施。

- T-1(P0) 测试套件开关门禁：新增 scripts/check_test_suite.py + pre-commit 钩子
  test-suite-switch，默认要求产品构建（全部 TEST_SUITE_* 注释），跑套件回归用
  --allow-test-build / ALLOW_TEST_BUILD=1 显式放行。顺带把 test_config.h 中长期
  开启的 TEST_SUITE_CH395F 改回注释（仓库此前躺着的是测试固件）。
- T-2(P1) verify_log.py 增加 --require-suite-summary：要求
  "=== <名称>: N/M PASSED (failed=0) ===" 且 N>0，堵住"套件没跑到汇总行/
  断言数为 0 仍判 PASS"的盲区；run_boot_test.py 同名参数透传。不传参向后兼容。
- T-3(P1) 抽取通用 harness test/host/common/unit_test_harness.py（工具链探测/
  INCLUDE-LIB 拼接/wd4819/GBK 解码/退出码契约）；watchdog 运行器 170→55 行，只声明 TestBuild。
- T-4(P2) 新增 test/board/test_common.h 集中断言内核（TEST_CHECK_IMPL/TEST_REPORT_IMPL），
  4 套件各用一行宏绑定自身统计变量（保持 g_xxx_stats 独立、防跨套件串数）。
  刻意不 include dbg_log.h——否则冻结 DBG_TAG 默认值触发 #47-D 重定义警告。
- T-5(P2) 新增 test/run_all_suites.py 多套件回归编排，try/finally 无条件还原套件开关。

验证：@build 产品构建 0 错 0 警；4 套件逐一构建均 0/0；看门狗单测 39/39 PASS；
pre-commit 14 钩子全通过；编排脚本 dry-run/开关切换/异常还原均实测通过。
 2026-10-01 07:28:57 +08:00
wandering1 73941da6b1 看门狗判定状态机增加主机侧单元测试（L0.5 层） 
为 task_watchdog.c 的判定逻辑（位图取走清零 / 必需掩码 0x37 判定 /
miss_streak 连续 8 次停喂 / 100ms 抽样节流 / tick 回绕安全）补一层
主机侧纯逻辑单元测试，弥补此前只能靠真机或模拟器才能发现回归的空白。

架构（沿用项目既有"共享核心 + 平台后端"做法，参照 cfg_file_store）：
- task_watchdog.h 末段新增"平台后端（内部）"声明 3 个钩子
  （wd_platform_feed / _start / _tick_ms），MCU 端以 __weak 提供默认实现，
  行为与重构前逐字一致（@build 0 错误 0 警告，Flash +20B）。
- 主机侧单测以同名强符号覆盖三钩子，即可离线注入/观测，无需碰 MCU 代码。
- 测试文件 #include 生产源文件本身，保证测的是真代码而非副本。
- 测试专用复位 task_wd_test_reset() 仅 TASK_WATCHDOG_UNIT_TEST 下编入，
  MCU 构建零代码零符号。

测试（test/host/watchdog/，MSVC 离线编译，纯标准库驱动）：
- 39 项断言全过（退出码 0）；注入故障可复现退出码 1。
- run_unit_test.py 直接拼 INCLUDE/LIB 调 cl.exe，绕开本机被禁的 reg.exe。
- stub/ 三桩头覆盖 main.h / iwdg.h / dbg_log.h。

门禁：pre-commit 新增 watchdog-unit-test 本地钩子（L0.5 层），仅被测文件
或其测试变动时触发；测试开发标准流程.md 新增 L0.5 层说明。

顺带改善：task_watchdog.c 的节流基线 s_last_tick 由函数内 static 提为文件
static（可测性 + 模块状态归一）。
 2026-10-01 06:57:01 +08:00