# 复核表（生成物，DO NOT EDIT MANUALLY）—— **面三：覆盖率面**
# 口径：`bangto/world/const.md` §6.5「复核面」（判据 = **可复现 + 缺口有解释**；**禁止**以"分数不降"作判据）
# 生成命令（**必须原样复跑**；同一命令 + 同一留证 ⇒ 第三方应得到同一张表）：
#   cd src/ttl
#   moon clean && moon coverage clean && moon test --enable-coverage
#   {
#     echo "[行覆盖]"
#     moon coverage report -f summary | tail -n 1
#     echo "[可达命令名覆盖]"
#     moon test 2>&1 | grep -o '可达覆盖账 [a-z0-9]*：分母 [0-9]* / 分子 [0-9]* / 缺口 [0-9]* / 不可达 [0-9]*' | sort -u
#   } > coverage-review.txt
# 说明：本表 = **读数原样收纳**（零纸解析：不重算比率、不取整）——行覆盖取 `moon coverage report` 末行全文，
#       可达覆盖取各方言**台账打印行**全文；读数随代码变化 ⇒ **改代码必须同笔重生成**（否则 CI 可复现性检查红）。
# 留证位置：子仓 CI `static` 作业步「复核面·覆盖率（可复现性检查）」；本地复跑同命令即可复现
#           （2026-09-20 冷口径连跑两次逐字节一致）。
# 沿革：2026-09-21 同笔重生成（役 2 / 2a `ImpliedBy` 零机械转正 + 阶段 0 两枚钉的同笔刷新）——
#   冷口径连跑两次 **9939/10965**；仅 Total 行随读数变化，三方言可达覆盖账逐字节不变。
# 沿革：2026-09-21 同笔重生成（役 2 / 2b 恢复道入模 + `Caret` 转正）——冷口径连跑两次
#   **9982/10998**（分子 +43 = 恢复机件/探针恢复窗/门被走到；分母 +33 = 新增机件行），
#   permille 906 → **907**（同笔推高）；三方言可达覆盖账逐字节不变。
# 沿革：2026-09-22 同笔重生成（役35 A1：`@keywords` 受理层 + `pk` 归属面 + 5 钉）——
#   **10025/11047**（分子 +35 / 分母 +41），permille **907 保持**；三方言账逐字节不变。
# 沿革：2026-09-22 同笔重生成（役35 **A2**：`@keywords` 声明列表区层 + 2 钉）——
#   **10027/11049**（分子 +2 / 分母 +2），permille **907 保持**；三方言账逐字节不变。
# 沿革：2026-09-22 同笔重生成（役35 **35-B1**：`@keywords` 表源化 11 行 + 台账/合成
#   + 组装层裸词口径（照 PrefName 径）+ 钉 8–12）——**10115/11140**（分子 +88 / 分母 +91），
#   floor = **907 permille 保持**；**trig 可达覆盖账 25/25/0/9 → 28/28/0/7**
#（+3 = `KeywordsKw`/`Unknown`/`KeywordX` 随表源化由无臂转可达；不可达 9 → 7）。
# 沿革：2026-09-22 同笔重生成（P1 性能役：`validate_iri` 256 项字节类表驱动 + 热循环 unsafe 读 +
#   graph 视图去重）——冷口径 **10001/11016**（分子 +19、分母 +18 = 类表/表驱动分派/剖析器陪跑行），
#   floor = **907 permille 不变**（棘轮 ≥ 基线 ✓，基线 lines 字段同笔跟升）；三方言可达覆盖账逐字节不变。
#
# 沿革：2026-09-22 同笔重生成（P2 引擎勘役：loop 热路径零分配（判点单读词尾）+
#   P1 剖析器同笔扩 P2 三段式）——冷口径 **10002/11022**，floor = **907 permille 不变**
#   （棘轮 ≥ 基线 ✓，基线 lines 字段同笔跟升）；三方言可达覆盖账逐字节不变。
#
# 沿革：2026-09-22 同笔重生成（P3 物化扁平化：materialize_quad 消 4 层 helper 调用
#   与 Result 往返，死件四 helper 删除）——冷口径 **9990/11006**（分子分母同步缩，
#   删行两侧等量），floor = **907 permille 不变**（棘轮 ≥ 基线 ✓，基线 lines 同笔跟降）；
#   三方言可达覆盖账逐字节不变。
#
# 缺口清零：由**门自身断言**（覆盖率棘轮 = `coverage-baseline.txt`；可达覆盖缺口清零 = quicktest 内断言）；
#           本表只做"可复现"这一半。
# 缺口解释表：见 `review.md` §1.2（本条 → 「覆盖率面」行：残差 ~10 行 `[设计]` + 不可达钉子 9/2/1 已配反向断言）。
#
# 覆盖边界（**必写**：复核面只覆盖"它覆盖的那部分"，读者不得误以为覆盖全；`const.md` §6.5.7）
#   本面 = **覆盖率读数面**：覆盖**冷口径**下的两量读数——① 行覆盖（`Total: <covered>/<total>` 末行）
#     ② 可达命令名覆盖（三方言台账行：分母 / 分子 / 缺口 / 不可达）。
#   **不覆盖**：① **其它 OS / 其它工具链版本**的读数（本面 = 本仓 CI Linux + 已知良好工具链口径）；
#     ② **棘轮判定**（"不许倒退"属**时间维度**，由基线文件 `coverage-baseline.txt` /
#        `reachable-coverage-baseline.txt` 管——基线 ≠ 复核表，二者**不可互替**，`const.md` §6.5.6）；
#     ③ **套件自报行面**（面一 `suite-review.txt`）· **产物/IR 面**（面二 `../gen-review.txt`）；
#     ④ **未覆盖行的逐行解释**（属缺口解释表，不在本表）。
# 沿革：2026-09-23 同笔重生成（**P4 词法两刀**：字节类表 + IRI/PrefName 热循环局部化）——
#   **10135/11160**（分子分母各 +20 = 两刀新行全被测试覆盖），floor = **908 permille**（907 → 908 同笔推高）；
#   三方言可达覆盖账逐字节不变（40/8/28 缺口全 0）。**勘正**：这两刀入库时**漏了面三同笔重生成**
#   （CI 冷跑复现门当场抓住 ⇒ 纪律有效），本笔补。
#
# 沿革：2026-09-23 同笔重生成（**P4 第三刀**：utf8_name_advance 三处 ASCII 门外提
#   + 字面量三环/后缀/数值扫描局部化）——**10176/11206**（分子 +41 / 分母 +46，
#   其中 5 新行未走：多字节臂分支面），floor = **908 permille 保持**（复算留痕，非推高）；
#   三方言可达覆盖账逐字节不变（40/8/28 缺口全 0）。
# 沿革：2026-09-23 同笔重生成（R-19 续役：nquads 恢复道入模——声明落盘 + gen_check 再生
#   + 规格件镜像 + 钉翻转；trig 依裁定另账缓打，地形钉在册）——冷口径 **10192/11221**
#   （分子分母同步膨胀 +15/+16），floor = **908 permille 保持**（棘轮 ≥ 基线 ✓）；
#   三方言可达覆盖账逐字节不变。
# 沿革：2026-09-23 同笔重生成（P2 刀 a) 扫描器直产 Event + last_unknown 单槽旁路）——
#   冷口径 **10191/11216**（floor = 908 保持）；仅 Total 行随读数变化，
#   三方言可达覆盖账逐字节不变。
# 沿革：2026-09-23 同笔重生成（**格式门收口笔**：`moon fmt` 归位 6 个 offender）——
# 沿革：2026-09-23 **格式门收口笔**（`moon fmt` 归位 6 个 offender）——**面三读数不变**：
#   **10191/11216 / 908‰ 保持**（格式化物理 +5 行全是**不可插桩续行** ⇒ 覆盖率口径不感知；
#   复核表与基线均无需改；可达覆盖账 40/8/28 缺口全 0 不变）。
# 沿革：2026-09-24 同笔重生成（**P3 产物模型**：QuadEmit 平化挂字段——Subject/Object/
#   GraphName 三词项枚举拆为 TermKind 8 常量臂 + 逐位 kind/view 直挂）——
#   冷口径 **10176/11193**（分子 −15 / 分母 −23 = 词项枚举 Show/Debug/eq 机件删行
#   大半是被覆盖行，TermKind 新行全被走到），floor(10176*1000/11193) = **909 permille**
#   （908 → 909 同笔推高，删行侧推高非补测试）；三方言可达覆盖账逐字节不变
#   （40/8/28 缺口全 0）。
[行覆盖]
Total: 10261/11262
[可达命令名覆盖]
可达覆盖账 n3v2[Deep]：分母 40 / 分子 40 / 缺口 0 / 不可达 1
可达覆盖账 nquads[Deep]：分母 8 / 分子 8 / 缺口 0 / 不可达 2
可达覆盖账 trig[Deep]：分母 28 / 分子 28 / 缺口 0 / 不可达 7
