Checks out: https://www.gibraltarfa.com/uploads/documents/Rules/Season 2023-24/Gibraltar Football League Rules 2023_24.pdf page 8 - "In any Match, a Team must have a minimum of 4 Home-Grown Players on the field of play at all times expect as set out herein."