[sanxiyn]

Consistency checks do check multiple instructions. Status registers are work in progress.

[GregarianChild]

That's interesting!

What kind of consistency checks (other than register state being preserved by commands that do not write to the register in question)? Is there some standard best practise?