--> "A soft fork without consensus does *not* lead to a (lasting) chain split if and when a majority of hash power mines the soft fork chain"

If the majority of hash mines, the software chain, then it's kind of back-in consensus, right?

Theoretically: All forks eventually *get resolved* it's a matter of when. As they're being *resolved*, they are _out of consensus_