FARMS: A Verifiable Foundation for Automated Computational Science