Function date_of 

pub fn date_of(day: i64) -> String

YYYY-MM-DD for a Unix day number (civil-from-days, same helper family as the window module’s).