Prove in a machine legible sense, picture a transaction like: "here are two contradictory blocks validated by validator ABC, including ABC's signature, therefor

Prove in a machine legible sense, picture a transaction like: "here are two contradictory blocks validated by validator ABC, including ABC's signature, therefore ABC's stake is slashed". (at least, that's how it worked last time I looked into it)