So I modified tinyprog/init.py get_ports() to just dump everything usb.core.find() can give out, and it did not list 1d50:6130 at all.
I plugged in a FTDI board I had and it’s product ID did show up after I disconnected the tiny bx. Also, the FTDI board shows up as device class 0x0 (Unspecified).
Does osx need a kext/driver for this board in order to do anything with it as a “Communications Device”? I have never programmed anything for USB before so I certainly don’t know.