Foundational corpus mapping FC14 Humphreys

Status: Sweep II in progress. C01 complete; C02–C07 pending.

Canonical catalogue: FC14 — Humphreys, Introduction to Lie Algebras and Representation Theory.

Pinned project baseline: Mathlib db584cd6d46c92f209a44c0f1c829460d327499d, Lean 4.33.0. Current Mathlib checked at 71a80585ee495fc24472fd0eaffc89d94e4fd8d6. Declarations first appearing after the project pin are revision-specific reference-port routes unless independently importable.

Every canonical unit receives exactly one Sweep-II route: mathlib, project-existing, package-import, reference-port, or unmatched. Project source is searched first, followed by pinned/current Mathlib, open/current work, indexed services, Reservoir/packages, broad GitHub Lean repositories, and local reference corpora. Strict whole-row semantics apply throughout.

Provenance contract for FC14 C01

Chapter I. Basic Concepts FC14