{
  "program": "foldy-wouthuysen-expansion.py",
  "passed": true,
  "check_count": 280,
  "script_sha256": "144f720687cd2d06fc5ab4a996dbb28fb60cc0cbc19d266c8454a0baccf72873",
  "environment": {
    "python": "3.12.14",
    "numpy": "2.3.5",
    "platform": "Windows-11-10.0.26300-SP0"
  },
  "randomness": "none; fixed rational polynomial and complex matrix fixtures",
  "parameters": {
    "mass": 1.0,
    "first_c": 4.0,
    "precision": 160
  },
  "exact_field_identities": 225,
  "detected_magnetic_omission_cases": 18,
  "checks": [
    {
      "name": "G1 even terms",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G1 remaining odd c^-1",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G1 cancels odd c^1",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G2 coefficients",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G2 cancels odd c^-1",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G2 preserves even terms",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G2 has generic odd c^-3 remainder",
      "passed": true,
      "monomials": 8
    },
    {
      "name": "G3 cancels odd c^-3",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "full transformed H through c^-3",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G1 anti-Hermitian",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G2 anti-Hermitian",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "G3 anti-Hermitian",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "H Hermitian",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "H1 Hermitian",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "H2 Hermitian",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "H3 Hermitian",
      "passed": true,
      "arithmetic": "exact Fraction"
    },
    {
      "name": "zero q=-2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=-2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=0 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "zero q=2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=-2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=0 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_electric q=2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=-2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=0 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "uniform_magnetic q=2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=-2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=0 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_static q=2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=-2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=0 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=0 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=0 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=0 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=0 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=0 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=1 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=1 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=1 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=1 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=1 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=2 electric_nested_commutator",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=2 curl_free_cross_order",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=2 D_squared_equals_F",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=2 F_squared_full_ordering",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "nonuniform_magnetic_electric q=2 jet=2 Sigma_B_squared",
      "passed": true,
      "arithmetic": "exact rational complex"
    },
    {
      "name": "omitting magnetic terms from F^2 is detected",
      "passed": true,
      "detected_cases": 18
    },
    {
      "name": "matrix D odd",
      "passed": true,
      "absolute_error": 0.0,
      "scaled_error": 0.0,
      "tolerance": 2e-12
    },
    {
      "name": "matrix V even",
      "passed": true,
      "absolute_error": 0.0,
      "scaled_error": 0.0,
      "tolerance": 2e-12
    },
    {
      "name": "matrix D,V do not commute",
      "passed": true
    },
    {
      "name": "matrix c=4 G1 anti-Hermitian",
      "passed": true,
      "absolute_error": 0.0,
      "scaled_error": 0.0,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=4 G2 anti-Hermitian",
      "passed": true,
      "absolute_error": 1.5920614604846627e-19,
      "scaled_error": 1.5920614604846627e-19,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=4 G3 anti-Hermitian",
      "passed": true,
      "absolute_error": 4.7089432890486063e-20,
      "scaled_error": 4.7089432890486063e-20,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=4 total U unitary",
      "passed": true,
      "absolute_error": 4.414475744192187e-15,
      "scaled_error": 2.2072378720960937e-15,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=4 spectrum unchanged",
      "passed": true,
      "absolute_error": 7.991631803749039e-14,
      "scaled_error": 2.4664751391315906e-15,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=8 G1 anti-Hermitian",
      "passed": true,
      "absolute_error": 0.0,
      "scaled_error": 0.0,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=8 G2 anti-Hermitian",
      "passed": true,
      "absolute_error": 1.9900768256058284e-20,
      "scaled_error": 1.9900768256058284e-20,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=8 G3 anti-Hermitian",
      "passed": true,
      "absolute_error": 1.4715447778276895e-21,
      "scaled_error": 1.4715447778276895e-21,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=8 total U unitary",
      "passed": true,
      "absolute_error": 4.2310151498863235e-15,
      "scaled_error": 2.1155075749431618e-15,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=8 spectrum unchanged",
      "passed": true,
      "absolute_error": 2.658607475875344e-13,
      "scaled_error": 2.0706226926981157e-15,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=16 G1 anti-Hermitian",
      "passed": true,
      "absolute_error": 0.0,
      "scaled_error": 0.0,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=16 G2 anti-Hermitian",
      "passed": true,
      "absolute_error": 2.4875960320072855e-21,
      "scaled_error": 2.4875960320072855e-21,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=16 G3 anti-Hermitian",
      "passed": true,
      "absolute_error": 4.5985774307115296e-23,
      "scaled_error": 4.5985774307115296e-23,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=16 total U unitary",
      "passed": true,
      "absolute_error": 4.4302689080909135e-15,
      "scaled_error": 2.2151344540454568e-15,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=16 spectrum unchanged",
      "passed": true,
      "absolute_error": 9.54563326089707e-13,
      "scaled_error": 1.8629428792586862e-15,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=32 G1 anti-Hermitian",
      "passed": true,
      "absolute_error": 0.0,
      "scaled_error": 0.0,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=32 G2 anti-Hermitian",
      "passed": true,
      "absolute_error": 3.109495040009107e-22,
      "scaled_error": 3.109495040009107e-22,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=32 G3 anti-Hermitian",
      "passed": true,
      "absolute_error": 1.437055447097353e-24,
      "scaled_error": 1.437055447097353e-24,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=32 total U unitary",
      "passed": true,
      "absolute_error": 4.6371828180811854e-15,
      "scaled_error": 2.3185914090405927e-15,
      "tolerance": 2e-12
    },
    {
      "name": "matrix c=32 spectrum unchanged",
      "passed": true,
      "absolute_error": 4.457046039513593e-12,
      "scaled_error": 2.1758722474093887e-15,
      "tolerance": 2e-12
    },
    {
      "name": "matrix asymptotic order G1_odd_norm",
      "passed": true,
      "observed_order": 0.9996248375360215,
      "expected_order": 1,
      "tolerance": 0.2
    },
    {
      "name": "matrix asymptotic order G2_odd_norm",
      "passed": true,
      "observed_order": 2.999128778640933,
      "expected_order": 3,
      "tolerance": 0.2
    },
    {
      "name": "matrix asymptotic order G3_odd_norm",
      "passed": true,
      "observed_order": 4.998844609911019,
      "expected_order": 5,
      "tolerance": 0.2
    },
    {
      "name": "matrix asymptotic order even_truncation_error",
      "passed": true,
      "observed_order": 3.9970241920312053,
      "expected_order": 4,
      "tolerance": 0.2
    },
    {
      "name": "root Taylor bounds r=0",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=1e-30",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=1e-12",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=1e-6",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=.001",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=.03",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=.1",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=1",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=3",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=10",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    },
    {
      "name": "root Taylor bounds r=1e4",
      "passed": true,
      "arithmetic": "Decimal 160 digits"
    }
  ],
  "interpretation": [
    "Static potentials held fixed as c tends to infinity; m>0.",
    "Fraction BCH coefficients are exact in the declared free even/odd algebra.",
    "Polynomial tests are exact finite examples, not an analytic proof for all domains.",
    "G2 leaves odd c^-3 terms; G3 is needed for the stated full-operator formal remainder.",
    "Finite matrix exponentials independently test generic noncommuting even/odd algebra, not EM discretization.",
    "Observed-order checks use the fixed m=1,c=4 fixture; custom studies expose asymptotic failure or roundoff.",
    "Root bound holds for all nonnegative r, but useful relative truncation requires r much smaller than one.",
    "Unbounded operators need common cores and spectral restrictions; no global operator-norm convergence is claimed.",
    "Time-dependent FW transformation has an extra i*hbar*dot(U)*Udagger term."
  ],
  "output_files": {
    "coefficients": "/data/relativistic-qm/foldy-wouthuysen-expansion/coefficients.csv",
    "fields": "/data/relativistic-qm/foldy-wouthuysen-expansion/fields.csv",
    "matrices": "/data/relativistic-qm/foldy-wouthuysen-expansion/matrices.csv",
    "roots": "/data/relativistic-qm/foldy-wouthuysen-expansion/roots.csv",
    "summary": "/data/relativistic-qm/foldy-wouthuysen-expansion/summary.json"
  },
  "output_sha256": {
    "coefficients": "c7524f62d70157d2b71cc4c3643bb7bf5d3383b12c04b23ed1c2dd6dbb5df8d7",
    "fields": "f70209955c27270476f8b08ea720b231df22775d48af6fe307abfede2caccb61",
    "matrices": "63741c76134a6047cd361539d377335713798e61ef80bf82d0b686388efe1937",
    "roots": "f124bef83ac1f0ca5c85454aa0b749ea8107d3b36a95d1de1865a4e5f8df6f29"
  },
  "publication": {
    "normalization": "Absolute output locations replaced by site download paths; numerical results and CSV bytes unchanged.",
    "source_run_report_sha256": "74721178418e3890350c3164725c15c4edd5ee01ddcff8734b98eff0ef929f3e",
    "public_program_sha256": "144f720687cd2d06fc5ab4a996dbb28fb60cc0cbc19d266c8454a0baccf72873"
  }
}