# 覆盖率基线（ratchet：CI 只许 ≥ 本值，不许倒退）
#
# 度量口径（CI static 作业同款，固定顺序保证可复现）：
#   moon clean && moon coverage clean && moon test --enable-coverage && moon coverage report -f summary | tail -1
#   （`moon clean` 不可省：源码改动后 _build 里会留下**旧插桩产物**，
#     与新产物混跑会写出对不上的 trace ⇒ 报告直接 `Counts array length mismatch`
#     甚至 `Invalid_argument("index out of bounds")`。2026-09-18 实测踩过。）
#
# 纪律：基线是**记账**不是目标——补测试把线推上去后，同笔更新本文件（并在本仓 todo.md 记一笔，
#       例：§AI = 三字段追补）；
# 要下调必须写明理由（例如删了一整块被测代码 / 覆盖率统计口径变化）。
#
# 口径（写死）：covered_permille = floor(covered_lines * 1000 / total_lines)——**整数取整**，CI 同式。
#   四舍五入会差 1‰（实测：9096/10460 取整 = 869，四舍五入 = 870）；
#   推基线必须用取整值，照四舍五入值推会让棘轮立刻变红。
#
# 2026-09-18 立基（役 1 后补测试：68% → 82.3%）→ 第二批役（2/3/4/5/6/14）83.2%
# → 役 7（引擎侧普查 + 观测面桥/状态名枚举）83.4%
# → R-18（P5.6 笔 1/2：n3v2 同源翻转 + quicktest 词表接深切片，model_exec 376→384 臂
#   全被全臂冒烟覆盖、bridge/状态名收编两新态）86.4%
# → 笔 3a（R-17 深半役：path 三账值级建模——quad_slots 隔离/fwd: 写源/折写压帧/
#   IR assign 通道 28 行；frame_open_span 用途门清死码；符号期全矩阵扫锚点点亮
#   3a 内联化的 53 处 None 半区）86.8%
# → 3b 笔 2 中间态（帧扩展位数据化 + `path_elem_end` 词表行；债点仍 6，见 todo §S）86.9%
# → 3b 笔 2 收账（帧字段读写助手按字段发 + 集合族/元素位词表补全 ⇒ **债点 6 → 2**，见 §T）87.0%
# → 3c 上半（值分支臂 `when_absent`/`when_some` 数据化 + `path_fwd`/`path_bwd`/`path_subj_end`
#   按引擎真值补全；余债 2 见 §U）86.9%
#   **下调说明（870 → 868）**：分母 9996 → 10068（值分支臂是把两条机械**内联**进同一臂 ⇒ 行数增加），
#   分子 8705 → 8745；新臂里的"另一支"在当前权重下走不到 ⇒ 短期覆盖率被稀释。
#   债点清完后（排除片放宽、权重上调）这两支会自然被走到，基线随之上推。
# → 3c 下半·二（罩内发射压制开通：`suppress_emit` + 压帧即定旗 + Bool 位字面写；
#   **债点 2 → 0**，见 §V.4）86.7%
#   **下调说明（868 → 867）**：分母 10068 → 10080（emit_* 罩内压制首行/帧位尾参/
#   Bool 字面写分支等 +12 行），分子 8745 持平——新增机械**全部被走到**
#   （普查/随机门执行即计），只是分母稀释了一个千分位。债清权重放开后随上推。
# → 笔 4（役 9 nit 生成器物化 + 覆盖率门范围断言）后实测 8782/10114 = 868‰（门上限未动，分数线自然回升）
# → 2026-09-19 追补（**与"可达覆盖门落地"同笔**；本笔只做三字段复算 + 取整口径写死，不动其他门）：
#   `moon clean` 口径**冷跑两次**均为 **9193/10550 = 871‰**（floor；round 871）。
#   三字段此前停在 8745/10080（滞后约 400 行；期间新臂面/新门自身被测试覆盖 ⇒ 分子分母同步增长），
#   判据字段 868 → **871** 同笔推高。中间读数 9096/10460 = 869‰（同日晚，追补前的库面）仅存沿革。
→ 2026-09-20 追补（**役 A「门自证 + 覆盖率回补」同笔**）：
  役 A 开题实测：基线钉已滞后树面——冷跑 9611/11064 = 868‰（<871）。按 §6.1.4 本应留痕下调，
  但根因不是测试退化：Batch 6 倒装机械入账后基线未随跑复算（分母 10550 → 11064 未记账）。
  役 A 补测后冷跑 **10029/11072 = 905‰**（floor；round 905）⇒ 判据字段 871 → **905** 同笔推高。
  本役点亮两族：①数据面门自证（n3 17 + trig 12 白盒/负控——直调私有函数，红-only 防御臂与
  消息渲染面入分子，每条负控断言"确实红 + 理由文本对得上"）；
  ②结构性 0 覆盖裁决·补测路（bench/cmd/examples 四个 main 提取冒烟入口 wbtest 直调 +
  gen_nquads Token Show 十臂钉 ≈ 250 行入分子；argv/env 进程态胶水 ~10 行结构性不可宿主，
  如实留残差，见 review.md §1 注）。
→ 2026-09-20 同日追补（**HOLD 族转正役同笔复算**）：
  Invert 真臂化（set_inversion 升全形声明，model_exec +2 行净增）⇒ 分母 11072 → 11074、
  分子 10029 → 10030，floor(10030*1000/11074) = 905 ⇒ 判据字段 905 **保持**（复算留痕，非下调）。
# 2026-09-20 **T17 双包抽件**（C-T8）：14 项纯函数（≈445 行/包）并入新包 `src/gen_shared` ⇒ 重复副本归一：
#   分母 11074 → **10906**（−168）、分子 10030 → **9887**（−143），floor(9887*1000/10906) = **906**
#   ⇒ 判据字段 905 → **906 同笔推高**（抽件顺带固化：去重复分母，非调数）。
→ 2026-09-20 R-17 转正复算（Id 事件建模四面手术同笔）：
  set_id_subject 真臂化（model_exec 真臂 + 条件帧写助手 +8 行）+ 数据面 `flag:` 条件式
  分类器 + 可达性 BFS 帧感知签名（去重键 = (态, 帧顶 ret_state)）
  ⇒ 分母 10906 → **10965**、分子 9887 → **9937**，floor(9937*1000/10965) = **906**
  ⇒ 判据字段 906 **保持**（复算留痕，非调数；普查 2255 对 / 数据面 314 行零违例随门自证）。
→ 2026-09-21 役 2 / 2a 复算（`ImpliedBy` 零机械转正 + 阶段 0 两枚钉同笔）：
  business.mbt 权重臂 `"ImpliedBy" => 1` 由不可达变可达 + 钉表/注释净增 ⇒ 分子 9937 → **9939**、
  分母 **10965 不变**，floor(9939*1000/10965) = **906** ⇒ 判据字段 906 **保持**（复算留痕，非调数）。
  冷口径连跑两次均 9939/10965；面三 `coverage-review.txt` 同笔重生成（仅 Total 行随读数）。
→ 2026-09-21 役 2 / 2b 复算（恢复道入模 + `Caret` 转正同笔）：
  模型新增恢复机件（`recovery_enter` / `recovery_swallow` / `model_execute` 包装 + 冲烟）
  + 探针面恢复窗（`recovering` / `recover_consume` 复用）+ 新门（`r19_probe_wbtest`）——
  分子 9939 → **9982**、分母 10965 → **10998**，floor(9982*1000/10998) = **907**
  ⇒ 判据字段 906 → **907 同笔推高**（补测试/新机件被走到，非调数）。
  冷口径连跑两次均 9982/10998；面三 `coverage-review.txt` 同笔重生成（仅 Total 行随读数）；
  可达覆盖账三方言（40/8/25 缺口全 0）逐字节不变。
→ 2026-09-22 役35 A1 复算（`@keywords` 受理层 + `pk` 归属面 + 5 钉同笔）：
  引擎档守卫/`pk` 归属/`PredKind::KwA` 加族 + 物化改读 pk + parser_slice 顺链修
  ⇒ 分子 9990 → **10025**、分母 11006 → **11047**，floor(10025*1000/11047) = **907**
  ⇒ 判据字段 907 **保持**（复算留痕，非调数；子仓 487/487 含 5 钉）。
→ 2026-09-22 役35 **A2** 复算（声明列表区层：引擎守卫 + 2 钉同笔）：
  分子 10025 → **10027**、分母 11047 → **11049**，floor(10027*1000/11049) = **907**
  ⇒ 判据字段 907 **保持**（复算留痕；子仓 489/489 含 A1 五钉 + A2 两钉）。
→ 2026-09-22 役35 **35-B1** 复算（`@keywords` 表源化 11 行 + 台账/合成 + 组装层裸词口径 + 钉 8–12）：
  `kw_begin`/`declare_keyword`/`KeywordX` 词位 6 行 + 列表 3 行 + 收区 1 行
  + 引擎台账命中/裸词改写 + 物化与组装层空前缀径 + quicktest 同步再生
  ⇒ 分子 10027 → **10115**、分母 11049 → **11140**，floor(10115*1000/11140) = **907**
  ⇒ 判据字段 907 **保持**（复算留痕；子仓 494/494 含 A1/A2 七钉改口径后 + 钉 8–12）。
→ 2026-09-23 P4 **词法两刀**复算（字节类表 + IRI/PrefName 热循环局部化；**面三同笔重生成=补漏**）：
  分子 10115 → **10135**、分母 11140 → **11160**（两刀新行**全被测试覆盖**，两侧等量 +20），
  floor(10135*1000/11160) = **908** ⇒ 判据字段 907 → **908 同笔推高**（新行被走到，非调数；
  子仓 494/494；可达覆盖账 40/8/28 缺口全 0 不变）。
→ 2026-09-23 P4 **第三刀**复算（`utf8_name_advance` 三处 ASCII 门外提
  + 字面量三环/后缀/数值扫描局部化；**面三同笔重生成**）：
  分子 10135 → **10176**、分母 11160 → **11206**（刀改新行 +46：41 被走到、5 新行未走=多字节臂分支面），
  floor(10176*1000/11206) = **908** ⇒ 判据字段 908 **保持**（复算留痕，非推高；
  子仓 494/494；可达覆盖账 40/8/28 缺口全 0 不变）。
covered_permille = 909
covered_lines = 10176
total_lines = 11193

→ 2026-09-23 **R-19 续役**复算（nquads 恢复道入模：声明落盘 + gen_check 再生 + 规格件
  镜像 + 钉翻转；**面三同笔重生成**）：
  分子 10176 → **10192**、分母 11206 → **11221**（机件+钉新行 +15：14 被走到、
  1 新行未走=trig 侧地形钉注释面），floor(10192*1000/11221) = **908** ⇒ 判据字段 908
  **保持**（复算留痕，非推高；子仓 503/503；可达覆盖账 40/8/28 缺口全 0 不变）。
  → P1 性能役（2026-09-22：`validate_iri` 类表驱动 + unsafe 读 + graph 视图去重，
  分子 9982 → **10001**、分母 10998 → **11016**，floor = **907 permille 不变**——
  机件改造非补测试，分子分母同步膨胀；判据字段不动）。
  → P2 引擎勘役（2026-09-22：loop 热路径零分配 + P2 三段式剖析器落库，
  分子 10001 → **10002**、分母 11016 → **11022**，floor = **907 permille 不变**）。
  → P3 物化扁平化（2026-09-22：materialize_quad 直构造 + 四 helper 死件删除，
  分子 10002 → **9990**、分母 11022 → **11006**，floor = **907 permille 不变**）。

→ 2026-09-23 **P2 刀 a)** 复算（扫描器直产 Event：Token→Event 双装箱拆除
  + last_unknown 单槽旁路跨包供 span；**面三同笔重生成**）：
  分子 10192 → **10191**、分母 11221 → **11216**（转换层拆除/引擎件搬家净 −5 行、
  分子 −1），floor(10191*1000/11216) = **908** ⇒ 判据字段 908 **保持**（复算留痕，
  非调数；子仓 505/505 + native 519/519；可达覆盖账 40/8/28 缺口全 0 不变）。
→ 2026-09-24 **P3 产物模型**复算（QuadEmit 平化挂字段：Subject/Object/GraphName
  三词项枚举拆为 TermKind 8 常量臂 + 逐位 kind/view 直挂；**面三同笔重生成**）：
  分子 10191 → **10176**、分母 11216 → **11193**（词项枚举 Show/Debug/eq 机件删行
  大半是被覆盖行 ⇒ 分母缩得多；TermKind 新行全被走到），
  floor(10176*1000/11193) = **909** ⇒ 判据字段 908 → **909 同笔推高**（删行侧推高，
  非补测试；子仓 507/507 + native 521/521；可达覆盖账 40/8/28 缺口全 0 不变）。
