From 7c4628b043f1869b0212ec9022c203728ae6c340 Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Sun, 25 Oct 2026 04:18:32 +0800 Subject: [PATCH 1/7] =?UTF-8?q?fix(A5):=20=E4=BD=93=E7=A7=AF=E5=87=AD?= =?UTF-8?q?=E8=AF=81=E6=8C=87=E7=BA=B9=E6=94=B9=E5=8F=96=20git=20=E7=B4=A2?= =?UTF-8?q?=E5=BC=95=20blob=E2=80=94=E2=80=94=E8=B7=A8=20checkout=20?= =?UTF-8?q?=E7=A8=B3=E5=AE=9A=EF=BC=8C=E5=B9=B6=E6=8B=A6=E6=9C=AA=20staged?= =?UTF-8?q?=20=E6=94=B9=E5=8A=A8?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 现象（道C-3 开工第一步就撞上，属于上一提交 e25e51c 引入的缺陷）： _wt/P1-10-test-fw 里 check_size_gate --local 报"不同码"，而两棵树 git status 全干净、 HEAD 同为 e1967cf。定位：主工作树的受管源码里 **1046/1388 个文件落成 CRLF**，新建 工作树同一提交落成 **LF**（实测 Drivers/BSP/dbg_cfg.h：1293 B/CRLF vs 1247 B/LF）， 但两者的**索引 blob 完全相同**（都是 c39395f7…）。根因是本仓 core.autocrlf=true 与 .gitattributes 的 eol=lf 并存——所以"工作树原始字节"根本不是跨 checkout 的稳定身份。 后果比红一次更糟：主树盖的凭证在**每一条道的平行工作树**里都会误红，runner 上同样 （checkout 出来的行尾取决于那台机器的配置）→ 门禁自己造 false positive。 修法（AGENTS「行尾不依赖 core.autocrlf」的机器化版本）： - 指纹 = git **索引** blob：`git ls-files -s` 的 path+blob 逐行聚合哈希（v2）， 跨 checkout / 跨机器一致；凭证 schema 从 1 抬到 2，旧凭证直接判"不符、重新盖戳"， 不做静默兼容（v1 凭证在别的树里必然误红，留着只会污染判读）。 - 新增第四道前置：**范围内有未 staged 改动/未跟踪文件时拒绝盖戳**——未 staged 的部分 不在索引里，凭证会声称覆盖一份并不存在的代码。已 git add 的不算脏：索引已含其内容， 正是"将要提交并被测量"的那一份。--local/--ci 同样把这类脏单独报出来。 - 新增守卫的机理性说明写在 index_snapshot() 上方与 docstring 的"指纹范围"节（唯一正文）。 - scripts/size_attestation.json：按 v2 重新盖戳（本树产品态实测 Code=214104 / RW=1204 / ZI=131852 / RW_IRAM1 75,632 B / RW_CCM 57,376 B，与主干 2026-10-25 台账行同源）。 验证： - 跨树一致性：_wt/P1-10-test-fw 与主工作树分别独立算索引指纹，结果都是 bf6ec94a761e…（1388 文件）→ CROSS-TREE STABLE。 - --stamp / --local / --ci 三态均 rc=0；凭证与 tsv 末行互证同源（Code=214,104 B）。 - 负向：在 test/board/ 放一个未跟踪探针文件 → --local 与 --stamp 双双 rc=1 并点名该 文件；删除后 --local 回到 rc=0（本树已确认干净，探针不留痕）。 - py_compile 通过；门禁实跑：no-mojibake / trailing-whitespace / end-of-file-fixer / check-added-large-files / id-check 全部 0。 RAM 增量：0 B（凭证与门禁脚本，不进固件）。gate：全过，未用 --no-verify。 ⚠ 需要 lead 做一步：合入后主树跑一次 python scripts/check_size_gate.py --stamp （或 ram_baseline.py --update）把 v1 凭证换成 v2，否则主树的 L0c 会报 schema 不符。 --- scripts/check_size_gate.py | 153 +++++++++++++++++++++++++--------- scripts/size_attestation.json | 13 +-- 2 files changed, 122 insertions(+), 44 deletions(-) diff --git a/scripts/check_size_gate.py b/scripts/check_size_gate.py index effed911..4f571fa9 100644 --- a/scripts/check_size_gate.py +++ b/scripts/check_size_gate.py @@ -47,8 +47,13 @@ 指纹范围（= 会影响固件体积的全部受管源码） App/ Drivers/ Src/ Inc/ Lib/ Middlewares/ test/board/ 以及 MDK-ARM 下的 .sct/.s -列表取 `git ls-files`（与 layer-deps / id-check 同口径），逐文件 sha256(路径+内容) 再 -聚合；未跟踪文件与构建产物天然不在内。 +身份取 **git 索引 blob**（`git ls-files -s` 的 path+blob 逐行聚合哈希），不是工作树 +原始字节——本仓 core.autocrlf=true 而 .gitattributes 写死 eol=lf，实测主树 1046/1388 +个受管源码落成 CRLF、新建工作树同一提交落成 LF，而索引 blob 完全一致；按原始字节算 +会让同一份代码在不同 checkout 得到不同指纹（主树盖的戳在别人工作树与 runner 上误红） +→ 索引 blob 才是跨 checkout 稳定的身份，也是 AGENTS「不依赖 core.autocrlf」的机器化。 +推论：**未 staged 的改动不在索引里**，凭证覆盖不到 → --stamp 拒绝在有脏时盖章， +--local/--ci 也把它单独报出来（已 git add 的不算脏：索引已含其内容，正是要测的那份）。 用法（仓库根）： python scripts/check_size_gate.py --stamp @@ -76,7 +81,9 @@ import ram_report # noqa: E402 REPO_ROOT = pathlib.Path(__file__).resolve().parent.parent ATTESTATION = REPO_ROOT / "scripts" / "size_attestation.json" -SCHEMA = 1 +# v1 = 工作树原始字节指纹（跨 checkout 不稳定，见 index_snapshot 的实测说明）→ 作废； +# v2 = git 索引 blob 指纹。schema 不符即拒绝复用，逼一次重新盖戳，不静默误判。 +SCHEMA = 2 SIZE_SCOPE_DIRS = ("App/", "Drivers/", "Src/", "Inc/", "Lib/", "Middlewares/", "test/board/") @@ -93,46 +100,89 @@ def in_scope(rel): return False -def tracked_files(): - """受管文件列表（git 不可用时退回目录遍历，同 check_layer_deps.py）。""" +def _git(args): + """跑 git 并返回 stdout 文本；git 不可用/非仓库 → 抛 RuntimeError（调用方按环境错误）。""" try: - out = subprocess.run(["git", "ls-files", "-z"], cwd=str(REPO_ROOT), + out = subprocess.run(["git"] + args, cwd=str(REPO_ROOT), capture_output=True, check=True) - except Exception: # noqa: BLE001 git 缺失/不在仓库内 - files = [] - for root, dirs, names in os.walk(REPO_ROOT): - dirs[:] = [d for d in dirs if d not in (".git", ".venv", "build")] - for n in names: - rel = os.path.relpath(os.path.join(root, n), REPO_ROOT) - files.append(rel.replace(os.sep, "/")) - return sorted(files) - return sorted(p.decode("utf-8", "replace") for p in out.stdout.split(b"\0") if p) + except subprocess.CalledProcessError as exc: + raise RuntimeError("git %s 失败：%s" % (" ".join(args), exc)) from exc + except (OSError, subprocess.SubprocessError) as exc: + raise RuntimeError("无法调用 git：%s" % exc) from exc + return out.stdout -def scoped_files(): - return [f for f in tracked_files() if in_scope(f)] +def index_snapshot(): + """受管且**在指纹范围内**的 (路径, 索引 blob id) 有序表。 + + ⚠ 为什么取**索引 blob**而不是工作树原始字节（2026-10-25 实测发现，别改回去）： + 本仓 core.autocrlf=true，而 .gitattributes 写死 eol=lf —— 主工作树的受管源码 + 里有 **1046/1388 个文件落成 CRLF**，新建工作树同一提交落成 LF，两者**索引 blob + 完全相同**（实测 dbg_cfg.h：1247 B/LF vs 1293 B/CRLF，blob 都是 c39395f7）。 + 拿原始字节算指纹 = 同一份代码在不同 checkout 得到不同指纹：主树盖的戳在道C + 新工作树里判"不同码"，runner 上同样会误红——**门禁自己造 false positive**。 + 索引 blob 是 git 归一化后的身份，跨 checkout 稳定，也正是 AGENTS「行尾由 + .gitattributes 写死、不依赖 core.autocrlf」的机器化说法。 + """ + raw = _git(["ls-files", "-s", "-z"]) + rows = [] + for item in raw.split(b"\0"): + if not item: + continue + meta, _, path = item.partition(b"\t") # " " + parts = meta.decode("ascii", "replace").split(" ") + if len(parts) < 2: + continue + rel = path.decode("utf-8", "surrogateescape").replace(os.sep, "/") + if in_scope(rel): + rows.append((rel, parts[1])) + return sorted(rows) def tree_fingerprint(): - """(指纹, 文件数, 缺失数)。受管但已删除的文件以哨兵入指纹，保证增删也变指纹。""" + """(指纹, 文件数)。指纹 = sha256(每行 "path\\tblob" 拼接)，取自 git 索引。""" + rows = index_snapshot() h = hashlib.sha256() - n = miss = 0 - for rel in scoped_files(): - n += 1 - try: - blob = (REPO_ROOT / rel).read_bytes() - except OSError: - miss += 1 - blob = b"" + for rel, blob in rows: h.update(rel.encode("utf-8", "surrogateescape")) - h.update(b"\0") - h.update(hashlib.sha256(blob).digest()) - return h.hexdigest(), n, miss + h.update(b"\t") + h.update(blob.encode("ascii", "replace")) + h.update(b"\n") + return h.hexdigest(), len(rows) + + +def unmeasured_dirt(limit=8): + """范围内**未 staged** 的改动（含未跟踪文件）——它们不在索引里，指纹覆盖不到。 + + 返回 (条数, 样例列表)。判据用 porcelain v1 的第二列（工作树列）：非空格且非 + 未跟踪标记即"改了没 staged"；'??' = 未跟踪新文件。⚠ 第一列（索引列）有改动是 + **允许**的——那正是"已 git add、即将提交"的那份内容，索引已经把它算进指纹。 + """ + raw = _git(["status", "--porcelain=v1", "-z", "--untracked-files=all"]) + dirty = [] + for rec in raw.split(b"\0"): + if len(rec) < 4: + continue + xy = rec[:2].decode("ascii", "replace") + rel = rec[3:].decode("utf-8", "surrogateescape").replace(os.sep, "/") + if not in_scope(rel): + continue + if xy == "??": + dirty.append(rel) + elif xy[1] != " ": + dirty.append(rel) + return len(dirty), dirty[:limit] def newest_source_mtime(): + """范围内**工作树文件**的最新 mtime（只用于 .map 新鲜度守卫，不进指纹）。 + + 注意这里必须看工作树：守卫要抓的是"盖戳前又改了文件却没重编"，而那正是索引 + 之外（未 staged）或已 staged 但磁盘更新的那份内容。文件已删除则跳过（增删本身 + 由指纹变化表达）。 + """ newest = 0.0 - for rel in scoped_files(): + for rel, _blob in index_snapshot(): try: newest = max(newest, (REPO_ROOT / rel).stat().st_mtime) except OSError: @@ -227,12 +277,28 @@ def cmd_stamp(args): for b in bad: print(" - " + b, file=sys.stderr) return 1 - fp, n, miss = tree_fingerprint() + # 第四道前置：范围内**有未 staged 的改动就拒绝盖戳**——索引（= 即将提交的那份） + # 里没有它们，凭证会"声称覆盖"一份并不存在的代码。已 git add 的改动**不算脏** + # （索引已含其内容，正是凭证该描述的东西）。 + dirt, samples = unmeasured_dirt() + if dirt: + print("[FAIL] 指纹范围内有 %d 处未 staged 的改动/未跟踪文件，拒绝盖戳：" % dirt, + file=sys.stderr) + for s in samples: + print(" - " + s, file=sys.stderr) + print(" 原因：凭证按 git 索引内容生成，未 staged 的部分不在索引里、覆盖不到。", + file=sys.stderr) + print(" 修复：先 git add <这些文件>（凭证描述的就是你正要提交的那份），再盖戳；", + file=sys.stderr) + print(" 或把它们还原。@build 与盖戳都应在同一份内容上做。") + return 1 + fp, n = tree_fingerprint() write_attestation({ "schema": SCHEMA, "fingerprint": fp, + "fingerprint_source": "git-index", "fingerprint_files": n, - "fingerprint_missing": miss, + "worktree_dirt_at_stamp": dirt, "sizes": m["sizes"], "regions": m["regions"], "pct": m["pct"], @@ -248,7 +314,7 @@ def cmd_stamp(args): }) ir = m["regions"].get("RW_IRAM1", {}).get("size", 0) cc = m["regions"].get("RW_CCM", {}).get("size", 0) - print("[OK] 体积同码凭证已写出：%s（指纹 %s…，%d 个文件）" % ( + print("[OK] 体积同码凭证已写出：%s（索引指纹 %s…，%d 个文件）" % ( ATTESTATION.relative_to(REPO_ROOT), fp[:12], n)) print(" Code=%s B / RW_IRAM1=%s B / RW_CCM=%s B" % ( format(m["sizes"]["code"], ","), format(ir, ","), format(cc, ","))) @@ -276,17 +342,25 @@ def _cmd_parity(args, ci_mode): " 修复：本地 @build 之后跑 python scripts/ram_baseline.py --update", " （或单独跑 python scripts/check_size_gate.py --stamp）", ]) - fp, n, miss = tree_fingerprint() + fp, n = tree_fingerprint() problems = [] + dirt, samples = unmeasured_dirt() + if dirt: + problems += [ + "指纹范围内有 %d 处**未 staged** 的改动/未跟踪文件，凭证覆盖不到它们" % dirt, + " " + "、".join(samples) + ("…" if dirt > len(samples) else ""), + " 含义：这些内容既没进索引（凭证按索引生成），也就没被那次测量算进去", + " 修复：git add 之后 @build，再跑 python scripts/ram_baseline.py --update", + ] if fp != doc["fingerprint"]: problems += [ "本次代码（指纹 %s…，%d 文件）与体积测量（指纹 %s…，%s）不同码" % ( fp[:12], n, str(doc["fingerprint"])[:12], doc.get("built_at", "?")), " 含义：这份源码没有被真实链接测量过（或测量完又改了代码/合入了别的改动）", " 修复：@build 0/0 之后跑 python scripts/ram_baseline.py --update 再提交", + " （指纹取 git 索引 blob：同一份内容在任何工作树/runner 上算法一致，" + "不受 CRLF/LF 检出差异影响）", ] - if miss: - problems.append(" （注：当前树缺 %d 个受管文件，可能 checkout 不完整）" % miss) if ci_mode: thr = doc.get("threshold_pct", ram_baseline.THRESHOLD_PCT) bad = [] @@ -338,8 +412,11 @@ def _tsv_consistency(doc): def cmd_show(_args): - fp, n, miss = tree_fingerprint() - print("当前受管源码指纹：%s（%d 文件，缺失 %d）" % (fp, n, miss)) + fp, n = tree_fingerprint() + dirt, samples = unmeasured_dirt() + print("当前受管源码索引指纹：%s（%d 文件；未 staged %d 处）" % (fp, n, dirt)) + for s in samples: + print(" dirty: " + s) doc, err = read_attestation() if doc is None: print("凭证：%s" % err) diff --git a/scripts/size_attestation.json b/scripts/size_attestation.json index 4ff545e0..451126e3 100644 --- a/scripts/size_attestation.json +++ b/scripts/size_attestation.json @@ -1,15 +1,15 @@ { - "built_at": "2026-10-25T03:58:34+08:00", - "fingerprint": "b18aee6e56c7388f103939646190742b22bb6573f6667202e4ae9f8213485579", + "built_at": "2026-10-25T04:15:33+08:00", + "fingerprint": "bf6ec94a761eacd8e3bcbc590e8780c2293462d384b9b33094e5d0fd6411f295", "fingerprint_files": 1388, - "fingerprint_missing": 0, + "fingerprint_source": "git-index", "gated_regions": [ "RW_IRAM1", "RW_CCM" ], - "git_head": "ba9450c50b932bd2085809fb3c1acc8d72bafbb9", + "git_head": "e1967cf2eac70b794c920774715c6fe78dc30ac2", "map": "MDK-ARM/STM32F407-Demo/STM32F407-Demo.map", - "map_mtime": 1792870197, + "map_mtime": 1792872260, "pct": { "ER_IROM1": 22.36, "RW_CCM": 87.89, @@ -34,7 +34,7 @@ "size": 48 } }, - "schema": 1, + "schema": 2, "scope_note": "\u540c\u7801\u51ed\u8bc1\uff1a\u6307\u7eb9\u8986\u76d6\u56fa\u4ef6\u4f53\u79ef\u76f8\u5173\u6e90\u7801\uff0c\u53e3\u5f84\u89c1\u672c\u811a\u672c docstring", "sizes": { "code": 214104, @@ -43,5 +43,6 @@ "zi_data": 131852 }, "threshold_pct": 92.0, + "worktree_dirt_at_stamp": 0, "written_by": "scripts/check_size_gate.py --stamp" } From 16917bf165d47b29c457deb91abaca437b532833 Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Sun, 25 Oct 2026 04:49:19 +0800 Subject: [PATCH 2/7] =?UTF-8?q?test(P1-10):=20CH395F=20=E5=A5=97=E4=BB=B6?= =?UTF-8?q?=E4=B8=89=E6=A1=A3=E6=9E=84=E5=BB=BA=E5=AE=9E=E6=B5=8B=20+=20?= =?UTF-8?q?=E4=BF=AE=E9=98=B6=E6=AE=B5=E5=BC=80=E5=85=B3=E8=A1=8C=E5=B0=BE?= =?UTF-8?q?=E8=B7=A8=E8=A1=8C=E6=B3=A8=E9=87=8A=E7=9A=84=E5=88=87=E6=8D=A2?= =?UTF-8?q?=E9=99=B7=E9=98=B1?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit P1-10 剩余①「CH395F 套件实际构建确认链接通过」今天才真正有数：产品基线 + 三档 测试配置（ARMCC，全部 0 错误 0 警告；.sct 保持 128 KB 未动，符合 P1-10 写的 "不建议扩到 192KB"）： 配置（TEST_SUITE_CH395F + 阶段） Code ZI RW_IRAM1 距 92% 余量 产品基线（阶段全关） 214,104 131,852 75,632 57.7% 44,954 B 默认阶段 11/14（只切套件宏） 217,468 134,076 77,920 59.5% 42,666 B NET 层全开 6~11/13/14 218,992 141,688 85,552 65.3% 35,034 B HW 层全开 1~5/12/15（最坏态） 229,256 147,176 90,952 69.4% 29,634 B HW 层无需 PC 1/12/15（冒烟用） 215,244 134,896 78,672 60.0% 41,914 B P1-10 specifically 关心的 PHASE5 三块静态缓冲（3 x PHASE5_CHUNK_SIZE = 3 x 4093） 确实进了链接，不是"理论上会在"：hw_full 的 ch395f_test_task.o 数据段 = 12,285 B （12,279 + 该 TU 其余 6 B）。于是"理论余量足够但未实测"改成了实测：最坏态仍余 29,634 B（RW_IRAM1 上限 131,072 B，92% 线 120,586 B）。RW_CCM 四档恒为 57,376 B / 87.9%——测试代码不进 CCM，但该区已经贴着红线，将来往 CCM 加东西要单独核算。 顺手修掉一个把实测挡了三年的坑（就是它让第一轮 hw 配置炸掉的）： ENABLE_PHASE11/14 两行的说明是**挂在行尾的跨行块注释**。而"关掉一个阶段"的标准动 作是在行首加 //，// 只注释到行尾 → 块注释从第二行起变成裸代码，实测 188 条 error #7: unrecognized token，报点落在注释续行上，看着像头文件坏了、其实只是注释 被腰斩。run_all_suites.py 的 _rewrite_config 只改 TEST_SUITE_* 行（那些行没有行尾 跨行注释）所以一直没暴露；ch395f_test.h 恰是"人手工切阶段"的入口，必须自身安全。 修法：把两段说明挪到 #define 行的上一段，行尾只留同行闭合的短注释；并在开关区后面 写清"开关行注释规范"+ 上面这张实测表（同一事实只在这一处，销项时文档引它）。 验证（_wt/P1-10-test-fw，每步都实跑 @build）： - V1 产品态（改注释后）：0/0，Code/RO/RW/ZI = 214104/20388/1204/131852，与主干 2026-10-25 台账行逐项相同 → 本改动零体积增量。 - V2 只切套件宏（默认阶段 11/14）：0/0，RW_IRAM1 77,920 B / 59.5%。 - V3 **朴素行注释切换**（正是炸掉第一轮的那个动作）改到 HW 1/12/15：0/0，且尺寸与 用 #undef/#define 覆盖法得到的 hw_nopc 逐字节相同（215244/23656/1200/134896） → 陷阱确认已消除，两条改法等价。 - V4 还原后产品重建：0/0，数字回到基线；test_config.h 与 ch395f_test.h 均按字节还原 （git status 只剩本文件这一处改动，测试宏没有留在树里，test-suite-switch 无需放行）。 - 产物身份戳实测：hw_nopc = "Oct 25 2026 04:32:16 suite=CH395F dstr=off"、产品态 = "Oct 25 2026 04:32:25 suite=NONE dstr=off" → dstr=off 三档一致，破坏性开关全程关。 RAM 增量：0 B。gate：改动只命中 no-mojibake / trailing-whitespace / end-of-file-fixer / check-added-large-files / id-check / mem-budget，全部 0；未用 --no-verify。 P1-10 剩余②（@test 烧录抓日志）需要 bench 锁，已把镜像与锚点清单交给 lead 执行； 真机跑 Phase 2~5 / 8 / 11 / 13 / 14 需 PC 端 tcp_server / peer 配合（Phase 11 还要 制造死对端，E11），属"实际测量采样"类，按用户指示本轮跳过，不在本提交声称做过。 --- test/board/ch395f_test.h | 38 ++++++++++++++++++++++++++++++++------ 1 file changed, 32 insertions(+), 6 deletions(-) diff --git a/test/board/ch395f_test.h b/test/board/ch395f_test.h index 89bceab1..04b5f53b 100644 --- a/test/board/ch395f_test.h +++ b/test/board/ch395f_test.h @@ -62,18 +62,44 @@ extern "C" { //#define ENABLE_PHASE8_TESTS /* [网] 大文件传输（100KB 文件收发） */ //#define ENABLE_PHASE9_TESTS /* [网] Select/Poll I/O 多路复用 */ //#define ENABLE_PHASE10_TESTS /* [网] 边界条件测试 */ -#define ENABLE_PHASE11_TESTS /* [网] KeepAlive 超时断开：PC 连 8080 后须制造 - * 死对端（禁用网卡；防火墙规则对已建立连接无效， - * E11 实证）；勿与 Phase 6/9/10/13 混选（recv 互抢数据） */ +/* [网] KeepAlive 超时断开：PC 连 8080 后须制造死对端（禁用网卡；防火墙规则对已建立 + * 连接无效，E11 实证）；勿与 Phase 6/9/10/13 混选（recv 互抢数据）。 + * ⚠ 说明写在**上一行**而不是挂在 #define 行尾：见本节末尾的"开关行注释规范" */ +#define ENABLE_PHASE11_TESTS /* [网] KeepAlive 超时断开（判据见 CH395F_Test_Guide） */ /* ---- 链路时延基线（M1；分段/阈值见 docs/测试说明/链路延迟测试说明.md）---- */ //#define ENABLE_PHASE12_TESTS /* [硬] SPI 字节命令 / DMA 时延基线（L1/L2，无需 PC）—— M1 已完成，基线见说明文档 §6.1 */ //#define ENABLE_PHASE15_TESTS /* [硬] 自愈驱动原语：状态回读一致性/cmd_done/sock_reset 状态机跑通/链路缓存（无需 PC）——TC 详见 docs/测试说明/CH395F_Test_Guide.md 阶段 15；台架 20/20 PASS */ /* ---- 链路时延（M2/M3；分段/阈值见 docs/测试说明/链路延迟测试说明.md）---- */ //#define ENABLE_PHASE13_TESTS /* [网] 芯片 + 队列时延（L3~L7/L10，需 PC peer）—— M2 已完成，基线见说明文档 §6.2 */ -#define ENABLE_PHASE14_TESTS /* [网] 生产路径时延（L8~L11 + 模拟器 Δ）—— M3，需 peer --mode remo（:7003）； - * 与 Phase 11 共存安全：peer 缺席时有 LAT_P14_TIMEOUT_MS 整体超时 - * 自动 done，不永久挡 accept */ +/* [网] 生产路径时延（L8~L11 + 模拟器 Δ）—— M3，需 peer --mode remo（:7003）； + * 与 Phase 11 共存安全：peer 缺席时有 LAT_P14_TIMEOUT_MS 整体超时，自动 done， + * 不永久挡 accept */ +#define ENABLE_PHASE14_TESTS /* [网] 生产路径时延（L8~L11） */ +/* + * 开关行注释规范（2026-10-25 构建矩阵实测踩出来的，别改回去）： + * 每个 ENABLE_PHASE*_TESTS 行只许带"同一行内闭合"的行尾注释，或不写注释； + * 需要多行说明就挪到该行的**上一段**。原因：关一个阶段的动作是在行首加两个 + * 斜杠，而它只注释到行尾——挂在行尾的跨行注释会从第二行起**变成裸代码**（实测 + * 188 条 error #7: unrecognized token，报点落在注释的续行上，看着像头文件坏了， + * 其实只是注释被腰斩）。开阶段是同一个坑的反面：去掉行首斜杠并不会把注释拼回来。 + * test/run_all_suites.py 的 _rewrite_config 只改 TEST_SUITE_* 行（那些行没有行尾 + * 跨行注释）所以一直没炸；本文件是"人手工切阶段"的入口，必须自身安全。 + * + * 链接余量构建实测（条目属主 docs/任务规划/测试与架构专项.md P1-10；2026-10-25， + * RW_IRAM1 = 128 KB 的 .sct 区，92% 红线 = 120,586 B）： + * 配置（TEST_SUITE_CH395F + 阶段） Code ZI RW_IRAM1 距红线余量 + * 产品基线（阶段全关） 214,104 131,852 75,632 57.7% 44,954 B + * 默认阶段 11/14（只切套件宏） 217,468 134,076 77,920 59.5% 42,666 B + * NET 层全开 6~11/13/14 218,992 141,688 85,552 65.3% 35,034 B + * HW 层全开 1~5/12/15（最坏态） 229,256 147,176 90,952 69.4% 29,634 B + * HW 层无需 PC 1/12/15（台架冒烟用） 215,244 134,896 78,672 60.0% 41,914 B + * 该条目关心的 PHASE5 三块静态缓冲（3 x PHASE5_CHUNK_SIZE = 4093）确实进了链接： + * hw_full 的 ch395f_test_task.o 数据段 = 12,285 B（3 x 4093 = 12,279 + 其余 6 B）。 + * "理论余量足够"由未实测转为已实测：最坏态还余 29,634 B，不必把 .sct 扩到 192 KB + * （与该条目"不建议扩 scatter"的约束一致）。RW_CCM 四档恒为 57,376 B / 87.9%—— + * 但该区已贴着 92% 线，任何往 CCM 加东西的改动都得单独核算。 + */ #if defined(ENABLE_PHASE1_TESTS) || defined(ENABLE_PHASE2_TESTS) || \ defined(ENABLE_PHASE3_TESTS) || defined(ENABLE_PHASE4_TESTS) || \ defined(ENABLE_PHASE5_TESTS) || defined(ENABLE_PHASE12_TESTS) || \ From adabb6af12f5888346c4a9f6a7fb504811b9389b Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Sun, 25 Oct 2026 05:13:14 +0800 Subject: [PATCH 3/7] =?UTF-8?q?fix(test):=20=E4=B8=BB=E6=9C=BA=E5=8D=95?= =?UTF-8?q?=E6=B5=8B/=E8=A6=86=E7=9B=96=E7=8E=87=E4=BA=A7=E7=89=A9?= =?UTF-8?q?=E6=8C=89=E5=B7=A5=E4=BD=9C=E6=A0=91=E5=88=86=E5=AE=B6=20+=20?= =?UTF-8?q?=E6=AF=8F=E6=AC=A1=E8=B7=91=E7=8B=AC=E5=8D=A0=E7=9B=AE=E5=BD=95?= =?UTF-8?q?=EF=BC=88task-10=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 现象（2026-10-25 三条道并行开发实测，看板 task-10）：全量 ci_local 的 L0 里 test-cppcheck / test-coverage 偶发 "files were modified by this hook"，单独重跑 即绿、工作树零改动。根因在 unit_test_harness：obj/exe 直接落在**全机共用**的 %TEMP%，名字由套件名派生（%TEMP%\net_socket_tests.exe、%TEMP%\net_socket_obj）， 多棵工作树并行跑同名套件必然互踩。 真正要命的不是编不过，而是**结论张冠李戴**：A 树编译完，B 树把同名 exe 又盖一 遍，A 树随后 subprocess 执行的是 B 树编出来的二进制——两棵树的 summary_marker 一模一样，harness 分辨不出来，于是拿别人的运行结果给自己判 PASS。这种失败不会 变红，只会静默给出错误结论，比红难查一个量级。 修法（不是加锁）： - 产物根按**工作树**分家：%TEMP%\dtu_host\<仓库根路径 sha1 前 10 位>\。树身份取 harness 文件自身位置（test/host/common 往上三级），不依赖 cwd/环境变量；工作树 之间只联接 .venv 与模拟器 SDK，test/host 每棵树各有一份，所以这个身份可靠。 - **每次运行再独占一个子目录** runs\-<纳秒>\，obj 与 exe 都放进去，跑完 finally 删（含 Ctrl-C 路径）。这一步顺带把"同树并发同名套件"也消灭了：两个 进程既拿不到同一个 exe，也拿不到同一个 .obj（实测共享根时并发会因 obj 撞名 直接编不过，返回 rc=2）。没有牺牲缓存：每个测试单元就一个 .c，cl 每次整体重编， "共享 obj 省编译"本来就是错觉。**不加锁**：这里没有需要互斥的独占资源，只是 名字撞了；加锁等于把 L0.5 变成 build/bench 那样的全局串行。 - 独占目录里留 .owner.json（suite / repo_root / pid / started）：需要证明"这 份产物属于哪棵树哪次跑"时有的可查，不必靠时间戳猜。 - 编译返回 0 但产物不存在 → 明确报环境错误，绝不跑来路不明的二进制。 - 两个开关：DTU_HOST_BUILD 改产物根（CI/容器固定路径），DTU_HOST_BUILD_KEEP=1 保留本次目录（要单步调试 exe 时用）。判据单一事实源 = host_build_root()。 - scripts/check_test_coverage.py 同源改造：work_root 由固定共享名 dtu_test_cov 改为 复用 harness 的 host_build_root()/coverage，并同步 --work-dir 帮助文案与 docstring （docs 里"并行期每人只跑 --module 自己模块"那条规避就此作废，它是为绕开旧共享名 而写的）。顺带删掉因此不再使用的 import tempfile。 附带修一处同族不诚实（做本任务时从自己的输出里发现）：ci_local 的收尾那行以前 无条件打印"L0 + L0b + L0c + L0.5 全部通过"，--l05-only 时等于把没跑过的段宣布 为通过——正是 A-5 那个"SKIP 冒充 PASS"的镜像版。改为只列本次真正跑过的段。 自证（都是实跑，不是推演）： - 两棵树身份并发跑同一套件：把修好的 harness 复制成 A/B 两个树身份（repo_root 不 同 → 两个不同产物根），套件 BUILD 从真仓库加载，各跑 4 轮并发 → 8/8 rc=0， 两侧 roots 分别是 …\55deb98e3b 与 …\902100bc41，互不可见。 - 敌意场景：把两边 DTU_HOST_BUILD 强行指到同一目录（旧写法必撞 exe/obj）→ 8/8 rc=0，共享根下只剩一个空的 runs/。同树并发同理被这一条覆盖。 - 单套：test/host/sha256 rc=0（13/13），产物确实落在 …\4b9166f602\runs\-…； 覆盖率 --module sha256 rc=0（line=111/114 func=7/7），落在 …\coverage\sha256。 - 全量：ci_local --l05-only → 33 runner(s)，2276/2276 assertions passed，fail=0。 - 临时目录与 scratch 已清理（脚本在仓库外，不入库；ci-artifacts/ 之外无残留）。 文档：test/host/common/README.md 新增"产物目录归属"一节（落点结构、为什么按树、 为什么每次独占、两个开关、一行命令查当前树的产物根）；harness 顶部注释是判据正文。 docs 侧两处按分工归 lead 在 done 时统一改，合并请求里已给可直接粘贴的替换文本： docs/测试说明/主机单测覆盖率口径.md 的产物目录条与"坑 12"、以及并行任务工作树 方案.md 的产物归属条。AGENTS.md 与 docs/** 本次一个字节没动。 RAM/Flash 增量：0 B（纯测试工具链，不进固件）。gate：见提交钩子输出，未用 --no-verify。 遗留：tools/font_gen/make_font.py 同样用固定共享名（%TEMP%\simsun_regular.ttf、 font_extra_.c）——同一类跨树竞态，但属道B 字体域，我没动，建议另开一张卡。 --- scripts/check_test_coverage.py | 21 +++- scripts/ci_local.py | 11 +- test/host/common/README.md | 39 ++++++- test/host/common/unit_test_harness.py | 144 ++++++++++++++++++++------ 4 files changed, 181 insertions(+), 34 deletions(-) diff --git a/scripts/check_test_coverage.py b/scripts/check_test_coverage.py index 1b575b88..3a379bc3 100644 --- a/scripts/check_test_coverage.py +++ b/scripts/check_test_coverage.py @@ -46,6 +46,12 @@ r""" 2 = 环境错误（找不到 cl.exe / 找不到 mscoverage / 编译失败 / XML 缺失或解析失败） 3 = 用法错误 +中间产物目录（2026-10-25 起与主机单测同家）： + %TEMP%\dtu_host\<工作树哈希>\coverage\<模块>\ —— exe / PDB / .coverage / + cobertura XML 都在这里，**不进仓库**。按工作树分家，是因为旧的固定共享名 + %TEMP%\dtu_test_cov 在多棵工作树并行跑覆盖率时会互相覆盖（判据与来龙去脉见 + test/host/common/unit_test_harness.py 顶部"产物目录归属"一节）。改根：--work-dir + 或环境变量 DTU_HOST_BUILD。 用法（仓库根目录）： & '.venv\Scripts\python.exe' scripts/check_test_coverage.py # 全量跑 + 比基线 & '.venv\Scripts\python.exe' scripts/check_test_coverage.py --module sha256 # 只跑一套（调试） @@ -79,7 +85,6 @@ import re import shutil import subprocess import sys -import tempfile import xml.etree.ElementTree as ET from pathlib import Path @@ -682,7 +687,17 @@ def run(args): prod = production_sources() canon = {rel.lower(): rel for rel in prod} - work_root = args.work_dir or os.path.join(tempfile.gettempdir(), "dtu_test_cov") + # 中间产物根：**跟着工作树走**，与主机单测同一个家（task-10）。旧写法是 + # tempfile.gettempdir()/dtu_test_cov —— 全机一个名字，多棵工作树并行跑覆盖率就 + # 互相覆盖 exe/PDB/cov 文件（docs/测试说明/主机单测覆盖率口径.md 里"并行期每人 + # 只跑 --module 自己模块"那条规避，就是为了绕开它；分家之后不再需要）。 + # 复用 harness 的同一套判据（含 DTU_HOST_BUILD 覆盖），避免两处口径漂移。 + _host_build_root = getattr(harness, "host_build_root", None) + if _host_build_root is None: + print("[ENV] unit_test_harness 缺 host_build_root()——覆盖率产物无法与主机" + "单测同家（harness 版本过旧？），拒绝跑。", file=sys.stderr) + return 2 + work_root = args.work_dir or os.path.join(_host_build_root(), "coverage") if args.clean: shutil.rmtree(work_root, ignore_errors=True) os.makedirs(work_root, exist_ok=True) @@ -820,7 +835,7 @@ def main(): ap.add_argument("--md", metavar="PATH", help="额外输出 Markdown 报告") ap.add_argument("--json", metavar="PATH", help="额外输出 JSON 明细") ap.add_argument("--work-dir", metavar="PATH", - help="中间产物目录（默认临时目录下 dtu_test_cov）") + help="中间产物目录（默认与主机单测同家：TEMP 下 dtu_host/<工作树哈希>/coverage）") ap.add_argument("--clean", action="store_true", help="跑前清空中间目录") ap.add_argument("--timeout", type=int, default=600, metavar="SEC", help="单模块插桩运行超时（默认 600 秒）") diff --git a/scripts/ci_local.py b/scripts/ci_local.py index 870adeb0..71623d91 100644 --- a/scripts/ci_local.py +++ b/scripts/ci_local.py @@ -441,17 +441,24 @@ def main(argv=None): return 2 rc = 0 + # 实际跑过哪些段——收尾那行只报这些。理由与 A-5 同源且是同一类错误： + # "--l05-only 却宣布 L0/L0b/L0c 全部通过"就是把没跑的说成跑过了（SKIP 冒充 PASS + # 的镜像版）。2026-10-25 做 task-10 时从 --l05-only 的输出里发现，当场改掉。 + ran = [] try: if args.size_only: return run_size_gate() if not args.l05_only: rc = run_l0() + ran.append("L0") # 提交信息门禁独立于 --all-files（stage 不同），故单独跑一段； # 即使 L0 已失败也照跑，一次看全所有违规项。 rc_msg = run_gitlint(args.commits) + ran.append("L0b") # L0c 体积门禁同样**无条件照跑**：它回答的是"这份代码测过体积没有"， # 与 L0/L0b 的结论正交，且只要 0.3 s——少跑一次就是 A-5 那个盲区。 rc_size = run_size_gate() + ran.append("L0c") if rc != 0 or rc_msg != 0 or rc_size != 0: if not args.keep_going: print("") @@ -461,9 +468,11 @@ def main(argv=None): rc = rc or rc_msg or rc_size if not args.l0_only: rc05 = run_l05(args) + ran.append("L0.5") rc = rc or rc05 if args.coverage: rc = rc or run_coverage() + ran.append("L0.5c") except FileNotFoundError as e: print("[ERROR] 环境错误：{}".format(e)) return 2 @@ -471,7 +480,7 @@ def main(argv=None): print("") print("=" * 64) if rc == 0: - print(" [OK] 本地 CI 全部通过（L0 + L0b + L0c + L0.5）") + print(" [OK] 本地 CI 全部通过（{}）".format(" + ".join(ran))) else: print(" [FAIL] 本地 CI 有未通过项（见上方输出）") print("=" * 64) diff --git a/test/host/common/README.md b/test/host/common/README.md index f68e9551..9d06edac 100644 --- a/test/host/common/README.md +++ b/test/host/common/README.md @@ -68,7 +68,7 @@ raise SystemExit(run_host_unit_test(TestBuild(name="...", src="...", ...))) | `include_dirs` | | `/I` 目录列表；**桩目录需排在前面**才能覆盖真实头 | | `summary_marker` | | 运行输出中必须出现的汇总行前缀；空 = 不校验 | | `extra_flags` | | 追加的 `cl.exe` 开关 | -| `exe_name` / `obj_tag` | | 覆盖派生的产物名 / 中间目录名（默认由 `name` 派生，落在系统 temp） | +| `exe_name` / `obj_tag` | | 覆盖派生的产物名 / 中间目录名（默认由 `name` 派生；落点见下节"产物目录归属"） | ## 环境要求 @@ -76,6 +76,43 @@ raise SystemExit(run_host_unit_test(TestBuild(name="...", src="...", ...))) MSVC `cl.exe`（装了 VS 即有）+ Windows SDK + 纯标准库 Python；**不调 `vcvars64.bat`** （内部 `reg.exe` 受限），直接拼环境变量调 `cl.exe`。 +## 产物目录归属（跨工作树并行，2026-10-25） + +**obj / exe / pdb 每次运行独占一个子目录**，按工作树分家： + +``` +%TEMP%\dtu_host\<仓库根路径 sha1 前 10 位>\runs\-<纳秒时间戳>\ + _obj\*.obj ← 中间目标文件 + _tests.exe ← 本次编译产物（跑完随目录一起删） + _tests.exe.owner.json ← 归属凭据：suite / repo_root / pid / started +``` + +为什么这么放（两条都是实测出来的，不是洁癖）： + +- **旧写法把 obj/exe 摊在全机共用的 `%TEMP%`，名字由套件名派生**（ + `%TEMP%\net_socket_tests.exe`）。多棵工作树并行跑同名套件就会互相覆盖，而最坏情况 + 不是编不过：A 树编译完，B 树把同名 exe 又盖一遍，A 树随后执行的是 **B 树编出来的 + 二进制**——两棵树的 `summary_marker` 一模一样，harness 分辨不出来，等于拿别人的 + 运行结果给自己下结论。2026-10-25 三条道并行时全量 `ci_local` 里 `test-cppcheck` / + `test-coverage` 偶发 "files were modified by this hook"、单跑即绿，就是这一类。 +- **按工作树分家 + 每次跑独占**同时解决"跨树互踩"和"同树并发"（覆盖率钩子与手工 L0.5 + 同时跑同一棵树时也会撞）。不牺牲任何东西：每个测试单元就一个 `.c`，`cl` 每次整体 + 重编，"共享 obj 省编译"本来就是错觉。**没有加锁**——这里没有需要互斥的独占资源， + 只是名字撞了；加锁等于把 L0.5 变成和 build/bench 一样的全局串行。 + +两个开关（都写在 harness 顶部注释里，判据以 `unit_test_harness.host_build_root()` 为准）： + +- `DTU_HOST_BUILD=<目录>`：改产物根（CI/容器要固定路径时用）。覆盖率侧同源—— + `scripts/check_test_coverage.py` 复用同一个函数，不再用自己那套固定名 + （旧 `%TEMP%\dtu_test_cov` 的共享名，正是 docs/测试说明/主机单测覆盖率口径.md 里 + "并行期每人只跑 `--module` 自己模块"那条规避的由来；分家之后该规避不再必要）。 +- `DTU_HOST_BUILD_KEEP=1`：保留本次独占目录不删（要单步调试那个 exe 时用，会打印路径）。 + +想知道当前树算到哪个目录： + +```powershell +& '.venv\Scripts\python.exe' -c "import sys;sys.path.insert(0,'test/host/common');import unit_test_harness as U;print(U.host_build_root())" +``` ## ⚠️ 注意 - 本目录在 pre-commit 的 cppcheck / 代码规范**排除范围**（`test/` 豁免） diff --git a/test/host/common/unit_test_harness.py b/test/host/common/unit_test_harness.py index 6519baac..c05827d5 100644 --- a/test/host/common/unit_test_harness.py +++ b/test/host/common/unit_test_harness.py @@ -41,10 +41,14 @@ """ import glob +import hashlib +import json import os +import shutil import subprocess import sys import tempfile +import time from dataclasses import dataclass, field # ----------------------------- 工具链探测位置 ----------------------------- @@ -129,6 +133,61 @@ class TestBuild: return tag + "_obj" +# ----------------------------- 产物目录归属（跨工作树并行） ----------------------------- +# 现象（2026-10-25 三条道并行开发实测）：全量 ci_local 的 L0 里 test-cppcheck / +# test-coverage 偶发 "files were modified by this hook"，单独重跑即绿、工作树零改动。 +# 根因是旧写法把 obj/exe 直接落在**全机共用**的 %TEMP%，名字由套件名派生 +# （%TEMP%\net_socket_tests.exe 与 %TEMP%\net_socket_obj）。多棵工作树并行跑**同名 +# 套件**就会互相覆盖，而最坏的不是编不过：A 树编译完，B 树把同名 exe 又盖一遍， +# A 树随后执行的是 **B 树编出来的二进制**——两棵树的 summary_marker 一模一样， +# harness 分辨不出来，于是拿着别人的运行结果给自己下结论（比红更难查）。 +# 覆盖率侧同源：%TEMP%\dtu_test_cov 也是固定共享名（docs/测试说明/主机单测覆盖率 +# 口径.md 里"并行期每人只跑 --module 自己模块"就是为绕开它写的规避；本处修好后 +# 那条规避不再必要）。 +# +# 口径：**按工作树分家**。产物根 = %TEMP%\dtu_host\<仓库根路径哈希>\，跨树天然不撞， +# 同一棵树内仍复用同一份目录（33 套的编译缓存没必要白白重编）。**不用锁**——锁会把 +# L0.5 变成和 build/bench 一样的全局串行，而这里并没有需要互斥的独占资源，只是名字 +# 撞了。显式覆盖：DTU_HOST_BUILD=<目录>（CI/容器要固定路径时用）。 + + +def repo_root(): + """本 harness 所在工作树的根（test/host/common/ 往上三级）。 + + 每棵工作树都有自己的 test/host/（工作树之间只共享 .venv 与模拟器 SDK 两个目录 + 联接），所以"harness 文件自身的位置"就是可靠的树身份，不依赖 cwd 或环境变量。 + """ + here = os.path.dirname(os.path.abspath(__file__)) # /test/host/common + root = here + for _ in range(3): # common -> host -> test -> root + root = os.path.dirname(root) + return os.path.normpath(root) + + +def host_build_root(): + """主机单测产物根目录（按工作树分家；判据见上方"产物目录归属"）。""" + env = os.environ.get("DTU_HOST_BUILD") + if env: + return os.path.abspath(os.path.expanduser(env)) + key = hashlib.sha1(os.path.normcase(repo_root()).encode("utf-8")).hexdigest()[:10] + return os.path.join(tempfile.gettempdir(), "dtu_host", key) + + +def _write_owner(root, build): + """在产物根里落一份归属凭据（.owner.json）：并发/偶发问题时一眼看出这份 + 产物属于哪棵树、哪个进程、什么时候跑的。写失败不阻塞测试（只是诊断信息）。""" + info = {"suite": build.name, "repo_root": repo_root(), "pid": os.getpid(), + "started": time.strftime("%Y-%m-%dT%H:%M:%S%z"), + "build_root": root} + try: + with open(os.path.join(root, build.resolved_exe() + ".owner.json"), "w", + encoding="utf-8") as f: + json.dump(info, f, ensure_ascii=True, sort_keys=True) + f.write("\n") + except OSError: + pass + + def _first(pattern): """glob 命中里取最大者（版本号目录的字符串序即数值序，前提是位数一致）。""" hits = sorted(glob.glob(pattern)) @@ -219,11 +278,22 @@ def build_and_run(build, out=None): print("[ENV] 找不到 MSVC cl.exe（设置 DTU_MSVC_CL，或安装 VS2019/2022/2026 的 C++ 工具链）", file=err) return 2 - tmp = tempfile.gettempdir() - objdir = os.path.join(tmp, build.resolved_obj_tag()) - os.makedirs(objdir, exist_ok=True) - exe = os.path.join(tmp, build.resolved_exe()) - + # 产物落**按工作树分家**的根目录（判据见上方"产物目录归属"）；旧写法用 + # tempfile.gettempdir() 把 obj/exe 摊在全机共用的 %TEMP%，跨树同名即互踩。 + # 而且**每次跑独占一个子目录**（obj 与 exe 都在里面）——这一步才真正消灭竞态： + # 两个进程哪怕同树并发、哪怕有人把 DTU_HOST_BUILD 指到同一处，也拿不到同一个 + # exe 路径（旧写法会出现"A 编完 B 覆盖、A 跑的是 B 的二进制"），也拿不到同一个 + # .obj（并发 cl.exe 写同名 obj 会直接编不过）。这里不牺牲什么：每个测试单元就一个 + # .c，cl 每次都是整体重编，"共享 obj 省编译"本来就是错觉。跑完默认删掉该子目录； + # 调试要保留就用 DTU_HOST_BUILD_KEEP=1（会打印路径）。 + root = host_build_root() + rundir = os.path.join(root, "runs", "{}-{}".format(os.getpid(), time.time_ns())) + objdir = os.path.join(rundir, build.resolved_obj_tag()) + os.makedirs(objdir, exist_ok=True) # 顺带把 rundir 建出来 + exe = os.path.join(rundir, build.resolved_exe()) + _write_owner(rundir, build) + keep = (os.environ.get("DTU_HOST_BUILD_KEEP") or "").strip().lower() not in ( + "", "0", "false", "no") env = dict(os.environ) env["INCLUDE"] = os.pathsep.join(inc) env["LIB"] = os.pathsep.join(lib) @@ -235,32 +305,48 @@ def build_and_run(build, out=None): cmd += list(build.extra_flags) cmd += [build.src, "/Fe:" + exe, "/Fo:" + objdir + os.sep] - print("=== 编译并运行 {} ===".format(build.name), file=out) - cp = subprocess.run(cmd, env=env, capture_output=True) - cout, cerr = decode(cp.stdout), decode(cp.stderr) - if cout: - out.write(cout) - if cerr: - err.write(cerr) - if cp.returncode != 0: - print("[ENV] 编译失败", file=err) - return 2 + print("=== 编译并运行 {} ===（产物 {}）".format(build.name, rundir), file=out) + try: + cp = subprocess.run(cmd, env=env, capture_output=True) + cout, cerr = decode(cp.stdout), decode(cp.stderr) + if cout: + out.write(cout) + if cerr: + err.write(cerr) + if cp.returncode != 0: + print("[ENV] 编译失败", file=err) + return 2 - run = subprocess.run([exe], env=env, capture_output=True) - rout = decode(run.stdout) - out.write(rout) - rerr = decode(run.stderr) - if rerr: - err.write(rerr) + # 只跑"本次编译确实产出的"exe：路径是本次独占的，所以只要存在就必须是本次 + # 写的；不存在 = 编译虽返回 0 但没落地（磁盘/杀软/并发清理），一律按环境错误 + # 处理，绝不拿着来路不明的二进制出结论。 + if not os.path.isfile(exe): + print("[ENV] 编译返回 0 但没有产物 exe: {}".format(exe), file=err) + return 2 - if build.summary_marker and build.summary_marker not in rout: - print("[ENV] 未产生测试汇总行（找不到 {!r}）".format(build.summary_marker), file=err) - return 2 - if run.returncode == 0: - print("[OK] 单元测试全部通过", file=out) - return 0 - print("[FAIL] 有测试用例未通过", file=err) - return 1 + run = subprocess.run([exe], env=env, capture_output=True) + rout = decode(run.stdout) + out.write(rout) + rerr = decode(run.stderr) + if rerr: + err.write(rerr) + + if build.summary_marker and build.summary_marker not in rout: + print("[ENV] 未产生测试汇总行（找不到 {!r}）".format(build.summary_marker), + file=err) + return 2 + if run.returncode == 0: + print("[OK] 单元测试全部通过", file=out) + return 0 + print("[FAIL] 有测试用例未通过", file=err) + return 1 + finally: + # 跑完（含异常/Ctrl-C）就把本次独占目录收掉：残留的半截 exe 永远不会被下一 + # 次运行当作自己的产物。调试场景用 DTU_HOST_BUILD_KEEP=1 保留（会打印路径）。 + if keep: + print("[KEEP] 本次产物保留在 {}".format(rundir), file=out) + else: + shutil.rmtree(rundir, ignore_errors=True) def run_host_unit_test(build): From a9ba8ec745774852625e72a8ec9c00268d36fbdc Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Sun, 25 Oct 2026 05:32:24 +0800 Subject: [PATCH 4/7] =?UTF-8?q?fix(WD):=20HW=20=E6=B5=8B=E8=AF=95=E6=A8=A1?= =?UTF-8?q?=E5=BC=8F=E6=8E=A9=E7=A0=81=E6=AD=BB=E5=88=86=E6=94=AF=E5=A4=8D?= =?UTF-8?q?=E6=B4=BB=E2=80=94=E2=80=94include=20=E7=BC=BA=E5=A4=B1?= =?UTF-8?q?=E8=87=AA=207feeea6?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 结论先说：wd_required_mask() 里那条"硬件层测试构建剔除 netTask"的分支，自它被写进 仓库那天起**从未生效过**——不是逻辑错，是本编译单元根本看不见判据宏。台架一轮 （2026-10-25，boot log 20261025_050539）把它照出来了： - 468 条 [ERR][WD] task stall 里，**431 条是 mask=0x1F5 / req=0x1F7**； - 0x1F5 恰好等于那条死分支本该要求的集合（default|ftp|ui|timesync|adc|iec104| protect，NET 位不在内）——该动的任务全动了，只是"要求方"看不见自己的例外， 于是按产品掩码 0x1F7 追 netTask 的心跳位；而 netTask 在 ENABLE_HW_LAYER_TESTS 下按设计入口自挂起（CH395F 归 testTask 独占），永远追不到。 根因：ENABLE_HW_LAYER_TESTS 定义在 test/board/ch395f_test.h（经 test_config.h 拉入）， 而本文件没有 include 任何一条通往它的路径 → #if defined(...) 在本 TU 恒为假 → 死代码。 同一个需求早有既有做法：App/task/net_task.c:39 就为这个宏 include 了 test_config.h， 注释还写着"产品构建全未定义，无作用"——本文件只是漏了这一步。 修法：补 #include "test_config.h"，并把根因与 req/mask 证据写在包含点上方（同一事实 不另开文档；销项时 docs 引这里）。写域扩到 App/util 由 lead 背书（看板 task-9）。 零产品影响（实测，不是推演）： - 产品态（TEST_SUITE_* 全注释、宏未定义 → 走原分支）@build 0 错误 0 警告， Code/RO/RW/ZI = 214104 / 20388 / 1204 / 131852，与主干 2026-10-25 台账逐项相同。 - 测试态 hw_nopc 尺寸也与修复前逐项相同：改的只是"选哪个常量"，没有新代码路径。 - 修复后净效果（下一轮台架复核）：431 条 net 类 stall 消失，剩下的是 uiTask 间歇 缺位的 37 条（0x1E7 / 0x1E5）——那是另一件事，不在本提交里掩盖。 顺手记两条**没在本提交改**的发现（判据语义，归 lead 裁）： 1) 抽样判定是**精确匹配**（注释自述："掩码必须恰等于会置位的任务集合"）。而 netTask 自挂起前会喂一次位 → 那一瞬间 mask=0x1F7 又不等于剔除后的 0x1F5 → 照样报 stall。 即"从掩码里剔一位"与"精确匹配"天然打架；要不要放宽成"观测 ⊇ 要求即可"值得单定。 2) 本轮 miss 一路涨到 1971 而**没有停喂、没有复位**：说明"连续未达标即停喂"的阈值 路径在 HW 层测试构建里未被触发（或 IWDG 尚未启动）。这条对产品侧更重要，值得单查。 随附 .cubemx_survival_baseline.json：本文件在存活审计里是 kind="generated" 的整文件 哈希项 watchdog-module（"非 CubeMX 管辖，但须确认未被误删"），有意改动按脚本自述用 --write 重建基线。**先证明漂移 100% 来自本笔**：把我的 include 临时撤掉再跑 --check → rc=0（基线与 HEAD 逐项相符），因此不存在"别人早就改了没登记"的情况。 --write 顺带补出一条**基线里原本缺失**的条目 net-msgq-adopt（Src/freertos.c 的 RTOS_QUEUES 区，须含 net_msg_queue_adopt）：它此前不在基线里 → --check 一直在静默 跳过这一项。本笔把它一并登记，属于意外收获，不是本笔的目的。 gate：cppcheck / coding-standard / bsp-err / id-check / no-mojibake / trailing-whitespace / end-of-file-fixer / mem-numbers / mem-budget / cubemx-survival（已 --write 重建基线）全 0； 未用 --no-verify。 --- .cubemx_survival_baseline.json | 3 ++- App/util/task_watchdog.c | 10 ++++++++++ 2 files changed, 12 insertions(+), 1 deletion(-) diff --git a/.cubemx_survival_baseline.json b/.cubemx_survival_baseline.json index 23d9efbb..d1cc17c6 100644 --- a/.cubemx_survival_baseline.json +++ b/.cubemx_survival_baseline.json @@ -13,7 +13,8 @@ "stack-overflow-hook-impl": "a006edbd30d2c4d7", "malloc-failed-hook-impl": "fcd7250e5cd6403b", "stack-overflow-hook-helper": "cacd9fd028be9b5b", - "watchdog-module": "663f05caf22cf7d0", + "watchdog-module": "b3501b5ed1be1793", + "net-msgq-adopt": "a0f913e3f34c8e9e", "reset-cause-latch": "983927d587cb9f48", "iwdg-hal-driver": "4b902875a84554e9", "hal-iwdg-enabled": "1a8ed6cff34f7ba6", diff --git a/App/util/task_watchdog.c b/App/util/task_watchdog.c index 28c5739c..5b61b5e8 100644 --- a/App/util/task_watchdog.c +++ b/App/util/task_watchdog.c @@ -58,6 +58,16 @@ #include "lftpd.h" /* lftpd_task_wd_beat() 弱钩子声明（本文件提供强符号，见下方） */ #include "sys_log.h" /* SYSLOG_RUN（flush 诱导落盘）+ sys_log_evidence()（round 7 取证落盘） */ #include "console_log.h" /* dbg_console_tx_fault()（僵尸通道计数） */ +/* 测试构建可见性（2026-10-25 台架实测缺陷）：wd_required_mask() 里那条 + * ENABLE_HW_LAYER_TESTS 分支要按"硬件层独占测试构建"剔除 netTask，而该宏定义在 + * test/board/ch395f_test.h（由 test_config.h 拉入）。本文件此前没 include 它 → + * 宏在本 TU 永远不可见 → **那条分支自加入起就是死代码**，HW 层测试构建仍按产品 + * 掩码 0x1F7 要求 netTask 供位，而 netTask 按设计自挂起 → 每 ~110ms 刷一条 + * [ERR][WD] task stall（台架一轮刷出 468 条）。做法与 App/task/net_task.c 的 + * #include "test_config.h" 一致；产品构建 TEST_SUITE_* 全注释、宏未定义， + * 走的仍是原分支（实测产品固件 Code/RO/RW/ZI 逐项不变）。 + * 证据：boot log 20261025_050539（req=0x1F7 而 mask 最高只到 0x1F5）。 */ +#include "test_config.h" #endif #define DBG_TAG "[WD]" From 5f1057ac7492d717e25387d3c41ab0f0ddce5492 Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Sun, 25 Oct 2026 05:36:25 +0800 Subject: [PATCH 5/7] =?UTF-8?q?test(P1-10):=20=E5=A5=97=E4=BB=B6=E5=9B=9E?= =?UTF-8?q?=E5=BD=92=20forbidden=20=E6=8D=A2=E6=88=90=E6=98=BE=E5=BC=8F?= =?UTF-8?q?=E5=9B=9B=20Fault=20=E6=A0=87=E7=AD=BE=20+=20=E5=8F=B0=E6=9E=B6?= =?UTF-8?q?=E8=AE=B0=E5=BD=95=2021/21?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 台架第一轮（boot log 20261025_050539）判 VERDICT FAIL，命中 469 条 [ERR]，两类： 1) [ERR][CH395] ch395f P2 boundary fault @get_state sn —— **设计内**：Phase 15 的 sn 越界负向用例故意命中驱动守卫（Drivers/BSP/CH395F/ch395f.c 的 ch395f_p2_fault_note()：首次 DBG_ERROR、之后只计数），用例本身 PASS； 2) [ERR][WD] task stall ×468 —— **设计外**，已在 a9ba8ec 单独修（掩码死分支）， 不用豁免去掩盖它。 本笔只管判据：套件回归这条路要豁免的是"设计内守卫 [ERR]"，不是崩溃。 为什么不能只是把 [ERR] 从 forbidden 里删掉（核过 verify_log 源码与固件崩溃行）： 四种 Fault 的崩溃行是 [ERR] HARDFAULT / MEMFAULT / BUSFAULT / USAGEFAULT （Src/stm32f4xx_it.c 的 hard_fault_report 先打 "[ERR] " 再打标签），而 verify_log 的 forbidden 是**大小写不敏感的子串匹配**（fl in ln.lower()）→ 默认集合 HardFault;assert;[ERR] 里的 HardFault 只兜得住硬Fault，**MEM/BUS/USAGE 三种平时 完全靠 [ERR] 兜**。据此： - 新增 FORBIDDEN_SUITE = HardFault;MEMFAULT;BUSFAULT;USAGEFAULT;assert;bring-up FAIL - CH395F 用它（原来吃默认值，含 [ERR]）； - GD5F 也用它——旧值 "HardFault;assert" 正是上面那个漏法（当初只为豁免 TC-GD5F-704 的设计内 [ERR] 就把整条 [ERR] 摘了，等于顺手放走了三种 Fault）， 现在既保留豁免意图，又把崩溃判定补齐； - STORAGE / RTC 不动（它们没有设计内 [ERR]，继续吃含 [ERR] 的默认判据）。 边界写死在注释里：产品 @test 的判据（.serialtest/config.json 的 forbidden 含 [ERR]） **一个字节没动**，豁免只活在"套件回归"这条路上，渗不回产品路径。 test/board/ch395f_test.h： - Phase 15 汇总实测 21/21（旧注释写"台架 20/20 PASS"是历史记录，已按本轮改正）； - 记一条台架档案：镜像 ch395f_hw_nopc_v2.hex 单次开机跑完 1/12/15，汇总行 9/9、1/1、21/21，failed=0，全程无 Fault；并记下同轮暴露的掩码死分支结论与它的 证据位置，后来人切阶段时不必再踩一遍。 验证： - py_compile 通过；test/run_all_suites.py --check-build --suites CH395F 走**官方编排** 实跑 PASS（BUILD_OK 0 错 0 警，Code=217468 RO=21452 RW=1268 ZI=134076），脚本自己 还原 test_config.h 并重建产品固件；这个 Code 与上一笔实测表里"默认阶段 11/14"一行 逐项相同 → 两个独立工具互证同一组数字。 - gate：id-check / no-mojibake / trailing-whitespace / end-of-file-fixer / doc-links / cppcheck(test/) / test-suite-switch（产品态 Skipped）全 0； 未用 --no-verify。 - RAM/Flash 增量：0 B（Python 与注释，不进固件；test/board/*.h 的注释不改代码）。 下一轮台架等 lead：f2 镜像我会在 sync 到 A-3/B-3 之后重编（现在这份 ci-artifacts/p110_fw/ch395f_hw_nopc_f2.hex 戳 05:23:03，若中途主干动过固件就要重编）， 判据用上面的 FORBIDDEN_SUITE；请顺手带回两个数：[ERR][WD] 总条数、mask 含 bit4(ui) 缺位的条数。 --- test/board/ch395f_test.h | 9 ++++++++- test/run_all_suites.py | 29 ++++++++++++++++++++++++----- 2 files changed, 32 insertions(+), 6 deletions(-) diff --git a/test/board/ch395f_test.h b/test/board/ch395f_test.h index 04b5f53b..b017a920 100644 --- a/test/board/ch395f_test.h +++ b/test/board/ch395f_test.h @@ -68,7 +68,7 @@ extern "C" { #define ENABLE_PHASE11_TESTS /* [网] KeepAlive 超时断开（判据见 CH395F_Test_Guide） */ /* ---- 链路时延基线（M1；分段/阈值见 docs/测试说明/链路延迟测试说明.md）---- */ //#define ENABLE_PHASE12_TESTS /* [硬] SPI 字节命令 / DMA 时延基线（L1/L2，无需 PC）—— M1 已完成，基线见说明文档 §6.1 */ -//#define ENABLE_PHASE15_TESTS /* [硬] 自愈驱动原语：状态回读一致性/cmd_done/sock_reset 状态机跑通/链路缓存（无需 PC）——TC 详见 docs/测试说明/CH395F_Test_Guide.md 阶段 15；台架 20/20 PASS */ +//#define ENABLE_PHASE15_TESTS /* [硬] 自愈驱动原语：状态回读一致性/cmd_done/sock_reset 状态机跑通/链路缓存（无需 PC）——TC 详见 docs/测试说明/CH395F_Test_Guide.md 阶段 15；台架 21/21 PASS */ /* ---- 链路时延（M2/M3；分段/阈值见 docs/测试说明/链路延迟测试说明.md）---- */ //#define ENABLE_PHASE13_TESTS /* [网] 芯片 + 队列时延（L3~L7/L10，需 PC peer）—— M2 已完成，基线见说明文档 §6.2 */ /* [网] 生产路径时延（L8~L11 + 模拟器 Δ）—— M3，需 peer --mode remo（:7003）； @@ -94,6 +94,13 @@ extern "C" { * NET 层全开 6~11/13/14 218,992 141,688 85,552 65.3% 35,034 B * HW 层全开 1~5/12/15（最坏态） 229,256 147,176 90,952 69.4% 29,634 B * HW 层无需 PC 1/12/15（台架冒烟用） 215,244 134,896 78,672 60.0% 41,914 B + * 台架冒烟（2026-10-25，_wt 同树构建 → 主树烧录，boot log 20261025_050539）： + * 镜像 ch395f_hw_nopc_v2.hex（戳 suite=CH395F dstr=off）单次开机跑完 1/12/15 三段， + * 汇总行 Phase 1: 9/9、Phase 12: 1/1、Phase 15: **21/21**（failed=0），全程无 Fault。 + * 同轮暴露两类设计外/设计内 [ERR]：P2 越界守卫留痕（设计内，见 ch395f.c）与 + * [WD] task stall 刷屏 468 条（**设计外**：HW 层构建的必需心跳掩码没生效， + * 因为 App/util/task_watchdog.c 未 include test_config.h，看不到本文件的 + * ENABLE_HW_LAYER_TESTS → 那段剔除 netTask 的分支自加入起就是死代码）。 * 该条目关心的 PHASE5 三块静态缓冲（3 x PHASE5_CHUNK_SIZE = 4093）确实进了链接： * hw_full 的 ch395f_test_task.o 数据段 = 12,285 B（3 x 4093 = 12,279 + 其余 6 B）。 * "理论余量足够"由未实测转为已实测：最坏态还余 29,634 B，不必把 .sct 扩到 192 KB diff --git a/test/run_all_suites.py b/test/run_all_suites.py index ee45037b..913a782c 100644 --- a/test/run_all_suites.py +++ b/test/run_all_suites.py @@ -57,15 +57,34 @@ KEIL_BUILD = REPO_ROOT / ".dsh" / "skills" / "keil-build" / "scripts" / "keil_bu STLINK_FLASH = REPO_ROOT / ".dsh" / "skills" / "stlink-flash" / "scripts" / "stlink_flash.py" RUN_BOOT = REPO_ROOT / ".dsh" / "skills" / "serial-boot-test" / "scripts" / "run_boot_test.py" +# 套件态的 forbidden 覆盖（判据边界见下方注释块，正文只这一处）。 +FORBIDDEN_SUITE = "HardFault;MEMFAULT;BUSFAULT;USAGEFAULT;assert;bring-up FAIL" + # 套件 -> (宏名, verify_log 需要的汇总行名称, 该套件的 Required 标记, --forbidden 覆盖) # 汇总行名称与套件 `XXX_TEST_REPORT("...")` 里的字符串一致（见各模块 Test_Guide）。 -# forbidden 覆盖：套件含"预期 [ERR]"的守卫负路径时须覆盖（空 = 用默认 `HardFault;assert;[ERR]`）。 -# GD5F：TC-GD5F-704 故意用非 DMA 可达缓冲触发 `[ERR][NAND] RX DMA buffer not DMA-reachable` -# 回落轮询（用例 PASS）——按 verify_log.py 的说明去掉 [ERR]，保留 HardFault/assert。 +# forbidden 覆盖：套件含"预期 [ERR]"的守卫负路径时须覆盖（空 = 用默认 +# `HardFault;assert;[ERR]`，与 .serialtest/config.json 的产品判据同源）。 +# +# 为什么不能只是"把 [ERR] 删掉"（2026-10-25 台架实测 + verify_log 源码核对）： +# 四种 Fault 的崩溃行长这样：`[ERR] HARDFAULT|MEMFAULT|BUSFAULT|USAGEFAULT …` +# （Src/stm32f4xx_it.c 的 hard_fault_report），而 verify_log 的 forbidden 是**大小写 +# 不敏感的子串匹配**（fl in ln.lower()）→ 默认集合里的 `HardFault` 能命中硬Fault， +# 但 MEM/BUS/USAGE 三种**平时完全靠 [ERR] 兜**。所以旧 GD5F 只写 `HardFault;assert` 其实 +# 放过了后三种崩溃。覆盖集合一律显式列出四个 Fault 标签 + assert + 起网失败字样： +# 豁免的是**设计内的守卫 [ERR]**，崩溃照旧判失败。 +# 产品 @test 判据（.serialtest/config.json 的 forbidden 含 [ERR]）**不在这里动**—— +# 豁免只活在"套件回归"这条路上，渗不回产品路径。 +# GD5F：TC-GD5F-704 故意用非 DMA 可达缓冲触发 `[ERR][NAND] RX DMA buffer not +# DMA-reachable` 回落轮询（用例 PASS）→ 需豁免设计内 [ERR]。 +# CH395F：Phase 15 的 sn 越界负向用例命中驱动守卫 `[ERR][CH395] ch395f P2 +# boundary fault @get_state sn`（Drivers/BSP/CH395F/ch395f.c 的 +# ch395f_p2_fault_note()：首次留痕、之后只计数）→ 同属设计内。 +# 另外 `[ERR][WD] task stall` 那类**不是设计内**，是构建配置缺陷（HW 层 +# 测试构建下必需心跳掩码仍含 netTask），已单独提修，不用豁免掩盖它。 SUITES = { - "CH395F": ("TEST_SUITE_CH395F", None, "", ""), + "CH395F": ("TEST_SUITE_CH395F", None, "", FORBIDDEN_SUITE), "STORAGE": ("TEST_SUITE_STORAGE", "Storage Tests", "=== Storage Tests:", ""), - "GD5F": ("TEST_SUITE_GD5F", "GD5F2GQ5UE Tests", "=== GD5F2GQ5UE Tests:", "HardFault;assert"), + "GD5F": ("TEST_SUITE_GD5F", "GD5F2GQ5UE Tests", "=== GD5F2GQ5UE Tests:", FORBIDDEN_SUITE), "RTC": ("TEST_SUITE_RTC", "RTC Tests", "=== RTC Tests:", ""), } From d07a9a4d67db62878dd071b5e597a4134e6b4a8c Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Sun, 25 Oct 2026 05:50:45 +0800 Subject: [PATCH 6/7] =?UTF-8?q?docs(P1-10):=20sync=20=E8=BF=BD=E5=B9=B3?= =?UTF-8?q?=E5=90=8E=E8=A1=A5=E8=AE=B0=E5=9B=9B=E6=A1=A3=E5=A4=8D=E6=B5=8B?= =?UTF-8?q?=E6=95=B0=E5=AD=97=EF=BC=88=E4=BA=A7=E5=93=81=E5=9F=BA=E7=BA=BF?= =?UTF-8?q?=E5=B7=B2=E5=89=8D=E8=BF=9B=EF=BC=8C=E6=97=A7=E6=B3=A8=E4=BF=9D?= =?UTF-8?q?=E7=95=99=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit sync 到 59da40b / 891ca81 之后重测四档 CH395F 配置（全部 0 错误 0 警告、链接通过）： 默认 11/14 Code=219,112 RW_IRAM1 78,072 B 59.6% 距 92% 线 42,514 B NET 全开 Code=220,636 RW_IRAM1 85,688 B 65.4% 距线 34,898 B HW 全开 Code=230,900 RW_IRAM1 91,088 B 69.5% 距线 29,498 B（最坏态） HW 无 PC Code=216,888 RW_IRAM1 78,808 B 60.1% 距线 41,778 B 产品基线同期前进到 Code=215,744 / RO=21,396 / RW=1,224 / ZI=131,984，RW_IRAM1 75,784 B / 57.82%（与 lead 信号里给的主干数字逐项相同）。04 点那组旧记录按"历史 不追改"原则留着，只标注基线已前进；两组差值都在 +136~+152 B，来自新增 adc_cal 的 数据段，所以**结论不变**：最坏态仍余约 29 KB，不需要把 scatter 扩到 192 KB。 PHASE5 三块静态缓冲依旧在链上（hw_full 的 ch395f_test_task.o 数据段仍 12,285 B）。 四档复测都走**朴素行注释切换**（改宏 = 行首加/去 //），顺带二次确认 16917bf 修 的开关行注释陷阱没有复发。跑完 test_config.h 与 ch395f_test.h 均按字节还原， 产品固件重建后回到基线数字。 RAM 增量：0 B（纯注释）。gate：test-cppcheck / id-check / no-mojibake / trailing-whitespace / end-of-file-fixer / doc-links / mem-budget 全 0； 未用 --no-verify。 --- test/board/ch395f_test.h | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/test/board/ch395f_test.h b/test/board/ch395f_test.h index b017a920..0891e01b 100644 --- a/test/board/ch395f_test.h +++ b/test/board/ch395f_test.h @@ -94,6 +94,18 @@ extern "C" { * NET 层全开 6~11/13/14 218,992 141,688 85,552 65.3% 35,034 B * HW 层全开 1~5/12/15（最坏态） 229,256 147,176 90,952 69.4% 29,634 B * HW 层无需 PC 1/12/15（台架冒烟用） 215,244 134,896 78,672 60.0% 41,914 B + * + * 同日 sync 追平后的复测（合入 59da40b 与 891ca81 两笔之后，产品基线前进到 + * Code=215,744 / RO=21,396 / RW=1,224 / ZI=131,984，RW_IRAM1 75,784 B / 57.82%）： + * 配置 Code ZI RW_IRAM1 距红线余量 + * 默认阶段 11/14 219,112 134,208 78,072 59.6% 42,514 B + * NET 层全开 6~10/13/14 220,636 141,804 85,688 65.4% 34,898 B + * HW 层全开 1~5/12/15（最坏态） 230,900 147,300 91,088 69.5% 29,498 B + * HW 层无需 PC 1/12/15 216,888 135,020 78,808 60.1% 41,778 B + * 四档仍全部 0 错误 0 警告、链接通过；PHASE5 三块缓冲依旧在链（hw_full 的 + * ch395f_test_task.o 数据段仍是 12,285 B）。上表 04 点那组的产品基线已前进， + * 作为当日历史记录保留、不追改（两组差值都在 +136~+152 B 量级，来自新增的 + * adc_cal 数据段；结论"最坏态仍余约 29 KB、不必扩 scatter"不变）。 * 台架冒烟（2026-10-25，_wt 同树构建 → 主树烧录，boot log 20261025_050539）： * 镜像 ch395f_hw_nopc_v2.hex（戳 suite=CH395F dstr=off）单次开机跑完 1/12/15 三段， * 汇总行 Phase 1: 9/9、Phase 12: 1/1、Phase 15: **21/21**（failed=0），全程无 Fault。 From 54dd01995087532eb16d2c1b174e8cd8f52f5a90 Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Sun, 25 Oct 2026 05:53:05 +0800 Subject: [PATCH 7/7] =?UTF-8?q?chore(size):=20sync=20=E8=BF=BD=E5=B9=B3?= =?UTF-8?q?=E5=90=8E=E9=87=8D=E7=9B=96=E4=BD=93=E7=A7=AF=E5=90=8C=E7=A0=81?= =?UTF-8?q?=E5=87=AD=E8=AF=81=EF=BC=88v2=20=E7=B4=A2=E5=BC=95=E6=8C=87?= =?UTF-8?q?=E7=BA=B9=EF=BC=8C1396=20=E6=96=87=E4=BB=B6=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit sync 合并（a281231）之后按 lead 的六步做重盖。合并带进来的主干凭证是 v1 格式 （383b450 用主干那版脚本盖的，schema=1），而本分支的 check_size_gate.py 已是 schema=2（7c4628b：身份取 git 索引 blob，跨 checkout / 跨工作树稳定）→ 不重盖则 L0c 与 CI 的体积门禁都会按设计报"schema 不符"。 盖戳前置（脚本自己会验，这里是实跑结果）： - 产品态 @build 0 错误 0 警告：Code=215744 RO=21396 RW=1224 ZI=131984，与 lead 信号 里的主干数字逐项相同；.map 晚于指纹范围内全部源码 mtime； - 受管区：RW_IRAM1 75,784 B / 57.82%、RW_CCM 57,376 B / 87.89%，都在线内（阈值 92%）； - 指纹范围内无未 staged 改动/未跟踪文件（第四道前置）→ 允许盖章。 凭证：索引指纹 abfd54b71de9…，1396 个文件（比追平前多 8 个：新增 adc_cal / prot_dim 等受管源码），测量时刻 2026-10-25T05:51:46+08:00，git_head=a281231 侧。 复核：--local rc=0、--ci rc=0（CI 侧按凭证数字复核红线，无需 Keil）。 为什么用 --stamp 而不是 --update：--update 会顺手往 scripts/ram_baseline.tsv 追加一行 当日趋势数据，而台账行归 lead 在 done 时统一回填（今天 383b450 刚回填过一笔， 再追加就是同日重复行）。这里只需要凭证，所以单独盖戳，tsv 一个字节没动。 RAM 增量：0 B（凭证是 JSON，不进固件；本次产品构建数字与主干逐项相同）。 gate：见本笔提交输出；未用 --no-verify。 --- scripts/size_attestation.json | 13 +++++++------ 1 file changed, 7 insertions(+), 6 deletions(-) diff --git a/scripts/size_attestation.json b/scripts/size_attestation.json index 80725360..39fc5a1f 100644 --- a/scripts/size_attestation.json +++ b/scripts/size_attestation.json @@ -1,15 +1,15 @@ { - "built_at": "2026-10-25T05:31:08+08:00", - "fingerprint": "548011fc4a68e087a855c952e73c6d8d85c6f4a4dee28702f29dfa858ff3577c", + "built_at": "2026-10-25T05:51:46+08:00", + "fingerprint": "abfd54b71de9462ed967df31a7ecfd56ff784325e5fc23ead1aa180dd5dbc6b7", "fingerprint_files": 1396, - "fingerprint_missing": 0, + "fingerprint_source": "git-index", "gated_regions": [ "RW_IRAM1", "RW_CCM" ], - "git_head": "59da40bb4a53db082953164a9d7c58bb342f8c19", + "git_head": "d07a9a4d67db62878dd071b5e597a4134e6b4a8c", "map": "MDK-ARM/STM32F407-Demo/STM32F407-Demo.map", - "map_mtime": 1792877445, + "map_mtime": 1792878704, "pct": { "ER_IROM1": 22.62, "RW_CCM": 87.89, @@ -34,7 +34,7 @@ "size": 48 } }, - "schema": 1, + "schema": 2, "scope_note": "\u540c\u7801\u51ed\u8bc1\uff1a\u6307\u7eb9\u8986\u76d6\u56fa\u4ef6\u4f53\u79ef\u76f8\u5173\u6e90\u7801\uff0c\u53e3\u5f84\u89c1\u672c\u811a\u672c docstring", "sizes": { "code": 215744, @@ -43,5 +43,6 @@ "zi_data": 131984 }, "threshold_pct": 92.0, + "worktree_dirt_at_stamp": 0, "written_by": "scripts/check_size_gate.py --stamp" }