We should probably just remove @pure from the description in that NEWS item. It’s an unnecessary implementation detail.
@pure itself is totally distinct from either the Val change or broadcasting. It’s an internal macro that has an extremely high standard for purity. So high, in fact, that almost nobody should use it other than Jameson. As such, it is not exported for general use.