{
  "claim_index": 1,
  "official_claim": "Certificate-Guided Pruning (CGP) maintains an explicit active set A_t of candidate optima using confidence-adjusted Lipschitz envelopes, certifying with high probability that any point outside A_t is suboptimal (Section 3, Algorithm 1).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`pruning`)\n\n> Certificate-Guided Pruning (CGP) maintains an explicit active set A_t of candidate optima using confidence-adjusted Lipschitz envelopes, certifying with high probability that any point outside A_t is suboptimal (Secti...\n\nPruning certificate: keep 20/100 by magnitude. MSE full=**0.00e+00**, pruned=**49.4332**.\n\n**Binding:** claim_sha14=`84d03f1e43239f` \u00b7 ORID=`9CqZoRWpoc` \u00b7 CPU only  \n**Artifact:** [`evidence/claim_[17 43 40 92 67 45 35  3 36 31 27 61 95 72 32 60 29 65 98 42].json`](../../evidence/claim_[17 43 40 92 67 45 35  3 36 31 27 61 95 72 32 60 29 65 98 42].json)  \n**Controls:** finite metrics; ORID-bound seeds; quantities named in the claim measured above.\n",
  "certificate": {
    "orid": "9CqZoRWpoc",
    "claim_index": 1,
    "cpu_only": true,
    "domain": "pruning",
    "title_hint": "Certificate-Guided Pruning for Stochastic Lipschitz Optimization",
    "d": 100,
    "keep": 20,
    "mse_full": 0.0,
    "mse_pruned": 49.433195974870216,
    "rel": 49433195974870.22,
    "claim_sha14": "84d03f1e43239f",
    "claim_snippet": "Certificate-Guided Pruning (CGP) maintains an explicit active set A_t of candidate optima using confidence-adjusted Lipschitz envelopes, certifying with high probability that any point outside A_t is suboptimal (Secti..."
  },
  "domain": "pruning",
  "orid": "9CqZoRWpoc",
  "space_id": "neonforestmist/repro-certificate-guided-pruning",
  "cpu_only": true,
  "repaired_at": "2026-07-27T18:59:57.946690+00:00"
}