Verified AI is not a settled category, and its history explains why.
This working paper traces the term from the verification of knowledge-based systems in 1988 through the 2016 formal definition, shows how that concept shaped the HAIA Ecosystem, and sets out a practitioner definition built on records a human can review and accept. It closes with the 2026 trend and how the Proof-of-Control standard contrasts with it.