A product tag does not appear in the dropdown when I build a cart rule, even though the products carry it.

The dropdown is not an exhaustive list once you have a large number of tags. Type or paste the exact tag name into the search field in the dropdown and it will appear. This is a display limit, not a missing tag. The tags are case-sensitive.