附录 A 玩法规格字段表、机制公式与数据集索引

{
  "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"]
}

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

# snippet: node --test 接收 glob 而非目录，必须加引号让 node 自己展开
cd "$HOME/.gdbook/ashdeck"
node --test 'core/test/gd_mech_*.test.ts'

# snippet: 复用全局 Playwright 必须经 createRequire；verify 产出截图并断言 canvas 已绘制
cd "$HOME/.gdbook/ashdeck"
node web/build_mech05.mjs
NODE_PATH=/opt/homebrew/lib/node_modules node web/verify_mech05.mjs --page web/dist/mech05.html --shot out/shots/mech05.png

// file: core/src/ashdeck/digest.ts
// tier: P
// verify: node --test 'core/test/gd_mech_base.test.ts'
//
// 跨语言摘要。键按字母序插入，与 sim/ashlib.py 的 digest（sort_keys=True,
// separators=(",", ":")）逐字一致——这是「三处消费同一份规格」的可验证点。

import type { Snapshot } from "./types.ts";

export function digestSnap(s: Snapshot): string {
  const out: Record<string, unknown> = {
    block: s.block,
    cardCount: s.cardCount,
    damageConserved: s.damageConserved,
    dealt: s.dealt,
    enemyHp: s.enemyHp,
    energy: s.energy,
    hand: s.hand,
    over: s.over,
    played: s.played,
    playerHp: s.playerHp,
    turn: s.turn,
    won: s.won,
  };
  return JSON.stringify(out);
}

{"block":0,"cardCount":12,"damageConserved":true,"dealt":50,"enemyHp":0,"energy":1,"hand":["strike","jab","heavy"],"over":true,"played":9,"playerHp":48,"turn":4,"won":true}