Independent Verification As a Precondition for Trustworthy AI Deployment: The Case for a Formal AI Evaluation Discipline. JISTM 2025, 1 (01), 15-30.