{
  "schema": "AN02-polynomial-averaging036-geometry/v1",
  "license": "CC0-1.0",
  "polynomial": "z^2-1/16",
  "rho": "1",
  "roots": [
    "-1/4",
    "1/4"
  ],
  "available_closed_annulus": {
    "inner": "1/3",
    "outer": "5/12"
  },
  "actual_density_support": "any normalized smooth radial bump compactly inside the open annulus",
  "phase_circle_radius": "3/8",
  "image_center": "-1/16",
  "image_radius": "9/64",
  "image_traversals": 2,
  "exact_annulus_lower_bound": "7/144",
  "exact_phase_circle_lower_bound": "5/64",
  "coefficient_norm": "sqrt(1025)/16",
  "normalized_annulus_bound": "7/(9*sqrt(1025))",
  "proof_locators": [
    "PA036-3",
    "PA036-4",
    "learner section 5, first example",
    "learner exercise 4"
  ],
  "illustration_is_not_a_numerical_proof": true
}