Correct there is no notification
You can use the is_unlinked value in the JWT to see if they have now unlinked their account. This would however mean tracking opaque_user_id alongside the user_id which doesn’t change for a logged in user.
As you say though there are grey areas legally which like you I cannot answer