Thank you all for your responses, much appreciated.
I wrote to Tom Kellogg, he also doesn't think there is any risk of failure:
"That can't be fully repaired because replacing the seat stay is both very expensive and it would have a huge downside of warping the seat tube significantly. There really isn't any risk of failure even though it is a cosmetic annoyance."