{
  "_public_export": {
    "status": "RIEMANN HYPOTHESIS OPEN",
    "record_type": "SANITIZED_HISTORICAL_SOURCE_SNAPSHOT",
    "source_path": "research/global_remainder/experiments/results.json",
    "source_sha256": "74e0466eba9372f9de27801c759df016ac84b97df98d7c8bc1b1120cafc7b0a2",
    "exported_on": "2026-09-30",
    "public_credit": "@ykbballer91",
    "license": "CC-BY-4.0",
    "ai_assisted": true,
    "original_fields_are_historical": true,
    "checks_rerun_in_public_export": false,
    "scope": "Historical claims and verification records retain their original scope. Priority 1 cyclicity is even L2 only; full-ground capture and RH remain open.",
    "references": {}
  },
  "purpose": "Exact identity and synthetic falsification diagnostics only",
  "numerical_status": "50-digit floating arithmetic, not interval certified",
  "gaussian_samples": [
    {
      "u": -2,
      "R_truncated": "0.017538191448242076302425328421092233377996539087177",
      "inversion": "0.017538191448242076302425328421247018874517297593312",
      "absolute_series_tail_bound": "8.5319137335379742272217408045482678319711023994864e-69",
      "absolute_vertical_tail_bound": "2.1314586261372096216017493883329988836805073657731e-30",
      "observed_error": "1.5478549652075850613513858663801430669594716340329e-31"
    },
    {
      "u": 0,
      "R_truncated": "0.026684657769838291555106481481611337562009306846293",
      "inversion": "0.026684657769838291555106481471863343683812487356709",
      "absolute_series_tail_bound": "3.4708867439530202283040651515873184031491706564289e-48",
      "absolute_vertical_tail_bound": "4.2811490935525782744122593342229776221222065256579e-29",
      "observed_error": "9.7479938781968194895842217237386100126025747121882e-30"
    },
    {
      "u": 2,
      "R_truncated": "-1.4316848129555451902749783091618721763011552502545",
      "inversion": "-1.4316848129555451902749783094744836907712024349412",
      "absolute_series_tail_bound": "4.9162543896583987664940008965011240975627837116373e-31",
      "absolute_vertical_tail_bound": "8.5989178192221725751520295806368273265026877615419e-28",
      "observed_error": "3.1261151447004718468671936832012196765466081202205e-28"
    }
  ],
  "finite_contour": {
    "c": "1.5",
    "a": "-3.0",
    "T": "16.0",
    "u": "1.0",
    "right": "-2.0584611980747295611544834513981675672847786722945",
    "left": "19.356395092436434303968673287444844654020329441901",
    "horizontal_sum": "(-6.2408816730217281132141421523577535902838656747459e-29 + 0.0j)",
    "first_zero_pair_residue": "3.6620892388505831316879636054146276914745514454012e-22",
    "trivial_minus_two_residue": "-21.414856290511163865123522947829306096348494191688",
    "error": "0.0"
  },
  "synthetic_convergence_strips": [
    {
      "u": -8,
      "right_inverse": "0.0000000018280716238629677421111494523149224302064514259105",
      "central_inverse": "-0.28812731637483493430699467554450442355242233543935",
      "contour_jump": "0.2881273182029065581699624176556538758673447656458"
    },
    {
      "u": -2,
      "right_inverse": "0.051177450544061448228642818168981107037400679432128",
      "central_inverse": "-1.240119602311722626468068541953082785684478875127",
      "contour_jump": "1.2912970528557840746967113601220638927218795545592"
    },
    {
      "u": 0,
      "right_inverse": "0.58829582237372537129330284461219709382616611724547",
      "central_inverse": "-1.5406930954619934878334783446735822523752847700532",
      "contour_jump": "2.1289889178357188591267811892857793462014508872987"
    },
    {
      "u": 2,
      "right_inverse": "2.2699897116088744880200255312448525917919961853645",
      "central_inverse": "-1.240119602311722626468068541953082785684478875127",
      "contour_jump": "3.5101093139205971144880940731979353774764750604915"
    },
    {
      "u": 8,
      "right_inverse": "15.443091231514948484092224441143014310680527249527",
      "central_inverse": "-0.28812731637483493430699467554450442355242233543935",
      "contour_jump": "15.731218547889783418399219116687518734232949584967"
    },
    {
      "u": 24,
      "right_inverse": "858.89015324595366324350428791490964894016730784672",
      "central_inverse": "-0.0052772359141838430305543934845128719842500871230657",
      "contour_jump": "858.89543048186784708653484230839416181215155793384"
    }
  ],
  "synthetic_nonreal_quartet": [
    {
      "u": "0.0",
      "right_inverse": "0.17560649520112178768372222400158544101660951854291",
      "central_inverse": "0.56364327352471477531315324521468795341148798279413",
      "right_halfplane_residues": "-0.38803677832359298762943102121310251239487846425122"
    },
    {
      "u": "6.2831853071795864769252867665590057683943387987502",
      "right_inverse": "-1.2529613881990555907700349557117822050292202320789",
      "central_inverse": "0.11043905781287071082554533036674758428759955384114",
      "right_halfplane_residues": "-1.36340044601192630159558028607852978931681978592"
    },
    {
      "u": "12.5663706143591729538505735331180115367886775975",
      "right_inverse": "-4.7589922223554335653071675256379671152505722443403",
      "central_inverse": "0.03143198489682818961371149323387705589935524910815",
      "right_halfplane_residues": "-4.7904242072522617549208790188718441711499274934484"
    },
    {
      "u": "25.132741228718345907701147066236023073577355195001",
      "right_inverse": "-59.136600955432416941609462182277926290837999571936",
      "central_inverse": "0.0025460722533124019765879873463095851650684502788084",
      "right_halfplane_residues": "-59.139147027685729343586050169624235876003068022215"
    }
  ],
  "exact_finite_jets": [
    {
      "jet_order": 0,
      "A": "81700/183641",
      "B": "10000/183641",
      "Q_at_zstar": "0 exactly",
      "jet_matching_reason": "Q-1 divisible by (z^2-1/4)^(N+1)"
    },
    {
      "jet_order": 1,
      "A": "-5042730000/33724016881",
      "B": "-842000000/33724016881",
      "Q_at_zstar": "0 exactly",
      "jet_matching_reason": "Q-1 divisible by (z^2-1/4)^(N+1)"
    },
    {
      "jet_order": 2,
      "A": "274563169000000/6193112184043721",
      "B": "52532300000000/6193112184043721",
      "Q_at_zstar": "0 exactly",
      "jet_matching_reason": "Q-1 divisible by (z^2-1/4)^(N+1)"
    },
    {
      "jet_order": 5,
      "A": "-30343152036760497000000000000/38354638524150787971595239525841",
      "B": "-6990500582860600000000000000/38354638524150787971595239525841",
      "Q_at_zstar": "0 exactly",
      "jet_matching_reason": "Q-1 divisible by (z^2-1/4)^(N+1)"
    },
    {
      "jet_order": 8,
      "A": "2337378573433527252457585000000000000000000/237534579158510926391001520424790395414053294361",
      "B": "604891134416724330544900000000000000000000/237534579158510926391001520424790395414053294361",
      "Q_at_zstar": "0 exactly",
      "jet_matching_reason": "Q-1 divisible by (z^2-1/4)^(N+1)"
    }
  ],
  "reciprocal_gamma_slopes": [
    {
      "j": 0,
      "slope": "-1.0",
      "exact": -1
    },
    {
      "j": 1,
      "slope": "2.0",
      "exact": 2
    },
    {
      "j": 2,
      "slope": "-6.0",
      "exact": -6
    },
    {
      "j": 3,
      "slope": "24.0",
      "exact": 24
    },
    {
      "j": 4,
      "slope": "-120.0",
      "exact": -120
    },
    {
      "j": 5,
      "slope": "720.0",
      "exact": 720
    },
    {
      "j": 6,
      "slope": "-5040.0",
      "exact": -5040
    }
  ],
  "finite_parameter_polynomials": [
    {
      "X": 100,
      "coefficients": [
        1,
        25,
        30,
        5
      ],
      "M": 1,
      "values": [
        {
          "delta": "-0.01",
          "value": "1.201495"
        },
        {
          "delta": "0.0",
          "value": "1.0"
        },
        {
          "delta": "0.01",
          "value": "0.80150499999999999999999999999999999999999999999999"
        }
      ]
    },
    {
      "X": 1000,
      "coefficients": [
        1,
        168,
        288,
        135,
        16
      ],
      "M": 2,
      "values": [
        {
          "delta": "-0.01",
          "value": "2.6678291599999999999999999999999999999999999999996"
        },
        {
          "delta": "0.0",
          "value": "2.0"
        },
        {
          "delta": "0.01",
          "value": "1.3279711599999999999999999999999999999999999999999"
        }
      ]
    },
    {
      "X": 10000,
      "coefficients": [
        1,
        1229,
        2600,
        1800,
        429,
        24
      ],
      "M": -23,
      "values": [
        {
          "delta": "-0.01",
          "value": "-21.3769209124"
        },
        {
          "delta": "0.0",
          "value": "-23.0"
        },
        {
          "delta": "0.01",
          "value": "-24.716272907599999999999999999999999999999999999999"
        }
      ]
    }
  ],
  "assertions_passed": true,
  "rh_inference": false
}