{
  "schema": "AN02-L144-independent-example-checks/v1",
  "status": "PASS",
  "checks": [
    {
      "name": "Gaussian area a=0.4",
      "actual": 7.853981633974484,
      "expected": 7.853981633974483,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Gaussian second moment a=0.4",
      "actual": 19.6349540849362,
      "expected": 19.634954084936204,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Gaussian area a=1",
      "actual": 3.1415926535897936,
      "expected": 3.141592653589793,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Gaussian second moment a=1",
      "actual": 3.141592653589793,
      "expected": 3.141592653589793,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Gaussian area a=3.2",
      "actual": 0.9817477042468103,
      "expected": 0.9817477042468103,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Gaussian second moment a=3.2",
      "actual": 0.3067961575771282,
      "expected": 0.3067961575771282,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Disk inside",
      "actual": 0.6067897635087055,
      "expected": 0.6067897635087054,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Disk outside",
      "actual": 0.6067897635087057,
      "expected": 0.6067897635087054,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Disk normalized full norm",
      "actual": 0.7725887222397814,
      "expected": 0.7725887222397811,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Disk cumulative at R=0.3",
      "actual": 0.011337658860897064,
      "expected": 0.011337658860897172,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Disk cumulative at R=1",
      "actual": 0.6067897635087055,
      "expected": 0.6067897635087057,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Disk cumulative at R=2",
      "actual": 1.1408719162307113,
      "expected": 1.1408719162307113,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Disk cumulative at R=5",
      "actual": 1.2111945093830403,
      "expected": 1.2111945093830403,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Least Levi eigenvalue at r=0",
      "actual": 2.0,
      "expected": 2.0,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Other Levi eigenvalue at r=0",
      "actual": 2.0,
      "expected": 2.0,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Least Levi eigenvalue at r=0.5",
      "actual": 1.28,
      "expected": 1.28,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Other Levi eigenvalue at r=0.5",
      "actual": 1.6,
      "expected": 1.6,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Least Levi eigenvalue at r=2",
      "actual": 0.08000000000000002,
      "expected": 0.08,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Other Levi eigenvalue at r=2",
      "actual": 0.4,
      "expected": 0.4,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Least Levi eigenvalue at r=8",
      "actual": 0.00047337278106509076,
      "expected": 0.00047337278106508875,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Other Levi eigenvalue at r=8",
      "actual": 0.03076923076923077,
      "expected": 0.03076923076923077,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Ellipse radial level",
      "actual": 0.9999999999999999,
      "expected": 1.0,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Ellipse tangential level",
      "actual": 1.0000000000000002,
      "expected": 1.0,
      "tolerance": 1e-10,
      "pass": true
    },
    {
      "name": "Data example3 curvature-weighted norm is finite",
      "actual": 1.8734804924621302,
      "upper_bound": 3.141592653589793,
      "pass": true
    }
  ],
  "count": 24,
  "meaning": "Numerical/algebra checks supplement complete exact proofs;no numerical result supplies a missing prerequisite."
}