Structural Explainability: Governance Boundary

Lean 4 formalization of the Governance Boundary.

What This Formalizes

This repository provides a Lean 4 formalization of the Governance Boundary.

Build and Run

lake update
lake build
lake exe verify

Developer (running pre-commit)

Pre-commit is optional; CI will report exact commands if it fails.

Steps to run pre-commit locally. Install uv.

Initialize once:

uv self update
uvx pre-commit install
uvx pre-commit run --all-files

Save progress as needed:

git add -A
# If pre-commit makes changes, re-run `git add -A` before committing.
git commit -m "update"
git push -u origin main

Annotations

ANNOTATIONS.md

Citation

CITATION.cff

License

MIT