I have just recieved and have been experimenting with the RP2040/ATP carrier board combo when it soon became apparent that the pin legend on the ATP board does not correspond with RP2040 pins. For example the ATP pin GP0 is actually GP16 on the RP2040, ATP pin GP10 is really RP2040 GPIO pin 25 (onboard led). It would be useful if nothing else to have a spreadsheet file with the ATP documents page to list the remapping instead of trying to do so through your schematic. Perhaps this already exists and I missed it somewhere. Other than this wrinkle all else has been smooth sailing so far with the micro python implementation.
Thanks for reaching out to us on this.
The pin-pairing between boards and processors will be unique to the pairing; using a different chip on that board would yield a different diagram (esp32, for instance) - we have no plans to implement use-case based diagrams, though as you’ve mentioned the provided schematics and datasheets allow you to map them on your own.
Hope this helps, and happy sparking!