structural-explainability

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

Authoritative specification of Accountable Entities (AE).

Lean 4 formalization of foundational persistence theory for Structural Explainability (SE).

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

Documentation site for Structural Explainability.

Lean 4 formalization of the Governance Boundary.

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

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

Authoritative specification of Structural Explainability (SE).

Lean 4 formalization of the contextual structural explainability layer.

Generate and check GitHub CODEOWNERS from accountable surface declarations.

Assurance-mapping record schema and structural validation for the Structural Explainability ecosystem.

Invariant primitives and structural constants 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.

Superseded: Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.

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.