structural-explainability

Here are 3 public repositories matching this topic...

structural-explainability / ExchangeProtocol

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 identity-regimes structural-explainability exchange-protocol

Updated Dec 27, 2025
Lean

structural-explainability / AccountableEntities

Star

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

theorem-proving formal-verification accountability semantic-interoperability lean4 formal-ontology identity-regimes structural-constraints necessity-and-sufficiency structural-explainability

Updated Dec 31, 2025
Lean

structural-explainability / paper-200-identity-regimes

Star

This paper derives necessary and sufficient structural constraints on neutral ontological substrates required to support stable reference and accountability under persistent disagreement.

formal-ontology ontological-neutrality structural-explainability accountibility neutral-substrates extension-stability causal-commitment normative-commitment

Updated Dec 31, 2025
TeX

Improve this page

Add a description, image, and links to the structural-explainability topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the structural-explainability topic, visit your repo's landing page and select "manage topics."

Learn more

Provide feedback

Saved searches

Use saved searches to filter your results more quickly