Board workspace with real panels, tabs and theme; Nerd Font declared for all three machines

docs/ENVIRONMENT-FACTS.md

@@ -92,6 +92,29 @@ deliveryState  merged_by_ancestry   (no commit was needed; the branch equals mai
 worktree is Paperclip's job after all, once the instance allows it, and the terminal
 program never needs to run `git worktree` itself.
 
+## Fonts, 2026-11-10
+
+Measured, because the answer was "I thought I had installed them":
+
+- No Nerd Font was installed (`fc-list | grep -i nerd` returned nothing) and no JetBrains
+  Mono either. Ghostty ships a plain JetBrains Mono of its own, which is why a terminal can
+  look right while every icon renders as a box.
+- Starship is **not installed**, and there is no `~/.config/starship.toml`.
+- TUIOS has four glyph sets — `ascii`, `default`, `heavy`, `unicode` — and `default` is
+  active, which is ordinary Unicode, not Nerd Font icons.
+- TUIOS has 30 themes including six Catppuccin variants, and **no look is applied**:
+  `tuios look show` says "No look is applied". The session is not on Catppuccin.
+
+What was changed:
+
+- `fonts.packages = [ nerd-fonts.jetbrains-mono ]` and `fonts.fontconfig.enable = true` in
+  `/etc/nixos/configuration.nix`, so every machine built from this flake gets it: `.13`,
+  `.27`, `.51`. `nix build --dry-run` evaluates and wants
+  `nerd-fonts-jetbrains-mono-3.4.0+2.304`. **The rebuild is still to be run** (`sudo`
+  needs a password here).
+- `~/.config/ghostty/config` sets `font-family = "JetBrainsMono Nerd Font"`. Until the
+  rebuild, Ghostty falls back to its own font and nothing looks different.
+
 ## Toolchain
 
 - **Go is installed** (2026-11-10), by `nix profile install nixpkgs#go` → `go1.26.5` at

docs/UI-LAYOUT.md

@@ -221,12 +221,12 @@ with focus where it was.
 **27. Glyphs.** A small set used consistently: running, waiting, blocked, done, failed,
 unread. Never the only carrier of meaning.
 
-Measured on this machine, and this matters: TUIOS offers four glyph sets — `ascii`,
-`default`, `heavy` and `unicode` — and `default` is active. Starship is **not installed
-here**, and no Nerd Font is present (`fc-list` finds none), so an icon set that expects a
-patched font would draw empty boxes. Until a Nerd Font is installed deliberately, the
-interface uses TUIOS's `default` set, which is ordinary Unicode: `╭ ╮ ✕ ▎ ● › …`, with
-`ascii` as the fallback.
+Measured, then fixed: no Nerd Font was installed and Starship was not either. JetBrains
+Mono Nerd Font is now declared in `/etc/nixos/configuration.nix` (so `.13`, `.27` and
+`.51` all get it on rebuild) and Ghostty's `font-family` points at it. Until that rebuild,
+TUIOS's `default` glyph set — ordinary Unicode such as `╭ ╮ ✕ ▎ ● › …` — is what renders,
+with `ascii` as the fallback. The program therefore uses plain Unicode symbols today and
+may adopt richer glyphs once the font is present, but never depends on them.
 
 ---