Lean 4 formalization of the contextual structural explainability layer.
Authoritative specification of Contextual Evidence & Explanations (CEE).
Lean 4 formalization of the Governance Boundary.
Interactive decision tree for classifying objects into Structural Explainability identity and persistence regimes.
Documentation site for Structural Explainability.
Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.
Authoritative specification of Structural Explainability (SE).
Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
Authoritative specification of Governance Boundary (GB).
Structural Explainability mapping examples for Grade 8 mathematics (CTX -> NOR), including NAEP, CCSS, and international systems, includes validation and coverage matrix generation.
Lean 4 formalization of the contextual structural explainability layer.
Authoritative specification of Accountable Entities (AE).
Administrative tooling and automation for enforcing Structural Explainability (SE) standards across repositories.
Lean 4 formalization of the Evolution Protocol schemas.
Canonical SE_MANIFEST.toml schema for Structural Explainability; dependency-free base layer for manifest validation.
Authoritative specification of the Evolution Protocol (EP).
Lean 4 formalization of the exchange protocol schemas.
Authoritative specification of Interpretation Boundary (IB).
Canonical specification and validation system for Structural Explainability repository classes, dependencies, and constraints.
Invariant primitives and structural constants for the Structural Explainability (SE) ecosystem.
Add a description, image, and links to the structural-explainability topic page so that developers can more easily learn about it.
To associate your repository with the structural-explainability topic, visit your repo's landing page and select "manage topics."