{
  "schema": "rt-fin-source-components/v1",
  "authorship": {
    "model": "GPT-6.1 Sol (OpenAI)",
    "reasoning_effort": "Ultra",
    "environment": "Codex",
    "checking": "Author self-check; independent review has only the separately recorded limited scopes."
  },
  "license": {
    "spdx": "CC0-1.0",
    "scope": "Independently authored text and course code. The explicitly credited kernel-expansion component of Lesson 15 is CC-BY-4.0. Cited works and MathJax assets retain their own terms."
  },
  "adapted_components": [
    {
      "lesson": "RT-FIN-15",
      "location": "Lemma 1.2, first proof paragraph and its displayed series",
      "spdx": "CC-BY-4.0",
      "credit": "Darij Grinberg and Victor Reiner; adaptation by GPT-6.1 Sol (OpenAI), Ultra, Codex",
      "source": "https://www.cip.ifi.lmu.de/~grinberg/algebra/HopfComb.pdf",
      "version": "July 27, 2020; minor corrections September 6, 2026",
      "locator": "Proposition 2.5.15 and its proof, pp. 64–66",
      "license_url": "https://creativecommons.org/licenses/by/4.0/"
    }
  ],
  "checked_new_references": [
    {
      "authors": "Darij Grinberg and Victor Reiner",
      "title": "Hopf Algebras in Combinatorics",
      "version": "July 27, 2020, minor corrections September 6, 2026",
      "url": "https://www.cip.ifi.lmu.de/~grinberg/algebra/HopfComb.pdf",
      "sha256": "D3873028A8492B3DEC9266206670EB5C7588CA74C1852AAC253844C9C4789CB1",
      "scope": "Proposition 2.5.15 and proof, pp. 64–66; title and license pp. 1–2",
      "license": "CC-BY-4.0",
      "reuse": "Only the explicitly credited kernel-expansion component of Lesson 15"
    },
    {
      "authors": "Peter Webb",
      "title": "A Course in Finite Group Representation Theory",
      "version": "Author prepublication draft, February 23, 2016",
      "url": "https://www-users.math.umn.edu/~webb/RepBook/RepBookLatex.pdf",
      "sha256": "3053D04310D379844D0CCAC2AE078124492730A116E63343014D276169FB4C24",
      "scope": "Row orthogonality and multiplicities; both adjunctions, transitivity and projection; preface limitation statements",
      "license": "Free to read; an open adaptation license has not been established",
      "reuse": "Reference comparison only"
    },
    {
      "authors": "Pavel Etingof, Oleg Golberg, Sebastian Hensel, Tiankai Liu, Alex Schwendner, Dmitry Vaintrob and Elena Yudovina",
      "title": "Introduction to Representation Theory",
      "version": "108-page current arXiv PDF; header0901.0827v5/February1,2011 and titleNovember26,2024",
      "url": "https://arxiv.org/pdf/0901.0827",
      "sha256": "30325e113dcd5d9d6153cb257e1dfca8f44df19ce8d0c3019df63563ac1e0a3c",
      "scope": "Physical pp.55–56, induction-character formula and Frobenius reciprocity; exact current edition compared by the owner.",
      "license": "Exact approved free reading edition; no copying/adaptation license inferred",
      "reuse": "Independent exposition and proof comparison only"
    }
  ],
  "scoped_contributions": [
    {
      "lesson": "RT-FIN-01",
      "model": "GPT-6 Astra (OpenAI)",
      "reasoning_effort": "Ultra",
      "scope": "Elementary prerequisite proofs; comparison with free representation-theory drafts; exact programme-provider links.",
      "self_checked": true,
      "independent_human_review": false,
      "provider_paths": [
        "../../human/linear-algebra-bridges/from-bases-to-projections.html",
        "../../human/linear-algebra-bridges/finite-hermitian-spaces.html",
        "../AG-CA/src/the-nullstellensatz-and-jacobson-rings.md",
        "../../human/lebl-basic-analysis/sec_complexexp.html"
      ]
    },
    {
      "lesson": "RT-FIN-02",
      "model": "GPT-6 Astra (OpenAI)",
      "reasoning_effort": "Ultra",
      "scope": "Full trace/projection, split-annihilator and orbit-stabilizer proofs; exact finite-order/roots-of-unity provider; free character-theory source comparisons.",
      "self_checked": true,
      "independent_human_review": false,
      "provider_paths": [
        "representations-and-complete-reducibility.html",
        "../../human/linear-algebra-bridges/finite-hermitian-spaces.html",
        "../../human/elementary-analysis/complex-exponential-and-the-circle.html"
      ]
    }
  ],
  "current_verified_source_routes": [
    {
      "id": "ISBN-978-3-319-98271-7-epub",
      "authors": "Caroline Gruson and Vera Serganova",
      "title": "A Journey Through Representation Theory",
      "version": "Springer 2018, DOI 10.1007/978-3-319-98271-7",
      "sha256": "a436abc45b228e488234c2dacdb4d8ff82d7b6806b5721d9321d5a2d082c9ce4",
      "basis": "Scholarly reference for independent exposition; protected source expression is not reproduced.",
      "read_scope": "Chapter 6 §1 Exercise 1.12, Lemmas 1.13–1.21, Theorem 1.7; §2 Theorems 2.1/2.4, Lemmas 2.7/2.9, Corollary 2.10, Definition 2.11; Chapter 2 Theorems 3.7/3.8 and §12."
    },
    {
      "id": "RTFIN-GR-20260906",
      "title": "Darij Grinberg and Victor Reiner, Hopf Algebras in Combinatorics",
      "url": "https://www.cip.ifi.lmu.de/~grinberg/algebra/HopfComb.pdf",
      "sha256": "d3873028a8492b3dec9266206670eb5c7588ca74c1852aac253844c9c4789cb1",
      "basis": "Exact primary-host bytes verified; freely accessible edition.",
      "available_scope": "July 27, 2020, minor corrections September 6, 2026; 288-page author version; Proposition 2.5.15 and CC BY 4.0 notice",
      "reuse": "CC-BY-4.0",
      "reading_scope": "Exact actual new/retained readings are recorded in the owner source checks; availability alone is not a full reading claim."
    },
    {
      "id": "RTFIN-KRAMAR-2005",
      "title": "János Kramár, Artin’s and Brauer’s Theorems on Induced Characters",
      "url": "https://www.math.utoronto.ca/murnaghan/courses/mat445/artinbrauer.pdf",
      "sha256": "eb4ec7d4e014a2fce6cb4fe169bdc7f8c6170314f21b913fec4c0fd4271bd907",
      "basis": "Exact primary-host bytes verified; freely accessible edition.",
      "available_scope": "December 14, 2005; complete seven-page course paper; §§2–3",
      "reuse": "independent_exposition_only",
      "reading_scope": "Exact actual new/retained readings are recorded in the owner source checks; availability alone is not a full reading claim."
    },
    {
      "id": "RTFIN-STEMBRIDGE-2002",
      "title": "John R. Stembridge, A Concise Proof of the Littlewood–Richardson Rule",
      "url": "https://www.combinatorics.org/ojs/index.php/eljc/article/download/v9i1n5/pdf",
      "sha256": "5e8bcd8467f504756a5d6092df234b08e326cef21ddb2785d567096030b8915b",
      "basis": "Exact primary-host bytes verified; freely accessible edition.",
      "available_scope": "Complete four-page article; theorem, sign-reversing involution and skew corollary",
      "reuse": "independent_exposition_only",
      "reading_scope": "Exact actual new/retained readings are recorded in the owner source checks; availability alone is not a full reading claim."
    },
    {
      "id": "RTFIN-VO-0503040V3",
      "title": "A. M. Vershik and A. Yu. Okounkov, A New Approach to the Representation Theory of the Symmetric Groups II",
      "url": "https://arxiv.org/pdf/math/0503040v3",
      "sha256": "bf19d2e52303f20fd66004f6ca2f3b62b9dd46500b7a62410e2c8e7ba2fbc9ac",
      "basis": "Exact primary-host bytes verified; freely accessible edition.",
      "available_scope": "Version 3, April 20, 2005; 31 pages; Theorem 5.8, §6 Propositions 6.1–6.2",
      "reuse": "independent_exposition_only",
      "reading_scope": "Exact actual new/retained readings are recorded in the owner source checks; availability alone is not a full reading claim."
    },
    {
      "id": "RTFIN-STEVENS-2016",
      "title": "James Stevens, Schur–Weyl duality",
      "url": "https://math.uchicago.edu/~may/REU2016/REUPapers/Stevens.pdf",
      "sha256": "c4443b8f33b380eb2698ffb47b295cadadb7909495a833b7b6bc2453f36202f0",
      "basis": "Exact primary-host bytes verified; freely accessible edition.",
      "available_scope": "2016 REU paper, 21 pages, §2.1 Theorem 2.1 and Lemmas 2.3–2.7",
      "reuse": "independent_exposition_only",
      "reading_scope": "Exact actual new/retained readings are recorded in the owner source checks; availability alone is not a full reading claim."
    },
    {
      "id": "RTFIN-PURBHOO-2010",
      "title": "Kevin Purbhoo, Lecture Notes for C&O 430/630",
      "url": "https://www.math.uwaterloo.ca/~kpurbhoo/fall2011-co630/co630notes.pdf",
      "sha256": "30d7b23333fbfaa1a15342e7596bbde2fc515b7419b640a7f7c4464b25b6dcd4",
      "basis": "Exact primary-host bytes verified; freely accessible edition.",
      "available_scope": "Fall 2010 title, hosted in fall2011-co630 directory, 100 pages; §6.4",
      "reuse": "independent_exposition_only",
      "reading_scope": "Exact actual new/retained readings are recorded in the owner source checks; availability alone is not a full reading claim."
    },
    {
      "id": "SHELF-3053d04310d379844d0c",
      "title": "Peter Webb, A Course in Finite Group Representation Theory",
      "version": "Author prepublication draft, February23,2016",
      "url": "https://www-users.math.umn.edu/~webb/RepBook/RepBookLatex.pdf",
      "sha256": "3053d04310d379844d0ccac2ae078124492730a116e63343014d276169fb4c24",
      "basis": "Exact user-confirmed free shelf edition.",
      "read_scope": "Printed pp.28–31 and58–60; proof comparison only, no expression adapted."
    },
    {
      "id": "SRC-6b89709d32a19eee30c2",
      "title": "Etingof and collaborators, Introduction to representation theory",
      "version": "108-page arXiv edition; header0901.0827v5/February1,2011; titleNovember26,2024",
      "url": "https://arxiv.org/pdf/0901.0827",
      "sha256": "30325e113dcd5d9d6153cb257e1dfca8f44df19ce8d0c3019df63563ac1e0a3c",
      "basis": "Exact verified free arXiv edition.",
      "read_scope": "Physical pp.55–56 and64–65,67; induction, finite double centralizers and Schur–Weyl comparison."
    }
  ]
}