numerical-evidence.json

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

2849 bytes, as of the version from 2026-11-10 01:14 (current). Recorded here, not run.

{
  "counts_by_discriminant": {
    "-163": 29,
    "-67": 29,
    "-43": 29,
    "-28": 26,
    "-27": 29,
    "-19": 29,
    "-16": 26,
    "-12": 26,
    "-11": 29,
    "-8": 26,
    "-7": 29,
    "-4": 26,
    "-3": 29
  },
  "entries": 362,
  "exact_zero_rows": [
    [
      "-3",
      "3",
      "1",
      "2"
    ]
  ],
  "external_controls": {
    "J_i_over_4": "[0.94326230871390659474023923481243054568094544998640443148402919879832176421375835846367719663298043190925835325040825792565387238381 +/- 1.40e-132]",
    "control": "[0.33333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333 +/- 3.88e-141]",
    "integration_branch_guard": "Reject every analytic query unless Re(z)>1; installed Sage arccosh checks -1 instead of +1.",
    "kappa": "[4.0602070605128712194972508935873816206660127096412038476644566213887828463616387993702106974748604197776779370365765965325052053719356040902 +/- 3.26e-140]",
    "lattice": {
      "D": {
        "center": "[0.9431982611671558820551 +/- 3.21e-23]",
        "tail_bound": "[0.031830988618379067153776753 +/- 4.30e-28]",
        "with_tail": "[0.9 +/- 0.0751]"
      },
      "J": {
        "center": "[0.9431982611671558820551 +/- 3.23e-23]",
        "tail_bound": "[0.031830988618379067153776753 +/- 4.30e-28]",
        "with_tail": "[0.9 +/- 0.0751]"
      }
    },
    "lattice_square_radius": 80,
    "mahler_constant_term_series": "[1.200998872512732911764830517413555774469162619895680735196612834380375366134921370182896292526534183163309848090913414305663322297904041 +/- 4.15e-136]",
    "mahler_integral": "[1.2009988725127329117648305174135557744691626198956807351966128343803753661349213701828962925265341831633098480909134143056633222979040405876 +/- 6.07e-140]",
    "mahler_series_terms": 9880,
    "pi_times_integral_over_4": "[0.9432623087139065947402392348124305456809454499864044314840291987983217642137583584636771966329804319092583532504082579256538723838112872184 +/- 5.41e-140]"
  },
  "inversion_and_conjugation_rows": 362,
  "max_relative_fourier_difference": "6.53557683437e-130",
  "max_relative_square_rotation_difference": "1.19672849061e-170",
  "minimum_relative_accuracy_bits": 425,
  "mpmath_version": "1.4.1",
  "numberdb_version": "0.1.10",
  "omitted_zero_representatives_checked": 132,
  "python_version": "3.12.3",
  "sage_version": "10.9",
  "skill_manifest": "agents/runs/20261110T005551Z-build-skills/manifest.json",
  "skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b",
  "stored": {
    "entries_independently_checked": 362,
    "max_relative_decimal_error": "4.53229671455e-100",
    "square_rotation_rows": 26,
    "stored_inversion_and_conjugation_rows": 362
  },
  "table": "T701",
  "term_count_range": [
    8,
    57
  ]
}