Function fd_evidence 

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

This level’s own file-descriptor drill must have been performed (Marker::Fd). Needs an on_fd rule on the level.