> Claiming "agreements are renegotiated and extended" is hypothetical.

What's not hypothetical is that, under the deal, they agreed to not enrich until 2030. What's not hypothetical is that Trump abandoned the deal, with nothing to replace it, allowing them to start enriching in 2017 instead.

And if you're going to claim that renegotiation is hypothetical, then you also have to agree that any other possible future outcome, including one in which Iran develops a functional nuclear weapon, is also hypothetical.