{
  "status": "PASS",
  "assertions": 1628,
  "groups": {
    "elementary_log_bound": 336,
    "elementary_exponent_identity": 336,
    "paired_elementary_factor": 336,
    "sine_normal_product_bound": 24,
    "cot_uniform_tail_bound": 24,
    "growing_multiplicity_log_tail": 20,
    "growing_multiplicity_relative_tail": 20,
    "uncorrected_growth_diverges": 100,
    "growing_zero_order_residue": 100,
    "capstone_truncation_budget": 1,
    "jensen_continuous_circle_average": 6,
    "jensen_exact_discrete_average": 24,
    "jensen_discrete_error_bound": 24,
    "mittag_taylor_constructive_bound": 216,
    "mittag_taylor_choice_terminates": 3,
    "cot_finite_oriented_contour_identity": 4,
    "cot_square_contour_bound": 4,
    "double_pole_residue": 3,
    "double_pole_leading_coefficient": 3,
    "double_pole_finite_tail_bound": 18,
    "cosine_rational_enclosure_lower": 1,
    "cosine_rational_enclosure_upper": 1,
    "cosine_normal_product_tail": 24
  },
  "precision_digits": 70,
  "capstone": {
    "growing_zero_budget_N": 1415,
    "growing_zero_relative_bound": "2/2002223",
    "translated_jensen_at_16_samples": [
      {
        "radius": "1.0",
        "continuous_average": "0.69314718055994530941723212145817656807550013436",
        "sample_average": "0.693145273196760433657434566389710348346502334848",
        "error_bound": "0.00000190737773708705271992065308613717860685130083162"
      },
      {
        "radius": "3.0",
        "continuous_average": "4.39444915467243876558098094769010281858996223129",
        "sample_average": "4.39435392973941974471423947904596020947163505787",
        "error_bound": "0.0000952975121777638844900681277460481136784854112536"
      }
    ],
    "jensen_R1_exact_rational_bound": "1/524280",
    "jensen_R3_exact_rational_bound": "2175108928681789/22824404110617644080",
    "double_pole_laurent_diagnostics": [
      {
        "pole": 1,
        "residue": "(-1.0 + 1.30116430514131212207634285644461956119572567411e-71j)",
        "leading_coefficient": "(1.0 + 4.44677470390953633020426642262507613970039007565e-72j)"
      },
      {
        "pole": 5,
        "residue": "(-5.0 + 5.25653871528769319457755908838252288519306303142e-71j)",
        "leading_coefficient": "(1.0 - 4.83146419602766327159747608000165713819618119588e-72j)"
      },
      {
        "pole": 12,
        "residue": "(-12.0 + 2.52096899355879050022584596926016911811188173198e-71j)",
        "leading_coefficient": "(1.0 - 4.99948949143558078622899294184430171225181409897e-72j)"
      }
    ],
    "cos_pi_quarter_rational_lower": "36389555685/51480887296",
    "cos_pi_quarter_rational_upper": "240990435/338690048"
  },
  "limits": [
    "Fraction inequalities are exact; complex numerical quadrature is a 70-digit diagnostic, not an interval certificate.",
    "Infinite convergence, zero orders, and meromorphic existence are established by the written proofs.",
    "Finite tail checks do not claim to enumerate an infinite series."
  ]
}