Humans by far. The rules are all there to be observed at the binary level. Running code always tells the truth.