Foundational corpus status

Corpus: Foundational source corpus v1 (frozen).

ID	Source	Catalogue	Mapping	Definitions	Theorems
FC01	Foundational corpus units FC01 Dummit–Foote · Foundational corpus mapping FC01 Dummit Foote	[x]	[x]	[ ]	[ ]
FC02	FC02 — Munkres, Topology · Foundational corpus mapping FC02 Munkres	[x]	[x]	[ ]	[ ]
FC03	FC03 — Riehl, Category Theory in Context · Foundational corpus mapping FC03 Riehl Category Theory in Context	[x]	[x]	[ ]	[ ]
FC04	Foundational corpus units FC04 Atiyah Macdonald · Foundational corpus mapping FC04 Atiyah Macdonald	[x]	[x]	[ ]	[ ]
FC05	Foundational corpus units FC05 Weibel · Foundational corpus mapping FC05 Weibel	[x]	[x]	[ ]	[ ]
FC06	Foundational corpus units FC06 Hartshorne · Foundational corpus mapping FC06 Hartshorne	[x]	[x]	[ ]	[ ]
FC07	Foundational corpus units FC07 Hatcher · Foundational corpus mapping FC07 Hatcher	[x]	[x]	[ ]	[ ]
FC08	Foundational corpus units FC08 Lee · Foundational corpus mapping FC08 Lee	[x]	[x]	[ ]	[ ]
FC09	Foundational corpus units FC09 Neukirch · Foundational corpus mapping FC09 Neukirch	[x]	[x]	[ ]	[ ]
FC10	Foundational corpus units FC10 Serre Local Fields · Foundational corpus mapping FC10 Serre Local Fields	[x]	[x]	[ ]	[ ]
FC11	FC11 — Peters–Sterk, Symmetric and Quadratic Forms (June 2024)	[x]	[ ]	[ ]	[ ]
FC12	FC12 — Beauville, Complex Algebraic Surfaces, 2nd ed. · Foundational corpus mapping FC12 Beauville	[x]	[x]	[ ]	[ ]

Corpus v2 amendment (traversed after FC05, before FC06 for FC13; after FC12 for the rest):

ID	Source	Catalogue	Mapping	Definitions	Theorems
FC13	Foundational corpus units FC13 Matsumura	[x]	[x]	[ ]	[ ]
FC14	Foundational corpus units FC14 Humphreys	[x]	[ ]	[ ]	[ ]
FC15	Foundational corpus units FC15 Humphreys Reflection Groups and Coxeter Groups	[x]	[ ]	[ ]	[ ]
FC16	Foundational corpus units FC16 Humphreys Linear Algebraic Groups	[x]	[ ]	[ ]	[ ]

A checkbox means that sweep is complete for the entire source. Partial chapter progress does not check the box. This document contains no per-source prose progress; detailed work stays in the four sweep plans and their source-unit/mapping artifacts.