{
  "status": "passed",
  "decimal_precision": 80,
  "assertions": 14034,
  "groups": {
    "adjoint_ODE": 63,
    "adjoint_normalization": 2,
    "adjoint_period_derivative": 2,
    "adjoint_period_integral": 2,
    "adjoint_periodicity": 3,
    "all_line_residual": 41,
    "all_line_residual_certificate": 41,
    "average_matrix": 3,
    "bordered_period_derivative": 7,
    "complex_log_branch": 102,
    "dichotomy_bound": 231,
    "dichotomy_rank_one_norm": 882,
    "evolution_composition": 1323,
    "evolution_derivative": 243,
    "finite_window_error_certificate": 1212,
    "finite_window_residual": 1212,
    "fold_boundary": 9,
    "forced_solution": 486,
    "frozen_spectrum": 324,
    "green_L20_tolerance": 1,
    "green_quadrature": 27,
    "green_tail_bound": 200,
    "growth": 324,
    "invariant_annulus": 1281,
    "jordan_boundary": 93,
    "lipschitz_not_C1_boundary": 6,
    "minimal_period": 730,
    "monodromy": 3,
    "neutral_cubic_boundary": 30,
    "nonlinear_variation": 1512,
    "orbital_exp_bound": 1281,
    "parameter_variation": 3,
    "periodic_boundary": 3,
    "projection": 243,
    "projection_transport": 1323,
    "radial_ODE": 456,
    "real_log_obstruction": 174,
    "resonance_increment": 12,
    "return_fixed_point": 38,
    "return_multiplier": 38,
    "return_strict_contraction": 19,
    "return_time_projection": 8,
    "variation_remainder_bound": 41
  },
  "selected_values": {
    "T": "6.2831853071795864769252867665590058",
    "growing_multiplier": "535.49165552476473650304932958904718",
    "transverse_multiplier": "0.0018674427317079888144302129348270304",
    "period_derivative": "-1.5707963267948966192313216916397514",
    "L20_general_tail_bound": "0.0000000058298228139740844067643739750969822"
  },
  "scope": "Closed-form models and derived bounds, cross-checked by differentiation and quadrature; universal claims rely on proofs in the entries.",
  "limits": [
    "Equality-bound comparisons permit 1e-70 rounding slack at 80-digit working precision",
    "No interval-arithmetic integration certificate",
    "Finite samples do not prove global residual bounds",
    "Does not test production site rendering"
  ]
}