5.2 弧光与行为的对齐

#!/usr/bin/env python3
# file: sim/na_05_2_arc_alignment.py
# tier: S
# verify: /opt/homebrew/bin/python3 sim/na_05_2_arc_alignment.py
"""弧光阶段与好感度门限的对齐：乐观最早跨越节拍 vs 声明转折节拍。

乐观上界 = 玩家把该角色的正向好感度选项全选一遍。连上界都没能在声明节拍前越过
门限，就是错位。错位是分析结论，脚本仍 exit 0；只有结构性问题才 FAIL。
"""
from __future__ import annotations

import json
import os
import sys

GATE_ORDER = ["cold", "warm", "trust"]


def load_spec() -> dict:
    here = os.path.dirname(os.path.abspath(__file__))
    with open(os.path.join(here, "../config/story_spec.json"), encoding="utf-8") as fh:
        return json.load(fh)


def scene_to_beat(spec: dict) -> dict:
    m: dict[str, int] = {}
    for i, b in enumerate(spec["beats"]):
        m.setdefault(b["scene"], i + 1)
    return m


def gains_by_beat(spec: dict, cid: str, s2b: dict) -> dict:
    out: dict[int, int] = {}
    for n in spec["dialogue"]:
        for c in (n.get("choices") or []):
            v = ((c.get("effects") or {}).get("add") or {}).get(cid)
            if v and v > 0 and n["scene"] in s2b:
                out[s2b[n["scene"]]] = out.get(s2b[n["scene"]], 0) + v
    return out


def earliest_cross(init: int, thr: int, gains: dict, n: int):
    if init >= thr:
        return 0
    cur = init
    for b in range(1, n + 1):
        cur += gains.get(b, 0)
        if cur >= thr:
            return b
    return None


def main() -> int:
    spec = load_spec()
    n = len(spec["beats"])
    vars_ = set(spec["state"]["vars"])
    s2b = scene_to_beat(spec)
    structural, rows = [], []
    for ch in spec["characters"]:
        cid = ch["id"]
        gates, thr = ch["affinity"]["gates"], ch["affinity"]["thresholds"]
        arc = ch.get("arc") or {}
        stages, declared = list(arc.get("stages") or []), list(arc.get("beats") or [])
        if len(stages) != 3 or len(declared) != 3:
            structural.append(f"{cid} 的 arc 不是三阶段三节拍")
            continue
        if [gates[k] for k in GATE_ORDER] != list(thr):
            structural.append(f"{cid} 的 gates 与 thresholds 不一致：{gates} vs {thr}")
        gains = gains_by_beat(spec, cid, s2b) if cid in vars_ else {}
        for i in range(3):
            ec = earliest_cross(ch["affinity"]["init"], thr[i], gains, n)
            if ec is None:
                verdict = "不可达"
            elif ec <= declared[i]:
                verdict = "对齐"
            else:
                verdict = f"落后 {ec - declared[i]} 节拍"
            rows.append({"id": cid, "stage_no": i + 1, "stage": stages[i], "gate": GATE_ORDER[i],
                         "threshold": thr[i], "declared_beat": declared[i], "earliest_cross": ec,
                         "verdict": verdict, "is_var": cid in vars_})
    aligned = sum(1 for r in rows if r["verdict"] == "对齐")
    lag = sum(1 for r in rows if r["verdict"].startswith("落后"))
    unreach = sum(1 for r in rows if r["verdict"] == "不可达")
    mis = [f"{r['id']}·阶段{r['stage_no']}" for r in rows if r["verdict"] != "对齐"]
    non_var = sorted({r["id"] for r in rows if not r["is_var"]})
    here = os.path.dirname(os.path.abspath(__file__))
    out = os.path.join(here, "../out/arc_alignment.json")
    os.makedirs(os.path.dirname(out), exist_ok=True)
    with open(out, "w", encoding="utf-8") as fh:
        json.dump({"rows": rows, "aligned": aligned, "lagging": lag, "unreachable": unreach,
                   "total": len(rows), "misaligned": mis, "non_var_characters": non_var,
                   "structural_problems": structural}, fh, ensure_ascii=False, indent=2)
        fh.write("\n")
    print("角色 阶段 | 门限 | 声明节拍 | 乐观最早跨越 | 判定")
    for r in rows:
        ec = "—" if r["earliest_cross"] is None else ("初始即满足" if r["earliest_cross"] == 0 else f"b{r['earliest_cross']:02d}")
        print(f"{r['id']} 阶段{r['stage_no']} {r['stage']} | {r['gate']}={r['threshold']} | 声明 b{r['declared_beat']:02d} | 乐观最早 {ec} | {r['verdict']}")
    print(f"共 {len(rows)} 条（6 角色 × 3 阶段）：对齐 {aligned} · 落后 {lag} · 不可达 {unreach}")
    print(f"错位清单：{mis}")
    print(f"不在 state.vars 的角色（无好感度变量）：{non_var}")
    for p in structural:
        print(f"FAIL {p}")
    if structural:
        return 1
    print("OK na_05_2_arc_alignment：结构自洽，错位 4 条为分析结论")
    return 0


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

角色 阶段 | 门限 | 声明节拍 | 乐观最早跨越 | 判定
yan 阶段1 失踪的传说 | cold=30 | 声明 b01 | 乐观最早 b05 | 落后 4 节拍
yan 阶段2 被怀疑的守夜人 | warm=60 | 声明 b08 | 乐观最早 b07 | 对齐
yan 阶段3 托付者 | trust=85 | 声明 b12 | 乐观最早 b07 | 对齐
hui 阶段1 交易者 | cold=30 | 声明 b02 | 乐观最早 初始即满足 | 对齐
hui 阶段2 动摇的盟友 | warm=60 | 声明 b06 | 乐观最早 b02 | 对齐
hui 阶段3 共同承担者 | trust=85 | 声明 b14 | 乐观最早 b13 | 对齐
shen 阶段1 教条者 | cold=30 | 声明 b03 | 乐观最早 初始即满足 | 对齐
shen 阶段2 怀疑者 | warm=60 | 声明 b09 | 乐观最早 b03 | 对齐
shen 阶段3 鸣钟者 | trust=85 | 声明 b15 | 乐观最早 b03 | 对齐
mu 阶段1 旁观者 | cold=30 | 声明 b04 | 乐观最早 初始即满足 | 对齐
mu 阶段2 账页的持有者 | warm=60 | 声明 b10 | 乐观最早 b04 | 对齐
mu 阶段3 证人 | trust=85 | 声明 b13 | 乐观最早 b09 | 对齐
lin 阶段1 规矩的看守 | cold=30 | 声明 b05 | 乐观最早 初始即满足 | 对齐
lin 阶段2 沉默的同谋 | warm=60 | 声明 b11 | 乐观最早 — | 不可达
lin 阶段3 交接者 | trust=85 | 声明 b16 | 乐观最早 — | 不可达
hai 阶段1 向导 | cold=30 | 声明 b07 | 乐观最早 初始即满足 | 对齐
hai 阶段2 被抛下的孩子 | warm=60 | 声明 b12 | 乐观最早 初始即满足 | 对齐
hai 阶段3 记得的人 | trust=85 | 声明 b16 | 乐观最早 — | 不可达
共 18 条（6 角色 × 3 阶段）：对齐 14 · 落后 1 · 不可达 3
错位清单：['yan·阶段1', 'lin·阶段2', 'lin·阶段3', 'hai·阶段3']
不在 state.vars 的角色（无好感度变量）：['hai', 'lin']
OK na_05_2_arc_alignment：结构自洽，错位 4 条为分析结论