Theorem Target Registry

This registry tracks theorem targets, proof obligations, and machine-verification certificates across the Science of Fabric Reality.

The repository maintains 35 machine-verified Lean 4 proofs across 11 formal modules (Fabrica.*). See the Lean 4 Formalization Roadmap for the interactive lemma dependency DAGs, compiler certificates, and complete proof scripts.

See THEOREM_TARGET_REGISTRY.yaml for the raw data schema.