show auth_update_core_id

This seems like a generally useful property, and it is not entirely trivial to prove as we have none of the building blocks. Or at least, I couldn't find them.