Proposal for tc39 of new integrity "level" protecting against both override mistakes and proxy reentrancy - View it on GitHub