{
  "schema": "AN02-L149-original-figure-geometry/v1",
  "curvature": {
    "model": "k=1; correction p_t only",
    "q_min": 0.01,
    "q_max": 100000.0,
    "normalized_minimum": "1/(4*(1+q^2)^(3/4))+(q^2-2)/(16*(1+q^2))",
    "correction_bound": "1/16",
    "general_log_error_budget": "1/144",
    "retained_bound": "1/18",
    "proof": "VS12\u2013VS20; learner example 2"
  },
  "finite_maximum": {
    "interval_radii": [
      0.5,
      1.0,
      1.5
    ],
    "t": [
      64.0,
      144.0,
      256.0
    ],
    "G": [
      1.0,
      160.0,
      800.0
    ],
    "analytic_stabilized_strip_radius": 5,
    "shown_stage_count": 3,
    "switches_are_numeric_roots_of_exact_functions": [
      344.58379368204913,
      1334.2963828221018
    ],
    "full_exhaustion_is_not_numerically_sampled": true,
    "proof": "PW15\u2013PW19; learner example 3"
  },
  "exterior": {
    "K": [
      -1,
      1
    ],
    "C": [
      2,
      3
    ],
    "u_support": [
      2.25,
      2.75
    ],
    "separating_direction": 1,
    "gap": 1,
    "positive_shift_support_sum": "-eta",
    "negative_shift_support_sum": "-4*eta",
    "small_coefficient": "exp(-2*eta)",
    "comparison_energy_over_pi": "(exp(3.5*eta)-exp(2.5*eta))/eta; value 1 at eta=0",
    "multiplied_energy_over_pi": "(exp(1.5*eta)-exp(.5*eta))/eta; value 1 at eta=0",
    "proof": "PW24\u2013PW28; learner example 4"
  },
  "original_artwork": true,
  "numerical_samples_do_not_prove_general_statements": true,
  "protected_book_media_included": false,
  "Blender_needed": false,
  "Blender_reason": "Exact scalar curves and real support intervals are best shown by reproducible scientific plots."
}