Evaluating Verified Autonomy in Quantum Engineering · Bharat Hunt