16.3 交付卷二

#!/usr/bin/env python3
# file: sim/na_16_3_handoff.py
# tier: S
# verify: /opt/homebrew/bin/python3 sim/na_16_3_handoff.py
"""卷一 16.3 交付卷二：把交给卷二《叙事引擎与分支系统》的接口整理成清单并逐项自检。

交付四类：规格段 / 内核函数 / 仿真产物 / 判据与容差。
自检口径——每一项都要在磁盘上找得到：规格段在 story_spec.json 的顶层键里、
函数在 core/src/inkwell/engine.ts 的 `export function` 里、产物在 out/ 下、
判据在 spec.metrics 里。缺一即 FAIL 并非零退出。
"""
from __future__ import annotations

import json
import os
import sys

HERE = os.path.dirname(os.path.abspath(__file__))
ROOT = os.path.dirname(HERE)
SPEC = os.path.join(ROOT, "config/story_spec.json")
ENGINE = os.path.join(ROOT, "core/src/inkwell/engine.ts")
OUT = os.path.join(ROOT, "out")

SEGMENTS = ["meta", "world", "characters", "beats", "scene_graph",
            "dialogue", "conditions", "state", "endings", "metrics"]
FUNCS = ["initState", "condOk", "applyEffects", "applyChoice",
         "canonical", "digest", "replay", "samplePaths"]
ARTIFACTS = ["spec_check.json", "digest_py.json", "na16_rehearsal.json"]
CRITERIA = ["coverage_target_permille", "ending_entropy_min_milli_bits",
            "affinity_mae_max", "tension_mae_max"]


def main() -> int:
    spec = json.load(open(SPEC, encoding="utf-8"))
    engine = open(ENGINE, encoding="utf-8").read()
    fails: list[str] = []

    seg_ok = [s for s in SEGMENTS if s in spec]
    fn_ok = [f for f in FUNCS if f"export function {f}(" in engine]
    art_ok = [a for a in ARTIFACTS if os.path.exists(os.path.join(OUT, a))]
    crit_ok = [c for c in CRITERIA if c in spec["metrics"]]

    for name, got, want in (("规格段", seg_ok, SEGMENTS), ("内核函数", fn_ok, FUNCS),
                            ("仿真产物", art_ok, ARTIFACTS), ("判据容差", crit_ok, CRITERIA)):
        miss = [x for x in want if x not in got]
        if miss:
            fails.append(f"{name}缺 {miss}")

    print("交付清单（卷一《叙事结构与可执行规格》→ 卷二《叙事引擎与分支系统》）")
    print(f"① 规格段  config/story_spec.json  {len(seg_ok)}/{len(SEGMENTS)}")
    print("   " + "、".join(seg_ok))
    print(f"② 内核函数 core/src/inkwell/engine.ts  {len(fn_ok)}/{len(FUNCS)}")
    print("   " + "、".join(fn_ok))
    print(f"③ 仿真产物 out/  {len(art_ok)}/{len(ARTIFACTS)}")
    for a in art_ok:
        sz = os.path.getsize(os.path.join(OUT, a))
        print(f"   {a:<24} {sz} B")
    print(f"④ 判据容差 spec.metrics  {len(crit_ok)}/{len(CRITERIA)}")
    for c in crit_ok:
        print(f"   {c:<32} {spec['metrics'][c]}")
    print(f"硬判据：整数不变量残差 = 0（见 sim/na_appendix_invariants.py）")
    print(f"交付自检 {'PASS' if not fails else 'FAIL'}（{len(seg_ok) + len(fn_ok) + len(art_ok) + len(crit_ok)}"
          f"/{len(SEGMENTS) + len(FUNCS) + len(ARTIFACTS) + len(CRITERIA)}）")
    for f in fails:
        print(f"  FAIL {f}")
    return 1 if fails else 0


if __name__ == "__main__":
    sys.exit(main())

交付清单（卷一《叙事结构与可执行规格》→ 卷二《叙事引擎与分支系统》）
① 规格段  config/story_spec.json  10/10
   meta、world、characters、beats、scene_graph、dialogue、conditions、state、endings、metrics
② 内核函数 core/src/inkwell/engine.ts  8/8
   initState、condOk、applyEffects、applyChoice、canonical、digest、replay、samplePaths
③ 仿真产物 out/  3/3
   spec_check.json          1033 B
   digest_py.json           443368 B
   na16_rehearsal.json      1032 B
④ 判据容差 spec.metrics  4/4
   coverage_target_permille         850
   ending_entropy_min_milli_bits    1500
   affinity_mae_max                 12
   tension_mae_max                  1
硬判据：整数不变量残差 = 0（见 sim/na_appendix_invariants.py）
交付自检 PASS（25/25）