附录 A 对话树格式、条件文法与数据集索引

#!/usr/bin/env python3
# file: sim/ne_appendix_index.py
# tier: S
# verify: /opt/homebrew/bin/python3 sim/ne_appendix_index.py
"""附录 A 的索引生成器（执行侧）：清点对话树格式、条件求值形态与本卷数据集。

与卷一 na_appendix_index.py 分工：那个清点「规格里有什么字段」，本脚本清点
「引擎执行时要用到哪些字段、哪些条件形态、以及本卷落了多少个可跑文件」。
只清点，不判定——判定在第 13 章的三方一致与第 16 章的装配检查表里。
"""
from __future__ import annotations

import glob
import json
import os
import sys

HERE = os.path.dirname(os.path.abspath(__file__))
ROOT = os.path.join(HERE, "..")
SPEC = os.path.join(ROOT, "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 inv(rel: str, pat: str) -> int:
    return len(glob.glob(os.path.join(ROOT, rel, pat)))


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

    dl = spec["dialogue"]
    nodes = len(dl)
    with_choices = sum(1 for n in dl if n.get("choices"))
    choices = sum(len(n.get("choices") or []) for n in dl)
    gotos = {c["goto"] for n in dl for c in (n.get("choices") or [])}
    with_effects = sum(1 for n in dl for c in (n.get("choices") or []) if c.get("effects"))
    terminal = [n["id"] for n in dl if n.get("ending")]

    print("== 对话树格式（执行侧要用到的字段） ==")
    print(f"节点 {nodes}  带选项的节点 {with_choices}  选项 {choices}  唯一跳转目标 {len(gotos)}")
    print(f"带 effects 的选项 {with_effects}  终局节点 {len(terminal)}  {terminal}")
    print(f"节点字段并集 {' '.join(sorted({k for n in dl for k in n}))}")
    ck = sorted({k for n in dl for c in (n.get("choices") or []) for k in c})
    print(f"选项字段并集 {' '.join(ck)}")

    eff = {"set": 0, "add": 0, "grant": 0, "revoke": 0}
    for n in dl:
        for c in n.get("choices") or []:
            for k in eff:
                eff[k] += len((c.get("effects") or {}).get(k) or {})
    print("\n== 效果算子用量 ==")
    print("  " + "  ".join(f"{k}={v}" for k, v in eff.items()) + f"  合计 {sum(eff.values())}")

    conds = [n.get("line_when") for n in dl]
    conds += [c.get("when") for n in dl 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 spec["world"]["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("== 条件形态用量 ==")
    print("  " + "  ".join(f"{k}={forms[k]}" for k in sorted(forms)))

    st = spec["state"]
    print("\n== 状态域（引擎初始化时逐项建表） ==")
    print(f"flag {len(st['flags'])}  变量 {len(st['vars'])}  物品 {len(st['items'])}"
          f"  声明位点合计 {len(st['flags']) + len(st['vars']) + len(st['items'])}")

    print("\n== 本卷数据集索引（工作区实盘） ==")
    rows = [("S 层脚本", "sim", "ne_*.py"), ("P 层源码", "core/src/inkwell", "ne_*.ts"),
            ("P 层测试", "core/test", "ne_*.test.ts"), ("W 层脚本", "web", "*ne*.mjs"),
            ("D 层配置", "config", "ne_*.json"), ("产物 JSON", "out", "ne_*.json"),
            ("产物 CSV", "out", "ne_*.csv"), ("产物 SVG", "out", "ne_*.svg"),
            ("产物 PNG", "out/shots", "ne*.png"), ("原型 HTML", "web/dist", "ne*.html")]
    for label, rel, pat in rows:
        print(f"  {label:<10} {rel + '/' + pat:<22} {inv(rel, pat)}")
    return 0


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

== 对话树格式（执行侧要用到的字段） ==
节点 48  带选项的节点 43  选项 115  唯一跳转目标 47
带 effects 的选项 99  终局节点 5  ['e_lit', 'e_dark', 'e_truth', 'e_silence', 'e_loss']
节点字段并集 choices ending id line line_else line_when scene speaker
选项字段并集 effects goto id text when

== 效果算子用量 ==
  set=56  add=66  grant=16  revoke=0  合计 138

== 条件比较算子用量 ==
  aff >=  15
== 条件形态用量 ==
  aff=15  and=2  flag=25  item=19  not=2

== 状态域（引擎初始化时逐项建表） ==
flag 18  变量 4  物品 9  声明位点合计 31

== 本卷数据集索引（工作区实盘） ==
  S 层脚本      sim/ne_*.py            43
  P 层源码      core/src/inkwell/ne_*.ts 31
  P 层测试      core/test/ne_*.test.ts 33
  W 层脚本      web/*ne*.mjs           6
  D 层配置      config/ne_*.json       5
  产物 JSON    out/ne_*.json          37
  产物 CSV     out/ne_*.csv           10
  产物 SVG     out/ne_*.svg           2
  产物 PNG     out/shots/ne*.png      4
  原型 HTML    web/dist/ne*.html      2

# snippet: 一个正例加三个注入负例；负例必须 fail，否则检查器等于没写
node --test 'core/test/ne_appendix_dialogue_tree.test.ts'

节点 48 选项 115
格式违规：节点 0 选项 0 跳转 0 结局 0
负例一 · 违规 ["d_pier_2: 非终局节点必须有选项"]
负例二 · 悬空跳转 ["d_pier_2/c_pier_2a -> d__ghost__"]
负例三 · 未声明结局 5 处，例 e_lit: ending 假结局 未声明
ℹ tests 4
ℹ pass 4
ℹ fail 0

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

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

# snippet: 复用全局 Playwright 必须经 createRequire，NODE_PATH 对 ESM import 无效
NODE_PATH=/opt/homebrew/lib/node_modules node web/verify_ne13.mjs

# snippet: 由内到外——真源 → S 层清点 → P 层内核 → W 层原型
/opt/homebrew/bin/python3 sim/ne_appendix_index.py
node --test 'core/test/ne_appendix_dialogue_tree.test.ts'
NODE_PATH=/opt/homebrew/lib/node_modules node web/verify_ne13.mjs