{
  "schema": "rigor-public-audit-report-v1",
  "created_on": "2026-10-29",
  "source": "v8.2 public production proof library",
  "practice_only": true,
  "audit_scope": "Structural validation of public project-authored training fragments, not a proof of mathematical correctness",
  "counts": {
    "total_fragments": 111,
    "source_families": 19,
    "clean_reference_labels": 61,
    "flawed_reference_labels": 50,
    "early_core_fragments": 21,
    "expanded_fragments": 90
  },
  "structural_checks": {
    "duplicate_case_ids": 0,
    "orphan_case_families": 0,
    "invalid_gold_step_indices": 0,
    "malformed_step_lists": 0,
    "empty_titles": 0
  },
  "mathematical_checks": {
    "independent_adjudication_of_all_fragments": false,
    "formal_verification_of_all_proofs": false
  },
  "governance": {
    "external_recruitment": "CLOSED",
    "consented_human_results_confirmed": 0,
    "independent_peer_review": false,
    "free_public_training_access": true
  },
  "limitations": [
    "Client-side answer labels are public and not a sealed holdout.",
    "Structural consistency is not an independent mathematics review.",
    "The count of 120 IMO reference links is an archive index, not 120 individually reviewed proof families.",
    "Human-subject research needs separately prepared consent, privacy, adjudication, safety testing and authorization before opening."
  ],
  "families": [
    {
      "source_problem": "IMO 2011 / P3",
      "year": 2011,
      "problem_number": 3,
      "case_count": 5,
      "official_source": "https://www.imo-official.org/problems/2011/"
    },
    {
      "source_problem": "IMO 2017 / P2",
      "year": 2017,
      "problem_number": 2,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2017/"
    },
    {
      "source_problem": "IMO 2016 / P4",
      "year": 2016,
      "problem_number": 4,
      "case_count": 5,
      "official_source": "https://www.imo-official.org/problems/2016/"
    },
    {
      "source_problem": "IMO 2024 / P3",
      "year": 2024,
      "problem_number": 3,
      "case_count": 5,
      "official_source": "https://www.imo-official.org/problems/2024/"
    },
    {
      "source_problem": "IMO 2006 / P5",
      "year": 2006,
      "problem_number": 5,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2006/"
    },
    {
      "source_problem": "IMO 2009 / P6",
      "year": 2009,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2009/"
    },
    {
      "source_problem": "IMO 2010 / P6",
      "year": 2010,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2010/"
    },
    {
      "source_problem": "IMO 2014 / P6",
      "year": 2014,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2014/"
    },
    {
      "source_problem": "IMO 2015 / P5",
      "year": 2015,
      "problem_number": 5,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2015/"
    },
    {
      "source_problem": "IMO 2018 / P3",
      "year": 2018,
      "problem_number": 3,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2018/"
    },
    {
      "source_problem": "IMO 2020 / P3",
      "year": 2020,
      "problem_number": 3,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2020/"
    },
    {
      "source_problem": "IMO 2021 / P6",
      "year": 2021,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2021/"
    },
    {
      "source_problem": "IMO 2022 / P5",
      "year": 2022,
      "problem_number": 5,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2022/"
    },
    {
      "source_problem": "IMO 2023 / P6",
      "year": 2023,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2023/"
    },
    {
      "source_problem": "IMO 2025 / P6",
      "year": 2025,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2025/"
    },
    {
      "source_problem": "IMO 2007 / P6",
      "year": 2007,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2007/"
    },
    {
      "source_problem": "IMO 2013 / P6",
      "year": 2013,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2013/"
    },
    {
      "source_problem": "IMO 2019 / P5",
      "year": 2019,
      "problem_number": 5,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2019/"
    },
    {
      "source_problem": "IMO 2024 / P6",
      "year": 2024,
      "problem_number": 6,
      "case_count": 6,
      "official_source": "https://www.imo-official.org/problems/2024/"
    }
  ]
}