Research programmes are not slide-deck futures.
Riley Betts is a native AI company that ships in pilots while advancing the stack below. These programmes feed Spec++, Spec++ Pipeline, and CECO / Compliance Operator—labelled honestly as research programme or in active R&D until maturity changes.
Proof-gated architecture
Consequential actions proceed only after a cryptographic proof that policy checks succeeded—so auditors verify the gate, not the vendor’s narrative. Feeds CECO / Compliance Operator and examination-ready evidence patterns.
Prove the gate fired correctly.
Glossary →Spec++ language and verification
Ongoing work on Spec++ semantics, verification, generation, and toolchain hardening. Distinct from Spec++ as methodology in engagements today; feeds Spec++ Pipeline and customer specifications.
Hardening the language and provers customer specs rely on.
How we relate to existing work →Neuro-symbolic agents
Agents that combine neural components with symbolic, checkable structure—probabilistic reasoning where appropriate; deterministic enforcement where regulation requires it. Feeds CECO’s untrusted-proposer model.
AI that can adapt, but still operates inside rules a machine can check.
Glossary →