How are the seeed xaio nrf52840 button numbers mapped?

I am using seeed xaio nrf52840
If you look at the variant.h file,

#define LED_RED (11)
#define LED_GREEN (13)
#define LED_BLUE (12)

The LEDs are mapped as above
But in the schematic, it is P0.26(26), P0.30(30), P0.06(06)
Why is it different

How is it mapped?

If I want to control P0.08(not connected),
How many times should I use it?

See variant.cpp.

const uint32_t g_ADigitalPinMap[]

https://files.seeedstudio.com/wiki/XIAO-BLE/XIAO-nRF52840-Senese-pinout_sheet.xlsx

Can you explain the relationship between the GPIO pin numbers (e.g., P0.26, P0.30, P0.06) in the schematic and the pin numbers defined in the code (e.g., LED_RED as 11)?

dude did you look at the link i provided?

const uint32_t g_ADigitalPinMap[] =
{
    // D0 .. D10
     2, // D0  is P0.02 (A0)                0
     3, // D1  is P0.03 (A1)                1
    28, // D2  is P0.28 (A2)                2
    29, // D3  is P0.29 (A3)                3
     4, // D4  is P0.04 (A4,SDA)            4
     5, // D5  is P0.05 (A5,SCL)            5
    43, // D6  is P1.11 (TX)                6
    44, // D7  is P1.12 (RX)                7
    45, // D8  is P1.13 (SCK)               8
    46, // D9  is P1.14 (MISO)              9
    47, // D10 is P1.15 (MOSI)             10
  
    // LEDs
    26, // D11 is P0.26 (LED RED)          11   Eleventh is GPIO26
     6, // D12 is P0.06 (LED BLUE)         12   Twelfth is GPIO6
    30, // D13 is P0.30 (LED GREEN)        13   Thirteenth is GPIO30
    14, // D14 is P0.14 (READ_BAT)         14