Multi-agent orchestration with formal verification gates. BOB family, sovereign kernels, event buses, and deterministic routing.