1. Fortinet FortiSwitchOS 7.6.0 Administration Guide, Page 101, "Spanning Tree Protocol (STP)" section: "The Spanning Tree Protocol (STP) is a link-management protocol that provides path redundancy while preventing undesirable loops in a network. For an Ethernet network to function properly, only one active path can exist between any two stations. STP prevents loops by blocking redundant links." This directly confirms STP's role in preventing loops in redundant topologies.
2. Fortinet FortiSwitchOS 7.6.0 Administration Guide, Page 113, "Multichassis Link Aggregation (MCLAG)" section: This section describes MCLAG as a feature to provide redundancy by allowing a client to connect to two different FortiSwitch units. While it has loop-prevention mechanisms for its specific topology, it is not the fundamental protocol for a generic full mesh. The guide states, "STP is still required to provide a loop-free topology with other switches in the network." This highlights that STP is the underlying requirement.