Adaptive Experiments and A Rigorous Framework for Type I Error Verification and Computational Experiment Design Michael Sklar, Sept 2021