First, I think that there are indeed better forums for this question than this one (see below): While ReqIF has traces (SpecRelations), ReqIF does not make any call on the semantics of the relationship. In other words, you can name relations whatever you like, and give it whatever meaning you like. As you noted correctly, this is quite different from modeling languages like SysML, which have a clearly defined semantics.
I remember the argument of refine vs. derive from over ten years ago! One can argue one way or another, and it’s certainly arguable whether the current definition is a good idea or not (there is no right or wrong, just better or worse).
Therefore, I am not even trying to answer your question. Instead, I would encourage you to engage with the OMG SysML Working Group:
If you are a member of INCOSE (or a local chapter thereof), then one of their working groups would also be a good place to discuss this.