판 이력 — RULER: Representation-Level Verification of Machine Unlearning | AIChainDay