{
  "classification": "CERTIFIED COMPUTATION: strict interval gates at two precisions",
  "scope": "lambda=5, both parity tails 17..128; failure of the stipulated 1e-8 D lower comparison only",
  "not_original_recovery": true,
  "witness_sha256": "3ec8f56770f2b8afacc12b1d4e9b6ad78ae7dfbe5b71ae32b8a1532a22776767",
  "source_sha256": {
    "evidence/v124/g2_schur_cancellation/assembly_general.py": "4da2e6805e92a2850fe28bd51cd2450d1f2ef0566e9f4f5b5b5fb50db2825b58",
    "evidence/ns44_metric_replay/replay.py": "8d49106455b72127d8ff8c617cc12f4f0419580896e49e2b3117115892a89fa2"
  },
  "analytic_series_terms": 96,
  "fresh_assembly": true,
  "results": [
    {
      "bits": 320,
      "parity": "even",
      "norm2": "[0.99999999999999997018422322501298220749856567402251242273011728628994353107667988206364 +/- 2.93e-88]",
      "Weil_numerator": "[1.55884794745770125918778801823269271327235231092234605586785767976827480593e-17 +/- 4.38e-92]",
      "D_denominator": "[2.4267798276894029024891806235104609127289825695321225930879153066099391439277735802629 +/- 4.49e-86]",
      "ratio_q_over_D": "[6.42352441565298054355245697032429295774710314145669515114219389832804116977e-18 +/- 9.04e-93]",
      "q_minus_1e8_inverse_D": "[-2.42677982613055495503147936432267289449628985625977028216556925074208146415949877434e-8 +/- 4.86e-92]",
      "signed_index_numerator": "[1.55884794745770125918778801823269271327235231092234605586785767976827480593e-17 +/- 4.39e-92]",
      "assembly_difference": "[+/- 2.20e-92]",
      "gates": {
        "norm_positive": true,
        "D_positive": true,
        "q_positive": true,
        "shifted_q_strictly_negative": true,
        "signed_shifted_q_strictly_negative": true,
        "assemblies_overlap": true
      }
    },
    {
      "bits": 320,
      "parity": "odd",
      "norm2": "[1.0000000000000000951919627393238744923040267119187628596711479334717560141937171130921 +/- 4.14e-86]",
      "Weil_numerator": "[2.73181237557136479369833918414907431670574049747477065648018220411626870533e-17 +/- 1.81e-92]",
      "D_denominator": "[2.4549167316606554061507849969480807578762034276062245336950788633718117839107060137276 +/- 4.17e-86]",
      "ratio_q_over_D": "[1.112792275330414276718890542351195934894504635854036823979721531063862743807e-17 +/- 5.39e-93]",
      "q_minus_1e8_inverse_D": "[-2.45491672892884303057942020324974157372712911090048403622030820689162957979443730840e-8 +/- 4.25e-92]",
      "signed_index_numerator": "[2.73181237557136479369833918414907431670574049747477065648018220411626870533e-17 +/- 1.82e-92]",
      "assembly_difference": "[+/- 2.31e-92]",
      "gates": {
        "norm_positive": true,
        "D_positive": true,
        "q_positive": true,
        "shifted_q_strictly_negative": true,
        "signed_shifted_q_strictly_negative": true,
        "assemblies_overlap": true
      }
    },
    {
      "bits": 448,
      "parity": "even",
      "norm2": "0.9999999999999999701842232250129822074985656740225124227301172862899435310766798820636402922445995500311255455017089843750000",
      "Weil_numerator": "[1.5588479474577012591877880182326927132723523109223460558678576797682748059267237994280890447103573001164537658299e-17 +/- 4.70e-130]",
      "D_denominator": "[2.426779827689402902489180623510460912728982569532122593087915306609939143927773580262944837802350202984012744553169763892218 +/- 3.84e-124]",
      "ratio_q_over_D": "[6.4235244156529805435524569703242929577471031414566951511421938983280411697654828869896900689753055118885839140524e-18 +/- 8.40e-131]",
      "q_minus_1e8_inverse_D": "[-2.4267798261305549550314793643226728944962898562597702821655692507420814641594987743362210383742611582736554444367159980623e-8 +/- 2.87e-130]",
      "signed_index_numerator": "[1.5588479474577012591877880182326927132723523109223460558678576797682748059267237994280890447103573001164537658299e-17 +/- 4.71e-130]",
      "assembly_difference": "[+/- 3.24e-130]",
      "gates": {
        "norm_positive": true,
        "D_positive": true,
        "q_positive": true,
        "shifted_q_strictly_negative": true,
        "signed_shifted_q_strictly_negative": true,
        "assemblies_overlap": true
      }
    },
    {
      "bits": 448,
      "parity": "odd",
      "norm2": "1.000000000000000095191962739323874492304026711918762859671147933471756014193717113092141346442076610401272773742675781250000",
      "Weil_numerator": "[2.7318123755713647936983391841490743167057404974747706564801822041162687053306699282416514487025500803320298843347e-17 +/- 3.15e-130]",
      "D_denominator": "[2.454916731660655406150784996948080757876203427606224533695078863371811783910706013727558358178980656024571905927838921649260 +/- 3.31e-124]",
      "ratio_q_over_D": "[1.11279227533041427671889054235119593489450463585403682397972153106386274380693016313286838599893918701248166739881e-17 +/- 6.17e-131]",
      "q_minus_1e8_inverse_D": "[-2.4549167289288430305794202032497415737271291109004840362203082068916295797944373083968884299373292073220218255958090373146e-8 +/- 3.86e-130]",
      "signed_index_numerator": "[2.7318123755713647936983391841490743167057404974747706564801822041162687053306699282416514487025500803320298843347e-17 +/- 3.15e-130]",
      "assembly_difference": "[+/- 2.98e-130]",
      "gates": {
        "norm_positive": true,
        "D_positive": true,
        "q_positive": true,
        "shifted_q_strictly_negative": true,
        "signed_shifted_q_strictly_negative": true,
        "assemblies_overlap": true
      }
    }
  ]
}