{
  "_public_export": {
    "status": "RIEMANN HYPOTHESIS OPEN",
    "record_type": "SANITIZED_HISTORICAL_SOURCE_SNAPSHOT",
    "source_path": "research/common_parent/experiments/high_precision_results.json",
    "source_sha256": "6ef2c1945a04a5207c4f18f5a64f9b88741227e9bb2aff01a796f7f0e8391a84",
    "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": {}
  },
  "rh_status": "OPEN",
  "kind": "HIGH_PRECISION_DIAGNOSTIC_NOT_PROXY_CERTIFICATE",
  "matrix_assembly": "existing independent Arb build, 288 bits, read-only imported source",
  "mpmath_digits": 75,
  "trial_source": "float64 projected raw prolate proxy coefficients",
  "cases": [
    {
      "prime_power_cutoff": 2,
      "lambda": 1.4142135623730951,
      "N": 4,
      "lambda_0": "0.0017355290504447433946259627283317119",
      "lambda_1": "0.10524199502901869264833661421298497",
      "gap": "0.10350646597857394925371065148465326",
      "R_B_rounded_trial": "0.001954934033377645801142539292696121",
      "energy_excess_rounded_trial": "0.00021940498293290240651657656436440914",
      "excess_over_gap_rounded_trial": "0.0021197224816691131931493958742119963",
      "ground_overlap_squared_rounded_trial": "0.99978989950609102166095448889694076",
      "squared_distance_to_ground_line": "0.00021010049390897833904551110305924356",
      "residual_norm_rounded_trial": "0.01638607933570387193799439785002477",
      "even_ground": "0.0017355290504447433946259627283317119",
      "odd_ground": "0.10524199502901869264833661421298497",
      "eigenbasis_residual_max": "1.0536125637215222442971349272616487e-75",
      "floating_proxy_resolution_R_change": 1.8253627775965953e-15,
      "floating_proxy_projection_relative_tail": 0.01463771395289768
    },
    {
      "prime_power_cutoff": 3,
      "lambda": 1.7320508075688772,
      "N": 4,
      "lambda_0": "0.00000030558219150912652106815783170472465",
      "lambda_1": "0.000053513038148236229509552907952169816",
      "gap": "0.000053207455956727102988484750120465091",
      "R_B_rounded_trial": "0.00000030732783273545189854830909044280788",
      "energy_excess_rounded_trial": "0.000000001745641226325377480151258738083233",
      "excess_over_gap_rounded_trial": "0.000032808206950264332138761266966596311",
      "ground_overlap_squared_rounded_trial": "0.99999995403855534140485494692275945",
      "squared_distance_to_ground_line": "0.000000045961444658595145053077240550103519",
      "residual_norm_rounded_trial": "0.000047069445120505757822496183983751818",
      "even_ground": "0.00000030558219150912652106815783170472465",
      "odd_ground": "0.000053513038148236229509552907952169816",
      "eigenbasis_residual_max": "8.2907218128906668403708977882883836e-76",
      "floating_proxy_resolution_R_change": 2.6707080117034914e-15,
      "floating_proxy_projection_relative_tail": 0.0003878235931844394
    },
    {
      "prime_power_cutoff": 5,
      "lambda": 2.23606797749979,
      "N": 4,
      "lambda_0": "9.0424575449272006445825370607428287e-11",
      "lambda_1": "0.000000015968674786855073128386902664797994",
      "gap": "0.000000015878250211405801121941077294190566",
      "R_B_rounded_trial": "0.00000060046658134551407096386405101338711",
      "energy_excess_rounded_trial": "0.00000060037615677006479895741822564277968",
      "excess_over_gap_rounded_trial": "37.811229120120392071739613027737153",
      "ground_overlap_squared_rounded_trial": "0.99548421163342639240401964254782286",
      "squared_distance_to_ground_line": "0.0045157883665736075959803574521771419",
      "residual_norm_rounded_trial": "0.00059803215509826066648323322013446091",
      "even_ground": "9.0424575449272006445825370607428287e-11",
      "odd_ground": "0.000000015968674786855073128386902664797994",
      "eigenbasis_residual_max": "5.5271478752604445602472651921922557e-76",
      "floating_proxy_resolution_R_change": 3.4007356392723453e-15,
      "floating_proxy_projection_relative_tail": 0.0006875946028427175
    },
    {
      "prime_power_cutoff": 5,
      "lambda": 2.23606797749979,
      "N": 8,
      "lambda_0": "4.5701369875078320836647891802314999e-15",
      "lambda_1": "2.2077704487882374456170867185264221e-12",
      "gap": "2.2032003118007296135334219293461906e-12",
      "R_B_rounded_trial": "5.6052807678400459630522594239290463e-13",
      "energy_excess_rounded_trial": "5.5595793979649676422156115321267313e-13",
      "excess_over_gap_rounded_trial": "0.25234107712253304554777173406975661",
      "ground_overlap_squared_rounded_trial": "0.99988508556826197407702724601292038",
      "squared_distance_to_ground_line": "0.00011491443173802592297275398707961928",
      "residual_norm_rounded_trial": "0.0000001078418108736534341868044614284207",
      "even_ground": "4.5701369875078320836647891802314999e-15",
      "odd_ground": "2.2077704487882374456170867185264221e-12",
      "eigenbasis_residual_max": "2.7635739376302222801236325960961279e-75",
      "floating_proxy_resolution_R_change": 3.4002314793063382e-15,
      "floating_proxy_projection_relative_tail": 7.117360015645114e-07
    },
    {
      "prime_power_cutoff": 9,
      "lambda": 3.0,
      "N": 4,
      "lambda_0": "1.6602439206917732698369416503822797e-13",
      "lambda_1": "5.1009561017273365298006579925542563e-11",
      "gap": "5.0843536625204187971022885760504335e-11",
      "R_B_rounded_trial": "0.00000062484150550718775501628940564273973",
      "energy_excess_rounded_trial": "0.00000062484133948279568583896242194857469",
      "excess_over_gap_rounded_trial": "12289.49402337698452717403181810888",
      "ground_overlap_squared_rounded_trial": "0.96617519895357223112877130886211156",
      "squared_distance_to_ground_line": "0.033824801046427768871228691137888436",
      "residual_norm_rounded_trial": "0.0003239545870772233066152779150973353",
      "even_ground": "1.6602439206917732698369416503822797e-13",
      "odd_ground": "5.1009561017273365298006579925542563e-11",
      "eigenbasis_residual_max": "6.9089348440755557003090814902403197e-77",
      "floating_proxy_resolution_R_change": 4.353058170002144e-15,
      "floating_proxy_projection_relative_tail": 0.001713112858304988
    },
    {
      "prime_power_cutoff": 9,
      "lambda": 3.0,
      "N": 8,
      "lambda_0": "1.7880212913223079778919512656391142e-20",
      "lambda_1": "8.7147574819990113154909509702507537e-18",
      "gap": "8.6968772690857882357120314575943626e-18",
      "R_B_rounded_trial": "2.768044250410866079351248750382585e-11",
      "energy_excess_rounded_trial": "2.7680442486228447880289407724906338e-11",
      "excess_over_gap_rounded_trial": "3182802.4737824319493042766117625048",
      "ground_overlap_squared_rounded_trial": "0.99470913013985259528626149175749442",
      "squared_distance_to_ground_line": "0.005290869860147404713738508242505577",
      "residual_norm_rounded_trial": "0.0000028601275033643300344628502409033898",
      "even_ground": "1.7880212913223079778919512656391142e-20",
      "odd_ground": "8.7147574819990113154909509702507537e-18",
      "eigenbasis_residual_max": "1.3817869688151111400618162980480639e-75",
      "floating_proxy_resolution_R_change": 4.358444611332412e-15,
      "floating_proxy_projection_relative_tail": 4.6882400718989404e-06
    },
    {
      "prime_power_cutoff": 13,
      "lambda": 3.605551275463989,
      "N": 4,
      "lambda_0": "9.6792618605069722168465068518903902e-15",
      "lambda_1": "3.9391283827165510354957628724315276e-12",
      "gap": "3.9294491208560440632789163655796372e-12",
      "R_B_rounded_trial": "0.000043326243738797360473380492495497395",
      "energy_excess_rounded_trial": "0.000043326243729118098612873520278650888",
      "excess_over_gap_rounded_trial": "11026035.048821125025236346470175367",
      "ground_overlap_squared_rounded_trial": "0.93473967877206251913375358210655292",
      "squared_distance_to_ground_line": "0.065260321227937480866246417893447075",
      "residual_norm_rounded_trial": "0.0043019421022109776356585093188664848",
      "even_ground": "9.6792618605069722168465068518903902e-15",
      "odd_ground": "3.9391283827165510354957628724315276e-12",
      "eigenbasis_residual_max": "1.7272337110188889250772703725600799e-76",
      "floating_proxy_resolution_R_change": 4.273274442634367e-15,
      "floating_proxy_projection_relative_tail": 0.013626875203802133
    },
    {
      "prime_power_cutoff": 13,
      "lambda": 3.605551275463989,
      "N": 8,
      "lambda_0": "7.6743925563601896209287882109513093e-23",
      "lambda_1": "3.9148452202053439679344658241244144e-20",
      "gap": "3.9071708276489837783135370359134631e-20",
      "R_B_rounded_trial": "0.00000000081992833409197461596002477127103837",
      "energy_excess_rounded_trial": "0.00000000081992833409189787203446116937482909",
      "excess_over_gap_rounded_trial": "20985218467.789998380197454643234401",
      "ground_overlap_squared_rounded_trial": "0.98487842656280071184701156125846897",
      "squared_distance_to_ground_line": "0.015121573437199288152988438741531026",
      "residual_norm_rounded_trial": "0.000023761296450126373711873869658330451",
      "even_ground": "7.6743925563601896209287882109513093e-23",
      "odd_ground": "3.9148452202053439679344658241244144e-20",
      "eigenbasis_residual_max": "8.2907218128906668403708977882883836e-76",
      "floating_proxy_resolution_R_change": 4.275074175889046e-15,
      "floating_proxy_projection_relative_tail": 2.583292261405005e-05
    },
    {
      "prime_power_cutoff": 25,
      "lambda": 5.0,
      "N": 4,
      "lambda_0": "1.3619223992417346731055380438322858e-16",
      "lambda_1": "7.9500178120849165640137181563891541e-14",
      "gap": "7.9363985880924992172826627759508313e-14",
      "R_B_rounded_trial": "0.00021085013084363109410013098265719286",
      "energy_excess_rounded_trial": "0.00021085013084349490186020680918988231",
      "excess_over_gap_rounded_trial": "2656748253.0407081731738917178030648",
      "ground_overlap_squared_rounded_trial": "0.86821945397857016773664974665954958",
      "squared_distance_to_ground_line": "0.13178054602142983226335025334045042",
      "residual_norm_rounded_trial": "0.0076464066759642011736531917907277174",
      "even_ground": "1.3619223992417346731055380438322858e-16",
      "odd_ground": "7.9500178120849165640137181563891541e-14",
      "eigenbasis_residual_max": "6.9089348440755557003090814902403197e-77",
      "floating_proxy_resolution_R_change": 9.746147321533592e-10,
      "floating_proxy_projection_relative_tail": 0.0674730413613432
    }
  ],
  "scope": "High-precision diagnostic of Arb matrix midpoints and rounded trial coefficients. Eigenvalues, gaps, scores, proxy truncation, all-parameter limits, and G* are not interval-certified."
}