{
  "status": "PASS",
  "checks": 2758,
  "positive_atomic_families": 56,
  "main_flat": {
    "status": "FLAT",
    "order": 3,
    "schur": "0",
    "recurrence": [
      "0",
      "2",
      "1"
    ],
    "polynomial": [
      "0",
      "-2",
      "-1",
      "1"
    ],
    "ldl_diagonal": [
      "1",
      "5/4",
      "4/5"
    ]
  },
  "signed_prony": {
    "order": 2,
    "determinant": "-1",
    "recurrence": [
      "-2",
      "3"
    ],
    "polynomial": [
      "2",
      "-3",
      "1"
    ]
  },
  "confluent_polynomial": [
    "4",
    "-4",
    "1"
  ],
  "uniform_christoffel": {
    "degree": 2,
    "point": "0",
    "bound": "4/9",
    "polynomial": [
      "1",
      "0",
      "-5/3"
    ],
    "square": [
      "1",
      "0",
      "-10/3",
      "0",
      "25/9"
    ],
    "ldl_diagonal": [
      "1",
      "1/3",
      "4/45"
    ]
  },
  "gaussian_moments": [
    "1",
    "0",
    "1/3",
    "0",
    "1/5",
    "0",
    "3/25"
  ],
  "uniform_schur": "4/175",
  "robust_atom_bound": "811/1800",
  "compact_maximum": "2/3",
  "escaping_examples": [
    {
      "outer_node": "1",
      "outer_weight": "1/6",
      "zero_weight": "2/3"
    },
    {
      "outer_node": "2",
      "outer_weight": "1/24",
      "zero_weight": "11/12"
    },
    {
      "outer_node": "4",
      "outer_weight": "1/96",
      "zero_weight": "47/48"
    },
    {
      "outer_node": "8",
      "outer_weight": "1/384",
      "zero_weight": "191/192"
    }
  ],
  "noise_counterexample": {
    "epsilon": "1/1000000000",
    "moments": [
      "1",
      "200000001/400000000",
      "600000003/400000000",
      "5000000049/2000000000",
      "11000000151/2000000000",
      "4200000093/400000000",
      "8600000283/400000000"
    ],
    "rank4_determinant": "8999999973000000026999999991/62500000000000000000000000000000000",
    "square_value": "9/62500000",
    "square_budget": "7/500000",
    "outside_mass_bound": "7/5000"
  },
  "collision_examples": [
    {
      "delta": "1/2",
      "determinant": "1/4",
      "samples": [
        "1",
        "1",
        "5/4",
        "7/4"
      ]
    },
    {
      "delta": "1/1024",
      "determinant": "1/1048576",
      "samples": [
        "1",
        "1",
        "1048577/1048576",
        "1048579/1048576"
      ]
    },
    {
      "delta": "1/1048576",
      "determinant": "1/1099511627776",
      "samples": [
        "1",
        "1",
        "1099511627777/1099511627776",
        "1099511627779/1099511627776"
      ]
    }
  ],
  "scope": "Exact rational examples and finite cross-checks, not a floating root finder or proof of the general theorems"
}