When bullish borrowing meets restaking leveraged vault design safety checks in practice