pub fn read(observed: &Observed) -> Read
Reads both collections, declares every policy, and checks that each binding reaches the policies it names.