Thanks for the thread, Andrew.
I've added to my TODO notes for the @var Tag that an example of a full DocBlock needs to be the basic example (like your first example), with the one-line DocBlock variant being an allowed alternative syntax.
More generally addressing your question for the One True Way, in this instance, I see *all* the ways as OK. Here's why:
* The DocBlock level Description is optional and available, regardless of the Tags in the DocBlock... the fact that this this particular DocBlock is only for an element that the @var Tag itself will describe is irrelevant, even if it seems redundant.
* The @var Tag level Description is optional and available, because not all well-named elements with properly shown @var data Type will need such description... the fact that the DocBlock itself has an optional Description is irrelevant, even if it seems redundant.
* The one-line DocBlock format variant doesn't allow for Summary or Description, so the @var Tag level Description is the only place to put one if such a description is needed.
Now, if we were to consider trying to remove the variations and force a One True Way here, I fear we will find three statistically equal camps out in the wild with regard to how projects use this Tag and its DocBlock.
However, if the Working Group did wish to try tightening up this case of description redundancy, then presumably the cleanest way to do so is to drop Description completely out of the @var Tag itself, since we can't really force dropping it from the DocBlock overall just because it's an @var Tag DocBlock.
Working Group and ML readers: further thoughts?