{
  "checks": 54936,
  "model_runs": [
    {
      "checks": 13734,
      "mount_api_calls_mocked": 454,
      "real_engine_calls": 0,
      "hud": {
        "walking_hidden": true,
        "overlap_refused": true,
        "roster_guard": true,
        "close_start": true,
        "mode_transition_no_blanket_hide": true,
        "distinct_hp": true
      },
      "live_mount_fit_verified": false,
      "cases": [
        "genuine lightuserdata exact scalar conversion, full 32-bit reference, wrong tags and pointers rejected",
        "fresh close scene resolves actual indexed arm units using named mount API, with no far history",
        "all three close driving targets select their own distinct descriptors",
        "missing mount, invalid API index, invalid coordinate, config opt-out are fail closed",
        "post-health mount node, position, candidate, resource and seat changes reject publication",
        "mount path retains context, existence, liveness and native graph revalidation",
        "overlapping same-resource mounts are rejected; far path never calls mount APIs",
        "full HUD: close-start warmup, distinct HP switching, walking, overlap and restored display"
      ],
      "model": "EXO-45",
      "mount_mode_in_hud_json_report": true
    },
    {
      "checks": 13734,
      "real_engine_calls": 0,
      "cases": [
        "genuine lightuserdata exact scalar conversion, full 32-bit reference, wrong tags and pointers rejected",
        "fresh close scene resolves actual indexed arm units using named mount API, with no far history",
        "all three close driving targets select their own distinct descriptors",
        "missing mount, invalid API index, invalid coordinate, config opt-out are fail closed",
        "post-health mount node, position, candidate, resource and seat changes reject publication",
        "mount path retains context, existence, liveness and native graph revalidation",
        "overlapping same-resource mounts are rejected; far path never calls mount APIs",
        "full HUD: close-start warmup, distinct HP switching, walking, overlap and restored display"
      ],
      "hud": {
        "distinct_hp": true,
        "walking_hidden": true,
        "overlap_refused": true,
        "roster_guard": true,
        "close_start": true,
        "mode_transition_no_blanket_hide": true
      },
      "live_mount_fit_verified": false,
      "mount_api_calls_mocked": 454,
      "model": "EXO-49",
      "mount_mode_in_hud_json_report": true
    },
    {
      "checks": 13734,
      "mount_api_calls_mocked": 454,
      "cases": [
        "genuine lightuserdata exact scalar conversion, full 32-bit reference, wrong tags and pointers rejected",
        "fresh close scene resolves actual indexed arm units using named mount API, with no far history",
        "all three close driving targets select their own distinct descriptors",
        "missing mount, invalid API index, invalid coordinate, config opt-out are fail closed",
        "post-health mount node, position, candidate, resource and seat changes reject publication",
        "mount path retains context, existence, liveness and native graph revalidation",
        "overlapping same-resource mounts are rejected; far path never calls mount APIs",
        "full HUD: close-start warmup, distinct HP switching, walking, overlap and restored display"
      ],
      "hud": {
        "roster_guard": true,
        "close_start": true,
        "mode_transition_no_blanket_hide": true,
        "distinct_hp": true,
        "walking_hidden": true,
        "overlap_refused": true
      },
      "live_mount_fit_verified": false,
      "real_engine_calls": 0,
      "model": "EXO-51",
      "mount_mode_in_hud_json_report": true
    },
    {
      "live_mount_fit_verified": false,
      "mount_api_calls_mocked": 454,
      "hud": {
        "walking_hidden": true,
        "overlap_refused": true,
        "roster_guard": true,
        "close_start": true,
        "mode_transition_no_blanket_hide": true,
        "distinct_hp": true
      },
      "checks": 13734,
      "real_engine_calls": 0,
      "cases": [
        "genuine lightuserdata exact scalar conversion, full 32-bit reference, wrong tags and pointers rejected",
        "fresh close scene resolves actual indexed arm units using named mount API, with no far history",
        "all three close driving targets select their own distinct descriptors",
        "missing mount, invalid API index, invalid coordinate, config opt-out are fail closed",
        "post-health mount node, position, candidate, resource and seat changes reject publication",
        "mount path retains context, existence, liveness and native graph revalidation",
        "overlapping same-resource mounts are rejected; far path never calls mount APIs",
        "full HUD: close-start warmup, distinct HP switching, walking, overlap and restored display"
      ],
      "model": "EXO-55",
      "mount_mode_in_hud_json_report": true
    }
  ],
  "cases_per_model": 8,
  "variant_resources_synthetic": true,
  "fixture_note": "Reuse recorded EXO-51 descriptor numbers with synthetic resource substitutions; all positions/HP/native graphs are mocked. Not four real game captures.",
  "config_default_and_disable_verified": true,
  "genuine_lua_lightuserdata": true,
  "real_luajit_ffi_conversion": true,
  "engine_and_health_mocked": true,
  "real_game_calls": 0,
  "live_hd2_encoding_confirmed": false,
  "multiplayer_fix_live_verified": false
}