test_step6_gate_wiring.py
5.4 KB
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
#!/usr/bin/env python3
"""Step 6 Gate 接线审计（Microsoft-Decision-1 位点/校验节点知识, learn_queue #1434, 2026-10-14 吸收）
知识判据（原文 L7）：企业现场最容易被省掉的恰恰是「校验」——该有的检验节点被跳过，
规则都讲过，但动手写 Skill 时默认倾向仍占上风。**闸门必须由 harness 强制，不靠 prompt 提醒。**
病理（HGB WHERE×WHY）：
WHERE = Step6 apply-done 的校验节点登记环
WHY = reason code 在 VerifyReason 里声明、在 Step6 报告模板里被「prompt 提醒」，
但从无任何调用方 ⇒ 该检验节点在运行时并不存在（prompt 提醒 ≠ harness 闸门）。
实测：89 个码中 60 个 0 调用方，其中 NO_ENDORSER / GENERALIZATION_RISK
两个码的**唯一**存在形式就是 Step6 提示词里的一句话。
测试用例：
TC1 _reason_code_wiring_probe() 契约（keys + 计数自洽）
TC2 接线后 prompt_only 收缩：NO_ENDORSER / GENERALIZATION_RISK 不再 prompt-only
TC3 _has_endorser() 语义（背书人字段 / NO_ENDORSER 显式声明）
TC4 _has_generalization_check() 语义（泛化性核查字段）
TC5 源码守卫：_on_apply_done 真的发射 endorser / generalization 两个 node trace
TC6 /api/learn/gate-audit 的 layer4_health 暴露接线读数（否则离线审计看不到）
"""
import re
import sys
from pathlib import Path
APP = Path("/data/data/com.termux/files/home/wechat-viewer/app.py")
src = APP.read_text(encoding="utf-8")
sys.path.insert(0, "/data/data/com.termux/files/home/wechat-viewer")
FAIL = []
def check(cond, label):
print((" PASS " if cond else " FAIL ") + label)
if not cond:
FAIL.append(label)
print("TC1 _reason_code_wiring_probe() 契约")
try:
import app as _app
probe = _app._reason_code_wiring_probe()
for k in ("n_declared", "n_wired", "n_unwired", "n_prompt_only", "prompt_only", "unwired"):
check(k in probe, f"key 存在: {k}")
check(probe["n_declared"] == probe["n_wired"] + probe["n_unwired"],
f"计数自洽 wired+unwired=declared ({probe['n_wired']}+{probe['n_unwired']}="
f"{probe['n_declared']})")
check(probe["n_prompt_only"] == len(probe["prompt_only"]),
"n_prompt_only 与列表长度一致")
check(probe["n_declared"] > 50, f"声明码数 > 50（实测 {probe['n_declared']}）")
except Exception as e:
check(False, f"_reason_code_wiring_probe 不可用: {e}")
print("TC2 prompt_only 收缩（NO_ENDORSER / GENERALIZATION_RISK 已接线）")
try:
check("NO_ENDORSER" not in probe["prompt_only"],
"NO_ENDORSER 不再是 prompt-only（已有 harness 闸门）")
check("GENERALIZATION_RISK" not in probe["prompt_only"],
"GENERALIZATION_RISK 不再是 prompt-only（已有 harness 闸门）")
check(probe["n_prompt_only"] < 4,
f"prompt_only 数 < 4（实测 {probe['n_prompt_only']}: {probe['prompt_only']}）")
except Exception as e:
check(False, f"TC2 异常: {e}")
print("TC3 _has_endorser() 语义")
try:
_he = _app._has_endorser
check(_he("## Step 6\n- 背书人: 火星人\r\n") is True, "命中 `背书人:` 字段")
check(_he("- 背书人: NO_ENDORSER\n") is True, "命中 NO_ENDORSER 显式声明")
check(_he("- 背书人: user=yibooo\n") is True, "命中 endorser 具名")
check(_he("# Step 6 知识应用报告\n- Gate 密度评分: 5/10\n") is False,
"无背书人字段 → False（Gate PASS 不算背书人）")
check(_he("") is False, "空文本 → False")
except Exception as e:
check(False, f"TC3 异常: {e}")
print("TC4 _has_generalization_check() 语义")
try:
_hg = _app._has_generalization_check
check(_hg("- 泛化性核查 (RRSI): generalization\n") is True, "命中泛化性核查字段")
check(_hg("- 泛化性核查: memorization → GENERALIZATION_RISK\n") is True,
"memorization 判定也算已核查（判定本身合规）")
check(_hg("- Gate 密度评分: 5/10\n- 执行轨迹评分: 4/10\n") is False,
"无泛化性核查字段 → False（memorization 风险未报）")
check(_hg("") is False, "空文本 → False")
except Exception as e:
check(False, f"TC4 异常: {e}")
print("TC5 源码守卫：_on_apply_done 发射两个 node trace")
check("node=step6_apply.endorser" in src, "发射 node=step6_apply.endorser")
check("node=step6_apply.generalization" in src, "发射 node=step6_apply.generalization")
check(re.search(r'gate=\{VerifyReason\.NO_ENDORSER\}', src) is not None,
"endorser 闸门 gate=VerifyReason.NO_ENDORSER（非裸字面量）")
check(re.search(r'gate=\{VerifyReason\.GENERALIZATION_RISK\}', src) is not None,
"generalization 闸门 gate=VerifyReason.GENERALIZATION_RISK")
# 检测用全文（CLM #1323：检测与存储解耦）
_m = re.search(r"if not _has_endorser\((\w+)\)", src)
check(_m is not None and _m.group(1) == "_apply_full",
f"背书人检测用全文（实参 {_m.group(1) if _m else 'N/A'}，须为 _apply_full）")
print("TC6 gate-audit 暴露接线读数")
check("reason_code_wiring" in src, "layer4_health 字段 reason_code_wiring 已接线（离线审计可见）")
print()
if FAIL:
print(f"RED — {len(FAIL)} 项未通过:")
for f in FAIL:
print(" -", f)
sys.exit(1)
print(f"GREEN — 全部通过（reason codes: {probe['n_declared']} 声明 / "
f"{probe['n_wired']} 已接线 / {probe['n_prompt_only']} 仍 prompt-only）")