{
  "scope": "Exact real section, exact rational complex-time sample, and chain diagram; no numerical proof",
  "cone": {
    "epsilon": "1/4",
    "A": 3,
    "g": "r^2/20",
    "L": "1/10",
    "L_valid_radius": 1,
    "output_Re_t": "1/10",
    "output_x": "1/20"
  },
  "nested": {
    "a": "-3/20",
    "t": "-3/200+i/50",
    "theta": "13/20",
    "sigma": "2/5",
    "delta": "1/250",
    "kappa": "2/5",
    "s": {
      "real": "-249/4000",
      "imag": "13/1000"
    },
    "r": {
      "real": "-1149/10000",
      "imag": "13/2500"
    },
    "outer_radius": 0.02310628168953865,
    "inner_radius": 0.025289856739771643,
    "total_radius": 0.048396138429310294
  },
  "proof_locators": [
    "CA.1-CA.4",
    "CA.9-CA.11",
    "CA.22-CA.24",
    "CA.29-CA.35"
  ],
  "free_context": "Bound Microhyp section3.1 and HolIII III.1/IV.2; all depicted statements proved locally"
}