structural-explainability

Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent of identity regimes.

Lean 4 formalization of the Governance Boundary.

Superseded: Lean 4 formalization of the contextual structural explainability layer.

Lean 4 formalization of how identity can persist, break, or remain invariant under transformation in Structural Explainability.

Authoritative specification of Accountable Entities (AE).

Structural Explainability mapping examples for Grade 8 mathematics (CTX -> NOR), including NAEP, CCSS, and international systems, includes validation and coverage matrix generation.

Interactive decision tree for classifying objects into Structural Explainability identity and persistence regimes.

Administrative tooling and automation for enforcing Structural Explainability (SE) standards across repositories.

Authoritative specification of Structural Explainability (SE).

Provides generic contract loading, resolution, and validation machinery for Structural Explainability contract repositories.

Language-neutral, data-first contract for accountable records, verifiable exports, conformance reports, subject mappings, and package-based verification.

Documentation site for Structural Explainability.

Protocols for Structural Explainability research

Mapping vocabulary and structural correspondence rules for the Structural Explainability (SE) ecosystem.

Lean 4 formalization of the exchange protocol schemas.

Authoritative specification of the Evolution Protocol (EP).

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.

Authoritative specification of Governance Boundary (GB).

Lean 4 formalization of Structural Explainability's Structural Assurability theory.