{
  "model_version": "1.1",
  "reported_probability_significant_digits": 12,
  "seed": 5011996,
  "data_class": "synthetic; no flight telemetry",
  "independence": "iid test opportunities, not independent redundant software",
  "monte_carlo": [
    {
      "name": "million_legacy",
      "profile": "legacy",
      "n": 1000000,
      "seed": 5011996,
      "expected_detection_p": 0.0,
      "design": {
        "alignment_retained": true,
        "conversion_guard": false,
        "isolate_alignment_failure": false,
        "diagnostic_guard": false,
        "software_in_loop": true,
        "replicas": 2
      },
      "oracle": "safety",
      "latent_triggers": 0,
      "navigation_losses": 0,
      "unsafe_commands": 0,
      "detected": 0,
      "detected_rate": 0.0,
      "wilson_95": [
        4.23516473627e-22,
        3.84144406394e-06
      ],
      "zero_failure_upper_95": 2.99572778635e-06
    },
    {
      "name": "expanded_faithful",
      "profile": "expanded",
      "n": 100000,
      "seed": 5011997,
      "expected_detection_p": 0.25,
      "design": {
        "alignment_retained": true,
        "conversion_guard": false,
        "isolate_alignment_failure": false,
        "diagnostic_guard": false,
        "software_in_loop": true,
        "replicas": 2
      },
      "oracle": "safety",
      "latent_triggers": 25005,
      "navigation_losses": 25005,
      "unsafe_commands": 25005,
      "detected": 25005,
      "detected_rate": 0.25005,
      "wilson_95": [
        0.247375665623,
        0.252743537092
      ],
      "zero_failure_upper_95": null
    },
    {
      "name": "rare_tail_faithful",
      "profile": "rare_tail",
      "n": 200000,
      "seed": 5011998,
      "expected_detection_p": 0.0005,
      "design": {
        "alignment_retained": true,
        "conversion_guard": false,
        "isolate_alignment_failure": false,
        "diagnostic_guard": false,
        "software_in_loop": true,
        "replicas": 2
      },
      "oracle": "safety",
      "latent_triggers": 96,
      "navigation_losses": 96,
      "unsafe_commands": 96,
      "detected": 96,
      "detected_rate": 0.00048,
      "wilson_95": [
        0.000393121717028,
        0.000586066769514
      ],
      "zero_failure_upper_95": null
    },
    {
      "name": "expanded_idealized_stub",
      "profile": "expanded",
      "n": 100000,
      "seed": 5011997,
      "expected_detection_p": 0.0,
      "design": {
        "alignment_retained": true,
        "conversion_guard": false,
        "isolate_alignment_failure": false,
        "diagnostic_guard": false,
        "software_in_loop": false,
        "replicas": 2
      },
      "oracle": "safety",
      "latent_triggers": 25005,
      "navigation_losses": 0,
      "unsafe_commands": 0,
      "detected": 0,
      "detected_rate": 0.0,
      "wilson_95": [
        0.0,
        3.8413112583e-05
      ],
      "zero_failure_upper_95": 2.99568740194e-05
    },
    {
      "name": "expanded_packet_oracle",
      "profile": "expanded",
      "n": 100000,
      "seed": 5011997,
      "expected_detection_p": 0.0,
      "design": {
        "alignment_retained": true,
        "conversion_guard": false,
        "isolate_alignment_failure": false,
        "diagnostic_guard": false,
        "software_in_loop": true,
        "replicas": 2
      },
      "oracle": "packet",
      "latent_triggers": 25005,
      "navigation_losses": 25005,
      "unsafe_commands": 25005,
      "detected": 0,
      "detected_rate": 0.0,
      "wilson_95": [
        0.0,
        3.8413112583e-05
      ],
      "zero_failure_upper_95": 2.99568740194e-05
    },
    {
      "name": "expanded_alignment_removed",
      "profile": "expanded",
      "n": 100000,
      "seed": 5011997,
      "expected_detection_p": 0.0,
      "design": {
        "alignment_retained": false,
        "conversion_guard": false,
        "isolate_alignment_failure": false,
        "diagnostic_guard": false,
        "software_in_loop": true,
        "replicas": 2
      },
      "oracle": "safety",
      "latent_triggers": 25005,
      "navigation_losses": 0,
      "unsafe_commands": 0,
      "detected": 0,
      "detected_rate": 0.0,
      "wilson_95": [
        0.0,
        3.8413112583e-05
      ],
      "zero_failure_upper_95": 2.99568740194e-05
    }
  ],
  "probability_table": [
    {
      "p": 0.0,
      "tests_for_95_percent": null,
      "detection_by_budget": {
        "10": 0.0,
        "100": 0.0,
        "1000": 0.0,
        "10000": 0.0,
        "1000000": 0.0
      }
    },
    {
      "p": 1e-06,
      "tests_for_95_percent": 2995731,
      "detection_by_budget": {
        "10": 9.99995500012e-06,
        "100": 9.99950501617e-05,
        "1000": 0.000999500666126,
        "10000": 0.00995017120108,
        "1000000": 0.632120742768
      }
    },
    {
      "p": 0.0005,
      "tests_for_95_percent": 5990,
      "detection_by_budget": {
        "10": 0.00498876498688,
        "100": 0.0487824697577,
        "1000": 0.39354517716,
        "10000": 0.993270472978,
        "1000000": 1.0
      }
    },
    {
      "p": 0.01,
      "tests_for_95_percent": 299,
      "detection_by_budget": {
        "10": 0.0956179249912,
        "100": 0.633967658727,
        "1000": 0.999956828753,
        "10000": 1.0,
        "1000000": 1.0
      }
    },
    {
      "p": 0.25,
      "tests_for_95_percent": 11,
      "detection_by_budget": {
        "10": 0.943686485291,
        "100": 1.0,
        "1000": 1.0,
        "10000": 1.0,
        "1000000": 1.0
      }
    }
  ],
  "ablations": [
    {
      "name": "baseline_identical_pair",
      "conversion_out_of_range": true,
      "alignment_exception": true,
      "failed_units": 2,
      "navigation_available": false,
      "diagnostic_accepted": true,
      "unsafe_command": true,
      "bus_frame_present": true,
      "detected": true
    },
    {
      "name": "one_unit",
      "conversion_out_of_range": true,
      "alignment_exception": true,
      "failed_units": 1,
      "navigation_available": false,
      "diagnostic_accepted": true,
      "unsafe_command": true,
      "bus_frame_present": true,
      "detected": true
    },
    {
      "name": "three_identical_units",
      "conversion_out_of_range": true,
      "alignment_exception": true,
      "failed_units": 3,
      "navigation_available": false,
      "diagnostic_accepted": true,
      "unsafe_command": true,
      "bus_frame_present": true,
      "detected": true
    },
    {
      "name": "remove_postlaunch_alignment",
      "conversion_out_of_range": false,
      "alignment_exception": false,
      "failed_units": 0,
      "navigation_available": true,
      "diagnostic_accepted": false,
      "unsafe_command": false,
      "bus_frame_present": true,
      "detected": false
    },
    {
      "name": "guard_alignment_conversion",
      "conversion_out_of_range": true,
      "alignment_exception": false,
      "failed_units": 0,
      "navigation_available": true,
      "diagnostic_accepted": false,
      "unsafe_command": false,
      "bus_frame_present": true,
      "detected": false
    },
    {
      "name": "isolate_alignment_exception",
      "conversion_out_of_range": true,
      "alignment_exception": true,
      "failed_units": 0,
      "navigation_available": true,
      "diagnostic_accepted": false,
      "unsafe_command": false,
      "bus_frame_present": true,
      "detected": false
    },
    {
      "name": "reject_diagnostic_frame",
      "conversion_out_of_range": true,
      "alignment_exception": true,
      "failed_units": 2,
      "navigation_available": false,
      "diagnostic_accepted": false,
      "unsafe_command": false,
      "bus_frame_present": true,
      "detected": true
    },
    {
      "name": "idealized_sri_stub",
      "conversion_out_of_range": false,
      "alignment_exception": false,
      "failed_units": 0,
      "navigation_available": true,
      "diagnostic_accepted": false,
      "unsafe_command": false,
      "bus_frame_present": true,
      "detected": false
    }
  ],
  "coverage": {
    "factors": [
      "high_bh",
      "early_time",
      "alignment_retained",
      "conversion_guard",
      "isolate_alignment_failure",
      "diagnostic_guard",
      "software_in_loop",
      "safety_oracle"
    ],
    "pair_universe": 112,
    "suites": {
      "exhaustive": {
        "cases": 256,
        "pairs_covered": 112,
        "pair_coverage": 1.0,
        "navigation_losses": 4,
        "detected": 2,
        "unsafe_commands": 2,
        "rows": [
          [
            false,
            false,
            false,
            false,
            false,
            false,
            false,
            false
          ],
          [
            false,
            false,
            false,
            false,
            false,
            false,
            false,
            true
          ],
          [
            false,
            false,
            false,
            false,
            false,
            false,
            true,
            false
          ],
          [
            false,
            false,
            false,
            false,
            false,
            false,
            true,
            true
          ],
          [
            false,
            false,
            false,
            false,
            false,
            true,
            false,
            false
          ],
          [
            false,
            false,
            false,
            false,
            false,
            true,
            false,
            true
          ],
          [
            false,
            false,
            false,
            false,
            false,
            true,
            true,
            false
          ],
          [
            false,
            false,
            false,
            false,
            false,
            true,
            true,
            true
          ],
          [
            false,
            false,
            false,
            false,
            true,
            false,
            false,
            false
          ],
          [
            false,
            false,
            false,
            false,
            true,
            false,
            false,
            true
          ],
          [
            false,
            false,
            false,
            false,
            true,
            false,
            true,
            false
          ],
          [
            false,
            false,
            false,
            false,
            true,
            false,
            true,
            true
          ],
          [
            false,
            false,
            false,
            false,
            true,
            true,
            false,
            false
          ],
          [
            false,
            false,
            false,
            false,
            true,
            true,
            false,
            true
          ],
          [
            false,
            false,
            false,
            false,
            true,
            true,
            true,
            false
          ],
          [
            false,
            false,
            false,
            false,
            true,
            true,
            true,
            true
          ],
          [
            false,
            false,
            false,
            true,
            false,
            false,
            false,
            false
          ],
          [
            false,
            false,
            false,
            true,
            false,
            false,
            false,
            true
          ],
          [
            false,
            false,
            false,
            true,
            false,
            false,
            true,
            false
          ],
          [
            false,
            false,
            false,
            true,
            false,
            false,
            true,
            true
          ],
          [
            false,
            false,
            false,
            true,
            false,
            true,
            false,
            false
          ],
          [
            false,
            false,
            false,
            true,
            false,
            true,
            false,
            true
          ],
          [
            false,
            false,
            false,
            true,
            false,
            true,
            true,
            false
          ],
          [
            false,
            false,
            false,
            true,
            false,
            true,
            true,
            true
          ],
          [
            false,
            false,
            false,
            true,
            true,
            false,
            false,
            false
          ],
          [
            false,
            false,
            false,
            true,
            true,
            false,
            false,
            true
          ],
          [
            false,
            false,
            false,
            true,
            true,
            false,
            true,
            false
          ],
          [
            false,
            false,
            false,
            true,
            true,
            false,
            true,
            true
          ],
          [
            false,
            false,
            false,
            true,
            true,
            true,
            false,
            false
          ],
          [
            false,
            false,
            false,
            true,
            true,
            true,
            false,
            true
          ],
          [
            false,
            false,
            false,
            true,
            true,
            true,
            true,
            false
          ],
          [
            false,
            false,
            false,
            true,
            true,
            true,
            true,
            true
          ],
          [
            false,
            false,
            true,
            false,
            false,
            false,
            false,
            false
          ],
          [
            false,
            false,
            true,
            false,
            false,
            false,
            false,
            true
          ],
          [
            false,
            false,
            true,
            false,
            false,
            false,
            true,
            false
          ],
          [
            false,
            false,
            true,
            false,
            false,
            false,
            true,
            true
          ],
          [
            false,
            false,
            true,
            false,
            false,
            true,
            false,
            false
          ],
          [
            false,
            false,
            true,
            false,
            false,
            true,
            false,
            true
          ],
          [
            false,
            false,
            true,
            false,
            false,
            true,
            true,
            false
          ],
          [
            false,
            false,
            true,
            false,
            false,
            true,
            true,
            true
          ],
          [
            false,
            false,
            true,
            false,
            true,
            false,
            false,
            false
          ],
          [
            false,
            false,
            true,
            false,
            true,
            false,
            false,
            true
          ],
          [
            false,
            false,
            true,
            false,
            true,
            false,
            true,
            false
          ],
          [
            false,
            false,
            true,
            false,
            true,
            false,
            true,
            true
          ],
          [
            false,
            false,
            true,
            false,
            true,
            true,
            false,
            false
          ],
          [
            false,
            false,
            true,
            false,
            true,
            true,
            false,
            true
          ],
          [
            false,
            false,
            true,
            false,
            true,
            true,
            true,
            false
          ],
          [
            false,
            false,
            true,
            false,
            true,
            true,
            true,
            true
          ],
          [
            false,
            false,
            true,
            true,
            false,
            false,
            false,
            false
          ],
          [
            false,
            false,
            true,
            true,
            false,
            false,
            false,
            true
          ],
          [
            false,
            false,
            true,
            true,
            false,
            false,
            true,
            false
          ],
          [
            false,
            false,
            true,
            true,
            false,
            false,
            true,
            true
          ],
          [
            false,
            false,
            true,
            true,
            false,
            true,
            false,
            false
          ],
          [
            false,
            false,
            true,
            true,
            false,
            true,
            false,
            true
          ],
          [
            false,
            false,
            true,
            true,
            false,
            true,
            true,
            false
          ],
          [
            false,
            false,
            true,
            true,
            false,
            true,
            true,
            true
          ],
          [
            false,
            false,
            true,
            true,
            true,
            false,
            false,
            false
          ],
          [
            false,
            false,
            true,
            true,
            true,
            false,
            false,
            true
          ],
          [
            false,
            false,
            true,
            true,
            true,
            false,
            true,
            false
          ],
          [
            false,
            false,
            true,
            true,
            true,
            false,
            true,
            true
          ],
          [
            false,
            false,
            true,
            true,
            true,
            true,
            false,
            false
          ],
          [
            false,
            false,
            true,
            true,
            true,
            true,
            false,
            true
          ],
          [
            false,
            false,
            true,
            true,
            true,
            true,
            true,
            false
          ],
          [
            false,
            false,
            true,
            true,
            true,
            true,
            true,
            true
          ],
          [
            false,
            true,
            false,
            false,
            false,
            false,
            false,
            false
          ],
          [
            false,
            true,
            false,
            false,
            false,
            false,
            false,
            true
          ],
          [
            false,
            true,
            false,
            false,
            false,
            false,
            true,
            false
          ],
          [
            false,
            true,
            false,
            false,
            false,
            false,
            true,
            true
          ],
          [
            false,
            true,
            false,
            false,
            false,
            true,
            false,
            false
          ],
          [
            false,
            true,
            false,
            false,
            false,
            true,
            false,
            true
          ],
          [
            false,
            true,
            false,
            false,
            false,
            true,
            true,
            false
          ],
          [
            false,
            true,
            false,
            false,
            false,
            true,
            true,
            true
          ],
          [
            false,
            true,
            false,
            false,
            true,
            false,
            false,
            false
          ],
          [
            false,
            true,
            false,
            false,
            true,
            false,
            false,
            true
          ],
          [
            false,
            true,
            false,
            false,
            true,
            false,
            true,
            false
          ],
          [
            false,
            true,
            false,
            false,
            true,
            false,
            true,
            true
          ],
          [
            false,
            true,
            false,
            false,
            true,
            true,
            false,
            false
          ],
          [
            false,
            true,
            false,
            false,
            true,
            true,
            false,
            true
          ],
          [
            false,
            true,
            false,
            false,
            true,
            true,
            true,
            false
          ],
          [
            false,
            true,
            false,
            false,
            true,
            true,
            true,
            true
          ],
          [
            false,
            true,
            false,
            true,
            false,
            false,
            false,
            false
          ],
          [
            false,
            true,
            false,
            true,
            false,
            false,
            false,
            true
          ],
          [
            false,
            true,
            false,
            true,
            false,
            false,
            true,
            false
          ],
          [
            false,
            true,
            false,
            true,
            false,
            false,
            true,
            true
          ],
          [
            false,
            true,
            false,
            true,
            false,
            true,
            false,
            false
          ],
          [
            false,
            true,
            false,
            true,
            false,
            true,
            false,
            true
          ],
          [
            false,
            true,
            false,
            true,
            false,
            true,
            true,
            false
          ],
          [
            false,
            true,
            false,
            true,
            false,
            true,
            true,
            true
          ],
          [
            false,
            true,
            false,
            true,
            true,
            false,
            false,
            false
          ],
          [
            false,
            true,
            false,
            true,
            true,
            false,
            false,
            true
          ],
          [
            false,
            true,
            false,
            true,
            true,
            false,
            true,
            false
          ],
          [
            false,
            true,
            false,
            true,
            true,
            false,
            true,
            true
          ],
          [
            false,
            true,
            false,
            true,
            true,
            true,
            false,
            false
          ],
          [
            false,
            true,
            false,
            true,
            true,
            true,
            false,
            true
          ],
          [
            false,
            true,
            false,
            true,
            true,
            true,
            true,
            false
          ],
          [
            false,
            true,
            false,
            true,
            true,
            true,
            true,
            true
          ],
          [
            false,
            true,
            true,
            false,
            false,
            false,
            false,
            false
          ],
          [
            false,
            true,
            true,
            false,
            false,
            false,
            false,
            true
          ],
          [
            false,
            true,
            true,
            false,
            false,
            false,
            true,
            false
          ],
          [
            false,
            true,
            true,
            false,
            false,
            false,
            true,
            true
          ],
          [
            false,
            true,
            true,
            false,
            false,
            true,
            false,
            false
          ],
          [
            false,
            true,
            true,
            false,
            false,
            true,
            false,
            true
          ],
          [
            false,
            true,
            true,
            false,
            false,
            true,
            true,
            false
          ],
          [
            false,
            true,
            true,
            false,
            false,
            true,
            true,
            true
          ],
          [
            false,
            true,
            true,
            false,
            true,
            false,
            false,
            false
          ],
          [
            false,
            true,
            true,
            false,
            true,
            false,
            false,
            true
          ],
          [
            false,
            true,
            true,
            false,
            true,
            false,
            true,
            false
          ],
          [
            false,
            true,
            true,
            false,
            true,
            false,
            true,
            true
          ],
          [
            false,
            true,
            true,
            false,
            true,
            true,
            false,
            false
          ],
          [
            false,
            true,
            true,
            false,
            true,
            true,
            false,
            true
          ],
          [
            false,
            true,
            true,
            false,
            true,
            true,
            true,
            false
          ],
          [
            false,
            true,
            true,
            false,
            true,
            true,
            true,
            true
          ],
          [
            false,
            true,
            true,
            true,
            false,
            false,
            false,
            false
          ],
          [
            false,
            true,
            true,
            true,
            false,
            false,
            false,
            true
          ],
          [
            false,
            true,
            true,
            true,
            false,
            false,
            true,
            false
          ],
          [
            false,
            true,
            true,
            true,
            false,
            false,
            true,
            true
          ],
          [
            false,
            true,
            true,
            true,
            false,
            true,
            false,
            false
          ],
          [
            false,
            true,
            true,
            true,
            false,
            true,
            false,
            true
          ],
          [
            false,
            true,
            true,
            true,
            false,
            true,
            true,
            false
          ],
          [
            false,
            true,
            true,
            true,
            false,
            true,
            true,
            true
          ],
          [
            false,
            true,
            true,
            true,
            true,
            false,
            false,
            false
          ],
          [
            false,
            true,
            true,
            true,
            true,
            false,
            false,
            true
          ],
          [
            false,
            true,
            true,
            true,
            true,
            false,
            true,
            false
          ],
          [
            false,
            true,
            true,
            true,
            true,
            false,
            true,
            true
          ],
          [
            false,
            true,
            true,
            true,
            true,
            true,
            false,
            false
          ],
          [
            false,
            true,
            true,
            true,
            true,
            true,
            false,
            true
          ],
          [
            false,
            true,
            true,
            true,
            true,
            true,
            true,
            false
          ],
          [
            false,
            true,
            true,
            true,
            true,
            true,
            true,
            true
          ],
          [
            true,
            false,
            false,
            false,
            false,
            false,
            false,
            false
          ],
          [
            true,
            false,
            false,
            false,
            false,
            false,
            false,
            true
          ],
          [
            true,
            false,
            false,
            false,
            false,
            false,
            true,
            false
          ],
          [
            true,
            false,
            false,
            false,
            false,
            false,
            true,
            true
          ],
          [
            true,
            false,
            false,
            false,
            false,
            true,
            false,
            false
          ],
          [
            true,
            false,
            false,
            false,
            false,
            true,
            false,
            true
          ],
          [
            true,
            false,
            false,
            false,
            false,
            true,
            true,
            false
          ],
          [
            true,
            false,
            false,
            false,
            false,
            true,
            true,
            true
          ],
          [
            true,
            false,
            false,
            false,
            true,
            false,
            false,
            false
          ],
          [
            true,
            false,
            false,
            false,
            true,
            false,
            false,
            true
          ],
          [
            true,
            false,
            false,
            false,
            true,
            false,
            true,
            false
          ],
          [
            true,
            false,
            false,
            false,
            true,
            false,
            true,
            true
          ],
          [
            true,
            false,
            false,
            false,
            true,
            true,
            false,
            false
          ],
          [
            true,
            false,
            false,
            false,
            true,
            true,
            false,
            true
          ],
          [
            true,
            false,
            false,
            false,
            true,
            true,
            true,
            false
          ],
          [
            true,
            false,
            false,
            false,
            true,
            true,
            true,
            true
          ],
          [
            true,
            false,
            false,
            true,
            false,
            false,
            false,
            false
          ],
          [
            true,
            false,
            false,
            true,
            false,
            false,
            false,
            true
          ],
          [
            true,
            false,
            false,
            true,
            false,
            false,
            true,
            false
          ],
          [
            true,
            false,
            false,
            true,
            false,
            false,
            true,
            true
          ],
          [
            true,
            false,
            false,
            true,
            false,
            true,
            false,
            false
          ],
          [
            true,
            false,
            false,
            true,
            false,
            true,
            false,
            true
          ],
          [
            true,
            false,
            false,
            true,
            false,
            true,
            true,
            false
          ],
          [
            true,
            false,
            false,
            true,
            false,
            true,
            true,
            true
          ],
          [
            true,
            false,
            false,
            true,
            true,
            false,
            false,
            false
          ],
          [
            true,
            false,
            false,
            true,
            true,
            false,
            false,
            true
          ],
          [
            true,
            false,
            false,
            true,
            true,
            false,
            true,
            false
          ],
          [
            true,
            false,
            false,
            true,
            true,
            false,
            true,
            true
          ],
          [
            true,
            false,
            false,
            true,
            true,
            true,
            false,
            false
          ],
          [
            true,
            false,
            false,
            true,
            true,
            true,
            false,
            true
          ],
          [
            true,
            false,
            false,
            true,
            true,
            true,
            true,
            false
          ],
          [
            true,
            false,
            false,
            true,
            true,
            true,
            true,
            true
          ],
          [
            true,
            false,
            true,
            false,
            false,
            false,
            false,
            false
          ],
          [
            true,
            false,
            true,
            false,
            false,
            false,
            false,
            true
          ],
          [
            true,
            false,
            true,
            false,
            false,
            false,
            true,
            false
          ],
          [
            true,
            false,
            true,
            false,
            false,
            false,
            true,
            true
          ],
          [
            true,
            false,
            true,
            false,
            false,
            true,
            false,
            false
          ],
          [
            true,
            false,
            true,
            false,
            false,
            true,
            false,
            true
          ],
          [
            true,
            false,
            true,
            false,
            false,
            true,
            true,
            false
          ],
          [
            true,
            false,
            true,
            false,
            false,
            true,
            true,
            true
          ],
          [
            true,
            false,
            true,
            false,
            true,
            false,
            false,
            false
          ],
          [
            true,
            false,
            true,
            false,
            true,
            false,
            false,
            true
          ],
          [
            true,
            false,
            true,
            false,
            true,
            false,
            true,
            false
          ],
          [
            true,
            false,
            true,
            false,
            true,
            false,
            true,
            true
          ],
          [
            true,
            false,
            true,
            false,
            true,
            true,
            false,
            false
          ],
          [
            true,
            false,
            true,
            false,
            true,
            true,
            false,
            true
          ],
          [
            true,
            false,
            true,
            false,
            true,
            true,
            true,
            false
          ],
          [
            true,
            false,
            true,
            false,
            true,
            true,
            true,
            true
          ],
          [
            true,
            false,
            true,
            true,
            false,
            false,
            false,
            false
          ],
          [
            true,
            false,
            true,
            true,
            false,
            false,
            false,
            true
          ],
          [
            true,
            false,
            true,
            true,
            false,
            false,
            true,
            false
          ],
          [
            true,
            false,
            true,
            true,
            false,
            false,
            true,
            true
          ],
          [
            true,
            false,
            true,
            true,
            false,
            true,
            false,
            false
          ],
          [
            true,
            false,
            true,
            true,
            false,
            true,
            false,
            true
          ],
          [
            true,
            false,
            true,
            true,
            false,
            true,
            true,
            false
          ],
          [
            true,
            false,
            true,
            true,
            false,
            true,
            true,
            true
          ],
          [
            true,
            false,
            true,
            true,
            true,
            false,
            false,
            false
          ],
          [
            true,
            false,
            true,
            true,
            true,
            false,
            false,
            true
          ],
          [
            true,
            false,
            true,
            true,
            true,
            false,
            true,
            false
          ],
          [
            true,
            false,
            true,
            true,
            true,
            false,
            true,
            true
          ],
          [
            true,
            false,
            true,
            true,
            true,
            true,
            false,
            false
          ],
          [
            true,
            false,
            true,
            true,
            true,
            true,
            false,
            true
          ],
          [
            true,
            false,
            true,
            true,
            true,
            true,
            true,
            false
          ],
          [
            true,
            false,
            true,
            true,
            true,
            true,
            true,
            true
          ],
          [
            true,
            true,
            false,
            false,
            false,
            false,
            false,
            false
          ],
          [
            true,
            true,
            false,
            false,
            false,
            false,
            false,
            true
          ],
          [
            true,
            true,
            false,
            false,
            false,
            false,
            true,
            false
          ],
          [
            true,
            true,
            false,
            false,
            false,
            false,
            true,
            true
          ],
          [
            true,
            true,
            false,
            false,
            false,
            true,
            false,
            false
          ],
          [
            true,
            true,
            false,
            false,
            false,
            true,
            false,
            true
          ],
          [
            true,
            true,
            false,
            false,
            false,
            true,
            true,
            false
          ],
          [
            true,
            true,
            false,
            false,
            false,
            true,
            true,
            true
          ],
          [
            true,
            true,
            false,
            false,
            true,
            false,
            false,
            false
          ],
          [
            true,
            true,
            false,
            false,
            true,
            false,
            false,
            true
          ],
          [
            true,
            true,
            false,
            false,
            true,
            false,
            true,
            false
          ],
          [
            true,
            true,
            false,
            false,
            true,
            false,
            true,
            true
          ],
          [
            true,
            true,
            false,
            false,
            true,
            true,
            false,
            false
          ],
          [
            true,
            true,
            false,
            false,
            true,
            true,
            false,
            true
          ],
          [
            true,
            true,
            false,
            false,
            true,
            true,
            true,
            false
          ],
          [
            true,
            true,
            false,
            false,
            true,
            true,
            true,
            true
          ],
          [
            true,
            true,
            false,
            true,
            false,
            false,
            false,
            false
          ],
          [
            true,
            true,
            false,
            true,
            false,
            false,
            false,
            true
          ],
          [
            true,
            true,
            false,
            true,
            false,
            false,
            true,
            false
          ],
          [
            true,
            true,
            false,
            true,
            false,
            false,
            true,
            true
          ],
          [
            true,
            true,
            false,
            true,
            false,
            true,
            false,
            false
          ],
          [
            true,
            true,
            false,
            true,
            false,
            true,
            false,
            true
          ],
          [
            true,
            true,
            false,
            true,
            false,
            true,
            true,
            false
          ],
          [
            true,
            true,
            false,
            true,
            false,
            true,
            true,
            true
          ],
          [
            true,
            true,
            false,
            true,
            true,
            false,
            false,
            false
          ],
          [
            true,
            true,
            false,
            true,
            true,
            false,
            false,
            true
          ],
          [
            true,
            true,
            false,
            true,
            true,
            false,
            true,
            false
          ],
          [
            true,
            true,
            false,
            true,
            true,
            false,
            true,
            true
          ],
          [
            true,
            true,
            false,
            true,
            true,
            true,
            false,
            false
          ],
          [
            true,
            true,
            false,
            true,
            true,
            true,
            false,
            true
          ],
          [
            true,
            true,
            false,
            true,
            true,
            true,
            true,
            false
          ],
          [
            true,
            true,
            false,
            true,
            true,
            true,
            true,
            true
          ],
          [
            true,
            true,
            true,
            false,
            false,
            false,
            false,
            false
          ],
          [
            true,
            true,
            true,
            false,
            false,
            false,
            false,
            true
          ],
          [
            true,
            true,
            true,
            false,
            false,
            false,
            true,
            false
          ],
          [
            true,
            true,
            true,
            false,
            false,
            false,
            true,
            true
          ],
          [
            true,
            true,
            true,
            false,
            false,
            true,
            false,
            false
          ],
          [
            true,
            true,
            true,
            false,
            false,
            true,
            false,
            true
          ],
          [
            true,
            true,
            true,
            false,
            false,
            true,
            true,
            false
          ],
          [
            true,
            true,
            true,
            false,
            false,
            true,
            true,
            true
          ],
          [
            true,
            true,
            true,
            false,
            true,
            false,
            false,
            false
          ],
          [
            true,
            true,
            true,
            false,
            true,
            false,
            false,
            true
          ],
          [
            true,
            true,
            true,
            false,
            true,
            false,
            true,
            false
          ],
          [
            true,
            true,
            true,
            false,
            true,
            false,
            true,
            true
          ],
          [
            true,
            true,
            true,
            false,
            true,
            true,
            false,
            false
          ],
          [
            true,
            true,
            true,
            false,
            true,
            true,
            false,
            true
          ],
          [
            true,
            true,
            true,
            false,
            true,
            true,
            true,
            false
          ],
          [
            true,
            true,
            true,
            false,
            true,
            true,
            true,
            true
          ],
          [
            true,
            true,
            true,
            true,
            false,
            false,
            false,
            false
          ],
          [
            true,
            true,
            true,
            true,
            false,
            false,
            false,
            true
          ],
          [
            true,
            true,
            true,
            true,
            false,
            false,
            true,
            false
          ],
          [
            true,
            true,
            true,
            true,
            false,
            false,
            true,
            true
          ],
          [
            true,
            true,
            true,
            true,
            false,
            true,
            false,
            false
          ],
          [
            true,
            true,
            true,
            true,
            false,
            true,
            false,
            true
          ],
          [
            true,
            true,
            true,
            true,
            false,
            true,
            true,
            false
          ],
          [
            true,
            true,
            true,
            true,
            false,
            true,
            true,
            true
          ],
          [
            true,
            true,
            true,
            true,
            true,
            false,
            false,
            false
          ],
          [
            true,
            true,
            true,
            true,
            true,
            false,
            false,
            true
          ],
          [
            true,
            true,
            true,
            true,
            true,
            false,
            true,
            false
          ],
          [
            true,
            true,
            true,
            true,
            true,
            false,
            true,
            true
          ],
          [
            true,
            true,
            true,
            true,
            true,
            true,
            false,
            false
          ],
          [
            true,
            true,
            true,
            true,
            true,
            true,
            false,
            true
          ],
          [
            true,
            true,
            true,
            true,
            true,
            true,
            true,
            false
          ],
          [
            true,
            true,
            true,
            true,
            true,
            true,
            true,
            true
          ]
        ]
      },
      "greedy_pairwise": {
        "cases": 8,
        "pairs_covered": 112,
        "pair_coverage": 1.0,
        "navigation_losses": 0,
        "detected": 0,
        "unsafe_commands": 0,
        "rows": [
          [
            false,
            false,
            false,
            false,
            false,
            false,
            false,
            false
          ],
          [
            false,
            true,
            true,
            true,
            true,
            true,
            true,
            true
          ],
          [
            true,
            false,
            false,
            false,
            false,
            true,
            true,
            true
          ],
          [
            true,
            true,
            true,
            true,
            true,
            false,
            false,
            false
          ],
          [
            false,
            false,
            false,
            true,
            true,
            false,
            false,
            true
          ],
          [
            false,
            true,
            true,
            false,
            false,
            false,
            true,
            false
          ],
          [
            false,
            false,
            true,
            false,
            true,
            true,
            false,
            false
          ],
          [
            false,
            true,
            false,
            true,
            false,
            false,
            false,
            false
          ]
        ]
      },
      "pairwise_blind_witness": {
        "cases": 8,
        "pairs_covered": 112,
        "pair_coverage": 1.0,
        "navigation_losses": 0,
        "detected": 0,
        "unsafe_commands": 0,
        "rows": [
          [
            false,
            false,
            false,
            false,
            false,
            false,
            false,
            false
          ],
          [
            false,
            true,
            true,
            true,
            true,
            true,
            true,
            true
          ],
          [
            true,
            false,
            false,
            false,
            false,
            true,
            true,
            true
          ],
          [
            true,
            true,
            true,
            true,
            true,
            false,
            false,
            false
          ],
          [
            false,
            false,
            false,
            true,
            true,
            false,
            false,
            true
          ],
          [
            false,
            true,
            true,
            false,
            false,
            false,
            true,
            false
          ],
          [
            false,
            false,
            true,
            false,
            true,
            true,
            false,
            false
          ],
          [
            false,
            true,
            false,
            true,
            false,
            false,
            false,
            false
          ]
        ]
      }
    }
  },
  "detection_readiness": {
    "schema_version": 1,
    "scope": "Synthetic prerequisite experiment; injected controls and analytic budgets, no additional Monte Carlo",
    "factors": [
      "overflow_support",
      "alignment_reachable",
      "implementation_in_loop",
      "safety_oracle",
      "adequate_budget",
      "retain_replay",
      "enforce_response"
    ],
    "base_detection_p": 0.0005,
    "target_probability": 0.95,
    "short_budget": 10,
    "target_budget": 5990,
    "equations": {
      "injected_detection": "E and L and F and O (fixed vulnerable design)",
      "replayable_finding": "injected_detection and R",
      "modeled_response": "injected_detection and R and A",
      "campaign_p": "0.0005 if E and L and F and O else 0 (specified rare-tail support)",
      "discovery_target": "1 - (1 - campaign_p)^n >= 0.95",
      "response_target": "discovery_target and R and A"
    },
    "summary": {
      "cases": 128,
      "actual_navigation_losses": 32,
      "injected_detections": 8,
      "replayable_findings": 4,
      "modeled_response_blocks": 2,
      "discovery_target_met": 4,
      "response_target_met": 1
    },
    "ablations": [
      {
        "name": "All prerequisites present",
        "removed_gate": null,
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.950000836299,
        "discovery_target_met": true,
        "replay_case": {
          "stimulus": {
            "bh": 40000.0,
            "time_s": 20.0,
            "alignment_end_s": 40.0
          },
          "design": {
            "alignment_retained": true,
            "conversion_guard": false,
            "isolate_alignment_failure": false,
            "diagnostic_guard": false,
            "software_in_loop": true,
            "replicas": 2
          },
          "oracle": "safety",
          "expected_detection": true
        },
        "modeled_response_blocks": true,
        "response_target_met": true
      },
      {
        "name": "No overflow exposure",
        "removed_gate": "overflow_support",
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "name": "Wrong lifecycle only",
        "removed_gate": "alignment_reachable",
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "name": "Idealized SRI stub",
        "removed_gate": "implementation_in_loop",
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "name": "Packet-only oracle",
        "removed_gate": "safety_oracle",
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "name": "Too little random budget",
        "removed_gate": "adequate_budget",
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.00498876498688,
        "discovery_target_met": false,
        "replay_case": {
          "stimulus": {
            "bh": 40000.0,
            "time_s": 20.0,
            "alignment_end_s": 40.0
          },
          "design": {
            "alignment_retained": true,
            "conversion_guard": false,
            "isolate_alignment_failure": false,
            "diagnostic_guard": false,
            "software_in_loop": true,
            "replicas": 2
          },
          "oracle": "safety",
          "expected_detection": true
        },
        "modeled_response_blocks": true,
        "response_target_met": false
      },
      {
        "name": "No replay evidence",
        "removed_gate": "retain_replay",
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.950000836299,
        "discovery_target_met": true,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "name": "No enforced response",
        "removed_gate": "enforce_response",
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.950000836299,
        "discovery_target_met": true,
        "replay_case": {
          "stimulus": {
            "bh": 40000.0,
            "time_s": 20.0,
            "alignment_end_s": 40.0
          },
          "design": {
            "alignment_retained": true,
            "conversion_guard": false,
            "isolate_alignment_failure": false,
            "diagnostic_guard": false,
            "software_in_loop": true,
            "replicas": 2
          },
          "oracle": "safety",
          "expected_detection": true
        },
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "name": "Guarded negative control",
        "removed_gate": null,
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": true,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      }
    ],
    "rows": [
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": false,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 20000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": false,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 50.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": false,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": false,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": false,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": false,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": false,
        "campaign_detection_p": 0.0,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.0,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.00498876498688,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.00498876498688,
        "discovery_target_met": false,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.00498876498688,
        "discovery_target_met": false,
        "replay_case": {
          "stimulus": {
            "bh": 40000.0,
            "time_s": 20.0,
            "alignment_end_s": 40.0
          },
          "design": {
            "alignment_retained": true,
            "conversion_guard": false,
            "isolate_alignment_failure": false,
            "diagnostic_guard": false,
            "software_in_loop": true,
            "replicas": 2
          },
          "oracle": "safety",
          "expected_detection": true
        },
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": false,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 10,
        "campaign_detection_probability": 0.00498876498688,
        "discovery_target_met": false,
        "replay_case": {
          "stimulus": {
            "bh": 40000.0,
            "time_s": 20.0,
            "alignment_end_s": 40.0
          },
          "design": {
            "alignment_retained": true,
            "conversion_guard": false,
            "isolate_alignment_failure": false,
            "diagnostic_guard": false,
            "software_in_loop": true,
            "replicas": 2
          },
          "oracle": "safety",
          "expected_detection": true
        },
        "modeled_response_blocks": true,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.950000836299,
        "discovery_target_met": true,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": false,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.950000836299,
        "discovery_target_met": true,
        "replay_case": null,
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": false
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.950000836299,
        "discovery_target_met": true,
        "replay_case": {
          "stimulus": {
            "bh": 40000.0,
            "time_s": 20.0,
            "alignment_end_s": 40.0
          },
          "design": {
            "alignment_retained": true,
            "conversion_guard": false,
            "isolate_alignment_failure": false,
            "diagnostic_guard": false,
            "software_in_loop": true,
            "replicas": 2
          },
          "oracle": "safety",
          "expected_detection": true
        },
        "modeled_response_blocks": false,
        "response_target_met": false
      },
      {
        "gates": {
          "overflow_support": true,
          "alignment_reachable": true,
          "implementation_in_loop": true,
          "safety_oracle": true,
          "adequate_budget": true,
          "retain_replay": true,
          "enforce_response": true
        },
        "stimulus": {
          "bh": 40000.0,
          "time_s": 20.0,
          "alignment_end_s": 40.0
        },
        "design": {
          "alignment_retained": true,
          "conversion_guard": false,
          "isolate_alignment_failure": false,
          "diagnostic_guard": false,
          "software_in_loop": true,
          "replicas": 2
        },
        "actual_navigation_loss": true,
        "harness_navigation_loss": true,
        "injected_control_detected": true,
        "campaign_detection_p": 0.0005,
        "campaign_budget": 5990,
        "campaign_detection_probability": 0.950000836299,
        "discovery_target_met": true,
        "replay_case": {
          "stimulus": {
            "bh": 40000.0,
            "time_s": 20.0,
            "alignment_end_s": 40.0
          },
          "design": {
            "alignment_retained": true,
            "conversion_guard": false,
            "isolate_alignment_failure": false,
            "diagnostic_guard": false,
            "software_in_loop": true,
            "replicas": 2
          },
          "oracle": "safety",
          "expected_detection": true
        },
        "modeled_response_blocks": true,
        "response_target_met": true
      }
    ]
  }
}