NYLOC is of course a trade-name, for a generic Nylon-Insert self-locking nut.
I am not sure about what trade-name/brand was used, but in these earliest years most probably NYLOC, but first use of these was in about 1955 on XK140 in a couple applications only, with other forms of all-metal lock nuts used elsewhere.
The part number tells you whether a Nylon-Insert self-locking nut, or whether one of the other three versions of all-metal self locking nut.
If C.8150/x series it’s an UNF threaded Nylon-Insert self-locking nut.
If C.3320/x series it’s an UNF threaded Phildas all-metal self-locking-nut.
If C.3968/x series it’s an UNF threaded Split-Beam all-metal self-locking-nut, often referred to as Aerotight, albeit this is the brand name as I believe was used by Jaguar, as was Nyloc a brand name.
If C.2593/x series it’s a BSF threaded Pinnacle Nut.
IN all cases the /x denotes a /1, /2, /3 etc suffix representing the increasing size thread diameter.
There are a few other period variations, but above covers 99%.
And indeed these days, there are all sorts of other ideas/designs/concepts of self-locking nuts, as it would seem is your ‘top-lock’ nut.
Just be a bit careful – some can be reused, others can’t, some damage the male-thread that the nut is locked onto, others don’t, and they have different purposes, thus Jaguar using four different types during the 1950s.
I would stay with a Nyloc nut if that was the original decision by Jaguars engineers.
Roger