Runtime containment kernel for LLM agents. Enforces budget, step, retry, and circuit-breaker limits before the model call.
Geometric region embeddings for knowledge graph subsumption (Python bindings for the subsume Rust crate)
Robust characterization of inside and outside in periodic spaces.
SAT-gated structural containment for AI — verification gate, four-verdict system, proof evolution, and paradox logic
