Timeline update:
Just received the (ugly green) HOV stickers today 7/20
And for reference, when I applied to the DMV, I did not yet have my permanent plates, so I left the [plate] field blank.
The HOV certificate does show the valid plate, so I guess the systems do talk to each other!