{
  "study": "BI-01-RA1",
  "status": "Derived finite-model sensitivity; not clinical or empirical evidence",
  "parameters": {
    "base": "2/5",
    "outcome_pay": "1/5",
    "q": "1/2",
    "d": "4/5",
    "f": "1/10",
    "Kmax": "1/5",
    "epsilon": "1/100",
    "review_cost": "1/20",
    "current_budget": "3/4",
    "success_probabilities": {
      "E": {
        "low": "4/5",
        "high": "19/20"
      },
      "H": {
        "low": "2/5",
        "high": "3/5"
      }
    },
    "effort_cost": {
      "low": "3/10",
      "high": "2/5"
    }
  },
  "checks_by_group": {
    "independent_event_tree": 900,
    "exact_frontier": 30,
    "endpoint_ties": 10,
    "correct_control": 48,
    "unbounded_flag": 1,
    "original_model_reproduced": 10,
    "nested_lambda_one": 7,
    "nested_lambda_one_tie": 1,
    "aggregate_calibration": 2,
    "aggregate_counterexample": 4,
    "aggregate_frontier": 8,
    "action_conditioning_diagnostic": 2,
    "positive_margin_needed": 3
  },
  "scenarios": [
    {
      "scenario": "original_raw",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "9/10",
      "benchmark_H": "9/10",
      "review_known": false,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "9/10"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "9/10"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "-1/8",
      "residual_among_completed": "-1/8",
      "provider_utility": "33/400",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "original_raw",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "9/10",
      "benchmark_H": "9/10",
      "review_known": true,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "9/10"
        },
        {
          "group": "E",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "9/10"
        },
        {
          "group": "H",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "withhold",
          "benchmark_used": null
        },
        {
          "group": "H",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "9/10"
        }
      ],
      "completion": "3/4",
      "success_per_eligible": "5/8",
      "success_among_completed": "5/6",
      "residual_per_eligible": "-1/20",
      "residual_among_completed": "-1/15",
      "provider_utility": "9/100",
      "current_spending": "9/20",
      "effort_resource_cost": "3/10",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "correct_high_reference",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "19/20",
      "benchmark_H": "3/5",
      "review_known": false,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "19/20"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "3/5"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "0",
      "residual_among_completed": "0",
      "provider_utility": "29/200",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "correct_high_reference",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "19/20",
      "benchmark_H": "3/5",
      "review_known": true,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "19/20"
        },
        {
          "group": "E",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "19/20"
        },
        {
          "group": "H",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "3/5"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "3/5"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "0",
      "residual_among_completed": "0",
      "provider_utility": "29/200",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "half_original_bias",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "37/40",
      "benchmark_H": "3/4",
      "review_known": false,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "37/40"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "3/4"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "-1/16",
      "residual_among_completed": "-1/16",
      "provider_utility": "91/800",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "half_original_bias",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "37/40",
      "benchmark_H": "3/4",
      "review_known": true,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "37/40"
        },
        {
          "group": "E",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "37/40"
        },
        {
          "group": "H",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "3/4"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "3/4"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "-1/16",
      "residual_among_completed": "-1/16",
      "provider_utility": "91/800",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "bias_threshold_tie",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "91/100",
      "benchmark_H": "21/25",
      "review_known": false,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "91/100"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "21/25"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "-1/10",
      "residual_among_completed": "-1/10",
      "provider_utility": "19/200",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "bias_threshold_tie",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "91/100",
      "benchmark_H": "21/25",
      "review_known": true,
      "action_centered": false,
      "tied_policies": 2,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "91/100"
        },
        {
          "group": "E",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "91/100"
        },
        {
          "group": "H",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "withhold",
          "benchmark_used": null
        },
        {
          "group": "H",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "21/25"
        }
      ],
      "completion": "3/4",
      "success_per_eligible": "5/8",
      "success_among_completed": "5/6",
      "residual_per_eligible": "-1/25",
      "residual_among_completed": "-4/75",
      "provider_utility": "19/200",
      "current_spending": "9/20",
      "effort_resource_cost": "3/10",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "bias_threshold_tie",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "91/100",
      "benchmark_H": "21/25",
      "review_known": true,
      "action_centered": false,
      "tied_policies": 2,
      "policy": 1,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "91/100"
        },
        {
          "group": "E",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "91/100"
        },
        {
          "group": "H",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "21/25"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "21/25"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "-1/10",
      "residual_among_completed": "-1/10",
      "provider_utility": "19/200",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "ninety_percent_bias",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "181/200",
      "benchmark_H": "87/100",
      "review_known": false,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "181/200"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "87/100"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "-9/80",
      "residual_among_completed": "-9/80",
      "provider_utility": "71/800",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "ninety_percent_bias",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "181/200",
      "benchmark_H": "87/100",
      "review_known": true,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "181/200"
        },
        {
          "group": "E",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "181/200"
        },
        {
          "group": "H",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "withhold",
          "benchmark_used": null
        },
        {
          "group": "H",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "87/100"
        }
      ],
      "completion": "3/4",
      "success_per_eligible": "5/8",
      "success_among_completed": "5/6",
      "residual_per_eligible": "-9/200",
      "residual_among_completed": "-3/50",
      "provider_utility": "37/400",
      "current_spending": "9/20",
      "effort_resource_cost": "3/10",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "aggregate_calibrated_subgroup_error",
      "lambda": "2",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "4/5",
      "benchmark_H": "3/4",
      "review_known": false,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "4/5"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "high",
          "benchmark_used": "3/4"
        }
      ],
      "completion": "1",
      "success_per_eligible": "31/40",
      "success_among_completed": "31/40",
      "residual_per_eligible": "0",
      "residual_among_completed": "0",
      "provider_utility": "29/200",
      "current_spending": "29/50",
      "effort_resource_cost": "2/5",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "aggregate_calibrated_subgroup_error",
      "lambda": "2",
      "K": "1/5",
      "benchmark_rule": "fixed_before_choice",
      "benchmark_E": "4/5",
      "benchmark_H": "3/4",
      "review_known": true,
      "action_centered": false,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "4/5"
        },
        {
          "group": "E",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "4/5"
        },
        {
          "group": "H",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "withhold",
          "benchmark_used": null
        },
        {
          "group": "H",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "high",
          "benchmark_used": "3/4"
        }
      ],
      "completion": "3/4",
      "success_per_eligible": "5/8",
      "success_among_completed": "5/6",
      "residual_per_eligible": "3/80",
      "residual_among_completed": "1/20",
      "provider_utility": "61/400",
      "current_spending": "9/20",
      "effort_resource_cost": "3/10",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "action_conditioned_diagnostic",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "action_specific_probability",
      "benchmark_E": null,
      "benchmark_H": null,
      "review_known": false,
      "action_centered": true,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "low",
          "benchmark_used": "4/5"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1/2",
          "weight": "1/2",
          "action": "low",
          "benchmark_used": "2/5"
        }
      ],
      "completion": "1",
      "success_per_eligible": "3/5",
      "success_among_completed": "3/5",
      "residual_per_eligible": "0",
      "residual_among_completed": "0",
      "provider_utility": "21/100",
      "current_spending": "109/200",
      "effort_resource_cost": "3/10",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    },
    {
      "scenario": "action_conditioned_diagnostic",
      "lambda": "1",
      "K": "1/5",
      "benchmark_rule": "action_specific_probability",
      "benchmark_E": null,
      "benchmark_H": null,
      "review_known": true,
      "action_centered": true,
      "tied_policies": 1,
      "policy": 0,
      "states": [
        {
          "group": "E",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "low",
          "benchmark_used": "4/5"
        },
        {
          "group": "E",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "low",
          "benchmark_used": "4/5"
        },
        {
          "group": "H",
          "review_probability_at_choice": "0",
          "weight": "1/4",
          "action": "low",
          "benchmark_used": "2/5"
        },
        {
          "group": "H",
          "review_probability_at_choice": "1",
          "weight": "1/4",
          "action": "low",
          "benchmark_used": "2/5"
        }
      ],
      "completion": "1",
      "success_per_eligible": "3/5",
      "success_among_completed": "3/5",
      "residual_per_eligible": "0",
      "residual_among_completed": "0",
      "provider_utility": "21/100",
      "current_spending": "109/200",
      "effort_resource_cost": "3/10",
      "false_loss_per_eligible": "1/100",
      "enrollment_feasible": true,
      "current_budget_feasible": true
    }
  ],
  "nested_frontiers": [
    {
      "theta": "0",
      "benchmark_E": "19/20",
      "benchmark_H": "3/5",
      "unknown_weak_max_lambda": null,
      "known_weak_max_lambda": null,
      "unbounded": true,
      "finite_endpoints_have_ties": false
    },
    {
      "theta": "1/10",
      "benchmark_E": "189/200",
      "benchmark_H": "63/100",
      "unknown_weak_max_lambda": "38/3",
      "known_weak_max_lambda": "8",
      "unbounded": false,
      "finite_endpoints_have_ties": true
    },
    {
      "theta": "1/4",
      "benchmark_E": "15/16",
      "benchmark_H": "27/40",
      "unknown_weak_max_lambda": "76/15",
      "known_weak_max_lambda": "16/5",
      "unbounded": false,
      "finite_endpoints_have_ties": true
    },
    {
      "theta": "1/2",
      "benchmark_E": "37/40",
      "benchmark_H": "3/4",
      "unknown_weak_max_lambda": "38/15",
      "known_weak_max_lambda": "8/5",
      "unbounded": false,
      "finite_endpoints_have_ties": true
    },
    {
      "theta": "4/5",
      "benchmark_E": "91/100",
      "benchmark_H": "21/25",
      "unknown_weak_max_lambda": "19/12",
      "known_weak_max_lambda": "1",
      "unbounded": false,
      "finite_endpoints_have_ties": true
    },
    {
      "theta": "9/10",
      "benchmark_E": "181/200",
      "benchmark_H": "87/100",
      "unknown_weak_max_lambda": "38/27",
      "known_weak_max_lambda": "8/9",
      "unbounded": false,
      "finite_endpoints_have_ties": true
    },
    {
      "theta": "1",
      "benchmark_E": "9/10",
      "benchmark_H": "9/10",
      "unknown_weak_max_lambda": "19/15",
      "known_weak_max_lambda": "4/5",
      "unbounded": false,
      "finite_endpoints_have_ties": true
    }
  ],
  "source_sha256": "1fa80c10dc978a2b3cdf4369489880be200527db81158bfa1a093d5793a869df"
}
