| |
| |
| """B0 基线冻结 · 维度锁读取校验（HoloAeon 侧） |
| |
| 按 AGENT_FEED_V4_REHAB_FUSION_20261102.md §4 SOP-1 第 4 步要求： |
| "两侧单测各加一条断言读它"——本脚本读 reports/dimension_lock.json， |
| 对 12 维度锁做断言；不并入 unittest discover，避免破坏 34/21/5 与 v3_gate 32 项锁。 |
| 完美判据：退出码 0 = PASS。 |
| |
| 密令：潮起开门，潮落闭嘴。evidence_class=simulated，仿真≠证明，碳基终裁。 |
| """ |
| import json |
| import os |
| import sys |
|
|
| HERE = os.path.dirname(os.path.abspath(__file__)) |
| ROOT = os.path.dirname(HERE) |
| LOCK = os.path.join(ROOT, "reports", "dimension_lock.json") |
|
|
| EXPECTED = { |
| "lock_id": "B0-LOCK-V2.0-REHAB-FUSION", |
| "spec_version": "0.9.1", |
| "diff0_hash": "2fc892cf9af6e755", |
| "tamper_sensitive_hash": "f42c8229ee5acd73", |
| "holoaeon_agents": 25, |
| "holoaeon_skills": 47, |
| "holoaeon_selftest_groups": 25, |
| "ivsa_selftest_groups": 21, |
| "skill_matrix_runtime_skills": 1199, |
| } |
|
|
| |
| |
| |
| |
| |
| FROZEN_SNAPSHOT = { |
| "spec_doc_version": { |
| "frozen_value": "0.9.4", |
| "current_source": "holoaeon.spec.DOC_VERSION", |
| "reason": "文档版本号，随批次演进，不参与运行态锁死校验", |
| "note_cmd": "python -c \"from holoaeon.spec import DOC_VERSION; print(DOC_VERSION)\"", |
| }, |
| "holoaeon_domain_packs": { |
| "frozen_value": 9, |
| "current_source": "holoaeon.packs.PACK_ORDER len", |
| "reason": "九领域包数，V1 起未变", |
| "note_cmd": "python -c \"from holoaeon.packs import PACK_ORDER; print(len(PACK_ORDER))\"", |
| }, |
| "holoaeon_extra_packs": { |
| "frozen_value": 9, |
| "current_source": "holoaeon.packs.EXTRA_PACK_ORDER len", |
| "reason": "扩展包数，随批次演进，以命令回读为准，不记时点快照", |
| "note_cmd": "python -c \"from holoaeon.packs import EXTRA_PACK_ORDER; print(len(EXTRA_PACK_ORDER))\"", |
| }, |
| "holoaeon_unittests": { |
| "frozen_value": "34/21/5", |
| "current_source": "tests/ + tests/v3 + tests/verax 实跑计数", |
| "reason": "三套测试计数，随批次演进，以命令回读为准，不记时点快照", |
| "note_cmd": "python -c \"import subprocess,sys;r=subprocess.run([sys.executable,'-m','unittest','discover','-s','tests'],capture_output=True,text=True);print([l for l in r.stderr.splitlines() if l.startswith('Ran')][-1])\"", |
| }, |
| } |
|
|
|
|
| def read_frozen_snapshot_current(): |
| """读取冻结快照项的当前值（只读，不校验）。""" |
| current = {} |
| try: |
| from holoaeon.spec import DOC_VERSION |
| current["spec_doc_version"] = DOC_VERSION |
| except Exception: |
| current["spec_doc_version"] = "(读取失败)" |
| try: |
| from holoaeon.packs import PACK_ORDER, EXTRA_PACK_ORDER |
| current["holoaeon_domain_packs"] = len(PACK_ORDER) |
| current["holoaeon_extra_packs"] = len(EXTRA_PACK_ORDER) |
| except Exception: |
| current["holoaeon_domain_packs"] = "(读取失败)" |
| current["holoaeon_extra_packs"] = "(读取失败)" |
| |
| current["holoaeon_unittests"] = "(见实测，不自动跑)" |
| return current |
|
|
|
|
| def print_frozen_snapshot(): |
| """打印冻结快照项当前值与冻结值的差异（仅供碳基终审视察，不判 FAIL）。""" |
| current = read_frozen_snapshot_current() |
| print("[SNAPSHOT] 冻结快照项（不参与校验，仅供碳基终审视察）：") |
| for key, meta in FROZEN_SNAPSHOT.items(): |
| cur = current.get(key, "(未知)") |
| frozen = meta["frozen_value"] |
| if key == "holoaeon_unittests": |
| note = "← 见 README 实测值" |
| elif str(cur) == str(frozen): |
| note = "← 一致" |
| else: |
| note = "← 演进（正常）" |
| print(f" - {key}: 冻结={frozen} 当前={cur} {note}") |
|
|
|
|
| def main(): |
| if not os.path.isfile(LOCK): |
| print(f"[FAIL] dimension_lock.json 不存在: {LOCK}") |
| return 1 |
| with open(LOCK, "r", encoding="utf-8") as f: |
| d = json.load(f) |
|
|
| fails = [] |
| if d.get("lock_id") != EXPECTED["lock_id"]: |
| fails.append(f"lock_id={d.get('lock_id')} != {EXPECTED['lock_id']}") |
| if d.get("evidence_class") != "simulated": |
| fails.append("evidence_class != simulated") |
| dims = {x["name"]: x["value"] for x in d.get("dimensions", [])} |
| if len(d.get("dimensions", [])) != 12: |
| fails.append(f"dimensions count={len(d.get('dimensions', []))} != 12") |
| for k, v in EXPECTED.items(): |
| if k == "lock_id": |
| continue |
| if dims.get(k) != v: |
| fails.append(f"{k}={dims.get(k)!r} != {v!r}") |
| gates = d.get("audit", {}).get("seven_gates", []) |
| if len(gates) != 7: |
| fails.append(f"seven_gates count={len(gates)} != 7") |
| if d.get("audit", {}).get("violation_count") != 0: |
| fails.append("violation_count != 0") |
|
|
| if fails: |
| print("[FAIL] dimension_lock 校验失败：") |
| for x in fails: |
| print(" -", x) |
| return 1 |
| print("[PASS] dimension_lock.json 12 维度 + 7 闸 + 0 violation 全部一致") |
| print(" diff0_hash=2fc892cf9af6e755 tamper=f42c8229ee5acd73 spec_version=0.9.1") |
| print_frozen_snapshot() |
| return 0 |
|
|
|
|
| if __name__ == "__main__": |
| sys.exit(main()) |
|
|
