The documentation has this for the SYSPROD function:
"Requirement Product-name must be the correct official name of the product or solution."

Where do we find a list of these official names? Clearly from your example they are not what PROC SETINIT reports. The naming of SAS products has long puzzled me.

A related question: Now that versions of many products are decoupled from the base version number (&SYSVER), how do we programmatically discover the installed version, say, of SAS/STAT?