Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
Part of the Structural Explainability framework.
The formalization applies to ontological substrates optimized for:
- Stability under durable interpretive disagreement
- Accountability across legal, political, and analytic frameworks
- Neutrality, understood as exclusion of causal and normative execution
- Structural sufficiency
It does not apply to:
- Ontologies embedding causal or normative conclusions
- Systems relying on negotiated or consensus semantics
- Role-based or context-discriminated substrates
- Single-framework modeling environments
lake update
lake build
lake exe verifySee CITATION.cff