{
  "added_at": "2026-11-08",
  "additional_evidence_urls": [
    "https://github.com/gregorygaines/ps2-floating-point-rs/blob/9182dfdc42971a4e3734d60e2a5aa0bff3d0bf6f/src/lib.rs",
    "https://github.com/gregorygaines/ps2-floating-point-rs/blob/9182dfdc42971a4e3734d60e2a5aa0bff3d0bf6f/tests/lib.rs"
  ],
  "category": "reconstruction-cases",
  "class": "hardware",
  "description_en": "PS2 Floating-point reconstructs aspects of PlayStation 2 floating-point behavior in Rust using console experiments as a baseline. Its Ps2Float type represents the console's floating-point variant and implements addition and subtraction, with test cases for ordinary values and special cases.",
  "description_zh": "PS2 Floating-point 以 PS2 实机实验为参照，用 Rust 重建主机浮点运算的部分行为。Ps2Float 类型表示其浮点格式，实现加减运算，并提供普通数值及特殊值的测试用例。",
  "entry_url": "https://awesomerea.org/resources/ps2-floating-point-case/",
  "entry_url_zh": "https://awesomerea.org/zh/resources/ps2-floating-point-case/",
  "evidence_class": 2,
  "evidence_status": "observed",
  "evidence_url": "https://github.com/gregorygaines/ps2-floating-point-rs/blob/9182dfdc42971a4e3734d60e2a5aa0bff3d0bf6f/README.md",
  "group": "cases",
  "id": "ps2-floating-point-case",
  "json_url": "https://awesomerea.org/resources/ps2-floating-point-case/record.json",
  "kind": "case-study",
  "markdown_url": "https://awesomerea.org/resources/ps2-floating-point-case/index.md",
  "markdown_url_zh": "https://awesomerea.org/zh/resources/ps2-floating-point-case/index.md",
  "name": "PS2 Floating-point: reconstructing console arithmetic behavior",
  "name_zh": "PS2 Floating-point：重建主机浮点运算行为",
  "record_type": "resource",
  "relationship": "independent-reconstruction",
  "requirement_facets": [
    "scope",
    "license"
  ],
  "requirements": [
    "The implementation documents addition and subtraction; the author plans further findings as the emulator work progresses.",
    "No licence file in the repository."
  ],
  "requirements_zh": [
    "实现内容包括加减运算；作者计划随模拟器研究继续补充发现。",
    "仓库中没有许可证文件。"
  ],
  "scope": "unknown",
  "targets": [
    "firmware"
  ],
  "url": "https://github.com/gregorygaines/ps2-floating-point-rs",
  "verification": "source-reviewed",
  "verified_at": "2026-11-06"
}