{
  "checks": [
    {
      "case": "four_vertex_fiber_(0, 0, 0, 0)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 1, 0, 0)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 0, 1, 0)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 1, 1, 0)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 0, 0, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 1, 0, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 0, 1, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(3, 1, 1, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(0, 1, 1, 0)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 2, 1, 0)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 1, 2, 0)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 2, 2, 0)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 1, 1, 1)",
      "passed": true,
      "states": 3
    },
    {
      "case": "four_vertex_fiber_(2, 2, 1, 1)",
      "passed": true,
      "states": 2
    },
    {
      "case": "four_vertex_fiber_(2, 1, 2, 1)",
      "passed": true,
      "states": 2
    },
    {
      "case": "four_vertex_fiber_(3, 2, 2, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(0, 1, 0, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 2, 0, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 1, 0, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 2, 0, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 1, 1, 2)",
      "passed": true,
      "states": 2
    },
    {
      "case": "four_vertex_fiber_(3, 2, 1, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(0, 2, 1, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 3, 1, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 2, 2, 1)",
      "passed": true,
      "states": 2
    },
    {
      "case": "four_vertex_fiber_(2, 3, 2, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 2, 1, 2)",
      "passed": true,
      "states": 2
    },
    {
      "case": "four_vertex_fiber_(2, 3, 1, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 2, 2, 2)",
      "passed": true,
      "states": 3
    },
    {
      "case": "four_vertex_fiber_(3, 3, 2, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(0, 0, 1, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 0, 2, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 0, 1, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 0, 2, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(3, 1, 2, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(0, 1, 2, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 1, 3, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 2, 3, 1)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 1, 2, 2)",
      "passed": true,
      "states": 2
    },
    {
      "case": "four_vertex_fiber_(2, 1, 3, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(3, 2, 3, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(0, 1, 1, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 1, 1, 3)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 2, 1, 3)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 1, 2, 3)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(3, 2, 2, 3)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(0, 2, 2, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 3, 2, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 2, 3, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 3, 3, 2)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(1, 2, 2, 3)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 3, 2, 3)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(2, 2, 3, 3)",
      "passed": true,
      "states": 1
    },
    {
      "case": "four_vertex_fiber_(3, 3, 3, 3)",
      "passed": true,
      "states": 1
    },
    {
      "case": "three_state_chain_closed_form_all_saved_steps",
      "passed": true
    },
    {
      "case": "generic_accepted_switch_stationary_bias",
      "passed": true
    },
    {
      "case": "six_cycle_host_two_isolated_states_no_mixing",
      "passed": true
    },
    {
      "case": "small_unique_zero_graph_0",
      "passed": true
    },
    {
      "case": "small_unique_zero_graph_1",
      "passed": true
    },
    {
      "case": "small_unique_zero_graph_2",
      "passed": true
    },
    {
      "case": "small_unique_zero_graph_3",
      "passed": true
    },
    {
      "case": "odd_degree_sum_completed_infeasibility",
      "passed": true
    },
    {
      "case": "budget_exhaustion_unknown_not_empty",
      "passed": true
    },
    {
      "case": "too_many_vertices",
      "passed": true
    },
    {
      "case": "boolean_degree",
      "passed": true
    },
    {
      "case": "loop_in_host",
      "passed": true
    },
    {
      "case": "duplicate_host_edge",
      "passed": true
    },
    {
      "case": "weighted_model_rejected",
      "passed": true
    },
    {
      "case": "step_cap_rejected",
      "passed": true
    }
  ],
  "passed": 69,
  "total": 69,
  "evidence": "Independent four-vertex edge enumeration, neighbor-pattern comparisons, closed-form finite law, host disconnection and exact stationary mass calculation."
}