1. Aruba Validated Solution Guide: Data Center Network with Aruba CX Switches (February 2021). The guide's topology diagrams (e.g.
Figure 1
page 8) illustrate the fundamental principle of leaf-spine design where each leaf switch has a physical connection to every spine switch. The IP addressing scheme for the underlay network is based on these physical links.
2. ArubaOS-CX EVPN-VXLAN Configuration Guide (for ArubaOS-CX 10.11). In the "Underlay and overlay design" section of Chapter 1
it states: "In a leaf-spine topology
the underlay consists of point-to-point links between the leaf and spine switches." This confirms that each physical connection is a distinct P2P link requiring its own addressing.
3. Aruba Campus Access for Large Networks Validated Solution Guide (May 2022). On page 21
in the "IP Addressing" section for the L3 access design (a leaf-spine model)
the guide recommends using /31 subnets for point-to-point links between access (leaf) and aggregation (spine) layers. A /31 subnet explicitly allocates two IP addresses
one for each end of the link
reinforcing the calculation of 2 addresses per link.