This is all true. Yet, you can be sneaky and discover the pin mappings, just by inspecting the arrays that pins_arduino defines. As you say, "it needs to be able to know this information to be able to properly map Arduino pins to direct port i/o pins." Well that is exactly available in the pins_arduino arrays.