> Does this mean the smallest /bin/true is actually an empty file?

Yes. It used to be. Here's the history from Rob Pike https://twitter.com/rob_pike/status/966896123548872705