{
  "schema": "saved-four-coordinate-dft-diagnosis-v1",
  "state": "completed",
  "plan_sha256": "c1e267218844e178e84b9ff4e8a5a97996138fa8ef04c897693c268141bd8877",
  "script_sha256": "a16c232c230d2248729b1535e1581af1a57df1df825bf41cf8f068866a168eb8",
  "mpmath_version": "1.3.0",
  "precision_decimal_digits": 80,
  "input_hashes_unchanged": true,
  "no_fft_or_synthesis_executed": true,
  "formal_interval_guarantee": false,
  "rows": [
    {
      "variant": "PML",
      "center_index": 53,
      "sample_center": 63896,
      "bin": 47,
      "frequency_hz": 5875.0,
      "source_indices": [
        8,
        9,
        10,
        11,
        12
      ],
      "source_cell_ids": [
        441,
        442,
        443,
        444,
        445
      ],
      "prior_union_witness": {
        "disjoint_input_union": true,
        "input_sample_indices_sha256": "5b6fc17f555981bb486209f9be12bc4cce7de5b96c047ad2585ac17ce3051ba9",
        "reconstructed": {
          "bytes": 8448,
          "dtype": "float64",
          "sha256": "fbbfe87d3cd43fcf1dfc316c656d85fb364a51253145b7ed9e6d2553354e7cff",
          "shape": [
            1056
          ]
        },
        "reference": {
          "bytes": 8448,
          "dtype": "float64",
          "sha256": "fbbfe87d3cd43fcf1dfc316c656d85fb364a51253145b7ed9e6d2553354e7cff",
          "shape": [
            1056
          ]
        },
        "sample_count": 1056,
        "status": "passed"
      },
      "exact_ola_error_nonzero_samples": 0,
      "time_l1_exact_products": "1.3261938604777938873329882633741810672457582096158172028227406613609673513565212",
      "time_l1_exact_sum_of_rounded_products": "1.326193860477793899587862151976511604530017951475429072161205112934112548828125",
      "stored_residual": {
        "real": "0.00000000000000005271933063710765310361239244230091571807861328125",
        "imag": "0.000000000000000057205217125766427699318228405900299549102783203125",
        "abs": "7.779308895545129474442852291180698740913e-17"
      },
      "ola_component": {
        "real": "0.0",
        "imag": "0.0",
        "abs": "0.0"
      },
      "window_component": {
        "real": "0.000000000000000010390381371418757057694360207450563000063901437572730605120255295939879277397845",
        "imag": "0.0000000000000000012864206109771610967043677673530014148776430393536561713109815978264592660162092",
        "abs": "1.046971360792036102544696117939956374706e-17"
      },
      "fft_reference_error": {
        "real": "0.000000000000000001706731614251120547046304138577446250789404487745308879291623570979361738318704",
        "imag": "0.000000000000000041040755264199394801948693845023948071691895854771042238165351421548646626605261",
        "abs": "4.107622822824649965284246898215308381493e-17"
      },
      "fft_source_errors": [
        {
          "real": "0.0000000000000000000056998069383204231916548793372389388399944508302486192333983240518442613854516413",
          "imag": "-0.000000000000000000017161554299851217799949550979362756279919900980858335484096479690073116622425389",
          "abs": "1.808332782208151694314345447347002233363e-20"
        },
        {
          "real": "-0.00000000000000000010941048549855417918939571955697782813184082581797304911867951468897957177346061",
          "imag": "0.000000000000000000054290303471192610287401208946420924909407609308428283445881309136944132801886516",
          "abs": "1.221396388893610685792309199905939961072e-19"
        },
        {
          "real": "-0.00000000000000000027411755928782884767768289680853977680849389506918293170564082741697159282219419",
          "imag": "0.0000000000000000010472755696105112463234287821090728943827810960900204876899946074400132693793571",
          "abs": "1.082555566709135328565485891072539081892e-18"
        },
        {
          "real": "-0.0000000000000000043186449882405268929208166079169853120737650812522630191383675996424557580265524",
          "imag": "-0.0000000000000000045607891453529445745721353251322457063979125967982728960483972411429692393472677",
          "abs": "6.28104228315844592988319389540125954174e-18"
        },
        {
          "real": "-0.000000000000000035928444342868559084606268029298558847805240815352770603608831515406277321943448",
          "imag": "-0.000000000000000011403138731676474890497281472843424792581190451922353505127049176413969245474107",
          "abs": "3.769462409724314959842507617950506802007e-17"
        }
      ],
      "fft_error_difference": {
        "real": "0.000000000000000042331649183208269128248812512821269076768750654407249863629744704082201721498908",
        "imag": "0.000000000000000055920278822446961628207230202923487507658730099074078203689018402218700825867817",
        "abs": "7.013591167262622433061950426656482029829e-17"
      },
      "accumulation_error_to_subtract": {
        "real": "0.00000000000000000000269991751937308233078027797091635875403881072998046875",
        "imag": "0.000000000000000000001482307657695025593369564376189373433589935302734375",
        "abs": "3.080063409002972388344366134408413811509e-21"
      },
      "subtraction_error_to_add": {
        "real": "0.0",
        "imag": "0.0",
        "abs": "0.0"
      },
      "closure_residual_at_80_digits": {
        "real": "-2.2080998896752905846465916439923270741056877000218627856262476715691763106675472e-83",
        "imag": "-4.5160091884026635050298552246991303261419128571009123494252774959569622916684477e-83",
        "abs": "5.026931878643405087334682020764081461742e-83"
      },
      "old_gate": "failed_unchanged",
      "scope_limit": "Auxiliary numerical diagnosis only; no formal enclosure and no all-condition classification"
    },
    {
      "variant": "PML",
      "center_index": 54,
      "sample_center": 63912,
      "bin": 48,
      "frequency_hz": 6000.0,
      "source_indices": [
        8,
        9,
        10,
        11,
        12,
        13
      ],
      "source_cell_ids": [
        441,
        442,
        443,
        444,
        445,
        446
      ],
      "prior_union_witness": {
        "disjoint_input_union": true,
        "input_sample_indices_sha256": "5b6fc17f555981bb486209f9be12bc4cce7de5b96c047ad2585ac17ce3051ba9",
        "reconstructed": {
          "bytes": 8448,
          "dtype": "float64",
          "sha256": "fbbfe87d3cd43fcf1dfc316c656d85fb364a51253145b7ed9e6d2553354e7cff",
          "shape": [
            1056
          ]
        },
        "reference": {
          "bytes": 8448,
          "dtype": "float64",
          "sha256": "fbbfe87d3cd43fcf1dfc316c656d85fb364a51253145b7ed9e6d2553354e7cff",
          "shape": [
            1056
          ]
        },
        "sample_count": 1056,
        "status": "passed"
      },
      "exact_ola_error_nonzero_samples": 0,
      "time_l1_exact_products": "1.7178653229997663466494578496310216379214627349167136500585669617313655521684268",
      "time_l1_exact_sum_of_rounded_products": "1.7178653229997663438796740989560691610258877370931429595657391473650932312011719",
      "stored_residual": {
        "real": "-0.000000000000000005825892611215077732111922159674577414989471435546875",
        "imag": "-0.00000000000000002839593252375316456692644351278431713581085205078125",
        "abs": "2.898741120919481493312841055116612772757e-17"
      },
      "ola_component": {
        "real": "0.0",
        "imag": "0.0",
        "abs": "0.0"
      },
      "window_component": {
        "real": "0.000000000000000010435545695024271329349771210609835331463921502772952621172823151084987011767636",
        "imag": "-0.00000000000000000017774845482064628313467094141124927917658312393396883084418507623736331599723866",
        "abs": "1.043705937829859859856480068096266088394e-17"
      },
      "fft_reference_error": {
        "real": "-0.0000000000000000095686958525027609752426204980343634474080148199849285393569016743866225114584007",
        "imag": "-0.000000000000000041434353096707950919460303372127294487669027292578540928374777973957062319388819",
        "abs": "4.252488162076850863177051411911481996523e-17"
      },
      "fft_source_errors": [
        {
          "real": "-0.00000000000000000000048240090070487490864015747545761566108584177079214580779315588082081131238191177",
          "imag": "-0.000000000000000000019373788527648061127374431875391791741072102307674089521699022277708119260609051",
          "abs": "1.937979340816172123673353776829528020264e-20"
        },
        {
          "real": "-0.0000000000000000000092657889389239844717975377871708845615741074557572106750541576604114564277093414",
          "imag": "-0.00000000000000000000054936043557141413883756229279526622234170338178624197693972850697722702537255038",
          "abs": "9.282060199592398242854470318388340934789e-21"
        },
        {
          "real": "0.00000000000000000043144164587578757269903112814879009893731438344951350321980547017522833432029216",
          "imag": "-0.0000000000000000010945804946172608254113606784075730736865472016594508178979116281523214128268131",
          "abs": "1.176540842041862923543603726231915184828e-18"
        },
        {
          "real": "-0.00000000000000000007370795649560514374285271922721420255076587723551516039639990602952309989075514",
          "imag": "-0.00000000000000000018672077171304221965049723440682234634784685240995819001624358226009881563901241",
          "abs": "2.007423957211631168097440000950374489576e-19"
        },
        {
          "real": "0.0000000000000000063449234214770490791095471415970601964829955991387417831622395120650062299835953",
          "imag": "-0.000000000000000011916204340238044849054259840129574972016471443846394799696442650486761760783673",
          "abs": "1.350014737337026409093091581944513306311e-17"
        },
        {
          "real": "-0.000000000000000000000014266048304805374038643806617420436449928362885925968126286048965235022624480322",
          "imag": "0.0000000000000000000000024132250541316479944051459844754421009034654350439527735614442212011587806154177",
          "abs": "1.446871761411248850024132556187099563765e-23"
        }
      ],
      "fft_error_difference": {
        "real": "-0.000000000000000016261590507472058818553869709483753619618449047748233382891573151007136473108817",
        "imag": "-0.000000000000000028216926754401437681725968030161121513096848892438711833218314923717416185012119",
        "abs": "3.256738063301930678151171706597450603576e-17"
      },
      "accumulation_error_to_subtract": {
        "real": "-0.00000000000000000000015220123270975709217633919934087316505610942840576171875",
        "imag": "0.0000000000000000000012573145310806020658045412119463435374200344085693359375",
        "abs": "1.266493207761022258195335690953283526144e-21"
      },
      "subtraction_error_to_add": {
        "real": "0.0",
        "imag": "0.0",
        "abs": "0.0"
      },
      "closure_residual_at_80_digits": {
        "real": "-7.785053865881893287297515544029068685727050011583392678841897326167121321913667e-83",
        "imag": "-4.522049899064192426082958393574694908474334416791736039417901848044765742002162e-83",
        "abs": "9.003110517166224624781555224149678510113e-83"
      },
      "old_gate": "failed_unchanged",
      "scope_limit": "Auxiliary numerical diagnosis only; no formal enclosure and no all-condition classification"
    },
    {
      "variant": "RAW_SHAPE",
      "center_index": 55,
      "sample_center": 63928,
      "bin": 47,
      "frequency_hz": 5875.0,
      "source_indices": [
        8,
        9,
        10,
        11,
        12,
        13
      ],
      "source_cell_ids": [
        441,
        442,
        443,
        444,
        445,
        446
      ],
      "prior_union_witness": {
        "disjoint_input_union": true,
        "input_sample_indices_sha256": "5b6fc17f555981bb486209f9be12bc4cce7de5b96c047ad2585ac17ce3051ba9",
        "reconstructed": {
          "bytes": 8448,
          "dtype": "float64",
          "sha256": "d41fde9efc28b242fbefa3218957055ff710b790afb650ad04479918bc97f58e",
          "shape": [
            1056
          ]
        },
        "reference": {
          "bytes": 8448,
          "dtype": "float64",
          "sha256": "d41fde9efc28b242fbefa3218957055ff710b790afb650ad04479918bc97f58e",
          "shape": [
            1056
          ]
        },
        "sample_count": 1056,
        "status": "passed"
      },
      "exact_ola_error_nonzero_samples": 0,
      "time_l1_exact_products": "1.7776822396140135325706134663189114506342966104906035476607151224470726447179914",
      "time_l1_exact_sum_of_rounded_products": "1.7776822396140135312578134715282487531180788398188497012597508728504180908203125",
      "stored_residual": {
        "real": "0.000000000000000084250979131596237525769765852601267397403717041015625",
        "imag": "-0.00000000000000007162849415161265387297362394747324287891387939453125",
        "abs": "1.105842152346358737108365343409175873708e-16"
      },
      "ola_component": {
        "real": "0.0",
        "imag": "0.0",
        "abs": "0.0"
      },
      "window_component": {
        "real": "0.0000000000000000064694606236695509137225925302061129445115827699527345513206049363422359707825616",
        "imag": "-0.000000000000000020691408543748164270568947848686185480143770263984557675210611762423543994481492",
        "abs": "2.167921373771441330592885904815674527699e-17"
      },
      "fft_reference_error": {
        "real": "0.000000000000000060904402088119362241130546635448290746632732229577996995853369748710269477307296",
        "imag": "-0.000000000000000062188646453953217575127587007163206807221927081340719406649648012924833568872835",
        "abs": "8.704466635863512938136517774783404788774e-17"
      },
      "fft_source_errors": [
        {
          "real": "0.0000000000000000000061345530704325345218889533632603658526153855415633507461471509447549144437798453",
          "imag": "0.00000000000000000000057772058686041355747679588910130111745874413893626846621581172061891095847054356",
          "abs": "6.161696393886636273338587573084212892761e-21"
        },
        {
          "real": "0.0000000000000000000042537181900024404698064693055199892054141796519021014083110517122780083734764768",
          "imag": "0.00000000000000000008758493046899418624910623968499386111908418214647929385674282989626548045743597",
          "abs": "8.768816433076076090990083201534825000787e-20"
        },
        {
          "real": "0.00000000000000000054761090269579965403966075781509927391616125309323739930059650627124692297849169",
          "imag": "-0.00000000000000000038368985123294180007237359419162793109346247451715822539516410201948101753567787",
          "abs": "6.686520789547173515773389918676970449763e-19"
        },
        {
          "real": "0.0000000000000000010822537779204634439304892883132135384335744896614141479622273020775636531184296",
          "imag": "-0.00000000000000000098388061717014087072951040502509674320793048647295383810249865369298583490088277",
          "abs": "1.462632663612505648935440561744520058947e-18"
        },
        {
          "real": "-0.000000000000000018518367981225804648718140569159172509090784057240538925385230278235683911726543",
          "imag": "-0.0000000000000000099741047046517907248235173713970072223343290135777389504183544444135231179325335",
          "abs": "2.103360923254604131231953706196178060035e-17"
        },
        {
          "real": "0.00000000000000000000099860954178220483966841341521563542361670780752847314192295216261400936743854684",
          "imag": "0.0000000000000000000011046429630365227568391041628076839853097058868458697327987830340423440976712888",
          "abs": "1.489112854260741950128600144795820944593e-21"
        }
      ],
      "fft_error_difference": {
        "real": "0.000000000000000077781518507926686612047173322395154452892134271062890448679395063777495880752223",
        "imag": "-0.000000000000000050936238574917235302065607776286377756808057738945129824789388237449770334017319",
        "abs": "9.297561519860908281790027674547260485339e-17"
      },
      "accumulation_error_to_subtract": {
        "real": "0.0",
        "imag": "0.0000000000000000000008470329472543003390683225006796419620513916015625",
        "abs": "8.470329472543003390683225006796419620514e-22"
      },
      "subtraction_error_to_add": {
        "real": "0.0",
        "imag": "0.0",
        "abs": "0.0"
      },
      "closure_residual_at_80_digits": {
        "real": "-1.1973185153478505581743504736145601829430549818888768126883892406499160434805585e-82",
        "imag": "-1.2668567150118920914684821212101865450471253474862432004030958973923185503229233e-82",
        "abs": "1.743128670972255974813038375601570387625e-82"
      },
      "old_gate": "failed_unchanged",
      "scope_limit": "Auxiliary numerical diagnosis only; no formal enclosure and no all-condition classification"
    },
    {
      "variant": "RAW_FULL",
      "center_index": 55,
      "sample_center": 63928,
      "bin": 47,
      "frequency_hz": 5875.0,
      "source_indices": [
        8,
        9,
        10,
        11,
        12,
        13
      ],
      "source_cell_ids": [
        441,
        442,
        443,
        444,
        445,
        446
      ],
      "prior_union_witness": {
        "disjoint_input_union": true,
        "input_sample_indices_sha256": "5b6fc17f555981bb486209f9be12bc4cce7de5b96c047ad2585ac17ce3051ba9",
        "reconstructed": {
          "bytes": 8448,
          "dtype": "float64",
          "sha256": "0f3b4e1b644d30412df4693724def280ca198a6a72658b5798f97993a159a875",
          "shape": [
            1056
          ]
        },
        "reference": {
          "bytes": 8448,
          "dtype": "float64",
          "sha256": "0f3b4e1b644d30412df4693724def280ca198a6a72658b5798f97993a159a875",
          "shape": [
            1056
          ]
        },
        "sample_count": 1056,
        "status": "passed"
      },
      "exact_ola_error_nonzero_samples": 0,
      "time_l1_exact_products": "1.777090671038242795279602635542702931452997228737871722263879509240425136340491",
      "time_l1_exact_sum_of_rounded_products": "1.77709067103824279411809330157803678458539042850361511227674782276153564453125",
      "stored_residual": {
        "real": "0.00000000000000003238037550763739336190383255598135292530059814453125",
        "imag": "0.00000000000000000988995669214121075896173351793549954891204833984375",
        "abs": "3.385705187088846782397092567096456103667e-17"
      },
      "ola_component": {
        "real": "0.0",
        "imag": "0.0",
        "abs": "0.0"
      },
      "window_component": {
        "real": "-0.000000000000000031874822626221445244677113710026172865252177449240846590379359604049922617332659",
        "imag": "-0.00000000000000001673383488952975656389683504301024801553891666271646074264191818586584391209178",
        "abs": "3.600035482551695561456452963282969004951e-17"
      },
      "fft_reference_error": {
        "real": "0.000000000000000019349542617937599163655421917384868572479862128549556481387030701100702793711291",
        "imag": "-0.0000000000000000065192638951996094607064804803699666732233313399979841061249252696890851414623018",
        "abs": "2.041826636271151751097450311348751082784e-17"
      },
      "fft_source_errors": [
        {
          "real": "-0.0000000000000000000046060052418300764205899066665188078923486505645085180856547234846063224540057498",
          "imag": "0.000000000000000000000057865214980515312735033655955787892428040393284292844388120382055965834122290227",
          "abs": "4.606368707655834406414023785706251585417e-21"
        },
        {
          "real": "0.000000000000000000015886704689660137696866832423696777119730213360168907117282738505016266896433794",
          "imag": "0.000000000000000000056826704772877674014427323105912157504425347661336874567988616722492637586329872",
          "abs": "5.900560787959283136023744459796343768634e-20"
        },
        {
          "real": "-0.0000000000000000011390474811339625025787624017765691004375127125852187751616524223585286777491598",
          "imag": "-0.00000000000000000098632067391488924108916587591266441451738059456550686552177313945808007274233069",
          "abs": "1.506737414438742188447148655855415935207e-18"
        },
        {
          "real": "0.0000000000000000015488263189153946002252454714924631365127032176999651791912909614480747818886958",
          "imag": "-0.0000000000000000014236209890467951714151736549168804795044049815120369313964220658165579993708829",
          "abs": "2.103701425254921226182094294960571573332e-18"
        },
        {
          "real": "-0.000000000000000045329809354112254413561202452589564477525232448711681518840005409168929070293077",
          "imag": "-0.00000000000000003079690821997325133018731407016853168764605509277561741981231575333145077696264",
          "abs": "5.480183548011525184219333419656773459356e-17"
        },
        {
          "real": "0.0000000000000000000025649053697188740010004069309104779234647958277580542864099520544860035039919098",
          "imag": "0.0000000000000000000077568690237550701385105254211740405587423298419077005512907658282183205210114641",
          "abs": "8.1699300246271172451540065307349545271e-21"
        }
      ],
      "fft_error_difference": {
        "real": "0.000000000000000064255727529450872544292863967570450566779057713523073152879359604105189811918413",
        "imag": "0.000000000000000026622944548723713022519500238445067922488913610958648242641918185984236783672088",
        "abs": "6.955271164220305508845044044367285306048e-17"
      },
      "accumulation_error_to_subtract": {
        "real": "0.0000000000000000000005293955920339377119177015629247762262821197509765625",
        "imag": "-0.0000000000000000000008470329472543003390683225006796419620513916015625",
        "abs": "9.98861605328420737220065277544755119076e-22"
      },
      "subtraction_error_to_add": {
        "real": "0.0",
        "imag": "0.0",
        "abs": "0.0"
      },
      "closure_residual_at_80_digits": {
        "real": "-5.5267194585754008698976760557316499159502118455358669106383912491746212359324781e-83",
        "imag": "-1.1839287158030783570650066577034165610284372844825548328185878515288115861608377e-82",
        "abs": "1.306573183499908665415788767725528540864e-82"
      },
      "old_gate": "failed_unchanged",
      "scope_limit": "Auxiliary numerical diagnosis only; no formal enclosure and no all-condition classification"
    }
  ]
}