{
  "passed": true,
  "by": "Codex",
  "date": "2026-10-13",
  "count": 76,
  "checks": [
    {
      "name": "full_channel_CP_TP",
      "passed": true,
      "n": 1
    },
    {
      "name": "exact_loss_projection_and_mean_energy",
      "passed": true,
      "n": 1
    },
    {
      "name": "full_channel_CP_TP",
      "passed": true,
      "n": 1.5
    },
    {
      "name": "exact_loss_projection_and_mean_energy",
      "passed": true,
      "n": 1.5
    },
    {
      "name": "full_channel_CP_TP",
      "passed": true,
      "n": 2
    },
    {
      "name": "exact_loss_projection_and_mean_energy",
      "passed": true,
      "n": 2
    },
    {
      "name": "full_channel_CP_TP",
      "passed": true,
      "n": 3
    },
    {
      "name": "exact_loss_projection_and_mean_energy",
      "passed": true,
      "n": 3
    },
    {
      "name": "full_channel_CP_TP",
      "passed": true,
      "n": 4
    },
    {
      "name": "exact_loss_projection_and_mean_energy",
      "passed": true,
      "n": 4
    },
    {
      "name": "full_channel_CP_TP",
      "passed": true,
      "n": 6
    },
    {
      "name": "exact_loss_projection_and_mean_energy",
      "passed": true,
      "n": 6
    },
    {
      "name": "Fock_40_vs_52",
      "passed": true,
      "n": 1,
      "error": 1.2878587085651816e-14
    },
    {
      "name": "Fock_40_vs_52",
      "passed": true,
      "n": 1.5,
      "error": 1.9539925233402755e-14
    },
    {
      "name": "Fock_40_vs_52",
      "passed": true,
      "n": 2,
      "error": 1.637578961322106e-14
    },
    {
      "name": "Fock_40_vs_52",
      "passed": true,
      "n": 3,
      "error": 3.2553699624469305e-15
    },
    {
      "name": "Fock_40_vs_52",
      "passed": true,
      "n": 4,
      "error": 1.2323475573339238e-14
    },
    {
      "name": "Fock_40_vs_52",
      "passed": true,
      "n": 6,
      "error": 1.3489209749195652e-14
    },
    {
      "name": "dark_manifold_preserves_unknown_state",
      "passed": true
    },
    {
      "name": "single_loss_during_native_rotation",
      "passed": true,
      "time_fraction": 0
    },
    {
      "name": "single_loss_during_native_rotation",
      "passed": true,
      "time_fraction": 0.25
    },
    {
      "name": "single_loss_during_native_rotation",
      "passed": true,
      "time_fraction": 0.5
    },
    {
      "name": "single_loss_during_native_rotation",
      "passed": true,
      "time_fraction": 0.75
    },
    {
      "name": "single_loss_during_native_rotation",
      "passed": true,
      "time_fraction": 1
    },
    {
      "name": "H_path_swaps_X_Z",
      "passed": true,
      "n": 1
    },
    {
      "name": "H_path_swaps_X_Z",
      "passed": true,
      "n": 1.5
    },
    {
      "name": "H_path_swaps_X_Z",
      "passed": true,
      "n": 2
    },
    {
      "name": "H_path_swaps_X_Z",
      "passed": true,
      "n": 3
    },
    {
      "name": "H_path_swaps_X_Z",
      "passed": true,
      "n": 4
    },
    {
      "name": "H_path_swaps_X_Z",
      "passed": true,
      "n": 6
    },
    {
      "name": "explicit_qutrit_twirl_equals_Bell_weights_plus_flag",
      "passed": true,
      "n": 1
    },
    {
      "name": "explicit_qutrit_twirl_equals_Bell_weights_plus_flag",
      "passed": true,
      "n": 1.5
    },
    {
      "name": "explicit_qutrit_twirl_equals_Bell_weights_plus_flag",
      "passed": true,
      "n": 2
    },
    {
      "name": "explicit_qutrit_twirl_equals_Bell_weights_plus_flag",
      "passed": true,
      "n": 3
    },
    {
      "name": "explicit_qutrit_twirl_equals_Bell_weights_plus_flag",
      "passed": true,
      "n": 4
    },
    {
      "name": "explicit_qutrit_twirl_equals_Bell_weights_plus_flag",
      "passed": true,
      "n": 6
    },
    {
      "name": "analytic_coherent_dyad_loss_vs_full_channel",
      "passed": true,
      "error": 5.551115123125783e-17
    },
    {
      "name": "direct_reference_Lindblad_ODE_vs_channel",
      "passed": true,
      "error": 3.3306690738754696e-16
    },
    {
      "name": "all_64_Paulis_explicit_phase_code_recovery",
      "passed": true,
      "error": 1.1102230246251565e-15
    },
    {
      "name": "pure_Z_binomial_majority",
      "passed": true,
      "d": 1
    },
    {
      "name": "pure_X_parity_floor",
      "passed": true,
      "d": 1
    },
    {
      "name": "pure_Z_binomial_majority",
      "passed": true,
      "d": 3
    },
    {
      "name": "pure_X_parity_floor",
      "passed": true,
      "d": 3
    },
    {
      "name": "pure_Z_binomial_majority",
      "passed": true,
      "d": 5
    },
    {
      "name": "pure_X_parity_floor",
      "passed": true,
      "d": 5
    },
    {
      "name": "pure_Z_binomial_majority",
      "passed": true,
      "d": 7
    },
    {
      "name": "pure_X_parity_floor",
      "passed": true,
      "d": 7
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 1,
      "d": 1
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 1,
      "d": 3
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 1,
      "d": 5
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 1,
      "d": 7
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 1.5,
      "d": 1
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 1.5,
      "d": 3
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 1.5,
      "d": 5
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 1.5,
      "d": 7
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 2,
      "d": 1
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 2,
      "d": 3
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 2,
      "d": 5
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 2,
      "d": 7
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 3,
      "d": 1
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 3,
      "d": 3
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 3,
      "d": 5
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 3,
      "d": 7
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 4,
      "d": 1
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 4,
      "d": 3
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 4,
      "d": 5
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 4,
      "d": 7
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 6,
      "d": 1
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 6,
      "d": 3
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 6,
      "d": 5
    },
    {
      "name": "outer_no_postselection_normalization",
      "passed": true,
      "n": 6,
      "d": 7
    },
    {
      "name": "all_raw_shots_retained",
      "passed": true
    },
    {
      "name": "all_raw_logical_XOR_verified",
      "passed": true
    },
    {
      "name": "pooled_has_21_fits_and_both_initial_signs",
      "passed": true
    },
    {
      "name": "weighted_fit_vs_raw_binomial_MLE",
      "passed": true,
      "max_absolute_difference": 1.0324967855225575e-05
    },
    {
      "name": "experimental_d5_X_rate_above_both_d3_sections",
      "passed": true
    }
  ],
  "limits": "Author scientific self-audit; finite ideal model plus bit-flip raw-data reanalysis, no experimental phase decoding/Choi replication."
}