Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent of identity regimes.
Authoritative specification of Accountable Entities (AE).
Lean 4 formalization of the Governance Boundary.
Authoritative specification of Structural Explainability (SE).
Interactive decision tree for classifying objects into Structural Explainability identity and persistence regimes.
Structural Explainability mapping examples for Grade 8 mathematics (CTX -> NOR), including NAEP, CCSS, and international systems, includes validation and coverage matrix generation.
Administrative tooling and automation for enforcing Structural Explainability (SE) standards across repositories.
Superseded: Lean 4 formalization of the contextual structural explainability layer.
Invariant primitives and structural constants for the Structural Explainability (SE) ecosystem.
Language-neutral, data-first contract for accountable records, verifiable exports, conformance reports, subject mappings, and package-based verification.
Provides generic contract loading, resolution, and validation machinery for Structural Explainability contract repositories.
Documentation site for Structural Explainability.
Protocols for Structural Explainability research
Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.
Judicial accountable record system for opinions, claims, holdings, citations, dependencies, and later treatment.
Lean 4 formalization of the contextual structural explainability layer.
Authoritative specification of Governance Boundary (GB).
Lean 4 formalization of Structural Explainability's Structural Assurability theory.
Superseded: Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
Paper defining neutral substrates that preserve shared reference without adopting contested interpretations.
To associate your repository with the structural-explainability topic, visit your repo's landing page and select "manage topics."