Lean 4 formalization of the neutral structural substrate for Structural Explainability.
Executable verification of the finite mathematical core of SE-210, Operational Identity: A Finite Audit of Declared and Implemented Rules of Sameness.
Mapping vocabulary and structural correspondence rules for the Structural Explainability (SE) ecosystem.
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.
Generate and check GitHub CODEOWNERS from accountable surface declarations.
Assurance-mapping record schema and structural validation for the Structural Explainability ecosystem.
Lean 4 formalization of Structural Explainability's Structural Assurability theory.
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.
An executable contract for the Structural Explainability (SE) interpretive kernel: when a declared identity regime over frames induces well-defined judgments about the objects an interpretation produces, and what it costs when it does not.
Language-neutral, data-first contract for accountable records, verifiable exports, conformance reports, subject mappings, and package-based verification.
Lean 4 formalization of foundational transformation theory for Structural Explainability - defines structural transformation vocabulary, intrinsic effect semantics, and selected relations among transformation operators.
Executable identity and persistence regime kernel for Structural Explainability (SE); defines regime profiles, transformation families, and testable identity behavior (PRS/BRK/INH).
Lean 4 formalization of foundational coreference theory for Structural Explainability (SE)
Documentation site for Structural Explainability.
Protocols for Structural Explainability research
Lean 4 formalization connecting Transformation and Persistence theory for Structural Explainability (SE).
Lean 4 formalization of how identity can persist, break, or remain invariant under transformation in Structural Explainability.
Executable domain formalization toolkit for domain specifications.
To associate your repository with the structural-explainability topic, visit your repo's landing page and select "manage topics."