You can use a combination of the schematic and the component top placement docs to check most of this:
https://wiki.pine64.org/wiki/PinePhone#P...ifications
Note that there's also conductive printing on the other side of the inner frame, at least on my Brave Heart. Part of this is the WiFi/bluetooth antenna - let's call it A4 in your notation. It runs from the hole without printing below A1going down slightly, then turns 90 degrees towards the edge before going down again, ending just above the level of the reset button hole. Note that I've seen a picture that suggests there may have been revisions to the printed antennas, but it wasn't clear which model it was so it may have been an earlier development iteration.
A1 = GPS antenna
A2 = modem secondary antenna
A3 = modem main antenna
A4 = WiFi/bluetooth antenna
P1 = ANT1501 = ANT_GNSS (modem GPS antenna) - to A1
P2 = ANT1503 = ANT_GNSS ground (modem GPS antenna) - to A1
P3 = ANT1400 = ANT (WiFi/Bluetooth antenna) - to A4
P4 = ANT1504 = ANT_DIV ground (modem secondary antenna) - no printed connection
P5 = ANT1500 = ANT_DIV (modem secondary antenna) - to A2
P6 = ANT1502 = ANT_DIV ground (modem secondary antenna) - to A2
C1 = J1500 = ANT_MAIN (modem main antenna) - not connected - test only?
C2 = J1501 = ANT_MAIN (modem main antenna) - coax lead to board at bottom of phone, to A3
C3 = J1502 = ANT_DIV (modem secondary antenna) - not connected - test only?