State query and data consistency