{
  "kind": "exact sector geometry and proved map diagram; no numerical solution",
  "sector_cover": {
    "centres": [
      "0",
      "pi/2",
      "pi",
      "3pi/2"
    ],
    "angular_half_width": "3pi/8",
    "adjacent_overlap_opening": "pi/4",
    "opposite_intersections": "empty",
    "Cauchy_rays": [
      "pi/4",
      "3pi/4",
      "5pi/4",
      "7pi/4"
    ],
    "radial_coordinate": "|zeta|/R1",
    "inner_radius": 1,
    "displayed_outer_radius": 2.45,
    "rays_continue_to": "infinity",
    "proof": "SG.2, SG.7–SG.11"
  },
  "gauge": {
    "sector_matrices": "finite Laplace representatives of arbitrary Gevrey coefficients",
    "growth_exponent": "alpha=1-1/max(2,k), N^k=0",
    "monodromy": "M=L3^-1 L2^-1 L1^-1 L0^-1",
    "Euler_matrix": "(H-I)^transpose, exp(2pi i H)=M",
    "actual_inverse": "VW=WV=I in full coefficient ring",
    "proof": "FG.1–FG.17; SG.1–SG.16"
  },
  "purity": {
    "first": "Z=Lambda intersect {g(x)=0}; codim>=n+1",
    "second": "fixed analytic exceptional set W containing the singular/intersection loci; codim>=n+1",
    "conclusion": "B tensor_E M injects into C tensor_E M for every coherent holonomic M",
    "proof": "GM.13–GM.16, exact earlier PG.1–PG.2"
  },
  "general_C_over_B_flatness_asserted": false
}