Foundational corpus mapping FC06 Hartshorne

Status: Sweep II complete. C01–C05 are complete.

Canonical catalogue: FC06 — Hartshorne, Algebraic Geometry.

Pinned project baseline: Mathlib db584cd6d46c92f209a44c0f1c829460d327499d, Lean 4.33.0. Current Mathlib was refreshed 2026-09-06 to 5aedf732b6987e8c26ab3c9ebc855314f82b045f; declarations first appearing after the project pin are revision-specific reference-port routes unless an importable package route is independently justified.

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 search services, and relevant external Lean repositories. Strict bundle semantics apply throughout.

Provenance contract for FC06 C01

Chapter 1. Varieties FC06

Provenance contract for FC06 C02

Chapter 2. Schemes FC06

Provenance contract for FC06 C03

Chapter 3. Cohomology FC06

Provenance contract for FC06 C04

Chapter 4. Curves FC06

Provenance contract for FC06 C05

Chapter 5. Surfaces FC06