structural-explainability

Lean 4 formalization of the neutral structural substrate for Structural Explainability.

Authoritative specification of Accountable Entities (AE).

Executable verification of the finite mathematical core of SE-210, Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness.

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.

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

Lean 4 formalization of the Governance Boundary.

Authoritative specification of Structural Explainability (SE).

Lean 4 formalization of the contextual structural explainability layer.

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.

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

Source-grounded feasibility pilot for comparing genuinely different accounts of what constitutes one regulatory source.

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

Generate and check GitHub CODEOWNERS from accountable surface declarations.

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

Authoritative specification of the Evolution Protocol (EP).

Lean 4 formalization of the exchange protocol schemas.

Lean 4 formalization of the Interpretation Boundary.

Lean 4 formal contract layer for Structural Explainability invariants, regimes, neutrality results, and exported operational contract artifacts.