pub fn classify(
diff: &VisibilityDiff,
crosses_boundary: bool,
flags: MoveGateFlags,
) -> Option<BlockReasons>Expand description
Classifies whether a move is clear to proceed.
Returns None when clear; Some(reasons) naming every gate that blocks
it.