{
  "article_slug": "unlearning-verification-boundaries",
  "claims": [
    {
      "id": "s1",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "1. Forgetting is a claim about a comparison"
    },
    {
      "id": "s2",
      "kind": "source_based_review",
      "sources": [
        "dl3-b-unlearning-verification-boundaries-1",
        "dl3-b-unlearning-verification-boundaries-2",
        "dl3-b-unlearning-verification-boundaries-3",
        "dl3-b-unlearning-verification-boundaries-4",
        "dl3-b-unlearning-verification-boundaries-5",
        "dl3-b-unlearning-verification-boundaries-6"
      ],
      "claim": "2. The primary literature spans several guarantees"
    },
    {
      "id": "s3",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "3. Specify the learning algorithm, not only the dataset"
    },
    {
      "id": "s4",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "4. Exact deletion in a scalar ridge model"
    },
    {
      "id": "s5",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "5. A naive subtraction fails because the denominator changes"
    },
    {
      "id": "s6",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "6. Normalization can make the reference move"
    },
    {
      "id": "s7",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "7. Finite probes cannot identify an arbitrary function"
    },
    {
      "id": "s8",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "8. Distributional tests need power and a reference sample"
    },
    {
      "id": "s9",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "9. Membership inference is a diagnostic, not a definition"
    },
    {
      "id": "s10",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "10. Repeated requests introduce state and composition"
    },
    {
      "id": "s11",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "11. Artifacts outside the final weights remain relevant"
    },
    {
      "id": "s12",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "12. Utility preservation needs a stable target"
    },
    {
      "id": "s13",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "13. A reproducible verification protocol"
    },
    {
      "id": "s14",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "14. Executable checks and their limits"
    },
    {
      "id": "s15",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "15. A precise claim is more useful than a reassuring label"
    },
    {
      "id": "s16",
      "kind": "author_analysis_or_verification_proposal",
      "sources": [],
      "claim": "16. The reference must preserve the regularization convention"
    }
  ]
}