I think this sounds perfect and will be added for reference to our rulebook for clarification on this irregular circumstance:
Any player facing a bet, may raise 3 times the largest bet required for a call, plus the remaining trail, plus the pot.
I like your examples!
For clarity, I personally would say that any player facing a bet "may raise
to a total of 3 times the largest bet...." Even your examples recognize it is the total pot bet and not the actual amount of the raise over the calling amount.