Structural Explainability: Accountable Entities

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

Core Mapping (AE -> Identity Regime)

This mapping is total and one-to-one over the six accountable entity kinds. Formal coverage properties are proven in Lean.

lake update
lake build
lake exe verify

Name		Name	Last commit message	Last commit date
Latest commit History 17 Commits
.github		.github
AccountableEntities		AccountableEntities
.editorconfig		.editorconfig
.gitattributes		.gitattributes
.gitignore		.gitignore
.pre-commit-config.yaml		.pre-commit-config.yaml
.yamllint.yml		.yamllint.yml
ANNOTATIONS.md		ANNOTATIONS.md
AccountableEntities.lean		AccountableEntities.lean
CITATION.cff		CITATION.cff
LICENSE		LICENSE
Main.lean		Main.lean
README.md		README.md
SE_MANIFEST.toml		SE_MANIFEST.toml
lake-manifest.json		lake-manifest.json
lakefile.toml		lakefile.toml
lean-toolchain		lean-toolchain
lychee.toml		lychee.toml