{
  "lambda_pi": "1/6",
  "lambda_prime_pi": "1/4",
  "h_pi": "1/12",
  "alpha_pi": "5/24",
  "alpha_prime_pi": "7/24",
  "neighbor_final_aperture_pi": "7/12",
  "B": "1",
  "B_prime": "3/2",
  "B_prime_strictly_above_B_over_cos_alpha": true,
  "K_max": "3/(2*cos(7*pi/24))",
  "eta_star_pi": "1/48",
  "covector_phase_half_width_pi": "1/16",
  "neighbor_overlap_half_width_pi": "1/48",
  "normalized_covariable_radius": "1/64",
  "endpoint_coordinate_radius": "1/64",
  "collar_one_polydisc_radius": "1/4",
  "collar_support_polydisc_radius": "1/2",
  "outer_source_radii": "3",
  "time_intermediate_bound_strictly_below": "5/64",
  "spatial_intermediate_bound_strictly_below": "7/64",
  "phase_count": 24,
  "supports": "One separate phase cone and one separate neighboring cone; no cone contains the whole phase circle.",
  "support_chain": [
    "T(lambda,B,phi)",
    "G(lambda,B,phi)",
    "T(lambda_prime,B_prime,phi)",
    "G(lambda_prime,B_prime,phi)"
  ],
  "boundary_support": "T prime, then mapped forward to convex G prime; not asserted on initial G",
  "support_forgetting_injectivity_claimed": false,
  "slice": "Im(e^(i*phi)w)=0 and Im(zeta)=0, N=2",
  "proof_locators": [
    "IM.18",
    "IM.19",
    "IM.20",
    "IM.21",
    "IM.22",
    "IM.23",
    "IM.15 full-cone Cech coordinate calibration"
  ],
  "free_definition": "https://perso.imj-prg.fr/pierre-schapira/wp-content/uploads/schapira-pub/Microhyp.pdf section1.2 page5",
  "licence": "CC0-1.0"
}