Documentation site for Structural Explainability.
-
Updated
Jul 1, 2026
#
structural-explainability
Here are 41 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
Authoritative specification of Governance Boundary (GB).
provenance dependency-graphs formal-specification structural-explainability governance-boundary governance-structure
-
Updated
Aug 1, 2026 - Python
Lean 4 formalization of the Governance Boundary.
provenance versioning dependency-graphs lean4 structural-explainability governance-boundary governance-structure
-
Updated
Jul 1, 2026 - Lean
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
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
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
Authoritative specification of Structural Explainability (SE).
accountability formal-specification neutrality explainability structural-explainability representational-constraints
-
Updated
May 1, 2026
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
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
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
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
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
Lean 4 formalization of Structural Explainability integration, composing substrate and identity regimes into cross-cutting theorems, traceability, and system-level invariants.
integration composition theorem-proving invariants formal-verification traceability lean4 proof-carrying structural-explainability
-
Updated
Aug 1, 2026 - Python
Superseded: Lean 4 formalization of the necessary and sufficient identity-and-persistence regimes for neutral accountability substrates.
persistence logic theorem-proving formal-verification accountability foundations cardinality semantic-interoperability lean4 formal-ontology identity-regimes structural-constraints necessity-and-sufficiency structural-explainability accountable-entities
-
Updated
Jul 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
Lean 4 formalization of the contextual structural explainability layer.
provenance attestation interpretation lean4 structural-explainability contextual-evidence explanation-interface
-
Updated
Jul 1, 2026 - Lean
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."