Testing the Proof System: Negative Controls and Dependency Evidence in Ota

· Dev.to