Repositories list
87 repositories
reactive-research
PublicTools for building, validating, resolving, and querying Reactive Research graphs.se-mapspec
PublicMapping vocabulary and structural correspondence rules for the Structural Explainability (SE) ecosystem..github
PublicGitHub organization profile and governance materials for Structural Explainability.se-manifest-schema
PublicCanonical SE_MANIFEST.toml schema for Structural Explainability; dependency-free base layer for manifest validation.se-mapping-assurance
PublicAssurance-mapping record schema and structural validation for the Structural Explainability ecosystem.- Applied research investigating the applicability and limitations of claim-relative Structural Assurability.
se-constitution
PublicCanonical specification and validation system for Structural Explainability repository classes, dependencies, and constraints.se-theory-coreference
PublicLean 4 formalization of foundational coreference theory for Structural Explainability (SE)se-theory-individuation
PublicLean 4 formalization of individuation theory for Structural Explainability (SE) - how something counts as one whole, and when elements belong to the same unit.- Lean 4 formalization of Structural Explainability's Structural Assurability theory.
- Source-grounded feasibility pilot for comparing genuinely different accounts of what constitutes one regulatory source.
se-protocols-research
PublicProtocols for Structural Explainability research- Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent…
se-theory-persistence
PublicLean 4 formalization of how identity can persist, break, or remain invariant under transformation in Structural Explainability.- Lean 4 formalization of identity regimes for Structural Explainability, defining six canonical regimes, nine derived profiles, and transformation-based identity…
- Lean 4 formalization connecting Transformation and Persistence theory for Structural Explainability (SE).
se-theory-reference-kit
Publicse-theory-transformation
PublicLean 4 formalization of foundational transformation theory for Structural Explainability - defines structural transformation vocabulary, intrinsic effect semant…- Paper defining neutral substrates that preserve shared reference without adopting contested interpretations.
NeutralSubstrate
PublicSuperseded: Lean 4 formalization of the Ontological Neutrality Theoremreactive-research-spec
PublicStructuralExplainability
PublicSuperseded: Lean 4 formalization of the contextual structural explainability layer.
ProTip! When viewing an organization's repositories, you can use the
props. filter to filter by custom property.