Documentation site for Structural Explainability.
-
Updated
Jul 1, 2026
#
structural-explainability
Here are 42 public repositories matching this topic...
Authoritative specification of Accountable Entities (AE).
persistence formal-specification neutrality identity-regimes structural-explainability accountable-entities
-
Updated
Aug 1, 2026 - Python
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
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
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
Sep 1, 2026 - Lean
Superseded: Lean 4 formalization of the contextual structural explainability layer.
identity persistence formal-verification neutrality explainability lean4 formal-ontology structural-explainability accountable-systems
-
Updated
Sep 1, 2026 - Lean
Authoritative specification of Structural Explainability (SE).
accountability formal-specification neutrality explainability structural-explainability representational-constraints
-
Updated
May 1, 2026
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
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
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
Authoritative specification of Contextual Evidence & Explanations (CEE).
provenance explanation attestation formal-specification structural-explainability contextual-evidence
-
Updated
May 30, 2026
Lean 4 formalization of foundational transformation theory for Structural Explainability.
theorem-proving formal-methods formal-verification composition-rules orthogonality lean4 transformation-theory structural-explainability operator-semantics machine-readable-semantics
-
Updated
Aug 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
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
Lean 4 formalization of the contextual structural explainability layer.
provenance attestation interpretation lean4 structural-explainability contextual-evidence explanation-interface
-
Updated
Jul 1, 2026 - Lean
Structural Explainability education mathematics mapping patterns and NOR (ACU) definitions for cross-system alignment (CTX -> NOR).
interoperability data-modeling education-standards mathematics-education structural-explainability declarative-specification curriculum-alignment standards-mapping cross-system-alignment atomic-competency-units
-
Updated
Aug 1, 2026 - Python
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."