{
  "tid": "T510",
  "all_passed": true,
  "controls": [
    "pi",
    "displaced_value_rejected",
    "nan_rejected",
    "wide_ball_rejected",
    "integral_t_equals_half",
    "Q0_logarithm",
    "F0_free_sine",
    "G0_free_cosine"
  ],
  "source_sha256": {
    "balanced_checks.py": "7d29b572b3d3edcbb0ff9861c8eb1116777d72f0fdaa1282274fdb93adfd5c62",
    "balanced_generate.py": "1bac17812c98ca64baf6d54ba58e3bbdd947796f28c27cef6fab748461aee6ed"
  },
  "selection_sha256": "1bf192727e275ee2f01b0fefd50d800066ae9e623cf461991a178a7db8a13aaa",
  "count": 50,
  "independently_checked_additions": 39,
  "minimum_accuracy_bits": 985,
  "records": [
    {
      "params": {
        "ell": "0",
        "eta": "2",
        "rho": "4"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995
    },
    {
      "params": {
        "ell": "0",
        "eta": "2",
        "rho": "5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995
    },
    {
      "params": {
        "ell": "1",
        "eta": "0",
        "rho": "sqrt(2)"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994
    },
    {
      "params": {
        "ell": "1",
        "eta": "2",
        "rho": "2+sqrt(6)"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 987
    },
    {
      "params": {
        "ell": "1",
        "eta": "2",
        "rho": "5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994
    },
    {
      "params": {
        "ell": "2",
        "eta": "0",
        "rho": "sqrt(6)"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992
    },
    {
      "params": {
        "ell": "2",
        "eta": "2",
        "rho": "2+sqrt(10)"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 985
    },
    {
      "params": {
        "ell": "2",
        "eta": "2",
        "rho": "5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994
    },
    {
      "params": {
        "ell": "3",
        "eta": "0",
        "rho": "sqrt(12)"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 990
    },
    {
      "params": {
        "ell": "3",
        "eta": "2",
        "rho": "6"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994
    },
    {
      "params": {
        "ell": "3",
        "eta": "2",
        "rho": "5"
      },
      "origin": "retained website entry",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 993
    },
    {
      "params": {
        "ell": "0",
        "eta": "0",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "1",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "-1",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "1",
        "eta": "0",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "1",
        "eta": "1",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "1",
        "eta": "1",
        "rho": "1+sqrt(3)"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "turning_coefficient_zero"
      ]
    },
    {
      "params": {
        "ell": "1",
        "eta": "-1",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "1",
        "eta": "-1",
        "rho": "-1+sqrt(3)"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 993,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "turning_coefficient_zero"
      ]
    },
    {
      "params": {
        "ell": "2",
        "eta": "0",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "2",
        "eta": "1",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "2",
        "eta": "1",
        "rho": "1+sqrt(7)"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 989,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "turning_coefficient_zero"
      ]
    },
    {
      "params": {
        "ell": "2",
        "eta": "-1",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "2",
        "eta": "-1",
        "rho": "-1+sqrt(7)"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 992,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "turning_coefficient_zero"
      ]
    },
    {
      "params": {
        "ell": "3",
        "eta": "0",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "3",
        "eta": "1",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "3",
        "eta": "1",
        "rho": "1+sqrt(13)"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 986,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "turning_coefficient_zero"
      ]
    },
    {
      "params": {
        "ell": "3",
        "eta": "-1",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 993,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "3",
        "eta": "-1",
        "rho": "-1+sqrt(13)"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 990,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "turning_coefficient_zero"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "0",
        "rho": "1/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 997,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "1",
        "rho": "1/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "-1",
        "rho": "1/2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "0",
        "rho": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 997,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "1",
        "rho": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "-1",
        "rho": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "0",
        "rho": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 997,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "1",
        "rho": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "-1",
        "rho": "3"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "0",
        "rho": "5"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "1",
        "rho": "5"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "-1",
        "rho": "5"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "0",
        "rho": "8"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 997,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one",
        "free_wave_elementary_recurrence"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "1",
        "rho": "8"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 996,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "-1",
        "rho": "8"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "1",
        "eta": "1",
        "rho": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "1",
        "eta": "-1",
        "rho": "2"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "1/2",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 995,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "-1/2",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "2",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    },
    {
      "params": {
        "ell": "0",
        "eta": "-2",
        "rho": "1"
      },
      "origin": "balanced expansion",
      "stored_interval_contains_ball": true,
      "accuracy_bits": 994,
      "mpmath_160_digits": true,
      "mpmath_210_digits": true,
      "structural_checks": [
        "coulomb_wronskian_equals_one"
      ]
    }
  ],
  "limitations": "Retained values are fully Arb-recomputed; new values additionally have independent mpmath and family-identity checks. Existing manual numbers and annotations are not claimed to originate in this run."
}