{
  "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
    },
    {
      "id": "westerbaan-gns-matrix-checkpoint-2019",
      "human_author": "Abraham Anton Westerbaan",
      "source_key": "westerbaan-category-von-neumann-algebras@bff9e58239a125af7d77a7ebacd686a21f761e42",
      "work": "The Category of Von Neumann Algebras",
      "source_location": "cstar.tex; matrix exercise on the seminorm of a state",
      "source_url": "https://raw.githubusercontent.com/westerbaan/theses/bff9e58239a125af7d77a7ebacd686a21f761e42/cstar.tex",
      "source_revision": "2019 thesis, repository bff9e58239a125af7d77a7ebacd686a21f761e42",
      "source_sha256": "E3D0CEF6DEC880A9797798EF39FA5DD7E55F101FAEB4C04206F4E390BA9BD8C6",
      "license": "CC-BY-4.0",
      "license_url": "https://creativecommons.org/licenses/by/4.0/",
      "license_evidence": "Canonical edition sources.json records common.tex and main.bib at the pinned thesis repository revision as the permission evidence.",
      "adapted_at": "prerequisites/src/exact/foundations-of-von-neumann-algebras/DD4372862B2D/representations-and-positive-functionals-the-gns-construction-and-the-gelfand-naimark.md",
      "reader": "prerequisites/exact/foundations-of-von-neumann-algebras/DD4372862B2D/representations-and-positive-functionals-the-gns-construction-and-the-gelfand-naimark.html#worked-checkpoint-a-state-s-seminorm-remembers-one-column",
      "component_boundary": {
        "start_heading": "Worked checkpoint: a state's seminorm remembers one column",
        "end_before_heading": "5. The Gelfand–Naimark–Segal construction"
      },
      "human_contribution": "Matrix exercise exposing the left-ideal, not two-sided-ideal, nature of the null space of a state.",
      "ai_contribution": "Worked solution and explanatory GNS interpretation, retained under CC BY 4.0.",
      "adaptation_model": "GPT-6.1 Sol (OpenAI)",
      "reasoning_effort": "Ultra",
      "third_party_figures_imported": false
    }
  ]
}