{
  "schema": "actual-regular-normal-figure-checks/v1",
  "finite_rows": 3,
  "xi": [
    "3/5",
    "4/5",
    "0"
  ],
  "eta": [
    "0",
    "4/5",
    "3/5"
  ],
  "xi_prime": [
    "-4/5",
    "3/5",
    "0"
  ],
  "eta_prime": [
    "0",
    "-3/5",
    "4/5"
  ],
  "u": [
    "1",
    "2",
    "3"
  ],
  "u_prime": [
    "2",
    "-1",
    "1"
  ],
  "contraction": "17/5",
  "contraction_prime": "1",
  "T_u": [
    "51/25",
    "68/25",
    "0"
  ],
  "T_prime_u": [
    "-2",
    "3",
    "0"
  ],
  "full_output_derivative": [
    "-53/25",
    "71/25",
    "0"
  ],
  "T_u_norm_square": "289/25",
  "u_norm_square": "14",
  "grid_cases": [
    {
      "n": 2,
      "rank": 8,
      "gradient_norm_square": "5",
      "exact_error_square": "5/48",
      "proved_bound_square": "5/4"
    },
    {
      "n": 4,
      "rank": 32,
      "gradient_norm_square": "5",
      "exact_error_square": "5/192",
      "proved_bound_square": "5/16"
    },
    {
      "n": 8,
      "rank": 128,
      "gradient_norm_square": "5",
      "exact_error_square": "5/768",
      "proved_bound_square": "5/64"
    }
  ],
  "compact_arrow_core_required": true,
  "global_derivative_ideal_preserved_by_ordinary_unitary_inferred": false,
  "normalized_auxiliary_generator_proved": false,
  "original_Bott_plus_one_comparison_proved": false,
  "canvas": [
    2450,
    1800
  ],
  "text_canvas_overflows": []
}