babavoss 0.0.1 → 0.12.0

package/src/gui/theme.css

@@ -0,0 +1,498 @@
+/* Cascade layers: the theme sits in `voss`, above Tailwind's preflight and below its utilities,
+   so an app's classes win over the theme's bare elements and the theme wins over the reset. */
+@layer theme, base, voss, components, utilities;
+@import "../desktop/desktop.css";
+
+@layer voss {
+
+/* The one theme: voss's pages, the kit (bv-*) and plain elements inside a view.
+   Every neutral carries the same faint warmth; depth is a step of lightness,
+   layers part by a 1px line, never by a shadow. A row is 28px, a control 24,
+   the gutter 12, one radius of 4. Two sizes of type: 13/20 and 11/16.
+   Light by default; dark from the system unless a choice sets data-theme. */
+
+:root, .desktop {
+  --background: oklch(0.968 0.004 75);
+  --surface: oklch(0.992 0.003 75);
+  --card: var(--surface);
+  --foreground: oklch(0.29 0.008 70);
+  --popover: oklch(0.995 0.003 75);
+  --muted: oklch(0.945 0.005 75);
+  --muted-foreground: oklch(0.53 0.01 70);
+  --accent: oklch(0.935 0.006 75);
+  --primary: oklch(0.52 0.11 250);
+  --primary-foreground: oklch(0.985 0.004 250);
+  --destructive: oklch(0.56 0.14 28);
+  --warning: oklch(0.68 0.11 75);
+  --success: oklch(0.58 0.1 155);
+  --border: oklch(0.29 0.008 70 / 11%);
+  --input: oklch(0.29 0.008 70 / 16%);
+  --desk: oklch(0.925 0.006 75);
+  --chrome: oklch(0.952 0.005 75);
+  --radius: 4px;
+  --row: 28px;
+  --control: 24px;
+  --gutter: 12px;
+  --font-sans: system-ui, -apple-system, "Segoe UI", sans-serif;
+  --font-mono: ui-monospace, Menlo, Consolas, monospace;
+  color-scheme: light;
+}
+
+@media (prefers-color-scheme: dark) {
+  :root:not([data-theme="light"]), .desktop[data-theme="system"] {
+    --background: oklch(0.2 0.005 75);
+    --surface: oklch(0.228 0.006 75);
+    --foreground: oklch(0.87 0.012 80);
+    --popover: oklch(0.25 0.006 75);
+    --muted: oklch(0.245 0.006 75);
+    --muted-foreground: oklch(0.66 0.012 78);
+    --accent: oklch(0.275 0.007 75);
+    --primary: oklch(0.74 0.075 245);
+    --primary-foreground: oklch(0.2 0.01 245);
+    --destructive: oklch(0.71 0.1 30);
+    --warning: oklch(0.79 0.09 80);
+    --success: oklch(0.75 0.085 155);
+    --border: oklch(0.87 0.012 80 / 10%);
+    --input: oklch(0.87 0.012 80 / 15%);
+    --desk: oklch(0.165 0.005 75);
+    --chrome: oklch(0.185 0.005 75);
+    color-scheme: dark;
+  }
+}
+
+:root[data-theme="dark"], .desktop[data-theme="dark"] {
+  --background: oklch(0.2 0.005 75);
+  --surface: oklch(0.228 0.006 75);
+  --foreground: oklch(0.87 0.012 80);
+  --popover: oklch(0.25 0.006 75);
+  --muted: oklch(0.245 0.006 75);
+  --muted-foreground: oklch(0.66 0.012 78);
+  --accent: oklch(0.275 0.007 75);
+  --primary: oklch(0.74 0.075 245);
+  --primary-foreground: oklch(0.2 0.01 245);
+  --destructive: oklch(0.71 0.1 30);
+  --warning: oklch(0.79 0.09 80);
+  --success: oklch(0.75 0.085 155);
+  --border: oklch(0.87 0.012 80 / 10%);
+  --input: oklch(0.87 0.012 80 / 15%);
+  --desk: oklch(0.165 0.005 75);
+  --chrome: oklch(0.185 0.005 75);
+  color-scheme: dark;
+}
+
+/* Base: the page never scrolls; windows do. */
+*, *::before, *::after { box-sizing: border-box; }
+html { font: 13px/20px var(--font-sans); -webkit-font-smoothing: antialiased; height: 100%; }
+body { margin: 0; height: 100%; background: var(--desk); color: var(--foreground); }
+#root { height: 100%; display: flex; overflow: hidden; }
+* { scrollbar-width: thin; scrollbar-color: color-mix(in oklch, var(--foreground) 25%, transparent) transparent; }
+code, kbd, pre, samp { font-family: var(--font-mono); font-size: 12px; line-height: 20px; }
+a { color: var(--primary); text-decoration: none; }
+a:hover { text-decoration: underline; }
+:focus-visible { outline: 2px solid color-mix(in oklch, var(--primary) 60%, transparent); outline-offset: 1px; }
+[hidden] { display: none !important; }
+h1, h2, h3 { margin: 0; font-weight: 600; }
+
+button, input, select, textarea { font: inherit; color: inherit; }
+
+/* ---- the UI kit, babavoss/web ---- */
+.bv-muted { color: var(--muted-foreground); }
+.bv-error { color: var(--destructive); }
+
+/* The kit. */
+.bv-button {
+  display: inline-flex; align-items: center; gap: 6px; height: var(--control); padding: 0 10px;
+  border: 1px solid var(--input); border-radius: var(--radius); background: var(--muted); cursor: pointer; white-space: nowrap;
+}
+.bv-button:hover { background: var(--accent); }
+.bv-button:disabled { opacity: .55; cursor: default; }
+.bv-primary { background: var(--primary); color: var(--primary-foreground); border-color: transparent; }
+.bv-primary:hover { background: color-mix(in oklch, var(--primary) 88%, black); }
+.bv-quiet { background: transparent; border-color: transparent; }
+.bv-quiet:hover { background: var(--accent); }
+.bv-danger { background: var(--destructive); color: white; border-color: transparent; }
+.bv-input { height: var(--control); padding: 1px 8px; border: 1px solid var(--input); border-radius: var(--radius); background: var(--surface); min-width: 0; }
+.bv-input[aria-invalid="true"] { border-color: var(--destructive); }
+.bv-textarea { height: auto; padding: 4px 8px; resize: vertical; }
+.bv-select { padding-right: 4px; }
+.bv-mono { font-family: var(--font-mono); font-size: 12px; }
+.bv-check { width: 14px; height: 14px; margin: 0; accent-color: var(--primary); }
+.bv-kbd { display: inline-block; min-width: 18px; padding: 0 4px; border: 1px solid var(--border); border-bottom-width: 2px; border-radius: var(--radius); background: var(--surface); font-size: 11px; line-height: 16px; text-align: center; }
+.bv-code { padding: 0 4px; border-radius: var(--radius); background: color-mix(in oklch, var(--destructive) 12%, transparent); }
+
+.bv-panel { border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); }
+.bv-panel-head { display: flex; align-items: center; gap: 8px; height: var(--row); padding: 0 var(--gutter); border-bottom: 1px solid var(--border); background: var(--chrome); }
+.bv-panel-title { flex: 1; font-weight: 600; }
+.bv-panel-body { padding: var(--gutter); }
+
+.bv-rows { display: flex; flex-direction: column; }
+.bv-row { display: flex; align-items: center; gap: 8px; min-height: var(--row); padding: 0 var(--gutter); border: 0; background: none; text-align: left; width: 100%; }
+.bv-row-button { cursor: pointer; border-radius: var(--radius); }
+.bv-row-button:hover, .bv-row.bv-active { background: var(--accent); }
+.bv-row-label { flex: none; }
+.bv-row-hint { flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; color: var(--muted-foreground); }
+
+.bv-table-wrap { overflow: auto; border: 1px solid var(--border); border-radius: var(--radius); }
+.bv-table { border-collapse: collapse; width: 100%; }
+.bv-table th, .bv-table td { height: var(--row); padding: 0 var(--gutter); text-align: left; white-space: nowrap; }
+.bv-table th { position: sticky; top: 0; background: var(--chrome); font-weight: 600; border-bottom: 1px solid var(--border); }
+.bv-table tbody tr:hover { background: var(--muted); }
+
+.bv-overlay { position: fixed; inset: 0; z-index: 1000; display: grid; place-items: center; background: oklch(0.2 0.005 75 / 35%); }
+.bv-dialog { width: min(440px, calc(100vw - 32px)); max-height: calc(100vh - 64px); display: flex; flex-direction: column; border: 1px solid var(--border); border-radius: var(--radius); background: var(--popover); outline: none; }
+.bv-dialog-head { padding: var(--gutter); font-weight: 600; border-bottom: 1px solid var(--border); }
+.bv-dialog-body { padding: var(--gutter); overflow: auto; }
+.bv-dialog-body p { margin: var(--gutter) 0 0; }
+.bv-dialog-foot { display: flex; justify-content: flex-end; gap: 8px; padding: 8px var(--gutter); border-top: 1px solid var(--border); }
+
+.bv-cmd { display: flex; flex-direction: column; min-height: 0; }
+.bv-cmd-input { height: 36px; padding: 0 var(--gutter); border: 0; border-bottom: 1px solid var(--border); background: transparent; outline: none; }
+.bv-cmd-list { overflow: auto; max-height: 60vh; padding: 4px; }
+.bv-cmd-group { padding: 8px 8px 2px; font-size: 11px; line-height: 16px; color: var(--muted-foreground); }
+.bv-cmd-item { display: flex; align-items: center; gap: 8px; height: var(--row); padding: 0 8px; border-radius: var(--radius); cursor: pointer; }
+.bv-cmd-item.bv-active { background: color-mix(in oklch, var(--primary) 15%, transparent); }
+.bv-cmd-label { flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-cmd-hint { flex: none; max-width: 45%; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; font-size: 11px; color: var(--muted-foreground); }
+.bv-cmd-empty { padding: 8px; color: var(--muted-foreground); }
+
+/* The runner. */
+.bv-runner { padding: 8px; }
+.bv-runner > p { margin: 4px var(--gutter); }
+.bv-runner-nav { margin: 0 0 4px; }
+.bv-form { display: flex; flex-direction: column; gap: var(--gutter); padding: 4px; }
+.bv-form-head { display: flex; align-items: baseline; gap: 8px; flex-wrap: wrap; }
+.bv-form-name { font-weight: 600; font-size: 13px; }
+.bv-field { display: flex; flex-direction: column; gap: 4px; }
+.bv-field label { display: flex; align-items: baseline; gap: 6px; font-weight: 500; }
+.bv-field-inline { flex-direction: row-reverse; justify-content: flex-end; align-items: center; gap: 8px; }
+.bv-required { color: var(--destructive); margin-left: 1px; }
+.bv-type { font-weight: 400; font-size: 11px; color: var(--muted-foreground); font-family: var(--font-mono); }
+.bv-form-actions { display: flex; align-items: center; gap: 8px; }
+.bv-output { margin: 0; }
+.bv-json { padding: 8px var(--gutter); border: 1px solid var(--border); border-radius: var(--radius); background: var(--muted); white-space: pre-wrap; overflow-wrap: anywhere; }
+.bv-error { margin: 0; }
+
+/* ---- voss's pages: the picker, the host, the inspector, the runner ---- */
+.gui-page { max-width: 960px; margin: 0 auto; padding: 24px 16px; }
+.gui-list { display: flex; flex-direction: column; gap: 8px; }
+.gui-card { display: flex; align-items: center; gap: 12px; padding: 10px 12px; border: 1px solid var(--border); border-radius: var(--radius); background: var(--card); }
+.gui-card h2 { font-size: 14px; flex: 1; }
+.gui-card .gui-links { display: flex; gap: 10px; }
+/* ---- the picker: a column on the desk, the brand over one box, the keys under it ----
+   The box is one surface parted by 1px lines; a row lights by a step of lightness and a
+   2px rail in the primary on its left edge; nothing casts a shadow. */
+.pk-gap { flex: 1; }
+
+
+
+.pk-pane { display: flex; flex-direction: column; min-height: 0; flex: 1; }
+.pk-fade { animation: pk-in 140ms ease-out; }
+@keyframes pk-in { from { opacity: 0; transform: translateY(2px); } to { opacity: 1; transform: none; } }
+
+.pk-strip { display: flex; flex: none; align-items: center; gap: 6px; height: 36px; padding: 0 6px 0 var(--gutter); border-bottom: 1px solid var(--border); background: var(--chrome); }
+.pk-strip-title { font-weight: 600; }
+
+.pk-list { list-style: none; margin: 0; padding: 4px 0; overflow: auto; flex: 1; min-height: 0; }
+.pk-list > li { margin: 0; }
+
+/* A baba: a tile with its initial in its own hue, the title and name, its directory under them. */
+.pk-tile { flex: none; display: grid; place-items: center; width: 30px; height: 30px; border-radius: 7px; font-weight: 600; font-size: 13px;
+  background: color-mix(in oklch, oklch(0.68 0.14 var(--h, 250)) 20%, var(--surface));
+  color: color-mix(in oklch, oklch(0.62 0.15 var(--h, 250)) 85%, var(--foreground));
+  box-shadow: inset 0 0 0 1px color-mix(in oklch, oklch(0.65 0.14 var(--h, 250)) 28%, transparent); }
+.pk-go { flex: none; display: grid; place-items: center; color: var(--muted-foreground); opacity: 0; transform: translateX(-3px); transition: opacity 100ms, transform 100ms; }
+.is-active > .pk-go, .pk-baba.is-active .pk-go, .pk-folder.is-active .pk-go { opacity: 1; transform: none; }
+
+/* Loading: the rows' shapes, breathing. */
+.is-ghost { pointer-events: none; }
+.pk-ghost-line { display: block; height: 8px; margin: 4px 0; border-radius: 4px; background: var(--muted); animation: pk-breathe 1.2s ease-in-out infinite alternate; }
+.pk-ghost-line.is-sub { height: 6px; opacity: .7; }
+@keyframes pk-breathe { from { opacity: .55; } to { opacity: 1; } }
+
+.pk-empty .pk-primary { margin-top: 12px; }
+
+.pk-alert { margin: 0; padding: 6px var(--gutter); border-top: 1px solid color-mix(in oklch, var(--destructive) 30%, transparent); background: color-mix(in oklch, var(--destructive) 8%, var(--surface)); color: var(--destructive); font-size: 12px; overflow-wrap: anywhere; }
+.pk-list + .pk-alert, .pk-strip + .pk-alert { border-top: 0; border-bottom: 1px solid color-mix(in oklch, var(--destructive) 30%, transparent); }
+
+/* The folder picker: the path and a filter, the folders, a dock with what will happen. */
+.pk-path { display: flex; flex: none; align-items: center; gap: 8px; min-height: 36px; padding: 0 6px 0 8px; border-bottom: 1px solid var(--border); }
+.pk-crumbs { display: flex; flex: 1; min-width: 0; align-items: center; overflow: hidden; white-space: nowrap; }
+.pk-crumb-wrap:last-child { min-width: 0; }
+.pk-crumb-wrap:last-child .pk-crumb { display: block; overflow: hidden; text-overflow: ellipsis; line-height: 22px; }
+.pk-crumb-wrap { display: inline-flex; align-items: center; }
+.pk-crumb { display: inline-flex; align-items: center; height: 22px; padding: 0 4px; border: 0; border-radius: var(--radius); background: transparent; color: var(--muted-foreground); font: inherit; cursor: pointer; }
+button.pk-crumb:hover { background: var(--accent); color: var(--foreground); }
+.pk-crumb.is-here { color: var(--foreground); font-weight: 600; cursor: default; }
+.pk-crumb-sep { color: var(--muted-foreground); opacity: .5; padding: 0 1px; }
+.pk-filter { flex: none; display: flex; align-items: center; gap: 6px; width: 150px; height: var(--control); padding: 0 8px; border: 1px solid var(--input); border-radius: var(--radius); background: var(--background); color: var(--muted-foreground); transition: width 140ms, border-color 100ms; }
+.pk-filter:focus-within { width: 190px; border-color: color-mix(in oklch, var(--primary) 55%, transparent); color: var(--foreground); }
+.pk-filter input { flex: 1; min-width: 0; height: 100%; padding: 0; border: 0; outline: 0; background: transparent; }
+
+.pk-folders { transition: opacity 120ms; }
+.pk-folders.is-loading { opacity: .5; }
+.pk-folder { position: relative; display: flex; align-items: center; gap: 8px; width: calc(100% - 8px); height: var(--row); margin: 0 4px; padding: 0 8px; border: 0; border-radius: var(--radius); background: transparent; color: inherit; text-align: left; cursor: pointer; }
+.pk-folder.is-active { background: var(--accent); }
+.pk-folder.is-active::before { content: ""; position: absolute; left: -4px; top: 6px; bottom: 6px; width: 2px; border-radius: 1px; background: var(--primary); }
+.pk-folder-icon { flex: none; display: grid; place-items: center; color: var(--muted-foreground); }
+.pk-folder.is-baba .pk-folder-icon { color: var(--primary); }
+.pk-folder.is-baba .pk-folder-name { font-weight: 600; }
+.pk-folder.is-up .pk-folder-name { color: var(--muted-foreground); }
+.pk-folder-name { min-width: 0; flex: 1; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.pk-folder-name mark { background: color-mix(in oklch, var(--primary) 22%, transparent); color: inherit; border-radius: 2px; }
+.pk-folder-note { font-size: 11px; color: var(--muted-foreground); }
+.pk-pill { flex: none; padding: 0 6px; border-radius: 8px; font-size: 11px; line-height: 16px; color: var(--primary); background: color-mix(in oklch, var(--primary) 12%, transparent); }
+.pk-pill.is-known { color: var(--success); background: color-mix(in oklch, var(--success) 13%, transparent); }
+.pk-none { padding: 12px var(--gutter); color: var(--muted-foreground); }
+
+.pk-dock { flex: none; display: flex; flex-direction: column; gap: 8px; padding: 10px var(--gutter); border-top: 1px solid var(--border); background: var(--chrome); }
+.pk-dock-line { display: flex; align-items: center; gap: 8px; min-width: 0; }
+.pk-dock-line:empty { display: none; }
+.pk-dock-icon { flex: none; display: grid; place-items: center; color: var(--muted-foreground); }
+.pk-dock.is-baba .pk-dock-icon { color: var(--primary); }
+.pk-dock.is-known .pk-dock-icon { color: var(--success); }
+.pk-dock-text { min-width: 0; color: var(--muted-foreground); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.pk-here { color: var(--foreground); font-family: var(--font-mono); font-size: 12px; }
+.pk-dock-text code { font-size: 12px; color: var(--foreground); }
+.pk-field { display: flex; align-items: center; height: var(--control); min-width: 0; width: 150px; border: 1px solid var(--input); border-radius: var(--radius); background: var(--surface); overflow: hidden; }
+.pk-field.is-wide { width: 190px; }
+.pk-field:focus-within { border-color: color-mix(in oklch, var(--primary) 55%, transparent); }
+.pk-field span { flex: none; align-self: stretch; display: grid; place-items: center; padding: 0 7px; border-right: 1px solid var(--border); background: var(--muted); color: var(--muted-foreground); font-size: 11px; }
+.pk-field input { flex: 1; min-width: 0; height: 100%; padding: 0 7px; border: 0; outline: 0; background: transparent; }
+.pk-busy { display: inline-flex; align-items: center; gap: 8px; color: var(--muted-foreground); }
+
+.pk-primary { display: inline-flex; align-items: center; gap: 6px; height: 26px; padding: 0 6px 0 10px; border: 0; border-radius: var(--radius); background: var(--primary); color: var(--primary-foreground); font-weight: 500; cursor: pointer; white-space: nowrap; transition: background 100ms; }
+.pk-empty .pk-primary { padding-right: 10px; }
+.pk-primary:hover { background: color-mix(in oklch, var(--primary) 88%, var(--foreground)); }
+.pk-primary:disabled { opacity: .5; cursor: default; }
+
+.pk-kbd { display: inline-grid; place-items: center; min-width: 18px; height: 18px; padding: 0 4px; border: 1px solid var(--border); border-bottom-width: 2px; border-radius: var(--radius); background: var(--surface); color: var(--foreground); font-family: var(--font-sans); font-size: 10px; line-height: 1; }
+.pk-kbd.is-on-primary { border: 0; background: color-mix(in oklch, var(--primary-foreground) 18%, transparent); color: var(--primary-foreground); }
+
+
+.pk-spin { display: inline-block; width: 12px; height: 12px; border: 1.5px solid color-mix(in oklch, var(--muted-foreground) 35%, transparent); border-top-color: var(--muted-foreground); border-radius: 50%; animation: pk-turn 700ms linear infinite; }
+@keyframes pk-turn { to { transform: rotate(360deg); } }
+
+@media (max-width: 560px) {
+  .pk-dock-line:not(.is-say) { flex-wrap: wrap; }
+  .pk-field, .pk-field.is-wide { width: 100%; }
+  .pk-filter, .pk-filter:focus-within { width: 120px; }
+}
+@media (prefers-reduced-motion: reduce) { .pk-fade, .pk-ghost-line, .pk-spin { animation: none; } .pk-go, .pk-filter, .pk-folders { transition: none; } }
+
+.gui-view { position: fixed; inset: 0; overflow: auto; background: var(--background); }
+.gui-notice { margin: 0; padding: 12px 16px; border-bottom: 1px solid var(--destructive); background: color-mix(in oklch, var(--destructive) 10%, var(--background)); }
+.gui-failure { white-space: pre-wrap; font-family: var(--font-mono); font-size: 12px; margin: 8px 0 0; }
+.gui-section { margin: 16px 0; }
+.gui-section h2 { font-size: 13px; margin-bottom: 8px; color: var(--muted-foreground); text-transform: uppercase; letter-spacing: .04em; }
+.gui-entity { display: grid; grid-template-columns: 56px 1fr auto; gap: 8px; align-items: start; padding: 6px 0; border-bottom: 1px solid var(--border); }
+.gui-entity code { color: var(--muted-foreground); }
+.gui-parts { display: flex; flex-wrap: wrap; gap: 6px 12px; }
+.gui-part { display: inline-flex; gap: 6px; align-items: baseline; }
+.gui-part b { font-weight: 600; }
+.gui-part pre { margin: 0; display: inline; font-size: 12px; white-space: pre-wrap; }
+.gui-filter { display: flex; gap: 8px; align-items: center; margin-bottom: 8px; }
+.gui-fade { animation: gui-appear 100ms ease-out; }
+@keyframes gui-appear { from { opacity: 0 } to { opacity: 1 } }
+@media (prefers-reduced-motion: reduce) { .gui-fade { animation: none; } }
+
+/* ---- voss's apps, in the shell's windows: the state, the contract, the promptware, the settings, with a page's gutters; the Maker edge to edge ---- */
+.gui-app { max-width: 1100px; padding: 16px 20px 32px; }
+.gui-app > h2 { margin: 16px 0 4px; font-size: 13px; }
+.gui-choices { display: flex; gap: 6px; margin-top: 8px; }
+.gui-stale { position: fixed; left: 10px; bottom: 10px; z-index: 900; display: flex; gap: 12px; align-items: center; max-width: min(640px, calc(100vw - 60px)); padding: 8px 12px; border-radius: 8px; border: 1px solid var(--border); background: var(--card); color: var(--foreground); font-size: 13px; box-shadow: 0 8px 24px color-mix(in oklch, black 25%, transparent); }
+
+/* The proofs page and a view's own use of the player: voss's classes. */
+.bv-row { display: flex; gap: 8px; align-items: center; margin: 8px 0; }
+.bv-between { justify-content: space-between; }
+/* Cards: one per instance. */
+.bv-object-card { display: flex; flex-direction: column; border: 1px solid var(--border); border-radius: var(--radius); background: var(--surface); overflow: hidden; font-size: 12px; line-height: 16px; }
+.bv-object-card-head { display: flex; align-items: baseline; gap: 8px; min-width: 0; padding: 4px 10px; height: 28px; background: var(--chrome); border-bottom: 1px solid var(--border); font-size: 13px; line-height: 20px; }
+.bv-object-key { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; color: var(--primary); font-variant-numeric: tabular-nums; }
+.bv-object-card-head .bv-muted { margin-left: auto; font-size: 11px; }
+.bv-object-fields { display: grid; grid-template-columns: minmax(72px, auto) 1fr; gap: 2px 10px; margin: 0; padding: 6px 10px; }
+.bv-object-fields > div { display: contents; }
+.bv-object-fields dt { color: var(--muted-foreground); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-object-fields dd { margin: 0; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-object-fields code { font-size: 11px; }
+.bv-object-num { font-variant-numeric: tabular-nums; }
+.bv-object-tag { padding: 0 5px; border-radius: 3px; background: var(--muted); color: var(--muted-foreground); font-size: 11px; }
+.bv-object-ref { padding: 0 4px; border: 0; border-radius: 3px; background: transparent; color: var(--primary); cursor: pointer; font: inherit; }
+.bv-object-ref:hover { background: color-mix(in oklch, var(--primary) 12%, transparent); }
+.bv-object-more { border: 0; background: transparent; color: var(--muted-foreground); cursor: pointer; font: inherit; padding: 0; text-decoration: underline dotted; }
+.bv-object-rider { border-top: 1px solid var(--border); }
+.bv-object-rider h4 { display: flex; gap: 8px; margin: 0; padding: 4px 10px 0; font-size: 11px; line-height: 16px; font-weight: 600; color: var(--muted-foreground); }
+.bv-object-actions { display: flex; flex-wrap: wrap; gap: 4px; padding: 6px 10px; border-top: 1px solid var(--border); background: var(--chrome); }
+.bv-object-actions .bv-button { height: 20px; padding: 0 8px; font-size: 11px; }
+.bv-object-needs { padding: 0 6px; height: 20px; line-height: 20px; border: 1px dashed var(--border); border-radius: var(--radius); color: var(--muted-foreground); font-size: 11px; }
+.bv-object-actions .is-open { border-color: var(--primary); }
+.bv-object-form { display: flex; flex-direction: column; gap: 6px; padding: 8px 10px; border-top: 1px solid var(--border); background: var(--background); }
+.bv-object-form-head { display: flex; gap: 8px; align-items: baseline; font-size: 12px; }
+.bv-object-field { display: grid; grid-template-columns: 90px 1fr; gap: 8px; align-items: center; font-size: 12px; }
+.bv-object-field .bv-input, .bv-object-field select, .bv-object-field textarea { width: 100%; min-width: 0; font: inherit; color: inherit; background: var(--surface); border: 1px solid var(--input); border-radius: var(--radius); padding: 2px 6px; }
+.bv-object-loose h4 { display: flex; gap: 8px; margin: 0 0 6px; font-size: 12px; }
+/* The proofs page in the boards' language: a rail of 28px rows on the left, the pane on the right, strips of 28px, 4px radius, two sizes of type. */
+.bv-proofs { display: grid; grid-template-columns: 260px minmax(0, 1fr); height: 100%; min-height: 0; }
+.bv-rail { display: flex; flex-direction: column; min-width: 0; min-height: 0; overflow: auto; scrollbar-gutter: stable; border-right: 1px solid var(--border); }
+.bv-rail-strip { position: sticky; top: 0; z-index: 1; flex-shrink: 0; display: flex; align-items: center; gap: 8px; height: 28px; padding: 0 8px; background: var(--chrome); border-bottom: 1px solid var(--border); }
+.bv-rail-count { margin-left: auto; min-width: 0; overflow: hidden; text-overflow: ellipsis; font-size: 11px; color: var(--muted-foreground); font-variant-numeric: tabular-nums; white-space: nowrap; }
+.bv-rail-strip .bv-button { flex-shrink: 0; }
+.bv-rail-strip .bv-button { height: 20px; padding: 0 6px; font-size: 11px; }
+.bv-lenses { display: inline-flex; gap: 2px; }
+.bv-lens { height: 20px; padding: 0 8px; border: 0; border-radius: var(--radius); background: transparent; color: var(--muted-foreground); font: inherit; font-size: 12px; cursor: pointer; }
+.bv-lens:hover { color: var(--foreground); }
+.bv-lens.is-open { background: var(--accent); color: var(--foreground); }
+.bv-stage-card, .bv-object-col { display: flex; align-items: center; gap: 8px; width: 100%; height: 28px; padding: 0 12px; border: 0; border-bottom: 1px solid var(--border); border-radius: 0; background: transparent; color: inherit; cursor: pointer; font: inherit; text-align: left; min-width: 0; flex-shrink: 0; }
+.bv-stage-card:hover, .bv-object-col:hover { background: var(--accent); }
+.bv-stage-card.is-open, .bv-object-col.is-open { background: color-mix(in oklch, var(--primary) 8%, transparent); box-shadow: inset 2px 0 0 var(--primary); }
+.bv-stage-text, .bv-object-head { display: flex; align-items: baseline; gap: 8px; min-width: 0; flex: 1; }
+.bv-stage-text b, .bv-object-head b { font-weight: 500; white-space: nowrap; }
+.bv-stage-text .bv-muted, .bv-object-head .bv-muted { font-size: 11px; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-object-count { font-size: 11px; color: var(--muted-foreground); font-variant-numeric: tabular-nums; }
+.bv-proof-dot { flex: none; width: 8px; height: 8px; margin: 0; border-radius: 50%; }
+.bv-pane { display: flex; flex-direction: column; min-width: 0; min-height: 0; overflow: auto; scrollbar-gutter: stable; }
+.bv-pane-body { padding: 12px; margin: 0; }
+.bv-film-head { display: flex; align-items: flex-start; gap: 12px; margin: 0; padding: 4px 12px; background: var(--chrome); border-bottom: 1px solid var(--border); flex-shrink: 0; }
+.bv-film-head > div { min-width: 0; }
+.bv-film-head h2, .bv-film-head h3 { margin: 0; font-size: 13px; line-height: 20px; font-weight: 600; }
+.bv-film-intent { margin: 0; font-size: 11px; line-height: 16px; color: var(--muted-foreground); max-width: 90ch; }
+.bv-verdict { flex: none; margin-left: auto; height: 20px; padding: 0 6px; border-radius: var(--radius); font-size: 11px; line-height: 20px; font-weight: 500; max-width: 40%; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-proof-chips { display: flex; flex-wrap: wrap; gap: 4px; margin: 0; padding: 4px 12px; border-bottom: 1px solid var(--border); flex-shrink: 0; }
+.bv-proof-chip { display: inline-flex; align-items: center; gap: 6px; height: 22px; max-width: 360px; padding: 0 8px; border: 1px solid transparent; border-radius: var(--radius); background: transparent; color: var(--muted-foreground); font: inherit; font-size: 12px; cursor: pointer; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-chip-text { min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-proof-chip:hover { background: var(--accent); color: var(--foreground); }
+.bv-proof-chip.is-open { background: color-mix(in oklch, var(--primary) 10%, transparent); border-color: color-mix(in oklch, var(--primary) 40%, transparent); color: var(--foreground); }
+.bv-object-sheet { display: grid; grid-template-columns: 72px minmax(0, 1fr); gap: 0 12px; margin: 0; padding: 4px 12px; border-bottom: 1px solid var(--border); font-size: 11px; line-height: 16px; }
+.bv-object-sheet dt { color: var(--muted-foreground); opacity: .8; }
+.bv-object-sheet dd { margin: 0; min-width: 0; color: var(--foreground); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-object-sheet code { font-size: 11px; }
+.bv-object-map { display: flex; flex-direction: column; }
+.bv-object-cards { display: grid; grid-template-columns: repeat(auto-fill, minmax(260px, 1fr)); gap: 8px; }
+.bv-object-loose { margin-top: 16px; }
+.bv-film > .bv-film-head { border-top: 1px solid var(--border); }
+/* A film holds still while it plays: the transport is pinned, the stage keeps its tallest height, the detail beside it reserves its rows, nothing changes width. */
+.bv-film { --detail-row: 21px; display: flex; flex-direction: column; }
+.bv-film-intent { display: -webkit-box; -webkit-line-clamp: 2; -webkit-box-orient: vertical; overflow: hidden; min-height: 16px; }
+.bv-verdict { min-width: 56px; text-align: center; }
+.bv-film-transport { position: sticky; top: 0; z-index: 2; flex-shrink: 0; background: var(--background); border-bottom: 1px solid var(--border); }
+.bv-film-controls { display: flex; align-items: center; gap: 6px; height: 28px; padding: 0 12px; flex-wrap: nowrap; }
+.bv-film-controls .bv-button { height: 20px; padding: 0 8px; font-size: 11px; flex-shrink: 0; }
+.bv-film-controls .bv-film-play { min-width: 56px; justify-content: center; }
+.bv-film-controls .is-hidden { visibility: hidden; }
+.bv-film-controls input[type=range] { flex: 1; min-width: 80px; accent-color: var(--primary); }
+.bv-film-time { flex-shrink: 0; min-width: 116px; font-size: 11px; font-variant-numeric: tabular-nums; white-space: nowrap; text-align: right; }
+.bv-film-strip { display: flex; gap: 2px; flex-wrap: nowrap; height: 26px; align-items: center; padding: 0 12px; overflow-x: auto; overflow-y: hidden; scrollbar-width: none; }
+.bv-film-frame { flex: none; width: 10px; height: 16px; padding: 0; border: 0; border-radius: 2px; cursor: pointer; background: var(--muted); opacity: .7; }
+.bv-film-body { display: grid; grid-template-columns: minmax(0, 1fr) 300px; align-items: start; }
+.bv-film-stage { position: relative; margin: 0; padding: 0; min-width: 0; overflow-x: auto; overflow-y: hidden; }
+/* The padding is inside the measured box, so the height kept is the height drawn. */
+.bv-film-frame-box { padding: 12px; }
+/* Every frame drawn once, out of sight, at the stage's width: how tall the stage must be before the first frame shows. */
+.bv-film-probe { position: absolute; top: 0; left: 0; right: 0; visibility: hidden; pointer-events: none; }
+.bv-film-probe > div { position: absolute; top: 0; left: 0; right: 0; }
+.bv-film-detail { display: flex; flex-direction: column; gap: 8px; margin: 0; padding: 8px 12px; border-left: 1px solid var(--border); min-height: 100%; }
+.bv-film-steps, .bv-film-checks { list-style: none; margin: 0; padding: 0; font-size: 12px; line-height: 16px; }
+.bv-film-steps li, .bv-film-checks li { padding: 2px 0; border-top: 1px solid var(--border); overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-film-steps li:first-child, .bv-film-checks li:first-child { border-top: 0; }
+@media (max-width: 900px) { .bv-film-body { grid-template-columns: minmax(0, 1fr); } .bv-film-detail { border-left: 0; border-top: 1px solid var(--border); } }
+.bv-proof-dot.is-passed { background: var(--success); }
+.bv-proof-dot.is-failed { background: var(--destructive); box-shadow: 0 0 0 3px color-mix(in oklch, var(--destructive) 25%, transparent); }
+.bv-proof-dot.is-unproven { background: var(--warning); }
+.bv-proof-dot.is-undrawn { background: transparent; border: 1.5px dashed var(--muted-foreground); }
+.bv-proof-dot.is-sketch { background: transparent; border: 1.5px solid var(--muted-foreground); }
+.bv-proofs-output { margin: 8px 0 0; padding: 8px 10px; font-size: 11px; line-height: 1.4; white-space: pre-wrap; border-radius: 8px; background: var(--muted); color: var(--muted-foreground); }
+.bv-proofs-output.is-bad { color: var(--destructive); }
+.bv-verdict.is-passed { background: color-mix(in oklch, var(--success) 18%, transparent); color: var(--success); }
+.bv-verdict.is-failed { background: color-mix(in oklch, var(--destructive) 18%, transparent); color: var(--destructive); }
+.bv-verdict.is-sketch { background: var(--muted); color: var(--muted-foreground); }
+.bv-verdict.is-live { background: color-mix(in oklch, var(--primary) 18%, transparent); color: var(--primary); }
+.bv-film-frame.is-ok { background: var(--success); }
+.bv-film-frame.is-bad { background: var(--destructive); }
+.bv-film-frame:hover { opacity: 1; }
+.bv-film-frame.is-here { opacity: 1; outline: 2px solid var(--foreground); outline-offset: 1px; }
+.bv-film-kind { display: inline-block; min-width: 40px; margin-right: 4px; padding: 0 5px; line-height: 16px; border-radius: 3px; font-size: 11px; background: var(--muted); color: var(--muted-foreground); }
+.bv-film-mark { display: inline-block; width: 16px; font-weight: 700; }
+.bv-film-checks .is-ok .bv-film-mark { color: var(--success); }
+.bv-film-checks .is-bad { color: var(--destructive); }
+.bv-film-error { color: var(--destructive); }
+.bv-sandbox-code { margin: 12px 0 0; padding: 10px 12px; font-size: 12px; line-height: 1.45; white-space: pre; overflow: auto; border-radius: 8px; background: var(--muted); color: var(--foreground); }
+.bv-state-list { display: flex; flex-direction: column; gap: 4px; }
+.bv-state-entity { display: flex; gap: 10px; flex-wrap: wrap; align-items: baseline; padding: 6px 10px; border: 1px solid var(--border); border-radius: 8px; background: var(--card); font-size: 13px; }
+.bv-state-part b { margin-right: 4px; }
+.bv-state-part code { font-size: 12px; color: var(--muted-foreground); }
+}
+
+/* ---- the Baba Maker: the catalogue of specs, and a state open in the lab shell ---- */
+.bv-maker { padding: 12px 16px; font-size: 13px; line-height: 20px; }
+.bv-maker-head { display: flex; align-items: baseline; gap: 12px; margin-bottom: 8px; }
+.bv-maker-head h2 { margin: 0; font-size: 15px; }
+.bv-maker-list { list-style: none; margin: 0; padding: 0; }
+.bv-maker-spec { display: flex; align-items: baseline; justify-content: space-between; gap: 12px; padding: 6px 0; border-top: 1px solid var(--border); }
+.bv-maker-open { background: none; border: 0; padding: 0; color: var(--foreground); font: inherit; text-align: left; cursor: pointer; }
+.bv-maker-open:hover b { text-decoration: underline; }
+.bv-maker-facts { display: flex; align-items: center; gap: 10px; white-space: nowrap; }
+.bv-maker-output { margin: 8px 0; padding: 8px 10px; font-size: 12px; white-space: pre-wrap; border-radius: 8px; background: var(--muted); color: var(--destructive); }
+.bv-lab { display: flex; flex-direction: column; height: 100%; min-height: 0; font-size: 13px; line-height: 20px; }
+.bv-lab-app { flex: 1; min-width: 0; min-height: 0; }
+/* The sandbox: the app in a frame, apart from the page; its edge turns the accent while the state plays. */
+.bv-lab-frame { height: 100%; min-height: 0; overflow: auto; border: 1px solid transparent; background: var(--background); transition: border-color .15s; }
+.bv-lab-frame.is-playing { border-color: var(--primary); }
+.bv-lab-bare { padding: 12px; }
+.bv-lab-views { list-style: none; margin: 0; padding: 0; display: flex; flex-direction: column; align-items: stretch; } .bv-lab-views .is-open { font-weight: 600; }
+/* The status bar: one line per thing to know, each a slot whose popover opens above it. */
+.bv-bar { position: relative; z-index: 2; display: flex; align-items: stretch; gap: 2px; height: 30px; padding: 0 6px; border-top: 1px solid var(--border); background: var(--card); font-size: 12px; line-height: 30px; white-space: nowrap; }
+.bv-bar-head { border-top: 0; border-bottom: 1px solid var(--border); }
+.bv-bar-head .bv-popover { bottom: auto; top: calc(100% + 4px); }
+.bv-bar-slot { position: relative; display: flex; }
+.bv-bar-item { display: inline-flex; align-items: center; gap: 6px; height: 30px; padding: 0 8px; border: 0; border-radius: var(--radius); background: transparent; color: var(--foreground); font: inherit; line-height: 1; cursor: pointer; }
+.bv-bar-icon { width: 14px; height: 14px; flex: none; opacity: .85; }
+.bv-bar-item b { font-weight: 600; }
+.bv-bar-time { font-variant-numeric: tabular-nums; min-width: 44px; text-align: right; }
+.bv-bar-item:hover, .bv-bar-item.is-open { background: var(--accent); }
+.bv-bar-item.is-ok { color: var(--success); }
+.bv-bar-item.is-bad { color: var(--destructive); }
+.bv-bar-item.is-warn { color: var(--warning); }
+.bv-bar-item.is-here { color: var(--primary); }
+.bv-bar-item .bv-muted { color: var(--muted-foreground); font-weight: 400; }
+.bv-bar-slot { align-items: stretch; }
+.bv-lab-answer .bv-button .bv-bar-icon { margin-right: 4px; }
+.bv-bar-back { padding: 0 6px; color: var(--muted-foreground); }
+.bv-bar-back:hover { color: var(--foreground); }
+.bv-bar-play { width: 30px; padding: 0; justify-content: center; }
+.bv-bar-play.is-on { color: var(--primary); }
+.bv-bar-gap { flex: 1; }
+.bv-bar-summary { margin: 0 0 4px; }
+.bv-popover { position: absolute; bottom: calc(100% + 4px); left: 0; width: 360px; max-width: calc(100vw - 24px); max-height: min(70vh, 640px); overflow: auto; padding: 8px 12px; border: 1px solid var(--border); border-radius: var(--radius); background: var(--popover); box-shadow: 0 8px 24px color-mix(in oklch, var(--foreground) 14%, transparent); font-size: 12px; line-height: 16px; white-space: normal; }
+.bv-popover.is-right { left: auto; right: 0; }
+.bv-popover.is-wide { width: 460px; }
+.bv-popover h3 { margin: 8px 0 4px; font-size: 11px; font-weight: 600; text-transform: uppercase; letter-spacing: 0.04em; color: var(--muted-foreground); }
+.bv-popover h3:first-child { margin-top: 0; }
+.bv-lab-transport { display: flex; align-items: center; gap: 10px; }
+.bv-lab-transport select { font: inherit; background: var(--background); color: var(--foreground); border: 1px solid var(--border); border-radius: 4px; }
+.bv-lab-scenarios, .bv-lab-jobs, .bv-lab-changes, .bv-lab-outside, .bv-lab-log { list-style: none; margin: 0; padding: 0; }
+.bv-lab-scenarios > li, .bv-lab-jobs > li, .bv-lab-changes > li, .bv-lab-log > li { padding: 4px 0; border-top: 1px solid var(--border); }
+.bv-lab-scenarios > li:first-child, .bv-lab-jobs > li:first-child, .bv-lab-changes > li:first-child, .bv-lab-log > li:first-child { border-top: 0; }
+.bv-lab-scenario-row { display: flex; align-items: center; gap: 6px; }
+.bv-lab-scenario-row b { flex: 1; min-width: 0; overflow: hidden; text-overflow: ellipsis; white-space: nowrap; }
+.bv-lab-answer { display: flex; gap: 4px; margin-top: 4px; }
+.bv-lab-answer input { flex: 1; min-width: 0; font: inherit; padding: 2px 6px; border: 1px solid var(--border); border-radius: 4px; background: var(--background); color: var(--foreground); }
+.bv-lab-changes ul { list-style: none; margin: 2px 0 0 8px; padding: 0; }
+.bv-film-checks .is-warn { color: var(--warning); }
+.bv-film-checks .is-warn .bv-film-mark { color: var(--warning); }
+.bv-lab-knobs { display: flex; flex-wrap: wrap; gap: 10px; margin: 6px 0; }
+.bv-lab-knob { width: 64px; font: inherit; padding: 1px 4px; border: 1px solid var(--border); border-radius: 4px; background: var(--background); color: var(--foreground); }
+.bv-lab-scenarios > li.is-open { background: color-mix(in oklch, var(--primary) 8%, transparent); margin: 0 -12px; padding: 4px 12px; }
+.bv-lab-story-wrap { margin-top: 8px; padding-top: 8px; border-top: 1px solid var(--border); }
+.bv-lab-story { list-style: none; margin: 4px 0 0; padding: 0; }
+.bv-lab-story > li { display: grid; grid-template-columns: 14px 1fr; column-gap: 4px; padding: 3px 0; border-top: 1px solid var(--border); color: var(--muted-foreground); }
+.bv-lab-story > li:first-child { border-top: 0; }
+.bv-lab-story > li.is-done, .bv-lab-story > li.is-ok, .bv-lab-story > li.is-bad, .bv-lab-story > li.is-warn { color: var(--foreground); }
+.bv-lab-story > li.is-here { color: var(--primary); font-weight: 500; }
+.bv-lab-story > li.is-ok .bv-film-mark { color: var(--success); }
+.bv-lab-story > li.is-bad { color: var(--destructive); }
+.bv-lab-story > li.is-warn { color: var(--warning); }
+.bv-lab-story .bv-lab-changes { grid-column: 2; margin: 2px 0 0; font-size: 11px; color: var(--muted-foreground); }
+.bv-lab-story-head { margin: 0 0 2px; }
+.bv-lab-take { margin-top: 4px; }
+.bv-lab-tree { list-style: none; margin: 2px 0 0 10px; padding: 0; font-size: 11px; }
+.bv-lab-expect { margin: 4px 0; }
+.bv-lab-model .bv-object-map { margin-bottom: 6px; }

package/src/gui/theme.ts

@@ -0,0 +1,25 @@
+// Light or dark: the system decides unless a choice is remembered in this
+// browser. The stylesheet follows prefers-color-scheme by itself; a choice
+// is a data-theme attribute on the root element, set before the first paint.
+export type Theme = "light" | "dark" | "system";
+export const themeKey = "babavoss.theme";
+
+/** Runs in the head of every page, before anything paints: a remembered choice never flashes the other theme. */
+export const early = `try{var t=localStorage.getItem(${JSON.stringify(themeKey)});if(t==="light"||t==="dark")document.documentElement.dataset.theme=t}catch(e){}`;
+
+export function theme(): Theme {
+  try {
+    const v = localStorage.getItem(themeKey);
+    if (v === "light" || v === "dark") return v;
+  } catch {}
+  return "system";
+}
+
+export function setTheme(next: Theme): void {
+  try {
+    if (next === "system") localStorage.removeItem(themeKey);
+    else localStorage.setItem(themeKey, next);
+  } catch {}
+  if (next === "system") delete document.documentElement.dataset.theme;
+  else document.documentElement.dataset.theme = next;
+}