gini-toolkit 6.0.1.dev0__py3-none-any.whl

gini/ui/storage_lab.py

@@ -0,0 +1,219 @@
+"""Storage Lab — the visual file-system workbench for an xv6 Machine.
+
+Reads the FS state (domain.xv6_fs) and shows it four ways: the on-disk region MAP (boot | super
+| log | inodes | bitmap | data), the INODES and the directory tree they realize, the BUFFER
+CACHE with its hit rate, and the write-ahead LOG — where you can Simulate a write and watch a
+transaction fill, commit, and install, which is how xv6 survives a crash. Renders from an
+injected provider (offline DemoDisk here; a GDB-backed reader on the Mac later).
+"""
+from __future__ import annotations
+
+from PySide6.QtCore import Qt
+from PySide6.QtGui import QColor, QPainter
+from PySide6.QtWidgets import (
+    QDialog, QFrame, QGridLayout, QHBoxLayout, QHeaderView, QLabel, QPushButton, QTableWidget,
+    QTableWidgetItem, QVBoxLayout, QWidget,
+)
+
+from ..domain.xv6_fs import DemoDisk
+from .theme import ThemeManager, icons
+from .theme.manager import scale_css as _scss
+
+_REGION_ACCENT = {"boot": "slate", "super": "blue", "log": "amber", "inodes": "green",
+                  "bitmap": "purple", "data": "cyan"}
+_ITYPE_ACCENT = {"dir": "blue", "file": "green", "dev": "amber", "free": "slate"}
+
+
+class DiskStrip(QWidget):
+    """The on-disk region map — one labelled segment per region, widths weighted by block count
+    (with a floor so the tiny regions stay visible next to the huge data region)."""
+
+    def __init__(self, theme) -> None:
+        super().__init__()
+        self.theme = theme
+        self._regions = []
+        self.setMinimumHeight(60)
+
+    def set_regions(self, regions) -> None:
+        self._regions = list(regions)
+        self.update()
+
+    def paintEvent(self, _e) -> None:
+        p = QPainter(self)
+        t = self.theme.theme
+        p.fillRect(self.rect(), QColor(t.panel2))
+        if not self._regions:
+            return
+        floor = 0.06
+        raw = [max(r.count, 1) for r in self._regions]
+        tot = sum(raw)
+        weights = [max(v / tot, floor) for v in raw]
+        wsum = sum(weights)
+        x = 0.0
+        W = self.width()
+        for r, w in zip(self._regions, weights):
+            seg = W * (w / wsum)
+            col = QColor(t.accent_for(_REGION_ACCENT.get(r.name, "slate")))
+            p.fillRect(int(x), 6, int(seg) - 2, self.height() - 28, col)
+            p.setPen(QColor(t.text))
+            p.drawText(int(x) + 4, 22, r.name)
+            p.setPen(QColor(t.muted))
+            rng = f"{r.start}" if r.count <= 1 else f"{r.start}–{r.end}"
+            p.drawText(int(x) + 4, self.height() - 8, rng)
+            x += seg
+
+
+class StorageLab(QDialog):
+    def __init__(self, parent, theme: ThemeManager, device=None, provider=None) -> None:
+        super().__init__(parent)
+        self.theme = theme
+        self.device = device
+        self.provider = provider or DemoDisk()
+
+        t = theme.theme
+        self.setWindowTitle(f"File System Lab — {getattr(device, 'name', 'xv6')}")
+        self.resize(920, 720)
+        self.setStyleSheet(f"QDialog{{background:{t.bg};}}")
+        root = QVBoxLayout(self)
+        self._build_header(root)
+
+        self._strip = DiskStrip(theme)
+        root.addWidget(self._panel("On-disk layout  ·  block regions", self._strip))
+
+        grid = QGridLayout(); grid.setSpacing(10); root.addLayout(grid, 1)
+        self._inode_tbl = self._table(["inum", "type", "nlink", "size", "blocks"])
+        grid.addWidget(self._panel("Inodes", self._inode_tbl, fill=True), 0, 0)
+        self._tree_tbl = self._table(["", "inum", "name"])
+        grid.addWidget(self._panel("Directory tree", self._tree_tbl, fill=True), 0, 1)
+        self._buf_tbl = self._table(["block", "valid", "dirty", "ref"])
+        self._buf_panel = self._panel("Buffer cache", self._buf_tbl, fill=True)
+        grid.addWidget(self._buf_panel, 1, 0)
+        grid.addWidget(self._build_log_panel(), 1, 1)
+        grid.setColumnStretch(0, 1); grid.setColumnStretch(1, 1)
+
+        self._render(self.provider.snapshot())
+
+    # -- header/panels ---------------------------------------------------- #
+    def _build_header(self, root) -> None:
+        t = self.theme.theme
+        head = QHBoxLayout()
+        ic = QLabel(); ic.setPixmap(icons.render_pixmap("database", t.accent_for("cyan"), 22))
+        title = QLabel(f"  File System Lab — {getattr(self.device, 'name', 'xv6')}")
+        title.setStyleSheet(_scss(f"color:{t.text};font-size:16px;font-weight:600;"))
+        head.addWidget(ic); head.addWidget(title); head.addStretch(1)
+        root.addLayout(head)
+        hint = QLabel("The on-disk regions, the inodes and the tree they build, the buffer "
+                      "cache, and the write-ahead log that makes writes crash-safe.")
+        hint.setWordWrap(True); hint.setStyleSheet(_scss(f"color:{t.muted};font-size:11px;"))
+        root.addWidget(hint)
+
+    def _panel(self, title, inner, fill=False) -> QFrame:
+        t = self.theme.theme
+        f = QFrame(); f.setStyleSheet(
+            _scss(f"QFrame{{background:{t.panel2};border:1px solid {t.line};border-radius:10px;}}"))
+        v = QVBoxLayout(f); v.setContentsMargins(10, 8, 10, 10)
+        h = QLabel(title); h.setStyleSheet(
+            _scss(f"color:{t.muted};font-size:11px;font-weight:600;border:none;"))
+        v.addWidget(h)
+        inner.setStyleSheet((inner.styleSheet() or "") + "border:none;")
+        v.addWidget(inner, 1 if fill else 0)
+        return f
+
+    def _table(self, cols) -> QTableWidget:
+        t = self.theme.theme
+        tbl = QTableWidget(0, len(cols))
+        tbl.setHorizontalHeaderLabels(cols)
+        tbl.verticalHeader().setVisible(False)
+        tbl.setEditTriggers(QTableWidget.NoEditTriggers)
+        tbl.setSelectionMode(QTableWidget.NoSelection)
+        tbl.horizontalHeader().setSectionResizeMode(len(cols) - 1, QHeaderView.Stretch)
+        tbl.setStyleSheet(
+            f"QTableWidget{{background:{t.panel};color:{t.text};border:none;"
+            f"gridline-color:{t.line};font-size:12px;}}"
+            f"QHeaderView::section{{background:{t.panel2};color:{t.muted};border:none;"
+            "padding:4px;}")
+        return tbl
+
+    def _build_log_panel(self) -> QFrame:
+        t = self.theme.theme
+        f = QFrame(); f.setStyleSheet(
+            _scss(f"QFrame{{background:{t.panel2};border:1px solid {t.line};border-radius:10px;}}"))
+        v = QVBoxLayout(f); v.setContentsMargins(10, 8, 10, 10)
+        top = QHBoxLayout()
+        h = QLabel("Write-ahead log  ·  journal"); h.setStyleSheet(
+            _scss(f"color:{t.muted};font-size:11px;font-weight:600;border:none;"))
+        top.addWidget(h); top.addStretch(1)
+        self._log_phase = QLabel(); self._log_phase.setStyleSheet(
+            f"color:{t.text};background:{t.panel};border:1px solid {t.line};"
+            "border-radius:9px;padding:2px 10px;font-size:11px;")
+        top.addWidget(self._log_phase)
+        v.addLayout(top)
+        self._log_body = QLabel(); self._log_body.setWordWrap(True); self._log_body.setAlignment(Qt.AlignTop)
+        self._log_body.setStyleSheet(_scss(f"color:{t.text};font-family:monospace;font-size:12px;border:none;"))
+        v.addWidget(self._log_body, 1)
+        live = not hasattr(self.provider, "simulate_write")   # live reader can't fake a txn
+        btn = QPushButton("  Refresh" if live else "  Simulate write")
+        btn.setToolTip("Re-read the live file-system state (launch `writer` from the scheduler "
+                       "window to make real log transactions)" if live else
+                       "Advance a simulated write-ahead-log transaction")
+        btn.setIcon(icons.icon("save", t.accent_for("green"), 14))
+        btn.clicked.connect(self._on_write)
+        btn.setStyleSheet(
+            f"QPushButton{{color:{t.text};background:{t.panel};border:1px solid {t.line};"
+            f"border-radius:8px;padding:6px 12px;}}QPushButton:hover{{border-color:{t.accent};}}")
+        v.addWidget(btn)
+        return f
+
+    # -- actions ---------------------------------------------------------- #
+    def _on_write(self) -> None:
+        fn = getattr(self.provider, "simulate_write", None)
+        self._render(fn() if callable(fn) else self.provider.snapshot())
+
+    def _render(self, snap) -> None:
+        t = self.theme.theme
+        self._strip.set_regions(snap.regions)
+        # inodes
+        self._inode_tbl.setRowCount(len(snap.inodes))
+        for r, ino in enumerate(snap.inodes):
+            vals = [str(ino.inum), ino.type, str(ino.nlink), str(ino.size), str(len(ino.blocks))]
+            for c, val in enumerate(vals):
+                it = QTableWidgetItem(val)
+                if c == 1:
+                    it.setForeground(QColor(t.accent_for(_ITYPE_ACCENT.get(ino.type, "slate"))))
+                self._inode_tbl.setItem(r, c, it)
+        # tree
+        self._tree_tbl.setRowCount(len(snap.tree))
+        for r, d in enumerate(snap.tree):
+            leaf = d.name.split("/")[-1]
+            name = ("    " * d.depth) + leaf + ("/" if d.is_dir else "")
+            for c, val in enumerate(["", str(d.inum), name]):
+                self._tree_tbl.setItem(r, c, QTableWidgetItem(val))
+        # buffer cache
+        self._buf_tbl.setRowCount(len(snap.bufs))
+        for r, b in enumerate(snap.bufs):
+            for c, val in enumerate([str(b.blockno), "✓" if b.valid else "",
+                                     "●" if b.dirty else "", str(b.refcnt)]):
+                it = QTableWidgetItem(val)
+                if c == 2 and b.dirty:
+                    it.setForeground(QColor(t.accent_for("amber")))
+                self._buf_tbl.setItem(r, c, it)
+        self._buf_panel.findChild(QLabel).setText(
+            f"Buffer cache  ·  {snap.hits} hits / {snap.misses} miss "
+            f"({snap.hit_rate * 100:.0f}% hit)")
+        # log
+        lg = snap.log
+        self._log_phase.setText(lg.phase)
+        col = {"idle": t.muted, "building": t.accent_for("amber"),
+               "committing": t.accent_for("green")}.get(lg.phase, t.muted)
+        self._log_phase.setStyleSheet(
+            f"color:{col};background:{t.panel};border:1px solid {t.line};"
+            "border-radius:9px;padding:2px 10px;font-size:11px;")
+        if lg.blocks:
+            self._log_body.setText(
+                f"transaction: {len(lg.blocks)} block(s) staged in the log\n"
+                f"dest blocks: {', '.join(map(str, lg.blocks))}\n"
+                + ("committing → installing to their home locations…" if lg.committing
+                   else "logged but not yet committed (a crash here loses nothing)."))
+        else:
+            self._log_body.setText("log idle — no transaction in flight.\n"
+                                   "Press “Simulate write” to stage one and watch it commit.")

gini/ui/syscall_builder.py

@@ -0,0 +1,235 @@
+"""Syscall Builder — a visual front-end for adding a real system call to xv6.
+
+The student names the call, declares its arguments and return type, and drops in a C body;
+GINI generates the five real xv6 edits (see domain.syscall_builder) and previews them. Applying
+writes the patches and recompiles xv6 — that step is the desktop (Mac) build; offline the dialog
+still generates and previews the exact code, so the whole authoring experience is usable and
+testable without a compiler.
+"""
+from __future__ import annotations
+
+from PySide6.QtCore import Qt
+from PySide6.QtWidgets import (
+    QComboBox, QDialog, QFrame, QHBoxLayout, QHeaderView, QLabel, QLineEdit, QPlainTextEdit,
+    QPushButton, QTableWidget, QVBoxLayout, QWidget,
+)
+
+from ..domain import syscall_builder as sb
+from .theme import ThemeManager, icons
+from .theme.manager import scale_css as _scss
+
+_ARG_LABELS = [("int", "int"), ("pointer (addr)", "addr"), ("string", "str")]
+
+
+class SyscallBuilder(QDialog):
+    def __init__(self, parent, theme: ThemeManager, device=None, on_apply=None,
+                 existing=None) -> None:
+        super().__init__(parent)
+        self.theme = theme
+        self.device = device
+        self.on_apply = on_apply                 # callable(Codegen) — Mac writes+recompiles
+        self._existing = tuple(existing or sb.STOCK_SYSCALLS)
+        self._added = 0                          # syscalls authored this session (for numbering)
+        self._codegen = None
+
+        t = theme.theme
+        self.setWindowTitle("Syscall Builder — xv6")
+        self.resize(940, 680)
+        self.setStyleSheet(f"QDialog{{background:{t.bg};}}")
+        root = QVBoxLayout(self)
+        self._build_header(root)
+        body = QHBoxLayout(); root.addLayout(body, 1)
+        body.addWidget(self._build_form(), 0)
+        body.addWidget(self._build_preview(), 1)
+        self._build_footer(root)
+        self._add_arg_row("n", "int")
+
+    # -- header ----------------------------------------------------------- #
+    def _build_header(self, root) -> None:
+        t = self.theme.theme
+        head = QHBoxLayout()
+        ic = QLabel(); ic.setPixmap(icons.render_pixmap("compile", t.accent_for("red"), 22))
+        title = QLabel("  Add a system call to xv6")
+        title.setStyleSheet(_scss(f"color:{t.text};font-size:16px;font-weight:600;"))
+        head.addWidget(ic); head.addWidget(title); head.addStretch(1)
+        root.addLayout(head)
+        hint = QLabel("Declare it, write the C body, and GINI generates the five real xv6 "
+                      "edits. Applying recompiles the kernel (desktop build).")
+        hint.setWordWrap(True); hint.setStyleSheet(_scss(f"color:{t.muted};font-size:11px;"))
+        root.addWidget(hint)
+
+    def _panel(self, title) -> tuple[QFrame, QVBoxLayout]:
+        t = self.theme.theme
+        f = QFrame(); f.setStyleSheet(
+            _scss(f"QFrame{{background:{t.panel2};border:1px solid {t.line};border-radius:10px;}}"))
+        v = QVBoxLayout(f); v.setContentsMargins(10, 8, 10, 10)
+        h = QLabel(title); h.setStyleSheet(
+            _scss(f"color:{t.muted};font-size:11px;font-weight:600;border:none;"))
+        v.addWidget(h)
+        return f, v
+
+    # -- the form --------------------------------------------------------- #
+    def _build_form(self) -> QFrame:
+        t = self.theme.theme
+        f, v = self._panel("Declaration")
+        f.setFixedWidth(380)
+
+        row = QHBoxLayout()
+        row.addWidget(self._lbl("name"))
+        self.name_edit = QLineEdit(); self.name_edit.setPlaceholderText("e.g. trace, hello")
+        self.name_edit.setStyleSheet(self._edit_css())
+        self.name_edit.textChanged.connect(self._on_name_changed)
+        row.addWidget(self.name_edit, 1)
+        row.addWidget(self._lbl("returns"))
+        self.ret_combo = QComboBox(); self.ret_combo.addItems(list(sb.RET_TYPES))
+        self.ret_combo.setStyleSheet(self._edit_css())
+        row.addWidget(self.ret_combo)
+        v.addLayout(row)
+
+        v.addWidget(self._lbl("arguments (up to 6)"))
+        self.args_tbl = QTableWidget(0, 2)
+        self.args_tbl.setHorizontalHeaderLabels(["name", "type"])
+        self.args_tbl.verticalHeader().setVisible(False)
+        self.args_tbl.horizontalHeader().setSectionResizeMode(0, QHeaderView.Stretch)
+        self.args_tbl.setStyleSheet(
+            f"QTableWidget{{background:{t.panel};color:{t.text};border:1px solid {t.line};"
+            f"gridline-color:{t.line};font-size:12px;}}"
+            f"QHeaderView::section{{background:{t.panel2};color:{t.muted};border:none;"
+            "padding:4px;}")
+        v.addWidget(self.args_tbl, 1)
+        arow = QHBoxLayout()
+        add = QPushButton("  + arg"); add.setStyleSheet(self._btn_css())
+        add.clicked.connect(lambda: self._add_arg_row())
+        rm = QPushButton("  − arg"); rm.setStyleSheet(self._btn_css())
+        rm.clicked.connect(self._remove_arg_row)
+        arow.addWidget(add); arow.addWidget(rm); arow.addStretch(1)
+        v.addLayout(arow)
+
+        v.addWidget(self._lbl("C body (runs in the kernel)"))
+        self.body_edit = QPlainTextEdit(sb.starter_body())
+        self.body_edit.setStyleSheet(
+            f"QPlainTextEdit{{background:{t.panel};color:{t.text};border:1px solid {t.line};"
+            "border-radius:6px;font-family:monospace;font-size:12px;}")
+        self.body_edit.setFixedHeight(150)
+        v.addWidget(self.body_edit)
+        return f
+
+    def _build_preview(self) -> QFrame:
+        t = self.theme.theme
+        f, v = self._panel("Generated xv6 edits (5 files)")
+        self.preview = QPlainTextEdit(); self.preview.setReadOnly(True)
+        self.preview.setPlaceholderText("Press Generate to see the code GINI will add.")
+        self.preview.setStyleSheet(
+            f"QPlainTextEdit{{background:{t.panel};color:{t.text};border:1px solid {t.line};"
+            "border-radius:6px;font-family:monospace;font-size:12px;}")
+        v.addWidget(self.preview, 1)
+        return f
+
+    def _build_footer(self, root) -> None:
+        t = self.theme.theme
+        bar = QHBoxLayout()
+        self.status = QLabel("")
+        self.status.setStyleSheet(_scss(f"color:{t.muted};font-size:12px;"))
+        bar.addWidget(self.status, 1)
+        gen = QPushButton("  Generate"); gen.setIcon(icons.icon("compile", t.accent_for("blue"), 14))
+        gen.setStyleSheet(self._btn_css()); gen.clicked.connect(self._on_generate)
+        bar.addWidget(gen)
+        self.apply_btn = QPushButton("  Apply & recompile")
+        self.apply_btn.setIcon(icons.icon("save", t.accent_for("green"), 14))
+        self.apply_btn.setStyleSheet(self._btn_css()); self.apply_btn.setEnabled(False)
+        self.apply_btn.clicked.connect(self._on_apply)
+        bar.addWidget(self.apply_btn)
+        root.addLayout(bar)
+
+    # -- helpers ---------------------------------------------------------- #
+    def _lbl(self, text) -> QLabel:
+        lb = QLabel(text)
+        lb.setStyleSheet(_scss(f"color:{self.theme.theme.muted};font-size:11px;border:none;"))
+        return lb
+
+    def _edit_css(self) -> str:
+        t = self.theme.theme
+        return (f"QLineEdit,QComboBox{{background:{t.panel};color:{t.text};"
+                f"border:1px solid {t.line};border-radius:6px;padding:4px 6px;}}")
+
+    def _btn_css(self) -> str:
+        t = self.theme.theme
+        return (f"QPushButton{{color:{t.text};background:{t.panel2};border:1px solid {t.line};"
+                f"border-radius:8px;padding:6px 12px;}}"
+                f"QPushButton:hover{{border-color:{t.accent};}}"
+                f"QPushButton:disabled{{color:{t.faint};}}")
+
+    def _add_arg_row(self, name="", typ="int") -> None:
+        if self.args_tbl.rowCount() >= 6:
+            return
+        r = self.args_tbl.rowCount()
+        self.args_tbl.insertRow(r)
+        edit = QLineEdit(name); edit.setStyleSheet(self._edit_css())
+        self.args_tbl.setCellWidget(r, 0, edit)
+        combo = QComboBox(); combo.setStyleSheet(self._edit_css())
+        for label, val in _ARG_LABELS:
+            combo.addItem(label, val)
+        combo.setCurrentIndex(next((i for i, (_l, v) in enumerate(_ARG_LABELS) if v == typ), 0))
+        self.args_tbl.setCellWidget(r, 1, combo)
+
+    def _remove_arg_row(self) -> None:
+        n = self.args_tbl.rowCount()
+        if n:
+            self.args_tbl.removeRow(n - 1)
+
+    def _on_name_changed(self, text) -> None:
+        # keep the starter body's printf in sync with the name until the user edits it
+        if self.body_edit.toPlainText().strip().startswith("// read your args"):
+            self.body_edit.setPlainText(sb.starter_body(text))
+
+    # -- spec + actions --------------------------------------------------- #
+    def spec_from_form(self) -> sb.SyscallSpec:
+        args = []
+        for r in range(self.args_tbl.rowCount()):
+            nm = self.args_tbl.cellWidget(r, 0).text().strip()
+            tp = self.args_tbl.cellWidget(r, 1).currentData()
+            if nm:
+                args.append(sb.SyscallArg(nm, tp))
+        return sb.SyscallSpec(name=self.name_edit.text().strip(),
+                              ret=self.ret_combo.currentText(),
+                              args=args, body=self.body_edit.toPlainText())
+
+    def _on_generate(self) -> None:
+        t = self.theme.theme
+        spec = self.spec_from_form()
+        errs = sb.validate(spec, existing=self._existing)
+        if errs:
+            self._codegen = None
+            self.apply_btn.setEnabled(False)
+            self.preview.setPlainText("")
+            self.status.setText("⚠ " + errs[0])
+            self.status.setStyleSheet(_scss(f"color:{t.danger};font-size:12px;"))
+            return
+        cg = sb.generate(spec, number=sb.NEXT_FREE_NUMBER + self._added)
+        self._codegen = cg
+        self.preview.setPlainText(cg.preview())
+        self.apply_btn.setEnabled(True)
+        self.status.setText(f"✓ Ready — SYS_{spec.name} = {cg.number}. "
+                            "Review the 5 edits, then Apply.")
+        self.status.setStyleSheet(_scss(f"color:{t.success};font-size:12px;"))
+
+    def _on_apply(self) -> None:
+        t = self.theme.theme
+        if self._codegen is None:
+            return
+        if self.on_apply is not None:
+            try:
+                name = self.spec_from_form().name
+                self.on_apply(self._codegen)
+                self._added += 1
+                self._existing = self._existing + (name,)   # block re-using this name
+                self.status.setText("Applied — writing the 5 edits and recompiling xv6…")
+                self.status.setStyleSheet(_scss(f"color:{t.success};font-size:12px;"))
+                self.apply_btn.setEnabled(False)
+            except Exception as e:
+                self.status.setText(f"⚠ Apply failed: {e}")
+                self.status.setStyleSheet(_scss(f"color:{t.danger};font-size:12px;"))
+        else:
+            self.status.setText("Applying writes these 5 edits and recompiles xv6 — available "
+                                "on the desktop build. The generated code is shown at left.")
+            self.status.setStyleSheet(_scss(f"color:{t.muted};font-size:12px;"))

gini/ui/syscall_lab.py

@@ -0,0 +1,152 @@
+"""Syscall Lab — live histogram of system-call activity + an strace-style trace.
+
+Reads gini_scdump over the serial (the agent's /sc, no gdb halt): per-syscall counters drive a
+histogram of calls in the last 60 seconds (so you see what the machine is doing under the hood),
+and a recent-call ring drives a running trace (`pid name(arg) = ret`). User-defined syscalls from
+the Builder appear automatically, since counters are keyed by syscall number.
+"""
+from __future__ import annotations
+
+from PySide6.QtCore import Qt, QTimer, Signal
+from PySide6.QtGui import QColor, QPainter
+from PySide6.QtWidgets import (
+    QDialog, QFrame, QHBoxLayout, QLabel, QPlainTextEdit, QVBoxLayout, QWidget,
+)
+
+from ..domain.xv6 import SyscallRate, parse_sccounts, parse_sctrace, syscall_name
+from .theme import ThemeManager, icons
+
+
+class HistogramBars(QWidget):
+    """Horizontal bars for the top syscalls by call count in the window."""
+
+    def __init__(self, theme) -> None:
+        super().__init__()
+        self.theme = theme
+        self._rows: list = []          # [(label, value)]
+        self.setMinimumHeight(220)
+
+    def set_data(self, rows) -> None:
+        self._rows = list(rows)
+        self.update()
+
+    def paintEvent(self, _e) -> None:
+        p = QPainter(self)
+        t = self.theme.theme
+        p.fillRect(self.rect(), QColor(t.panel))
+        if not self._rows:
+            p.setPen(QColor(t.muted))
+            p.drawText(self.rect(), Qt.AlignCenter, "no syscalls yet — launch a program")
+            return
+        top = self._rows[:12]
+        peak = max((v for _l, v in top), default=1) or 1
+        rowh = min(24, max(16, (self.height() - 8) // max(len(top), 1)))
+        label_w, count_w = 92, 52
+        bar_x = label_w
+        bar_max = max(40, self.width() - label_w - count_w - 12)
+        y = 4
+        for label, v in top:
+            p.setPen(QColor(t.text))
+            p.drawText(4, y, label_w - 6, rowh, Qt.AlignVCenter | Qt.AlignLeft, label)
+            w = int(bar_max * (v / peak))
+            p.fillRect(bar_x, y + 3, max(w, 1), rowh - 8, QColor(t.accent_for("blue")))
+            p.setPen(QColor(t.muted))
+            p.drawText(bar_x + bar_max + 6, y, count_w, rowh, Qt.AlignVCenter | Qt.AlignLeft,
+                       str(v))
+            y += rowh
+
+
+class SyscallLab(QDialog):
+    sc_ready = Signal(str)             # raw /sc text pushed from the poll worker
+
+    def __init__(self, parent, theme: ThemeManager, device=None, sc_source=None,
+                 name_extra=None) -> None:
+        super().__init__(parent)
+        self.theme = theme
+        self.device = device
+        self._sc_source = sc_source or (lambda: "")
+        self._name_extra = name_extra or {}
+        self._rate = SyscallRate(window=60.0)
+        self._busy = False
+
+        t = theme.theme
+        self.setWindowTitle(f"System Calls Lab — {getattr(device, 'name', 'xv6')}")
+        self.resize(760, 560)
+        self.setStyleSheet(f"QDialog{{background:{t.bg};}}")
+        root = QVBoxLayout(self)
+
+        hdr = QHBoxLayout()
+        ic = QLabel(); ic.setPixmap(icons.render_pixmap("send", t.accent_for("blue"), 22))
+        title = QLabel(f"  System Calls Lab — {getattr(device, 'name', 'xv6')}")
+        title.setStyleSheet(f"color:{t.text};font-size:16px;font-weight:600;")
+        hdr.addWidget(ic); hdr.addWidget(title); hdr.addStretch(1)
+        root.addLayout(hdr)
+
+        head = QLabel("What the kernel is doing under the hood — system calls in the last 60s "
+                      "(histogram) and the most recent calls (trace). No gdb; live over serial.")
+        head.setWordWrap(True); head.setStyleSheet(f"color:{t.muted};font-size:12px;")
+        root.addWidget(head)
+
+        self._bars = HistogramBars(theme)
+        root.addWidget(self._panel("Syscalls · calls in last 60s", self._bars), 1)
+
+        self._trace = QPlainTextEdit(); self._trace.setReadOnly(True)
+        self._trace.setStyleSheet(
+            f"QPlainTextEdit{{background:{t.panel};color:{t.text};border:1px solid {t.line};"
+            "border-radius:6px;font-family:monospace;font-size:12px;}")
+        root.addWidget(self._panel("Trace · recent calls  (pid  name(arg) = ret)", self._trace), 1)
+
+        self.sc_ready.connect(self._apply)
+        self._poll = QTimer(self); self._poll.timeout.connect(self._fetch)
+        self._poll.start(1500)
+        self._fetch()
+
+    def _panel(self, title, inner) -> QFrame:
+        t = self.theme.theme
+        f = QFrame(); f.setStyleSheet(
+            f"QFrame{{background:{t.panel2};border:1px solid {t.line};border-radius:10px;}}")
+        v = QVBoxLayout(f); v.setContentsMargins(10, 8, 10, 10)
+        h = QLabel(title); h.setStyleSheet(
+            f"color:{t.muted};font-size:11px;font-weight:600;border:none;")
+        v.addWidget(h)
+        inner.setStyleSheet((inner.styleSheet() or "") + "border:none;")
+        v.addWidget(inner, 1)
+        return f
+
+    def _fetch(self) -> None:
+        if self._busy:
+            return
+        self._busy = True
+        import threading
+
+        def work():
+            try:
+                txt = self._sc_source()
+            except Exception:
+                txt = ""
+            self.sc_ready.emit(txt or "")
+        threading.Thread(target=work, daemon=True).start()
+
+    def _apply(self, txt) -> None:
+        self._busy = False
+        import time
+        counts = parse_sccounts(txt)
+        if counts:
+            self._rate.add(time.monotonic(), counts)
+        rates = self._rate.rates()
+        rows = sorted(((syscall_name(n, self._name_extra), v) for n, v in rates.items()),
+                      key=lambda kv: -kv[1])
+        self._bars.set_data(rows)
+        evs = parse_sctrace(txt)
+        if evs:
+            lines = [f"{e.pid:>3}  {syscall_name(e.num, self._name_extra)}({e.a0}) = {e.ret}"
+                     for e in evs]
+            sb = self._trace.verticalScrollBar()
+            at_bottom = sb.value() >= sb.maximum() - 4
+            self._trace.setPlainText("\n".join(lines))
+            if at_bottom:
+                sb.setValue(sb.maximum())
+
+    def closeEvent(self, e) -> None:  # noqa: N802
+        self._poll.stop()
+        super().closeEvent(e)

gini/ui/theme/__init__.py

@@ -0,0 +1,5 @@
+from . import icons
+from .manager import ThemeManager, build_qss
+from .tokens import THEMES, Theme, get_theme
+
+__all__ = ["icons", "ThemeManager", "build_qss", "THEMES", "Theme", "get_theme"]