Function decide 

fn decide(
    here: &str,
    seal: &Seal,
    region: Option<&'static Region>,
    now: i64,
) -> bool

Each request decided once, under the ledger’s lock (both processes of the phone may step): claimed and flushed before Android is asked; the others said (expired, refused, clocks apart) and written in the ledger, so that they are decided once too. Whether an outcome was written.