{
  "actual_classical_dressed_reset": {
    "blocks": 5,
    "composition_error": 0.0028357176426059105,
    "stationarity_residual": 2.3483819056036026e-16,
    "telescoping_bound": 0.3187499999999998,
    "wrong_crossing_coefficient_residual": 0.15721908874942353
  },
  "dyadic_label_sampler": {
    "exact_cases": 93,
    "max_TV_over_bound": "182/729"
  },
  "global_input_rounding_control": [
    {
      "bound": 0.0002,
      "onsite": 0,
      "trace_error": 3.8924218348167226e-05
    },
    {
      "bound": 0.0002,
      "onsite": 1,
      "trace_error": 4.090646897065608e-05
    },
    {
      "bound": 0.0002,
      "onsite": 128,
      "trace_error": 4.2781881468291976e-05
    }
  ],
  "label_cover": {
    "deduplication_negative_control": "PASS",
    "exact_cases": 228
  },
  "mixing_sampling_and_error_budgets": {
    "exact_cases": 24,
    "status": "PASS"
  },
  "scope": "Finite diagnostics only; analytic proof and frozen dependencies carry the uniform theorem.",
  "status": "PASS"
}
