Structural Explainability
Change the repository type filter
All
Repositories list
43 repositories
se-constitution
PublicCanonical specification and validation system for Structural Explainability repository classes, dependencies, and constraints.se-formal-contract
PublicLean 4 formal contract layer for Structural Explainability invariants, regimes, neutrality results, and exported operational contract artifacts.- Lean 4 formalization of Structural Explainability integration, composing substrate and identity regimes into cross-cutting theorems, traceability, and system-le…
- Lean 4 formalization of identity regimes for Structural Explainability, defining six canonical regimes, nine derived profiles, and transformation-based identity…
- Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent…
- This paper derives necessary and sufficient structural constraints on neutral ontological substrates required to support stable reference and accountability und…
EvolutionProtocol
PublicLean 4 formalization of the Evolution Protocol schemas.IdentityRegimes
PublicLean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.spec-se-appendix
Publicse-manifest-schema
PublicCanonical SE_MANIFEST.toml schema for Structural Explainability; dependency-free base layer for manifest validation.- Paper establishing that for an ontological substrate to remain neutral and stable under allowable frameworks that include persistent disagreement, causal or nor…
NeutralSubstrate
PublicLean 4 formalization of the Ontological Neutrality Theoremspec-se
PublicAuthoritative specification of Structural Explainability (SE).spec-ep
PublicAuthoritative specification of the Evolution Protocol (EP).ExchangeProtocol
PublicLean 4 formalization of the exchange protocol schemas.spec-gb
PublicAuthoritative specification of Governance Boundary (GB)..github
PublicGitHub profile repo for the structural-explainability organization on GitHub.GovernanceBoundary
PublicLean 4 formalization of the Governance Boundary.spec-ae
PublicAuthoritative specification of Accountable Entities (AE).AccountableEntities
PublicLean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.InterpretationBoundary
PublicLean 4 formalization of the Interpretation Boundary.CEE
PublicLean 4 formalization of the contextual structural explainability layer.spec-cee
PublicAuthoritative specification of Contextual Evidence & Explanations (CEE).site
PublicDocumentation site for Structural Explainability.spec-ib
PublicAuthoritative specification of Interpretation Boundary (IB).- Structural Explainability mapping examples for Grade 8 mathematics (CTX -> NOR), including NAEP, CCSS, and international systems, includes validation and covera…
StructuralExplainability
PublicLean 4 formalization of the contextual structural explainability layer.se-admin
PublicAdministrative tooling and automation for enforcing Structural Explainability (SE) standards across repositories.se-govsrc-us
Publicse-govsrc-oecd-pisa
Public
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.