I decided to introduce a feature specifying VID:PID at runtime, like:

$ /usr/local/libexec/gnuk --vidpid=VVVV:PPPP

That is, it is the end user who will specify the VID:PID. The distributed binary won't have any VID:PID, thus, no violation (of the USB-IF member agreement) will occur when someone will distribute Gnuk binary for emulation.

And when an end user does specify VID:PID of existing one, with her knowledge of emulation, I don't think it is violation of anything, either.

Correct?