Function reach 

pub fn reach(
    domain: &WriteDomain,
    area: &Address,
    taint: &TaintSet,
) -> GateOutcome

Whether a declared area is reachable at all. A tool declares the room it works in, not a file, so this asks only the prefix question: a documents domain asked whether hall/mayor is Markdown would say no, and the Mayor could write nothing.