A Case Study in Assuring AI-Written Software · Bharat Hunt