Authoritative specification of Accountable Entities (AE).
Lean 4 formalization of the exchange protocol schemas.
Superseded: 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.
Interactive decision tree for classifying objects into Structural Explainability identity and persistence regimes.
Executable identity and persistence regime kernel for Structural Explainability (SE); defines regime profiles, transformation families, and testable identity behavior (PRS/BRK/INH).
Lean 4 formal contract layer for Structural Explainability invariants, regimes, neutrality results, and exported operational contract artifacts.
Lean 4 formalization of identity regimes for Structural Explainability, defining six canonical regimes, nine derived profiles, and transformation-based identity classification.
This paper derives identity regimes that preserve stable reference when neutral substrates are transformed under persistent disagreement.
Add a description, image, and links to the identity-regimes topic page so that developers can more easily learn about it.
To associate your repository with the identity-regimes topic, visit your repo's landing page and select "manage topics."