Foundational corpus mapping FC11 Peters Sterk

Status: Sweep II in progress. Whole-source claim adopted on 2026-09-07 by the continuation session after the prior FC11 worker stopped. C01–C03 are complete; C04–C21 and Appendices A–C remain in this claim and will be processed without releasing the source.

Canonical catalogue: FC11 Peters–Sterk unit catalogue.

Pinned project baseline for C01: Mathlib db584cd6d46c92f209a44c0f1c829460d327499d on Lean 4.33.0; project 12618f8abc2b4852b3da9ab65c3bc547ac4c1f19. Current upstream Mathlib searched at 71a80585ee495fc24472fd0eaffc89d94e4fd8d6. Rows use exactly one of mathlib, project-existing, package-import, reference-port, unmatched, under strict whole-row semantics.