numerical-evidence.json

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

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

{
  "table": "T702",
  "stored": false,
  "entries": 494,
  "minimum_relative_accuracy_bits": 390,
  "terms_each_side": [
    7,
    55
  ],
  "fourier_max_relative_difference": "2.8416462e-148",
  "fourier_repeat_max_relative_difference": "1.2301855e-134",
  "symmetry_checks": 988,
  "distribution_and_rectangular_four_torsion_checks": 83,
  "square_origin_beta_control": "passed",
  "lattice_checks": [
    {
      "params": [
        -4,
        1,
        0,
        0
      ],
      "value": 1.278875225263528,
      "absolute_bound": 0.0013581221810508401,
      "observed_error": 5.401100676571957e-05
    },
    {
      "params": [
        -4,
        2,
        0,
        1
      ],
      "value": -0.9782991151304383,
      "absolute_bound": 0.0013581221810508401,
      "observed_error": 4.552694742310237e-07
    },
    {
      "params": [
        -3,
        2,
        0,
        1
      ],
      "value": -0.7618474318171936,
      "absolute_bound": 0.0008821262326748671,
      "observed_error": 4.2726028426365303e-07
    },
    {
      "params": [
        -3,
        3,
        1,
        1
      ],
      "value": 0.17327419371189476,
      "absolute_bound": 0.0008821262326748671,
      "observed_error": 1.301113244922547e-09
    },
    {
      "params": [
        -7,
        5,
        1,
        2
      ],
      "value": -0.2266287395172536,
      "absolute_bound": 0.0031440968484635168,
      "observed_error": 1.5863018953954366e-09
    },
    {
      "params": [
        -163,
        6,
        1,
        0
      ],
      "value": 0.024431852526114104,
      "absolute_bound": 0.35328911908339455,
      "observed_error": 1.353149109666052e-05
    }
  ],
  "samart_2_13_diagnostic": [
    {
      "Delta": -3,
      "contains_zero": false,
      "residual": "[4.748000826216224883784254839500585898417236020994514009054495269481241134277792554337646866190214638304358574776578870062927 +/- 1.58e-124]"
    },
    {
      "Delta": -4,
      "contains_zero": true,
      "residual": "[+/- 7.93e-125]"
    },
    {
      "Delta": -7,
      "contains_zero": false,
      "residual": "[4.340227338511015176462570009721529564517530339774575937342097311168612474248491799906467908709825579061917482493700291976910 +/- 4.17e-124]"
    },
    {
      "Delta": -8,
      "contains_zero": true,
      "residual": "[+/- 1.04e-124]"
    },
    {
      "Delta": -11,
      "contains_zero": false,
      "residual": "[3.204710114980731797583305335585379923261051343876492658393652639546440755038159941773647236569437789739478795792172999578968 +/- 5.85e-124]"
    },
    {
      "Delta": -12,
      "contains_zero": true,
      "residual": "[+/- 1.47e-125]"
    },
    {
      "Delta": -16,
      "contains_zero": true,
      "residual": "[+/- 8.66e-126]"
    },
    {
      "Delta": -19,
      "contains_zero": false,
      "residual": "[1.6962501081050035318290199000265427375380267612131764029355886917358937201166690073142302965765301195685003486945298809596732 +/- 2.95e-125]"
    },
    {
      "Delta": -27,
      "contains_zero": false,
      "residual": "[0.939563701171769094237147429951442131502637277559519724929218778109884605454320188190348492900453965016551897647017569677412326 +/- 6.66e-127]"
    },
    {
      "Delta": -28,
      "contains_zero": true,
      "residual": "[+/- 9.08e-125]"
    },
    {
      "Delta": -43,
      "contains_zero": false,
      "residual": "[0.3303877488219086537001851604668172565118649100445596743400297014860378337758893238688449694934167515079520693116608217841877 +/- 9.93e-126]"
    },
    {
      "Delta": -67,
      "contains_zero": false,
      "residual": "[0.0870294448608958030810640344237083040917323565029621917036524679006239977981536569137665756350493985624062573974644560934360262 +/- 3.12e-128]"
    },
    {
      "Delta": -163,
      "contains_zero": false,
      "residual": "[0.0015591543490571537809051486941528888924742934463753302763484753015142473951605252130717801499178680739226228163465647853084041 +/- 2.50e-128]"
    }
  ],
  "versions": {
    "numberdb": "0.1.10",
    "mpmath": "1.4.1"
  },
  "elapsed_seconds": 36.40969729423523,
  "skill_manifest": "agents/runs/20261110T013256Z-build-skills/manifest.json",
  "skill_sha256": "886390324dd1971e381a43cf3b46b822ab0bc67d62f31d8481e29ec79556746b"
}