Documentation site for Structural Explainability.
-
Updated
Jul 1, 2026
#
structural-explainability
Here are 41 public repositories matching this topic...
Structural Explainability mapping examples for Grade 8 mathematics (CTX -> NOR), including NAEP, CCSS, and international systems, includes validation and coverage matrix generation.
python toml analytics mapping open-data interoperability data-modeling education-standards knowledge-representation comparative-education structural-explainability declarative-specification curriculum-alignment coverage-matrix
-
Updated
Jul 1, 2026 - Python
Lean 4 formalization of the neutral structural substrate for Structural Explainability, defining admissibility, separation, and substrate invariants independent of identity regimes.
theorem-proving invariants formal-verification separation lean4 proof-carrying neutral-substrate structural-explainability admissibility
-
Updated
Aug 1, 2026 - Lean
Interactive decision tree for classifying objects into Structural Explainability identity and persistence regimes.
classification formal-methods data-modeling decision-tree knowledge-representation regime-classification interactive-explorer identity-regimes structural-explainability declarative-specification persistence-regimes
-
Updated
Aug 1, 2026 - Python
Generate and check GitHub CODEOWNERS from accountable surface declarations.
github python cli toml automation governance accountability codeowners ai-governance ai-accountability repository-governance structural-explainability human-review accountable-surfaces
-
Updated
Aug 1, 2026 - Python
Administrative tooling and automation for enforcing Structural Explainability (SE) standards across repositories.
python open-source automation admin ci-cd configuration-management repository-management workflow-orchestration structural-explainability system-governance cross-repo-consistency
-
Updated
Aug 1, 2026 - Python
Superseded: Lean 4 formalization of the contextual structural explainability layer.
identity persistence formal-verification neutrality explainability lean4 formal-ontology structural-explainability accountable-systems
-
Updated
Aug 1, 2026 - Lean
Authoritative specification of Accountable Entities (AE).
persistence formal-specification neutrality identity-regimes structural-explainability accountable-entities
-
Updated
Aug 1, 2026 - Python
Authoritative specification of Governance Boundary (GB).
provenance dependency-graphs formal-specification structural-explainability governance-boundary governance-structure
-
Updated
Aug 1, 2026 - Python
Authoritative specification of Structural Explainability (SE).
accountability formal-specification neutrality explainability structural-explainability representational-constraints
-
Updated
May 1, 2026
Paper defining neutral substrates that preserve shared reference without adopting contested interpretations.
latex academic-paper accountability causal foundations deontic explainability formal-ontology ontological-neutrality structural-explainability neutrality-constraints substrate-stability neutrality-theorem
-
Updated
Aug 1, 2026 - TeX
Lean 4 formalization of the Governance Boundary.
provenance versioning dependency-graphs lean4 structural-explainability governance-boundary governance-structure
-
Updated
Jul 1, 2026 - Lean
Lean 4 formalization of Accountable Entities (AE): six named entity kinds and their mapping to six identity regimes.
persistence theorem-proving formal-verification accountability semantic-interoperability lean4 formal-ontology neutral-substrate identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jul 1, 2026 - Lean
Judicial accountable record system for opinions, claims, holdings, citations, dependencies, and later treatment.
provenance citations traceability case-law legal-reasoning holdings legal-data auditability court-records structural-explainability legal-citations accountable-record category-collapse judicial-record
-
Updated
Aug 1, 2026 - Python
This paper derives identity regimes that preserve stable reference when neutral substrates are transformed under persistent disagreement.
persistence academic-paper formal-ontology ontological-neutrality identity-regimes structural-explainability accountibility neutral-substrates extension-stability causal-commitment normative-commitment
-
Updated
Aug 1, 2026 - TeX
Lean 4 formalization of identity regimes for Structural Explainability, defining six canonical regimes, nine derived profiles, and transformation-based identity classification.
theorem-proving formal-verification lean4 proof-carrying split-pressure identity-regimes structural-explainability regime-profiles transformation-classification
-
Updated
Aug 1, 2026 - Lean
Language-neutral, data-first contract for accountable records, verifiable exports, conformance reports, subject mappings, and package-based verification.
verification audit provenance interoperability governance conformance open-standard machine-readable digital-records data-contract recordkeeping structural-explainability accountable-records
-
Updated
Aug 1, 2026 - Python
Provides generic contract loading, resolution, and validation machinery for Structural Explainability contract repositories.
software-quality validation-engine dependency-resolution contract-validation structural-explainability contract-resolution authority-resolution contract-tooling contract-engine
-
Updated
Aug 1, 2026 - Python
Invariant primitives and structural constants for the Structural Explainability (SE) ecosystem.
python open-source kernel interoperability invariants system-architecture structural-primitives structural-explainability declarative-specification shared-constants identifier-design schema-foundation
-
Updated
Aug 1, 2026 - Python
Authoritative specification of the Evolution Protocol (EP).
-
Updated
Aug 1, 2026 - Python
Improve this page
Add a description, image, and links to the structural-explainability topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the structural-explainability topic, visit your repo's landing page and select "manage topics."