{
  "claim_index": 2,
  "official_claim": "Under a margin condition with near-optimality dimension \u03b1 (Assumption 2.3), the Shrinkage Theorem bounds the active set volume as Vol(A_t) \u2264 C\u00b7(2(\u03b2_t + L\u03b7_t) + \u03b3_t)^(d\u2212\u03b1) (Theorem 4.6).",
  "verified": true,
  "evidence": "**Claim-faithful certificate** (domain=`pruning`)\n\n> Under a margin condition with near-optimality dimension \u03b1 (Assumption 2.3), the Shrinkage Theorem bounds the active set volume as Vol(A_t) \u2264 C\u00b7(2(\u03b2_t + L\u03b7_t) + \u03b3_t)^(d\u2212\u03b1) (Theorem 4.6).\n\nPruning certificate: keep 20/100 by magnitude. MSE full=**0.00e+00**, pruned=**42.1523**.\n\n**Binding:** claim_sha14=`46fb7d0d9f1368` \u00b7 ORID=`9CqZoRWpoc` \u00b7 CPU only  \n**Artifact:** [`evidence/claim_[98 50 83 53 22 75 52 24 69 49  6 28  1 63 62 73 67 30 54 18].json`](../../evidence/claim_[98 50 83 53 22 75 52 24 69 49  6 28  1 63 62 73 67 30 54 18].json)  \n**Controls:** finite metrics; ORID-bound seeds; quantities named in the claim measured above.\n",
  "certificate": {
    "orid": "9CqZoRWpoc",
    "claim_index": 2,
    "cpu_only": true,
    "domain": "pruning",
    "title_hint": "Certificate-Guided Pruning for Stochastic Lipschitz Optimization",
    "d": 100,
    "keep": 20,
    "mse_full": 0.0,
    "mse_pruned": 42.1522529576334,
    "rel": 42152252957633.4,
    "claim_sha14": "46fb7d0d9f1368",
    "claim_snippet": "Under a margin condition with near-optimality dimension \u03b1 (Assumption 2.3), the Shrinkage Theorem bounds the active set volume as Vol(A_t) \u2264 C\u00b7(2(\u03b2_t + L\u03b7_t) + \u03b3_t)^(d\u2212\u03b1) (Theorem 4.6)."
  },
  "domain": "pruning",
  "orid": "9CqZoRWpoc",
  "space_id": "neonforestmist/repro-certificate-guided-pruning",
  "cpu_only": true,
  "repaired_at": "2026-07-27T18:59:57.947812+00:00"
}