47 lines
2.4 KiB
Python
47 lines
2.4 KiB
Python
"""守卫测试：防止旧逐题（per-question）路径在 unit 化迁移后复活或残留。
|
||
|
||
Task 3-10 已将三池切分、分批整锁、pair-level 聚合、gate 块基线缓存等契约
|
||
从"逐题 qid"迁移到"QuestionUnit 整锁"。本测试对迁移后的源码做静态锚点扫描，
|
||
锁住四个不可回退的语义标志：一旦有人误引入旧逐题分桶 / 逐题 gate 缓存 / 逐题
|
||
累加 / 未走 unit 化的代码，断言即刻失败。
|
||
|
||
覆盖模块：batching（分批）、pools（三池切分）、inference（pair 聚合）、
|
||
app.harness.validate（gate 块核心残留点）。
|
||
"""
|
||
|
||
import inspect
|
||
import re
|
||
|
||
from app.harness import batching, inference, pools
|
||
|
||
|
||
def test_no_parallel_perquestion_split_helpers():
|
||
"""契约迁 unit 后，不得残留会拆 pair 的旧逐题分批 / 切分 / gate 块路径。"""
|
||
from app.harness import validate as hvalidate # gate 块真实路径
|
||
|
||
src = (
|
||
inspect.getsource(batching)
|
||
+ inspect.getsource(pools)
|
||
+ inspect.getsource(hvalidate)
|
||
+ inspect.getsource(inference) # 覆盖 T6 pair-level 聚合路径
|
||
)
|
||
# 旧逐题分桶残留：正确率不应按 qid 直接取
|
||
assert "correctness.get(qid)" not in src, "batching 仍有逐题分桶残留"
|
||
|
||
# gate 块残留探测：validate.py 是逐题 gate 核心残留点。
|
||
# 逐个 baseline_cache.get(...) 调用点都必须按 unit_id 键控、不得回退到裸 qid/question_id，
|
||
# 否则视为逐题残留复活。跨行实参用容纳换行的懒惰匹配抓全整个调用文本。
|
||
baseline_get_calls = re.findall(r"baseline_cache\.get\((?:[^()]|\n)*?\)", src)
|
||
# 兜底：正则必须真抓到 validate.py 的调用，否则 for 空转又成 tautology
|
||
assert baseline_get_calls, "守卫失效：未抓到任何 baseline_cache.get 调用"
|
||
for call in baseline_get_calls:
|
||
assert "unit_id" in call, f"baseline_cache.get 未按 unit_id 键控（逐题残留）: {call}"
|
||
assert "qid" not in call and "question_id" not in call, (
|
||
f"baseline_cache.get 回退逐题 qid: {call}"
|
||
)
|
||
|
||
# 逐题累加残留：n_used 不应按逐题 chunk 长度累加（应按 unit）
|
||
assert "n_used += len(chunk)" not in src, "validate n_used 仍逐题累加（应按 unit）"
|
||
# 正向 unit 化探测：pools/batching/validate/inference 已走 unit 契约
|
||
assert src.count("build_units") >= 1, "pools/batching/validate/inference 未走 unit 化聚合"
|