Verification of alignment between stated goals and observed behavior in AI systems, detecting goal drift, reward hacking, or distorted interpretations of instructions. Covers techniques to identify misalignment between intent specification and actual actions, with a focus on goal robustness in edge-case scenarios and under distributional shift.