atlas-project-harness 0.2.0-beta.2 → 0.2.0-beta.21

package/tests/test_closeout_derive.py

@@ -0,0 +1,264 @@
+#!/usr/bin/env python3
+"""`scripts/closeout_derive.py` 回归测试（M2，`RFC-20261022-01` 批 2）。
+
+触发表（主表 + 补表）是唯一真相源；本器只解析不复制。钉住：
+  正控：改契约 ⇒ 1 → 2 → 5 → 7 全出，机器步骤标「自动」、人侧标「人工」；
+        无条件行恒出；补表被解析；步骤跨行去重；
+  告警宇宙：业务面文件只计条数、不出声；atlas 自有面未命中 ⇒ WARN 逐条；
+  响亮失败：触发表引用空号（含已退役步骤 6）⇒ FAIL；表结构解析失败 ⇒ FAIL；
+            git ref 不可用 ⇒ FAIL；语义触发行（缺陷修复 / 复盘）不得被路径派生。
+"""
+from __future__ import annotations
+
+import importlib.util
+import json
+import subprocess
+from pathlib import Path
+
+PKG_ROOT = Path(__file__).resolve().parents[1]
+SCRIPT = PKG_ROOT / "scripts" / "closeout_derive.py"
+
+
+def _load():
+    spec = importlib.util.spec_from_file_location("closeout_derive_under_test", SCRIPT)
+    mod = importlib.util.module_from_spec(spec)
+    spec.loader.exec_module(mod)
+    return mod
+
+
+MOD = _load()
+
+CONTRACT = """# atlas 共享契约 — 收口清单
+
+## 1. 触发表（哪些事件要跑哪几步）
+
+| 事件 | 必跑步骤 |
+|---|---|
+| 改契约 / 模板 / 校验器 / 脚本 / skill 瘦桩 | 1 → 2 → 5 → 7 |
+| 环退役 / 真相源迁移 / 产物改名 | 8（生命周期三件套） |
+| 改 `DESIGN.md` §12 决策（尤其含「被否：」的行）/ 撤回或收窄某项能力宣称 | **1（含宣称 sweep）**：以该裁决的否决词**全仓 grep** |
+| 缺陷修复类任务（bug fix） | **4**（修复验证 7 检查点）→ 1 → 7 |
+| 影响面报告已产出（`.trellis/tasks/<ID>/impact.json` 存在）的收口 | 1（含 `impact_reconcile --task <ID>`，2026-10-07 起） |
+| 独立审查报告落盘（①②④⑤ 任一实例） | 1（含 `validate_review_report --dir <报告目录>`，2026-10-06 起） |
+
+| 任一工作单元收尾 | 1（至少） |
+| 域 / 里程碑收口且出现 ≥2 次同类纠偏（或用户点名复盘） | **11**（harness 复盘，按需） |
+| 结构环产出 / 刷新**域级文件** | 1（含**域清单确认门对账**） |
+
+## 2. 步骤
+
+> 编号口径：现行步骤 = 1–5、7–11；步骤 6 已退役，号码不回收。
+
+### 步骤 1 — 门自检
+
+```bash
+python3 .atlas/scripts/atlas_check.py
+```
+
+### 步骤 2 — 装配面核对
+
+### 步骤 3 — 变更风险定档
+
+### 步骤 4 — 缺陷修复验证
+
+### 步骤 5 — 回灌登记
+
+### 步骤 7 — 提交
+
+### 步骤 8 — 生命周期三件套
+
+### 步骤 9 — 域收口验收走查
+
+### 步骤 10 — 实现代码独立审查
+
+### 步骤 11 — harness 复盘
+"""
+
+
+def _repo(tmp_path: Path, contract: str = CONTRACT) -> Path:
+    root = tmp_path / "proj"
+    (root / ".atlas" / "shared").mkdir(parents=True)
+    (root / ".atlas" / "shared" / "closeout.md").write_text(contract, encoding="utf-8")
+    subprocess.run(["git", "init", "-q"], cwd=root, check=True)
+    subprocess.run(["git", "add", "-A"], cwd=root, check=True)
+    subprocess.run(["git", "-c", "user.email=t@t", "-c", "user.name=t",
+                    "commit", "-qm", "base"], cwd=root, check=True)
+    return root
+
+
+def _touch(root: Path, rel: str) -> None:
+    p = root / rel
+    p.parent.mkdir(parents=True, exist_ok=True)
+    p.write_text("changed\n", encoding="utf-8")
+
+
+def _res(root: Path, base: str = "HEAD") -> dict:
+    return MOD.run(root, base)
+
+
+# ---------------------------------------------------------------- 正控 / 语法
+
+
+def test_contract_row_arrow_chain_and_labels(tmp_path) -> None:
+    root = _repo(tmp_path)
+    _touch(root, "shared/gates.md")
+    res = _res(root)
+    assert set(res["steps"]) == {"1", "2", "5", "7"}, res["steps"]
+    text = res["text"]
+    assert text.splitlines()[0] == "本清单不含语义触发行，正文自查"
+    for n in (1, 2):
+        assert f"[自动] 步骤 {n} " in text, text
+    for n in (5, 7):
+        assert f"[人工] 步骤 {n} " in text, text
+    assert f"步骤 7 " in text and f"closeout.md §2" in text
+
+
+def test_unconditional_row_always_present(tmp_path) -> None:
+    root = _repo(tmp_path)
+    _touch(root, "src/app.ts")
+    res = _res(root)
+    assert set(res["steps"]) == {"1"}, res["steps"]
+    assert "任一工作单元收尾" in res["text"]
+
+
+def test_supplementary_table_is_parsed(tmp_path) -> None:
+    root = _repo(tmp_path)
+    _touch(root, ".trellis/spec/structure/current/demo/facts.md")
+    res = _res(root)
+    assert "结构环产出" in res["text"], res["text"]
+
+
+def test_steps_are_deduped_across_rows(tmp_path) -> None:
+    root = _repo(tmp_path)
+    _touch(root, "shared/gates.md")
+    _touch(root, "DESIGN.md")
+    _touch(root, ".trellis/spec/structure/current/demo/facts.md")
+    text = _res(root)["text"]
+    assert text.count("步骤 1 ") == 1, text
+
+
+# ---------------------------------------------------------------- 告警宇宙
+
+
+def test_business_file_is_counted_without_warning(tmp_path) -> None:
+    root = _repo(tmp_path)
+    _touch(root, "src/app.ts")
+    _touch(root, "src/lib.ts")
+    res = _res(root)
+    assert res["business"] == 2
+    assert "[WARN]" not in res["text"], res["text"]
+    assert "业务面 2 个，只计条数" in res["text"]
+
+
+def test_atlas_owned_unmatched_warns_each_path(tmp_path) -> None:
+    root = _repo(tmp_path)
+    _touch(root, "patches/unknown.py")
+    _touch(root, "_support/unknown.py")
+    res = _res(root)
+    warns = [l for l in res["text"].splitlines() if l.startswith("[WARN]")]
+    assert len(warns) == 2, res["text"]
+    assert any("patches/unknown.py" in w for w in warns)
+    assert any("_support/unknown.py" in w for w in warns)
+
+
+def test_tests_dir_is_covered_by_script_row(tmp_path) -> None:
+    """`tests/` 属「脚本」族：改回归钉不得落进「未命中」告警（真跑咬出的假信号）。"""
+    root = _repo(tmp_path)
+    _touch(root, "tests/test_something.py")
+    res = _res(root)
+    assert "[WARN]" not in res["text"], res["text"]
+    assert set(res["steps"]) == {"1", "2", "5", "7"}, res["steps"]
+
+
+# ---------------------------------------------------------------- 响亮失败
+
+
+def test_dead_step_reference_fails(tmp_path) -> None:
+    bad = CONTRACT.replace("| 环退役 / 真相源迁移 / 产物改名 | 8（生命周期三件套） |",
+                           "| 环退役 / 真相源迁移 / 产物改名 | 6（生命周期三件套） |")
+    root = _repo(tmp_path, bad)
+    _touch(root, "rings/e2e/reference.md")
+    try:
+        _res(root)
+    except MOD.DeriveError as e:
+        assert "步骤 6" in str(e) and "空号" in str(e)
+    else:
+        raise AssertionError("引用已退役步骤 6 必须 FAIL")
+
+
+def test_missing_table_fails_loudly(tmp_path) -> None:
+    root = _repo(tmp_path, "# 收口清单\n\n## 2. 步骤\n\n### 步骤 1 — 门自检\n")
+    _touch(root, "shared/gates.md")
+    try:
+        _res(root)
+    except MOD.DeriveError as e:
+        assert "触发表" in str(e)
+    else:
+        raise AssertionError("表结构缺失必须 FAIL，不得退化成空清单")
+
+
+def test_bad_git_ref_fails(tmp_path) -> None:
+    root = _repo(tmp_path)
+    try:
+        _res(root, "no-such-ref")
+    except MOD.DeriveError as e:
+        assert "git diff" in str(e)
+    else:
+        raise AssertionError("坏 ref 必须 FAIL")
+
+
+# ---------------------------------------------------------------- 语义行不派生
+
+
+def test_semantic_rows_never_derived(tmp_path) -> None:
+    root = _repo(tmp_path)
+    _touch(root, "src/app.ts")
+    res = _res(root)
+    assert "4" not in res["steps"] and "11" not in res["steps"], res["steps"]
+    assert "缺陷修复类任务" not in res["text"]
+    assert "harness 复盘" not in res["text"]
+
+
+# ---------------------------------------------------------------- 真契约 / CLI
+
+
+def test_real_canonical_contract_parses() -> None:
+    rows = MOD.parse_table((PKG_ROOT / "shared" / "closeout.md").read_text(encoding="utf-8"))
+    assert len(rows) >= 10, len(rows)
+    existing = MOD.parse_existing_steps((PKG_ROOT / "shared" / "closeout.md").read_text(encoding="utf-8"))
+    MOD.validate_step_references(rows, existing)  # 不抛 = 无空号
+
+
+def test_cli_json_and_exit_codes(tmp_path, capsys) -> None:
+    root = _repo(tmp_path)
+    _touch(root, "shared/gates.md")
+    assert MOD.main(["--root", str(root), "--diff-base", "HEAD", "--json"]) == 0
+    payload = json.loads(capsys.readouterr().out)
+    assert payload["ok"] is True and "1" in payload["steps"]
+
+    bad = _repo(tmp_path / "bad", CONTRACT.replace(
+        "| 环退役 / 真相源迁移 / 产物改名 | 8（生命周期三件套） |",
+        "| 环退役 / 真相源迁移 / 产物改名 | 12（生命周期三件套） |"))
+    assert MOD.main(["--root", str(bad), "--diff-base", "HEAD"]) == 2
+    assert "[FAIL]" in capsys.readouterr().err
+
+
+def test_non_git_project_fails_with_short_message(tmp_path, capsys) -> None:
+    """评审 P2-2：非 git 项目不是坏 ref —— 短句拒绝，不刷整屏 git usage。"""
+    root = tmp_path / "plain"
+    (root / ".atlas" / "shared").mkdir(parents=True)
+    (root / ".atlas" / "shared" / "closeout.md").write_text(CONTRACT, encoding="utf-8")
+    assert MOD.main(["--root", str(root), "--diff-base", "HEAD"]) == 2
+    err = capsys.readouterr().err
+    assert "不是 git 仓库" in err
+    assert "usage:" not in err.lower()
+
+
+def test_event_path_tokens_follow_layout(tmp_path) -> None:
+    """RFC-20261026-01：ADR / 审查报告前缀随资产根；布局配置本身归「契约」事件。"""
+    (tmp_path / "atlas.config.yaml").write_text(
+        "version: 1\nlayout:\n  assets_root: docs\n", encoding="utf-8")
+    tokens = dict(MOD.event_path_tokens(tmp_path))
+    assert tokens["ADR"] == ("docs/adr/",)
+    assert tokens["独立审查报告"] == ("docs/reviews/", "docs/prd/reviews/", "docs/e2e/reviews/")
+    assert "atlas.config.yaml" in tokens["契约"]

package/tests/test_duty_bug_families.py

@@ -1,5 +1,14 @@
 #!/usr/bin/env python3
-"""DR4 **口径 B** 单源模块（`duty-review/families.py`）的形状钉 + 判定真值表。
+"""DR4 **口径 B** 单源模块（`duty-review/families.py`）的形状钉 + 判定真值表 + 条目字段制式钉。
+
+**套件计数**：19 条 = 既有形状/真值表 4 + D154 字段制式 7 + **D155 日期越界 7** + **D156 指针行 1**
+（`duty-review/README.md` §2 的钉数与本文件一致；改任一钉同步改这里）。
+D156 的 1 条 = 留出验证指针行形状钉（正向：合规指针不改三值；反向：带日期改 `last_date`、带 `#NN` 改 `count`——反向用例即其反面包，不另配 M）。
+D155 的 7 条 = 越界两钉（日历非法 / 未来日期）+ 合法边界反面包 + 判别性补强 + **轮 2 复核补的三钉**：
+**判据级留出 = 归零路径**（全坏字段 + 零散文日期 ⇒ `last_date=""`，既有钉无一走到；pre 红 = verdict/`last_date`/`exact` 三层翻转）；
+**紧边界判别钉 = `T` / `T+1` 对**（红在判据层，但属 G2 同夹具日期串变体，按 RFC-03 §2.1.4 计判别性补强——轮 3 年粒度变异实测：G2 绿、唯它与 CLI 钉红）；
+**送达钉 = CLI 巡检轨**（`main()` 的 stdout——既有钉全在进程内，把 `print` 改成 `stderr.write` 时 15 条钉曾全绿而告警消失）。
+**三条在 D154 版上实测全红；留出资格只归归零路径——「pre 红」不自动等于「留出」（轮 3 判词）。**
 
 **为什么钉它**：口径 B 的输入是**人工写的** `bugs.md`。解析形状一漂，最坏结果是**静默归零**
 （每段都数成 0 ⇒ 永不升室）——那恰好让本机制要治的「复发靠撞见」原样回来，而且**没有任何声息**。
@@ -7,8 +16,20 @@
 
 **副本态**：`duty-review/` 不随包分发（`.atlas/tests` 里没有它）⇒ 显式 skip，不是通过。
 
-变异证明 **M91**：把计数正则从段内全文 (`re.findall(r"#(\\d+)", line)`) 退回行首
-(`r"^#(\\d+)"`) ⇒ 「案数上界」塌成 ≤1 ⇒ 本测红（真实库里的族再也数不到 3）。
+变异证明：
+* **M91**：把计数正则从段内全文 (`re.findall(r"#(\\d+)", line)`) 退回行首 (`r"^#(\\d+)"`)
+  ⇒ 「案数上界」塌成 ≤1 ⇒ 本测红（真实库里的族再也数不到 3）。
+* **M157a**（D154）：摘分层日期来源（回退段内全行散文日期）⇒「陈旧说明不抬窗」正向钉红。
+* **M157b**（D154）：摘坏形状 WARN ⇒ 字段形状钉坏形状组红（静默回退从另一门归来）。
+* **M158a**（D155）：摘日历关（`date.fromisoformat` 失败仍当合法）⇒ **2 红**（日历非法钉 + 归零路径钉）。
+* **M158b**（D155）：摘未来关（晚于当日的字段日期不拦）⇒ **4 红**（未来钉 + 归零钉 + `T+1` 边界钉 + CLI 轨钉）。
+* **M158c**（D155）：把 `main()` 的 `print` 换成 `sys.stderr.write` ⇒ **恰 1 红 = 只有 CLI 轨钉**，17 条判据面全绿
+  —— 这正说明该钉咬的是「告警有没有送达巡检消费者」，与两关算得对不对无关（轮 2 复实用它证伪了「换通道=换留出」的第一版说法，也据此把 CLI 轨从「留出」降为「送达钉」，判据级留出改由归零路径与 `T+1` 边界承担）。
+* 三枚的红因集合 = **恰好是依赖被摘那一关的钉**，无一条无关钉被牵连 ⇒ 注入面与红因一致（不是「一处崩了冒充全局红」）。
+
+判据零变更对照基线（D154 落刀日 2026-10-26，证据 = `proposals/REVIEW-20261026-07` §3 试跑）：
+五段 verdict/案数/最近日期冻结在
+`test_current_real_file_baseline_frozen`——字段制式对现行全文（零条目带尾缀）**零扰动**。
 """
 from __future__ import annotations
 
@@ -23,6 +44,17 @@ PKG_ROOT = Path(__file__).resolve().parents[1]
 FAMILIES = PKG_ROOT / "duty-review" / "families.py"
 BUGS = PKG_ROOT / "duty-review" / "bugs.md"
 
+TODAY = datetime.date(2026, 10, 26)          # D154 落刀日；冻结基线与字段钉都用它，不随时钟漂
+FROZEN_BASELINE = {                          # (案数上界, 最近日期, verdict) —— 现行 bugs.md 五段
+    "structure 逆向（适配器 / 事实区渲染 / 结构环）": (3, "", "族已静默"),
+    "E2E（契约用例 / 生成器 / 校验器）": (16, "2026-10-25", "升室候选"),
+    # 2026-10-28：发版口径回归条目关闭并并入同根归纳（当日补录 `c73f8a0` 出库）
+    # ⇒ 该族最近日期由 2026-10-27 回落到 2026-10-17；案数不变
+    "安装与装配（install.sh / adopt 守卫 / 包自检 / 发版口径）": (3, "2026-10-17", "升室候选"),
+    "图谱通道（已知边界，非缺陷——防误重报）": (0, "", "无同根归纳"),
+    "自感知上报（§15 缺陷族）": (8, "2026-10-17", "升室候选"),
+}
+
 pytestmark = pytest.mark.skipif(
     not FAMILIES.is_file() or not BUGS.is_file(),
     reason="duty-review/ 不随包分发（副本态）：口径 B 的载体不在场 —— 不是通过")
@@ -94,3 +126,323 @@ def test_read_only_and_empty_input_is_not_a_crash() -> None:
     fam = _load()
     assert fam.families("") == []
     assert fam.render([]) == ["(无 duty-review/bugs.md，跳过)"]
+
+
+# ---------------------------------------------------------------------------
+# D154 条目字段制式（2026-10-26）——七钉（含末尾的现行库基线冻结对照钉）
+# ---------------------------------------------------------------------------
+
+def test_fielded_entry_date_drives_window_and_excludes_own_prose() -> None:
+    """带字段条目：字段日期是唯一活跃窗来源；本行散文旧日期与段尾收尾说明**不再抬窗**。"""
+    fam = _load()
+    text = (
+        "## 字段激活段\n"
+        "- 同根归纳：同属一族\n"
+        f"- #51 案甲 2026-01-01〔日期 {TODAY.isoformat()}〕\n"
+        "- #52 案乙\n"
+        "- #53 案丙\n"
+        "（段尾收尾说明 2026-01-01 全量绿——非条目行，不是日期来源）\n"
+    )
+    rows = fam.families(text, today=TODAY)
+    row = rows[0]
+    assert row["last_date"] == TODAY.isoformat(), (
+        "带字段条目的本行散文旧日期 / 段尾说明不应参与活跃窗取数")
+    assert row["active"] is True
+    assert row["verdict"] == "升室候选"
+    assert row["exact"] == 1, row            # 精确病案数 = 带字段条目的 #51
+
+
+def test_stale_tail_note_and_fieldless_entries_do_not_lift_window() -> None:
+    """仅陈旧收尾说明日期、全段无字段条目 ⇒ 判「族已静默」（M157a 的正向钉 ②）。"""
+    fam = _load()
+    text = (
+        "## 静默段\n"
+        "- 同根归纳：同属一族\n"
+        "- #61 案甲\n"
+        "- #62 案乙\n"
+        "- #63 案丙\n"
+        "（收尾说明：2026-01-01 已修全量绿——非条目行）\n"
+    )
+    row = fam.families(text, today=TODAY)[0]
+    assert row["last_date"] == "", "非条目行的日期不是取数源，不得抬窗"
+    assert row["active"] is False
+    assert row["verdict"] == "族已静默"
+
+
+def test_bad_shape_warns_and_falls_back() -> None:
+    """坏形状（重复键 / 日期形态非法 / 未知键 / 值域外 / 缺必填）⇒ WARN + 按无字段回退，不静默。"""
+    fam = _load()
+    text = (
+        "## 坏形状段\n"
+        "- 同根归纳：同属一族\n"
+        "- #71 案甲〔日期 2026-10-26｜日期 2026-10-25〕\n"
+        "- #72 案乙〔日期 2026/10/26〕\n"
+        "- #73 案丙〔时间 2026-10-26〕\n"
+        "- #74 案丁〔状态 已废除〕\n"
+        "- #75 案戊〔状态 开放〕\n"
+        "- #76 案己 2026-10-20\n"
+    )
+    rows = fam.families(text, today=TODAY)
+    row = rows[0]
+    assert len(row["warns"]) == 5, row["warns"]   # #71–#75 各一条，缺「日期」同算坏
+    for w in row["warns"]:
+        assert "已按无字段回退" in w
+    assert row["count"] == 6                      # 上界计数不受字段状态影响
+    assert row["last_date"] == "2026-10-20", "坏形状条目回退后，日期来源只剩 #76 的行内散文日期"
+    assert row["active"] is True and row["verdict"] == "升室候选"
+    assert row["exact"] is None, "段内零个合法带字段条目 ⇒ 无精确病案数列"
+    assert any("WARN 条目字段形状" in ln for ln in fam.render(rows))
+
+
+def test_half_field_is_legal_shape() -> None:
+    """半字段（只带「日期」）合法：字段直接进活跃窗，不 WARN。"""
+    fam = _load()
+    text = (
+        "## 半字段段\n"
+        "- #81 案甲〔日期 2026-10-25〕\n"
+        "- #82 案乙\n- #83 案丙\n"
+    )
+    row = fam.families(text, today=TODAY)[0]
+    assert row["warns"] == []
+    assert row["last_date"] == "2026-10-25"
+    assert row["exact"] == 1
+
+
+def test_mixed_segment_aggregates_by_max_date() -> None:
+    """混合段：带字段新条目 ∪ 无字段旧条目行内日期，段活跃窗 = 并集最大（按条目级回退）。"""
+    fam = _load()
+    text = (
+        "## 混合段\n"
+        "- 同根归纳：同属一族\n"
+        "- #91 新案〔日期 2026-10-25｜状态 开放〕\n"
+        "- #92 旧案 自 2026-10-20 起（无字段，散文日期）\n"
+        "- #93 旧案无日期\n"
+    )
+    row = fam.families(text, today=TODAY)[0]
+    assert row["last_date"] == "2026-10-25"
+    assert row["active"] is True and row["verdict"] == "升室候选"
+    assert row["exact"] == 1
+
+
+def test_render_exact_column_only_when_present() -> None:
+    """显示列钉：带字段段出「精确病案数=M」；无字段段不出该列（RFC v2 §2.1）。"""
+    fam = _load()
+    mixed = "## 混合段\n- 同根归纳：同属一族\n- #91 新案〔日期 2026-10-25〕\n- #92 旧案\n- #93 旧案\n"
+    plain = "## 无字段段\n- #94 案甲\n- #95 案乙\n- #96 案丙\n"
+    out = fam.render(fam.families(mixed, today=TODAY) + fam.families(plain, today=TODAY))
+    mixed_line = [ln for ln in out if "混合段" in ln][0]
+    plain_line = [ln for ln in out if "无字段段" in ln][0]
+    assert "精确病案数=1" in mixed_line
+    assert "精确病案数" not in plain_line
+
+
+# ---------------------------------------------------------------------------
+# D155 字段日期越界校验（2026-10-26，RFC-20261026-05）——四钉
+# ---------------------------------------------------------------------------
+
+def test_calendar_invalid_field_date_warns_and_falls_back() -> None:
+    """越界之一：形态过正则但**日历非法**（13 月 40 日）⇒ WARN + 按无字段回退。
+
+    「判据可被形态满足」族的新实例：`^20\\d\\d-\\d\\d-\\d\\d$` 满足 ≠ 是一个可用日期。
+    """
+    fam = _load()
+    text = (
+        "## 日历非法段\n"
+        "- 同根归纳：同属一族\n"
+        "- #301 案甲 2026-01-01〔日期 2026-13-40〕\n"
+        "- #302 案乙\n"
+        "- #303 案丙\n"
+    )
+    row = fam.families(text, today=TODAY)[0]
+    assert len(row["warns"]) == 1, row["warns"]
+    assert "日历非法" in row["warns"][0], row["warns"]
+    assert "已按无字段回退" in row["warns"][0], row["warns"]
+    assert row["last_date"] == "2026-01-01", "越界字段日期不得抬活跃窗——须回退行内散文日期"
+    assert row["verdict"] == "族已静默"
+
+
+def test_future_field_date_warns_and_falls_back() -> None:
+    """越界之二：**晚于当日**的字段日期 ⇒ WARN + 回退，否则该段被永久判「升室候选」。"""
+    fam = _load()
+    text = (
+        "## 未来日期段\n"
+        "- 同根归纳：同属一族\n"
+        "- #311 案甲 2026-01-01〔日期 2027-01-01〕\n"
+        "- #312 案乙\n"
+        "- #313 案丙\n"
+    )
+    row = fam.families(text, today=TODAY)[0]
+    assert len(row["warns"]) == 1, row["warns"]
+    assert "晚于当日" in row["warns"][0], row["warns"]
+    assert row["last_date"] == "2026-01-01", "未来日期不是活跃窗来源——须回退行内散文日期"
+    assert row["verdict"] == "族已静默"
+
+
+def test_legal_field_date_still_accepted_after_tightening() -> None:
+    """反面包：收紧只挡越界，**合法边界值不得被误伤**。
+
+    正好 = cutoff（`TODAY - WINDOW_DAYS` = 2026-09-26）且行内散文日期更旧 ⇒ 字段日期生效、无 WARN。
+    """
+    fam = _load()
+    cutoff = (TODAY - datetime.timedelta(days=fam.WINDOW_DAYS)).isoformat()
+    text = (
+        "## 合法边界段\n"
+        "- 同根归纳：同属一族\n"
+        f"- #331 案甲 2026-01-01〔日期 {cutoff}〕\n"
+        "- #332 案乙\n"
+        "- #333 案丙\n"
+    )
+    row = fam.families(text, today=TODAY)[0]
+    assert row["warns"] == [], f"合法日期被误拦：{row['warns']}"
+    assert row["last_date"] == cutoff
+    assert row["verdict"] == "升室候选"
+
+
+def test_tail_note_newer_than_field_date_does_not_lift_window() -> None:
+    """判别性补强：收尾说明日期**晚于**字段日期时，活跃窗仍只认字段日期。
+
+    既有钉 #1 的尾注日期（2026-01-01）比字段日期更早，pre/post 同结论 ⇒ 咬不住「其余行不抬窗」；
+    本条把尾注改成**更新**，M157a 类退化才会被抓住。**不替换既有钉**——新增。
+    """
+    fam = _load()
+    text = (
+        "## 尾注更新段\n"
+        "- 同根归纳：同属一族\n"
+        "- #321 案甲〔日期 2026-01-01〕\n"
+        "- #322 案乙\n"
+        "- #323 案丙\n"
+        "（收尾说明 2026-10-26 已修全量绿——非条目行，不是日期来源）\n"
+    )
+    row = fam.families(text, today=TODAY)[0]
+    assert row["last_date"] == "2026-01-01", "收尾说明即使更新也不得抬窗"
+    assert row["verdict"] == "族已静默"
+
+
+def test_all_bad_field_dates_zero_out_window_and_exact() -> None:
+    """归零路径（轮 2 复核指出：现钉无一覆盖）：段内字段日期**全部越界**且无散文日期。
+
+    这是 `last_date = ""` 那条「无日期 ⇒ 已静默」分支在**坏字段**下的唯一来路——既有坏形状钉
+    （`test_bad_shape_warns_and_falls_back`）总留一条带散文日期的 #76，所以从没走到这里。
+    pre（D154）实测：`last=2027-06-01 / 升室候选 / warns=0 / exact=2`（越界值被当合法，
+    且抬窗 + 虚计精确病案数）；post（D155）：全拒 ⇒ 归零静默。
+    """
+    fam = _load()
+    text = (
+        "## 全坏字段段\n"
+        "- 同根归纳：同属一族\n"
+        "- #501 案甲〔日期 2026-13-40〕\n"
+        "- #502 案乙〔日期 2027-06-01〕\n"
+        "- #503 案丙\n"
+    )
+    row = fam.families(text, today=TODAY)[0]
+    assert len(row["warns"]) == 2, row["warns"]
+    assert row["last_date"] == "", "两个越界字段都不许充当日期源"
+    assert row["verdict"] == "族已静默", "越界字段不得把段抬进活跃窗"
+    assert row["exact"] is None, "坏字段条目不得计入精确病案数"
+
+
+def test_tomorrow_field_date_rejected_but_today_accepted() -> None:
+    """紧边界对（轮 2 复核指出：G2 用 2027 远日期，测不出「只按年比较」的偷懒实现）。
+
+    `当日` ⇒ 合法、无 WARN、字段日期生效；`当日 + 1 天` ⇒ 越界 WARN + 回退行内散文日期。
+    """
+    fam = _load()
+    tomorrow = (TODAY + datetime.timedelta(days=1)).isoformat()
+
+    def seg(date_str: str):
+        text = (
+            f"## 边界 {date_str}\n"
+            "- 同根归纳：同属一族\n"
+            f"- #701 案甲 2026-01-01〔日期 {date_str}〕\n"
+            "- #702 案乙\n"
+            "- #703 案丙\n"
+        )
+        return fam.families(text, today=TODAY)[0]
+
+    legal = seg(TODAY.isoformat())
+    assert legal["warns"] == [], f"当日不许被误拦：{legal['warns']}"
+    assert legal["last_date"] == TODAY.isoformat() and legal["verdict"] == "升室候选"
+
+    boundary = seg(tomorrow)
+    assert len(boundary["warns"]) == 1, boundary["warns"]
+    assert "晚于当日" in boundary["warns"][0], boundary["warns"]
+    assert boundary["last_date"] == "2026-01-01", "T+1 必须回退行内散文日期，而不是继续抬窗"
+    assert boundary["verdict"] == "族已静默"
+
+
+def test_cli_channel_delivers_shape_warn_on_stdout(tmp_path, capsys) -> None:
+    """CLI 巡检轨（`duty_signals.sh:30` 的真实消费面）：WARN 必须**到达 stdout**。
+
+    既有钉全部在进程内调 `families()` / `render()`，无一触达 `main()` 的 argv / 读文件 /
+    `print` 分支——把 `print` 改成 `sys.stderr.write` 时 15 条钉全绿而巡检输出里的 WARN 消失
+    （轮 2 复核实测）。本钉把「告警送达消费者」钉住。日期用**真实当日**推导 ⇒ 不绑死某天，可长期复算。
+    """
+    fam = _load()
+    today = datetime.date.today()
+    bad = (today + datetime.timedelta(days=1)).isoformat()
+    legal = today.isoformat()
+
+    def run_cli(body: str) -> str:
+        path = tmp_path / "ledger.md"
+        path.write_text(body, encoding="utf-8")
+        capsys.readouterr()                      # 清屏，避免上一条残留
+        rc = fam.main([str(path)])
+        out = capsys.readouterr().out
+        assert rc == 0, f"CLI 退出码非 0：{rc}"
+        return out
+
+    warn_out = run_cli(
+        f"## 巡检轨越界\n- 同根归纳：同属一族\n- #801 案甲 2026-01-01〔日期 {bad}〕\n"
+        "- #802 案乙\n- #803 案丙\n"
+    )
+    assert "WARN 条目字段形状" in warn_out, "越字段日期的告警没送达 stdout（巡检看不见 = 等于没报）"
+    assert "族已静默" in warn_out and "升室候选" not in warn_out
+
+    quiet_out = run_cli(
+        f"## 巡检轨合法\n- 同根归纳：同属一族\n- #811 案甲〔日期 {legal}〕\n"
+        "- #812 案乙\n- #813 案丙\n"
+    )
+    assert "WARN 条目字段形状" not in quiet_out, "合法日期在 CLI 轨上被误报"
+    assert "升室候选" in quiet_out
+
+
+def test_current_real_file_baseline_frozen() -> None:
+    """判据零变更对照钉（D154）：对现行 `bugs.md` 全文（零条目带尾缀），判据三输出逐段冻结
+    = D154 落刀日基线（REVIEW-20261026-07 §3 试跑）——字段制式对旧库**零扰动**且无 WARN。"""
+    fam = _load()
+    rows = fam.families(BUGS.read_text(encoding="utf-8"), today=TODAY)
+    got = {r["name"]: (r["count"], r["last_date"], r["verdict"]) for r in rows}
+    assert got == FROZEN_BASELINE, got
+    assert all(r["warns"] == [] for r in rows), "现行全文零尾缀 ⇒ 不应有任何形状 WARN"
+    assert all(r["exact"] is None for r in rows), "现行全文零尾缀 ⇒ 不应出精确病案数列"
+
+
+# ---------------------------------------------------------------------------
+# D156 留出验证指针行形状钉（2026-10-26，RFC-20261026-03 Phase 1）——一钉
+# ---------------------------------------------------------------------------
+
+def test_holdout_pointer_line_is_judgment_neutral() -> None:
+    """指针行 `- 留出验证：RFC-… / REVIEW-…` 的格式禁令的机器面（D156 / `RFC-03` §4.4）。
+
+    正向：合规指针行（无日期 / 无 `#NN`）⇒ `count` / `last_date` / `verdict` 三值不变；
+    反向：带日期 ⇒ `last_date` 被抬到指针行日期；带 `#NN` ⇒ `count` +1——这就是为什么
+    格式禁日期与病案号（指针必须中性，不得污染段级信号；`duty-review/README.md` §2/§3）。
+    """
+    fam = _load()
+    base = (
+        "## 指针段\n"
+        "- 同根归纳：同属一族\n"
+        "- #601 案甲 2026-10-01\n"
+        "- #602 案乙\n"
+        "- #603 案丙\n"
+    )
+    legal = base + "- 留出验证：RFC-20261026-03 / REVIEW-20261026-06\n"
+    dirty_date = base + "- 留出验证：RFC-20261026-03（2026-10-26）\n"
+    dirty_id = base + "- 留出验证：RFC-20261026-03 / REVIEW-20261026-06 / #99\n"
+    b, l, d, i = (fam.families(t, today=TODAY)[0] for t in (base, legal, dirty_date, dirty_id))
+    assert (b["count"], b["last_date"], b["verdict"]) == (3, "2026-10-01", "升室候选"), b
+    assert (l["count"], l["last_date"], l["verdict"]) == (b["count"], b["last_date"], b["verdict"]), \
+        "合规指针行不得改变三值"
+    assert d["last_date"] == "2026-10-26" and d["last_date"] != b["last_date"], \
+        "反向：带日期的指针行会把最近日期抬到指针行——故格式禁日期"
+    assert i["count"] == b["count"] + 1, "反向：带 #NN 的指针行会虚增案数——故格式禁 #NN"