T466-repair-checks.json

back to table · edit · history · where entries came from · files · download

1916 bytes, as of the version from 2026-10-24 20:50 (current). Recorded here, not run.

{
  "table": "T466",
  "source_sha256": "f735c62370e0e1561e0cdffc28d86226d6d0fb0be138729abd44f74191d1966a",
  "source_records": 629,
  "omitted_fail_labels": 118,
  "all_omitted_fail_labels_at_eight_loops": true,
  "stored_labels_equal_evaluated_source_labels": true,
  "stored_counts": {
    "5": 1,
    "6": 3,
    "7": 50,
    "8": 457
  },
  "significant_digits_every_entry": 100,
  "arb_precision_bits": 600,
  "zeta2_control_passed": true,
  "wheel_checks": [
    {
      "loops": 5,
      "index": 1,
      "error_in_last_place_units": "[0.21726982443956247578899255806111765191778941189276210806515251375490329265391652 +/- 8.38e-81]",
      "enclosed_in_stored_interval": true
    },
    {
      "loops": 6,
      "index": 1,
      "error_in_last_place_units": "[0.11666968400993459185879194240622052398573421389688591274914230692944894400388127 +/- 3.09e-81]",
      "enclosed_in_stored_interval": true
    },
    {
      "loops": 7,
      "index": 21,
      "error_in_last_place_units": "[0.31992388595917440090550986703398674577786980372905285219110529768392301881695041 +/- 8.02e-81]",
      "enclosed_in_stored_interval": true
    },
    {
      "loops": 8,
      "index": 162,
      "error_in_last_place_units": "[0.16992847492668688847307910497290073913542979976275246678906501160167487392730036 +/- 4.48e-81]",
      "enclosed_in_stored_interval": true
    }
  ],
  "live_program_passed": true,
  "live_program_output": "201.555866394313473178997148363580086790251883881568637875819444533313269233682730171491609172928988503120641699350676614630066690781738348864168132481162047709",
  "live_program_error_in_last_place_units": "[0.031206416993506766146300666907817383488641681324811620477088084058456717164899592 +/- 8.11e-82]",
  "scope": "Four wheel formulas checked with Arb; one live PARI program executed. No independent graph integration or full multiple-zeta recomputation.",
  "ok": true
}