Finder
A Finder-style file browser assembled entirely from certified ui-lab components — a Menubar, a Toolbar, a Breadcrumb, a Tree sidebar, and a Tree Grid details view. It is a composition of verified primitives: there is no separate conformance spec for the shell, because each piece it is built from is already certified by the @publictheta/ui-specsuite against two independent implementations. This is the project's thesis in miniature — reproduce a desktop-class UI by composing components whose behaviour and accessibility are independently verified.
Demo
- Favorites
- Desktop
- Documents
- Downloads
- iCloud
Tab into the shell and drive it from the keyboard: the menubar (Arrow keys), the toolbar (Arrow keys), the sidebar tree (Arrow to expand/collapse and move), and the details tree grid (Arrow to navigate rows and expand folders).
Built from
- Menubar — application menus
- Toolbar — navigation/view controls
- Breadcrumb — the current path
- Tree — the sidebar
- Tree Grid — the file list / details view