Hi @JColvin.
I have tested all these on a "bad" board. Digilent module shows GPIO2 (PS_SRST_B) and GPIO1 at low level (about 30mV). But GPIO2 shows high level (3.3V). TDO,TDI, TMS, TCK and Vref pins are also at 3.3V level.
Then, I connect digilent module JTAG to a PC. Nothing changes. But, when I started Vivado Hardware Manager, open Digilent and begin to scan the JTAG chain, then GPIO2 (PS_SRST_B) changes to low level. GPIO1 remains at low level, and GPIO2 stands on high level, too.
I observed this behaviour on new cards. So this is the first poweron of a new digilent module. I don't think it could be a failure of a good module.
I also compared R4 resistors of a "good" and "bad" Digilent module. Both meassure 99K5
Best regards,
D. Carrasco