{
  "schema": "AN02-L151-independent-example-checks166/v1",
  "status": "PASS",
  "checks": 121,
  "records": [
    {
      "name": "actual-jet-linear-solve-eps0.03-coefficient0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.03-coefficient1",
      "absolute_error": 9.952409048247539e-134,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.03-coefficient2",
      "absolute_error": 0.0,
      "allowed_error": 6.668666666666667e-07,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.03-coefficient3",
      "absolute_error": 0.0,
      "allowed_error": 1.4815014814814815e-05,
      "passed": true
    },
    {
      "name": "actual-Hermite-value-eps0.03-node0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Hermite-first-derivative-eps0.03-node0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-Hermite-value-eps0.03-node0.03",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "physical-Hermite-first-derivative-eps0.03-node0.03",
      "absolute_error": 1.284674351436271e-64,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-complex-circle-norm-eps0.03",
      "absolute_error": 0.0,
      "allowed_error": 1.5481681481481482e-05,
      "passed": true
    },
    {
      "name": "unordered-normalization-eps0.03",
      "absolute_error": 0.0,
      "allowed_error": 6.18e-10,
      "passed": true
    },
    {
      "name": "ordered-normalization-eps0.03",
      "absolute_error": 0.0,
      "allowed_error": 2.0001128600000002e-10,
      "passed": true
    },
    {
      "name": "discriminant-half-integer-scale-eps0.03",
      "absolute_error": 0.0,
      "allowed_error": 2.000054e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.2-coefficient0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.2-coefficient1",
      "absolute_error": 3.3589380537835444e-136,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.2-coefficient2",
      "absolute_error": 0.0,
      "allowed_error": 1.52e-08,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.2-coefficient3",
      "absolute_error": 0.0,
      "allowed_error": 5.02e-08,
      "passed": true
    },
    {
      "name": "actual-Hermite-value-eps0.2-node0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Hermite-first-derivative-eps0.2-node0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-Hermite-value-eps0.2-node0.2",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "physical-Hermite-first-derivative-eps0.2-node0.2",
      "absolute_error": 1.778045060446583e-65,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-complex-circle-norm-eps0.2",
      "absolute_error": 0.0,
      "allowed_error": 6.52e-08,
      "passed": true
    },
    {
      "name": "unordered-normalization-eps0.2",
      "absolute_error": 0.0,
      "allowed_error": 7.2e-10,
      "passed": true
    },
    {
      "name": "ordered-normalization-eps0.2",
      "absolute_error": 0.0,
      "allowed_error": 2.0416e-10,
      "passed": true
    },
    {
      "name": "discriminant-half-integer-scale-eps0.2",
      "absolute_error": 0.0,
      "allowed_error": 2.016e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.4-coefficient0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.4-coefficient1",
      "absolute_error": 4.1986725672294305e-137,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.4-coefficient2",
      "absolute_error": 0.0,
      "allowed_error": 3.95e-09,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.4-coefficient3",
      "absolute_error": 0.0,
      "allowed_error": 6.45e-09,
      "passed": true
    },
    {
      "name": "actual-Hermite-value-eps0.4-node0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Hermite-first-derivative-eps0.4-node0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-Hermite-value-eps0.4-node0.4",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "physical-Hermite-first-derivative-eps0.4-node0.4",
      "absolute_error": 8.890225302232915e-66,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-complex-circle-norm-eps0.4",
      "absolute_error": 0.0,
      "allowed_error": 1.02e-08,
      "passed": true
    },
    {
      "name": "unordered-normalization-eps0.4",
      "absolute_error": 0.0,
      "allowed_error": 8.400000000000001e-10,
      "passed": true
    },
    {
      "name": "ordered-normalization-eps0.4",
      "absolute_error": 0.0,
      "allowed_error": 2.4096e-10,
      "passed": true
    },
    {
      "name": "discriminant-half-integer-scale-eps0.4",
      "absolute_error": 0.0,
      "allowed_error": 2.1280000000000003e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.8-coefficient0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.8-coefficient1",
      "absolute_error": 5.248340709036788e-138,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.8-coefficient2",
      "absolute_error": 0.0,
      "allowed_error": 1.1375e-09,
      "passed": true
    },
    {
      "name": "actual-jet-linear-solve-eps0.8-coefficient3",
      "absolute_error": 0.0,
      "allowed_error": 9.8125e-10,
      "passed": true
    },
    {
      "name": "actual-Hermite-value-eps0.8-node0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "physical-Hermite-first-derivative-eps0.8-node0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-Hermite-value-eps0.8-node0.8",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "physical-Hermite-first-derivative-eps0.8-node0.8",
      "absolute_error": 4.445112650011028e-66,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-complex-circle-norm-eps0.8",
      "absolute_error": 0.0,
      "allowed_error": 1.9187500000000002e-09,
      "passed": true
    },
    {
      "name": "unordered-normalization-eps0.8",
      "absolute_error": 0.0,
      "allowed_error": 1.0800000000000002e-09,
      "passed": true
    },
    {
      "name": "ordered-normalization-eps0.8",
      "absolute_error": 0.0,
      "allowed_error": 6.505600000000001e-10,
      "passed": true
    },
    {
      "name": "discriminant-half-integer-scale-eps0.8",
      "absolute_error": 0.0,
      "allowed_error": 3.024e-10,
      "passed": true
    },
    {
      "name": "complex-three-node-jet-reconstruction-coefficient0",
      "absolute_error": 5.924649738325255e-67,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "complex-three-node-jet-reconstruction-coefficient1",
      "absolute_error": 0.0,
      "allowed_error": 3e-10,
      "passed": true
    },
    {
      "name": "complex-three-node-jet-reconstruction-coefficient2",
      "absolute_error": 9.126800053573938e-66,
      "allowed_error": 3.4e-10,
      "passed": true
    },
    {
      "name": "complex-three-node-jet-reconstruction-coefficient3",
      "absolute_error": 1.6762946965044168e-65,
      "allowed_error": 2.4e-10,
      "passed": true
    },
    {
      "name": "complex-three-node-jet-reconstruction-coefficient4",
      "absolute_error": 2.911702903781525e-65,
      "allowed_error": 2.4e-10,
      "passed": true
    },
    {
      "name": "Taylor-reciprocal-Hermite-versus-actual-jets-at0",
      "absolute_error": 1.0080102774618984e-69,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "Taylor-reciprocal-Hermite-versus-actual-jets-at(0.7 + 0.1j)",
      "absolute_error": 0.0,
      "allowed_error": 4.3965642073601945e-10,
      "passed": true
    },
    {
      "name": "Taylor-reciprocal-Hermite-versus-actual-jets-at(-0.2 + 0.4j)",
      "absolute_error": 0.0,
      "allowed_error": 3.744293553275939e-10,
      "passed": true
    },
    {
      "name": "full-ordered-versus-unordered-complex-root-product",
      "absolute_error": 0.0,
      "allowed_error": 2.0701165000000003e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at(0.1+0.03j),0",
      "absolute_error": 0.0,
      "allowed_error": 4.2008180297334907e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at(0.1+0.03j),0",
      "absolute_error": 0.0,
      "allowed_error": 4.2103418361512954e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at-0.2,0",
      "absolute_error": 0.0,
      "allowed_error": 3.6e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at-0.2,0",
      "absolute_error": 0.0,
      "allowed_error": 3.6374615061559637e-10,
      "passed": true
    },
    {
      "name": "actual-branch-value-at(0.0 + 0.0j),0",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "actual-branch-value-at(0.0 + 0.0j),0",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at0,(0.04+0.03j)",
      "absolute_error": 3.469446951953614e-18,
      "allowed_error": 4.040281736254765e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at0,(0.04+0.03j)",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at(0.1+0.03j),(0.04+0.03j)",
      "absolute_error": 2.2301825219878386e-16,
      "allowed_error": 4.2429628983076064e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at(0.1+0.03j),(0.04+0.03j)",
      "absolute_error": 0.0,
      "allowed_error": 4.2103418361512954e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at-0.2,(0.04+0.03j)",
      "absolute_error": 1.734723475976807e-18,
      "allowed_error": 3.637631901843555e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at-0.2,(0.04+0.03j)",
      "absolute_error": 0.0,
      "allowed_error": 3.6374615061559637e-10,
      "passed": true
    },
    {
      "name": "actual-branch-value-at(0.21213203435596425830156109530881414433388662028044167117608320477 + 0.070710678118654749496161076178406674375082265169390264914904324493j),(0.04+0.03j)",
      "absolute_error": 0.0,
      "allowed_error": 4.472622219687576e-10,
      "passed": true
    },
    {
      "name": "actual-branch-value-at(-0.21213203435596425830156109530881414433388662028044167117608320477 - 0.070710678118654749496161076178406674375082265169390264914904324493j),(0.04+0.03j)",
      "absolute_error": 0.0,
      "allowed_error": 3.617715786969436e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at0,(0.12-0.08j)",
      "absolute_error": 2.7755575615628914e-17,
      "allowed_error": 4.1222347084887937e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at0,(0.12-0.08j)",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at(0.1+0.03j),(0.12-0.08j)",
      "absolute_error": 3.2959746043559335e-17,
      "allowed_error": 4.3256027544935893e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at(0.1+0.03j),(0.12-0.08j)",
      "absolute_error": 0.0,
      "allowed_error": 4.2103418361512954e-10,
      "passed": true
    },
    {
      "name": "actual-contour-remainder-at-0.2,(0.12-0.08j)",
      "absolute_error": 4.85722573273506e-17,
      "allowed_error": 3.7143332390422987e-10,
      "passed": true
    },
    {
      "name": "entire-series-quotient-identity-at-0.2,(0.12-0.08j)",
      "absolute_error": 0.0,
      "allowed_error": 3.6374615061559637e-10,
      "passed": true
    },
    {
      "name": "actual-branch-value-at(0.36347080420479411905440918614993692554469081239660821677351296182 - 0.11005010454006750600397193594816548312683459300419170545510195663j),(0.12-0.08j)",
      "absolute_error": 0.0,
      "allowed_error": 4.876625727208897e-10,
      "passed": true
    },
    {
      "name": "actual-branch-value-at(-0.36347080420479411905440918614993692554469081239660821677351296182 + 0.11005010454006750600397193594816548312683459300419170545510195663j),(0.12-0.08j)",
      "absolute_error": 0.0,
      "allowed_error": 3.3905180511199416e-10,
      "passed": true
    },
    {
      "name": "collision-first-jet-from-remainder",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "actual-real-Gram-area-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "actual-projection-Jacobian-at0,0",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "surface-projection-density-at0,0",
      "lhs": 0.0,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "actual-real-Gram-area-at0.2,0.3",
      "absolute_error": 0.0,
      "allowed_error": 5.04e-10,
      "passed": true
    },
    {
      "name": "actual-projection-Jacobian-at0.2,0.3",
      "absolute_error": 0.0,
      "allowed_error": 3.0400000000000004e-10,
      "passed": true
    },
    {
      "name": "surface-projection-density-at0.2,0.3",
      "lhs": 0.52,
      "rhs": 1.52,
      "passed": true
    },
    {
      "name": "actual-real-Gram-area-at-0.4,0.1",
      "absolute_error": 0.0,
      "allowed_error": 5.36e-10,
      "passed": true
    },
    {
      "name": "actual-projection-Jacobian-at-0.4,0.1",
      "absolute_error": 0.0,
      "allowed_error": 3.3600000000000003e-10,
      "passed": true
    },
    {
      "name": "surface-projection-density-at-0.4,0.1",
      "lhs": 0.68,
      "rhs": 1.68,
      "passed": true
    },
    {
      "name": "actual-real-Gram-area-at0.45,0",
      "absolute_error": 0.0,
      "allowed_error": 5.62e-10,
      "passed": true
    },
    {
      "name": "actual-projection-Jacobian-at0.45,0",
      "absolute_error": 0.0,
      "allowed_error": 3.6200000000000004e-10,
      "passed": true
    },
    {
      "name": "surface-projection-density-at0.45,0",
      "lhs": 0.81,
      "rhs": 1.81,
      "passed": true
    },
    {
      "name": "actual-surface-data-integral",
      "absolute_error": 0.0,
      "allowed_error": 7.053975296940068e-10,
      "passed": true
    },
    {
      "name": "actual-two-root-fiber-data-integral",
      "absolute_error": 0.0,
      "allowed_error": 5.018775039389338e-10,
      "passed": true
    },
    {
      "name": "actual-surface-minus-projected-data",
      "absolute_error": 0.0,
      "allowed_error": 4.03520025755073e-10,
      "passed": true
    },
    {
      "name": "actual-unit-ball-boundary-radius",
      "absolute_error": 0.0,
      "allowed_error": 4e-10,
      "passed": true
    },
    {
      "name": "full-area-dominates-fiber-data",
      "lhs": 1.5093875196946689,
      "rhs": 2.5269876484700338,
      "passed": true
    },
    {
      "name": "actual-derivative-strength-at-central-zero-0",
      "absolute_error": 0.0,
      "allowed_error": 1.4000000000000001e-09,
      "passed": true
    },
    {
      "name": "actual-derivative-strength-at-central-zero-0.1",
      "absolute_error": 0.0,
      "allowed_error": 1.4001666550941998e-09,
      "passed": true
    },
    {
      "name": "actual-derivative-strength-at-central-zero-(0.2+0.3j)",
      "absolute_error": 0.0,
      "allowed_error": 1.4021647141718976e-09,
      "passed": true
    },
    {
      "name": "actual-polynomial-weighted-mean-degree1-power0.5",
      "absolute_error": 0.0,
      "allowed_error": 7.026548245743669e-10,
      "passed": true
    },
    {
      "name": "actual-polynomial-weighted-mean-degree1-power1.5",
      "absolute_error": 0.0,
      "allowed_error": 5.590391604102621e-10,
      "passed": true
    },
    {
      "name": "actual-normalized-polynomial-log-mean-degree1",
      "absolute_error": 0.0,
      "allowed_error": 3e-10,
      "passed": true
    },
    {
      "name": "actual-polynomial-weighted-mean-degree2-power0.5",
      "absolute_error": 0.0,
      "allowed_error": 6.188790204786392e-10,
      "passed": true
    },
    {
      "name": "actual-polynomial-weighted-mean-degree2-power1.5",
      "absolute_error": 0.0,
      "allowed_error": 4.5132741228718347e-10,
      "passed": true
    },
    {
      "name": "actual-normalized-polynomial-log-mean-degree2",
      "absolute_error": 0.0,
      "allowed_error": 5.386294361119891e-10,
      "passed": true
    },
    {
      "name": "actual-polynomial-weighted-mean-degree3-power0.5",
      "absolute_error": 0.0,
      "allowed_error": 5.590391604102621e-10,
      "passed": true
    },
    {
      "name": "actual-polynomial-weighted-mean-degree3-power1.5",
      "absolute_error": 0.0,
      "allowed_error": 3.9332877868244885e-10,
      "passed": true
    },
    {
      "name": "actual-normalized-polynomial-log-mean-degree3",
      "absolute_error": 0.0,
      "allowed_error": 8.583518938456109e-10,
      "passed": true
    },
    {
      "name": "pole-first-coordinate-inside-polydisk",
      "lhs": 0.8,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "pole-second-coordinate-inside-polydisk",
      "lhs": 0.6142135623730951,
      "rhs": 1.0,
      "passed": true
    },
    {
      "name": "pole-outside-unit-ball",
      "lhs": 1.0,
      "rhs": 1.017258300203048,
      "passed": true
    },
    {
      "name": "actual-polydisk-pole-denominator",
      "absolute_error": 0.0,
      "allowed_error": 2e-10,
      "passed": true
    },
    {
      "name": "actual-unit-ball-rational-division-at0.02,0.03",
      "absolute_error": 0.0,
      "allowed_error": 4.073302306001157e-10,
      "passed": true
    },
    {
      "name": "actual-outside-factor-division-at0.02,0.03",
      "absolute_error": 0.0,
      "allowed_error": 2.0008e-10,
      "passed": true
    },
    {
      "name": "actual-unit-ball-rational-division-at(0.06+0.02j),(-0.04+0.01j)",
      "absolute_error": 0.0,
      "allowed_error": 4.0282205273852317e-10,
      "passed": true
    },
    {
      "name": "actual-outside-factor-division-at(0.06+0.02j),(-0.04+0.01j)",
      "absolute_error": 0.0,
      "allowed_error": 2.0080000000000002e-10,
      "passed": true
    },
    {
      "name": "actual-unit-ball-rational-division-at-0.07,0.01",
      "absolute_error": 0.0,
      "allowed_error": 3.9186006674590407e-10,
      "passed": true
    },
    {
      "name": "actual-outside-factor-division-at-0.07,0.01",
      "absolute_error": 0.0,
      "allowed_error": 2.0098e-10,
      "passed": true
    }
  ],
  "maximum_equality_error": 2.2301825219878386e-16,
  "scope": "Independent actual Hermite jet linear solves and complex-circle norms, contour remainders, entire quotient series, real graph Jacobians, two-root fiber and full surface integrals, polynomial weighted/log means and Euclidean-ball division.",
  "calculations_are_proof_supplements": true,
  "general_proof_or_recursive_closure_inferred": false
}