{
  "utc": "2026-10-14T03:47:46.040059+00:00",
  "expanded_flow": [
    {
      "weights": [
        1
      ],
      "new_nonhalf_fraction_dual_checks": 12,
      "bits_D": 8
    },
    {
      "weights": [
        1000000000000003
      ],
      "new_nonhalf_fraction_dual_checks": 12,
      "bits_D": 58
    },
    {
      "weights": [
        1000000000000003,
        1000000000000003
      ],
      "new_nonhalf_fraction_dual_checks": 24,
      "bits_D": 59
    },
    {
      "weights": [
        1000000000000003,
        1000000000000004
      ],
      "new_nonhalf_fraction_dual_checks": 24,
      "bits_D": 59
    },
    {
      "weights": [
        1,
        1,
        2,
        2
      ],
      "new_nonhalf_fraction_dual_checks": 96,
      "bits_D": 11
    },
    {
      "weights": [
        3,
        3,
        6
      ],
      "new_nonhalf_fraction_dual_checks": 48,
      "bits_D": 12
    },
    {
      "weights": [
        2,
        4,
        8,
        16,
        32
      ],
      "new_nonhalf_fraction_dual_checks": 192,
      "bits_D": 13
    }
  ],
  "expanded_games": [
    {
      "weights": [
        3,
        3
      ],
      "new_direct_auxiliary_pair_checks": 24,
      "crossing_pairs": 4,
      "off_optimum_full_payoff_identity_checks": 79,
      "default_strict": true
    },
    {
      "weights": [
        3,
        4
      ],
      "new_direct_auxiliary_pair_checks": 24,
      "crossing_pairs": 0,
      "off_optimum_full_payoff_identity_checks": 79,
      "default_strict": true
    },
    {
      "weights": [
        3,
        3,
        6
      ],
      "new_direct_auxiliary_pair_checks": 48,
      "crossing_pairs": 4,
      "off_optimum_full_payoff_identity_checks": 103,
      "default_strict": true
    },
    {
      "weights": [
        2,
        2,
        2
      ],
      "new_direct_auxiliary_pair_checks": 48,
      "crossing_pairs": 0,
      "off_optimum_full_payoff_identity_checks": 103,
      "default_strict": true
    }
  ],
  "new_all_original_choice_attempts": [
    {
      "weights": [
        2,
        2
      ],
      "all_terminal_used_flags": [
        true
      ],
      "distinct_states": 9,
      "tie_branches": 0
    },
    {
      "weights": [
        2,
        4
      ],
      "all_terminal_used_flags": [
        false
      ],
      "distinct_states": 9,
      "tie_branches": 0
    },
    {
      "weights": [
        3,
        3,
        6
      ],
      "all_terminal_used_flags": [
        true
      ],
      "distinct_states": 17,
      "tie_branches": 0
    },
    {
      "weights": [
        1,
        1,
        2,
        2
      ],
      "all_terminal_used_flags": [
        true
      ],
      "distinct_states": 33,
      "tie_branches": 0
    }
  ],
  "controls": {
    "nongeometric_tail_cancellation": true,
    "M_equals_dual_bound_infeasible_tie": true,
    "strict_M_eliminates_tie": true,
    "one_by_two_continuum_endpoints": true,
    "nonunit_certificate_rejected": true,
    "without_perturbation_nontrivial_real_demand_zero_cycle": true
  },
  "limits": "Finite extension tests, not exhaustive equilibrium enumeration or proof of every n/irrational parameter. Constructs with pinned family code but checks new fractional cases and direct payoff identities independently. No omitted historical script replay."
}
