1. FortiSwitch Manager 7.6.0 Administration Guide, Page 13, "FortiLink mode": "When you connect a FortiSwitch unit to a FortiGate FortiLink port, the FortiSwitch unit is automatically discovered. The FortiGate device acts as a DHCP server and assigns an IP address to the FortiSwitch unit." This establishes the DHCP mechanism as central to discovery.
2. FortiOS 7.6.0 Administration Guide, Page 1201, "Configuring FortiLink": "The FortiLink interface has a DHCP server that is enabled by default to assign IP addresses to the managed FortiSwitches." This confirms the default DHCP server configuration on the FortiGate side.
3. Fortinet Certified Professional - Network Security Study Guide for FortiOS 7.6, Page 289, "FortiLink Troubleshooting": "If a FortiSwitch device doesn't appear on the Managed FortiSwitch page, you should start by checking the physical connections... Then, you should check if the FortiSwitch device received an IP address from the FortiGate DHCP server on the FortiLink interface." This explicitly identifies checking the DHCP lease as a primary troubleshooting step after physical checks.