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

# file: sim/config_schema.py
# tier: S
# verify: python3 sim/config_schema.py --config config/
"""config/ 的 schema 校验：字段类型、取值范围、跨表引用。

在仿真与原型消费配置之前先跑它，把配错字段的配置拦下来。
"""

from __future__ import annotations

import argparse
import json
import os

TIERS = {"basic", "advanced", "rare"}


def load(cfg_dir: str, name: str) -> dict:
    with open(os.path.join(cfg_dir, f"{name}.json"), encoding="utf-8") as f:
        return json.load(f)


def is_pos_int(v) -> bool:
    return isinstance(v, int) and not isinstance(v, bool) and v > 0


def is_nonneg_int(v) -> bool:
    return isinstance(v, int) and not isinstance(v, bool) and v >= 0


def check_resources(cfg: dict, errs: list[str]) -> set[str]:
    ids = set()
    for r in cfg.get("resources", []):
        rid = r.get("id")
        if not rid or not isinstance(rid, str):
            errs.append("resources: 缺 id 或 id 非字符串")
            continue
        if rid in ids:
            errs.append(f"resources: id 重复 {rid}")
        ids.add(rid)
        if not is_pos_int(r.get("cap")):
            errs.append(f"resources[{rid}]: cap 必须为正整数")
        if r.get("tier") not in TIERS:
            errs.append(f"resources[{rid}]: tier 非法 {r.get('tier')!r}")
    return ids


def check_buildings(cfg: dict, resource_ids: set[str], errs: list[str]) -> None:
    ids = set()
    for b in cfg.get("buildings", []):
        bid = b.get("id")
        if not bid:
            errs.append("buildings: 缺 id")
            continue
        if bid in ids:
            errs.append(f"buildings: id 重复 {bid}")
        ids.add(bid)
        if b.get("resource") not in resource_ids:
            errs.append(f"buildings[{bid}]: resource {b.get('resource')!r} 不在 resources 中")
        if not is_pos_int(b.get("maxLevel")):
            errs.append(f"buildings[{bid}]: maxLevel 必须为正整数")
        if not is_pos_int(b.get("outputBase")):
            errs.append(f"buildings[{bid}]: outputBase 必须为正整数")
        # 分母不可为 0 —— 这是最常见的除零来源
        if not is_pos_int(b.get("outputGrowthDen")):
            errs.append(f"buildings[{bid}]: outputGrowthDen 必须为正整数（不可为 0）")
        if not is_pos_int(b.get("outputGrowthNum")):
            errs.append(f"buildings[{bid}]: outputGrowthNum 必须为正整数")
        if not is_pos_int(b.get("upgradeCostGrowthDen")):
            errs.append(f"buildings[{bid}]: upgradeCostGrowthDen 必须为正整数")
        base = b.get("upgradeCostBase")
        if not isinstance(base, dict) or not base:
            errs.append(f"buildings[{bid}]: upgradeCostBase 必须为非空对象")
        else:
            for k, v in base.items():
                if k not in resource_ids:
                    errs.append(f"buildings[{bid}]: upgradeCostBase 的资源 {k!r} 不存在")
                if not is_pos_int(v):
                    errs.append(f"buildings[{bid}]: upgradeCostBase[{k}] 必须为正整数")


def check_units(cfg: dict, errs: list[str]) -> None:
    ids = {u.get("id") for u in cfg.get("units", [])}
    counter = cfg.get("counter", {})
    if not isinstance(counter, dict) or not counter:
        errs.append("units: counter 必须为非空对象")
    for src, dst in (counter or {}).items():
        if src not in ids:
            errs.append(f"units.counter: 攻击方 {src!r} 不在 units 中")
        if dst not in ids:
            errs.append(f"units.counter: 被克方 {dst!r} 不在 units 中")
        if src == dst:
            errs.append(f"units.counter: {src} 克制自己")
    if not is_pos_int(cfg.get("counterMultiplierPct")):
        errs.append("units: counterMultiplierPct 必须为正整数（用 150 而非 1.5）")
    elif cfg["counterMultiplierPct"] < 100:
        errs.append("units: counterMultiplierPct 不应小于 100（克制不该降低伤害）")
    seen = set()
    for u in cfg.get("units", []):
        uid = u.get("id")
        if uid in seen:
            errs.append(f"units: id 重复 {uid}")
        seen.add(uid)
        for f in ("atk", "hp", "speed"):
            if not is_pos_int(u.get(f)):
                errs.append(f"units[{uid}]: {f} 必须为正整数")
        if not is_nonneg_int(u.get("def")):
            errs.append(f"units[{uid}]: def 必须为非负整数")
        if not is_nonneg_int(u.get("load")):
            errs.append(f"units[{uid}]: load 必须为非负整数")


def check_battle(cfg: dict, errs: list[str]) -> None:
    r = cfg.get("rules")
    if not isinstance(r, dict):
        errs.append("battle: 缺 rules 对象")
        return
    pct = r.get("defenseFactorPct")
    if not is_nonneg_int(pct) or pct > 100:
        errs.append("battle: defenseFactorPct 必须为 0–100 的整数")
    if not is_pos_int(r.get("minDamage")):
        errs.append("battle: minDamage 必须为正整数")
    if not is_pos_int(r.get("maxRounds")):
        errs.append("battle: maxRounds 必须为正整数")
    if not is_nonneg_int(r.get("terrainBonusPct")):
        errs.append("battle: terrainBonusPct 必须为非负整数")


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

    errs: list[str] = []
    resource_ids = check_resources(load(args.config, "resources"), errs)
    check_buildings(load(args.config, "buildings"), resource_ids, errs)
    check_units(load(args.config, "units"), errs)
    check_battle(load(args.config, "battle"), errs)

    if errs:
        for e in errs:
            print(f"FAIL {e}")
        print(f"== schema: {len(errs)} 处不合法")
        return 1
    print("== schema: OK（resources / buildings / units / battle 全部合法）")
    return 0


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

== schema: OK（resources / buildings / units / battle 全部合法）

FAIL buildings[lumberyard]: outputGrowthDen 必须为正整数（不可为 0）
== schema: 1 处不合法