PASS: 27 UCM recording resolver assertions