From aa9f4cbfe4e7cb9419a4dbd54fafcae0f24b29d5 Mon Sep 17 00:00:00 2001 From: Wanderingss <1624155937@qq.com> Date: Wed, 28 Oct 2026 08:14:48 +0800 Subject: [PATCH] =?UTF-8?q?docs(id-check):=20=E6=89=B9=E6=AC=A1=E5=85=AD?= =?UTF-8?q?=E6=94=B6=E5=8F=A3=E5=A4=8D=E6=B5=8B=E2=80=94=E2=80=94=E5=9C=A8?= =?UTF-8?q?=E5=86=8C=E6=97=A7=E5=8F=B7=E6=B4=BB=E5=BC=95=E7=94=A8=E5=BD=92?= =?UTF-8?q?=E9=9B=B6=EF=BC=8C=E8=B4=A6=E9=9D=A2=E4=B8=8D=E5=8A=A8=E5=9F=BA?= =?UTF-8?q?=E7=BA=BF?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit 把两类别名（retired-to-phrase 与 void）当探针做全库复扫，口径同《门禁说明》的 id-check 篇第 9 节： 排除 excluded_paths、门禁自身语料与变更记录行。 命中 22 个文件 / 86 行，真编号活引用 0 处；余下命中面全部落在变更记录行（第 4.3 节不回改）、 元器件位号与 Socket 状态组合（第 4.4 节判非编号）以及属主文档的历史对照列。 账面决定：不重打《编号规范》第 8.1 节两根护栏基线——那些数随在飞改动漂移，属各自批次的收口；把某天的实测值钉进正文表格， 等于自造一条会过期的断言，本轮第一次尝试就撞了一次。 当日实测与命中清单写入 ci-artifacts 下的仓库外口径台账（被 .gitignore 挡住、不进语料），正文只留结论与口径。 本笔零编号增删、零语料增删：可判定比例只许涨、不可判定绝对数只减不增，两根基线均未下调。 改动面：《编号规范》第 9 节批次表补第六行收口记录；《门禁说明》id-check 篇追加当日变更行，自证本轮未并行派单。 同篇第 7.7 节的当日构成表按冻结证据原样保留，不随今日数字重打。 提交前按《门禁说明》README 第 2 节的实跑口径统一走一遍只读检查（文档链接、编号门禁、BOM 漂移、乱码、 git diff --check）。 风险与回滚：纯文档改动，不涉及构建与真机；单提交可逆（git revert），无需数据迁移。 --- docs/编号规范.md | 1 + docs/门禁说明/id-check.md | 1 + 2 files changed, 2 insertions(+) diff --git a/docs/编号规范.md b/docs/编号规范.md index 168bb02f..b5be51d4 100644 --- a/docs/编号规范.md +++ b/docs/编号规范.md @@ -271,6 +271,7 @@ P-6 号必须能反查到定义（属主登记处得存在）· P-7 编号不语 **冻结的变更记录行 40 处**与**一处原始串口日志**（真机抓包证据，改它等于篡改现场，永久保留） | | 三 | 测试用例族 561 站点 | **用户裁定不做**：该族保留，但**即日停发**（游标冻结，新用例不再配号） | | 五 | 「数据可信」任务卡号 14 个（中文前缀「卡」+ 数字），随注入验证卡销项整族清退 | 全仓 288 站点 / 56 文件改语义短语（代码与测试 191 / 文档 56 / 门禁配置与本文 41），活引用收口 **0**；门禁字面量与不可判定绝对数**零变化**（本族从不在计数内）——换算表与机器面空白见 §9.3（批次四记在上面的复测段，未进本表） | +| 六 | 2026-10-28 复测：在册旧号**活引用归零**，账面**不动基线** | 按 「retired-to-phrase」 与 「void」 两类别名当探针全库复扫（排除门禁自身语料与硬件位号目录）：剩余命中面**全部**落在变更记录行（§4.3 不回改）、元器件位号与 Socket 状态组合（§4.4 判非编号，清它等于改硬件资料）、以及属主文档的历史对照列；真编号活引用为 **0**。本笔不重打 §8.1 两根护栏基线（那些数随在飞改动漂移，属各自批次的收口），当日实测三项与命中清单写入 `ci-artifacts/id-metrics-batch-six.txt`（不进语料的口径台账），正文只留结论：剩余命中面另含讲编号的文档里的形态自述，本笔自身两行正文带来个位数增量、远低于护栏上限，两根本基线**均未下调**、零编号增删 | 编号字面量 **8,787 → 7,828**；不可判定绝对数 **1,161 → 982**（上限 1,166，余量从 5 格宽到 184 格）。 比值 86.79% → 87.46% 属**纯稀释**（删的都是可判定引用，分子分母同缩），**基线不下调**，见本节末裁定。 diff --git a/docs/门禁说明/id-check.md b/docs/门禁说明/id-check.md index b69a873e..ce658296 100644 --- a/docs/门禁说明/id-check.md +++ b/docs/门禁说明/id-check.md @@ -220,6 +220,7 @@ | 日期 | 变更 | |---|---| +| 2026-10-28 | **批次六收口复测自证**（Lead 单道执行，本轮未并行派单）：把 「retired-to-phrase」 与 「void」 两类别名当探针全库复扫（排除 `excluded_paths`、门禁自身语料与变更记录行口径），**真编号活引用 0**——剩余命中面是变更记录行（§4.3 不回改）、元器件位号与 Socket 状态组合（§4.4 判非编号，清它等于改硬件资料）、属主文档的历史对照列。教训两条：① 本文件的当日构成表按冻结证据保留不重打，§8.1 那两根护栏的账面数**随在飞改动漂移**，把某天的实测值写进正文表格等于给自己造一条会过期的断言，本轮第一次尝试就这么撞了一次（写完再跑，数已经变了）；② 想留当日数就写进 `ci-artifacts/` 下的仓库外口径文件，正文只留结论与口径。本笔零编号增删，护栏基线不动。 | | 2026-10-27 | **本仓第一次真正「还」第二根护栏的债**（道G task-45）：卷锁观测计数旁自造的四位状态号（一字母+一数字的裸形写法）全量换成语义短语——`App/fs/vol_lock.c`、`App/fs/vol_lock.h`、`test/host/vol_lock/vol_lock_test.c`、`docs/测试说明/卷锁单元测试说明.md` 四处共 36 处出现清零，四态语义只留 `App/fs/vol_lock.h` 一处。改前实测不可判定绝对数 1,162（03:15），改后 1,156（03:22），余量从 4 格变 10 格；`--strict` exit 0、卷锁套件 45/45 未掉、未动 `undecidable_total_ceiling`。**顺带查清一件口径事，比这次还债本身更值得记**：绝对数只统计**落不进任何已登记族**的裸形；撞进已登记族的写法（台架/测试那一族的族模式只覆盖到该字母加一位数字的 0~3）本来就记在**可判定**一侧——于是这次 36 处里只有 6 处真正减了绝对数，另 23 处删掉是同时缩分子与分母（比值几乎不动：86.74% → 86.77%）。⇒ 「删裸形」不等于「按出现次数还债」；要腾余量得优先清**无族可归**的裸形态，而写文档时一开始就别用裸形才是正解。另注：写在模块头修改记录行里的第 7 处本来就被「变更记录行豁免」挡住不计数，所以账面是 6 不是 7。 | | 2026-10-27 | 新增 §7.7：实测拆解「不可判定绝对数」的构成（裸形盲区 834 + 噪声白名单 326 + 真·硬不可判定 2 = 1,162，精确闭合），并写入每批自证没吃余量的五项式做法（含「不得用 stash/checkout 回退别人在飞改动」与 --update-baseline 只下调）；同批撤回一条 Lead 错指令——「怕吃余量而把编号写成散文」恰好是 §7.6 这根护栏要防的稀释行为 | | 2026-10-26 | **方案 B（同日续批）**：登记簿系 `N-x`/`S-x`/`T-x`/`A-x` 与 UI 簇 `U1~U5` 共 20 个号停发、约 418 处引用转语义短语（字面量净减 443：8,946 → 8,503）；新增第二根护栏「不可判定引用绝对数上限」（`undecidable_total_ceiling`，只减不增），并把比例基线下调——理由与实测（比例跌、绝对数不涨）见 §7.6；`CHANGELOG_ROW` 补「版本号 + 日期」表头的变更记录行 |