Confirmed reliable operation where both actions and conclusions can be directly checked for correctness.