Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.

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

🗂️ Explore the Lean 4 formalization of Accountable Entities, detailing six entity types and their identity regime mappings for clear understanding and application.

🛠️ Formalize identity and persistence regimes for accountability in structural explainability within legal and analytic frameworks.