01
Determinism before probability
Every claim is verified deterministically before any probabilistic AI system is consulted. Classical approaches are exhausted first. LLMs are called last — and only when the deterministic engine declares a genuine knowledge frontier.
02
INDETERMINATE is a valid answer
Most AI systems fabricate answers when uncertain. Universal Kernel does not. When 24 classical variations are exhausted without resolution, the motor returns INDETERMINATE — a documented, auditable declaration of a knowledge boundary.
03
Human oversight is inviolable
No result enters the Knowledge Base without documented human approval. This is architecturally enforced — not a configuration option, not a policy guideline. The Human Gate cannot be bypassed regardless of how the system is used.
04
Every decision is auditable
SHA-256 hashes chain every event from session creation to human approval. The audit trail is immutable and export-ready for regulatory submission under EU AI Act Arts. 12-15. Nothing is logged selectively — everything is logged always.
2024
Research phase
Deep investigation of the failure modes of probabilistic AI systems in regulated domains — oncology, legal, finance. The core insight: compliance cannot be added to an AI system. It must be the architecture.
2025
Constitutional Compiler v7.0
First-order logic engine with formal verification support. The DIPEngine exhaustion cycle is defined: 6 classical approaches, 4 variations each, 24 total before declaring a knowledge frontier. Validated against benchmark domains.
2026 Q1
Production deployment
Universal Kernel v1.0 goes live. PostgreSQL stateless architecture, Redis async queue, EU AI Act Arts. 12-15 compliance confirmed. VAAR paper submitted to NeurIPS 2026.
2026 Q2
API access opens
Developers can now build AI Act compliant products on Universal Kernel infrastructure. One instance per client. Motor stays on our servers. Code never leaves.