Structural Explainability
Change the repository type filter
All
Repositories list
72 repositories
se-constitution
PublicCanonical specification and validation system for Structural Explainability repository classes, dependencies, and constraints.- Lean 4 formalization of Structural Explainability integration, composing substrate and identity regimes into cross-cutting theorems, traceability, and system-le…
se-theory-transformation
PublicLean 4 formalization of foundational transformation theory for Structural Explainability.- Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent…
- Lean 4 formalization of identity regimes for Structural Explainability, defining six canonical regimes, nine derived profiles, and transformation-based identity…
.github
PublicGitHub organization profile and governance materials for Structural Explainability.NeutralSubstrate
PublicSuperseded: Lean 4 formalization of the Ontological Neutrality Theorem- Paper defining neutral substrates that preserve shared reference without adopting contested interpretations.
- This paper derives identity regimes that preserve stable reference when neutral substrates are transformed under persistent disagreement.
se-df
PublicExecutable domain formalization toolkit for domain specifications.se-kernel
PublicInvariant primitives and structural constants for the Structural Explainability (SE) ecosystem.se-regimes
PublicExecutable identity and persistence regime kernel for Structural Explainability (SE); defines regime profiles, transformation families, and testable identity be…se-manifest-schema
PublicCanonical SE_MANIFEST.toml schema for Structural Explainability; dependency-free base layer for manifest validation.EvolutionProtocol
PublicLean 4 formalization of the Evolution Protocol schemas.IdentityRegimes
PublicSuperseded: Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.se-admin
PublicAdministrative tooling and automation for enforcing Structural Explainability (SE) standards across repositories.se-contract-kit
PublicProvides generic contract loading, resolution, and validation machinery for Structural Explainability contract repositories.se-formal-contract
PublicLean 4 formal contract layer for Structural Explainability invariants, regimes, neutrality results, and exported operational contract artifacts.judicial-record-spec
PublicJudicial accountable record system for opinions, claims, holdings, citations, dependencies, and later treatment.se-theory-reference-kit
Publicse-mapping-education
PublicStructural Explainability education-domain mapping boundary and conformance examples (CTX -> NOR) across independent education systems.- Civic influence accountable record system for source-backed relationships, organizations, people, funding, lobbying, roles, affiliations, documents, and claims.
spec-ep
PublicAuthoritative specification of the Evolution Protocol (EP).accountable-surface-spec
PublicExchangeProtocol
PublicLean 4 formalization of the exchange protocol schemas.spec-gb
PublicAuthoritative specification of Governance Boundary (GB).
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.