containment
Runtime containment kernel for LLM agents. Enforces budget, step, retry, and circuit-breaker limits before the model call.
Region embeddings for entailment and set containment
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
