Does the Nexus 5001™ Forum define a minimum Nexus auxiliary port of 16 pins?

No. The Nexus 5001™ Forum Standard for Global Embedded Processor Debug Interface can scale from 3 pins and up.