2.1 play_spec.json 的字段

{
  "spec_version": 1,
  "id": "ashdeck",
  "name": "灰烬牌库",
  "seed": 20261014,
  "rng": {
    "algo": "lehmer-minstd",
    "mod": 2147483647,
    "mul": 48271
  },
  "params": {
    "playerHp": 60,
    "enemyHp": 50,
    "enemyAttack": 6,
    "energyMax": 3,
    "handSize": 5,
    "turnLimit": 20,
    "rewardGold": 12,
    "punishHp": 4
  },
  "cards": [
    { "id": "strike", "cost": 1, "damage": 6, "block": 0, "count": 5, "rarity": "common" },
    { "id": "heavy", "cost": 2, "damage": 14, "block": 0, "count": 3, "rarity": "uncommon" },
    { "id": "jab", "cost": 0, "damage": 3, "block": 0, "count": 2, "rarity": "common" },
    { "id": "guard", "cost": 1, "damage": 0, "block": 5, "count": 2, "rarity": "common" }
  ],
  "goals": {
    "primary": "enemyHp<=0",
    "secondary": "playerHp>0",
    "limit": "turn<=turnLimit"
  },
  "invariants": [
    "cardCount==deckSize",
    "damageConserved",
    "energyInRange",
    "blockNonNegative"
  ],
  "strategy": ["p0", "p0", "p0", "p0", "e", "p0", "p0", "p0", "p0", "e", "p0", "p0", "p0", "p0", "e", "p0", "p0", "p0", "p0", "e", "p0", "p0", "p0", "p0", "e"]
}

// file: core/test/gd_mech_02_fields.test.ts
// tier: P
// verify: node --test 'core/test/gd_mech_02_fields.test.ts'
//
// 2.1 的字段级断言：读只读真源 config/play_spec.json，断言结构完整——
// 12 个必填字段位齐备（9 顶层 + rng 展开的 3 子字段）、卡池总数 = 12、params 8 个全为整数。
// 只读不改：本文件不写任何产物，是 2.2 / 2.3 两个校验器的共同前提。

import { test } from "node:test";
import assert from "node:assert/strict";
import { readFileSync } from "node:fs";
import { fileURLToPath } from "node:url";
import { dirname, join } from "node:path";

import { buildDeck } from "../src/ashdeck/cards.ts";
import type { Spec } from "../src/ashdeck/types.ts";

const HERE = dirname(fileURLToPath(import.meta.url));
const SPEC: Spec = JSON.parse(
  readFileSync(join(HERE, "..", "..", "config", "play_spec.json"), "utf8"),
);

// 12 个必填字段位：9 个顶层（rng 作为容器另算）+ rng 展开的 3 个子字段。
const TOP_FIELDS = ["spec_version", "id", "name", "seed", "params", "cards", "goals", "invariants", "strategy"];
const RNG_FIELDS = ["algo", "mod", "mul"];
const PARAM_FIELDS = ["playerHp", "enemyHp", "enemyAttack", "energyMax", "handSize", "turnLimit", "rewardGold", "punishHp"];
const CARD_FIELDS = ["id", "cost", "damage", "block", "count", "rarity"];

function at(obj: unknown, ...path: string[]): unknown {
  let cur: unknown = obj;
  for (const k of path) {
    if (cur === null || typeof cur !== "object" || !(k in (cur as Record<string, unknown>))) return undefined;
    cur = (cur as Record<string, unknown>)[k];
  }
  return cur;
}

test("12 个必填字段位齐备（9 顶层 + rng 展开 3）", () => {
  const paths = [...TOP_FIELDS.map((k) => [k]), ...RNG_FIELDS.map((k) => ["rng", k])];
  assert.equal(paths.length, 12);
  const missing = paths.filter((p) => at(SPEC, ...p) === undefined).map((p) => p.join("."));
  assert.deepEqual(missing, []);
});

test("卡池总数 = 12（5+3+2+2）", () => {
  assert.equal(buildDeck(SPEC.cards).length, 12);
  assert.equal(SPEC.cards.reduce((a, c) => a + c.count, 0), 12);
});

test("params 8 个字段全为整数", () => {
  assert.equal(PARAM_FIELDS.length, 8);
  for (const k of PARAM_FIELDS) {
    assert.equal(Number.isInteger(at(SPEC, "params", k)), true, `params.${k} 应为整数`);
  }
});

test("每张卡的 6 个字段齐备且类型正确", () => {
  for (const c of SPEC.cards) {
    for (const k of CARD_FIELDS) assert.ok(k in c, `card ${c.id} 缺 ${k}`);
    assert.equal(typeof c.id, "string");
    assert.equal(typeof c.rarity, "string");
    for (const k of ["cost", "damage", "block", "count"]) {
      assert.equal(Number.isInteger(at(c, k)), true, `card ${c.id}.${k} 应为整数`);
    }
  }
});

test("rng 常数与全站一致：lehmer-minstd / 2147483647 / 48271", () => {
  assert.equal(SPEC.rng.algo, "lehmer-minstd");
  assert.equal(SPEC.rng.mod, 2147483647);
  assert.equal(SPEC.rng.mul, 48271);
});

test("goals 三段与 invariants 四条都在，strategy 非空", () => {
  assert.equal(typeof SPEC.goals.primary, "string");
  assert.equal(typeof SPEC.goals.secondary, "string");
  assert.equal(typeof SPEC.goals.limit, "string");
  assert.equal(SPEC.invariants.length, 4);
  assert.ok(SPEC.strategy.length > 0);
});

test("负例：删字段后缺失检测必须能报出来", () => {
  const noParams = JSON.parse(JSON.stringify(SPEC));
  delete noParams.params;
  assert.deepEqual(TOP_FIELDS.filter((k) => at(noParams, k) === undefined), ["params"]);
  const noMul = JSON.parse(JSON.stringify(SPEC));
  delete noMul.rng.mul;
  assert.deepEqual(RNG_FIELDS.filter((k) => at(noMul, "rng", k) === undefined), ["mul"]);
});

✔ 12 个必填字段位齐备（9 顶层 + rng 展开 3） (0.866208ms)
✔ 卡池总数 = 12（5+3+2+2） (0.09475ms)
✔ params 8 个字段全为整数 (0.074459ms)
✔ 每张卡的 6 个字段齐备且类型正确 (0.819583ms)
✔ rng 常数与全站一致：lehmer-minstd / 2147483647 / 48271 (0.088ms)
✔ goals 三段与 invariants 四条都在，strategy 非空 (0.061333ms)
✔ 负例：删字段后缺失检测必须能报出来 (0.207083ms)
ℹ tests 7
ℹ pass 7
ℹ fail 0