Proving the state is right

How an invalid state root gets caught and removed, why re-running the batch cannot work, what the parameters have to satisfy, and which steps a dispute can actually prove today.