{
  "cuts": [
    {
      "m": 2,
      "balanced_cuts": 6,
      "minimum_distinct_residuals": 2
    },
    {
      "m": 3,
      "balanced_cuts": 126,
      "minimum_distinct_residuals": 6
    }
  ],
  "persistent": [
    {
      "m": 2,
      "updates": 250,
      "retained_versions": 251,
      "max_new_tree_nodes_per_update": 9,
      "node_bound": 15
    },
    {
      "m": 3,
      "updates": 250,
      "retained_versions": 251,
      "max_new_tree_nodes_per_update": 25,
      "node_bound": 25
    },
    {
      "m": 5,
      "updates": 250,
      "retained_versions": 251,
      "max_new_tree_nodes_per_update": 30,
      "node_bound": 30
    }
  ],
  "passed": true,
  "status": "finite exact checks, not formal verification or runtime proof"
}