structural-explainability / EvolutionProtocol Star 1 Code Issues Pull requests Lean 4 formalization of the Evolution Protocol schemas. provenance formal-verification change-tracking lean4 graph-evolution neutral-substrate structural-explainability evolution-protocol Updated Jan 1, 2026 Lean
structural-explainability / AccountableEntities Star 1 Code Issues Pull requests Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes. persistence theorem-proving formal-verification accountability semantic-interoperability lean4 formal-ontology neutral-substrate identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities Updated Dec 31, 2025 Lean
structural-explainability / NeutralSubstrate Star 1 Code Issues Pull requests Discussions Lean 4 formalization of the Ontological Neutrality Theorem logic theorem-proving ontology formal-verification accountability foundations semantic-interoperability lean4 formal-ontology ontological-neutrality neutral-substrate structural-explainability neutrality-theorem pre-causal pre-normative Updated Dec 31, 2025 Lean