{
  "added_at": "2026-11-09",
  "category": "reconstruction-cases",
  "class": "game",
  "description_en": "Space Cadet Pinball reconstructs source for the Windows XP SP3 game executable and compares builds with the original using reccmp. The author reports that all targeted functions match and roughly 95% of the whole executable matches; other releases are used as references.",
  "description_zh": "Space Cadet Pinball 重建 Windows XP SP3 游戏可执行文件的源码，并用 reccmp 将构建结果与原版比较。作者报告目标函数已全部匹配，整个可执行文件约有 95% 匹配；其他版本用于辅助分析。",
  "entry_url": "https://awesomerea.org/resources/space-cadet-pinball-matching-case/",
  "entry_url_zh": "https://awesomerea.org/zh/resources/space-cadet-pinball-matching-case/",
  "evidence_class": 2,
  "evidence_status": "observed",
  "evidence_url": "https://github.com/Randomno/pinball-decomp/blob/5a27bf243be42034c2aa6345c6927caf92608fbc/README.md",
  "group": "cases",
  "id": "space-cadet-pinball-matching-case",
  "json_url": "https://awesomerea.org/resources/space-cadet-pinball-matching-case/record.json",
  "kind": "case-study",
  "markdown_url": "https://awesomerea.org/resources/space-cadet-pinball-matching-case/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/resources/space-cadet-pinball-matching-case/index.md",
  "name": "Space Cadet Pinball: matching reconstruction of the XP SP3 executable",
  "name_zh": "Space Cadet Pinball：Windows XP SP3 可执行文件的匹配重建",
  "reconstruction_method": "matching-decompilation",
  "record_type": "resource",
  "relationship": "independent-reconstruction",
  "requirement_facets": [
    "prerequisites",
    "limits",
    "license"
  ],
  "requirements": [
    "The original Windows XP SP3 pinball.exe and Windows Server 2003 SP1 DDK compiler are required.",
    "Whole-executable matching is reported at about 95%; some issues may remain.",
    "No licence file in the repository."
  ],
  "requirements_zh": [
    "需要原版 Windows XP SP3 pinball.exe 和 Windows Server 2003 SP1 DDK 编译器。",
    "作者报告整个可执行文件约有 95% 匹配，仍可能存在问题。",
    "仓库中没有许可证文件。"
  ],
  "scope": "unknown",
  "targets": [
    "game"
  ],
  "url": "https://github.com/Randomno/pinball-decomp",
  "verification": "source-reviewed",
  "verified_at": "2026-11-06"
}
