evidence.json

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

888 bytes, as of the version from 2026-10-16 10:44 (current). Recorded here, not run.

{
  "entries": 232,
  "exactness": "pass",
  "range": "all g=1..5, n=1..5, sorted top-degree profiles",
  "independent_bernoulli_formula_matches": 232,
  "published_macaulay2_examples": 3,
  "corpus_bernoulli_matches": 5,
  "arb_zeta_matches": 5,
  "arb_zeta_working_bits": 512,
  "arb_zeta_absolute_radii": [
    "1.8524468e-155",
    "5.4877460e-157",
    "1.8707474e-158",
    "4.9579354e-160",
    "1.5311275e-161"
  ],
  "sine_series_coefficients": 5,
  "genus_one_boundary_checks": 12,
  "T458_genus_zero_matches": 4,
  "string_equations": 155,
  "dilaton_equations": 122,
  "controls": "known rational, nonzero genus-zero, wrong-degree, wrong normalization and float controls passed",
  "measurement": {
    "entries": 232,
    "longest": 13,
    "longest_at": [
      4,
      1,
      [
        6
      ]
    ],
    "block_kb": 13.7236328125
  },
  "source": "local generator"
}