HEKB v1.0.1
HEKB is the knowledge-storage layer of the HEXT ecosystem — a storage-ignorant, category-theoretic knowledge substrate. It models a knowledge graph as a mathematical category K (concretely, the category of finite sets and functions), giving every operation — composition, pushout, pullback, the tensor/internal-hom adjunction — a real, checked implementation instead of an ad-hoc graph data structure.
This is the first complete public release.
Highlights
KnowledgeCategory— objects (Concept) and morphisms (KnowledgeRelation) forming K, with category axioms (identity, composition, totality) enforced on every admission.- The Homotopic Update Law — updates are only accepted if their naturality square provably commutes; a broken update changes nothing.
- Pushouts and pullbacks, constructed directly in Set, with the pushout's universal property constructively verified rather than assumed.
- The tensor / internal-hom adjunction (
Hom(A⊗B, C) ≅ Hom(A, [B,C])), demonstrated as an executable round-trip. - Total storage ignorance — the algebraic core never imports a database driver; a static AST audit in the test suite enforces this on every build.
- Zero runtime dependencies. Python 3.12+. Apache-2.0.
Quality
Ruff clean · MyPy (strict) clean · 29/29 tests passing · CI green on Python 3.12 and 3.13.
Note on versioning
v1.0.0 was tagged during repository setup, before the source tree reached main; v1.0.1 is the version that actually ships the implementation described above.
Shortly after tagging v1.0.1, the package metadata version string was corrected on the main branch. This housekeeping change does not affect the API, runtime behavior, or the contents of the release.
Scope
This release contains only the knowledge layer. Observation, semantic annotation, geometry/curvature compilation, controller logic, concrete storage backends, and MCP/LLM integration are out of scope by design — see the README's "Repository boundaries."