Aslanbek Yurievich Khamikoev

Deployable and Insurable AGI Requires Verifiable Execution Admissibility: A Conditional Bounded-Loss Theorem for Agent Systems

2026 · Zenodo (CERN European Organization for Nuclear Research)

AbstractWe present an audit-grade formal framework for deployability and insurability of AGI-class and high-capability autonomous agent systems based on verifiable execution-admissibility constraints. The framework introduces a strict separation between capability generation and real-world execution. Capability …