Function mail_came 

pub(crate) fn mail_came()

New mail fetched outside the window (the phone’s background service, steps, while Sioul is closed or frozen): the card’s messages and codes made again from the Porch as it is now, the rest (its lines, the step, the doses, the agenda) as Sioul last saw it. In the window’s process the window’s own Porch follows (porch_seen): nothing here. No card yet, nothing.