{
  "checks": [
    {
      "name": "phase rate kappa",
      "ok": true,
      "got": "1839/8750000000000",
      "want": "1839/8750000000000",
      "note": ""
    },
    {
      "name": "kappa exceeds the printed 1e-10 rate",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "kappa / 1e-10",
      "ok": true,
      "got": "1839/875",
      "want": "1839/875",
      "note": "the rounded certificate discarded a factor 1839/875 = 2.1017..."
    },
    {
      "name": "optimal tilt s*",
      "ok": true,
      "got": "1/1019200",
      "want": "1/1019200",
      "note": ""
    },
    {
      "name": "retuning the tilt gains under 0.04 percent",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "retuning the tilt gains something",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "residual coefficient",
      "ok": true,
      "got": "216911/8750000000000",
      "want": "216911/8750000000000",
      "note": ""
    },
    {
      "name": "absorption floor argument at least 247",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "absorption coefficient exceeds 2e6 with margin",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "absorption margin factor",
      "ok": true,
      "got": "11.688346407644728",
      "want": ">1",
      "note": "slack in Lean"
    },
    {
      "name": "kappa*V_new at least 20",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "e^20 >= 484800000",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "hundred-cycle failure at V_new below 21e-6",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "kappa*V_old at least 42",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "e^42 >= 2.3503e17",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "hundred-cycle failure at V_old below 1e-13",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "kappa*V_min at least 10",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "e^10 >= 10100",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "error below 1/100 at the floor",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "a scale below 9.6e10 already suffices",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "smallest certified scale on a 1e8 grid",
      "ok": true,
      "got": "95200000000",
      "want": "<= 96000000000",
      "note": "grid search, exact Taylor"
    },
    {
      "name": "per-cycle template equivalents",
      "ok": true,
      "got": "1714285715",
      "want": "1714285715",
      "note": ""
    },
    {
      "name": "per-cycle free X",
      "ok": true,
      "got": "88888889",
      "want": "88888889",
      "note": ""
    },
    {
      "name": "terminal inventory floor",
      "ok": true,
      "got": "3428571429",
      "want": "3428571429",
      "note": ""
    },
    {
      "name": "per-cycle gross allowance",
      "ok": true,
      "got": "9600000000",
      "want": "9600000000",
      "note": ""
    },
    {
      "name": "mission template equivalents",
      "ok": true,
      "got": "171428571500",
      "want": "171428571500",
      "note": ""
    },
    {
      "name": "mission free X",
      "ok": true,
      "got": "8888888900",
      "want": "8888888900",
      "note": ""
    },
    {
      "name": "mission food per species",
      "ok": true,
      "got": "48000000000000",
      "want": "48000000000000",
      "note": ""
    },
    {
      "name": "mission gross allowance",
      "ok": true,
      "got": "960000000000",
      "want": "960000000000",
      "note": ""
    },
    {
      "name": "sufficient pure fuel",
      "ok": true,
      "got": "9600000000000",
      "want": "9600000000000",
      "note": ""
    },
    {
      "name": "bath inequality holds with equality",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "net synthesis, worst admitted seed",
      "ok": true,
      "got": "78257142929",
      "want": "78257142929",
      "note": ""
    },
    {
      "name": "net synthesis, all-free seed",
      "ok": true,
      "got": "78857142929",
      "want": "78857142929",
      "note": ""
    },
    {
      "name": "uniform real net bound is positive",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "net onset at 55 cycles",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "no net onset at 54 cycles",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "original mission template equivalents",
      "ok": true,
      "got": "357142857200",
      "want": "357142857200",
      "note": ""
    },
    {
      "name": "original mission free X",
      "ok": true,
      "got": "18518518600",
      "want": "18518518600",
      "note": ""
    },
    {
      "name": "original gross allowance",
      "ok": true,
      "got": "4000000000000",
      "want": "4000000000000",
      "note": ""
    },
    {
      "name": "original sufficient fuel",
      "ok": true,
      "got": "40000000000000",
      "want": "40000000000000",
      "note": ""
    },
    {
      "name": "original net synthesis, all-free seed",
      "ok": true,
      "got": "164285714343",
      "want": "164285714343",
      "note": ""
    },
    {
      "name": "original net synthesis, worst admitted seed",
      "ok": true,
      "got": "163035714343",
      "want": "163035714343",
      "note": ""
    },
    {
      "name": "halved gross allowance at V_old",
      "ok": true,
      "got": "2000000000000",
      "want": "2000000000000",
      "note": ""
    },
    {
      "name": "halved bath at V_old",
      "ok": true,
      "got": "20000000000000",
      "want": "20000000000000",
      "note": ""
    },
    {
      "name": "copy-scale reduction",
      "ok": true,
      "got": "25/12",
      "want": "25/12",
      "note": ""
    },
    {
      "name": "fuel-inventory reduction",
      "ok": true,
      "got": "25/6",
      "want": "25/6",
      "note": ""
    },
    {
      "name": "the original output demand forces the original scale back",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": "demand term = 200000000032"
    },
    {
      "name": "and it exceeds the reduced scale by a factor above two",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "correlated gross intensity coefficient",
      "ok": true,
      "got": "11/500",
      "want": "11/500",
      "note": ""
    },
    {
      "name": "the independent-coefficient bound is larger",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "quadratic bound for exp(1/10)",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "sharp service exponent beats -1/2000",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": "coefficient of V before the one-count buffer"
    },
    {
      "name": "sharp service exponent",
      "ok": true,
      "got": "-21/31250",
      "want": "-21/31250",
      "note": ""
    },
    {
      "name": "the old error allocation still pays for it",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "independent-cap attempt fails",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": "margin 227/25000"
    },
    {
      "name": "pure-bath fuel activity floor",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "pure-bath waste activity ceiling",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "loaded force ratio",
      "ok": true,
      "got": "11/9",
      "want": "11/9",
      "note": ""
    },
    {
      "name": "pure endpoint identity R=5 J=0",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "pure endpoint identity R=5 J=3",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "pure endpoint identity R=5 J=5",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "pure endpoint identity R=7 J=2",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "loaded endpoint identity R=5 J=-4",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "loaded endpoint identity R=5 J=0",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "loaded endpoint identity R=5 J=5",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "loaded endpoint identity R=6 J=-6",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "bath potential difference argument",
      "ok": true,
      "got": "80000000000",
      "want": "80000000000",
      "note": "A0 = log(8*10^10) = log 10 + log(8*10^9)"
    },
    {
      "name": "force inversion at zeta=0.1",
      "ok": true,
      "got": "20.0167",
      "want": "20.0167",
      "note": "R/B_m"
    },
    {
      "name": "force inversion at zeta=0.02",
      "ok": true,
      "got": "100.0033",
      "want": "100.0033",
      "note": "R/B_m"
    },
    {
      "name": "zeta = 0.1 inversion",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "zeta = 0.02 inversion",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "rho = 1/10 drift",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "reactor volume near 0.1594 nL",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "bath volume near 15.94 nL",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "bath-to-reactor ratio is 100",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "template amount near 0.284656 pmol",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "free-X amount near 0.014760 pmol",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "food amount near 79.7062 pmol",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "fuel amount near 15.9412 pmol",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "bimolecular 20 becomes 1000/3 per M per s",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "unimolecular 20 becomes 1/3 per s",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "washout becomes 1/60 per s",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "mission duration is 400 minutes",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "1/kappa near 4.758e9",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "design scale at m=10",
      "ok": true,
      "got": "54826081139",
      "want": ">=5e10",
      "note": "delta=0.01, no extra output demand"
    },
    {
      "name": "design scale at m=100",
      "ok": true,
      "got": "65781828591",
      "want": ">=5e10",
      "note": "delta=0.01, no extra output demand"
    },
    {
      "name": "design scale at m=10000",
      "ok": true,
      "got": "87693323494",
      "want": ">=5e10",
      "note": "delta=0.01, no extra output demand"
    },
    {
      "name": "design scale at m=1000000",
      "ok": true,
      "got": "109604818397",
      "want": ">=5e10",
      "note": "delta=0.01, no extra output demand"
    },
    {
      "name": "design scale at m=100000000",
      "ok": true,
      "got": "131516313301",
      "want": ">=5e10",
      "note": "delta=0.01, no extra output demand"
    },
    {
      "name": "the copy floor governs at one cycle",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "the logarithmic term governs from four cycles",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    },
    {
      "name": "but not yet at three cycles",
      "ok": true,
      "got": "True",
      "want": "True",
      "note": ""
    }
  ],
  "failed": [],
  "total": 92
}