numerical-evidence.json

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

1104 bytes, as of the version from 2026-10-31 20:22 (current). Recorded here, not run.

{
  "controls": "known zero, nonzero, sign-flip and 1e-100 perturbation controls passed before range checks",
  "digamma_checks": 277,
  "entries": 277,
  "exact_estermann_checks": 277,
  "exact_rationals": {
    "2,1": "0",
    "4,1": "1/2",
    "4,3": "-1/2"
  },
  "maximum_absolute_ball_radius": "[1.0809300106586913779345317335947345239090912944552538017414509339148477645237601940706511628261234548854876018244959579879630193485089805510314168602639107124630920265677e-126 +/- 2.01e-296]",
  "maximum_stored_characters": 105,
  "minimum_accuracy_bits": 411,
  "periodicity_checks": 277,
  "precision_bits_independent": 550,
  "reflection_checks": 277,
  "skill_live_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
  "skill_local_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
  "skill_manifest": "agents/runs/20261031T200151Z-build-skills/manifest.json",
  "stored_independent_containment_checks": 277,
  "table": "T639",
  "vasyunin_checks": 277,
  "versions": {
    "numberdb": "0.1.10",
    "python": "3.12.3",
    "sage": "10.9"
  }
}