pub fn check(intent: &Intent<'_>, session: &Session) -> Gate
Announce the write, then decide whether it may proceed.