there is no way you can know if someone rejected something in isolation at some point.
the commitment proves the utxo set is consistent with the history that was accepted. it doesn't prove that history was valid by your rules.
those are different things.
you still cant verify what script ran, how.
the commitment proves "this utxo set is the result of this history"
it does not prove "this history followed the rules you would have enforced"
"this utxo is valid", valid by whose rules?
