{
  "schema": "kt-cp-human-component-notices/v1",
  "components": [
    {
      "id": "sundar-cooper-2025-v1",
      "human_author": "S. Sundar",
      "source_key": "sundar-2025-v1",
      "work": "Notes on C*-algebras",
      "source_location": "Cooper’s theorem, author-supplied editable TeX",
      "source_url": "https://arxiv.org/src/2505.17456v1",
      "license": "CC0-1.0",
      "license_url": "https://creativecommons.org/publicdomain/zero/1.0/",
      "original_fragment": {
        "path": "components/sundar-cooper-source.tex",
        "sha256": "95C725F20A3D8052D4F3F42907B7CDB43B29897584B83A50FB2738FAC8377443",
        "format": "Original TeX section fragment; original preamble macros are required to compile.",
        "status": "Original supplied source; the corrected course proof is in Lesson 10."
      },
      "adapted_at": "src/KT-CP-10.md",
      "result_label": "Theorem 10C.1",
      "human_contribution": "Continuous-isometry classification and position-algebra proof construction.",
      "ai_contribution": "Corrected signs and range intersections, completed dilation and endpoint arguments, generalized multiplicity, and connected the proof to the course’s exact Green theorem.",
      "adaptation_model": "GPT-6.1 Sol (OpenAI)",
      "reasoning_effort": "Ultra",
      "third_party_figures_imported": false
    }
  ]
}