{
  "status": "PASS",
  "article_slug": "unlearning-verification-boundaries",
  "checks": [
    "all retained subsets equal exact retraining",
    "sum-loss first order condition",
    "mean-loss first order condition",
    "naive denominator negative control fails",
    "sum and mean objective normalization differ",
    "sequential deletion order correctness",
    "all candidates agree at probes",
    "midpoint disagreement"
  ],
  "finite_checks": 125,
  "scientific_figures": 2,
  "empirical_benchmark": false,
  "source_proofs_verified": false,
  "script_sha256": "f38841efb753a62b45590f31205a20b4cfc980cb930fd958b84b22f6b69543a9"
}