{
  "suite": "RCIG K3STOCH Stochastic Budget Admission Kernel v0.41",
  "total": 13,
  "passed": 13,
  "failed": 0,
  "all_passed": true,
  "results": [
    {
      "case": "positive_nominal_vs_robust_reversal",
      "expected_accepted": true,
      "accepted": true,
      "pass": true,
      "errors": []
    },
    {
      "case": "positive_below_threshold_nominal_trap",
      "expected_accepted": true,
      "accepted": true,
      "pass": true,
      "errors": []
    },
    {
      "case": "positive_robust_interval_above_threshold",
      "expected_accepted": true,
      "accepted": true,
      "pass": true,
      "errors": []
    },
    {
      "case": "expected_nominal_value_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "nominal stochastic value mismatch"
      ]
    },
    {
      "case": "expected_robust_value_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "robust stochastic value mismatch"
      ]
    },
    {
      "case": "expected_break_even_probability_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "break-even probability mismatch"
      ]
    },
    {
      "case": "expected_evpi_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "EVPI mismatch"
      ]
    },
    {
      "case": "probability_above_one_rejected",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "p must lie in [0,1]",
        "nominal stochastic value mismatch",
        "EVPI mismatch"
      ]
    },
    {
      "case": "reversed_robust_interval_rejected",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "robust probability interval is reversed"
      ]
    },
    {
      "case": "reversed_budget_states_rejected",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "future low budget exceeds future high budget",
        "nominal stochastic value mismatch",
        "robust stochastic value mismatch",
        "break-even probability mismatch",
        "EVPI mismatch"
      ]
    },
    {
      "case": "upstream_dependency_graph_tamper",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "base-k3dep: theorem graph expected_closed_subset_count mismatch"
      ]
    },
    {
      "case": "missing_stochastic_trust",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "stochastic budget kernel: verdict trust_base omits required trust: rcig.strategy.stochastic_budget_admission.v0.1"
      ]
    },
    {
      "case": "unsupported_stochastic_profile",
      "expected_accepted": false,
      "accepted": false,
      "pass": true,
      "errors": [
        "schema:strategy_stochastic_budget_analysis/profile: 'two_stage_stochastic_budget_option_v0.1' was expected"
      ]
    }
  ]
}