11.3 与玩家动因模型的分工

{
  "title": "路径选择策略 vs 玩家动因模型：分工表",
  "this_side": {
    "name": "本章：模拟玩家与路径策略",
    "object": "路径选择策略",
    "strategies": ["random", "greedy", "cover"],
    "purpose": "覆盖采样",
    "models_motivation": false,
    "does_player_typing": false,
    "inputs": ["config/story_spec.json"],
    "outputs": [
      "out/nm_11_1_sim_player_strategy.csv",
      "out/nm_11_2_strategy_distribution.json",
      "out/nm_11_2_mix_sweep.json"
    ]
  },
  "other_side": {
    "name": "《游戏设计》卷二《策略涌现与体验度量》",
    "path": "/posts/books/策略涌现与体验度量/",
    "object": "玩家动因与类型建模",
    "measures": ["动机", "人格", "玩家分型"],
    "purpose": "解释与预测玩家行为"
  },
  "boundary": [
    {"claim": "模拟玩家就是玩家模型", "verdict": "否：它只是一台采样器，每一步只按一条固定规则挑一个可用选项"},
    {"claim": "策略产出的分布就是真人行为分布", "verdict": "否：换一种策略，分布就换一副样子（11.2 实测三种策略分布不同）"},
    {"claim": "策略能反推动机", "verdict": "否：策略对动因一无所知，它只读规格里的条件与效果"},
    {"claim": "策略能用于玩家分型", "verdict": "否：本章不做分型，只做路径覆盖采样"}
  ],
  "forbidden_claims": [
    "玩家会这样走",
    "这是玩家的真实偏好",
    "按动因给玩家分型",
    "预测真人行为"
  ],
  "allowed_use": [
    "同一规格内不同策略的相对对照",
    "覆盖采样时选择走法"
  ]
}

#!/usr/bin/env python3
# file: sim/nm_11_3_motivation_division.py
# tier: S
# verify: /opt/homebrew/bin/python3 sim/nm_11_3_motivation_division.py
"""卷三 11.3 与玩家动因模型的分工（S 层）。

本章通篇叫「模拟玩家」，但必须把这句话的边界钉死：**它们是采样器，不是玩家模型。**
本脚本读 config/nm_11_3_division_table.json，逐条 lint 这张分工表，并把它与真实的
采样产物（out/nm_11_1_sim_player_strategy.csv、out/nm_11_2_strategy_distribution.json）
**交叉核对**——声明里写的三种策略，必须与脚本真跑出来的策略集合一致。

lint 是硬断言：`models_motivation` / `does_player_typing` 必须为 false，策略集合必须
恰为 {random, greedy, cover}，禁声称清单与边界清单不能为空。任一条不满足即 FAIL。
这样「本章不建模动因、不做玩家分型」就不是一句口号，而是一份可被机器检查的产物。
产出 out/nm_11_3_division.json。
"""
from __future__ import annotations

import csv
import json
import os
import sys

HERE = os.path.dirname(os.path.abspath(__file__))
ROOT = os.path.dirname(HERE)
OUT = os.path.join(ROOT, "out")
DECL = os.path.join(ROOT, "config/nm_11_3_division_table.json")
STRATEGIES = {"random", "greedy", "cover"}
REQUIRED = ["title", "this_side", "other_side", "boundary", "forbidden_claims", "allowed_use"]


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

    missing = [k for k in REQUIRED if k not in decl]
    side = decl["this_side"]

    # 交叉核对：声明里的策略集合，必须与 11.1 真跑产出的策略集合一致
    csv_path = os.path.join(OUT, "nm_11_1_sim_player_strategy.csv")
    observed = set()
    if os.path.exists(csv_path):
        with open(csv_path, encoding="utf-8", newline="") as fh:
            for row in csv.DictReader(fh):
                observed.add(row["strategy"])
    observed &= STRATEGIES          # 去掉 deterministic 下界，只留三种模拟玩家策略

    # 交叉核对：11.2 分布产物必须对同样的三种策略给出结果
    dist_path = os.path.join(OUT, "nm_11_2_strategy_distribution.json")
    dist_strategies = set()
    if os.path.exists(dist_path):
        with open(dist_path, encoding="utf-8") as fh:
            dist_strategies = {r["strategy"] for r in json.load(fh)["rows"]}

    print(f"分工表         config/{os.path.basename(DECL)}")
    print(f"本章对象       {side['object']}（策略 {', '.join(side['strategies'])}）")
    print(f"本章用途       {side['purpose']}")
    print(f"建模动因       {side['models_motivation']}  （必须为 false）")
    print(f"玩家分型       {side['does_player_typing']}  （必须为 false）")
    print(f"对照对象       {decl['other_side']['name']}：{decl['other_side']['object']}")
    print(f"边界条目       {len(decl['boundary'])} 条；禁声称 {len(decl['forbidden_claims'])} 条")
    print(f"交叉核对 11.1  脚本实跑策略集合 {sorted(observed)}")
    print(f"交叉核对 11.2  分布产物策略集合 {sorted(dist_strategies)}")
    print(f"lint 字段      {len(REQUIRED) - len(missing)} / {len(REQUIRED)} 齐" +
          (f"，缺 {missing}" if missing else ""))

    assert not missing, f"分工表缺字段 {missing}"
    assert side["models_motivation"] is False, "本章不得建模动因"
    assert side["does_player_typing"] is False, "本章不得做玩家分型"
    assert set(side["strategies"]) == STRATEGIES, "策略集合必须是三种路径选择策略"
    assert decl["forbidden_claims"], "禁声称清单不能为空"
    assert decl["boundary"], "边界清单不能为空"
    assert observed == STRATEGIES, f"11.1 实跑策略 {observed} 与声明不一致"
    assert dist_strategies == STRATEGIES, f"11.2 实跑策略 {dist_strategies} 与声明不一致"

    os.makedirs(OUT, exist_ok=True)
    with open(os.path.join(OUT, "nm_11_3_division.json"), "w", encoding="utf-8") as fh:
        json.dump({"declaration": decl, "observed_strategies": sorted(observed),
                   "dist_strategies": sorted(dist_strategies), "lint_ok": not missing,
                   "fields": len(REQUIRED)}, fh, ensure_ascii=False, indent=1)
        fh.write("\n")
    print("wrote out/nm_11_3_division.json")
    print("OK nm_11_3_motivation_division：分工表字段齐全，策略仅做路径选择、不建模动因")
    return 0


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

分工表         config/nm_11_3_division_table.json
本章对象       路径选择策略（策略 random, greedy, cover）
本章用途       覆盖采样
建模动因       False  （必须为 false）
玩家分型       False  （必须为 false）
对照对象       《游戏设计》卷二《策略涌现与体验度量》：玩家动因与类型建模
边界条目       4 条；禁声称 4 条
交叉核对 11.1  脚本实跑策略集合 ['cover', 'greedy', 'random']
交叉核对 11.2  分布产物策略集合 ['cover', 'greedy', 'random']
lint 字段      6 / 6 齐
wrote out/nm_11_3_division.json
OK nm_11_3_motivation_division：分工表字段齐全，策略仅做路径选择、不建模动因