{
  "passed": true,
  "by": "Codex",
  "date": "2026-10-13",
  "count": 48,
  "checks": [
    {
      "name": "hamming_weight_chain_vs_quantum_channel",
      "passed": true,
      "Gamma": 0.0,
      "error": 2.220446049250313e-16
    },
    {
      "name": "code_occupancy_vs_weight_chain",
      "passed": true
    },
    {
      "name": "hamming_weight_chain_vs_quantum_channel",
      "passed": true,
      "Gamma": 0.5,
      "error": 0.0
    },
    {
      "name": "code_occupancy_vs_weight_chain",
      "passed": true
    },
    {
      "name": "hamming_weight_chain_vs_quantum_channel",
      "passed": true,
      "Gamma": 1.0,
      "error": 2.220446049250313e-16
    },
    {
      "name": "code_occupancy_vs_weight_chain",
      "passed": true
    },
    {
      "name": "hamming_weight_chain_vs_quantum_channel",
      "passed": true,
      "Gamma": 2.0,
      "error": 0.0
    },
    {
      "name": "code_occupancy_vs_weight_chain",
      "passed": true
    },
    {
      "name": "hamming_weight_chain_vs_quantum_channel",
      "passed": true,
      "Gamma": 5.0,
      "error": 4.440892098500626e-16
    },
    {
      "name": "code_occupancy_vs_weight_chain",
      "passed": true
    },
    {
      "name": "hamming_weight_chain_vs_quantum_channel",
      "passed": true,
      "Gamma": 10.0,
      "error": 7.771561172376096e-16
    },
    {
      "name": "code_occupancy_vs_weight_chain",
      "passed": true
    },
    {
      "name": "hamming_weight_chain_vs_quantum_channel",
      "passed": true,
      "Gamma": 30.0,
      "error": 1.6653345369377348e-15
    },
    {
      "name": "code_occupancy_vs_weight_chain",
      "passed": true
    },
    {
      "name": "hamming_weight_chain_vs_quantum_channel",
      "passed": true,
      "Gamma": 100.0,
      "error": 3.219646771412954e-15
    },
    {
      "name": "code_occupancy_vs_weight_chain",
      "passed": true
    },
    {
      "name": "uncorrected_Z_factorization",
      "passed": true
    },
    {
      "name": "uncorrected_Z_factorization",
      "passed": true
    },
    {
      "name": "uncorrected_Z_factorization",
      "passed": true
    },
    {
      "name": "uncorrected_Z_factorization",
      "passed": true
    },
    {
      "name": "uncorrected_Z_factorization",
      "passed": true
    },
    {
      "name": "uncorrected_Z_factorization",
      "passed": true
    },
    {
      "name": "uncorrected_Z_factorization",
      "passed": true
    },
    {
      "name": "same_classical_population_different_quantum_channel",
      "passed": true
    },
    {
      "name": "same_classical_population_different_quantum_channel",
      "passed": true
    },
    {
      "name": "same_classical_population_different_quantum_channel",
      "passed": true
    },
    {
      "name": "same_classical_population_different_quantum_channel",
      "passed": true
    },
    {
      "name": "same_classical_population_different_quantum_channel",
      "passed": true
    },
    {
      "name": "same_classical_population_different_quantum_channel",
      "passed": true
    },
    {
      "name": "same_classical_population_different_quantum_channel",
      "passed": true
    },
    {
      "name": "complex_direct_ODE_vs_superoperator",
      "passed": true,
      "error": 1.8146595340526895e-13
    },
    {
      "name": "channel_TP_each_input",
      "passed": true
    },
    {
      "name": "six_states_vs_entanglement_fidelity",
      "passed": true
    },
    {
      "name": "zero_coupling_is_unrepaired_storage",
      "passed": true
    },
    {
      "name": "zero_coupling_is_unrepaired_storage",
      "passed": true
    },
    {
      "name": "zero_coupling_is_unrepaired_storage",
      "passed": true
    },
    {
      "name": "encoded_dark_space_with_no_natural_noise",
      "passed": true
    },
    {
      "name": "encoded_dark_space_with_no_natural_noise",
      "passed": true
    },
    {
      "name": "encoded_dark_space_with_no_natural_noise",
      "passed": true
    },
    {
      "name": "single_error_coherent_ancilla_Rabi",
      "passed": true
    },
    {
      "name": "reset_flux_integral_resolution",
      "passed": true,
      "error": 6.232579366272084e-06,
      "gamma": 1.0
    },
    {
      "name": "reset_flux_integral_resolution",
      "passed": true,
      "error": 1.0768004781169793e-06,
      "gamma": 10.0
    },
    {
      "name": "overdamped_elimination_converges_in_selected_sweep",
      "passed": true,
      "errors": [
        0.014520402108537223,
        0.001471308942514571,
        0.00016358350616541006
      ]
    },
    {
      "name": "logical_polarization_eigenvalue",
      "passed": true
    },
    {
      "name": "logical_polarization_eigenvalue",
      "passed": true
    },
    {
      "name": "logical_polarization_eigenvalue",
      "passed": true
    },
    {
      "name": "logical_polarization_eigenvalue",
      "passed": true
    },
    {
      "name": "logical_polarization_eigenvalue",
      "passed": true
    }
  ],
  "logical_rate_checks": [
    {
      "Gamma_over_kappa": 10,
      "polarization_decay_over_kappa": 0.6933761370819252,
      "logical_X_jump_rate_over_kappa": 0.3466880685409626,
      "leading_6_kappa_over_Gamma": 0.6
    },
    {
      "Gamma_over_kappa": 30,
      "polarization_decay_over_kappa": 0.31845830773059564,
      "logical_X_jump_rate_over_kappa": 0.15922915386529782,
      "leading_6_kappa_over_Gamma": 0.2
    },
    {
      "Gamma_over_kappa": 100,
      "polarization_decay_over_kappa": 0.11122565877008184,
      "logical_X_jump_rate_over_kappa": 0.05561282938504092,
      "leading_6_kappa_over_Gamma": 0.06
    },
    {
      "Gamma_over_kappa": 300,
      "polarization_decay_over_kappa": 0.03896596865816061,
      "logical_X_jump_rate_over_kappa": 0.019482984329080306,
      "leading_6_kappa_over_Gamma": 0.02
    },
    {
      "Gamma_over_kappa": 1000,
      "polarization_decay_over_kappa": 0.011904902506650489,
      "logical_X_jump_rate_over_kappa": 0.0059524512533252446,
      "leading_6_kappa_over_Gamma": 0.006
    }
  ],
  "six_input_fidelities_Gamma10_t1": [
    0.7603744628290566,
    0.7603744628290566,
    0.9999999999999997,
    0.9999999999999997,
    0.7603744628290563,
    0.7603744628290563
  ],
  "limits": "Finite-model audit, not independent peer review or device replication."
}