{
  "status": "PASS",
  "article_slug": "private-gradient-clipping",
  "checks": [
    "piecewise clipped mean",
    "independent variance expansion",
    "MSE second moment",
    "common loss-threshold scaling",
    "direction reversal and no-clipping limit",
    "aggregate clipping differs from per-example clipping",
    "sigma zero binomial MSE enumeration",
    "noise removal changes only variance",
    "sigma zero leaves clipping bias unless threshold is sufficient"
  ],
  "finite_checks": 200,
  "scientific_figures": 2,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "script_sha256": "ce1bf70e7942393d40f5c4ce047b58181811432593f519042a21642758ce1c26"
}