The harness is everything the model operates inside: the tools it can call, the instructions it receives, the memory it has access to, the verification loops that check its output, the constraints ...