Adaptive experiments and a rigorous framework for type I error verification and computational experiment design