Runtime consistency checking