{
  "_public_export": {
    "status": "RIEMANN HYPOTHESIS OPEN",
    "record_type": "SANITIZED_HISTORICAL_SOURCE_SNAPSHOT",
    "source_path": "research/arithmetic_restoring_force/experiments/results.json",
    "source_sha256": "86f694da5041a539144d6a63a986e190798fdaa4f0875da929adbec6eff29b52",
    "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": "Finite identity/sign diagnostics and synthetic falsification; not an RH test",
  "precision_dps": 50,
  "cross_check_dps": 80,
  "interval_certification": false,
  "grid": [
    {
      "a": "-.75",
      "t": 0,
      "a_times_dlogxi": "0.02596964515669061140776021425714",
      "curvature": "0.046084983237275982224203374012842"
    },
    {
      "a": "-.75",
      "t": 1,
      "a_times_dlogxi": "0.026094996782351276872413049854814",
      "curvature": "0.046304569862229464248462626972939"
    },
    {
      "a": "-.75",
      "t": 5,
      "a_times_dlogxi": "0.029674282280112532367993171508013",
      "curvature": "0.052546793570076662753460954113099"
    },
    {
      "a": "-.75",
      "t": 8,
      "a_times_dlogxi": "0.039353782493190375870679865762429",
      "curvature": "0.069116318653351690394774409912975"
    },
    {
      "a": "-.75",
      "t": 10,
      "a_times_dlogxi": "0.058672166732752732781157816648504",
      "curvature": "0.10057576293423957598966340050683"
    },
    {
      "a": "-.75",
      "t": 12,
      "a_times_dlogxi": "0.14040542794012191082801028077672",
      "curvature": "0.20645010119102421833001934781485"
    },
    {
      "a": "-.75",
      "t": 14,
      "a_times_dlogxi": "1.0060005488153334102656228192935",
      "curvature": "-1.5488629065630591748807595510297"
    },
    {
      "a": "-.75",
      "t": 15,
      "a_times_dlogxi": "0.47188967267371167009927659574551",
      "curvature": "0.18357061102998915447743115827835"
    },
    {
      "a": "-.75",
      "t": 18,
      "a_times_dlogxi": "0.13068200689411156134420874573969",
      "curvature": "0.21512606978387891194050566282366"
    },
    {
      "a": "-.75",
      "t": 20,
      "a_times_dlogxi": "0.41643836831765539976573927358976",
      "curvature": "0.30194401738869336533397384453916"
    },
    {
      "a": "-.75",
      "t": 25,
      "a_times_dlogxi": "1.0909669532349868566973589642342",
      "curvature": "-1.6204556657372354050933703300363"
    },
    {
      "a": "-.75",
      "t": 30,
      "a_times_dlogxi": "0.88673990062892022571214458759607",
      "curvature": "-0.47709010639189178720950310548298"
    },
    {
      "a": "-.75",
      "t": 40,
      "a_times_dlogxi": "0.59678846626608173073638715936032",
      "curvature": "0.45535262540517240087859511176359"
    },
    {
      "a": "-.75",
      "t": 50,
      "a_times_dlogxi": "1.1754601897099119970778443233371",
      "curvature": "-0.9668132543352864382137206171152"
    },
    {
      "a": "-.75",
      "t": 75,
      "a_times_dlogxi": "0.8173333640182805936093620147952",
      "curvature": "0.38925407887801826731844332785231"
    },
    {
      "a": "-.75",
      "t": 100,
      "a_times_dlogxi": "0.71893906478825671843855524047906",
      "curvature": "0.75013507226001728074086355996513"
    },
    {
      "a": "-.45",
      "t": 0,
      "a_times_dlogxi": "0.0093544759860912653565239554411762",
      "curvature": "0.04616488056604699847738246603429"
    },
    {
      "a": "-.45",
      "t": 1,
      "a_times_dlogxi": "0.0093998146094008838718289205548335",
      "curvature": "0.046387592866447319900552881169403"
    },
    {
      "a": "-.45",
      "t": 5,
      "a_times_dlogxi": "0.010696234027053327453479931788796",
      "curvature": "0.052745687044118503452845569628682"
    },
    {
      "a": "-.45",
      "t": 8,
      "a_times_dlogxi": "0.014222662514349943130863215188559",
      "curvature": "0.069925437801225617875806851746839"
    },
    {
      "a": "-.45",
      "t": 10,
      "a_times_dlogxi": "0.021368587214556031577699625645306",
      "curvature": "0.1041261568500969159118114427925"
    },
    {
      "a": "-.45",
      "t": 12,
      "a_times_dlogxi": "0.053553125291654895959066740870962",
      "curvature": "0.24649589807061116411255335638401"
    },
    {
      "a": "-.45",
      "t": 14,
      "a_times_dlogxi": "0.93119011832947793229080270569574",
      "curvature": "-3.7202132696334828036556114765413"
    },
    {
      "a": "-.45",
      "t": 15,
      "a_times_dlogxi": "0.22839510988695062893369621083963",
      "curvature": "0.67989375178298711849180568020468"
    },
    {
      "a": "-.45",
      "t": 18,
      "a_times_dlogxi": "0.048197265033778203544138355591546",
      "curvature": "0.23139777634373812506931885602612"
    },
    {
      "a": "-.45",
      "t": 20,
      "a_times_dlogxi": "0.18647619308266454280646008095349",
      "curvature": "0.65941823585699611771441573944131"
    },
    {
      "a": "-.45",
      "t": 25,
      "a_times_dlogxi": "1.0326303892628695328358805553451",
      "curvature": "-4.7678446818525728676889707234012"
    },
    {
      "a": "-.45",
      "t": 30,
      "a_times_dlogxi": "0.57644181278533891493030952021942",
      "curvature": "0.079871868653227295948405798947148"
    },
    {
      "a": "-.45",
      "t": 40,
      "a_times_dlogxi": "0.26688675656405766684242118069824",
      "curvature": "0.93346044957265070287852745872626"
    },
    {
      "a": "-.45",
      "t": 50,
      "a_times_dlogxi": "0.89632281369515792184548033542942",
      "curvature": "-1.8972301721187772945145361898291"
    },
    {
      "a": "-.45",
      "t": 75,
      "a_times_dlogxi": "0.39688678732413353271273287979204",
      "curvature": "1.1065349019079795269150245986937"
    },
    {
      "a": "-.45",
      "t": 100,
      "a_times_dlogxi": "0.30010540976662497964749624505274",
      "curvature": "1.2049487806332102165832555287114"
    },
    {
      "a": "-.2",
      "t": 0,
      "a_times_dlogxi": "0.0018482805153666739552690418413221",
      "curvature": "0.046201067113198450933138765388611"
    },
    {
      "a": "-.2",
      "t": 1,
      "a_times_dlogxi": "0.0018572552955300822160389347591478",
      "curvature": "0.046425202365809740815579478868747"
    },
    {
      "a": "-.2",
      "t": 5,
      "a_times_dlogxi": "0.0021140455367809812607325070592289",
      "curvature": "0.052836232416594300545585007984683"
    },
    {
      "a": "-.2",
      "t": 8,
      "a_times_dlogxi": "0.0028144089166269691368425818562149",
      "curvature": "0.070298511468245500184665501256185"
    },
    {
      "a": "-.2",
      "t": 10,
      "a_times_dlogxi": "0.0042435949162848885215917503838238",
      "curvature": "0.10580866583416791479955240167074"
    },
    {
      "a": "-.2",
      "t": 12,
      "a_times_dlogxi": "0.010876850866474301266009410822021",
      "curvature": "0.26811869636575659317812928754886"
    },
    {
      "a": "-.2",
      "t": 14,
      "a_times_dlogxi": "0.69052622250741281732466107169714",
      "curvature": "-6.3948648156278114408281939888789"
    },
    {
      "a": "-.2",
      "t": 15,
      "a_times_dlogxi": "0.053785128206308080481879771297028",
      "curvature": "1.2159488235513200394193969158627"
    },
    {
      "a": "-.2",
      "t": 18,
      "a_times_dlogxi": "0.0096282266206177484388284433362262",
      "curvature": "0.23935866176934995980894111069256"
    },
    {
      "a": "-.2",
      "t": 20,
      "a_times_dlogxi": "0.041657265351941455991777225016396",
      "curvature": "0.97321488464768159561810609579615"
    },
    {
      "a": "-.2",
      "t": 25,
      "a_times_dlogxi": "1.0036575374118665466440598793902",
      "curvature": "-24.615583879286640016181277802156"
    },
    {
      "a": "-.2",
      "t": 30,
      "a_times_dlogxi": "0.19092093056386747126599751266411",
      "curvature": "3.126667697487647641034978577729"
    },
    {
      "a": "-.2",
      "t": 40,
      "a_times_dlogxi": "0.059985937831320002633985399815273",
      "curvature": "1.3942351440897334372080461451537"
    },
    {
      "a": "-.2",
      "t": 50,
      "a_times_dlogxi": "0.45866155908193021708643660931349",
      "curvature": "1.8319148618189653878026744462754"
    },
    {
      "a": "-.2",
      "t": 75,
      "a_times_dlogxi": "0.096133309070921291476866769661159",
      "curvature": "2.1203120950951930086662707912586"
    },
    {
      "a": "-.2",
      "t": 100,
      "a_times_dlogxi": "0.064190683200172618881296548529958",
      "curvature": "1.5380050073483609828011205770267"
    },
    {
      "a": "-.05",
      "t": 0,
      "a_times_dlogxi": "0.00011552450092410917163115004757609",
      "curvature": "0.046209428650859388209215496001752"
    },
    {
      "a": "-.05",
      "t": 1,
      "a_times_dlogxi": "0.00011608569929849816296568623966726",
      "curvature": "0.046433893349151632435729034520242"
    },
    {
      "a": "-.05",
      "t": 5,
      "a_times_dlogxi": "0.00013214532044945410819637369543815",
      "curvature": "0.05285719586874892960515666747433"
    },
    {
      "a": "-.05",
      "t": 8,
      "a_times_dlogxi": "0.0001759729421624876825025687437227",
      "curvature": "0.070385312773800352241267409851418"
    },
    {
      "a": "-.05",
      "t": 10,
      "a_times_dlogxi": "0.00026555492440194673279974991772725",
      "curvature": "0.10620431929325768406851960281693"
    },
    {
      "a": "-.05",
      "t": 12,
      "a_times_dlogxi": "0.00068429581511013639802736751008591",
      "curvature": "0.27347675649393415219917837309064"
    },
    {
      "a": "-.05",
      "t": 14,
      "a_times_dlogxi": "0.12122662560649394323142482304931",
      "curvature": "36.766168509387451936860649600354"
    },
    {
      "a": "-.05",
      "t": 15,
      "a_times_dlogxi": "0.0035198902819652105823208637556828",
      "curvature": "1.3990911013859944108193346156229"
    },
    {
      "a": "-.05",
      "t": 18,
      "a_times_dlogxi": "0.00060334833704742414690622261326806",
      "curvature": "0.2412545429292443817213607015373"
    },
    {
      "a": "-.05",
      "t": 20,
      "a_times_dlogxi": "0.0026863753174725161568175513594786",
      "curvature": "1.0699766233756435668760067256593"
    },
    {
      "a": "-.05",
      "t": 25,
      "a_times_dlogxi": "0.9553814000695192450770664599511",
      "curvature": "-347.41953140632267741708056528742"
    },
    {
      "a": "-.05",
      "t": 30,
      "a_times_dlogxi": "0.014256898327379744397876966004645",
      "curvature": "5.5534103340054370254977290486845"
    },
    {
      "a": "-.05",
      "t": 40,
      "a_times_dlogxi": "0.0038779862652165532139707348023308",
      "curvature": "1.5440246608148740213782441390821"
    },
    {
      "a": "-.05",
      "t": 50,
      "a_times_dlogxi": "0.047843561482122604002854142931356",
      "curvature": "17.400027569392679419688351220463"
    },
    {
      "a": "-.05",
      "t": 75,
      "a_times_dlogxi": "0.006364503026296085019220534659128",
      "curvature": "2.5254003498909758363957715928107"
    },
    {
      "a": "-.05",
      "t": 100,
      "a_times_dlogxi": "0.0040920964132723909648340703729602",
      "curvature": "1.6324561635218805981024047330874"
    },
    {
      "a": ".05",
      "t": 0,
      "a_times_dlogxi": "0.00011552450092410917163115004757609",
      "curvature": "0.046209428650859388209215496001752"
    },
    {
      "a": ".05",
      "t": 1,
      "a_times_dlogxi": "0.00011608569929849816296568623966726",
      "curvature": "0.046433893349151632435729034520242"
    },
    {
      "a": ".05",
      "t": 5,
      "a_times_dlogxi": "0.00013214532044945410819637369543815",
      "curvature": "0.05285719586874892960515666747433"
    },
    {
      "a": ".05",
      "t": 8,
      "a_times_dlogxi": "0.0001759729421624876825025687437227",
      "curvature": "0.070385312773800352241267409851418"
    },
    {
      "a": ".05",
      "t": 10,
      "a_times_dlogxi": "0.00026555492440194673279974991772725",
      "curvature": "0.10620431929325768406851960281693"
    },
    {
      "a": ".05",
      "t": 12,
      "a_times_dlogxi": "0.00068429581511013639802736751008591",
      "curvature": "0.27347675649393415219917837309064"
    },
    {
      "a": ".05",
      "t": 14,
      "a_times_dlogxi": "0.12122662560649394323142482304931",
      "curvature": "36.766168509387451936860649600354"
    },
    {
      "a": ".05",
      "t": 15,
      "a_times_dlogxi": "0.0035198902819652105823208637556828",
      "curvature": "1.3990911013859944108193346156229"
    },
    {
      "a": ".05",
      "t": 18,
      "a_times_dlogxi": "0.00060334833704742414690622261326806",
      "curvature": "0.2412545429292443817213607015373"
    },
    {
      "a": ".05",
      "t": 20,
      "a_times_dlogxi": "0.0026863753174725161568175513594786",
      "curvature": "1.0699766233756435668760067256593"
    },
    {
      "a": ".05",
      "t": 25,
      "a_times_dlogxi": "0.9553814000695192450770664599511",
      "curvature": "-347.41953140632267741708056528742"
    },
    {
      "a": ".05",
      "t": 30,
      "a_times_dlogxi": "0.014256898327379744397876966004645",
      "curvature": "5.5534103340054370254977290486845"
    },
    {
      "a": ".05",
      "t": 40,
      "a_times_dlogxi": "0.0038779862652165532139707348023308",
      "curvature": "1.5440246608148740213782441390821"
    },
    {
      "a": ".05",
      "t": 50,
      "a_times_dlogxi": "0.047843561482122604002854142931356",
      "curvature": "17.400027569392679419688351220463"
    },
    {
      "a": ".05",
      "t": 75,
      "a_times_dlogxi": "0.006364503026296085019220534659128",
      "curvature": "2.5254003498909758363957715928107"
    },
    {
      "a": ".05",
      "t": 100,
      "a_times_dlogxi": "0.0040920964132723909648340703729602",
      "curvature": "1.6324561635218805981024047330874"
    },
    {
      "a": ".2",
      "t": 0,
      "a_times_dlogxi": "0.0018482805153666739552690418413221",
      "curvature": "0.046201067113198450933138765388611"
    },
    {
      "a": ".2",
      "t": 1,
      "a_times_dlogxi": "0.0018572552955300822160389347591478",
      "curvature": "0.046425202365809740815579478868747"
    },
    {
      "a": ".2",
      "t": 5,
      "a_times_dlogxi": "0.0021140455367809812607325070592289",
      "curvature": "0.052836232416594300545585007984683"
    },
    {
      "a": ".2",
      "t": 8,
      "a_times_dlogxi": "0.0028144089166269691368425818562149",
      "curvature": "0.070298511468245500184665501256185"
    },
    {
      "a": ".2",
      "t": 10,
      "a_times_dlogxi": "0.0042435949162848885215917503838238",
      "curvature": "0.10580866583416791479955240167074"
    },
    {
      "a": ".2",
      "t": 12,
      "a_times_dlogxi": "0.010876850866474301266009410822021",
      "curvature": "0.26811869636575659317812928754886"
    },
    {
      "a": ".2",
      "t": 14,
      "a_times_dlogxi": "0.69052622250741281732466107169714",
      "curvature": "-6.3948648156278114408281939888789"
    },
    {
      "a": ".2",
      "t": 15,
      "a_times_dlogxi": "0.053785128206308080481879771297028",
      "curvature": "1.2159488235513200394193969158627"
    },
    {
      "a": ".2",
      "t": 18,
      "a_times_dlogxi": "0.0096282266206177484388284433362262",
      "curvature": "0.23935866176934995980894111069256"
    },
    {
      "a": ".2",
      "t": 20,
      "a_times_dlogxi": "0.041657265351941455991777225016396",
      "curvature": "0.97321488464768159561810609579615"
    },
    {
      "a": ".2",
      "t": 25,
      "a_times_dlogxi": "1.0036575374118665466440598793902",
      "curvature": "-24.615583879286640016181277802156"
    },
    {
      "a": ".2",
      "t": 30,
      "a_times_dlogxi": "0.19092093056386747126599751266411",
      "curvature": "3.126667697487647641034978577729"
    },
    {
      "a": ".2",
      "t": 40,
      "a_times_dlogxi": "0.059985937831320002633985399815273",
      "curvature": "1.3942351440897334372080461451537"
    },
    {
      "a": ".2",
      "t": 50,
      "a_times_dlogxi": "0.45866155908193021708643660931349",
      "curvature": "1.8319148618189653878026744462754"
    },
    {
      "a": ".2",
      "t": 75,
      "a_times_dlogxi": "0.096133309070921291476866769661159",
      "curvature": "2.1203120950951930086662707912586"
    },
    {
      "a": ".2",
      "t": 100,
      "a_times_dlogxi": "0.064190683200172618881296548529958",
      "curvature": "1.5380050073483609828011205770267"
    },
    {
      "a": ".45",
      "t": 0,
      "a_times_dlogxi": "0.0093544759860912653565239554411762",
      "curvature": "0.04616488056604699847738246603429"
    },
    {
      "a": ".45",
      "t": 1,
      "a_times_dlogxi": "0.0093998146094008838718289205548335",
      "curvature": "0.046387592866447319900552881169403"
    },
    {
      "a": ".45",
      "t": 5,
      "a_times_dlogxi": "0.010696234027053327453479931788796",
      "curvature": "0.052745687044118503452845569628682"
    },
    {
      "a": ".45",
      "t": 8,
      "a_times_dlogxi": "0.014222662514349943130863215188559",
      "curvature": "0.069925437801225617875806851746839"
    },
    {
      "a": ".45",
      "t": 10,
      "a_times_dlogxi": "0.021368587214556031577699625645306",
      "curvature": "0.1041261568500969159118114427925"
    },
    {
      "a": ".45",
      "t": 12,
      "a_times_dlogxi": "0.053553125291654895959066740870962",
      "curvature": "0.24649589807061116411255335638401"
    },
    {
      "a": ".45",
      "t": 14,
      "a_times_dlogxi": "0.93119011832947793229080270569574",
      "curvature": "-3.7202132696334828036556114765413"
    },
    {
      "a": ".45",
      "t": 15,
      "a_times_dlogxi": "0.22839510988695062893369621083963",
      "curvature": "0.67989375178298711849180568020468"
    },
    {
      "a": ".45",
      "t": 18,
      "a_times_dlogxi": "0.048197265033778203544138355591546",
      "curvature": "0.23139777634373812506931885602612"
    },
    {
      "a": ".45",
      "t": 20,
      "a_times_dlogxi": "0.18647619308266454280646008095349",
      "curvature": "0.65941823585699611771441573944131"
    },
    {
      "a": ".45",
      "t": 25,
      "a_times_dlogxi": "1.0326303892628695328358805553451",
      "curvature": "-4.7678446818525728676889707234012"
    },
    {
      "a": ".45",
      "t": 30,
      "a_times_dlogxi": "0.57644181278533891493030952021942",
      "curvature": "0.079871868653227295948405798947148"
    },
    {
      "a": ".45",
      "t": 40,
      "a_times_dlogxi": "0.26688675656405766684242118069824",
      "curvature": "0.93346044957265070287852745872626"
    },
    {
      "a": ".45",
      "t": 50,
      "a_times_dlogxi": "0.89632281369515792184548033542942",
      "curvature": "-1.8972301721187772945145361898291"
    },
    {
      "a": ".45",
      "t": 75,
      "a_times_dlogxi": "0.39688678732413353271273287979204",
      "curvature": "1.1065349019079795269150245986937"
    },
    {
      "a": ".45",
      "t": 100,
      "a_times_dlogxi": "0.30010540976662497964749624505274",
      "curvature": "1.2049487806332102165832555287114"
    },
    {
      "a": ".75",
      "t": 0,
      "a_times_dlogxi": "0.02596964515669061140776021425714",
      "curvature": "0.046084983237275982224203374012842"
    },
    {
      "a": ".75",
      "t": 1,
      "a_times_dlogxi": "0.026094996782351276872413049854814",
      "curvature": "0.046304569862229464248462626972939"
    },
    {
      "a": ".75",
      "t": 5,
      "a_times_dlogxi": "0.029674282280112532367993171508013",
      "curvature": "0.052546793570076662753460954113099"
    },
    {
      "a": ".75",
      "t": 8,
      "a_times_dlogxi": "0.039353782493190375870679865762429",
      "curvature": "0.069116318653351690394774409912975"
    },
    {
      "a": ".75",
      "t": 10,
      "a_times_dlogxi": "0.058672166732752732781157816648504",
      "curvature": "0.10057576293423957598966340050683"
    },
    {
      "a": ".75",
      "t": 12,
      "a_times_dlogxi": "0.14040542794012191082801028077672",
      "curvature": "0.20645010119102421833001934781485"
    },
    {
      "a": ".75",
      "t": 14,
      "a_times_dlogxi": "1.0060005488153334102656228192935",
      "curvature": "-1.5488629065630591748807595510297"
    },
    {
      "a": ".75",
      "t": 15,
      "a_times_dlogxi": "0.47188967267371167009927659574551",
      "curvature": "0.18357061102998915447743115827835"
    },
    {
      "a": ".75",
      "t": 18,
      "a_times_dlogxi": "0.13068200689411156134420874573969",
      "curvature": "0.21512606978387891194050566282366"
    },
    {
      "a": ".75",
      "t": 20,
      "a_times_dlogxi": "0.41643836831765539976573927358976",
      "curvature": "0.30194401738869336533397384453916"
    },
    {
      "a": ".75",
      "t": 25,
      "a_times_dlogxi": "1.0909669532349868566973589642342",
      "curvature": "-1.6204556657372354050933703300363"
    },
    {
      "a": ".75",
      "t": 30,
      "a_times_dlogxi": "0.88673990062892022571214458759607",
      "curvature": "-0.47709010639189178720950310548298"
    },
    {
      "a": ".75",
      "t": 40,
      "a_times_dlogxi": "0.59678846626608173073638715936032",
      "curvature": "0.45535262540517240087859511176359"
    },
    {
      "a": ".75",
      "t": 50,
      "a_times_dlogxi": "1.1754601897099119970778443233371",
      "curvature": "-0.9668132543352864382137206171152"
    },
    {
      "a": ".75",
      "t": 75,
      "a_times_dlogxi": "0.8173333640182805936093620147952",
      "curvature": "0.38925407887801826731844332785231"
    },
    {
      "a": ".75",
      "t": 100,
      "a_times_dlogxi": "0.71893906478825671843855524047906",
      "curvature": "0.75013507226001728074086355996513"
    }
  ],
  "center_curvature": [
    {
      "t": 0,
      "dlogxi": "0.0",
      "curvature": "0.046209986230837941577867620860678"
    },
    {
      "t": 1,
      "dlogxi": "0.0",
      "curvature": "0.046434472906504407011523489027777"
    },
    {
      "t": 5,
      "dlogxi": "-5.011433831422866836513505875909e-52",
      "curvature": "0.052858594346736520643398793785959"
    },
    {
      "t": 8,
      "dlogxi": "-3.3409558876152445576756705839394e-52",
      "curvature": "0.07039110902953787178411949678978"
    },
    {
      "t": 10,
      "dlogxi": "-3.3409558876152445576756705839394e-52",
      "curvature": "0.10623079624924940046490314814351"
    },
    {
      "t": 12,
      "dlogxi": "-6.6819117752304891153513411678787e-52",
      "curvature": "0.27383917680312002409321101872488"
    },
    {
      "t": 14,
      "dlogxi": "-6.6819117752304891153513411678787e-52",
      "curvature": "55.16032369738996082425990951145"
    },
    {
      "t": 15,
      "dlogxi": "0.0",
      "curvature": "1.4124034117522288704328240888552"
    },
    {
      "t": 18,
      "dlogxi": "0.0",
      "curvature": "0.24138174089294714661590649830633"
    },
    {
      "t": 20,
      "dlogxi": "1.3363823550460978230702682335757e-51",
      "curvature": "1.076842336894339108563857947193"
    },
    {
      "t": 25,
      "dlogxi": "1.6036588260553173876843218802909e-50",
      "curvature": "8482.8613025806675632516046388161"
    },
    {
      "t": 30,
      "dlogxi": "0.0",
      "curvature": "5.7784674564911235423295572317819"
    },
    {
      "t": 40,
      "dlogxi": "0.0",
      "curvature": "1.5547897977159854039597334765753"
    },
    {
      "t": 50,
      "dlogxi": "0.0",
      "curvature": "20.048570680170463709098373769244"
    },
    {
      "t": 75,
      "dlogxi": "0.0",
      "curvature": "2.5560522434220360655606401724229"
    },
    {
      "t": 100,
      "dlogxi": "0.0",
      "curvature": "1.639033402604667889086015836843"
    }
  ],
  "near_known_zero": [
    {
      "a": ".01",
      "t_offset_from_first_zero": "-.2",
      "dlogxi": "0.25003643360513454663003637646887",
      "curvature": "24.879265924911511027180754468408"
    },
    {
      "a": ".01",
      "t_offset_from_first_zero": "-.01",
      "dlogxi": "50.000675948654316934529812735738",
      "curvature": "0.067594755511090563914636649605971"
    },
    {
      "a": ".01",
      "t_offset_from_first_zero": "0",
      "dlogxi": "100.00067682660659069780569110407",
      "curvature": "-9999.9323174498405996556235942184"
    },
    {
      "a": ".01",
      "t_offset_from_first_zero": ".01",
      "dlogxi": "50.000677707873856557124780881494",
      "curvature": "0.06777067630289369011859082432105"
    },
    {
      "a": ".01",
      "t_offset_from_first_zero": ".2",
      "dlogxi": "0.25007166442005694054016685902086",
      "curvature": "24.882788983069658324094344502611"
    },
    {
      "a": ".1",
      "t_offset_from_first_zero": "-.2",
      "dlogxi": "2.0065982568813973901540872182119",
      "curvature": "12.065972608176023932596019115354"
    },
    {
      "a": ".1",
      "t_offset_from_first_zero": "-.01",
      "dlogxi": "9.9077490415438828169545726426716",
      "curvature": "-96.981730454054646645476087216094"
    },
    {
      "a": ".1",
      "t_offset_from_first_zero": "0",
      "dlogxi": "10.006767719191171148994438978416",
      "curvature": "-99.932333854070664854182582249228"
    },
    {
      "a": ".1",
      "t_offset_from_first_zero": ".01",
      "dlogxi": "9.9077666279882618781044977700499",
      "curvature": "-96.981554705759281737859024239865"
    },
    {
      "a": ".1",
      "t_offset_from_first_zero": ".2",
      "dlogxi": "2.0069504495605326810366189026944",
      "curvature": "12.069492202918273909471706334666"
    },
    {
      "a": ".3",
      "t_offset_from_first_zero": "-.2",
      "dlogxi": "2.3274751418921563097334801621826",
      "curvature": "-2.8927265020998736148403137972548"
    },
    {
      "a": ".3",
      "t_offset_from_first_zero": "-.01",
      "dlogxi": "3.3498974012792323041590061964099",
      "curvature": "-11.006695624420986413533328248504"
    },
    {
      "a": ".3",
      "t_offset_from_first_zero": "0",
      "dlogxi": "3.353623255010237559402844969622",
      "curvature": "-11.043577163695300208424683846959"
    },
    {
      "a": ".3",
      "t_offset_from_first_zero": ".01",
      "dlogxi": "3.3499500215606238951075977963743",
      "curvature": "-11.00652126392871474842290523126"
    },
    {
      "a": ".3",
      "t_offset_from_first_zero": ".2",
      "dlogxi": "2.328528928047932185530808748103",
      "curvature": "-2.8892347714714391938093943776689"
    }
  ],
  "prime_sign_examples": [
    {
      "sigma": 8,
      "t": "0.0",
      "dlogzeta": "-0.0028901683080467563835495748474186"
    },
    {
      "sigma": 8,
      "t": "4.5323601418271938096276829457167",
      "dlogzeta": "0.0026510173813358157691604850092541"
    }
  ],
  "prime_sign_exact_rational_margin": {
    "main_lower": "1/512",
    "tail_upper": "143/321489",
    "margin": "248273/164602368",
    "proof": "log2>1/2, log3<2, Lambda(n)<=log n, integral tail; positive margin proves opposite signs at sigma8,t0 and t=pi/log2"
  },
  "theta_identity_checks": [
    {
      "a": "0",
      "t": "0",
      "theta_real": "0.4971207781883141099127737396854",
      "theta_imag": "0.0",
      "xi": {
        "real": "0.4971207781883141099127737396854",
        "imag": "0.0"
      },
      "absolute_difference": "6.6819117752304891153513411678787e-52"
    },
    {
      "a": ".2",
      "t": "0",
      "theta_real": "0.49758041465112690357779107525638",
      "theta_imag": "0.0",
      "xi": {
        "real": "0.49758041465112690357779107525638",
        "imag": "0.0"
      },
      "absolute_difference": "0.0"
    },
    {
      "a": ".2",
      "t": "5",
      "theta_real": "0.27552016666804472914387964235911",
      "theta_imag": "0.013309198198120312389118436125603",
      "xi": {
        "real": "0.27552016666804472914387964235911",
        "imag": "0.013309198198120312389118436125603"
      },
      "absolute_difference": "8.6094462594792870762354391618827e-52"
    },
    {
      "a": ".3",
      "t": "14.1",
      "theta_real": "-0.000024733669179577969008023892529077",
      "theta_imag": "0.0004266351968433868120090265665632",
      "xi": {
        "real": "-0.000024733669179577969008023892529077",
        "imag": "0.0004266351968433868120090265665632"
      },
      "absolute_difference": "1.1094217035250194110356044298462e-54"
    },
    {
      "a": "-.2",
      "t": "25",
      "theta_real": "-0.000000016005182209833092334415765585591",
      "theta_imag": "-0.00000025536986916348491098109659378355",
      "xi": {
        "real": "-0.000000016005182209833092334415765585591",
        "imag": "-0.00000025536986916348491098109659378355"
      },
      "absolute_difference": "1.2681101674023153415562617183624e-56"
    }
  ],
  "theta_numeric_truncation": {
    "n_max": 8,
    "x_max": 4,
    "rigorous_integral_certificate": false
  },
  "precision_cross_checks": [
    {
      "a": ".1",
      "t": "0",
      "q_difference_50_80dps": "7.7265163454686444467906912211676e-51",
      "curvature_difference_50_80dps": "6.3833252030775880281708495864817e-51"
    },
    {
      "a": ".1",
      "t": "14.134725141734693790457251983562",
      "q_difference_50_80dps": "4.3557828875016759407753812222076e-51",
      "curvature_difference_50_80dps": "1.9700969190485543318352224347782e-49"
    },
    {
      "a": "0",
      "t": "20",
      "q_difference_50_80dps": "1.7426204035725961192233691948395e-51",
      "curvature_difference_50_80dps": "3.3372135998962374505659915965275e-51"
    },
    {
      "a": ".45",
      "t": "100",
      "q_difference_50_80dps": "2.2724073971667703014291793925045e-51",
      "curvature_difference_50_80dps": "1.2596871725583891910685102689631e-51"
    }
  ],
  "observations": {
    "grid_points": 128,
    "global_force_sign_counterexample_found": false,
    "negative_horizontal_curvature_found": true,
    "negative_center_curvature_found": false,
    "global_sign_or_RH_proved_from_data": false
  }
}