{
  "schema": "AN02-smooth-topology-checks172/v1",
  "status": "PASS",
  "checks": 159,
  "records": [
    {
      "name": "actual-compact-bump-contour-(0, 0)",
      "absolute_error": 7.776450594576545e-10,
      "relative_error": 7.776450594576545e-10,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-compact-bump-contour-(0, 0.12)",
      "absolute_error": 1.138405480993756e-09,
      "relative_error": 1.138405480993756e-09,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-compact-bump-contour-(0, 2)",
      "absolute_error": 1.7801293407765077e-10,
      "relative_error": 1.7801293407765077e-10,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-compact-bump-contour-(0.35, 0)",
      "absolute_error": 1.2869875165577582e-09,
      "relative_error": 1.2869875165577582e-09,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-compact-bump-contour-(0.35, 0.12)",
      "absolute_error": 1.587976750094811e-09,
      "relative_error": 1.587976750094811e-09,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-compact-bump-contour-(0.35, 2)",
      "absolute_error": 2.47669039254542e-14,
      "relative_error": 2.47669039254542e-14,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-compact-bump-contour-(0.8, 0)",
      "absolute_error": 4.653301299839541e-09,
      "relative_error": 4.653301299839541e-09,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-compact-bump-contour-(0.8, 0.12)",
      "absolute_error": 2.9953051150499736e-09,
      "relative_error": 2.9953051150499736e-09,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-compact-bump-contour-(0.8, 2)",
      "absolute_error": 6.137747287462192e-16,
      "relative_error": 6.137747287462192e-16,
      "tolerance": 2e-07,
      "passed": true
    },
    {
      "name": "actual-shifted-plane-Plancherel--1.3",
      "absolute_error": 2.7977620220553945e-14,
      "relative_error": 1.7678953437638743e-14,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "actual-shifted-plane-Plancherel--0.2",
      "absolute_error": 2.731148640577885e-14,
      "relative_error": 1.7670717578834384e-14,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "actual-shifted-plane-Plancherel-0",
      "absolute_error": 2.7977620220553945e-14,
      "relative_error": 1.811211484128894e-14,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "actual-shifted-plane-Plancherel-0.7",
      "absolute_error": 2.7533531010703882e-14,
      "relative_error": 1.7699696719272226e-14,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "actual-shifted-plane-Plancherel-2",
      "absolute_error": 2.930988785010413e-14,
      "relative_error": 1.7922167606362345e-14,
      "tolerance": 3e-09,
      "passed": true
    },
    {
      "name": "actual-support-growth-0j",
      "actual": 0.30172508060947434,
      "bound": 0.3017250806094744,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-support-growth-(0.5+0.3j)",
      "actual": 0.30148671026835927,
      "bound": 0.3252246823133403,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-support-growth-(-2+0.8j)",
      "actual": 0.29675620379379153,
      "bound": 0.3685278456625116,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-support-growth-(4-1.1j)",
      "actual": 0.28032042776952804,
      "bound": 0.3972303239992788,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-support-growth-(12+2j)",
      "actual": 0.14052936849389627,
      "bound": 0.4974605583045512,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "actual-bump-center-second-derivative",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moving-height-1",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moving-derivative-1",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-locally-weighted-height-1",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moving-height-3",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moving-derivative-3",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-locally-weighted-height-3",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moving-height-5",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moving-derivative-5",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-locally-weighted-height-5",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moving-height-9",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-moving-derivative-9",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-locally-weighted-height-9",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(1, 0.2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(1, 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(1, 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(2, 0.2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(2, 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(2, 3)",
      "absolute_error": 2.220446049250313e-16,
      "relative_error": 1.4802829221895053e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(3, 0.2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(3, 1)",
      "absolute_error": 2.2887833992611187e-16,
      "relative_error": 2.1612341854523838e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(3, 3)",
      "absolute_error": 2.220446049250313e-16,
      "relative_error": 1.3518448152624937e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(4, 0.2)",
      "absolute_error": 2.220446049250313e-16,
      "relative_error": 2.2197194491265309e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(4, 1)",
      "absolute_error": 3.469446951953614e-18,
      "relative_error": 3.468318534030582e-18,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-complex-Jacobian-(4, 3)",
      "absolute_error": 1.5700924586837752e-16,
      "relative_error": 1.447974617213639e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('-0.399999999999999999999999999999999999999999999999999999999')), mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('-0.399999999999999999999999999999999999999999999999999999999')), mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('0.399999999999999999999999999999999999999999999999999999999'))",
      "absolute_error": 1.5930919111324523e-58,
      "relative_error": 1.5930919111324523e-58,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('-0.399999999999999999999999999999999999999999999999999999999')), mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('0.799999999999999999999999999999999999999999999999999999998'))",
      "absolute_error": 3.1861838222649046e-58,
      "relative_error": 3.1861838222649046e-58,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('-0.399999999999999999999999999999999999999999999999999999999')), mpf('0.9000000000000000000000000000000000000000000000000000000041'), mpf('0.0'))",
      "absolute_error": 1.2744735289059618e-57,
      "relative_error": 1.2744735289059618e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('-0.399999999999999999999999999999999999999999999999999999999')), mpf('0.9000000000000000000000000000000000000000000000000000000041'), mpf('0.399999999999999999999999999999999999999999999999999999999'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('-0.399999999999999999999999999999999999999999999999999999999')), mpf('0.9000000000000000000000000000000000000000000000000000000041'), mpf('0.799999999999999999999999999999999999999999999999999999998'))",
      "absolute_error": 2.5489470578119236e-57,
      "relative_error": 2.5489470578119236e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('1.099999999999999999999999999999999999999999999999999999996'), mpf('0.700000000000000000000000000000000000000000000000000000002')), mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('0.0'))",
      "absolute_error": 1.2744735289059618e-57,
      "relative_error": 1.2744735289059618e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('1.099999999999999999999999999999999999999999999999999999996'), mpf('0.700000000000000000000000000000000000000000000000000000002')), mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('0.399999999999999999999999999999999999999999999999999999999'))",
      "absolute_error": 3.982729777831131e-59,
      "relative_error": 3.982729777831131e-59,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('1.099999999999999999999999999999999999999999999999999999996'), mpf('0.700000000000000000000000000000000000000000000000000000002')), mpf('0.1999999999999999999999999999999999999999999999999999999995'), mpf('0.799999999999999999999999999999999999999999999999999999998'))",
      "absolute_error": 7.965459555662261e-59,
      "relative_error": 7.965459555662261e-59,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('1.099999999999999999999999999999999999999999999999999999996'), mpf('0.700000000000000000000000000000000000000000000000000000002')), mpf('0.9000000000000000000000000000000000000000000000000000000041'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('1.099999999999999999999999999999999999999999999999999999996'), mpf('0.700000000000000000000000000000000000000000000000000000002')), mpf('0.9000000000000000000000000000000000000000000000000000000041'), mpf('0.399999999999999999999999999999999999999999999999999999999'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-homotopy-derivatives-((mpf('1.099999999999999999999999999999999999999999999999999999996'), mpf('0.700000000000000000000000000000000000000000000000000000002')), mpf('0.9000000000000000000000000000000000000000000000000000000041'), mpf('0.799999999999999999999999999999999999999999999999999999998'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('4096.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'), mpf('0.0'))",
      "actual": 0.09375390557625658,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'), mpf('2048.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'), mpf('2048.0'))",
      "actual": 0.10500169964042048,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('4096.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'))",
      "absolute_error": 1.0195788231247695e-56,
      "relative_error": 1.0195788231247695e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'), mpf('0.0'))",
      "absolute_error": 1.2744735289059618e-57,
      "relative_error": 1.2744735289059618e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'), mpf('0.0'))",
      "actual": 0.0941339704751839,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'), mpf('2048.0'))",
      "absolute_error": 2.5489470578119236e-57,
      "relative_error": 2.5489470578119236e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'), mpf('2048.0'))",
      "actual": 0.10516644872905598,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('4096.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'), mpf('0.0'))",
      "absolute_error": 1.2744735289059618e-57,
      "relative_error": 1.2744735289059618e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'), mpf('0.0'))",
      "actual": 0.09856791303330206,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'), mpf('2048.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'), mpf('2048.0'))",
      "actual": 0.10695695644588114,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('4096.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('1.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('1.0'), mpf('0.0'))",
      "actual": 0.10426188288700085,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('1.0'), mpf('2048.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('1.0'), mpf('2048.0'))",
      "actual": 0.10701945214998564,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('4096.0'), mpf('3.0'))",
      "absolute_error": 5.0978941156238473e-57,
      "relative_error": 5.0978941156238473e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('3.0'), mpf('0.0'))",
      "absolute_error": 1.2744735289059618e-57,
      "relative_error": 1.2744735289059618e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('3.0'), mpf('0.0'))",
      "actual": 0.08644966860975323,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('3.0'), mpf('2048.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('3.0'), mpf('2048.0'))",
      "actual": 0.08653434597319094,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('4096.0'), mpf('10.0'))",
      "absolute_error": 5.0978941156238473e-57,
      "relative_error": 5.0978941156238473e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('10.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('10.0'), mpf('0.0'))",
      "actual": 0.06839288024037139,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('4096.0'), mpf('10.0'), mpf('2048.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('4096.0'), mpf('10.0'), mpf('2048.0'))",
      "actual": 0.06839336161897151,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('65536.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'), mpf('0.0'))",
      "actual": 0.10937695267095934,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'), mpf('32768.0'))",
      "absolute_error": 1.2744735289059618e-57,
      "relative_error": 1.2744735289059618e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('0.01000000000000000000000000000000000000000000000000000000001'), mpf('32768.0'))",
      "actual": 0.1150008497030413,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('65536.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'))",
      "absolute_error": 1.0195788231247695e-56,
      "relative_error": 1.0195788231247695e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'), mpf('0.0'))",
      "absolute_error": 2.5489470578119236e-57,
      "relative_error": 2.5489470578119236e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'), mpf('0.0'))",
      "actual": 0.10956583168738417,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'), mpf('32768.0'))",
      "absolute_error": 2.5489470578119236e-57,
      "relative_error": 2.5489470578119236e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('0.09999999999999999999999999999999999999999999999999999999975'), mpf('32768.0'))",
      "actual": 0.1150820708143202,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('65536.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'), mpf('0.0'))",
      "actual": 0.11154710152244485,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'), mpf('32768.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('0.399999999999999999999999999999999999999999999999999999999'), mpf('32768.0'))",
      "actual": 0.1157416232287344,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('65536.0'), mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('1.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('1.0'), mpf('0.0'))",
      "actual": 0.1108313861311705,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('1.0'), mpf('32768.0'))",
      "absolute_error": 3.8234205867178855e-57,
      "relative_error": 3.8234205867178855e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('1.0'), mpf('32768.0'))",
      "actual": 0.11221017076266289,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('65536.0'), mpf('3.0'))",
      "absolute_error": 5.0978941156238473e-57,
      "relative_error": 5.0978941156238473e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('3.0'), mpf('0.0'))",
      "absolute_error": 1.5293682346871542e-56,
      "relative_error": 1.5293682346871542e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('3.0'), mpf('0.0'))",
      "actual": 0.08732832693036315,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('3.0'), mpf('32768.0'))",
      "absolute_error": 6.372367644529809e-57,
      "relative_error": 6.372367644529809e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('3.0'), mpf('32768.0'))",
      "actual": 0.08737066561208201,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-radial-Hessian-(mpf('65536.0'), mpf('10.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('10.0'), mpf('0.0'))",
      "absolute_error": 7.69782011459201e-55,
      "relative_error": 7.69782011459201e-55,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('10.0'), mpf('0.0'))",
      "actual": 0.06844168007033756,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-full-seed-Levi-(mpf('65536.0'), mpf('10.0'), mpf('32768.0'))",
      "absolute_error": 1.3127077347731407e-55,
      "relative_error": 1.3127077347731407e-55,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "strict-full-seed-lower-(mpf('65536.0'), mpf('10.0'), mpf('32768.0'))",
      "actual": 0.06844192075963762,
      "bound": 0.03125,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "actual-explicit-weighted-norm-bound",
      "actual": 4.584524354220803,
      "bound": 22.82761644741624,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "explicit-gradient--20",
      "actual": 0.8871581138555469,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "explicit-curvature--20",
      "actual": 0.0007233791495734137,
      "bound": 0.0006974639063893614,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-growth--20",
      "actual": 15.550055971106643,
      "bound": 14.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-20, -0.4, 0.45)",
      "actual": 7.550055971106643,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-20, 0.1, 0.3)",
      "actual": 17.550055971106644,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-20, -0.3, -0.1)",
      "actual": 9.550055971106643,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-gradient--2",
      "actual": 0.5953574347556718,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "explicit-curvature--2",
      "actual": 0.029837423681104,
      "bound": 0.018691859765265256,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-growth--2",
      "actual": 0.7407191962785692,
      "bound": 0.5,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-2, -0.4, 0.45)",
      "actual": -0.05928080372143089,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-2, 0.1, 0.3)",
      "actual": 0.9407191962785691,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-2, -0.3, -0.1)",
      "actual": 0.1407191962785692,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-gradient--0.1",
      "actual": 0.0498754675697949,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "explicit-curvature--0.1",
      "actual": 0.12406833868081911,
      "bound": 0.06203531431400502,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-growth--0.1",
      "actual": 0.0024968827977679075,
      "bound": -0.925,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-0.1, -0.4, 0.45)",
      "actual": -0.037503117202232095,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-0.1, 0.1, 0.3)",
      "actual": 0.012496882797767908,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(-0.1, -0.3, -0.1)",
      "actual": -0.027503117202232093,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-gradient-0",
      "actual": 0.0,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "explicit-curvature-0",
      "actual": 0.125,
      "bound": 0.0625,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-growth-0",
      "actual": 0.0,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(0, -0.4, 0.45)",
      "actual": 0.0,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(0, 0.1, 0.3)",
      "actual": 0.0,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(0, -0.3, -0.1)",
      "actual": 0.0,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-gradient-0.4",
      "actual": 0.1924592995172474,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "explicit-curvature-0.4",
      "actual": 0.11140830262079521,
      "bound": 0.0559160552615176,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-growth-0.4",
      "actual": 0.0392309757731342,
      "bound": -0.7,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(0.4, -0.4, 0.45)",
      "actual": -0.14076902422686582,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(0.4, 0.1, 0.3)",
      "actual": -0.08076902422686581,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(0.4, -0.3, -0.1)",
      "actual": 0.0792309757731342,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-gradient-3",
      "actual": 0.6819413865446754,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "explicit-curvature-3",
      "actual": 0.015685666569341235,
      "bound": 0.011114246312743268,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-growth-3",
      "actual": 1.3839982501294565,
      "bound": 1.25,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(3, -0.4, 0.45)",
      "actual": 0.033998250129456495,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(3, 0.1, 0.3)",
      "actual": 0.4839982501294566,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(3, -0.3, -0.1)",
      "actual": 1.6839982501294566,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-gradient-15",
      "actual": 0.8691143777443381,
      "bound": 1.0,
      "upper_bound": true,
      "passed": true
    },
    {
      "name": "explicit-curvature-15",
      "actual": 0.0011316059838034525,
      "bound": 0.001072256500935591,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "explicit-growth-15",
      "actual": 11.156016870989811,
      "bound": 10.25,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(15, -0.4, 0.45)",
      "actual": 4.406016870989811,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(15, 0.1, 0.3)",
      "actual": 6.656016870989812,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    },
    {
      "name": "noncentered-support-(15, -0.3, -0.1)",
      "actual": 12.656016870989811,
      "bound": -1.0,
      "upper_bound": false,
      "passed": true
    }
  ],
  "precision_decimal_digits": 55,
  "compact_transform_quadrature": {
    "physical_nodes": 420,
    "contour_nodes": 10560,
    "real_cutoff": 1100,
    "method": "Composite48-point Gauss-Legendre on length10 intervals, resolving the central logarithmic branch scale"
  },
  "explicit_weighted_norm_squared": 4.584524354220803,
  "certified_imaginary_tail_bound": 1.9723753036281809e-16,
  "exact_tail_bound_formula": "2*pi*e^2*exp(-40), using 0<=b<=1 on an interval of length1/2",
  "bump_L2_squared": 0.245845203228186,
  "max_relative_error": 4.653301299839541e-09,
  "calculations_supplement_full_proofs": true,
  "independent_agent_review": false
}