There were 5 or so that were sold that way. They weren’t all grand fathered to be class legal. In memory only 3 were registered. Once the judgment was made, all carbon masts had to registered to be class legal. A number was given to each mast and a decal was issued and fixed to all class legal masts. In short if the boat has the document and or the decal attached to the mast then it is class legal.
I had # 2 which was sold to a Hobie 20 owner.