Function known_shared_or_vetoed 

fn known_shared_or_vetoed(
    mstore: &Store,
    uid: &str,
    dir_id: &str,
    cwd: &str,
    deadline: Instant,
) -> Option<SharedReason>

Rules 1 and 2: no store writes.