{
  "classification": "independent diagnostic replay, NOT an interval certificate",
  "original_sha256": "46400781b60ede84085d0a169869f72685b18cf3db88620d2295adfa8f6e7c5b",
  "original_screen_sha256": "cb8fd2d9a527bddb94044ed238c4886a0cf877b1b1ac56140e0ef5e7469c9c70",
  "script_sha256": "1bd360191836e184a154f65abfe912760851ad396171898d7f03f7eabc2eb163",
  "status": "completed independent replay; no global PD or finite-matrix certificate",
  "stencil": [
    "0",
    "1/4",
    "1/2",
    "3/4",
    "1",
    "5/4"
  ],
  "bits": 256,
  "points": [
    {
      "t": "0",
      "evaluation": {
        "M": "0.07993795299040532127997084951669957965573503184948439914462435307765558548046203541258",
        "C": "0.001964882315835757272735899961999033928799582044620502891221237211861399628073467481412",
        "k": "0.02458009296374646180433837719284448816161794310645940260276730847604045605245741326785",
        "heuristic_error_M": "1.000000100000000000010000000020000000000000000000000000000003005370556846357994285691e-82",
        "heuristic_error_C": "1.000000010000000000010000000101000000000000000000000000000013030001712869283820198765e-82",
        "bits": 256,
        "lattice_cutoff": 36,
        "integration_radius": "5.0",
        "method": "direct original theta summands; raw unnormalized moments; adaptive tanh-sinh maxdegree=8",
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.25",
          "0.5",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "integrand_evaluations": 2864,
        "majorants": {
          "lattice_M": "1.505892256920781624712563023414098218959723294339989816234862634646874087584423189728e-1859",
          "lattice_C": "1.254910214100651353927135852845081849133102745283324846862385528872395072987020119114e-1858",
          "real_tail_M": "8.131591568199296927263919112320028978789346868851120487555469340696248382009599430414e-15030",
          "real_tail_C": "2.032909643247186996346298596725473587930524040926268378138967432360028693883966973481e-15028",
          "uniform_phi_lattice_tail": "5.458328506632811096360253740203300372598019526219015714630105596345634596233957071617e-1861",
          "envelope_K": "6.635786606912262822676074828031513107292851534816189311887282820164740899259398532357",
          "envelope_d": "1.570796326794896619231321691639751442098584699687552910487472296153908203143099014727",
          "status": "analytic majorants in ordinary arithmetic, not outward-rounded interval bounds",
          "remaining_errors": "quadrature, floating roundoff and ratio error are NOT bounded"
        }
      },
      "comparison": {
        "absolute_M_difference": "1.187473176325486135990623381135054941028450050109988690440759227148181372934833720471e-77",
        "relative_M_difference": "1.485493600853169800831749133011913220000515074928973076072283066927240324815745037635e-76",
        "absolute_C_difference": "3.036153007650390688612389326765765474220468878122130174422395751231145555799290762568e-79",
        "relative_C_difference": "1.545208577216478933146601508752193787251504845700437987448516978662588871481078689685e-76",
        "absolute_k_difference": "0.0",
        "relative_k_difference": "0.0"
      },
      "elapsed_seconds": 2.6970534999854863
    },
    {
      "t": "1/4",
      "evaluation": {
        "M": "0.02155531099898747746674946430537466321525187020131750642013075433591988268861532526642",
        "C": "0.00044417578058765273312167414904096657917277242719766302558493909600437659291919491105",
        "k": "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
        "heuristic_error_M": "1.010000000000010010001000000000000000000000000000000000000000110000000002663145897503e-89",
        "heuristic_error_C": "1.100000000000000010000110000000000000000000000000000010000000001000000001066520813395e-88",
        "bits": 256,
        "lattice_cutoff": 36,
        "integration_radius": "5.0",
        "method": "direct original theta summands; raw unnormalized moments; adaptive tanh-sinh maxdegree=8",
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.25",
          "0.5",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "integrand_evaluations": 2864,
        "majorants": {
          "lattice_M": "1.505892256920781624712563023414098218959723294339989816234862634646874087584423189728e-1859",
          "lattice_C": "1.254910214100651353927135852845081849133102745283324846862385528872395072987020119114e-1858",
          "real_tail_M": "8.131591568199296927263919112320028978789346868851120487555469340696248382009599430414e-15030",
          "real_tail_C": "2.032909643247186996346298596725473587930524040926268378138967432360028693883966973481e-15028",
          "uniform_phi_lattice_tail": "5.458328506632811096360253740203300372598019526219015714630105596345634596233957071617e-1861",
          "envelope_K": "6.635786606912262822676074828031513107292851534816189311887282820164740899259398532357",
          "envelope_d": "1.570796326794896619231321691639751442098584699687552910487472296153908203143099014727",
          "status": "analytic majorants in ordinary arithmetic, not outward-rounded interval bounds",
          "remaining_errors": "quadrature, floating roundoff and ratio error are NOT bounded"
        }
      },
      "comparison": {
        "absolute_M_difference": "3.238563208160416734519881948550149839168500136663605519383888801313221926185910146739e-78",
        "relative_M_difference": "1.502443276421547572081256432758434872133062928120418838794571924804745380802578211792e-76",
        "absolute_C_difference": "6.74700668366753486358308739281281216493437528471584483204976833606921234622064613904e-80",
        "relative_C_difference": "1.518994726533968339546141476833299787288931640231239639581356724486578070409023806449e-76",
        "absolute_k_difference": "0.0",
        "relative_k_difference": "0.0"
      },
      "elapsed_seconds": 2.6598248329828493
    },
    {
      "t": "1/2",
      "evaluation": {
        "M": "0.000270328476739533464528495037373163841100941388988003988642387955541094460311243633803",
        "C": "0.000003732777996313166525567585683010472405234496221240895465439290050799139311370875843001",
        "k": "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249",
        "heuristic_error_M": "7.153213185029778483098748924724950123868628959688589662697100342317935048586361925112e-80",
        "heuristic_error_C": "1.619275962941670487385962881290428345190539974739448639898489354957797550394404447699e-79",
        "bits": 256,
        "lattice_cutoff": 36,
        "integration_radius": "5.0",
        "method": "direct original theta summands; raw unnormalized moments; adaptive tanh-sinh maxdegree=8",
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.25",
          "0.5",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "integrand_evaluations": 2598,
        "majorants": {
          "lattice_M": "1.505892256920781624712563023414098218959723294339989816234862634646874087584423189728e-1859",
          "lattice_C": "1.254910214100651353927135852845081849133102745283324846862385528872395072987020119114e-1858",
          "real_tail_M": "8.131591568199296927263919112320028978789346868851120487555469340696248382009599430414e-15030",
          "real_tail_C": "2.032909643247186996346298596725473587930524040926268378138967432360028693883966973481e-15028",
          "uniform_phi_lattice_tail": "5.458328506632811096360253740203300372598019526219015714630105596345634596233957071617e-1861",
          "envelope_K": "6.635786606912262822676074828031513107292851534816189311887282820164740899259398532357",
          "envelope_d": "1.570796326794896619231321691639751442098584699687552910487472296153908203143099014727",
          "status": "analytic majorants in ordinary arithmetic, not outward-rounded interval bounds",
          "remaining_errors": "quadrature, floating roundoff and ratio error are NOT bounded"
        }
      },
      "comparison": {
        "absolute_M_difference": "4.63856709502143021871337258255880836339238300824214332203421573104758348802669422059e-80",
        "relative_M_difference": "1.71590028211891869449414301605136563526147272938884642988326317810955504968477513247e-76",
        "absolute_C_difference": "2.635549485807630806087143512817504751927490345592126887519440756277036072742439898063e-82",
        "relative_C_difference": "7.060557816218218432992851228024272767757200222107787318565468961968740003347476534046e-77",
        "absolute_k_difference": "3.37350334183376743179154369640640608246718764235792241602488416803460617311032306952e-78",
        "relative_k_difference": "2.443097394418787655369817364459541414460741271310824411928551758159338953982431524798e-76"
      },
      "elapsed_seconds": 2.423527875042055
    },
    {
      "t": "3/4",
      "evaluation": {
        "M": "0.00000003665964518060501366831119069187751780664704581945747196312974954766036707152666766461",
        "C": "0.0000000003169027662025091973859880522834851460557258865528774916696648056506329205992024775661",
        "k": "0.008644458085758242521237657121313804068106833733143037258949322892863279555625288066894",
        "heuristic_error_M": "1.002000010000000001000000001100000000000000037591157648509374040518064926110338308475e-81",
        "heuristic_error_C": "1.001011000000000100000000000200000000000000008759767645550898787284458083456627792785e-80",
        "bits": 256,
        "lattice_cutoff": 36,
        "integration_radius": "5.0",
        "method": "direct original theta summands; raw unnormalized moments; adaptive tanh-sinh maxdegree=8",
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.25",
          "0.5",
          "0.75",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "integrand_evaluations": 2291,
        "majorants": {
          "lattice_M": "1.505892256920781624712563023414098218959723294339989816234862634646874087584423189728e-1859",
          "lattice_C": "1.254910214100651353927135852845081849133102745283324846862385528872395072987020119114e-1858",
          "real_tail_M": "8.131591568199296927263919112320028978789346868851120487555469340696248382009599430414e-15030",
          "real_tail_C": "2.032909643247186996346298596725473587930524040926268378138967432360028693883966973481e-15028",
          "uniform_phi_lattice_tail": "5.458328506632811096360253740203300372598019526219015714630105596345634596233957071617e-1861",
          "envelope_K": "6.635786606912262822676074828031513107292851534816189311887282820164740899259398532357",
          "envelope_d": "1.570796326794896619231321691639751442098584699687552910487472296153908203143099014727",
          "status": "analytic majorants in ordinary arithmetic, not outward-rounded interval bounds",
          "remaining_errors": "quadrature, floating roundoff and ratio error are NOT bounded"
        }
      },
      "comparison": {
        "absolute_M_difference": "8.236092143148846269022323477554702349773407329975396523498252363365737727320124681446e-84",
        "relative_M_difference": "2.246637168083175007309139699659129204426531926705667805769611794273831872091960862315e-76",
        "absolute_C_difference": "6.836599923512225906903295855392086911433004131327233442356947762559450261935650370341e-86",
        "relative_C_difference": "2.157317844030259696721269822810803339628966103907539220399936497497798039966052058768e-76",
        "absolute_k_difference": "0.0",
        "relative_k_difference": "0.0"
      },
      "elapsed_seconds": 2.139054666971788
    },
    {
      "t": "1",
      "evaluation": {
        "M": "0.000000000000003477057968381327754143265269859778848573613301606021836646968513908354693537292072933",
        "C": "0.00000000000000001846781465006503717795722969766624252015145697598161935014964281723007466590553089468",
        "k": "0.005311333552101331628713489798402656515320635712136936674431855478934137120691295606602",
        "heuristic_error_M": "1.100000000000010000000000200000000000000000000000000099999999999999999999999999999989e-83",
        "heuristic_error_C": "2.000000000000100000000020000000000000000000000000000000999999999999999999999999999989e-83",
        "bits": 256,
        "lattice_cutoff": 36,
        "integration_radius": "5.0",
        "method": "direct original theta summands; raw unnormalized moments; adaptive tanh-sinh maxdegree=8",
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.25",
          "0.5",
          "1.0",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "integrand_evaluations": 2140,
        "majorants": {
          "lattice_M": "1.505892256920781624712563023414098218959723294339989816234862634646874087584423189728e-1859",
          "lattice_C": "1.254910214100651353927135852845081849133102745283324846862385528872395072987020119114e-1858",
          "real_tail_M": "8.131591568199296927263919112320028978789346868851120487555469340696248382009599430414e-15030",
          "real_tail_C": "2.032909643247186996346298596725473587930524040926268378138967432360028693883966973481e-15028",
          "uniform_phi_lattice_tail": "5.458328506632811096360253740203300372598019526219015714630105596345634596233957071617e-1861",
          "envelope_K": "6.635786606912262822676074828031513107292851534816189311887282820164740899259398532357",
          "envelope_d": "1.570796326794896619231321691639751442098584699687552910487472296153908203143099014727",
          "status": "analytic majorants in ordinary arithmetic, not outward-rounded interval bounds",
          "remaining_errors": "quadrature, floating roundoff and ratio error are NOT bounded"
        }
      },
      "comparison": {
        "absolute_M_difference": "1.227273366324431638273942988746568910743803878124862391277887279296776313680428964115e-90",
        "relative_M_difference": "3.529631595114772585701453759070507869616183323568096233832235390693632916693809123679e-76",
        "absolute_C_difference": "5.057708599501075696793007238779805472010598013366132120305355779914449261456455301333e-92",
        "relative_C_difference": "2.73866112224776103528621337757648143129626745694900295321343014929921131065285739178e-75",
        "absolute_k_difference": "1.26843725652949655435362042984880868700766255352657882842535644718101192108948147414e-77",
        "relative_k_difference": "2.388170963255852452285080093543662120494563138266682338824006868760805299222787246128e-75"
      },
      "elapsed_seconds": 2.044128332985565
    },
    {
      "t": "5/4",
      "evaluation": {
        "M": "0.000000000000000000000000002258856789386832599760032266283356863327445803422434022863462290899444033809657715177",
        "C": "7.321951340880010643730545840941127472891119913825920557988212834894512024456312493879e-30",
        "k": "0.003241441146371902879457119655850828065604373515399817303577288225855384882539650973177",
        "heuristic_error_M": "1.000001000000000001000000000110000000001191392357138067624736533601869640873427939765e-82",
        "heuristic_error_C": "1.000010000000000001000000000101000000011912267062530487259883428878861220034655399726e-83",
        "bits": 256,
        "lattice_cutoff": 36,
        "integration_radius": "5.0",
        "method": "direct original theta summands; raw unnormalized moments; adaptive tanh-sinh maxdegree=8",
        "positive_half_breakpoints": [
          "0.0",
          "0.0625",
          "0.125",
          "0.25",
          "0.5",
          "1.0",
          "1.25",
          "1.5",
          "2.0",
          "3.0",
          "4.0",
          "5.0"
        ],
        "integrand_evaluations": 1759,
        "majorants": {
          "lattice_M": "1.505892256920781624712563023414098218959723294339989816234862634646874087584423189728e-1859",
          "lattice_C": "1.254910214100651353927135852845081849133102745283324846862385528872395072987020119114e-1858",
          "real_tail_M": "8.131591568199296927263919112320028978789346868851120487555469340696248382009599430414e-15030",
          "real_tail_C": "2.032909643247186996346298596725473587930524040926268378138967432360028693883966973481e-15028",
          "uniform_phi_lattice_tail": "5.458328506632811096360253740203300372598019526219015714630105596345634596233957071617e-1861",
          "envelope_K": "6.635786606912262822676074828031513107292851534816189311887282820164740899259398532357",
          "envelope_d": "1.570796326794896619231321691639751442098584699687552910487472296153908203143099014727",
          "status": "analytic majorants in ordinary arithmetic, not outward-rounded interval bounds",
          "remaining_errors": "quadrature, floating roundoff and ratio error are NOT bounded"
        }
      },
      "comparison": {
        "absolute_M_difference": "2.437345268502311210550451809935445640450374817939451603137318340180565399583889021782e-98",
        "relative_M_difference": "1.079017173622560359709601170792766372934131211460680028060446578925818901836532747272e-71",
        "absolute_C_difference": "2.805695185572266467883288210859526986423615505891111151916278375121392734114218685156e-98",
        "relative_C_difference": "3.831895426438405682972578489837630028422338602410672499372338127460630581986538803613e-69",
        "absolute_k_difference": "1.24558392368370486994685420431053359308602797131531972841128928081867667034539747973e-71",
        "relative_k_difference": "3.842685606301593747226577491074970878337575315730158692583219540145020824143457677004e-69"
      },
      "elapsed_seconds": 1.6406028339988552
    }
  ],
  "mpmath_version": "1.3.0",
  "unbounded_errors": [
    "quadrature",
    "floating roundoff",
    "ratio error"
  ],
  "elapsed_seconds": 13.607868209015578,
  "matrix": [
    [
      "0.02458009296374646180433837719284448816161794310645940260276730847604045605245741326785",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249",
      "0.008644458085758242521237657121313804068106833733143037258949322892863279555625288066894",
      "0.005311333552101331628713489798402656515320635712136936674431855478934137120691295606602",
      "0.003241441146371902879457119655850828065604373515399817303577288225855384882539650973177"
    ],
    [
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.02458009296374646180433837719284448816161794310645940260276730847604045605245741326785",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249",
      "0.008644458085758242521237657121313804068106833733143037258949322892863279555625288066894",
      "0.005311333552101331628713489798402656515320635712136936674431855478934137120691295606602"
    ],
    [
      "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.02458009296374646180433837719284448816161794310645940260276730847604045605245741326785",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249",
      "0.008644458085758242521237657121313804068106833733143037258949322892863279555625288066894"
    ],
    [
      "0.008644458085758242521237657121313804068106833733143037258949322892863279555625288066894",
      "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.02458009296374646180433837719284448816161794310645940260276730847604045605245741326785",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249"
    ],
    [
      "0.005311333552101331628713489798402656515320635712136936674431855478934137120691295606602",
      "0.008644458085758242521237657121313804068106833733143037258949322892863279555625288066894",
      "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.02458009296374646180433837719284448816161794310645940260276730847604045605245741326785",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387"
    ],
    [
      "0.003241441146371902879457119655850828065604373515399817303577288225855384882539650973177",
      "0.005311333552101331628713489798402656515320635712136936674431855478934137120691295606602",
      "0.008644458085758242521237657121313804068106833733143037258949322892863279555625288066894",
      "0.01380830477548899826478082151428629882800952641335958334892579835829421847319584574249",
      "0.02060632670103980885425402261232200839464880052660146817412491941087036994040680231387",
      "0.02458009296374646180433837719284448816161794310645940260276730847604045605245741326785"
    ]
  ],
  "eigenvalues_diagnostic": [
    "0.0005281727308879011750772273884489711919970842700346046914834922970523725737641045108269",
    "0.001520214102572918512400002702903011699953220532330679130048862776205279853462141529163",
    "0.00440107878689455069058962712985914675048197801236491368104071472266200857321229457227",
    "0.01263514854996924167529798941584140738583337981153715915647566240315352290128433549714",
    "0.03631880144028697929239947767073870601401475926183436669912618787881795263182508611623",
    "0.09207714217186717948026593884927568592742723675065469225842893077835159978119885353253"
  ],
  "witness_numerators": [
    -1209425521,
    3095606301,
    -4294967296,
    4294967296,
    -3095606301,
    1209425521
  ],
  "witness_denominator": 4294967296,
  "fixed_witness_quadratic_form_diagnostic": "0.001688860964941283735662938555502908950420018899507292369050156315654852288185899052162",
  "normalized_quadratic_form_diagnostic": "0.02148782478841356913460057877148278420282780533182389883713966567655772399708824389678",
  "absolute_form_difference": "1.975341809485312913836740219198947506765092163630567333754008828166512510565828870856e-72",
  "relative_form_difference": "1.169629620490393177990179318231026905990576035953419525881783559130150100290798209154e-69",
  "maximum_absolute_matrix_difference": "1.24558392368370486994685420431053359308602797131531972841128928081867667034539747973e-71"
}