Function shelf 

pub fn shelf() -> &'static Shelf

The front page’s Studio frame: one shipped example for each kind of work the comparison names, in the Studio’s own folders, opened on the website in a website (the user, 2026-10-01). The Logic example is a theorem with its givens, so a first visit’s Prove has something to prove from (the user, 2026-11-01).