+**Lifecycle / Acceptance:** `in-progress` / `locally-accepted`（2026-08-08，复核人 Quanyi Ma：三门全过——registry schema 门（34 行、四列非空、无重复键、状态全在 GC-13 闭集内且四个合法值各有正例：30 `git-compatible` / 2 `absent` / 1 `deferred` / 1 `intentionally-different`）、非法值 `unsupported` 被 `SURFACES.gen` 拒绝、生成器消费真 registry 产出非空 lock（即 34 条锚点全部可解析且同时含 command 与 surface 字面量）、五个 `surfaces_gen` 承诺用例各恰一次命中且通过、required 集合相等门（两侧各 34 键、无重复、`diff` 干净）、staged 集精确门（两条路径）。**裁定方法**（本卡的人工复核记录）：对 CT3-01 的 178 行 MANIFEST 逐场景指派唯一 `(command, surface)`，去重得 34 对。command 取标题里的 `git <sub>`，否则取标题首词的裸 plumbing 名，否则取该 stem 的主语命令；surface 取标题中最具体的选项，否则取该 stem 的主语面（t4001 `-M`；t4003/4/5/7/9 `-C`；t4010 `--name-only`；t4015 `--signoff`；t4016 `-z`；t4017 `--exit-code`；t4000 `--no-patch`；t4006 `--summary`）；短拼写归一到 Libra 证据实际记载的拼写（`-s`→`--signoff`、`-k`→`--keep-subject`）。**三处有意改写**（Libra 根本没有该 surface，故在 Libra 确实记载的面上裁定）：`-p`（diff/diff-files/diff-index）→ `--unified`（Libra 的 diff 无 `-p`，patch 是默认、`--no-patch` 才是开关）；`-M`（diff-tree）→ `--no-renames`（diff-tree 有意以 `--no-renames` 委派、不继承重命名检测，这正是 `intentionally-different` 那一行）；t4001 的两个 `git status` 场景考的是 `diff.renames`，其裁定落在 diff 行，故记为 `(diff, diff.renames)`。四条非 `git-compatible` 行全部引用各自命令页的专门文字（`diff-tree.md#comparison-with-git` 的「not exposed」、`diff-tree.md#description` 的委派说明、`diff-index.md#comparison-with-git` 的「not yet supported」）。**执行时发现并单独修复一处前置缺陷**：本卡的门以 `sh tests/compat-ledger/SURFACES.gen` 调用生成器，而 CT2-02 把它写成了 python shebang 脚本（直接执行可用、`sh` 调用即崩）。改为 POSIX sh 包装 + here-doc 内嵌 python（仓库根由 `$0` 推导并 export，因为读 stdin 的 python 没有 `__file__`），三种调用方式均可用、43 个既有守卫用例不变；因 `SURFACES.gen` 不在本卡写集内，该修复单独提交 `5ef21da`。Codex Spark R1 PASS（另提一条非阻断意见：部分 plumbing 行回落到 `diff.md#options`，审计力度弱于专门页——四条非 git-compatible 行已用专门页，其余为 Libra 确实在 diff 页统一记载的共享面）。已提交并推送 `11f538b`；按 ADR-CT-05，C 覆盖待 **CT4-01**）（ER-04）
0 commit comments