{
  "seed": 2516,
  "printed_ABt_certificate_dimensionally_ill_typed": true,
  "exact_enabled_pair_certificate": true,
  "transition_formula_ok": true,
  "prediction_zero_forbidden": true,
  "prediction_first_intervention_matches_softmax": false,
  "horizon_sweep": [
    {
      "H": 1,
      "violation_rate": 0.0,
      "completion_rate": 0.0,
      "intervention_rate": 0.8625,
      "first_intervention_rate": 0.021
    },
    {
      "H": 2,
      "violation_rate": 0.0,
      "completion_rate": 1.0,
      "intervention_rate": 0.9835,
      "first_intervention_rate": 0.982
    },
    {
      "H": 3,
      "violation_rate": 0.0,
      "completion_rate": 1.0,
      "intervention_rate": 0.9835,
      "first_intervention_rate": 0.982
    },
    {
      "H": 4,
      "violation_rate": 0.0,
      "completion_rate": 1.0,
      "intervention_rate": 0.9835,
      "first_intervention_rate": 0.982
    }
  ],
  "bias_sweep": [
    {
      "bias": -2,
      "predicted_start_mask_probability": 0.10650697891920076,
      "observed_first_intervention": 0.35975,
      "shield_forbidden": 0.0,
      "raw_forbidden": 0.5965,
      "shield_completion": 0.87775
    },
    {
      "bias": -1,
      "predicted_start_mask_probability": 0.24472847105479764,
      "observed_first_intervention": 0.49225,
      "shield_forbidden": 0.0,
      "raw_forbidden": 0.7035,
      "shield_completion": 0.73975
    },
    {
      "bias": 0,
      "predicted_start_mask_probability": 0.4683105308334812,
      "observed_first_intervention": 0.56475,
      "shield_forbidden": 0.0,
      "raw_forbidden": 0.841,
      "shield_completion": 0.5055
    },
    {
      "bias": 1,
      "predicted_start_mask_probability": 0.7053845126982411,
      "observed_first_intervention": 0.4315,
      "shield_forbidden": 0.0,
      "raw_forbidden": 0.94325,
      "shield_completion": 0.27
    },
    {
      "bias": 2,
      "predicted_start_mask_probability": 0.8668133321973349,
      "observed_first_intervention": 0.2315,
      "shield_forbidden": 0.0,
      "raw_forbidden": 0.98575,
      "shield_completion": 0.114
    },
    {
      "bias": 3,
      "predicted_start_mask_probability": 0.9464991225528935,
      "observed_first_intervention": 0.1015,
      "shield_forbidden": 0.0,
      "raw_forbidden": 0.99875,
      "shield_completion": 0.048
    },
    {
      "bias": 4,
      "predicted_start_mask_probability": 0.9796292071670795,
      "observed_first_intervention": 0.037,
      "shield_forbidden": 0.0,
      "raw_forbidden": 1.0,
      "shield_completion": 0.01675
    },
    {
      "bias": 5,
      "predicted_start_mask_probability": 0.9924082466500291,
      "observed_first_intervention": 0.01475,
      "shield_forbidden": 0.0,
      "raw_forbidden": 1.0,
      "shield_completion": 0.00825
    }
  ],
  "matrices": {
    "A": [
      [
        1,
        0,
        0,
        0
      ],
      [
        1,
        1,
        0,
        0
      ],
      [
        1,
        0,
        1,
        0
      ],
      [
        0,
        0,
        1,
        1
      ]
    ],
    "B": [
      [
        1,
        0,
        0,
        0,
        0,
        0,
        0
      ],
      [
        0,
        1,
        0,
        1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        1,
        0,
        1,
        0,
        0
      ],
      [
        0,
        0,
        0,
        0,
        0,
        1,
        1
      ]
    ],
    "C": [
      [
        1,
        1,
        1,
        0,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        1,
        0,
        0,
        0
      ],
      [
        0,
        0,
        0,
        0,
        1,
        1,
        0
      ],
      [
        0,
        0,
        0,
        0,
        0,
        0,
        1
      ]
    ]
  }
}