8.3 划界：蒙皮数学外链

{
  "project": "stardust-inn",
  "ruleSet": "chapter-scope",
  "specRef": "config/visual_spec.json",
  "note": "第 8 章划界路由表：把「什么归本章讲（this-book）、什么一律外链（external）」编码成可断言的数据。external 规则必须排在 this-book 规则之前（首个命中胜出）。三条 external 规则的路径两两不同、全部取自已核验清单，且都在 public/ 产物中存在。",
  "verifiedUrls": [
    "/graphics-skeletal-animation/",
    "/graphics-mobile-rendering-optimization/",
    "/graphics-texture-memory/",
    "/posts/graphics/"
  ],
  "probes": [
    "蒙皮矩阵数学",
    "逆绑定矩阵",
    "双四元数蒙皮",
    "骨骼贴图显存",
    "移动端 uniform 上限",
    "骨骼数分级预算",
    "调色板上限",
    "蒙皮数据字节账",
    "每顶点骨骼影响数",
    "完全没听过的主题"
  ],
  "rules": [
    { "id": "skin-matrix-math", "owner": "external", "path": "/graphics-skeletal-animation/", "match": ["蒙皮矩阵", "骨骼动画原理", "逆绑定", "双四元数"] },
    { "id": "uniform-limit-hw", "owner": "external", "path": "/graphics-mobile-rendering-optimization/", "match": ["uniform 上限", "寄存器上限", "移动端 uniform", "硬件上限成因"] },
    { "id": "bone-texture-vram", "owner": "external", "path": "/graphics-texture-memory/", "match": ["骨骼贴图", "纹理显存"] },
    { "id": "bone-budget", "owner": "this-book", "path": null, "match": ["骨骼预算", "骨骼数"] },
    { "id": "palette-limit", "owner": "this-book", "path": null, "match": ["调色板上限", "调色板预算"] },
    { "id": "skin-bytes", "owner": "this-book", "path": null, "match": ["蒙皮数据", "蒙皮字节", "顶点属性字节"] },
    { "id": "influence-count", "owner": "this-book", "path": null, "match": ["影响数", "权重精度"] }
  ]
}

#!/usr/bin/env python3
# file: sim/ta08_scope.py
# tier: S
# verify: /opt/homebrew/bin/python3 sim/ta08_scope.py
"""8.3 第 8 章划界路由表（S 层）。

本章只讲骨骼数、调色板上限、蒙皮数据字节账；蒙皮矩阵数学、骨骼动画原理、硬件 uniform 上限的
成因、骨骼贴图显存机制一律外链，本卷不重推。本脚本把这张划界表跑成可断言的账：对一串探针主题
逐个路由落 out/ta08_scope.json；断言 external 规则数 == 去重后的 external 路径数（路径两两不同）；
逐条核对每个 external 路径在仓库 public/ 产物中真实存在（页面查 index.html）。
"""
import hashlib
import json
import os
import sys

ROOT = os.path.dirname(os.path.dirname(os.path.abspath(__file__)))
REPO = "/Users/bingrong.yan/projects/birdor/plumephp"
PUBLIC = os.path.join(REPO, "public")
CONFIG = os.path.join(ROOT, "config/ta08_scope.json")
OUT = os.path.join(ROOT, "out")


def route(rules, topic):
    """首个命中的规则胜出。"""
    for r in rules:
        if any(k in topic for k in r["match"]):
            return {"topic": topic, "owner": r["owner"], "path": r["path"], "ruleId": r["id"]}
    return {"topic": topic, "owner": None, "path": None, "ruleId": None}


def path_exists(url):
    """页面目标查 index.html；带扩展名的目标查文件本身。"""
    tail = url.rstrip("/").split("/")[-1]
    if "." in tail:
        return os.path.isfile(os.path.join(PUBLIC, url.lstrip("/")))
    return os.path.exists(os.path.join(PUBLIC, url.strip("/"), "index.html"))


def main():
    cfg = json.load(open(CONFIG, encoding="utf-8"))
    os.makedirs(OUT, exist_ok=True)
    rules = cfg["rules"]
    externals = [r for r in rules if r["owner"] == "external"]
    paths = [r["path"] for r in externals]
    verified = set(cfg["verifiedUrls"])
    missing = [p for p in paths if not path_exists(p)]
    not_verified = [p for p in paths if p not in verified]
    probes = [route(rules, t) for t in cfg["probes"]]
    routed = [p for p in probes if p["owner"]]

    digest = hashlib.sha256("\n".join(
        f"{r['id']}|{r['owner']}|{r['path']}" for r in rules).encode("utf-8")).hexdigest()[:16]

    summary = {
        "project": cfg["project"], "ruleSet": cfg["ruleSet"],
        "ruleCount": len(rules), "externalRuleCount": len(externals),
        "distinctExternalPaths": len(set(paths)), "thisBookRuleCount": len(rules) - len(externals),
        "pathsPairwiseDistinct": len(paths) == len(set(paths)),
        "allPathsInVerifiedList": not not_verified, "allPathsInPublic": not missing,
        "missingPaths": missing, "probes": probes, "routedCount": len(routed), "digest": digest,
    }
    with open(os.path.join(OUT, "ta08_scope.json"), "w", encoding="utf-8") as f:
        json.dump(summary, f, ensure_ascii=False, indent=2, sort_keys=True)
        f.write("\n")

    print(f"rules={len(rules)} external={len(externals)} thisBook={len(rules) - len(externals)}")
    print(f"distinctExternalPaths={len(set(paths))} pairwiseDistinct={summary['pathsPairwiseDistinct']} "
          f"allInVerified={summary['allPathsInVerifiedList']} allInPublic={summary['allPathsInPublic']}")
    for p in probes:
        print(f"  {p['topic']:<18} -> {str(p['owner']):<10} {p['path'] or '-'} ({p['ruleId'] or '-'})")
    print(f"digest={digest}")
    print("wrote out/ta08_scope.json")
    ok = summary["pathsPairwiseDistinct"] and summary["allPathsInVerifiedList"] and summary["allPathsInPublic"]
    return 0 if ok else 1


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

rules=7 external=3 thisBook=4
distinctExternalPaths=3 pairwiseDistinct=True allInVerified=True allInPublic=True
  蒙皮矩阵数学             -> external   /graphics-skeletal-animation/ (skin-matrix-math)
  逆绑定矩阵              -> external   /graphics-skeletal-animation/ (skin-matrix-math)
  双四元数蒙皮             -> external   /graphics-skeletal-animation/ (skin-matrix-math)
  骨骼贴图显存             -> external   /graphics-texture-memory/ (bone-texture-vram)
  移动端 uniform 上限     -> external   /graphics-mobile-rendering-optimization/ (uniform-limit-hw)
  骨骼数分级预算            -> this-book  - (bone-budget)
  调色板上限              -> this-book  - (palette-limit)
  蒙皮数据字节账            -> this-book  - (skin-bytes)
  每顶点骨骼影响数           -> this-book  - (influence-count)
  完全没听过的主题           -> None       - (-)
digest=25d1178dd0eb0833
wrote out/ta08_scope.json