{
  "added_at": "2026-11-09",
  "additional_evidence_urls": [
    "https://github.com/EmulationOnline/model_6502/blob/bc7cf1457c4e9828288db9a9d8b4ff7daf251315/passing_traces/README.md"
  ],
  "category": "reconstruction-cases",
  "class": "hardware",
  "description_en": "6502 Model reconstructs the 65C02 chip’s cycle behavior in Rust from traces of external buses recorded during execution on a physical chip. Contributors add programs and signed traces as failing cases, then implement behavior to match the observed cycles.",
  "description_zh": "6502 Model 用 Rust 根据实体 65C02 芯片运行程序时采集的外部总线跟踪记录，重建其逐周期行为。贡献者将程序和已签名的跟踪记录加入失败测试用例，再实现相应行为，使模型输出与实测周期一致。",
  "entry_url": "https://awesomerea.org/resources/6502-model-case/",
  "entry_url_zh": "https://awesomerea.org/zh/resources/6502-model-case/",
  "evidence_url": "https://github.com/EmulationOnline/model_6502/blob/bc7cf1457c4e9828288db9a9d8b4ff7daf251315/README.md",
  "group": "cases",
  "id": "6502-model-case",
  "json_url": "https://awesomerea.org/resources/6502-model-case/record.json",
  "kind": "case-study",
  "markdown_url": "https://awesomerea.org/resources/6502-model-case/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/resources/6502-model-case/index.md",
  "name": "6502 Model: reconstructing 65C02 cycle behavior",
  "name_zh": "6502 Model：重建 65C02 芯片的逐周期行为",
  "record_type": "resource",
  "relationship": "independent-reconstruction",
  "requirement_facets": [
    "prerequisites",
    "limits",
    "license"
  ],
  "requirements": [
    "A physical 65C02 trace collected through ChipLab is used when adding behavior.",
    "Official instructions, timing details, flags, interrupts and unofficial instructions remain on the roadmap.",
    "BSD-3-Clause License."
  ],
  "requirements_zh": [
    "新增行为时使用通过 ChipLab 从实体 65C02 采集的记录。",
    "官方指令、时序细节、标志位、中断及非官方指令仍列在开发计划中。",
    "BSD-3-Clause 许可证。"
  ],
  "targets": [
    "firmware"
  ],
  "url": "https://github.com/EmulationOnline/model_6502",
  "verification": "source-reviewed",
  "verified_at": "2026-11-07"
}