{
  "schema": "AN02-L149-independent-examples/v1",
  "status": "PASS",
  "checks": 128,
  "scope": "Defining convolution in original and unscaled coordinates, actual smooth-kernel derivatives versus corner-distribution chain derivatives, physical high-precision radial/tangential Hessians, finite-stage inactivity and interfaces, actual exterior-interval transforms and physical squared norms, exact support gaps and parameter margin.",
  "checks_are_supplements_not_proofs": true,
  "maximum_equality_error": 4.444925330582272e-14,
  "finite_seed_parameters": {
    "t": [
      64.0,
      144.0,
      256.0
    ],
    "radii": [
      0.5,
      1.0,
      1.5
    ],
    "G": [
      1.0,
      160.0,
      800.0
    ]
  },
  "finite_seed_switches": [
    {
      "eta": 344.58379368204913,
      "active_seed_indices": [
        1,
        2
      ],
      "positive_real_derivative_jump": 0.4563778021194148,
      "positive_Levi_line_mass": 0.1140944505298537
    },
    {
      "eta": 1334.2963828221025,
      "active_seed_indices": [
        2,
        3
      ],
      "positive_real_derivative_jump": 0.47877600684075694,
      "positive_Levi_line_mass": 0.11969400171018924
    }
  ],
  "rows": [
    {
      "name": "probability kernel derivative integral order=0",
      "actual": 1.0000000000000002,
      "expected": 1.0,
      "relative_or_absolute_error": 2.220446049250313e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "probability kernel derivative integral order=1",
      "actual": 0.0,
      "expected": 0.0,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "probability kernel derivative integral order=2",
      "actual": 3.3306690738754696e-16,
      "expected": 0.0,
      "relative_or_absolute_error": 3.3306690738754696e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=16.0 eta=0.0 xi/M=-0.6",
      "actual": 0.11685384608746138,
      "expected": 0.11685384608746144,
      "relative_or_absolute_error": 5.551115123125783e-17,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=16.0 eta=0.0 xi/M=-0.6",
      "actual": 0.021564646763056434,
      "expected": 0.021564646763068587,
      "relative_or_absolute_error": 1.215347267269351e-14,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=16.0 eta=0.0 xi/M=-0.6",
      "actual": 0.0027563737113261936,
      "expected": 0.0027563737113206867,
      "relative_or_absolute_error": 5.506879674488374e-15,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=16.0 eta=0.0 xi/M=-0.6",
      "actual": 0.11685384608746138,
      "upper_bound": 11.090354888959125,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=16.0 eta=0.0 xi/M=-0.6",
      "actual": 0.0679138775461,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=16.0 eta=0.0 xi/M=-0.6",
      "actual": 0.10409673026803679,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=16.0 eta=0.0 xi/M=0.0",
      "actual": 1.6664499316150467,
      "expected": 1.6664499316150467,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=16.0 eta=0.0 xi/M=0.0",
      "actual": 0.011335800816395538,
      "expected": 0.011335800816395555,
      "relative_or_absolute_error": 1.734723475976807e-17,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=16.0 eta=0.0 xi/M=0.0",
      "actual": 0.0029736635395556437,
      "expected": 0.0029736635395556424,
      "relative_or_absolute_error": 1.3010426069826053e-18,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=16.0 eta=0.0 xi/M=0.0",
      "actual": 1.6664499316150467,
      "upper_bound": 11.090354888959125,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=16.0 eta=0.0 xi/M=0.0",
      "actual": 0.30018725739952457,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=16.0 eta=0.0 xi/M=0.0",
      "actual": 0.31933140255800097,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=16.0 eta=0.0 xi/M=0.8",
      "actual": 4.95042599664644,
      "expected": 4.950425996646441,
      "relative_or_absolute_error": 1.794145433750151e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=16.0 eta=0.0 xi/M=0.8",
      "actual": -0.0213493357289274,
      "expected": -0.02134933572892743,
      "relative_or_absolute_error": 2.7755575615628914e-17,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=16.0 eta=0.0 xi/M=0.8",
      "actual": -0.003254035332714022,
      "expected": -0.0032540353327140214,
      "relative_or_absolute_error": 4.336808689942018e-19,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=16.0 eta=0.0 xi/M=0.8",
      "actual": 0.29891118767987823,
      "upper_bound": 11.090354888959125,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=16.0 eta=0.0 xi/M=0.8",
      "actual": 0.28262021990137676,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=16.0 eta=0.0 xi/M=0.8",
      "actual": 0.24705322915660144,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=16.0 eta=12.8 xi/M=-0.6",
      "actual": 0.1357476994139282,
      "expected": 0.13574769941392822,
      "relative_or_absolute_error": 2.7755575615628914e-17,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=16.0 eta=12.8 xi/M=-0.6",
      "actual": 0.014676392074811475,
      "expected": 0.014676392074819286,
      "relative_or_absolute_error": 7.811459812323562e-15,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=16.0 eta=12.8 xi/M=-0.6",
      "actual": 0.00255214977672157,
      "expected": 0.002552149776722486,
      "relative_or_absolute_error": 9.159339953157541e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=16.0 eta=12.8 xi/M=-0.6",
      "actual": 0.1357476994139282,
      "upper_bound": 12.079747372631338,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=16.0 eta=12.8 xi/M=-0.6",
      "actual": 0.06443607343537647,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=16.0 eta=12.8 xi/M=-0.6",
      "actual": 0.08913345548308427,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=16.0 eta=12.8 xi/M=0.0",
      "actual": 1.859066072785002,
      "expected": 1.8590660727850015,
      "relative_or_absolute_error": 2.3887758286330737e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=16.0 eta=12.8 xi/M=0.0",
      "actual": 0.007144911350044259,
      "expected": 0.007144911350044261,
      "relative_or_absolute_error": 2.6020852139652106e-18,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=16.0 eta=12.8 xi/M=0.0",
      "actual": 0.0005374593167381477,
      "expected": 0.0005374593167381469,
      "relative_or_absolute_error": 7.589415207398531e-19,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=16.0 eta=12.8 xi/M=0.0",
      "actual": 1.859066072785002,
      "upper_bound": 12.079747372631338,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=16.0 eta=12.8 xi/M=0.0",
      "actual": 0.2594404211733594,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=16.0 eta=12.8 xi/M=0.0",
      "actual": 0.2715105824197188,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=16.0 eta=12.8 xi/M=0.8",
      "actual": 5.396003939709911,
      "expected": 5.396003939709911,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=16.0 eta=12.8 xi/M=0.8",
      "actual": -0.014748709527230095,
      "expected": -0.014748709527230081,
      "relative_or_absolute_error": 1.3877787807814457e-17,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=16.0 eta=12.8 xi/M=0.8",
      "actual": -0.002357639174207158,
      "expected": -0.002357639174207158,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=16.0 eta=12.8 xi/M=0.8",
      "actual": 0.31601649655699404,
      "upper_bound": 12.079747372631338,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=16.0 eta=12.8 xi/M=0.8",
      "actual": 0.22881500506472463,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=16.0 eta=12.8 xi/M=0.8",
      "actual": 0.20411448927240272,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=64.0 eta=0.0 xi/M=-0.6",
      "actual": 0.2430339073295541,
      "expected": 0.2430339073295541,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=64.0 eta=0.0 xi/M=-0.6",
      "actual": 0.0022655754816596554,
      "expected": 0.002265575481660639,
      "relative_or_absolute_error": 9.835882108788496e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=64.0 eta=0.0 xi/M=-0.6",
      "actual": 0.00032460362395679673,
      "expected": 0.0003246036239564125,
      "relative_or_absolute_error": 3.8424124992886277e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=64.0 eta=0.0 xi/M=-0.6",
      "actual": 0.2430339073295541,
      "upper_bound": 16.635532333438686,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=64.0 eta=0.0 xi/M=-0.6",
      "actual": 0.03947367468017049,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=64.0 eta=0.0 xi/M=-0.6",
      "actual": 0.04330109329801829,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=64.0 eta=0.0 xi/M=0.0",
      "actual": 2.8352209398671193,
      "expected": 2.8352209398671193,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=64.0 eta=0.0 xi/M=0.0",
      "actual": 0.00080543333263775,
      "expected": 0.0008054333326364092,
      "relative_or_absolute_error": 1.3407244064955748e-15,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=64.0 eta=0.0 xi/M=0.0",
      "actual": 0.00022135703777576718,
      "expected": 0.0002213570377757668,
      "relative_or_absolute_error": 3.7947076036992655e-19,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=64.0 eta=0.0 xi/M=0.0",
      "actual": 2.8352209398671193,
      "upper_bound": 16.635532333438686,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=64.0 eta=0.0 xi/M=0.0",
      "actual": 0.12062181653911219,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=64.0 eta=0.0 xi/M=0.0",
      "actual": 0.12198295908978096,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=64.0 eta=0.0 xi/M=0.8",
      "actual": 7.536831677249453,
      "expected": 7.536831677249455,
      "relative_or_absolute_error": 2.356901302124511e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=64.0 eta=0.0 xi/M=0.8",
      "actual": -0.002398629011497937,
      "expected": -0.002398629011542386,
      "relative_or_absolute_error": 4.444925330582272e-14,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=64.0 eta=0.0 xi/M=0.8",
      "actual": -0.0003096053438146923,
      "expected": -0.00030960534381469233,
      "relative_or_absolute_error": 5.421010862427522e-20,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=64.0 eta=0.0 xi/M=0.8",
      "actual": 0.37333331252773316,
      "upper_bound": 16.635532333438686,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=64.0 eta=0.0 xi/M=0.8",
      "actual": 0.08306555512499436,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=64.0 eta=0.0 xi/M=0.8",
      "actual": 0.07901647830472047,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=64.0 eta=51.2 xi/M=-0.6",
      "actual": 0.270063112309902,
      "expected": 0.2700631123099019,
      "relative_or_absolute_error": 1.1102230246251565e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=64.0 eta=51.2 xi/M=-0.6",
      "actual": 0.001484733084194619,
      "expected": 0.0014847330841951927,
      "relative_or_absolute_error": 5.737597896793289e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=64.0 eta=51.2 xi/M=-0.6",
      "actual": 0.00023644056090899512,
      "expected": 0.00023644056090907776,
      "relative_or_absolute_error": 8.264331059770758e-17,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=64.0 eta=51.2 xi/M=-0.6",
      "actual": 0.270063112309902,
      "upper_bound": 17.6249248171109,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=64.0 eta=51.2 xi/M=-0.6",
      "actual": 0.03424616517731213,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=64.0 eta=51.2 xi/M=-0.6",
      "actual": 0.036754827706346416,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=64.0 eta=51.2 xi/M=0.0",
      "actual": 3.061465989892186,
      "expected": 3.0614659898921865,
      "relative_or_absolute_error": 1.4505769827797493e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=64.0 eta=51.2 xi/M=0.0",
      "actual": 0.0004970289523552155,
      "expected": 0.0004970289523544003,
      "relative_or_absolute_error": 8.152116134918508e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=64.0 eta=51.2 xi/M=0.0",
      "actual": 3.3507942145288315e-05,
      "expected": 3.350794214497851e-05,
      "relative_or_absolute_error": 3.0980399452415486e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=64.0 eta=51.2 xi/M=0.0",
      "actual": 3.061465989892186,
      "upper_bound": 17.6249248171109,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=64.0 eta=51.2 xi/M=0.0",
      "actual": 0.10062669626395282,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=64.0 eta=51.2 xi/M=0.0",
      "actual": 0.10146666102989732,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "two defining convolution coordinates t=64.0 eta=51.2 xi/M=0.8",
      "actual": 8.014333242680589,
      "expected": 8.014333242680593,
      "relative_or_absolute_error": 4.432949780376499e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "corner delta versus actual second kernel t=64.0 eta=51.2 xi/M=0.8",
      "actual": -0.001585897120228899,
      "expected": -0.0015858971202561255,
      "relative_or_absolute_error": 2.7226484955455987e-14,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "scale chain versus actual eta-second kernel t=64.0 eta=51.2 xi/M=0.8",
      "actual": -0.0002850574260596666,
      "expected": -0.00028505742606921985,
      "relative_or_absolute_error": 9.553230602421525e-15,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "zero-order log comparison t=64.0 eta=51.2 xi/M=0.8",
      "actual": 0.38211448590780606,
      "upper_bound": 17.6249248171109,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=-1.3 t=64.0 eta=51.2 xi/M=0.8",
      "actual": 0.06627932452616214,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "exact shift-weight bound h=1.3 t=64.0 eta=51.2 xi/M=0.8",
      "actual": 0.06360109553877358,
      "upper_bound": 1.665818245870208,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=8.0 r/t=0.1",
      "actual": 0.005483097725734776,
      "expected": 0.005483097725734776,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=8.0 r/t=0.1",
      "actual": 0.005510512708351829,
      "expected": 0.005510512708351829,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=8.0 r/t=0.1",
      "actual": 0.0625,
      "upper_bound": 0.12499769289958441,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=8.0 r/t=1.0",
      "actual": 0.0030850620944787945,
      "expected": 0.0030850620944787932,
      "relative_or_absolute_error": 1.3010426069826053e-18,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=8.0 r/t=1.0",
      "actual": 0.004527748377915177,
      "expected": 0.004527748377915176,
      "relative_or_absolute_error": 8.673617379884035e-19,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=8.0 r/t=1.0",
      "actual": 0.0625,
      "upper_bound": 0.11740088937534016,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=8.0 r/t=10.0",
      "actual": 9.50066923475895e-05,
      "expected": 9.500669234758952e-05,
      "relative_or_absolute_error": 1.3552527156068805e-20,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=8.0 r/t=10.0",
      "actual": 0.0009259771888764798,
      "expected": 0.0009259771888764797,
      "relative_or_absolute_error": 1.0842021724855044e-19,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=8.0 r/t=10.0",
      "actual": 0.0625,
      "upper_bound": 0.06849047990030371,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=32.0 r/t=0.1",
      "actual": 0.000685387215716847,
      "expected": 0.000685387215716847,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=32.0 r/t=0.1",
      "actual": 0.0006888140885439786,
      "expected": 0.0006888140885439786,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=32.0 r/t=0.1",
      "actual": 0.0625,
      "upper_bound": 0.12499769289958441,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=32.0 r/t=1.0",
      "actual": 0.0003856327618098493,
      "expected": 0.00038563276180984915,
      "relative_or_absolute_error": 1.6263032587282567e-19,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=32.0 r/t=1.0",
      "actual": 0.0005659685472393972,
      "expected": 0.000565968547239397,
      "relative_or_absolute_error": 1.0842021724855044e-19,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=32.0 r/t=1.0",
      "actual": 0.0625,
      "upper_bound": 0.11740088937534016,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=32.0 r/t=10.0",
      "actual": 1.1875836543448688e-05,
      "expected": 1.187583654344869e-05,
      "relative_or_absolute_error": 1.6940658945086007e-21,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=32.0 r/t=10.0",
      "actual": 0.00011574714860955998,
      "expected": 0.00011574714860955996,
      "relative_or_absolute_error": 1.3552527156068805e-20,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=32.0 r/t=10.0",
      "actual": 0.0625,
      "upper_bound": 0.06849047990030371,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=128.0 r/t=0.1",
      "actual": 8.567340196460588e-05,
      "expected": 8.567340196460588e-05,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=128.0 r/t=0.1",
      "actual": 8.610176106799733e-05,
      "expected": 8.610176106799733e-05,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=128.0 r/t=0.1",
      "actual": 0.0625,
      "upper_bound": 0.12499769289958441,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=128.0 r/t=1.0",
      "actual": 4.8204095226231165e-05,
      "expected": 4.8204095226231144e-05,
      "relative_or_absolute_error": 2.0328790734103208e-20,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=128.0 r/t=1.0",
      "actual": 7.074606840492465e-05,
      "expected": 7.074606840492463e-05,
      "relative_or_absolute_error": 1.3552527156068805e-20,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=128.0 r/t=1.0",
      "actual": 0.0625,
      "upper_bound": 0.11740088937534016,
      "pass": true
    },
    {
      "name": "physical radial Hessian t=128.0 r/t=10.0",
      "actual": 1.484479567931086e-06,
      "expected": 1.4844795679310862e-06,
      "relative_or_absolute_error": 2.117582368135751e-22,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical tangential Hessian t=128.0 r/t=10.0",
      "actual": 1.4468393576194997e-05,
      "expected": 1.4468393576194995e-05,
      "relative_or_absolute_error": 1.6940658945086007e-21,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "normalized radial lower bound t=128.0 r/t=10.0",
      "actual": 0.0625,
      "upper_bound": 0.06849047990030371,
      "pass": true
    },
    {
      "name": "actual finite maximum stable strip eta=-5.0",
      "actual": 1.5121977322187892,
      "expected": 1.5121977322187892,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "actual finite maximum stable strip eta=-2.0",
      "actual": 0.0019528866396179012,
      "expected": 0.0019528866396179012,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "actual finite maximum stable strip eta=0.0",
      "actual": -1.0,
      "expected": -1.0,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "actual finite maximum stable strip eta=2.0",
      "actual": 0.0019528866396179012,
      "expected": 0.0019528866396179012,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "actual finite maximum stable strip eta=5.0",
      "actual": 1.5121977322187892,
      "expected": 1.5121977322187892,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "analytic second inactivity bound through 161",
      "actual": 88.00028935185185,
      "upper_bound": 159.0,
      "pass": true
    },
    {
      "name": "analytic third inactivity bound through 301",
      "actual": 312.0596923828125,
      "upper_bound": 799.0,
      "pass": true
    },
    {
      "name": "adjacent seed crossing 1",
      "actual": 196.3804717231028,
      "expected": 196.38047172310274,
      "relative_or_absolute_error": 2.894555571745314e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "third seed does not dominate crossing 1",
      "actual": -277.01371027295386,
      "upper_bound": 196.3804717331028,
      "pass": true
    },
    {
      "name": "adjacent seed crossing 2",
      "actual": 1249.4994833060168,
      "expected": 1249.4994833060168,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "third seed does not dominate crossing 2",
      "actual": 796.5779768964645,
      "upper_bound": 1249.4994833160167,
      "pass": true
    },
    {
      "name": "actual exterior-interval complex transform z=0j",
      "actual": [
        0.5,
        0.0
      ],
      "expected": 0.5,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "actual exterior-interval complex transform z=(0.7+0.5j)",
      "actual": [
        -0.3227905102640518,
        -1.7106421942203553
      ],
      "expected": [
        -0.32279051026405087,
        -1.7106421942203556
      ],
      "relative_or_absolute_error": 5.568954830481582e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "actual exterior-interval complex transform z=(2+1j)",
      "actual": [
        1.9123030278776272,
        5.586566119612262
      ],
      "expected": [
        1.9123030278776276,
        5.586566119612263
      ],
      "relative_or_absolute_error": 1.6817067791542175e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "actual exterior-interval complex transform z=(-1-1.2j)",
      "actual": [
        -0.019657614401050138,
        0.015463606237057836
      ],
      "expected": [
        -0.019657614401050145,
        0.015463606237057835
      ],
      "relative_or_absolute_error": 7.152448122690996e-18,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical exterior-interval squared plane eta=0.0",
      "actual": 3.141592653589793,
      "expected": 3.141592653589793,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical exterior-interval squared plane eta=0.5",
      "actual": 38.67235241494094,
      "expected": 38.67235241494093,
      "relative_or_absolute_error": 1.8373403514123553e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical exterior-interval squared plane eta=1.0",
      "actual": 485.92521840301896,
      "expected": 485.9252184030189,
      "relative_or_absolute_error": 1.1697976706708595e-16,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical exterior-interval squared plane eta=2.0",
      "actual": 81321.78740708364,
      "expected": 81321.78740708364,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "physical exterior-interval squared plane eta=4.0",
      "actual": 2764014746.122479,
      "expected": 2764014746.122479,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "exact separated supporting functions eta=-4.0",
      "actual": 16.0,
      "expected": 16.0,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "exact separated supporting functions eta=-1.0",
      "actual": 4.0,
      "expected": 4.0,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "exact separated supporting functions eta=0.0",
      "actual": -0.0,
      "expected": -0.0,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "exact separated supporting functions eta=1.0",
      "actual": -1.0,
      "expected": -1.0,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "exact separated supporting functions eta=4.0",
      "actual": -4.0,
      "expected": -4.0,
      "relative_or_absolute_error": 0.0,
      "tolerance": 3e-09,
      "pass": true
    },
    {
      "name": "explicit sufficient parameter D=1 t=1e8",
      "actual": 0.0018420680743952368,
      "upper_bound": 0.006944444444444444,
      "pass": true
    }
  ]
}