{
  "reference": "../../Client/Eternexus/root/musicinfo.py",
  "reference_sha256": "da57574ba22e28a1977695350e99c99d666f8f82e863d9db03915f30d04f4b64",
  "priority": "P3",
  "contracts": [],
  "functions": {
    "SaveLastPlayFieldMusic": {
      "status": "RUN_AS_IS",
      "impl": [
        "pack://musicinfo.py:SaveLastPlayFieldMusic"
      ],
      "evidence": [
        "script/verify_root_pack.py: musicinfo.py bytes match 40250 source and root.epk",
        "script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
      ]
    },
    "LoadLastPlayFieldMusic": {
      "status": "RUN_AS_IS",
      "impl": [
        "pack://musicinfo.py:LoadLastPlayFieldMusic"
      ],
      "evidence": [
        "script/verify_root_pack.py: musicinfo.py bytes match 40250 source and root.epk",
        "script/python_game_render_test.sh: embedded CPython loads system.py and game modules through CEterPackManager"
      ]
    }
  }
}