neutral-substrate

Superseded: Lean 4 formalization of the Ontological Neutrality Theorem

Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.

Lean 4 formal contract layer for Structural Explainability invariants, regimes, neutrality results, and exported operational contract artifacts.

Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent of identity regimes.

Lean 4 formalization of the Evolution Protocol schemas.