Probing right-handed neutrinos via tri-lepton signals at the HL-LHC | Synapse