openprocess 0.11.0__tar.gz → 0.11.3__tar.gz

{openprocess-0.11.0/openprocess.egg-info → openprocess-0.11.3}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: openprocess
-Version: 0.11.0
+Version: 0.11.3
 Summary: Process mining, Petri nets and workflows in one open app: every algorithm visible, every result reproducible, every step teachable
 Author: Sam Struthers
 License: MIT
@@ -281,8 +281,9 @@ which space you were in.
   state; it stays in the folder.
 - **Flat lists, the same in both spaces.** The folder's own files first,
   then each subfolder's under a caption naming it ("Week 5 / Part 1").
-  Nothing to unfold except LOGS. An empty folder shows in both spaces until
-  it has files.
+  Click a caption to fold its files away or bring them back; the app
+  remembers which are folded, per folder. An empty folder shows in both
+  spaces until it has files.
 - **Organise from the app**: right-click for **New Folder…**, **Rename…**,
   **Show in Finder** and **Move to Bin** (recoverable from the Bin; never a
   hard delete). **Drag files onto a subfolder** to move them on disk. An open
@@ -373,7 +374,9 @@ Nets drawn as in the lectures and the book:
 - **Places** are circles with black tokens inside, drawn as dots up to 5 and
   as a number above that.
 - **Transitions** are boxes with their name inside. A **silent (τ)**
-  transition is a black bar.
+  transition is a black bar: the **τ** tool (toolbar or palette) adds one
+  with a click, and the Element tab's *Silent* box turns an ordinary
+  transition into τ and back.
 - **Arc weights** above 1 are written on the arc.
 - **Names** go inside the places and transitions, which grow to fit them.
   Tick **Names outside** in the toolbar to put them underneath instead; you
@@ -765,7 +768,10 @@ print(report.sound, report.findings)
 
 [**docs/how-it-works.md**](docs/how-it-works.md) covers the architecture, the
 CPN ML subset, binding search, timed nets, the state space, the file format
-and the project layout.
+and the project layout. [**docs/design.md**](docs/design.md) is the *why*:
+the problem, the claim, the three ideas and the decisions that follow from
+them. `tests/cross_check_inductive_miner.py` compares the built-in Inductive
+Miner with PM4Py's on hundreds of logs and reports where they differ.
 
 ## Workflows
 
@@ -784,13 +790,12 @@ extra) and *Predict the next activity*. Or start empty.
   **+ Add box**, **Run ▶**, and **⋯** for Re-run, Record, Export experiment
   and Save. The sidebar beside it lists the folder's analyses and, folded
   under them, its logs.
-- **+ Add box** (or a double-click on the canvas) opens every box, by group:
-  the six core groups side by side (Input, Filter, Discover, Check, Compare,
-  Output) and one line for the rest (Science, Predict, Coloured nets, Sweep,
-  your own boxes) with *Show all*. Under *Input*, **the folder's own files**:
-  one click adds the box that reads the file, already set. Type to search
-  them all: "alpha" finds the α-algorithm, "boarding" the log; Enter adds the
-  first match.
+- **+ Add box** (or a double-click on the canvas) opens every box, one
+  section per group (Input, Filter, Discover, Check, Compare, Output, then
+  Science, Predict, Coloured nets, Sweep and your own boxes), in a list that
+  scrolls. Under *Input*, **the folder's own files**: one click adds the box
+  that reads the file, already set. Type to search them all: "alpha" finds
+  the α-algorithm, "boarding" the log; Enter adds the first match.
 - **Files flow into the canvas.** Drop a log, an OCEL 2.0 object-centric log
   (`.jsonocel`), a PNML file, a .cpn or a ts.txt on the canvas and it becomes
   its input box at that spot; an input

{openprocess-0.11.0 → openprocess-0.11.3}/README.md

@@ -242,8 +242,9 @@ which space you were in.
   state; it stays in the folder.
 - **Flat lists, the same in both spaces.** The folder's own files first,
   then each subfolder's under a caption naming it ("Week 5 / Part 1").
-  Nothing to unfold except LOGS. An empty folder shows in both spaces until
-  it has files.
+  Click a caption to fold its files away or bring them back; the app
+  remembers which are folded, per folder. An empty folder shows in both
+  spaces until it has files.
 - **Organise from the app**: right-click for **New Folder…**, **Rename…**,
   **Show in Finder** and **Move to Bin** (recoverable from the Bin; never a
   hard delete). **Drag files onto a subfolder** to move them on disk. An open
@@ -334,7 +335,9 @@ Nets drawn as in the lectures and the book:
 - **Places** are circles with black tokens inside, drawn as dots up to 5 and
   as a number above that.
 - **Transitions** are boxes with their name inside. A **silent (τ)**
-  transition is a black bar.
+  transition is a black bar: the **τ** tool (toolbar or palette) adds one
+  with a click, and the Element tab's *Silent* box turns an ordinary
+  transition into τ and back.
 - **Arc weights** above 1 are written on the arc.
 - **Names** go inside the places and transitions, which grow to fit them.
   Tick **Names outside** in the toolbar to put them underneath instead; you
@@ -726,7 +729,10 @@ print(report.sound, report.findings)
 
 [**docs/how-it-works.md**](docs/how-it-works.md) covers the architecture, the
 CPN ML subset, binding search, timed nets, the state space, the file format
-and the project layout.
+and the project layout. [**docs/design.md**](docs/design.md) is the *why*:
+the problem, the claim, the three ideas and the decisions that follow from
+them. `tests/cross_check_inductive_miner.py` compares the built-in Inductive
+Miner with PM4Py's on hundreds of logs and reports where they differ.
 
 ## Workflows
 
@@ -745,13 +751,12 @@ extra) and *Predict the next activity*. Or start empty.
   **+ Add box**, **Run ▶**, and **⋯** for Re-run, Record, Export experiment
   and Save. The sidebar beside it lists the folder's analyses and, folded
   under them, its logs.
-- **+ Add box** (or a double-click on the canvas) opens every box, by group:
-  the six core groups side by side (Input, Filter, Discover, Check, Compare,
-  Output) and one line for the rest (Science, Predict, Coloured nets, Sweep,
-  your own boxes) with *Show all*. Under *Input*, **the folder's own files**:
-  one click adds the box that reads the file, already set. Type to search
-  them all: "alpha" finds the α-algorithm, "boarding" the log; Enter adds the
-  first match.
+- **+ Add box** (or a double-click on the canvas) opens every box, one
+  section per group (Input, Filter, Discover, Check, Compare, Output, then
+  Science, Predict, Coloured nets, Sweep and your own boxes), in a list that
+  scrolls. Under *Input*, **the folder's own files**: one click adds the box
+  that reads the file, already set. Type to search them all: "alpha" finds
+  the α-algorithm, "boarding" the log; Enter adds the first match.
 - **Files flow into the canvas.** Drop a log, an OCEL 2.0 object-centric log
   (`.jsonocel`), a PNML file, a .cpn or a ts.txt on the canvas and it becomes
   its input box at that spot; an input

{openprocess-0.11.0 → openprocess-0.11.3}/openprocess/__init__.py

@@ -48,7 +48,7 @@ from .sim.simulator import Simulator
 #: The one place the version number is written (pyproject.toml, the update
 #: check and packaging/build.py read it from here).  A release is tagged
 #: "v" + this, e.g. v0.2.0.
-__version__ = "0.11.0"
+__version__ = "0.11.3"
 
 __all__ = [
     "Arc", "BindingElement", "CPNet", "Marking", "Multiset", "Page", "Place",

{openprocess-0.11.0 → openprocess-0.11.3}/openprocess/cli.py

@@ -249,6 +249,8 @@ def command_mine_conform(arguments: argparse.Namespace) -> int:
     print(f"Generalisation         {generalisation(replay):.4f}")
     print(f"Simplicity             {simplicity(net):.4f}")
     print(f"Fitting cases          {alignments.fitting_traces} / {alignments.trace_count}")
+    for note in alignments.notes:
+        print(f"Note: {note}")
     return 0
 
 

{openprocess-0.11.0 → openprocess-0.11.3}/openprocess/flow/boxes/check.py

@@ -40,6 +40,8 @@ def check_fit(model: PetriNet, log: EventLog,
         alignments = align_log(model, simple)
         fitness = alignments.average_fitness
         flow.note(f"{alignments.fitting_traces} of {alignments.trace_count} cases align without a deviation")
+        for note in alignments.notes:
+            flow.note(note)
     else:
         fitness = replay.fitness
         flow.note(f"{replay.fitting_traces} of {replay.trace_count} cases replay without missing or remaining tokens")
@@ -63,8 +65,11 @@ def alignments(model: PetriNet, log: EventLog) -> AlignmentResult:
     """Optimal alignments of every variant with the model (A* over the
     synchronous product, standard cost function)."""
     result = align_log(model, log.simple_log())
-    rows = [["⟨" + ", ".join(a.trace) + "⟩", a.count, a.cost, round(a.fitness, 4)] for a in result.alignments]
+    rows = [["⟨" + ", ".join(a.trace) + "⟩", a.count, a.cost if a.complete else "?", round(a.fitness, 4)]
+            for a in result.alignments]
     flow.show(Table("Alignments", ["variant", "cases", "cost", "fitness"], rows), "Alignment per variant")
+    for note in result.notes:
+        flow.note(note)
     return result
 
 

{openprocess-0.11.0 → openprocess-0.11.3}/openprocess/flow/convert.py

@@ -15,6 +15,7 @@ class and the target (a class, or a dotted name).
 from __future__ import annotations
 
 import importlib
+import importlib.util
 from typing import Any, Callable
 
 from ..mining.log import KEY_NAME, KEY_RESOURCE, KEY_TIME, EventLog, SimpleLog
@@ -25,11 +26,49 @@ _converters: dict[tuple[str, str], Callable] = {}
 
 
 def _name(target) -> str:
+    """The name a type is registered under: ``module.qualname`` for a class,
+    a dotted string as given.  Nothing is imported here, so registering a
+    converter for ``"pandas.core.frame.DataFrame"`` costs nothing when pandas
+    is absent, and importing this module never imports pandas."""
     if isinstance(target, str):
         return target
     return f"{target.__module__}.{target.__qualname__}"
 
 
+def _resolve(dotted: str):
+    """The class a dotted name points at, or None when it cannot be found.
+
+    Tries the longest module prefix first (``a.b.c.D`` as module ``a.b.c``,
+    attribute ``D``), then shorter ones, so both ``pandas.DataFrame`` and
+    ``pandas.core.frame.DataFrame`` resolve to the same class.  A name whose
+    top-level package is not installed resolves to None without importing
+    anything.
+    """
+    parts = dotted.split(".")
+    if len(parts) < 2 or importlib.util.find_spec(parts[0]) is None:
+        return None
+    for split in range(len(parts) - 1, 0, -1):
+        try:
+            obj = importlib.import_module(".".join(parts[:split]))
+        except ImportError:
+            continue
+        for attribute in parts[split:]:
+            obj = getattr(obj, attribute, None)
+            if obj is None:
+                break
+        else:
+            if isinstance(obj, type):
+                return obj
+    return None
+
+
+def _canonical(name: str) -> str:
+    """``name`` as the class it points at is defined (``module.qualname``),
+    or ``name`` itself when it points at nothing importable."""
+    resolved = _resolve(name)
+    return name if resolved is None else _name(resolved)
+
+
 def register(source, target, function: Callable) -> None:
     """``function(value) -> converted`` for a value of class ``source``."""
     _converters[(_name(source), _name(target))] = function
@@ -39,20 +78,49 @@ def _class_names(value) -> list[str]:
     return [f"{cls.__module__}.{cls.__qualname__}" for cls in type(value).__mro__]
 
 
+def _find(value: Any, target) -> Callable | None:
+    """The registered converter from ``value``'s class (or a base class) to
+    ``target``, or None.
+
+    A class may be named by where it is imported from (``"pandas.DataFrame"``)
+    or where it is defined (``"pandas.core.frame.DataFrame"``, which pandas
+    2 reports as the class's module, while pandas 3 reports ``"pandas"``).
+    Both the source and the target are matched by resolving the names to the
+    class.  Only registered names in the same top-level package as the value
+    or the target are resolved, so looking up a pandas conversion imports
+    pandas and nothing else, and only once a conversion is asked for.
+    """
+    wanted = _name(target)
+    wanted_names = {wanted, _canonical(wanted)}
+    target_package = wanted.split(".")[0]
+    value_names = set(_class_names(value))
+    value_package = type(value).__module__.split(".")[0]
+
+    def matches(registered: str, names: set[str], package: str) -> bool:
+        if registered in names:
+            return True
+        return registered.split(".")[0] == package and _canonical(registered) in names
+
+    for (source, registered), function in _converters.items():
+        if matches(source, value_names, value_package) and \
+                matches(registered, wanted_names, target_package):
+            return function
+    return None
+
+
 def can_convert(value: Any, target) -> bool:
-    return any((name, _name(target)) in _converters for name in _class_names(value))
+    return _name(target) in _class_names(value) or _find(value, target) is not None
 
 
 def convert(value: Any, target):
     """Convert ``value`` to ``target`` (a class or a dotted name)."""
     wanted = _name(target)
-    for name in _class_names(value):
-        if name == wanted:
-            return value
-        function = _converters.get((name, wanted))
-        if function is not None:
-            return function(value)
-    raise TypeError(f"No converter from {type(value).__name__} to {wanted}")
+    if wanted in _class_names(value):
+        return value
+    function = _find(value, target)
+    if function is None:
+        raise TypeError(f"No converter from {type(value).__name__} to {wanted}")
+    return function(value)
 
 
 def converters() -> list[tuple[str, str]]:

{openprocess-0.11.0 → openprocess-0.11.3}/openprocess/gui/canvas.py

@@ -407,6 +407,9 @@ class NetScene(QGraphicsScene):
         if self.tool == "transition":
             self._create_transition(position)
             return
+        if self.tool == "silent":
+            self._create_transition(position, silent=True)
+            return
         if self.tool == "arc":
             self._arc_press(position)
             return
@@ -728,10 +731,10 @@ class NetScene(QGraphicsScene):
         self.model_changed.emit()
         self.created.emit(place)
 
-    def _create_transition(self, position: QPointF) -> None:
+    def _create_transition(self, position: QPointF, silent: bool = False) -> None:
         self.about_to_change.emit()
         self._hold_views_still()
-        transition = self._new_transition(on_grid(position) if self.snap_to_grid else position)
+        transition = self._new_transition(on_grid(position) if self.snap_to_grid else position, silent)
         self.rebuild()
         self.model_changed.emit()
         self.created.emit(transition)
@@ -748,12 +751,14 @@ class NetScene(QGraphicsScene):
         self.page.places.append(place)
         return place
 
-    def _new_transition(self, position: QPointF) -> Transition:
-        """Add a transition centred on ``position`` to the model (no redraw)."""
+    def _new_transition(self, position: QPointF, silent: bool = False) -> Transition:
+        """Add a transition centred on ``position`` to the model (no redraw).
+        A silent (τ) one has no name: it is drawn as a black bar."""
         assert self.page is not None
         prefix = "t" if self.plain else "T"
         transition = Transition(
-            name=self._unique_name(prefix, [t.name for t in self.net.all_transitions()])
+            name="" if silent else self._unique_name(prefix, [t.name for t in self.net.all_transitions()]),
+            silent=silent,
         )
         transition.graphics.x, transition.graphics.y = to_model(position)
         self.page.transitions.append(transition)

{openprocess-0.11.0 → openprocess-0.11.3}/openprocess/gui/flow/canvas.py

@@ -900,6 +900,8 @@ class WorkflowView(GraphView):
         self.files_dropped.emit(paths, self.mapToScene(event.position().toPoint()))
 
     def fit(self) -> None:
+        if self.fit_waits():
+            return
         self.auto_fit = True
         rect = self.graph.itemsBoundingRect()
         if rect.isEmpty():

{openprocess-0.11.0 → openprocess-0.11.3}/openprocess/gui/flow/picker.py

@@ -2,10 +2,12 @@
 
 The Workflows page has no permanent box list.  *+ Add box* in its header
 (and a double-click on the canvas, and *Add box here…* in its menu) opens
-this popover: a search field, the six core groups (Input, Filter, Discover,
-Check, Compare, Output) side by side, and one line for the rest (Science,
-Predict, Coloured nets, Sweep, a folder's own boxes) with *Show all*.
-Typing searches every box, core or not.  Enter adds the first match.
+this popover: a search field, then every box, one section per group with
+its name on a rule above it (Input, Filter, Discover, Check, Compare, Output,
+then Science, Predict, Coloured nets, Sweep and a folder's own boxes), the
+boxes of a group in three columns.  The list scrolls when it is taller than
+the screen leaves room for, so nothing is folded away and nothing is cut
+off.  Typing searches every box; Enter adds the first match.
 """
 
 from __future__ import annotations
@@ -14,19 +16,20 @@ from pathlib import Path
 
 from PySide6.QtCore import QPoint, Qt, Signal
 from PySide6.QtGui import QColor
-from PySide6.QtWidgets import (QFrame, QGraphicsDropShadowEffect, QGridLayout, QLineEdit, QPushButton, QVBoxLayout,
-                               QWidget)
+from PySide6.QtWidgets import (QFrame, QGraphicsDropShadowEffect, QGridLayout, QLineEdit, QPushButton, QScrollArea,
+                               QSizePolicy, QVBoxLayout, QWidget)
 
-from ...flow.library import GROUP_ORDER, Library
+from ...flow.library import Library
 from .. import theme
 from ..studio import motion, style
 from ..studio.widgets import hbox, label, vbox
 from ..studio.workspace import display_name, file_kind
 
-#: The groups shown before *Show all*: what most workflows are made of.
-CORE_GROUPS = GROUP_ORDER[:6]
+#: How many boxes side by side in a group's section.
 COLUMNS = 3
-#: How many of the folder's files the Input group lists before "… more".
+#: The list scrolls beyond this height (the card stays a popover, not a page).
+MAX_LIST_HEIGHT = 460
+#: How many of the folder's files the Input section lists before "… more".
 FILE_LIMIT = 6
 #: The input box for each kind of file in the folder (see workspace.file_kind).
 INPUT_BOXES = {"log": "open_log", "ocel": "open_ocel", "petri": "open_net", "cpn": "open_cpn",
@@ -87,7 +90,6 @@ class BoxPicker(QWidget):
         self.card.setGraphicsEffect(shadow)
         self.library = library
         self.folder = folder
-        self.show_all = False
         self.file_buttons: list[QPushButton] = []
         self.search = QLineEdit()
         self.search.setObjectName("boxSearch")
@@ -95,17 +97,24 @@ class BoxPicker(QWidget):
         self.search.setClearButtonEnabled(True)
         self.search.textChanged.connect(lambda _text: self.refill())
         self.search.returnPressed.connect(self._choose_first)
+        # The sections, in a list that scrolls when there are more than fit.
         self.groups_host = QWidget()
-        self.grid = QGridLayout(self.groups_host)
-        self.grid.setContentsMargins(0, 0, 0, 0)
-        self.grid.setHorizontalSpacing(14)
-        self.grid.setVerticalSpacing(10)
-        self.more_text = label("", "muted", wrap=True)
-        self.more_button = QPushButton()
-        self.more_button.clicked.connect(self._toggle_all)
-        self.footer = hbox(self.more_text, None, self.more_button)
-        self.card.setLayout(vbox(self.search, self.groups_host, self.footer, spacing=12, margins=(16, 16, 16, 16)))
-        self.card.setMinimumWidth(560)
+        self.groups_host.setObjectName("plain")
+        self.sections = QVBoxLayout(self.groups_host)
+        self.sections.setContentsMargins(0, 0, 8, 0)      # room for the scrollbar
+        self.sections.setSpacing(14)
+        self.scroll = QScrollArea()
+        self.scroll.setObjectName("boxPickerList")
+        self.scroll.setWidgetResizable(True)
+        self.scroll.setFrameShape(QFrame.NoFrame)
+        self.scroll.setHorizontalScrollBarPolicy(Qt.ScrollBarAlwaysOff)
+        self.scroll.setVerticalScrollBarPolicy(Qt.ScrollBarAsNeeded)
+        self.scroll.setStyleSheet("QScrollArea#boxPickerList, QScrollArea#boxPickerList > QWidget > QWidget "
+                                  "{ background: transparent; }")
+        self.scroll.setWidget(self.groups_host)
+        self.footer = label("", "muted", wrap=True)
+        self.card.setLayout(vbox(self.search, self.scroll, self.footer, spacing=12, margins=(16, 16, 16, 16)))
+        self.card.setMinimumWidth(600)
         self.setLayout(vbox(self.card, margins=(SHADOW_MARGIN,) * 4))
         self.buttons: list[QPushButton] = []
         self.refill()
@@ -114,7 +123,6 @@ class BoxPicker(QWidget):
     def open_at(self, point: QPoint) -> None:
         """Show the popover with the card's top-left corner at ``point`` (global), kept on screen."""
         self.search.clear()
-        self.show_all = False
         self.refill()
         self.adjustSize()
         screen = self.screen().availableGeometry() if self.screen() else None
@@ -135,74 +143,105 @@ class BoxPicker(QWidget):
 
     # -- filling -----------------------------------------------------------------------------
     def shown_groups(self) -> dict[str, list]:
-        """Group → boxes to list now: the core groups, every group when
-        *Show all* is on or a search is typed (a search looks everywhere)."""
+        """Group → boxes to list now: every group, in the library's order, or
+        what matches the search (a search looks everywhere)."""
         wanted = self.search.text().strip().lower()
         groups = {}
         for group, specs in self.library.by_group().items():
-            if not wanted and not self.show_all and group not in CORE_GROUPS:
-                continue
             shown = [s for s in specs if not wanted or _matches(s, group, wanted)]
             if shown:
                 groups[group] = shown
         return groups
 
     def refill(self) -> None:
-        while self.grid.count():
-            item = self.grid.takeAt(0)
+        while self.sections.count():
+            item = self.sections.takeAt(0)
             widget = item.widget()
             if widget is not None:
                 widget.hide()               # gone now, not at the next event loop turn: no ghosts under the new rows
                 widget.setParent(None)
                 widget.deleteLater()
         self.buttons, self.file_buttons = [], []
-        t = style.tokens()
         groups = self.shown_groups()
-        for index, (group, specs) in enumerate(groups.items()):
-            column = QWidget()
-            column.setObjectName("plain")
-            rows = QVBoxLayout(column)
-            rows.setContentsMargins(0, 0, 0, 0)
-            rows.setSpacing(2)
-            rows.addWidget(label(group.upper(), "sectionLabel"))
-            for spec in specs:
+        files, _more = self.shown_files()
+
+        def add(widget: QWidget) -> None:
+            self.sections.addWidget(widget)
+            widget.show()          # now, not at the next event loop turn: the list is measured below
+
+        for group, specs in groups.items():
+            add(self._section(group, specs, with_files=group == "Input"))
+        if "Input" not in groups and files:
+            # A search that matches files but no box: still a section for them.
+            add(self._section("Input", [], with_files=True))
+        elif not groups:
+            add(label("No box matches. Try another word, or clear the search.", "muted", wrap=True))
+        for broken in self.library.broken:
+            note = label(f"{Path(broken.file).name}: {broken.reason}", "muted", wrap=True)
+            note.setStyleSheet(f"color: {style.STATUS['critical']};")
+            note.setToolTip("This box file could not be loaded; fix it and it reloads when saved")
+            add(note)
+        self.sections.addStretch(1)
+        self._refresh_footer()
+        # The list takes the height of its sections, up to the limit; past
+        # that it scrolls.  (A scroll area's own size hint is a guess.)
+        self.groups_host.adjustSize()
+        self.scroll.setFixedHeight(min(self.groups_host.sizeHint().height() + 2, MAX_LIST_HEIGHT))
+        self.scroll.verticalScrollBar().setValue(0)
+        for layout in (self.card.layout(), self.layout()):
+            layout.activate()          # the card follows the list's new height at once, not a turn later
+        self.adjustSize()
+
+    def _section(self, group: str, specs: list, with_files: bool = False) -> QWidget:
+        """One group: its name on a rule, then its boxes in columns (and, for
+        Input, the folder's own files under a caption of their own)."""
+        t = style.tokens()
+        section = QWidget()
+        section.setObjectName("plain")
+        rows = QVBoxLayout(section)
+        rows.setContentsMargins(0, 0, 0, 0)
+        rows.setSpacing(4)
+        rows.addLayout(self._heading(group.upper()))
+        if specs:
+            grid = self._grid()
+            for index, spec in enumerate(specs):
                 choice = QPushButton(spec.name + ("  (Yours)" if spec.custom else ""))
                 choice.setObjectName("boxChoice")
                 choice.setCursor(Qt.PointingHandCursor)
+                choice.setSizePolicy(QSizePolicy.Expanding, QSizePolicy.Fixed)
                 tip = (spec.help or "").strip().split("\n\n")[0].replace("\n", " ")
                 if not spec.available:
                     tip += f"\n({spec.unavailable_reason})"
                     choice.setStyleSheet(f"color: {t.text_muted};")
                 choice.setToolTip(tip)
                 choice.clicked.connect(lambda _checked=False, box_id=spec.id: self._choose(box_id))
-                rows.addWidget(choice)
+                grid.addWidget(choice, index // COLUMNS, index % COLUMNS)
                 self.buttons.append(choice)
-            if group == "Input":
-                self._add_files(rows)
-            rows.addStretch(1)
-            self.grid.addWidget(column, index // COLUMNS, index % COLUMNS, Qt.AlignTop)
-        files, _more = self.shown_files()
-        if "Input" not in groups and files:
-            # A search that matches files but no box: still a column for them.
-            column = QWidget()
-            column.setObjectName("plain")
-            rows = QVBoxLayout(column)
-            rows.setContentsMargins(0, 0, 0, 0)
-            rows.setSpacing(2)
-            rows.addWidget(label("INPUT", "sectionLabel"))
+            rows.addLayout(grid)
+        if with_files:
             self._add_files(rows)
-            rows.addStretch(1)
-            self.grid.addWidget(column, len(groups) // COLUMNS, len(groups) % COLUMNS, Qt.AlignTop)
-        elif not groups:
-            self.grid.addWidget(label("No box matches. Try another word, or clear the search.", "muted", wrap=True),
-                                0, 0, 1, COLUMNS)
-        for broken in self.library.broken if (self.show_all or self.search.text().strip()) else []:
-            note = label(f"{Path(broken.file).name}: {broken.reason}", "muted", wrap=True)
-            note.setStyleSheet(f"color: {style.STATUS['critical']};")
-            note.setToolTip("This box file could not be loaded; fix it and it reloads when saved")
-            self.grid.addWidget(note, self.grid.rowCount(), 0, 1, COLUMNS)
-        self._refresh_footer()
-        self.adjustSize()
+        return section
+
+    @staticmethod
+    def _heading(text: str) -> "QHBoxLayout":
+        """A section's name, with a thin rule running to the right edge."""
+        rule = QFrame()
+        rule.setFixedHeight(1)
+        rule.setStyleSheet(f"background: {style.tokens().border};")
+        rule.setSizePolicy(QSizePolicy.Expanding, QSizePolicy.Fixed)
+        heading = hbox(label(text, "sectionLabel"), rule, spacing=10)
+        heading.setAlignment(rule, Qt.AlignVCenter)
+        return heading
+
+    @staticmethod
+    def _grid() -> QGridLayout:
+        grid = QGridLayout()
+        grid.setContentsMargins(0, 2, 0, 0)
+        grid.setHorizontalSpacing(10)
+        grid.setVerticalSpacing(2)
+        for column in range(COLUMNS):
+            grid.setColumnStretch(column, 1)
+        return grid
 
     def shown_files(self) -> tuple[list[tuple[str, str]], int]:
         """The folder's files to list under Input (those with an input box),
@@ -220,11 +259,12 @@ class BoxPicker(QWidget):
         if not files:
             return
         from ..studio.app import _faded_icon            # the sidebar's file icons (no cycle: app is loaded)
-        rows.addSpacing(6)
+        rows.addSpacing(8)
         rows.addWidget(label("IN THIS FOLDER", "sectionLabel"))
         names = [Path(relative).name for relative, _kind in files]
         icons = {"log": "log", "ocel": "log", "cpn": "cpn", "ts": "ts", "petri": "model"}
-        for relative, kind in files:
+        grid = self._grid()
+        for index, (relative, kind) in enumerate(files):
             name = Path(relative).name
             text = display_name(name)
             if names.count(name) > 1 and "/" in relative:
@@ -233,10 +273,12 @@ class BoxPicker(QWidget):
             choice.setObjectName("boxChoice")
             choice.setIcon(_faded_icon(icons.get(kind, "model")))
             choice.setCursor(Qt.PointingHandCursor)
+            choice.setSizePolicy(QSizePolicy.Expanding, QSizePolicy.Fixed)
             choice.setToolTip(f"{relative}\nAdds an input box that reads this file")
             choice.clicked.connect(lambda _checked=False, r=relative, k=kind: self._choose_file(k, r))
-            rows.addWidget(choice)
+            grid.addWidget(choice, index // COLUMNS, index % COLUMNS)
             self.file_buttons.append(choice)
+        rows.addLayout(grid)
         if more:
             rows.addWidget(label(f"… {more} more (Choose… in Settings)", "muted"))
 
@@ -248,25 +290,12 @@ class BoxPicker(QWidget):
         self.file_chosen.emit(box_id, relative)
 
     def _refresh_footer(self) -> None:
-        searching = bool(self.search.text().strip())
-        rest = [g for g in self.library.by_group() if g not in CORE_GROUPS]
         total = len(self.library)
-        self.footer_visible = bool(rest) and not searching
-        self.more_text.setVisible(self.footer_visible)
-        self.more_button.setVisible(self.footer_visible)
-        if not self.footer_visible:
-            return
-        if self.show_all:
-            self.more_text.setText(f"All {total} boxes.")
-            self.more_button.setText("Core groups only ◂")
+        shown = len(self.buttons)
+        if self.search.text().strip():
+            self.footer.setText(f"{shown} of {total} boxes match. Return adds the first.")
         else:
-            names = ", ".join(_plain(g) for g in rest)
-            self.more_text.setText(f"More: {names}.")
-            self.more_button.setText(f"Show all {total} ▸")
-
-    def _toggle_all(self) -> None:
-        self.show_all = not self.show_all
-        self.refill()
+            self.footer.setText(f"All {total} boxes, by group. Type to search them; Return adds the first match.")
 
     # -- choosing ---------------------------------------------------------------------------
     def _choose(self, box_id: str) -> None:
@@ -285,8 +314,4 @@ def _matches(spec, group: str, wanted: str) -> bool:
     return all(word in haystack for word in wanted.split())
 
 
-def _plain(group: str) -> str:
-    return "your own boxes" if group == "Yours" else group
-
-
-__all__ = ["BoxPicker", "CORE_GROUPS", "folder_files", "input_box_for"]
+__all__ = ["BoxPicker", "folder_files", "input_box_for"]