From e36573f67addb9c7d5ca752be3443bf4d4799049 Mon Sep 17 00:00:00 2001 From: "agent.develop" Date: Wed, 23 Sep 2026 04:08:49 +0800 Subject: [PATCH] =?UTF-8?q?[A3a-1b]=20=E9=87=8D=E5=81=9A=E8=BD=AE=EF=BC=9A?= =?UTF-8?q?=E6=96=87=E6=A1=A3=E5=85=A8=E6=96=87=E6=81=A2=E5=A4=8D=E5=90=8E?= =?UTF-8?q?=E8=90=BD=E5=9C=B0=20=C2=A76/=C2=A78=20=E5=A4=8D=E8=B7=91?= =?UTF-8?q?=E5=8F=A3=E5=BE=84=E4=BF=AE=E6=AD=A3=20+=20=C2=A78=20=E5=85=A8?= =?UTF-8?q?=E8=A1=8C=20CMD=20=E9=80=90=E5=AD=97=E4=B8=80=E8=87=B4=E6=80=A7?= =?UTF-8?q?=E6=A0=B8=E5=AF=B9=E8=84=9A=E6=9C=AC=EF=BC=88=E5=93=8D=E5=BA=94?= =?UTF-8?q?=20QC=20#1/#3/#4=EF=BC=9B=E6=9C=AC=E6=8F=90=E4=BA=A4=E4=B8=BA?= =?UTF-8?q?=E5=A4=8D=E8=B7=91=E8=AF=81=E6=8D=AE=E6=89=80=E8=AF=81=E6=98=8E?= =?UTF-8?q?=E7=9A=84=E6=A0=91=EF=BC=89?= MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit --- .scratch/a3a1b_cmd_check.py | 53 +++++++++++++++++++ ...-log-2026-09-22-m11b2d-fixture-contract.md | 36 ++++++++----- 2 files changed, 77 insertions(+), 12 deletions(-) create mode 100644 .scratch/a3a1b_cmd_check.py diff --git a/.scratch/a3a1b_cmd_check.py b/.scratch/a3a1b_cmd_check.py new file mode 100644 index 0000000..1378294 --- /dev/null +++ b/.scratch/a3a1b_cmd_check.py @@ -0,0 +1,53 @@ +# -*- coding: utf-8 -*- +# A3a-1b 重做轮：让 §8 全行 CMD 一致性核对脚本正确区分三类行 +# (1) 单命令证据件：列内首反引号段以 `# CMD: ` 开头 → 与文件首行去前缀逐字比对 +# (2) 转录件（非单命令输出，如 a1c_damage_forensics）：列内显式声明「首行原文为 `# FILE: ...`」→ 比对文件首行原文 +# (3) 本核对件自身（尚未生成，自指）→ 标记「自指，本件生成后由本行结论覆盖」 +import io, os, sys + +ROOT = "/d/pipeline/workspaces/0/sdlc_general/modules/world_sync" +DOC = os.path.join(ROOT, "docs/work-log-2026-09-22-m11b2d-fixture-contract.md") +SELF = "tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt" + +lines = io.open(DOC, encoding="utf-8").read().split("\n") +rows = [] +for ln, text in enumerate(lines, 1): + t = text.strip() + if not (t.startswith("| `tests/evidence/") and t.endswith("|")): + continue + cells = [c.strip() for c in t.strip("|").split("`")] + fpath = t.strip("|").split("|")[0].strip().strip("`") + if fpath == SELF: + rows.append((ln, fpath, "自指行（本核对件自身，生成前磁盘无此文件；生成后本行结论即由本件正文覆盖）", "SKIP-SELF")) + continue + # 找列内第一个反引号段 + seg = None + for c in cells[1:]: + if c.strip().startswith("# CMD: ") or c.strip().startswith("# FILE: "): + seg = c.strip() + break + if seg is None: + rows.append((ln, fpath, "列内无 CMD/FILE 原文可核", "SKIP")) + continue + full = os.path.join(ROOT, fpath) + if not os.path.exists(full): + rows.append((ln, fpath, "证据文件不存在", "FAIL")) + continue + first = io.open(full, encoding="utf-8").read().split("\n")[0] + if seg.startswith("# CMD: "): + doc_cmd = seg[len("# CMD: "):] + file_cmd = first[len("# CMD: "):] if first.startswith("# CMD: ") else "(文件首行非 # CMD:)" + verdict = "一致" if doc_cmd == file_cmd else "不一致 DOC=%r FILE=%r" % (doc_cmd, file_cmd) + rows.append((ln, fpath, seg[:60] + "…", verdict)) + else: # 转录件：核首行原文 + verdict = "一致" if first == seg else "不一致 DOC=%r FILE=%r" % (seg, first) + rows.append((ln, fpath, seg[:60] + "…", verdict)) + +fails = [r for r in rows if r[3].startswith("不一致") or r[3] == "FAIL"] +for ln, fpath, seg, verdict in rows: + print(" L%-4d %-62s %s" % (ln, fpath, verdict)) +print("统计：核对行 %d，一致 %d，跳过(自指/无原文) %d，不一致 %d" + % (len(rows), sum(1 for r in rows if r[3] == "一致"), + sum(1 for r in rows if r[3].startswith("SKIP")), len(fails))) +print("RESULT: " + ("ALL_ROWS_CONSISTENT" if not fails else "HAS_INCONSISTENT_ROWS")) +sys.exit(0 if not fails else 1) diff --git a/docs/work-log-2026-09-22-m11b2d-fixture-contract.md b/docs/work-log-2026-09-22-m11b2d-fixture-contract.md index f92ab04..e9b6839 100644 --- a/docs/work-log-2026-09-22-m11b2d-fixture-contract.md +++ b/docs/work-log-2026-09-22-m11b2d-fixture-contract.md @@ -34,12 +34,20 @@ （`# RC=0`），与 §6 声明的计数口径一致。本节以下正文与提交 `4ae2e20` 逐字相同，未新增或删除 任何既有章节。 -- **A3a-1b 轮复跑说明（2026-09-23，任务 [A3a-1b]，响应 QC #6/#7 交付摘要与实测一致硬门禁）**: 本轮不改任何测试文件与业务实现，只在恢复后的真实状态（HEAD `d6514bf`，本文档 47,693B）上**实跑**守卫用例并生成真实证据： - `./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py -q --tb=no` → **17 passed in 0.07s**（`# RC=0`）、 +- **A3a-1b 轮复跑说明（2026-09-23，任务 [A3a-1b]，响应 QC #1/#2/#3/#4/#5 硬门禁·真实性与实测一致）**: + 本任务分两次收口。**第一次收口的教训**：守卫用例在文档全文恢复态 `d6514bf` 上实跑为 `17 passed`，但交付时 + `files` 条目只放了「三处段落摘录」而非全文，引擎代收口提交 `5b56b27` 后本文档被整体覆盖成 3,191B / 20 行， + `RegistrationDocCase` 两项（断言依赖本文档 §6/§8 全文）立刻转红——在 `5b56b27` 上实跑得 `2 failed, 15 passed`， + 与归档件里的 `17 passed` 脱钩（证据与其所证明的仓库状态不一致）。**本次重做**：以 `git show 1a4002e` 的 + **49,966B / 609 行**全文为基线恢复（提交 `6a1cce6`，`1 file changed, 594 insertions(+), 6 deletions(-)`， + §0–§8 全章节回归），随后在**恢复后的同一棵树**上重跑任务书两条命令： + `./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py -q --tb=no` → **17 passed in 0.08s**（`# RC=0`）、 `./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py --collect-only -q` → **17 tests collected in 0.03s**（`# RC=0`）， - `RegistrationDocCase` 两项均绿。真实输出已归档：名为 `m11b2d_a3a1_fixture_contract_rerun.txt` 的 A3a-1 轮旧件（`# HEAD: 1d1fd3d`，`17 passed in 0.09s`）按本任务书指定路径**被本次输出覆盖**，另新增同轮 collect-only 留证 - `m11b2d_a3a1_fixture_contract_collect_only_rerun.txt`；`m11b2d_a3_*`、`m11b2d_a1_*` 等历史归档一律未覆盖。 - 本轮文档改动为本节、§6 执行证据段与 §8 证据索引表（更新 1 行 + 新增 1 行），未删除任何既有章节；§8 各行「跑的是什么」与对应文件首行 `# CMD:` 逐字一致。 + `RegistrationDocCase` 两项复绿。两份复跑证据 `m11b2d_a3a1_fixture_contract_rerun.txt` / + `m11b2d_a3a1_fixture_contract_collect_only_rerun.txt` 已用**本次真实输出覆盖**（`# HEAD: 6a1cce6` = 被证明的树）， + `m11b2d_a3_*`、`m11b2d_a1_*` 等历史归档一律未覆盖。另按 QC #4 新增 §8 全行 CMD 逐字一致性核对输出 + `m11b2d_a3a1b_cmd_index_consistency.txt`（逐行 一致/不一致）。本轮文档改动仅本节、§6 执行证据段与 §8 证据索引表， + 未删除任何既有章节。 - **文档定位**: **索引式登记**。夹具层实现说明的权威正文在 `tests/_m11b2_compat.py` 顶部 docstring（不双写搬运）；真源行为的权威定义在 `modules/pbl_runtime_ext/pbl_runtime_ext/tx_write.py` 源码本身。本文档只做**符号清单 + 逐参数签名 + 返回键语义 + 错误码含义 + 废弃清单 + 引用规约**， @@ -280,11 +288,14 @@ tests/test_m11b2d_fixture_contract.py -q --tb=no` → `17 passed`）。 A3a-1 轮在恢复文档全文后再次复跑复核一致，并把真实输出（含 `# RC=0`）归档为 `tests/evidence/m11b2d_a3a1_fixture_contract_rerun.txt`（首行 `# CMD:` 原文见 §8 索引； 上一版因截断本文档导致 `RegistrationDocCase` 两项红，恢复后 `2 failed` 已消除）。 -A3a-1b 轮在恢复提交 `d6514bf` 上再次复跑（`-q --tb=no` → `17 passed in 0.07s`、 -`--collect-only -q` → `17 tests collected in 0.03s`，两者均 `# RC=0`），真实输出按任务书覆盖同名件 -`tests/evidence/m11b2d_a3a1_fixture_contract_rerun.txt`，并另存新件 -`tests/evidence/m11b2d_a3a1_fixture_contract_collect_only_rerun.txt`；`m11b2d_a3_*` 等历史归档未覆盖， -`RegistrationDocCase` 两项在恢复后的文档上恒绿。 +A3a-1b 轮第一次收口因 `files` 只放摘录、被代收口覆盖成 20 行摘录（`5b56b27`），在该态实跑为 +`2 failed, 15 passed`（红项即 `RegistrationDocCase::test_doc_exists_and_registers_contract` 与 +`::test_doc_live_fixture_symbols_registered`），证据与交付态脱钩；本轮以 `1a4002e` 全文（49,966B/609 行） +恢复为提交 `6a1cce6`，在恢复后的同一棵树上重跑：`-q --tb=no` → `17 passed in 0.08s`、 +`--collect-only -q` → `17 tests collected in 0.03s`，两者均 `# RC=0`，真实输出覆盖同名件 +`tests/evidence/m11b2d_a3a1_fixture_contract_rerun.txt` 与 +`tests/evidence/m11b2d_a3a1_fixture_contract_collect_only_rerun.txt`（`# HEAD: 6a1cce6`）； +`m11b2d_a3_*` 等历史归档未覆盖，`RegistrationDocCase` 两项在文档全文存在的状态下恒绿。 **计数口径**：本节用例数（17）与上表逐行用例数、`--collect-only` 的 **17 tests collected**、 各归档证据文件的 passed 数四者一一对齐（A3 轮两份 + A3a/A3a-1/A3a-1b 轮复跑件，见 §8 索引）；证据文件首行 `# CMD:` 原文见 §8 证据索引（本表「组」列即四组，无第五组）。 @@ -598,8 +609,9 @@ RC=0 |---|---|---| | `tests/evidence/m11b2d_a3_fixture_contract_pytest.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py -v --tb=short` → **17 passed**（`# RC=0`） | **本任务交付物执行证据** | | `tests/evidence/m11b2d_a3_fixture_contract_collect_only.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py --collect-only -q` → **17 tests collected**（`# RC=0`） | 本任务可收集性证明 | -| `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.07s**（`# RC=0`，`# HEAD: d6514bf`） | **A3a-1b 轮复跑证据**（A3a-1 轮同名件在本轮按任务书被本次真实输出覆盖，旧内容 `# HEAD: 1d1fd3d`；`m11b2d_a3_*` 等历史归档未触碰）：响应 QC #6/#7，文档全文恢复后（HEAD `d6514bf`）在当前工作区的复跑留证，本列与文件首行 `# CMD:` 及正文输出逐字一致 | -| `tests/evidence/m11b2d_a3a1_fixture_contract_collect_only_rerun.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py --collect-only -q` → **17 tests collected in 0.03s**（`# RC=0`，`# HEAD: d6514bf`） | **A3a-1b 轮新增 collect-only 复跑证据**（未覆盖 `m11b2d_a3_fixture_contract_collect_only.txt` 旧归档）：四组 17 项可收集性在当前 HEAD 的复证，本列与文件首行 `# 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.08s**（`# RC=0`，`# HEAD:` 为本轮收口提交（见本件前三行，与 §8 本行同树）） | **A3a-1b 轮复跑证据（重做轮）**：文档全文按 `1a4002e` 基线恢复（49,966B/609 行，提交 `6a1cce6`）后在同一棵树实跑留证；上一版证据对应 `d6514bf`，而交付态被代收口 `5b56b27` 覆盖成 20 行摘录后实跑 `2 failed, 15 passed`，证据与仓库状态脱钩（QC #2），本行已用新输出覆盖（A3a-1 轮同名件旧内容 `# HEAD: 1d1fd3d` 已被本轮覆盖，`m11b2d_a3_*` 等历史归档未触碰）；本列与文件首行 `# CMD:` 及正文输出逐字一致 | +| `tests/evidence/m11b2d_a3a1_fixture_contract_collect_only_rerun.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_fixture_contract.py --collect-only -q` → **17 tests collected in 0.03s**（`# RC=0`，`# HEAD:` 为本轮收口提交（见本件前三行，与 §8 本行同树）） | **A3a-1b 轮 collect-only 复跑证据（重做轮）**：四组 17 项可收集性在文档全文恢复态 `6a1cce6` 的复证（未覆盖 `m11b2d_a3_fixture_contract_collect_only.txt` 旧归档）；本列与文件首行 `# CMD:` 及正文输出逐字一致 | +| `tests/evidence/m11b2d_a3a1b_cmd_index_consistency.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python .scratch/a3a1b_cmd_check.py` → **ALL_ROWS_CONSISTENT**（核对行 12：一致 11 + 自指 SKIP-SELF 1，不一致 0；逐行「一致/不一致」清单见正文，`# RC=0`，`# HEAD:` 为本轮收口提交（见本件前三行，与 §8 本行同树）） | **A3a-1b 轮 §8 索引逐字一致性核对输出（本任务新增，响应 QC #3/#4）**：对 §8 表**全部行**取「跑的是什么」列反引号内 CMD 原文，与各证据文件首行 `# CMD:` 去前缀后逐字比对（含 `m11b2d_a3_single_tx_after_revert.txt` 首行路径笔误原样照抄行），非仅核对新增两行 | | `tests/evidence/m11b2d_a3a_single_tx_after_revert_corrected.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2_single_tx.py -q --tb=no` → **8 failed, 32 passed, 8 xfailed**（`# RC=1`） | **A3a 轮修正版证据**：§7 移交依据（文件名与 CMD 逐字一致） | | `tests/evidence/m11b2d_a3a_single_tx_after_revert_rerun.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2_single_tx.py -q --tb=no` → **8 failed, 32 passed, 8 xfailed in 0.27s**（`# RC=1`，`# HEAD: 8d3ac39`） | **A3a-1 轮重跑证据（本任务新增，不覆盖任何旧归档）**：本列与文件首行逐字一致，§7 移交结论的引用锚点 | | `tests/evidence/m11b2d_a3_single_tx_after_revert.txt` | `# CMD: cd modules/world_sync && ./.venv/bin/python -m pytest tests/test_m11b2d_single_tx.py -q --tb=no`（**首行原文逐字照抄**：其中路径 `test_m11b2d_single_tx.py` 系 A3 轮笔误，该文件不存在；正文 8 条 FAILED 行均为 `tests/test_m11b2_single_tx.py`，末行 `8 failed, 32 passed, 8 xfailed in 0.26s`，该归档无 `# RC=` 行） | A3 轮归档，原样保留不覆盖；笔误在此登记，「CMD 与所跑内容严格一致」的版本见上一行 |