Yeah, I got it. Machines can't verify the documentation that humans write. It's not a subtle point.
Now, if the code were good enough to substitute for human-written documentation, you'd actually be addressing my argument. The people who argue that code is self-documenting tend to produce only badly documented code.
The way that comments stay in sync with code is that the developer keeps the comments up to date. It isn't that hard.
Documentation is something completely different from comments. Documentation is something you write for the interfaces you expose. This, I have absolutely no problem with. Interfaces are meant to be stable, they should be well defined, they should have human-friendly instructions and examples on use.
Comments in code? That's something completely different.
Now, if the code were good enough to substitute for human-written documentation, you'd actually be addressing my argument. The people who argue that code is self-documenting tend to produce only badly documented code.
The way that comments stay in sync with code is that the developer keeps the comments up to date. It isn't that hard.