Structural Explainability

All

20 repositories

.github
Public
GitHub profile repo for the structural-explainability organization on GitHub.
ci-cd governance organization-profile repository-automation structural-explainability
MIT License
•0•1•0•0•Updated Jan 26, 2026Jan 26, 2026
StructuralExplainability
Public
Lean 4 formalization of the contextual structural explainability layer.
identity persistence formal-verification neutrality explainability lean4 formal-ontology structural-explainability accountable-systems
Lean
•
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
site
Public
Documentation site for Structural Explainability.
documentation specifications formal-methods explainability structural-explainability
MIT License
•0•1•1•0•Updated Jan 23, 2026Jan 23, 2026
NeutralSubstrate
Public
Lean 4 formalization of the Ontological Neutrality Theorem
logic theorem-proving ontology formal-verification accountability foundations semantic-interoperability lean4 formal-ontology ontological-neutrality
Lean
•
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
InterpretationBoundary
Public
Lean 4 formalization of the Interpretation Boundary.
attribution provenance versioning lean4 structural-explainability interpretation-boundary interpretive-acts
Lean
•
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
IdentityRegimes
Public
Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
persistence logic theorem-proving formal-verification accountability foundations cardinality semantic-interoperability lean4 formal-ontology
Lean
•
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
GovernanceBoundary
Public
Lean 4 formalization of the Governance Boundary.
provenance versioning dependency-graphs lean4 structural-explainability governance-boundary governance-structure
Lean
•
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
CEE
Public
Lean 4 formalization of the contextual structural explainability layer.
provenance attestation interpretation lean4 structural-explainability contextual-evidence explanation-interface
Lean
•
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
AccountableEntities
Public
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
Lean
•
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
paper-100-neutral-substrate
Public
Paper establishing that for an ontological substrate to remain neutral and stable under allowable frameworks that include persistent disagreement, causal or nor…
latex academic-paper accountability causal foundations deontic explainability formal-ontology ontological-neutrality structural-explainability
TeX
•
Other
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
spec-se-appendix
Public
Structural Explainability Appendix Template.
Other
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
spec-se
Public
Authoritative specification of Structural Explainability (SE).
accountability formal-specification neutrality explainability structural-explainability representational-constraints
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
spec-ib
Public
Authoritative specification of Interpretation Boundary (IB).
attribution provenance interpretation formal-specification structural-explainability interpretation-boundary
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
spec-gb
Public
Authoritative specification of Governance Boundary (GB).
provenance dependency-graphs formal-specification structural-explainability governance-boundary governance-structure
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
spec-ep
Public
Authoritative specification of the Evolution Protocol (EP).
formal-specification change-tracking graph-evolution structural-explainability evolution-protocol
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
spec-cee
Public
Authoritative specification of Contextual Evidence & Explanations (CEE).
provenance explanation attestation formal-specification structural-explainability contextual-evidence
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
spec-ae
Public
Authoritative specification of Accountable Entities (AE).
persistence formal-specification neutrality identity-regimes structural-explainability accountable-entities
MIT License
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
paper-200-identity-regimes
Public
This paper derives necessary and sufficient structural constraints on neutral ontological substrates required to support stable reference and accountability und…
persistence academic-paper formal-ontology ontological-neutrality identity-regimes structural-explainability accountibility neutral-substrates extension-stability causal-commitment
TeX
•
Other
•0•1•0•0•Updated Jan 23, 2026Jan 23, 2026
EvolutionProtocol
Public
Lean 4 formalization of the Evolution Protocol schemas.
provenance formal-verification change-tracking lean4 graph-evolution neutral-substrate structural-explainability evolution-protocol
Lean
•
MIT License
•0•1•0•0•Updated Jan 6, 2026Jan 6, 2026
ExchangeProtocol
Public
Lean 4 formalization of the exchange protocol schemas.
theorem-proving provenance civic-tech dependency-graphs formal-verification accountability semantic-interoperability data-provenance lean4 formal-ontology
Lean
•
MIT License
•0•1•0•0•Updated Dec 27, 2025Dec 27, 2025