Function cd_evidence 

pub fn cd_evidence(message: impl Into<String>) -> Requirement

This level’s own cd drill must have been performed (Marker::Cd). Needs a cd policy on the level, which is what writes the marker.