{
  "L_ZD_3_boundary_table_N0_alpha": [
    {
      "N_0": 3,
      "alpha": 0.001,
      "panel": [
        {
          "N": 3,
          "diff": 0.054369802631334174,
          "q_z": 3.5879146722879613,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.6422844749192955
        },
        {
          "N": 4,
          "diff": 0.14126829339351543,
          "q_z": 3.662259930887615,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.8035282242811306
        },
        {
          "N": 5,
          "diff": 0.21989271030304502,
          "q_z": 3.719016485455709,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.938909195758754
        },
        {
          "N": 6,
          "diff": 0.2919909240971297,
          "q_z": 3.764823649533926,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.056814573631056
        },
        {
          "N": 7,
          "diff": 0.3587885793149237,
          "q_z": 3.80316845408377,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.161957033398694
        },
        {
          "N": 8,
          "diff": 0.4211787719893221,
          "q_z": 3.8361069311760336,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.257285703165356
        },
        {
          "N": 9,
          "diff": 0.4798340785095183,
          "q_z": 3.864951862277043,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.344785940786561
        },
        {
          "N": 10,
          "diff": 0.5352750845965621,
          "q_z": 3.8905918864131204,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.4258669710096825
        },
        {
          "N": 16,
          "diff": 0.8189019832916982,
          "q_z": 4.003167571450173,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.822069554741871
        },
        {
          "N": 30,
          "diff": 1.3006417864547561,
          "q_z": 4.149409984347971,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 5.450051770802727
        },
        {
          "N": 100,
          "diff": 2.614842853510086,
          "q_z": 4.417173413467605,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 7.032016266977691
        }
      ]
    },
    {
      "N_0": 4,
      "alpha": 0.005,
      "panel": [
        {
          "N": 3,
          "diff": -0.0073967210535510475,
          "q_z": 3.143980287069073,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 3.136583566015522
        },
        {
          "N": 4,
          "diff": 0.06827228113346662,
          "q_z": 3.2272184259631627,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.2954907070966293
        },
        {
          "N": 5,
          "diff": 0.13724256407611835,
          "q_z": 3.2905267314919255,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.427769295568044
        },
        {
          "N": 6,
          "diff": 0.2007779768377973,
          "q_z": 3.3414789560386264,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.5422569328764237
        },
        {
          "N": 7,
          "diff": 0.25982706540771083,
          "q_z": 3.3840362518645795,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.6438633172722903
        },
        {
          "N": 8,
          "diff": 0.3151064434180366,
          "q_z": 3.4205267011318305,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.735633144549867
        },
        {
          "N": 9,
          "diff": 0.36716792935985154,
          "q_z": 3.452432937387535,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.8196008667473866
        },
        {
          "N": 10,
          "diff": 0.4164451008329766,
          "q_z": 3.4807564043462422,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.897201505179219
        },
        {
          "N": 16,
          "diff": 0.6693015365416897,
          "q_z": 3.604711394864425,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.274012931406115
        },
        {
          "N": 30,
          "diff": 1.10056039802497,
          "q_z": 3.764823649533926,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.865384047558896
        },
        {
          "N": 100,
          "diff": 2.282313492116524,
          "q_z": 4.0556269811219074,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 6.337940473238431
        }
      ]
    },
    {
      "N_0": 4,
      "alpha": 0.01,
      "panel": [
        {
          "N": 3,
          "diff": -0.04645117070287785,
          "q_z": 2.935199468866699,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.8887482981638213
        },
        {
          "N": 4,
          "diff": 0.02242679438300632,
          "q_z": 3.023341439739154,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.04576823412216
        },
        {
          "N": 5,
          "diff": 0.08565693456288148,
          "q_z": 3.090232306167813,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.1758892407306947
        },
        {
          "N": 6,
          "diff": 0.14416414859231175,
          "q_z": 3.143980287069073,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.2881444356613847
        },
        {
          "N": 7,
          "diff": 0.19870697842246443,
          "q_z": 3.188815258638476,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.3875222370609404
        },
        {
          "N": 8,
          "diff": 0.2498831011227569,
          "q_z": 3.2272184259631627,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.4771015270859196
        },
        {
          "N": 9,
          "diff": 0.2981641396754493,
          "q_z": 3.2607674884205338,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.558931628095983
        },
        {
          "N": 10,
          "diff": 0.3439266192823496,
          "q_z": 3.2905267314919255,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.634453350774275
        },
        {
          "N": 16,
          "diff": 0.5794641624596322,
          "q_z": 3.4205267011318305,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.9999908635914627
        },
        {
          "N": 30,
          "diff": 0.9828819006867175,
          "q_z": 3.5879146722879613,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.570796572974679
        },
        {
          "N": 100,
          "diff": 2.09328003492901,
          "q_z": 3.8905918864131204,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 5.98387192134213
        }
      ]
    },
    {
      "N_0": 6,
      "alpha": 0.025,
      "panel": [
        {
          "N": 3,
          "diff": -0.11865341483227176,
          "q_z": 2.638257273476751,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.519603858644479
        },
        {
          "N": 4,
          "diff": -0.06167599051680783,
          "q_z": 2.7343687865331767,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.672692796016369
        },
        {
          "N": 5,
          "diff": -0.00837301826529746,
          "q_z": 2.807033768343811,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.7986607500785134
        },
        {
          "N": 6,
          "diff": 0.041520684662442964,
          "q_z": 2.8652602385321346,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 2.9067809231945776
        },
        {
          "N": 7,
          "diff": 0.0884003070146524,
          "q_z": 2.9137263183343394,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.0021266253489918
        },
        {
          "N": 8,
          "diff": 0.13263919231176624,
          "q_z": 2.955166847497834,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.0878060398096
        },
        {
          "N": 9,
          "diff": 0.17455940331684872,
          "q_z": 2.991316115183781,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.1658755185006298
        },
        {
          "N": 10,
          "diff": 0.21443207778911644,
          "q_z": 3.023341439739154,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.2377735175282703
        },
        {
          "N": 16,
          "diff": 0.4212231506892734,
          "q_z": 3.1628179656213016,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.584041116310575
        },
        {
          "N": 30,
          "diff": 0.7791086529888958,
          "q_z": 3.3414789560386264,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.120587609027522
        },
        {
          "N": 100,
          "diff": 1.7747610536071652,
          "q_z": 3.662259930887615,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 5.43702098449478
        }
      ]
    },
    {
      "N_0": 8,
      "alpha": 0.05,
      "panel": [
        {
          "N": 3,
          "diff": -0.19973097544804297,
          "q_z": 2.3939797998185104,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.1942488243704674
        },
        {
          "N": 4,
          "diff": -0.15511523350784184,
          "q_z": 2.497705474412374,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.3425902409045323
        },
        {
          "N": 5,
          "diff": -0.1119913028848245,
          "q_z": 2.5758293035489004,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.463838000664076
        },
        {
          "N": 6,
          "diff": -0.07084861030215261,
          "q_z": 2.638257273476751,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.5674086631745983
        },
        {
          "N": 7,
          "diff": -0.03170014383579289,
          "q_z": 2.690109527158867,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.658409383323074
        },
        {
          "N": 8,
          "diff": 0.005578850898139809,
          "q_z": 2.7343687865331767,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 2.7399476374313165
        },
        {
          "N": 9,
          "diff": 0.041146509233391804,
          "q_z": 2.7729212946086634,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 2.8140678038420552
        },
        {
          "N": 10,
          "diff": 0.07515950298189011,
          "q_z": 2.807033768343811,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 2.882193271325701
        },
        {
          "N": 16,
          "diff": 0.25360668842897427,
          "q_z": 2.955166847497834,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.208773535926808
        },
        {
          "N": 30,
          "diff": 0.5672151841695667,
          "q_z": 3.143980287069073,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.7111954712386397
        },
        {
          "N": 100,
          "diff": 1.453016330995756,
          "q_z": 3.4807564043462422,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.933772735341998
        }
      ]
    },
    {
      "N_0": 16,
      "alpha": 0.1,
      "panel": [
        {
          "N": 3,
          "diff": -0.3248845005923493,
          "q_z": 2.128045234184983,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 1.8031607335926338
        },
        {
          "N": 4,
          "diff": -0.2973244525000429,
          "q_z": 2.241402727604947,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 1.944078275104904
        },
        {
          "N": 5,
          "diff": -0.268106658881373,
          "q_z": 2.3263478740408408,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.058241215159468
        },
        {
          "N": 6,
          "diff": -0.238836956369747,
          "q_z": 2.3939797998185104,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.1551428434487634
        },
        {
          "N": 7,
          "diff": -0.21012341775325005,
          "q_z": 2.44999766060273,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.23987424284948
        },
        {
          "N": 8,
          "diff": -0.18219988458717795,
          "q_z": 2.497705474412374,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.315505589825196
        },
        {
          "N": 9,
          "diff": -0.15514274748305068,
          "q_z": 2.539184813651313,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.3840420661682624
        },
        {
          "N": 10,
          "diff": -0.12895800082264852,
          "q_z": 2.5758293035489004,
          "sign_reversal_holds": false,
          "sqrt_q_chi_minus_N": 2.446871302726252
        },
        {
          "N": 16,
          "diff": 0.011870264076967452,
          "q_z": 2.7343687865331767,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 2.746239050610144
        },
        {
          "N": 30,
          "diff": 0.26730326161016915,
          "q_z": 2.935199468866699,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 3.2025027304768683
        },
        {
          "N": 100,
          "diff": 1.0104038435188034,
          "q_z": 3.2905267314919255,
          "sign_reversal_holds": true,
          "sqrt_q_chi_minus_N": 4.300930575010729
        }
      ]
    }
  ],
  "N_panel": [
    4,
    8,
    16,
    30,
    100,
    1000
  ],
  "alpha": 0.01,
  "asymptotic_check": [
    {
      "N": 4,
      "exact_ln_ratio": 0.2595623570747959
    },
    {
      "N": 8,
      "exact_ln_ratio": 0.37742210073932814
    },
    {
      "N": 16,
      "exact_ln_ratio": 0.5018083512563509
    },
    {
      "N": 30,
      "exact_ln_ratio": 0.6176380895931852
    },
    {
      "N": 100,
      "exact_ln_ratio": 0.8442597701734449
    },
    {
      "N": 1000,
      "exact_ln_ratio": 1.291463505428543
    }
  ],
  "lemmas": [
    "L_ZD.1",
    "L_ZD.2",
    "L_ZD.3"
  ],
  "reference": "docs/MVPS_ZERODAY_LEAD_TIME_LEMMA.txt",
  "schema": "com.catellix.mvps.zeroday_lead_time_receipt_v1",
  "table_5_1_coherent_matched_FAR": [
    {
      "E_M_N": 1.0491313979639707,
      "N": 4,
      "ln_ratio": 0.2595623570747959,
      "q_chi": 13.276704135987622,
      "q_z": 3.023341439739154,
      "ratio": 1.2963626185721138,
      "s_M_star_over_sigma": 3.04576823412216,
      "s_z_star_over_sigma_coherent": 3.948420083550366
    },
    {
      "E_M_N": 1.4342001596863792,
      "N": 8,
      "ln_ratio": 0.37742210073932814,
      "q_chi": 20.090235029663233,
      "q_z": 3.2272184259631627,
      "ratio": 1.4585198217530582,
      "s_M_star_over_sigma": 3.4771015270859196,
      "s_z_star_over_sigma_coherent": 5.071421499502642
    },
    {
      "E_M_N": 1.7688250385187065,
      "N": 16,
      "ln_ratio": 0.5018083512563509,
      "q_chi": 31.999926908815176,
      "q_z": 3.4205267011318305,
      "ratio": 1.651705435277034,
      "s_M_star_over_sigma": 3.9999908635914627,
      "s_z_star_over_sigma_coherent": 6.606806650452496
    },
    {
      "E_M_N": 2.0402813220104106,
      "N": 30,
      "ln_ratio": 0.6176380895931852,
      "q_chi": 50.89218131151707,
      "q_z": 3.5879146722879613,
      "ratio": 1.8545426014062178,
      "s_M_star_over_sigma": 4.570796572974679,
      "s_z_star_over_sigma_coherent": 8.476736966943086
    },
    {
      "E_M_N": 2.498590560962256,
      "N": 100,
      "ln_ratio": 0.8442597701734449,
      "q_chi": 135.80672317102676,
      "q_z": 3.8905918864131204,
      "ratio": 2.3262552135952985,
      "s_M_star_over_sigma": 5.98387192134213,
      "s_z_star_over_sigma_coherent": 13.920013254508646
    },
    {
      "E_M_N": 3.2272899458366853,
      "N": 1000,
      "ln_ratio": 1.291463505428543,
      "q_chi": 1106.9689943522174,
      "q_z": 4.417173413467605,
      "ratio": 3.6381070509350417,
      "s_M_star_over_sigma": 10.342581609647436,
      "s_z_star_over_sigma_coherent": 37.62741907892943
    }
  ],
  "table_5_2_worm_doubling_lead_seconds": [
    {
      "E_L_exp_seconds_by_N": {
        "100": 10.353079761035922,
        "1000": 15.837097955552107,
        "16": 6.1536295685907385,
        "30": 7.574038975821884,
        "4": 3.182989265502697,
        "8": 4.628292440997449
      },
      "T_d_seconds": 8.5,
      "lambda_per_second": 0.08154672712469944,
      "name": "Slammer (2003)"
    },
    {
      "E_L_exp_seconds_by_N": {
        "100": 2703.980831705853,
        "1000": 4136.277348391256,
        "16": 1607.183252031934,
        "30": 1978.160767802892,
        "4": 831.3219022842337,
        "8": 1208.801084589922
      },
      "T_d_seconds": 2220.0,
      "lambda_per_second": 0.00031222845971168707,
      "name": "Code Red (2001)"
    },
    {
      "E_L_exp_seconds_by_N": {
        "100": 146.1611260381542,
        "1000": 223.58255937250033,
        "16": 86.87477038010455,
        "30": 106.9276090704266,
        "4": 44.93631904239101,
        "8": 65.34059916702282
      },
      "T_d_seconds": 120.0,
      "lambda_per_second": 0.0057762265046662105,
      "name": "WannaCry (2017)"
    },
    {
      "E_L_exp_seconds_by_N": {
        "100": 18.270140754769276,
        "1000": 27.94781992156254,
        "16": 10.859346297513069,
        "30": 13.365951133803325,
        "4": 5.617039880298877,
        "8": 8.167574895877852
      },
      "T_d_seconds": 15.0,
      "lambda_per_second": 0.046209812037329684,
      "name": "Memcached amp"
    },
    {
      "E_L_exp_seconds_by_N": {
        "100": 36.54028150953855,
        "1000": 55.89563984312508,
        "16": 21.718692595026138,
        "30": 26.73190226760665,
        "4": 11.234079760597753,
        "8": 16.335149791755704
      },
      "T_d_seconds": 30.0,
      "lambda_per_second": 0.023104906018664842,
      "name": "Mirai scan"
    }
  ],
  "table_5_3_sparse_sign_reversal": [
    {
      "N": 4,
      "diff_sz_minus_sM": -0.02242679438300632,
      "s_M_star_over_sigma": 3.04576823412216,
      "s_z_star_over_sigma_sparse": 3.023341439739154,
      "sign_of_L": "NEGATIVE (z leads)"
    },
    {
      "N": 8,
      "diff_sz_minus_sM": -0.2498831011227569,
      "s_M_star_over_sigma": 3.4771015270859196,
      "s_z_star_over_sigma_sparse": 3.2272184259631627,
      "sign_of_L": "NEGATIVE (z leads)"
    },
    {
      "N": 16,
      "diff_sz_minus_sM": -0.5794641624596322,
      "s_M_star_over_sigma": 3.9999908635914627,
      "s_z_star_over_sigma_sparse": 3.4205267011318305,
      "sign_of_L": "NEGATIVE (z leads)"
    },
    {
      "N": 30,
      "diff_sz_minus_sM": -0.9828819006867175,
      "s_M_star_over_sigma": 4.570796572974679,
      "s_z_star_over_sigma_sparse": 3.5879146722879613,
      "sign_of_L": "NEGATIVE (z leads)"
    },
    {
      "N": 100,
      "diff_sz_minus_sM": -2.09328003492901,
      "s_M_star_over_sigma": 5.98387192134213,
      "s_z_star_over_sigma_sparse": 3.8905918864131204,
      "sign_of_L": "NEGATIVE (z leads)"
    },
    {
      "N": 1000,
      "diff_sz_minus_sM": -5.925408196179831,
      "s_M_star_over_sigma": 10.342581609647436,
      "s_z_star_over_sigma_sparse": 4.417173413467605,
      "sign_of_L": "NEGATIVE (z leads)"
    }
  ],
  "table_5_4_unmatched_qz_3": [
    {
      "N": 4,
      "ln_ratio": 0.24766872792222,
      "ratio": 1.2810354906063963,
      "s_M_star_over_sigma": 3.04576823412216,
      "s_z_star_over_sigma_q3": 3.9017372040720586
    },
    {
      "N": 8,
      "ln_ratio": 0.24191849212620853,
      "ratio": 1.2736903727910227,
      "s_M_star_over_sigma": 3.4771015270859196,
      "s_z_star_over_sigma_q3": 4.428750740266299
    },
    {
      "N": 16,
      "ln_ratio": 0.2079712507618707,
      "ratio": 1.231177773617074,
      "s_M_star_over_sigma": 3.9999908635914627,
      "s_z_star_over_sigma_q3": 4.924699845925174
    },
    {
      "N": 30,
      "ln_ratio": 0.13979611507900636,
      "ratio": 1.1500392992809023,
      "s_M_star_over_sigma": 4.570796572974679,
      "s_z_star_over_sigma_q3": 5.256595687939349
    },
    {
      "N": 100,
      "ln_ratio": -Infinity,
      "ratio": 0.8379347780647056,
      "s_M_star_over_sigma": 5.98387192134213,
      "s_z_star_over_sigma_q3": 5.0140943903774415
    },
    {
      "N": 1000,
      "ln_ratio": -Infinity,
      "ratio": 0.0,
      "s_M_star_over_sigma": 10.342581609647436,
      "s_z_star_over_sigma_q3": 0.0
    }
  ],
  "verdict": "PASS"
}