As far as I understand he cannot actually see that tx's have been mutated, he just measures double-spend attempt using some double-spend detector script. https://bitcointalk.org/index.php?topic=459678.msg5090986#msg5090986