Lean 4 formalization of the Evolution Protocol schemas.
Superseded: Lean 4 formalization of the Ontological Neutrality Theorem
Lean 4 formal contract layer for Structural Explainability invariants, regimes, neutrality results, and exported operational contract artifacts.
Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.
Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent of identity regimes.
Add a description, image, and links to the neutral-substrate topic page so that developers can more easily learn about it.
To associate your repository with the neutral-substrate topic, visit your repo's landing page and select "manage topics."