{
  "schema": "AN02-L155-independent-checks178/v1",
  "status": "PASS",
  "checks": 115,
  "records": [
    {
      "name": "actual-weighted-real-moment-(mpf('1.0'), 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('1.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('1.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('1.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('2.5'), 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('2.5'), 1)",
      "absolute_error": 1.5557538194652854e-61,
      "relative_error": 1.5557538194652854e-61,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('2.5'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('2.5'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('4096.0'), 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('4096.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('4096.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-weighted-real-moment-(mpf('4096.0'), 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-imaginary-profile-normalization-0.5",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-imaginary-profile-normalization-1.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-imaginary-profile-normalization-2.0",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('-2.0'), 0)",
      "absolute_error": 6.196192831226714e-65,
      "relative_error": 6.196192831226714e-65,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('-2.0'), 1)",
      "absolute_error": 1.0729992463831627e-64,
      "relative_error": 1.0729992463831627e-64,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('-2.0'), 2)",
      "absolute_error": 1.5557557936995512e-61,
      "relative_error": 8.839521555111087e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('-2.0'), 3)",
      "absolute_error": 4.305220567794242e-64,
      "relative_error": 1.573545529164562e-64,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('0.0'), 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('0.0'), 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('0.0'), 2)",
      "absolute_error": 1.5557538194652854e-61,
      "relative_error": 8.83951033787094e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('0.0'), 3)",
      "absolute_error": 1.727233711018889e-77,
      "relative_error": 6.312988709864359e-78,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('1.5'), 0)",
      "absolute_error": 3.8861274642554986e-63,
      "relative_error": 3.8861274642554986e-63,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('1.5'), 1)",
      "absolute_error": 5.268180718927896e-65,
      "relative_error": 5.268180718927896e-65,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('1.5'), 2)",
      "absolute_error": 1.5557539321866833e-61,
      "relative_error": 8.839510978333427e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('0.700000000000000000000000000000000000000000000000000000000000031'), mpf('0.600000000000000000000000000000000000000000000000000000000000016'), mpf('1.5'), 3)",
      "absolute_error": 1.1877610495836472e-64,
      "relative_error": 4.341231906372979e-65,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('-2.0'), 0)",
      "absolute_error": 7.792468118539694e-66,
      "relative_error": 7.792468118539694e-66,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('-2.0'), 1)",
      "absolute_error": 7.778769975155523e-62,
      "relative_error": 7.778769975155523e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('-2.0'), 2)",
      "absolute_error": 3.131155371267768e-65,
      "relative_error": 6.748179679456397e-66,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('-2.0'), 3)",
      "absolute_error": 1.4819857549076445e-64,
      "relative_error": 1.465571355723541e-65,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('0.0'), 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('0.0'), 1)",
      "absolute_error": 3.111507638930571e-61,
      "relative_error": 3.111507638930571e-61,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('0.0'), 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('0.0'), 3)",
      "absolute_error": 8.636168555094445e-78,
      "relative_error": 8.540514789452576e-79,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('1.5'), 0)",
      "absolute_error": 4.769935030136419e-66,
      "relative_error": 4.769935030136419e-66,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('1.5'), 1)",
      "absolute_error": 7.778769439965553e-62,
      "relative_error": 7.778769439965553e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('1.5'), 2)",
      "absolute_error": 1.0767774127436667e-65,
      "relative_error": 2.3206409757406612e-66,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "auxiliary-Gaussian-horizontal-contour-phase-(mpf('2.0'), mpf('-0.799999999999999999999999999999999999999999999999999999999999969'), mpf('1.5'), 3)",
      "absolute_error": 5.218592285447144e-65,
      "relative_error": 5.160791421526052e-66,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-seed-Hermitian-matrix-(mpf('0.0'), mpf('0.0'), mpf('0.0'), mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-seed-smallest-Levi-eigenvalue-(mpf('0.0'), mpf('0.0'), mpf('0.0'), mpf('0.0'))",
      "actual": 3.5762786865234375e-07,
      "lower_bound": 1.1920928955078125e-07,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-seed-Hermitian-matrix-(mpf('1.0'), mpf('2.0'), mpf('3.0'), mpf('-4.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-seed-smallest-Levi-eigenvalue-(mpf('1.0'), mpf('2.0'), mpf('3.0'), mpf('-4.0'))",
      "actual": 3.576277100552176e-07,
      "lower_bound": 1.19209156324192e-07,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-seed-Hermitian-matrix-(mpf('4096.0'), mpf('-2048.0'), mpf('0.0'), mpf('4096.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-seed-smallest-Levi-eigenvalue-(mpf('4096.0'), mpf('-2048.0'), mpf('0.0'), mpf('4096.0'))",
      "actual": 2.424258879669119e-07,
      "lower_bound": 7.08822676541043e-08,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-seed-Hermitian-matrix-(mpf('-8192.0'), mpf('1024.0'), mpf('8192.0'), mpf('-4096.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-seed-smallest-Levi-eigenvalue-(mpf('-8192.0'), mpf('1024.0'), mpf('8192.0'), mpf('-4096.0'))",
      "actual": 9.424392312031671e-08,
      "lower_bound": 3.109543681290323e-08,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(0, mpf('-1.0'))",
      "absolute_error": 3.111507638930571e-61,
      "relative_error": 3.111507638930571e-61,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(0, mpf('-0.25'))",
      "absolute_error": 1.5557538194652854e-61,
      "relative_error": 1.5557538194652854e-61,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(0, mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(0, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(0, mpf('1.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(1, mpf('-1.0'))",
      "absolute_error": 1.2446030555722283e-60,
      "relative_error": 1.2446030555722283e-60,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(1, mpf('-0.25'))",
      "absolute_error": 1.2446030555722283e-60,
      "relative_error": 1.2446030555722283e-60,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(1, mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(1, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(1, mpf('1.0'))",
      "absolute_error": 7.778769097326427e-62,
      "relative_error": 7.778769097326427e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(2, mpf('-1.0'))",
      "absolute_error": 4.9784122222889134e-60,
      "relative_error": 4.9784122222889134e-60,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(2, mpf('-0.25'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(2, mpf('0.0'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(2, mpf('0.700000000000000000000000000000000000000000000000000000000000031'))",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-third-order-repeated-characteristic-kernel-(2, mpf('1.0'))",
      "absolute_error": 7.778769097326427e-62,
      "relative_error": 7.778769097326427e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-compact-triangle-transform-(0.0 + 0.0j)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-compact-triangle-transform-(0.5 + 0.0j)",
      "absolute_error": 7.778769097326427e-62,
      "relative_error": 7.778769097326427e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-compact-triangle-transform-(2.0 + 0.299999999999999988897769753748434595763683319091796875j)",
      "absolute_error": 1.9446922743316068e-62,
      "relative_error": 1.9446922743316068e-62,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-compact-triangle-transform-(-1.0 + 2.0j)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-compact-test-sixth-derivative-of-triple-triangle",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-triple-triangle-zero-outside-carrier--3.4",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-triple-triangle-zero-outside-carrier-3.4",
      "absolute_error": 1.921854294434925e-59,
      "relative_error": 1.921854294434925e-59,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-triple-triangle-zero-outside-carrier-4.5",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-sixth-derivative-between-knots--2.4",
      "absolute_error": 3.9272747722381812e-90,
      "relative_error": 3.9272747722381812e-90,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-sixth-derivative-between-knots--0.3",
      "absolute_error": 8.043058733543795e-87,
      "relative_error": 8.043058733543795e-87,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-sixth-derivative-between-knots-1.4",
      "absolute_error": 3.770183781348654e-88,
      "relative_error": 3.770183781348654e-88,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(1, 0)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-1",
      "actual": 0.5,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(1, 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-1",
      "actual": 0.5,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(1, 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-1",
      "actual": 0.5,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(2, 1)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-2",
      "actual": 0.75,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(2, 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-2",
      "actual": 0.75,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(2, 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-2",
      "actual": 0.75,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(3, 2)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-3",
      "actual": 0.875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(3, 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-3",
      "actual": 0.875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(3, 4)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-3",
      "actual": 0.875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(4, 3)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-4",
      "actual": 0.9375,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(4, 4)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-4",
      "actual": 0.9375,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(4, 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-4",
      "actual": 0.9375,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(5, 4)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-5",
      "actual": 0.96875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(5, 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-5",
      "actual": 0.96875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(5, 6)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-5",
      "actual": 0.96875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(6, 5)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-6",
      "actual": 0.984375,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(6, 6)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-6",
      "actual": 0.984375,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(6, 7)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-6",
      "actual": 0.984375,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(7, 6)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-7",
      "actual": 0.9921875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(7, 7)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-7",
      "actual": 0.9921875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    },
    {
      "name": "actual-isolated-point-mass-derivative-(7, 8)",
      "absolute_error": 0.0,
      "relative_error": 0.0,
      "tolerance": 1e-38,
      "passed": true
    },
    {
      "name": "actual-position-inside-open-domain-7",
      "actual": 0.9921875,
      "lower_bound": 0.0,
      "tolerance": 1e-18,
      "passed": true
    }
  ],
  "max_relative_error": 1.921854294434925e-59,
  "numeric_checks_are_supplements_to_full_proofs": true,
  "auxiliary_Gaussian_tests_are_not_compact_test_scope": true,
  "compact_spline_probe_has_cutoff_equal_one_on_entire_carrier": true,
  "arbitrary_distribution_topology_and_density_claims_proved_in_formal_source": true
}