Function porch_at 

fn porch_at(
    m: &Moment<'_>,
    input: &PorchInput,
    mode: &Mode,
    at: &Zoned,
) -> PorchMade

What the Porch shows at at, as backend::compute makes it: the mail the matrix of what reaches you shows at that time (Attention::mail, Free time’s “Nothing at all” too), the Porch open in its hours and in quiet time, closed otherwise with when it opens, resting after a pause until its next hours (pauses::porch_rests). Never “Open it anyway”: a moment’s choice in the window, not the card’s. Its messages newest first, as a mail card lists them; never a count.