5.3 原型与内核的同源性

#!/usr/bin/env python3
# file: sim/gd_mech_05_same_origin.py
# tier: S
# verify: /opt/homebrew/bin/python3 sim/gd_mech_05_same_origin.py
"""5.3 原型与内核的同源性：同一份规格、同一份内核、不同宿主。

W 层页面里的战斗内核不是「照着 P 层重写的第二份实现」，而是 web/pack.mjs 的 bundle()
把 core/src/ashdeck/combat.ts 同一个文件擦掉类型后**内联**进去的。所以浏览器侧与 Node
侧的结果不是「应该一样」，而是**必须逐字一样**——它们跑的是同一段源码。

本脚本做两件产物级核对：
① 三方对照：读 out/mech05_digests.json（Node 侧与浏览器侧 digest），再用 ashlib 在
   Python 侧跑同一份规格 + 同一段策略序列，三个 digest 必须逐字相同；
② 同源与自足：out/mech05.html 里必须出现内核的源码标记（runSpec / digestSnap /
   shuffleDeck / RNG_MUL），且**零外部引用**（无 http(s)://、无 <link、无 <script src）——
   这才叫单文件可分享、离线可跑。

落 out/gd_mech_05_same_origin.json。跨语言一致的前提：整数运算 + 同算法同种子 PRNG。
"""
from __future__ import annotations

import hashlib
import json
import os
import sys

import ashlib

HERE = os.path.dirname(os.path.abspath(__file__))
ROOT = os.path.dirname(HERE)
MARKERS = ("function runSpec", "function digestSnap", "function shuffleDeck", "RNG_MUL = 48271")
EXTERNAL = ("http://", "https://", "<link", "<script src")


def scan_html(path: str) -> dict:
    """产物级核对：内核标记必须在、外部引用必须为 0。"""
    html = open(path, encoding="utf-8").read()
    return {
        "chars": len(html),
        "markers": {m: html.count(m) for m in MARKERS},
        "external": {p: html.count(p) for p in EXTERNAL},
    }


def main() -> int:
    spec = ashlib.load_spec()
    wpath = os.path.join(ROOT, "out", "mech05_digests.json")
    if not os.path.exists(wpath):
        print("缺 out/mech05_digests.json：请先跑 node web/verify_mech05.mjs", file=sys.stderr)
        return 2
    w = json.load(open(wpath, encoding="utf-8"))
    seq = list(spec["strategy"])

    py_digest = ashlib.digest(ashlib.run_spec(spec, seq))
    hosts = [("Node", w["nodeDigest"]), ("浏览器", w["browserDigest"]), ("Python", py_digest)]
    same = len({d for _, d in hosts}) == 1

    html = scan_html(os.path.join(ROOT, "out", "mech05.html"))
    inlined = all(v >= 1 for v in html["markers"].values())
    self_contained = all(v == 0 for v in html["external"].values())

    canon = json.dumps([d for _, d in hosts], separators=(",", ":"))
    report = {
        "spec": spec["id"],
        "strategyLength": len(seq),
        "hosts": [{"host": h, "digest": d} for h, d in hosts],
        "sameOrigin": same,
        "kernelInlined": inlined,
        "selfContained": self_contained,
        "html": html,
        "canonical": canon,
        "fingerprint": hashlib.sha256(canon.encode("utf-8")).hexdigest()[:16],
    }

    out = os.path.join(ROOT, "out", "gd_mech_05_same_origin.json")
    with open(out, "w", encoding="utf-8") as f:
        json.dump(report, f, ensure_ascii=False, indent=2, sort_keys=True)
        f.write("\n")

    for h, d in hosts:
        print(f"{h:8s} {d}")
    print(f"sameOrigin={same} strategyLength={len(seq)}")
    print(f"kernelInlined={inlined} selfContained={self_contained} htmlChars={html['chars']}")
    print(f"markers={json.dumps(html['markers'], ensure_ascii=False, sort_keys=True)}")
    print(f"external={json.dumps(html['external'], sort_keys=True)}")
    print(f"fingerprint={report['fingerprint']}")
    print("wrote out/gd_mech_05_same_origin.json")
    return 0 if (same and inlined and self_contained) else 1


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

Node     {"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}
浏览器      {"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}
Python   {"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}
sameOrigin=True strategyLength=25
kernelInlined=True selfContained=True htmlChars=8842
markers={"RNG_MUL = 48271": 1, "function digestSnap": 1, "function runSpec": 1, "function shuffleDeck": 1}
external={"<link": 0, "<script src": 0, "http://": 0, "https://": 0}
fingerprint=69ea85d6be927dd1
wrote out/gd_mech_05_same_origin.json