{
  "schema": "AN02-surface-independent-checks169/v1",
  "status": "PASS",
  "checks": 89,
  "records": [
    {
      "name": "normal-ball-mass-0.2-0.7",
      "absolute_error": 4.68369021872941e-56,
      "relative_error": 4.68369021872941e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "normal-ball-mass-1.0-0.1",
      "absolute_error": 3.2626522339992623e-55,
      "relative_error": 1.7328521457139841e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "normal-ball-mass-2.0-0.3",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "normal-ball-mass-0.8-0.03",
      "absolute_error": 1.6313261169996311e-55,
      "relative_error": 1.303350161423904e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "normal-ball-mass-4.0-1.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "normal-ball-mass-1.0-2.0",
      "absolute_error": 4.078315292499078e-56,
      "relative_error": 1.923279849549171e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "normal-real-laplacian-(0.2, 0.3, 0.4)",
      "absolute_error": 4.3274526062145175e-16,
      "relative_error": 1.1373086380707531e-16,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "normal-real-laplacian-(-0.6, 0.1, 0.2)",
      "absolute_error": 1.212520892007842e-16,
      "relative_error": 1.212520892007842e-16,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "normal-real-laplacian-(0, 0, 0.3)",
      "absolute_error": 1.6118793542705977e-15,
      "relative_error": 7.25345709421769e-17,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "normal-real-laplacian-(0.7, -0.5, 1)",
      "absolute_error": 2.0643647455543566e-17,
      "relative_error": 2.0643647455543566e-17,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "full-4x2-Gram-(0, 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "full-4x2-Gram-(0.2, 0.7)",
      "absolute_error": 8.881784197001252e-16,
      "relative_error": 2.8467257041670683e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "full-4x2-Gram-(-0.8, 0.3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "full-4x2-Gram-(1.5, -0.9)",
      "absolute_error": 1.7763568394002505e-15,
      "relative_error": 1.3416592442600078e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "full-4x2-Gram-(0.4, -1.1)",
      "absolute_error": 8.881784197001252e-16,
      "relative_error": 1.3706457094137734e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-curved-surface-area-0.1",
      "absolute_error": 8.284077937888752e-57,
      "relative_error": 8.284077937888752e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "degree-bound-0.1",
      "passed": true
    },
    {
      "name": "actual-curved-surface-area-0.3",
      "absolute_error": 2.039157646249539e-56,
      "relative_error": 2.039157646249539e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "degree-bound-0.3",
      "passed": true
    },
    {
      "name": "actual-curved-surface-area-0.7",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "degree-bound-0.7",
      "passed": true
    },
    {
      "name": "actual-curved-surface-area-1.0",
      "absolute_error": 1.6313261169996311e-55,
      "relative_error": 3.757452979332514e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "degree-bound-1.0",
      "passed": true
    },
    {
      "name": "actual-curved-surface-area-2.0",
      "absolute_error": 9.787956701997787e-55,
      "relative_error": 4.83906024729543e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "degree-bound-2.0",
      "passed": true
    },
    {
      "name": "actual-curved-surface-area-5.0",
      "absolute_error": 5.22024357439882e-54,
      "relative_error": 3.6539920079635e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "degree-bound-5.0",
      "passed": true
    },
    {
      "name": "actual-curved-surface-area-12.0",
      "absolute_error": 2.088097429759528e-53,
      "relative_error": 2.4039315924139723e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "degree-bound-12.0",
      "passed": true
    },
    {
      "name": "affine-slope-area-(0.7+0.3j)",
      "absolute_error": 4.700675430164292e-16,
      "relative_error": 8.853677284985426e-17,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "affine-slope-area-(2-1j)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "affine-slope-area-(-0.2+1.4j)",
      "absolute_error": 1.2181962040711483e-15,
      "relative_error": 2.294460917558657e-16,
      "tolerance": 1e-13,
      "passed": true
    },
    {
      "name": "actual-transformed-jets-(0j, 0j)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-(0j, 0j, (0.1+0.2j))",
      "absolute_error": 6.280369834735101e-16,
      "relative_error": 6.280369834735101e-16,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-(0j, 0j, (-0.6+0.3j))",
      "absolute_error": 2.482534153247273e-15,
      "relative_error": 9.251858538542972e-16,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-(0j, 0j, (0.7-0.5j))",
      "absolute_error": 1.88411095042053e-15,
      "relative_error": 5.475586227943995e-16,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-transformed-jets-((3+0.2j), 0j)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((3+0.2j), 0j, (0.1+0.2j))",
      "absolute_error": 2.835962525803382e-15,
      "relative_error": 2.835962525803382e-15,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((3+0.2j), 0j, (-0.6+0.3j))",
      "absolute_error": 7.999193488866332e-15,
      "relative_error": 7.999193488866332e-15,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((3+0.2j), 0j, (0.7-0.5j))",
      "absolute_error": 2.4131777118819715e-14,
      "relative_error": 2.4131777118819715e-14,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-transformed-jets-((-0.4+0.9j), (0.2-0.3j))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((-0.4+0.9j), (0.2-0.3j), (0.1+0.2j))",
      "absolute_error": 1.5100665727558131e-15,
      "relative_error": 1.1770731958799298e-15,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((-0.4+0.9j), (0.2-0.3j), (-0.6+0.3j))",
      "absolute_error": 1.5100665727558131e-15,
      "relative_error": 1.5100665727558131e-15,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((-0.4+0.9j), (0.2-0.3j), (0.7-0.5j))",
      "absolute_error": 3.1401849173675502e-15,
      "relative_error": 1.022579012988054e-15,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-transformed-jets-((8-2j), (4+0.7j))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((8-2j), (4+0.7j), (0.1+0.2j))",
      "absolute_error": 3.922341112661262e-14,
      "relative_error": 2.4070094108797067e-15,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((8-2j), (4+0.7j), (-0.6+0.3j))",
      "absolute_error": 2.5069455410529523e-13,
      "relative_error": 1.563688578445536e-14,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "actual-root-discriminant-((8-2j), (4+0.7j), (0.7-0.5j))",
      "absolute_error": 2.073169012889726e-13,
      "relative_error": 1.25786120872152e-14,
      "tolerance": 1e-11,
      "passed": true
    },
    {
      "name": "safe-circle-quotient-(1, 0.15)",
      "absolute_error": 3.469446951953614e-18,
      "relative_error": 3.469446951953614e-18,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "safe-circle-quotient-(1, 0.21)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "safe-circle-quotient-(2, 0.15)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "safe-circle-quotient-(2, 0.21)",
      "absolute_error": 3.469446951953614e-18,
      "relative_error": 3.469446951953614e-18,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "safe-circle-quotient-(3, 0.15)",
      "absolute_error": 1.734723475976807e-18,
      "relative_error": 1.734723475976807e-18,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "safe-circle-quotient-(3, 0.21)",
      "absolute_error": 3.469446951953614e-18,
      "relative_error": 3.469446951953614e-18,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "safe-circle-quotient-(5, 0.15)",
      "absolute_error": 1.1107649934270853e-16,
      "relative_error": 1.1107649934270853e-16,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "safe-circle-quotient-(5, 0.21)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-curved-density-mean-(0, 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-single-factor-mode-(0, 0)",
      "absolute_error": 5.0978941156238473e-57,
      "relative_error": 5.0978941156238473e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-repeated-factor-mode-(0, 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-curved-density-mean-(0.8, -0.3)",
      "absolute_error": 1.2412670766236366e-16,
      "relative_error": 1.2412670766236366e-16,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-single-factor-mode-(0.8, -0.3)",
      "absolute_error": 5.254788976732963e-57,
      "relative_error": 5.254788976732963e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-repeated-factor-mode-(0.8, -0.3)",
      "absolute_error": 7.965459555662261e-59,
      "relative_error": 7.965459555662261e-59,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-curved-density-mean-(-1.5, 0.7)",
      "absolute_error": 1.1102230246251565e-16,
      "relative_error": 9.089737330358692e-17,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-single-factor-mode-(-1.5, 0.7)",
      "absolute_error": 5.0978941156238473e-57,
      "relative_error": 5.0978941156238473e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-repeated-factor-mode-(-1.5, 0.7)",
      "absolute_error": 6.372367644529809e-58,
      "relative_error": 6.372367644529809e-58,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-curved-density-mean-(2.1, 1.4)",
      "absolute_error": 1.3877787807814457e-17,
      "relative_error": 1.3877787807814457e-17,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-single-factor-mode-(2.1, 1.4)",
      "absolute_error": 1.2744735289059618e-57,
      "relative_error": 1.2744735289059618e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-repeated-factor-mode-(2.1, 1.4)",
      "absolute_error": 1.3136972441832408e-57,
      "relative_error": 1.3136972441832408e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-curved-density-mean-(-0.4, -1.2)",
      "absolute_error": 2.482534153247273e-16,
      "relative_error": 1.664092407889759e-16,
      "tolerance": 1e-12,
      "passed": true
    },
    {
      "name": "actual-single-factor-mode-(-0.4, -1.2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-repeated-factor-mode-(-0.4, -1.2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-density-L2-0.2",
      "absolute_error": 1.6313261169996311e-55,
      "relative_error": 2.209928351668211e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-density-L2-0.5",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-density-L2-1.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-density-L2-2.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-cubic-operator--1",
      "absolute_error": 1.6313261169996311e-55,
      "relative_error": 1.6313261169996311e-55,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "complex-direction-density--1",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-cubic-operator--0.3",
      "absolute_error": 4.078315292499078e-56,
      "relative_error": 4.078315292499078e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "complex-direction-density--0.3",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-cubic-operator-0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "complex-direction-density-0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-cubic-operator-0.7",
      "absolute_error": 8.156630584998156e-56,
      "relative_error": 8.156630584998156e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "complex-direction-density-0.7",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-cubic-operator-1.2",
      "absolute_error": 5.767608798285792e-56,
      "relative_error": 5.767608798285792e-56,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "complex-direction-density-1.2",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "actual-tested-forward-signs",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "unit-direction-reflection-0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "unit-direction-reflection-1",
      "absolute_error": 5.0978941156238473e-57,
      "relative_error": 3.224191335148226e-57,
      "tolerance": 1e-40,
      "passed": true
    },
    {
      "name": "unit-direction-reflection-2",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-40,
      "passed": true
    }
  ],
  "precision_decimal_digits": 55,
  "max_relative_error": 2.4131777118819715e-14,
  "calculations_supplement_full_proof": true,
  "independent_agent_review": false
}