independent-evidence.json

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

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

{
  "method": "eta-product Fourier coefficients and split Mellin transform",
  "rigour": "heuristic comparison; the modular determinant identities are not used as certification",
  "skill_manifest": "agents/runs/20261101T095610Z-build-skills/manifest.json",
  "controls": {
    "Euler_pentagonal_through_100": true,
    "nonzero_Mellin_normalization_error": "1.5274682e-151"
  },
  "values": {
    "5": {
      "at_130": "0.5811267442172664750118554387666488776575434280960615560745639247643905231242909364995471087268572851856968277606468828997693887631",
      "at_180": "0.581126744217266475011855438766648877657543428096061556074563924764390523124290936499547108726857285185696827760646882899769388763075836397131702687186885939500853725884117432083731",
      "terms": [
        320,
        420
      ],
      "relative_discrepancy": "4.1580607e-131"
    },
    "6": {
      "at_130": "0.6365248546872152815752897344523518436337827180703738214825087140325630612464512964150241232906190384971141402855340213510208382523",
      "at_180": "0.636524854687215281575289734452351843633782718070373821482508714032563061246451296415024123290619038497114140285534021351020838252289281332600771647590156283159220913858315688609104",
      "terms": [
        320,
        420
      ],
      "relative_discrepancy": "1.6839354e-131"
    },
    "8": {
      "at_130": "4.940392397461092408551432019611251206067077233820884095099615446766174498418504274179786803629407373677295539639409939001902936701",
      "at_180": "4.94039239746109240855143201961125120606707723382088409509961544676617449841850427417978680362940737367729553963940993900190293670145561710363933425256812579647815637890017316835415",
      "terms": [
        320,
        420
      ],
      "relative_discrepancy": "9.2222857e-131"
    }
  },
  "eta_checks": {
    "5": [
      [
        "4.5824045e-151",
        "1.2219745e-150"
      ],
      [
        "8.401075e-151",
        "8.401075e-151"
      ]
    ],
    "6": [
      [
        "3.0549364e-151",
        "1.0692277e-150"
      ],
      [
        "6.1098727e-151",
        "7.6373409e-151"
      ]
    ],
    "8": [
      [
        "7.6373409e-152",
        "2.5966959e-150"
      ],
      [
        "1.0692277e-150",
        "3.5895502e-150"
      ]
    ]
  },
  "quadrature_relative_discrepancies": {
    "5": "3.3319116501207282706426857712E-181",
    "6": "2.09617068517257573411149214379E-181",
    "8": "8.686349911946096990882454129E-182"
  }
}