Lean 4 formalization of identity regimes for Structural Explainability, defining six canonical regimes, nine derived profiles, and transformation-based identity classification.
Lean Updated about 1 month ago 1 commits 1 stars
helix-ai|Mirror: structural-explainability/se-theory-identity-regimes (⭐1)
about 1 month agoAbout
Lean 4 formalization of identity regimes for Structural Explainability, defining six canonical regimes, nine derived profiles, and transformation-based identity classification.
Readme
1 stars