Function assert_no_identity_read_held 

pub(crate) fn assert_no_identity_read_held()

Check that SCHED_IDENTITY read is not held (observational-only contract).