附录 B 配置表字段字典与 schema

{
  "schemaVersion": 1,
  "rules": {
    "noFloat": true,
    "integerOnly": true,
    "seededRandom": true,
    "note": "config 里禁浮点；增长率写整数比，系数写整数百分比；随机数必须可播种"
  },
  "files": {
    "economy.json": {
      "economy": {
        "baseOutputPerMinute": { "type": "int", "min": 1, "max": 1000000, "unit": "个/分钟", "desc": "1 级每分钟基础产出" },
        "levelBonusNum": { "type": "int", "min": 100, "max": 400, "unit": "整数比分子", "desc": "每级产出乘数分子" },
        "levelBonusDen": { "type": "int", "min": 100, "max": 400, "unit": "整数比分母", "desc": "每级产出乘数分母" },
        "maxLevel": { "type": "int", "min": 1, "max": 999, "unit": "级", "desc": "最高等级" }
      },
      "retention": {
        "decayPctPerDay": { "type": "int", "min": 1, "max": 100, "unit": "百分比/天", "desc": "次日留存衰减比例" },
        "horizonDays": { "type": "int", "min": 1, "max": 3650, "unit": "天", "desc": "留存曲线天数" }
      }
    }
  }
}

# file: sim/ch00_validate_config.py
# tier: S
# verify: /opt/homebrew/bin/python3 sim/ch00_validate_config.py --config config/ --schema config/ch00_schema.json
"""配置表校验：用 config/ch00_schema.json 校验 config/economy.json。

三条硬规则各对应一段检查：
  1. 禁浮点   —— 任何数值字段若为 float 直接失败；
  2. 必填与范围 —— schema 里声明的字段必须存在且落在 [min, max]；
  3. 整数比   —— levelBonusNum / levelBonusDen 必须都是正整数。
真实校验已有配置，失败即非零退出。
"""

from __future__ import annotations

import argparse
import json
import os


def load(path: str) -> dict:
    with open(path, encoding="utf-8") as f:
        return json.load(f)


def walk(schema_node: dict, data_node: dict, prefix: str, errs: list[str]) -> None:
    for key, spec in schema_node.items():
        if not isinstance(spec, dict) or "type" not in spec:
            # 嵌套分组（如 economy / retention）
            sub = data_node.get(key)
            if not isinstance(sub, dict):
                errs.append(f"缺分组 {prefix}{key}")
                continue
            walk(spec, sub, f"{prefix}{key}.", errs)
            continue
        if key not in data_node:
            errs.append(f"缺字段 {prefix}{key}")
            continue
        val = data_node[key]
        if isinstance(val, bool) or not isinstance(val, int):
            errs.append(f"{prefix}{key} 非整数：{val!r}（config 禁浮点）")
            continue
        if val < spec["min"] or val > spec["max"]:
            errs.append(f"{prefix}{key}={val} 越界 [{spec['min']}, {spec['max']}]")


def main() -> int:
    ap = argparse.ArgumentParser()
    ap.add_argument("--config", default="config/")
    ap.add_argument("--schema", default="config/ch00_schema.json")
    args = ap.parse_args()

    schema = load(args.schema)
    errs: list[str] = []

    for fname, groups in schema["files"].items():
        path = os.path.join(args.config, fname)
        if not os.path.isfile(path):
            errs.append(f"配置文件不存在：{fname}")
            continue
        data = load(path)
        walk(groups, data, f"{fname}:", errs)

    # 规则三：整数比分子分母必须为正
    eco = load(os.path.join(args.config, "economy.json")).get("economy", {})
    for k in ("levelBonusNum", "levelBonusDen"):
        if isinstance(eco.get(k), int) and eco[k] <= 0:
            errs.append(f"economy.{k} 必须为正整数，实为 {eco[k]}")

    if errs:
        for e in errs:
            print(f"FAIL {e}")
        print(f"== 配置校验 FAIL {len(errs)}")
        return 1
    print("== 配置校验 PASS：字段齐全、全整数、在范围内、整数比为正")
    return 0


if __name__ == "__main__":
    raise SystemExit(main())

== 配置校验 PASS：字段齐全、全整数、在范围内、整数比为正

# snippet: 改配置后的标准动作
/opt/homebrew/bin/python3 sim/ch00_validate_config.py --config config/ --schema config/ch00_schema.json
/opt/homebrew/bin/python3 sim/ch00_constraint_budget.py --config config/ --out out/