A testable conjecture about system behavior written as runnable code that can be validated against observations.