RULER: Representation-Level Verification of Machine Unlearning | AIChainDay