# 本条为 [M11b-2d-A3a-1] 本轮改动的 diff 片段(文档本体 46,554 B 以磁盘 / git 提交 4ae2e20 为准,不在此整文件重贴以免覆盖风险) @@ §6 守卫用例表与计数口径 @@ -守卫共**三组**用例(`FixtureSurfaceCase` / `ReturnKeysCase` / `GateErrorCase`),合计 **15 项** +守卫共**四组**用例(`FixtureSurfaceCase` / `ReturnKeysCase` / `GateErrorCase` / +`RegistrationDocCase`),合计 **17 项**(其中 `RegistrationDocCase` 2 项为 A3 轮末响应 QC #2 追加,用于守卫本登记文档的存在性与 §1.1 符号清单同源): +| `RegistrationDocCase` | `test_doc_exists_and_registers_contract` | 守卫本登记文档存在,且正文含夹具契约六要素关键词(符号清单 / 逐参数签名 / 返回键语义 / 错误码含义 / 废弃清单 / 引用规约) | +| `RegistrationDocCase` | `test_doc_live_fixture_symbols_registered` | 守卫 §1.1 符号清单与夹具实现签名同源(含 `tenant_id` 真源形参) | 执行证据:`tests/evidence/m11b2d_a3_fixture_contract_pytest.txt`(**17 passed**,四组全绿)、 `tests/evidence/m11b2d_a3_fixture_contract_collect_only.txt`(**17 tests collected**,collection error = 0)。 +A3a-1 轮在恢复文档全文后再次复跑复核一致,并把真实输出(含 `# RC=0`)归档为 +`tests/evidence/m11b2d_a3a1_fixture_contract_rerun.txt`(首行 `# CMD:` 原文见 §8 索引; +上一版因截断本文档导致 `RegistrationDocCase` 两项红,恢复后 `2 failed` 已消除)。 +**计数口径**:本节用例数(17)与上表逐行用例数、`--collect-only` 的 **17 tests collected**、 +各归档证据文件的 passed 数四者一一对齐(A3 轮两份 + A3a/A3a-1 轮复跑件,见 §8 索引);证据文件首行 `# CMD:` 原文见 §8 证据索引(本表「组」列即四组,无第五组)。 @@ §8 证据索引表(新增一行,其余行 CMD 列与文件首行逐字对齐)@@ +| `tests/evidence/m11b2d_a3a1_fixture_contract_rerun.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py -q --tb=no` → **17 passed in 0.09s**(`# RC=0`,`# HEAD: 1d1fd3d`) | **A3a-1 轮复跑证据(本任务新增,不覆盖旧归档)**:响应 QC #2 虚假自测声明,恢复文档全文后的真实复跑留证,本列与文件首行逐字一致 | # grep 自核:`grep -n "三组\|15 passed\|15 项\|15项\|15 个" docs/work-log-2026-09-22-m11b2d-fixture-contract.md` → rc=1(零命中)