An executable contract for the Structural Explainability (SE) interpretive kernel: when a declared identity regime over frames induces well-defined judgments about the objects an interpretation produces, and what it costs when it does not.
verification interpretation equivalence-relations differential-testing verificaton galois-connection structural-explainability interpretive-kernel
-
Updated
Nov 13, 2026 - Python