{
  "passed": true,
  "by": "Codex",
  "type": "self-review",
  "date": "2026-10-13",
  "count": 227,
  "checks": [
    {
      "name": "independent_code_isometry",
      "passed": true,
      "error": 5.551115123125783e-17,
      "tolerance": 1e-10
    },
    {
      "name": "X_distance3",
      "passed": true
    },
    {
      "name": "Z_distance3",
      "passed": true
    },
    {
      "name": "transversal_dynamic_distance_all_lower_weights_dense",
      "passed": true,
      "error": 3.440900798301662e-17,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_dynamic_distance_all_witnesses_dense",
      "passed": true,
      "min_nontrivial": 0.9999999999999986
    },
    {
      "name": "decoded_dynamic_distance_all_lower_weights_dense",
      "passed": true,
      "error": 2.7755575615628886e-17,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_dynamic_distance_all_witnesses_dense",
      "passed": true,
      "min_nontrivial": 0.9999999999999986
    },
    {
      "name": "transversal_all_fault_generators_forward",
      "passed": true,
      "generators": 2772
    },
    {
      "name": "transversal_deadline119",
      "passed": true
    },
    {
      "name": "transversal_unverified_aux_input_7",
      "passed": true
    },
    {
      "name": "transversal_unverified_aux_input_14",
      "passed": true
    },
    {
      "name": "transversal_zero_noise_cleanTrue",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_code_first_order_cleanTrue",
      "passed": true,
      "error": 9.597580401532468e-07,
      "tolerance": 0.02
    },
    {
      "name": "transversal_oracle_first_order_cleanTrue",
      "passed": true,
      "error": 1.0768053115839393e-05,
      "tolerance": 0.02
    },
    {
      "name": "protected_single_fault_oracle_coefficient",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-08
    },
    {
      "name": "transversal_zero_noise_cleanFalse",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_code_first_order_cleanFalse",
      "passed": true,
      "error": 0.00014015591585803122,
      "tolerance": 0.02
    },
    {
      "name": "transversal_oracle_first_order_cleanFalse",
      "passed": true,
      "error": 0.006720072865576299,
      "tolerance": 0.02
    },
    {
      "name": "decoded_all_fault_generators_forward",
      "passed": true,
      "generators": 2772
    },
    {
      "name": "decoded_deadline119",
      "passed": true
    },
    {
      "name": "decoded_unverified_aux_input_7",
      "passed": true
    },
    {
      "name": "decoded_unverified_aux_input_14",
      "passed": true
    },
    {
      "name": "decoded_zero_noise_cleanTrue",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_code_first_order_cleanTrue",
      "passed": true,
      "error": 0.0001617011234387178,
      "tolerance": 0.02
    },
    {
      "name": "decoded_oracle_first_order_cleanTrue",
      "passed": true,
      "error": 4.040490851764389e-05,
      "tolerance": 0.02
    },
    {
      "name": "decoded_zero_noise_cleanFalse",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_code_first_order_cleanFalse",
      "passed": true,
      "error": 0.0006647643420905069,
      "tolerance": 0.02
    },
    {
      "name": "decoded_oracle_first_order_cleanFalse",
      "passed": true,
      "error": 0.006632315712067793,
      "tolerance": 0.02
    },
    {
      "name": "transversal_complete_dense_gate_channel",
      "passed": true,
      "error": 4.163336342344337e-17,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_dense_channel_trace",
      "passed": true,
      "error": 9.992007221626409e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_complete_dense_gate_channel",
      "passed": true,
      "error": 5.898059818321144e-17,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_dense_channel_trace",
      "passed": true,
      "error": 4.440892098500626e-16,
      "tolerance": 1e-10
    },
    {
      "name": "four_location_full_branch_enumeration_vs_walsh",
      "passed": true,
      "error": 1.1102230246251565e-16,
      "tolerance": 1e-10
    },
    {
      "name": "noisy_correction_class0_all_16384_Paulis",
      "passed": true,
      "error": 4.440892098500626e-16,
      "tolerance": 1e-10
    },
    {
      "name": "noisy_correction_class77_all_16384_Paulis",
      "passed": true,
      "error": 2.220446049250313e-16,
      "tolerance": 1e-10
    },
    {
      "name": "noisy_correction_class255_all_16384_Paulis",
      "passed": true,
      "error": 2.174827218351524e-17,
      "tolerance": 1e-10
    },
    {
      "name": "plus_target_Z_trace_preservation",
      "passed": true,
      "error": 1.1102230246251565e-16,
      "tolerance": 1e-10
    },
    {
      "name": "plus_target_Z_logical_content",
      "passed": true,
      "error": 3.3306690738754696e-16,
      "tolerance": 1e-10
    },
    {
      "name": "plus_target_Z_record_normalization",
      "passed": true,
      "error": 1.1102230246251565e-16,
      "tolerance": 1e-10
    },
    {
      "name": "plus_target_X0_trace_preservation",
      "passed": true,
      "error": 1.1102230246251565e-16,
      "tolerance": 1e-10
    },
    {
      "name": "plus_target_X0_logical_content",
      "passed": true,
      "error": 3.3306690738754696e-16,
      "tolerance": 1e-10
    },
    {
      "name": "plus_target_X0_record_normalization",
      "passed": true,
      "error": 1.1102230246251565e-16,
      "tolerance": 1e-10
    },
    {
      "name": "zero_control_X_trace_preservation",
      "passed": true,
      "error": 1.6653345369377348e-15,
      "tolerance": 1e-10
    },
    {
      "name": "zero_control_X_logical_content",
      "passed": true,
      "error": 1.887379141862766e-15,
      "tolerance": 1e-10
    },
    {
      "name": "zero_control_X_record_normalization",
      "passed": true,
      "error": 1.6653345369377348e-15,
      "tolerance": 1e-10
    },
    {
      "name": "zero_control_Z0_trace_preservation",
      "passed": true,
      "error": 1.6653345369377348e-15,
      "tolerance": 1e-10
    },
    {
      "name": "zero_control_Z0_logical_content",
      "passed": true,
      "error": 1.887379141862766e-15,
      "tolerance": 1e-10
    },
    {
      "name": "zero_control_Z0_record_normalization",
      "passed": true,
      "error": 1.6653345369377348e-15,
      "tolerance": 1e-10
    },
    {
      "name": "wrong_zero_target_Z_trace_preservation",
      "passed": true,
      "error": 7.771561172376096e-16,
      "tolerance": 1e-10
    },
    {
      "name": "wrong_zero_target_Z_logical_content",
      "passed": true,
      "error": 5.551115123125783e-16,
      "tolerance": 1e-10
    },
    {
      "name": "wrong_zero_target_Z_record_normalization",
      "passed": true,
      "error": 4.440892098500626e-16,
      "tolerance": 1e-10
    },
    {
      "name": "physical_X0_check111",
      "passed": true,
      "error": 1.1102230246251565e-16,
      "tolerance": 1e-10
    },
    {
      "name": "physical_Z0_check111",
      "passed": true,
      "error": 1.6653345369377348e-15,
      "tolerance": 1e-10
    },
    {
      "name": "all_256_physical_encoded_Bell_classes_orthonormal",
      "passed": true,
      "error": 2.220446049250313e-16,
      "tolerance": 1e-10
    },
    {
      "name": "all_16384_physical_Paulis_256_equal_stabilizer_cosets",
      "passed": true
    },
    {
      "name": "transversal_clean_aux_probability_mass",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_probability_positive",
      "passed": true
    },
    {
      "name": "transversal_clean_aux_full_trace",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_full_TP",
      "passed": true,
      "error": 7.771561172376096e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_full_CP",
      "passed": true
    },
    {
      "name": "transversal_clean_aux_flagged_trace",
      "passed": true,
      "error": 1.1102230246251565e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_flagged_TP",
      "passed": true,
      "error": 2.7755575615628914e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_flagged_CP",
      "passed": true
    },
    {
      "name": "transversal_clean_aux_full_physical_Fe",
      "passed": true,
      "error": 1.3322676295501878e-15,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_codespace_probability",
      "passed": true,
      "error": 9.992007221626409e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_failed_branch_mass",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_flagged_Fe",
      "passed": true,
      "error": 1.3322676295501878e-15,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_conditional_times_acceptance",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_clean_aux_information_and_postselection_order",
      "passed": true
    },
    {
      "name": "transversal_clean_aux_physical_pulse_recovery_optimal_in_declared_family",
      "passed": true
    },
    {
      "name": "transversal_raw_aux_probability_mass",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_probability_positive",
      "passed": true
    },
    {
      "name": "transversal_raw_aux_full_trace",
      "passed": true,
      "error": 6.661338147750939e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_full_TP",
      "passed": true,
      "error": 2.220446049250313e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_full_CP",
      "passed": true
    },
    {
      "name": "transversal_raw_aux_flagged_trace",
      "passed": true,
      "error": 6.661338147750939e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_flagged_TP",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_flagged_CP",
      "passed": true
    },
    {
      "name": "transversal_raw_aux_full_physical_Fe",
      "passed": true,
      "error": 9.992007221626409e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_codespace_probability",
      "passed": true,
      "error": 9.992007221626409e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_failed_branch_mass",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_flagged_Fe",
      "passed": true,
      "error": 9.992007221626409e-16,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_conditional_times_acceptance",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "transversal_raw_aux_information_and_postselection_order",
      "passed": true
    },
    {
      "name": "transversal_raw_aux_physical_pulse_recovery_optimal_in_declared_family",
      "passed": true
    },
    {
      "name": "decoded_clean_aux_probability_mass",
      "passed": true,
      "error": 2.220446049250313e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_probability_positive",
      "passed": true
    },
    {
      "name": "decoded_clean_aux_full_trace",
      "passed": true,
      "error": 4.440892098500626e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_full_TP",
      "passed": true,
      "error": 4.440892098500626e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_full_CP",
      "passed": true
    },
    {
      "name": "decoded_clean_aux_flagged_trace",
      "passed": true,
      "error": 9.992007221626409e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_flagged_TP",
      "passed": true,
      "error": 4.996003610813204e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_flagged_CP",
      "passed": true
    },
    {
      "name": "decoded_clean_aux_full_physical_Fe",
      "passed": true,
      "error": 9.992007221626409e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_codespace_probability",
      "passed": true,
      "error": 9.992007221626409e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_failed_branch_mass",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_flagged_Fe",
      "passed": true,
      "error": 1.1102230246251565e-15,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_conditional_times_acceptance",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_clean_aux_information_and_postselection_order",
      "passed": true
    },
    {
      "name": "decoded_clean_aux_physical_pulse_recovery_optimal_in_declared_family",
      "passed": true
    },
    {
      "name": "decoded_raw_aux_probability_mass",
      "passed": true,
      "error": 2.220446049250313e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_probability_positive",
      "passed": true
    },
    {
      "name": "decoded_raw_aux_full_trace",
      "passed": true,
      "error": 4.440892098500626e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_full_TP",
      "passed": true,
      "error": 3.3306690738754696e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_full_CP",
      "passed": true
    },
    {
      "name": "decoded_raw_aux_flagged_trace",
      "passed": true,
      "error": 7.771561172376096e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_flagged_TP",
      "passed": true,
      "error": 3.885780586188048e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_flagged_CP",
      "passed": true
    },
    {
      "name": "decoded_raw_aux_full_physical_Fe",
      "passed": true,
      "error": 1.1102230246251565e-15,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_codespace_probability",
      "passed": true,
      "error": 8.881784197001252e-16,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_failed_branch_mass",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_flagged_Fe",
      "passed": true,
      "error": 1.1102230246251565e-15,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_conditional_times_acceptance",
      "passed": true,
      "error": 0.0,
      "tolerance": 1e-10
    },
    {
      "name": "decoded_raw_aux_information_and_postselection_order",
      "passed": true
    },
    {
      "name": "decoded_raw_aux_physical_pulse_recovery_optimal_in_declared_family",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 1e-06, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 1e-06, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 1e-06, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 1e-06, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 1e-06, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 1e-06, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 1e-06, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 1e-06, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 1e-06, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 1e-06, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 1e-06, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 1e-06, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 1e-06, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 1e-06, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 1e-06, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 1e-06, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 1e-05, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 1e-05, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 1e-05, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 1e-05, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 1e-05, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 1e-05, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 1e-05, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 1e-05, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 1e-05, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 1e-05, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 1e-05, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 1e-05, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 1e-05, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 1e-05, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 1e-05, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 1e-05, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.0001, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.0001, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.0001, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.0001, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.0001, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.0001, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.0001, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.0001, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.0001, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.0001, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.0001, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.0001, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.0001, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.0001, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.0001, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.0001, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.0003, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.0003, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.0003, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.0003, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.0003, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.0003, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.0003, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.0003, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.0003, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.0003, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.0003, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.0003, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.0003, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.0003, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.0003, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.0003, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.001, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.001, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.001, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.001, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.001, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.001, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.001, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.001, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.001, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.001, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.001, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.001, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.001, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.001, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.001, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.001, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.003, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.003, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.003, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.003, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.003, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.003, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.003, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.003, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.003, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.003, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.003, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.003, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.003, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.003, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.003, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.003, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.01, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.01, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.01, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', True, 0.01, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.01, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.01, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.01, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['transversal', False, 0.01, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.01, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.01, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.01, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', True, 0.01, 0.1]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.01, 0.0]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.01, 0.001]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.01, 0.01]",
      "passed": true
    },
    {
      "name": "scan_['decoded', False, 0.01, 0.1]",
      "passed": true
    }
  ],
  "auxiliary_full_Kraus_results": {
    "plus_target_Z": {
      "Fe": 0.9999999999999997,
      "trace_error": 1.1102230246251565e-16,
      "syndrome_probabilities": [
        0.9999999999999999,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ]
    },
    "plus_target_X0": {
      "Fe": 0.9999999999999997,
      "trace_error": 1.1102230246251565e-16,
      "syndrome_probabilities": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.9999999999999999
      ]
    },
    "zero_control_X": {
      "Fe": 0.9999999999999981,
      "trace_error": 1.6653345369377348e-15,
      "syndrome_probabilities": [
        0.9999999999999983,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ]
    },
    "zero_control_Z0": {
      "Fe": 0.9999999999999981,
      "trace_error": 1.6653345369377348e-15,
      "syndrome_probabilities": [
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.9999999999999983
      ]
    },
    "wrong_zero_target_Z": {
      "Fe": 0.49999999999999944,
      "trace_error": 7.771561172376096e-16,
      "syndrome_probabilities": [
        0.9999999999999996,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0,
        0.0
      ]
    }
  },
  "limits": "Codex author audit: dense physical Choi evolution, explicit auxiliary\nKraus branches, forward symplectic propagation, and finite convolution checks.\nNot independent peer review or replication of the neutral-atom experiment.\n Full21-qubit noisy density matrix was not evolved; exact Pauli quotient is cross-checked by dense7-qubit gate Choi, full14-qubit auxiliary branches and all elementary forward fault maps."
}