{
  "bound": "p^2+q^2 > max_j((JR_a)_j^2+(JR_d)_j^2)/(theta0_j)^2",
  "checks": {
    "Euler expression is independent of an edge dependency": "pass",
    "all-plus dependency exponent is zero": "pass",
    "collapse preserves the skew pairing": "pass",
    "complete angle pairing gives minus formal Euler": "pass",
    "coordinatewise Cauchy bound is an exact sum of squares": "pass",
    "deformation gives meridian angular holonomy two": "pass",
    "deformation has exact unit symplectic dual coordinate": "pass",
    "half-integral lift gives an integral normal class": "pass",
    "maximum/minimum conversion retains fractional translations": "pass",
    "native longitude degree equals twice normal Euler degree": "pass",
    "normal-class map recovers the exact even lattice row": "pass",
    "odd root row is not silently admitted": "pass",
    "omitting Weyl commutator leaves a genuine meridian error": "pass",
    "omitting the native longitude scalar is not harmless": "pass",
    "skew sign": "pass",
    "source-native meridian in the old witness forbids complete angles": "pass",
    "tetrahedron translation leaves X unchanged": "pass",
    "tetrahedron vector is radical": "pass",
    "unit retains its filling correction": "pass"
  },
  "fractional_lift_calibration": {
    "U": [
      "1/2",
      "5/2",
      "-3/2"
    ],
    "X": [
      2,
      0,
      4
    ],
    "double_arc_value": "8",
    "longitude_row": [
      0,
      1,
      -1
    ],
    "raw_row": [
      1,
      3,
      -1
    ],
    "topological_realization_asserted": false
  },
  "proved_formula": "D_l(lambda)=2*(delta(X_lambda)-chi_top(X_lambda))",
  "scope": "universal exact algebra; no topological instances searched"
}
