Function judge 

pub fn judge(target: &Utf8Path, current: &Subject) -> Standing

Read the committed proof and judge it against current, offline.

SATISFIES setup-proof:the-status-reads-the-proof-offline