{
  "exact_domain": "0 < |w| < 1",
  "exact_exhaustion": "psi(w)=|w|^2-log(1-|w|^2)+|w|^-2",
  "exact_Levi_coefficient": "1+(1-|w|^2)^(-2)+|w|^(-4)",
  "stationary_squared_radius_polynomial": "-s^3+2*s^2+s-1=0",
  "unique_stationary_radius_numerical": 0.7449551208545191,
  "minimum_numerical": 3.1664827839369223,
  "method": "100 bisection steps on each monotone radial branch; numerical drawing only",
  "levels": [
    {
      "level": 4,
      "inner_radius_numerical": 0.5466763068748486,
      "outer_radius_numerical": 0.9282367477382332
    },
    {
      "level": 6,
      "inner_radius_numerical": 0.42157748367967995,
      "outer_radius_numerical": 0.9907966980522234
    },
    {
      "level": 9,
      "inner_radius_numerical": 0.3377768686604775,
      "outer_radius_numerical": 0.9995439546490668
    }
  ],
  "proof_locator": "OC.1\u2013OC.2, equations OC.2\u2013OC.4",
  "scope": "The N=1 example with unit base radii and base coordinates fixed at zero. Additional punctured normal coordinates in a higher-dimensional slice must instead be fixed at nonzero constants, shifting the exhaustion by an additive constant. The full product exhaustion is the sum in OC.2."
}