{
  "passed": true,
  "by": "Codex",
  "date": "2026-10-13",
  "count": 156,
  "checks": [
    {
      "name": "code_isometry_and_distance",
      "passed": true,
      "n": 4
    },
    {
      "name": "recovery_is_trace_preserving_full_physical_space",
      "passed": true,
      "n": 4
    },
    {
      "name": "all_Pauli_cosets_vs_dense_logical_action",
      "passed": true,
      "n": 4,
      "patterns": 256,
      "max_error": 4.440892098500626e-16
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 4,
      "support": [
        0
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 4,
      "support": [
        1
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 4,
      "support": [
        2
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 4,
      "support": [
        3
      ]
    },
    {
      "name": "code_isometry_and_distance",
      "passed": true,
      "n": 5
    },
    {
      "name": "recovery_is_trace_preserving_full_physical_space",
      "passed": true,
      "n": 5
    },
    {
      "name": "all_Pauli_cosets_vs_dense_logical_action",
      "passed": true,
      "n": 5,
      "patterns": 1024,
      "max_error": 0.0
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        0
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        1
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        2
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        3
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        4
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        0,
        1
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        0,
        2
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        0,
        3
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        0,
        4
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        1,
        2
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        1,
        3
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        1,
        4
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        2,
        3
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        2,
        4
      ]
    },
    {
      "name": "actual_matrix_unit_erasure_recovery_full_reference",
      "passed": true,
      "n": 5,
      "support": [
        3,
        4
      ]
    },
    {
      "name": "five_qubit_three_losses_leave_no_reference_information",
      "passed": true,
      "max_error": 1.0408340855860843e-17
    },
    {
      "name": "four_qubit_single_position_KL",
      "passed": true,
      "position": 0,
      "residual": 0.0
    },
    {
      "name": "known_nonPauli_damping_restores_two_logical_qubits",
      "passed": true,
      "position": 0
    },
    {
      "name": "four_qubit_single_position_KL",
      "passed": true,
      "position": 1,
      "residual": 2.2371143170757382e-17
    },
    {
      "name": "known_nonPauli_damping_restores_two_logical_qubits",
      "passed": true,
      "position": 1
    },
    {
      "name": "four_qubit_single_position_KL",
      "passed": true,
      "position": 2,
      "residual": 2.2371143170757382e-17
    },
    {
      "name": "known_nonPauli_damping_restores_two_logical_qubits",
      "passed": true,
      "position": 2
    },
    {
      "name": "four_qubit_single_position_KL",
      "passed": true,
      "position": 3,
      "residual": 2.2371143170757382e-17
    },
    {
      "name": "known_nonPauli_damping_restores_two_logical_qubits",
      "passed": true,
      "position": 3
    },
    {
      "name": "unknown_X1_vs_X3_has_logical_ambiguity",
      "passed": true
    },
    {
      "name": "full_reference_Kraus_channel_vs_coset_weights",
      "passed": true,
      "n": 5,
      "max_error": 6.655787032627813e-14
    },
    {
      "name": "full_reference_CP_TP",
      "passed": true,
      "n": 5
    },
    {
      "name": "full_reference_Kraus_channel_vs_coset_weights",
      "passed": true,
      "n": 4,
      "max_error": 1.0547118733938987e-15
    },
    {
      "name": "full_reference_CP_TP",
      "passed": true,
      "n": 4
    },
    {
      "name": "perfect_flag_exact_binomial_limit",
      "passed": true,
      "p": 0.002
    },
    {
      "name": "perfect_flag_exact_binomial_limit",
      "passed": true,
      "p": 0.005
    },
    {
      "name": "perfect_flag_exact_binomial_limit",
      "passed": true,
      "p": 0.01
    },
    {
      "name": "perfect_flag_exact_binomial_limit",
      "passed": true,
      "p": 0.02
    },
    {
      "name": "perfect_flag_exact_binomial_limit",
      "passed": true,
      "p": 0.04
    },
    {
      "name": "perfect_flag_exact_binomial_limit",
      "passed": true,
      "p": 0.08
    },
    {
      "name": "perfect_flag_exact_binomial_limit",
      "passed": true,
      "p": 0.12
    },
    {
      "name": "perfect_flag_exact_binomial_limit",
      "passed": true,
      "p": 0.2
    },
    {
      "name": "uninformative_flag_ignored_exactly",
      "passed": true,
      "eta": 0
    },
    {
      "name": "uninformative_flag_ignored_exactly",
      "passed": true,
      "eta": 0.2
    },
    {
      "name": "uninformative_flag_ignored_exactly",
      "passed": true,
      "eta": 0.5
    },
    {
      "name": "uninformative_flag_ignored_exactly",
      "passed": true,
      "eta": 1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0,
      "false_positive": 0
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0,
      "false_positive": 0.01
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0,
      "false_positive": 0.02
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0,
      "false_positive": 0.05
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0,
      "false_positive": 0.1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0,
      "false_positive": 0.25
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0,
      "false_positive": 0.5
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0,
      "false_positive": 1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.25,
      "false_positive": 0
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.25,
      "false_positive": 0.01
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.25,
      "false_positive": 0.02
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.25,
      "false_positive": 0.05
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.25,
      "false_positive": 0.1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.25,
      "false_positive": 0.25
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.25,
      "false_positive": 0.5
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.25,
      "false_positive": 1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.5,
      "false_positive": 0
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.5,
      "false_positive": 0.01
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.5,
      "false_positive": 0.02
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.5,
      "false_positive": 0.05
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.5,
      "false_positive": 0.1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.5,
      "false_positive": 0.25
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.5,
      "false_positive": 0.5
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.5,
      "false_positive": 1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.8,
      "false_positive": 0
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.8,
      "false_positive": 0.01
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.8,
      "false_positive": 0.02
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.8,
      "false_positive": 0.05
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.8,
      "false_positive": 0.1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.8,
      "false_positive": 0.25
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.8,
      "false_positive": 0.5
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 0.8,
      "false_positive": 1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 1,
      "false_positive": 0
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 1,
      "false_positive": 0.01
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 1,
      "false_positive": 0.02
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 1,
      "false_positive": 0.05
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 1,
      "false_positive": 0.1
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 1,
      "false_positive": 0.25
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 1,
      "false_positive": 0.5
    },
    {
      "name": "calibrated_Pauli_recovery_can_ignore_record",
      "passed": true,
      "eta": 1,
      "false_positive": 1
    },
    {
      "name": "anticorrelated_flags_are_still_information",
      "passed": true
    },
    {
      "name": "calibrated_decoder_at_least_as_good_as_mismatched",
      "passed": true,
      "false_positive": 0
    },
    {
      "name": "calibrated_decoder_at_least_as_good_as_mismatched",
      "passed": true,
      "false_positive": 0.01
    },
    {
      "name": "calibrated_decoder_at_least_as_good_as_mismatched",
      "passed": true,
      "false_positive": 0.02
    },
    {
      "name": "calibrated_decoder_at_least_as_good_as_mismatched",
      "passed": true,
      "false_positive": 0.05
    },
    {
      "name": "calibrated_decoder_at_least_as_good_as_mismatched",
      "passed": true,
      "false_positive": 0.1
    },
    {
      "name": "calibrated_decoder_at_least_as_good_as_mismatched",
      "passed": true,
      "false_positive": 0.25
    },
    {
      "name": "calibrated_decoder_at_least_as_good_as_mismatched",
      "passed": true,
      "false_positive": 0.5
    },
    {
      "name": "calibrated_decoder_at_least_as_good_as_mismatched",
      "passed": true,
      "false_positive": 1
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 0
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.02
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 0.02
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.05
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 0.05
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.1
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 0.1
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.2
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 0.2
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.4
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 0.4
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.6
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 0.6
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.8
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 0.8
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 1
    },
    {
      "name": "latency_without_added_disturbance_does_not_hurt_vs_ignoring",
      "passed": true,
      "latency": 1
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.02
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.05
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.1
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.2
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.4
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.6
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 0.8
    },
    {
      "name": "same_total_natural_loss_at_fixed_deadline",
      "passed": true,
      "latency": 1
    },
    {
      "name": "added_disturbance_can_exceed_information_gain",
      "passed": true
    },
    {
      "name": "conditional_vs_unconditional_branch_accounting",
      "passed": true
    },
    {
      "name": "acceptance_exact_independent_flag_probability",
      "passed": true
    },
    {
      "name": "conditional_vs_unconditional_branch_accounting",
      "passed": true
    },
    {
      "name": "acceptance_exact_independent_flag_probability",
      "passed": true
    },
    {
      "name": "conditional_vs_unconditional_branch_accounting",
      "passed": true
    },
    {
      "name": "acceptance_exact_independent_flag_probability",
      "passed": true
    },
    {
      "name": "content_leakage_Kraus_formula",
      "passed": true
    },
    {
      "name": "content_leakage_Kraus_formula",
      "passed": true
    },
    {
      "name": "content_leakage_Kraus_formula",
      "passed": true
    },
    {
      "name": "same_mean_flag_different_unknown_state_quality",
      "passed": true
    },
    {
      "name": "dualrail_loss_plus_nojump_CP_TP",
      "passed": true,
      "echo": false
    },
    {
      "name": "conditional_nojump_TP_only_when_survival_input_independent",
      "passed": true,
      "echo": false
    },
    {
      "name": "dualrail_loss_plus_nojump_CP_TP",
      "passed": true,
      "echo": true
    },
    {
      "name": "echo_removes_conditional_nojump_filter",
      "passed": true
    },
    {
      "name": "conditional_nojump_TP_only_when_survival_input_independent",
      "passed": true,
      "echo": true
    },
    {
      "name": "public_Yb_two_input_means",
      "passed": true
    },
    {
      "name": "public_Yb_acceptance_not_hidden",
      "passed": true
    },
    {
      "name": "public_simulation_20_count_records",
      "passed": true
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 3,
      "basis": "X"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 3,
      "basis": "Z"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 4,
      "basis": "X"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 4,
      "basis": "Z"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 5,
      "basis": "X"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 5,
      "basis": "Z"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 6,
      "basis": "X"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 6,
      "basis": "Z"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 7,
      "basis": "X"
    },
    {
      "name": "stored_detector_comparison_matches_other_noise_and_rounds",
      "passed": true,
      "distance": 7,
      "basis": "Z"
    }
  ],
  "limits": "Author self-audit of specified finite channels; no independent peer review, experiment reproduction, universal recovery optimization or threshold proof."
}