{
  "rejected_claims": [
    {
      "filename": "ai-generated-code-overfits-test-suites-through-training-data-contamination-making-testing-unreliable-for-verification.md",
      "issues": [
        "missing_attribution_extractor"
      ]
    }
  ],
  "validation_stats": {
    "total": 1,
    "kept": 0,
    "fixed": 3,
    "rejected": 1,
    "fixes_applied": [
      "ai-generated-code-overfits-test-suites-through-training-data-contamination-making-testing-unreliable-for-verification.md:set_created:2026-03-19",
      "ai-generated-code-overfits-test-suites-through-training-data-contamination-making-testing-unreliable-for-verification.md:stripped_wiki_link:formal-verification-becomes-economically-necessary-as-AI-gen",
      "ai-generated-code-overfits-test-suites-through-training-data-contamination-making-testing-unreliable-for-verification.md:stripped_wiki_link:formal-verification-of-AI-generated-proofs-provides-scalable"
    ],
    "rejections": [
      "ai-generated-code-overfits-test-suites-through-training-data-contamination-making-testing-unreliable-for-verification.md:missing_attribution_extractor"
    ]
  },
  "model": "anthropic/claude-sonnet-4.5",
  "date": "2026-03-19"
}