The USB-C had the wrong number of pins
The one-way-up USB fault from Update 13 turned out to be the connector: a 9-pin USB-C brings out only one data pair. We fitted a 16-pin part, and the device now gets as far as asking for a PIN.
Read the update →