附录 A 叙事规格字段表、条件文法与数据集索引

#!/usr/bin/env python3
# file: sim/na_appendix_index.py
# tier: S
# verify: /opt/homebrew/bin/python3 sim/na_appendix_index.py
"""附录 A 的索引生成器：清点 story_spec.json 的九段结构、实体清单与算子用量。

与 na_appendix_invariants.py 分工：那个判「不变量成立与否」（残差必须为 0），本脚本只清点、不判定。
"""
from __future__ import annotations

import json
import os
import sys

SPEC = os.path.join(os.path.dirname(os.path.abspath(__file__)), "../config/story_spec.json")


def walk(c, ops, forms) -> None:
    """递归统计条件的比较算子与形态用量。"""
    if not c:
        return
    k = c[0]
    forms[k] = forms.get(k, 0) + 1
    if k == "aff":
        ops[c[2]] = ops.get(c[2], 0) + 1
    elif k in ("and", "or"):
        walk(c[1], ops, forms)
        walk(c[2], ops, forms)
    elif k == "not":
        walk(c[1], ops, forms)


def main() -> int:
    with open(SPEC, encoding="utf-8") as fh:
        spec = json.load(fh)

    print("== 九段结构 ==")
    for name, val in spec.items():
        kind = type(val).__name__
        n = len(val) if isinstance(val, (list, dict)) else 1
        keys = " ".join((val[0] if isinstance(val, list) else val).keys()) if n else ""
        print(f"{name:<14} {kind:<5} {n:>3}  {keys}")

    st, w = spec["state"], spec["world"]
    ents = [("派系", len(w["factions"])), ("地点", len(w["locations"])), ("lore", len(w["lore"])),
            ("规则", len(w["rules"])), ("角色", len(spec["characters"])), ("节拍", len(spec["beats"])),
            ("场景", len(spec["scene_graph"]["nodes"])), ("场景边", len(spec["scene_graph"]["edges"])),
            ("对话节点", len(spec["dialogue"])),
            ("选项", sum(len(n.get("choices") or []) for n in spec["dialogue"])),
            ("flag", len(st["flags"])), ("变量", len(st["vars"])), ("物品", len(st["items"])),
            ("结局", len(spec["endings"]))]
    print("\n== 实体清单 ==")
    for label, n in ents:
        print(f"{label:<10} {n}")

    conds = [n.get("line_when") for n in spec["dialogue"]]
    conds += [c.get("when") for n in spec["dialogue"] for c in (n.get("choices") or [])]
    conds += [e.get("when") for e in spec["scene_graph"]["edges"]]
    conds += [e.get("when") for e in spec["endings"]]
    conds += [n.get("enter_when") for n in spec["scene_graph"]["nodes"]]
    conds += [loc.get("unlock_when") for loc in w["locations"]]
    ops, forms = {}, {}
    for c in conds:
        walk(c, ops, forms)
    print("\n== 条件比较算子用量 ==")
    for k in sorted(ops):
        print(f"  aff {k:<3} {ops[k]}")
    print("== 条件形态用量 ==")
    for k in sorted(forms):
        print(f"  {k:<6} {forms[k]}")
    return 0


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

== 九段结构 ==
meta           dict    7  title code spec_version start acts act_names scale
world          dict    4  factions locations lore rules
characters     list    6  id name role faction goals fears secret affinity arc
beats          list   16  id act scene tension summary
scene_graph    dict    2  nodes edges
dialogue       list   48  id scene speaker line line_when choices
conditions     dict    4  grammar ops truthy forms
state          dict    3  flags vars items
endings        list    5  id name when
metrics        dict    5  target_tension_curve coverage_target_permille ending_entropy_min_milli_bits affinity_mae_max tension_mae_max

I1 好感度初值在声明区间内     6/6
I2 好感度区间统一 [0,100]     6/6
I3 节拍张力 ∈ [1,5]           16/16
I4 各段 id 唯一               characters/dialogue/beats/endings/locations
I5 全部 goto 目标存在         115 条选项
I6 结局节点与声明一致         5/5（id 与名双口径）
I7 场景边两端均存在           16/16
I8 条件引用均已声明           flag 10 / aff 4 / item 8
I9 效果写入域全部合法         越界 0
I10 声明但从未写入（仅报告）   flag [] / var []
I11 有 affinity 但不在 vars    ['lin', 'hai']（仅报告，见第 13 章）

不变量残差 0
OK na_appendix_invariants：11 条不变量全部通过

派系   4      地点   14     lore    6     规则   4
角色   6      节拍   16     场景    14    场景边  16
对话节点 48    选项  115     flag   18    变量   4
物品   9      结局   5

# snippet: S 层用全路径解释器；for 循环逐个执行，避免只跑第一个文件
for f in sim/na_appendix_*.py; do /opt/homebrew/bin/python3 "$f" || exit 1; done

# snippet: node --test 接收 glob 而非目录，必须加引号让 node 自己展开
node --test 'core/test/na_*.test.ts'

# snippet: 复用全局 Playwright 必须经 createRequire，NODE_PATH 对 ESM import 无效
node web/verify_na12.mjs

# snippet: 由内到外——真源 → S 层清点 → P 层内核 → W 层原型
/opt/homebrew/bin/python3 sim/na_appendix_index.py
/opt/homebrew/bin/python3 sim/na_appendix_invariants.py
node --test 'core/test/na_*.test.ts'