FARMS: A Verifiable Foundation for Automated Computational Science · Bharat Hunt