{
  "mode": "round geometry",
  "grouped_exact_assertions": 163,
  "assertions_by_group": {
    "global_frame": 3,
    "structure": 36,
    "connection": 27,
    "curvature": 83,
    "coordinate_metric": 2,
    "spin_lift": 12
  },
  "de1_coefficient_of_e2_wedge_e3": "2/ell",
  "Omega12_coefficient_of_e3": "1/ell",
  "curvature12_coefficient_of_e1_wedge_e2": "ell**(-2)",
  "paper_Ricci_diagonal": [
    "-2/ell**2",
    "-2/ell**2",
    "-2/ell**2"
  ],
  "paper_scalar": "-6/ell**2",
  "volume": "2*pi**2*ell**3",
  "ambient_transport": {
    "cos_latitude": "3/5",
    "decimal_digits": 50,
    "oriented_angle_mod_2pi": "4*pi/5",
    "rows": [
      {
        "steps": 64,
        "max_ambient_error": "1.25839582351e-6",
        "max_tangency_error": "6.33052413564e-7",
        "max_orthonormality_error": "1.51029549322e-6"
      },
      {
        "steps": 128,
        "max_ambient_error": "7.89532747842e-8",
        "max_tangency_error": "3.94565005395e-8",
        "max_orthonormality_error": "9.55829420488e-8"
      },
      {
        "steps": 256,
        "max_ambient_error": "4.94297484449e-9",
        "max_tangency_error": "2.46218159294e-9",
        "max_orthonormality_error": "6.01021554895e-9"
      }
    ],
    "interpretation": "Finite-step RK4 errors, not uncertainty in the exact curvature."
  }
}