{
  "added_at": "2026-11-08",
  "additional_evidence_urls": [
    "https://github.com/N0zoM1z0/zkTH06/blob/ff9516c05e12cd2f663e5a7f727f197f014f79ad/docs/m0-progress.md"
  ],
  "category": "reconstruction-cases",
  "class": "game",
  "description_en": "zkTH06 reconstructs selected Touhou Koumakyou v1.02h gameplay transitions for replay-driven execution in OpenVM. It compares a Linux reference with observations of the shipped Windows game, implements bounded player, bullet, enemy, and item state transitions, and records differential results and proof obligations. The author reports matching projections over specified replay prefixes.",
  "description_zh": "zkTH06 为 OpenVM 中的回放驱动执行重建《东方红魔乡》v1.02h 的部分游戏状态转换。项目将 Linux 参考实现与发行版 Windows 游戏的观测结果对照，实现有边界的玩家、弹幕、敌人和道具状态转换，并记录差异结果与待完成的证明义务。作者报告称，指定回放片段中的状态投影相符。",
  "entry_url": "https://awesomerea.org/resources/zkth06-case/",
  "entry_url_zh": "https://awesomerea.org/zh/resources/zkth06-case/",
  "evidence_class": 2,
  "evidence_status": "observed",
  "evidence_url": "https://github.com/N0zoM1z0/zkTH06/blob/ff9516c05e12cd2f663e5a7f727f197f014f79ad/README.md",
  "group": "cases",
  "id": "zkth06-case",
  "json_url": "https://awesomerea.org/resources/zkth06-case/record.json",
  "kind": "case-study",
  "markdown_url": "https://awesomerea.org/resources/zkth06-case/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/resources/zkth06-case/index.md",
  "name": "zkTH06: reconstructing Touhou 6 gameplay transitions",
  "name_zh": "zkTH06：重建《东方红魔乡》的游戏状态转换",
  "reconstruction_method": "other",
  "record_type": "resource",
  "relationship": "independent-reconstruction",
  "requirement_facets": [
    "prerequisites",
    "limits",
    "testing",
    "license"
  ],
  "requirements": [
    "The comparisons use the Japanese Touhou Koumakyou v1.02h executable and a replay.",
    "Current proof kernels cover bounded gameplay slices; the project identifies further arithmetic and state correspondence obligations.",
    "The reported agreement covers specified replay prefixes and state projections.",
    "GPL-3.0 license."
  ],
  "requirements_zh": [
    "对照工作使用日文版《东方红魔乡》v1.02h 可执行文件和回放文件。",
    "现有证明程序覆盖有边界的游戏片段；项目列出了尚待完成的算术与状态对应证明义务。",
    "作者报告的相符结果限于指定回放片段和状态投影。",
    "GPL-3.0 许可证。"
  ],
  "scope": "unknown",
  "targets": [
    "game"
  ],
  "url": "https://github.com/N0zoM1z0/zkTH06",
  "verification": "source-reviewed",
  "verified_at": "2026-11-08"
}