previously associated with that CID value

[boaks]

if a record with CID is received that has the source address of the enclosing UDP datagram different from the one previously associated with that CID value, the receiver SHOULD perform a return routability check as described in {{path-validation}}.

For me the previously is misleading. My understanding was, that RFC9146 recommend to not update the association before passing the address check.

So, for me "currently" may be the better choice.