{
  "mode": "correct connection",
  "arithmetic": "exact rational functions over complex coefficients",
  "chart": "x in R^3; missing point y0=-1, y1=y2=y3=0",
  "background": "A=V=C=0, H=-i/ell, ell>0; trivial R bundle",
  "global_extension": "ambient polynomial q in SU(2); global left and right frames",
  "grouped_exact_assertions": {
    "Clifford_matrices": 9,
    "ambient_spin_lift": 2,
    "coframe_metric_orientation": 4,
    "Cartan_input_checks": 18,
    "Maurer_forms": 6,
    "spin_frame_transition": 6,
    "complete_Killing_matrices": 6,
    "omitted_frame_term_control": 7,
    "scalar_profile_control": 6
  },
  "total": 64,
  "scalar_equations_per_frame_per_charge_family": 12,
  "charge_families": "independent zeta and tilde_zeta; identical operators here",
  "left_Killing_residual_zero": true,
  "right_Killing_residual_zero": true,
  "omitted_term_north_coordinate_Frobenius_square": "24",
  "profile_residual_norm_square": "(1-y0^2)/ell^2",
  "profile_pole_sample_zero": true,
  "profile_global_residual_zero": false
}