# 复核表（生成物，DO NOT EDIT MANUALLY）
# 口径：`bangto/world/const.md` §6.5「复核面」（判据 = **可复现 + 缺口有解释**；**禁止**以"分数不降"作判据）
# 生成命令（**必须原样复跑**；同一命令 + 同一留证 ⇒ 第三方应得到同一张表）：
#   cd src/ttl
#   for d in n3v2 nquads trig; do
#     echo "[$d]"
#     moon test src/gen_$d 2>&1 | grep -oE '=== [^"]+ ===' | sed 's/^=== //;s/ ===$//' | sort -u
#   done > suite-review.txt
# 说明：本表**原样收纳套件自报行**（零纸解析：不拆数字、不重算比率）——行的顺序由 sort -u 固定，
#       集合内容由套件决定；套件增删行即本表变化 ⇒ 与入库表逐字节比对即"可复现性检查"。
# 留证位置：CI test 作业日志（同上命令）；本地复跑同命令即可复现（2026-09-20 连跑两次逐字节一致）。
# 缺口清零：由各套件测试**自身断言**（缺口/失败非零即 `moon test` 红），本表只做"可复现"这一半。
# 缺口解释表：见 `review.md` §1.2（逐条引模块台账编号，不复制正文）。
#
# 覆盖边界（**必写**：复核面只覆盖"它覆盖的那部分"，读者不得误以为覆盖全；`const.md` §6.5.7）
#   本面 = **套件自报行面**：三方言套件（N3Tests / rdf-turtle / rdf-* / rdf12-*）的 `=== … ===` 自报行。
#   **不覆盖**：① **IR/产物面**（表源 → IR → 生成件 → 产物黄金门：G9 逐字节 / ts 钉 / `moon fmt` 幂等）——
#     本轮起**另立面**（`src/quick_machine/gen-review.txt` + 主仓 CI 步「复核面·产物/IR」）；
#     ② **覆盖率面**（行覆盖 / 可达命令名覆盖 —— 由**基线棘轮**管：`coverage-baseline.txt`、`reachable-coverage-baseline.txt`）；
#     ③ **方言语义面**（`validate_term` / `classify_structural` 等**有意分叉件**的内部语义 —— 由各包 wbtest 管）；
#     ④ **性能面**（bench：`trig_bench_wbtest` / nquads 基准）。
[n3v2]
N3Tests parser sweep: neg 23ok/0miss, pos+eval 205clean 0mat-only 0parse-fail, strict-gap 0
examples: A=13 B=0 C=0 strict-gap=0
rdf-turtle: 316/316 (failed 0, strict-gap 0)
rdf12-turtle: 75/75 (failed 0, strict-gap 0)
[nquads]
MoonBit 解析 test_1000.nq
Result: 89/89 (failed 0)
rdf12-nq: 27/27 (failed 0)
rdf12-nt: 29/29 (failed 0)
对比: 72 段, mismatch=0, failed=0
循环读文件: 72/72 (failed 0)
性能数据
[trig]
gen_trig 复杂语料（指令/图块/链式/字面量族/三元组词项/注解）
gen_trig 简单语料（全 IRI 扁平三元组 + 具名图块）
rdf-trig: 357/357 (failed 0)
rdf-turtle: 316/316 (failed 0)
rdf12-trig: 36/36 (failed 0)
rdf12-turtle: 75/75 (failed 0)
