Feedback signals that can be automatically checked, like whether code produces correct outputs on test cases.