{
  "schema": "AN02-L150-independent-example-checks163/v1",
  "status": "PASS",
  "checks": 153,
  "records": [
    {
      "name": "disk-density-norm-s0.2-degree0",
      "absolute_error": 8.881784197001252e-16,
      "allowed_error": 1.7915494309189534e-09,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree0-x-2",
      "absolute_error": 4.965068306494546e-16,
      "allowed_error": 7.43656365691809e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree0-x-0.25",
      "absolute_error": 4.47545209131181e-16,
      "allowed_error": 4.2662969061336525e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree0-x0",
      "absolute_error": 2.220446049250313e-16,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree0-x1.7",
      "absolute_error": 0.0,
      "allowed_error": 2.8548298638974536e-10,
      "passed": true
    },
    {
      "name": "disk-density-norm-s0.2-degree1",
      "absolute_error": 4.547473508864641e-13,
      "allowed_error": 7.977747154594766e-08,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree1-x-2",
      "absolute_error": 6.358389842764979e-15,
      "allowed_error": 1.2873127313836181e-09,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree1-x-0.25",
      "absolute_error": 3.554447978966673e-16,
      "allowed_error": 2.566574226533413e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree1-x0",
      "absolute_error": 2.274045537516374e-16,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree1-x1.7",
      "absolute_error": 8.886119947416683e-16,
      "allowed_error": 3.453210768625671e-10,
      "passed": true
    },
    {
      "name": "disk-density-norm-s0.2-degree2",
      "absolute_error": 1.4551915228366852e-10,
      "allowed_error": 1.1936820731892147e-05,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree2-x-2",
      "absolute_error": 2.2469334198890888e-14,
      "allowed_error": 2.374625462767236e-09,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree2-x-0.25",
      "absolute_error": 2.1800305191279584e-15,
      "allowed_error": 2.1416435566333534e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree2-x0",
      "absolute_error": 2.267462905750404e-15,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.2-degree2-x1.7",
      "absolute_error": 2.6762190263854063e-15,
      "allowed_error": 4.4704583066636404e-10,
      "passed": true
    },
    {
      "name": "disk-density-norm-s0.5-degree0",
      "absolute_error": 0.0,
      "allowed_error": 4.546479089470326e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree0-x-2",
      "absolute_error": 4.965068306494546e-16,
      "allowed_error": 7.43656365691809e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree0-x-0.25",
      "absolute_error": 2.2887833992611187e-16,
      "allowed_error": 4.2662969061336525e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree0-x0",
      "absolute_error": 2.220446049250313e-16,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree0-x1.7",
      "absolute_error": 6.938893903907228e-18,
      "allowed_error": 2.8548298638974536e-10,
      "passed": true
    },
    {
      "name": "disk-density-norm-s0.5-degree1",
      "absolute_error": 1.2434497875801753e-14,
      "allowed_error": 2.2371832715762607e-09,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree1-x-2",
      "absolute_error": 6.6018607235733855e-15,
      "allowed_error": 1.2873127313836181e-09,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree1-x-0.25",
      "absolute_error": 3.8956806801599406e-16,
      "allowed_error": 2.566574226533413e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree1-x0",
      "absolute_error": 1.0200261781056551e-16,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree1-x1.7",
      "absolute_error": 8.934752161915345e-16,
      "allowed_error": 3.453210768625671e-10,
      "passed": true
    },
    {
      "name": "disk-density-norm-s0.5-degree2",
      "absolute_error": 6.536993168992922e-13,
      "allowed_error": 4.909239851783025e-08,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree2-x-2",
      "absolute_error": 2.7056661287843684e-14,
      "allowed_error": 2.374625462767236e-09,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree2-x-0.25",
      "absolute_error": 2.0304417714388973e-16,
      "allowed_error": 2.1416435566333534e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree2-x0",
      "absolute_error": 2.8710932250367157e-16,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-disk-exponential-s0.5-degree2-x1.7",
      "absolute_error": 3.1186449331649703e-15,
      "allowed_error": 4.4704583066636404e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T2-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 1.32e-08,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T2-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T2-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T2-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2.492307692307692e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T2-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 1.62e-08,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T2-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2.4e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T2-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T2-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2.4350000000000004e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T2-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 3.601858e-08,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T2-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 2.1092617295269661e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T2-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 3.1814427037587754e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T2-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 2.1151956158978172e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T2-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 1.5226e-06,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T2-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 2.090383604834472e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T2-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 2.68838675775092e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T2-at2,5",
      "absolute_error": 1.734723475976807e-18,
      "allowed_error": 2.0146259370316916e-10,
      "passed": true
    },
    {
      "name": "jet-at-simple-zero-T2",
      "absolute_error": 0.0,
      "allowed_error": 1.62e-08,
      "passed": true
    },
    {
      "name": "jet-defining-value-T8-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 3.2772e-06,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T8-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T8-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T8-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2.0312480927677755e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T8-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 3.3282e-06,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T8-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2.0307692307692307e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T8-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T8-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2.0308931213017753e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T8-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 3.5510585800000003e-06,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T8-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 2.011916441910227e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T8-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 2.117356856267703e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T8-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 2.028269156311779e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T8-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 8.5786e-06,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T8-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 2.0384220833721907e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T8-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 2.2900307749696915e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T8-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 2.008583754348012e-10,
      "passed": true
    },
    {
      "name": "jet-at-simple-zero-T8",
      "absolute_error": 0.0,
      "allowed_error": 3.3282e-06,
      "passed": true
    },
    {
      "name": "jet-defining-value-T32-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 0.0008388612000000001,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T32-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T32-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T32-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2.001953124534339e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T32-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 0.0008396802,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T32-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2.001951219512195e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T32-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T32-at1,0",
      "absolute_error": 0.0,
      "allowed_error": 2.0019516968136528e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T32-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 0.00084315169858,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T32-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 2.000778879716286e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T32-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 2.0075990111039245e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T32-at0.4,1.3",
      "absolute_error": 0.0,
      "allowed_error": 2.0019408518968227e-10,
      "passed": true
    },
    {
      "name": "jet-defining-value-T32-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 0.0009048346000000001,
      "passed": true
    },
    {
      "name": "physical-log-jet-x-derivative-T32-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 2.0037593619340735e-10,
      "passed": true
    },
    {
      "name": "physical-log-jet-y-derivative-T32-at2,5",
      "absolute_error": 0.0,
      "allowed_error": 2.0282128972992185e-10,
      "passed": true
    },
    {
      "name": "physical-Levi-jet-T32-at2,5",
      "absolute_error": 1.0842021724855044e-19,
      "allowed_error": 2.0017792740064346e-10,
      "passed": true
    },
    {
      "name": "jet-at-simple-zero-T32",
      "absolute_error": 0.0,
      "allowed_error": 0.0008396802,
      "passed": true
    },
    {
      "name": "away-root-jet-comparison-0",
      "lhs": 2.23606797749979,
      "rhs": 72.59519612205756,
      "passed": true
    },
    {
      "name": "away-root-jet-comparison-2",
      "lhs": 5.385164807134504,
      "rhs": 217.78558836617268,
      "passed": true
    },
    {
      "name": "away-root-jet-comparison-3j",
      "lhs": 11.832159566199232,
      "rhs": 725.9519612205756,
      "passed": true
    },
    {
      "name": "away-root-jet-comparison-(-2+1j)",
      "lhs": 6.6332495807108005,
      "rhs": 324.65558673769965,
      "passed": true
    },
    {
      "name": "away-root-jet-comparison-(0.1+0.7j)",
      "lhs": 2.8653097563788803,
      "rhs": 107.92051762755774,
      "passed": true
    },
    {
      "name": "physical-ratio-derivative-at-peak-T2",
      "absolute_error": 2.623354092674117e-68,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-ratio-peak-T2",
      "absolute_error": 0.0,
      "allowed_error": 2.8660254037844383e-10,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T2-q0",
      "lhs": 0.25,
      "rhs": 1.189207115002721,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T2-q0.25",
      "lhs": 0.27815929676563994,
      "rhs": 1.189207115002721,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T2-q1",
      "lhs": 0.41796269061026375,
      "rhs": 1.189207115002721,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T2-q2",
      "lhs": 0.4186072014296345,
      "rhs": 1.189207115002721,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T2-q6",
      "lhs": 0.28233471847804226,
      "rhs": 1.189207115002721,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T2-q50",
      "lhs": 0.09996751290109347,
      "rhs": 1.189207115002721,
      "passed": true
    },
    {
      "name": "physical-ratio-derivative-at-peak-T8",
      "absolute_error": 1.2031241246064674e-69,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-ratio-peak-T8",
      "absolute_error": 0.0,
      "allowed_error": 2.4045533557851106e-10,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T8-q0",
      "lhs": 0.015625,
      "rhs": 0.5946035575013605,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T8-q0.25",
      "lhs": 0.049172081248266324,
      "rhs": 0.5946035575013605,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T8-q1",
      "lhs": 0.17884427720977372,
      "rhs": 0.5946035575013605,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T8-q2",
      "lhs": 0.20058565186234578,
      "rhs": 0.5946035575013605,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T8-q6",
      "lhs": 0.1404822645087199,
      "rhs": 0.5946035575013605,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T8-q50",
      "lhs": 0.049980242277905734,
      "rhs": 0.5946035575013605,
      "passed": true
    },
    {
      "name": "physical-ratio-derivative-at-peak-T32",
      "absolute_error": 1.6948031708607983e-70,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-ratio-peak-T32",
      "absolute_error": 0.0,
      "allowed_error": 2.2015310821698263e-10,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T32-q0",
      "lhs": 0.0009765625,
      "rhs": 0.29730177875068026,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T32-q0.25",
      "lhs": 0.02104050320114985,
      "rhs": 0.29730177875068026,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T32-q1",
      "lhs": 0.08845307730831087,
      "rhs": 0.29730177875068026,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T32-q2",
      "lhs": 0.1000183099881383,
      "rhs": 0.29730177875068026,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T32-q6",
      "lhs": 0.07021970457216004,
      "rhs": 0.29730177875068026,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T32-q50",
      "lhs": 0.024990011319690517,
      "rhs": 0.29730177875068026,
      "passed": true
    },
    {
      "name": "physical-ratio-derivative-at-peak-T4096",
      "absolute_error": 1.685002846784477e-73,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-ratio-peak-T4096",
      "absolute_error": 0.0,
      "allowed_error": 2.017808649147829e-10,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T4096-q0",
      "lhs": 5.960464477539063e-08,
      "rhs": 0.026278012976678578,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T4096-q0.25",
      "lhs": 0.001838236608925831,
      "rhs": 0.026278012976678578,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T4096-q1",
      "lhs": 0.007812500349245964,
      "rhs": 0.026278012976678578,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T4096-q2",
      "lhs": 0.00883883486361352,
      "rhs": 0.026278012976678578,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T4096-q6",
      "lhs": 0.006206477396515705,
      "rhs": 0.026278012976678578,
      "passed": true
    },
    {
      "name": "uniform-curvature-ratio-T4096-q50",
      "lhs": 0.0022088251611830003,
      "rhs": 0.026278012976678578,
      "passed": true
    },
    {
      "name": "explicit-half-curvature-budget",
      "lhs": 0.026278012976678578,
      "rhs": 0.027777777777777776,
      "passed": true
    },
    {
      "name": "physical-double-root-ODE-at-1",
      "absolute_error": 2.3738919364399497e-66,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-double-root-ODE-at0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-double-root-ODE-at0.6",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-compact-transpose-pairing",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "inner-cutoff-radius",
      "lhs": 0.4,
      "rhs": 0.5,
      "passed": true
    },
    {
      "name": "strict-outer-cutoff-radius",
      "lhs": 0.7000000000000001,
      "rhs": 0.8,
      "passed": true
    },
    {
      "name": "actual-Laplace-complex-characteristic-0,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "characteristic-weight-0-s0",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "tube-weight-0-s0",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "characteristic-weight-0-s0.5",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "tube-weight-0-s0.5",
      "lhs": 1.0122722344290394,
      "rhs": 2.001557041374266,
      "passed": true
    },
    {
      "name": "characteristic-weight-0-s3",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "tube-weight-0-s3",
      "lhs": 1.0759298304257578,
      "rhs": 64.2995343988708,
      "passed": true
    },
    {
      "name": "actual-Laplace-complex-characteristic-0.3,0.7",
      "absolute_error": 1.734723475976807e-18,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "characteristic-weight-0.3-s0",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "tube-weight-0.3-s0",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "characteristic-weight-0.3-s0.5",
      "lhs": 1.0217781808646411,
      "rhs": 1.140175425099138,
      "passed": true
    },
    {
      "name": "tube-weight-0.3-s0.5",
      "lhs": 1.045133478346275,
      "rhs": 2.045124741450074,
      "passed": true
    },
    {
      "name": "characteristic-weight-0.3-s3",
      "lhs": 1.13799340947125,
      "rhs": 2.197,
      "passed": true
    },
    {
      "name": "tube-weight-0.3-s3",
      "lhs": 1.3032584734240293,
      "rhs": 73.16760112394628,
      "passed": true
    },
    {
      "name": "actual-Laplace-complex-characteristic-2,1.1",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "characteristic-weight-2-s0",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "tube-weight-2-s0",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "characteristic-weight-2-s0.5",
      "lhs": 1.4953487812212205,
      "rhs": 1.7320508075688772,
      "passed": true
    },
    {
      "name": "tube-weight-2-s0.5",
      "lhs": 1.4995474955116714,
      "rhs": 2.9090057559433715,
      "passed": true
    },
    {
      "name": "characteristic-weight-2-s3",
      "lhs": 11.180339887498949,
      "rhs": 27.0,
      "passed": true
    },
    {
      "name": "tube-weight-2-s3",
      "lhs": 11.370023306983926,
      "rhs": 605.9928268213827,
      "passed": true
    },
    {
      "name": "actual-Laplace-complex-characteristic-7,2.2",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "characteristic-weight-7-s0",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "tube-weight-7-s0",
      "lhs": 1.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "characteristic-weight-7-s0.5",
      "lhs": 2.6591479484724942,
      "rhs": 2.8284271247461903,
      "passed": true
    },
    {
      "name": "tube-weight-7-s0.5",
      "lhs": 2.622086979912951,
      "rhs": 4.796687912858109,
      "passed": true
    },
    {
      "name": "characteristic-weight-7-s3",
      "lhs": 353.5533905932738,
      "rhs": 512.0,
      "passed": true
    },
    {
      "name": "tube-weight-7-s3",
      "lhs": 324.99940366468434,
      "rhs": 12180.04175626923,
      "passed": true
    }
  ],
  "maximum_equality_error": 1.4551915228366852e-10,
  "scope": "Independent actual disk exponential/norm quadratures, high-precision real jet Hessians and radial extrema, physical double-root ODE, complex characteristic and tube weights.",
  "calculations_are_proof_supplements": true,
  "general_proof_or_recursive_closure_inferred": false
}