openprocess 0.16.0__tar.gz → 0.16.1__tar.gz

{openprocess-0.16.0/openprocess.egg-info → openprocess-0.16.1}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: openprocess
-Version: 0.16.0
+Version: 0.16.1
 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

{openprocess-0.16.0 → openprocess-0.16.1}/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.16.0"
+__version__ = "0.16.1"
 
 __all__ = [
     "Arc", "BindingElement", "CPNet", "Marking", "Multiset", "Page", "Place",

{openprocess-0.16.0 → openprocess-0.16.1}/openprocess/gui/studio/app.py

@@ -4261,6 +4261,16 @@ class StudioWindow(QMainWindow):
             self.statusBar().showMessage(message, 8000)
 
         try:
+            if isinstance(document, WorkflowDocument):
+                # Changed by Claude (through the MCP server) or another copy of the
+                # app: the boxes, versions and record are all read again.
+                from ...flow.record import load_all
+                document.workflow, document.record, document.versions = load_all(path, self.library())
+                document.dirty = False
+                self._remember_identity(document)
+                self._replace_page(document)
+                self.statusBar().showMessage(message, 8000)
+                return
             if isinstance(document, TransitionSystemDocument):
                 content = self._read_text_file(path)
                 document.ts = content.ts

{openprocess-0.16.0 → openprocess-0.16.1}/openprocess/gui/studio/dotted_chart.py

@@ -73,6 +73,7 @@ SHAPES = ["circle", "square", "triangle", "diamond", "cross", "star"]
 #: log stays a picture of milliseconds, not seconds.  Shapes, rings and the
 #: lines between a case's events come back as soon as a zoom shows fewer.
 BATCH_FROM = 40_000
+STACK_ALPHA = 0.72        # opacity of a dot; a stack of dots shows darker
 #: Above this many events the dots are worked out on a worker thread.
 BACKGROUND_FROM = 200_000
 #: When drawing the picture took longer than this, a pan or zoom first shows
@@ -381,6 +382,15 @@ class DottedChart(QWidget):
             painter.end()
         return pixmap
 
+    def dot_radius(self, rect: QRectF) -> float:
+        """The radius a dot is drawn with: the size the rows allow (4 px
+        when they are tall, down to 1.6 px when a row is a hairline), scaled
+        by the Dot size setting (4 is 1×), so the slider always does
+        something and a dense chart stays readable."""
+        row_h = rect.height() / max(self.vy1 - self.vy0, 1e-9)
+        fitting = max(1.6, min(4.0, row_h * 0.45))
+        return max(1.0, fitting * self.data.settings.dot_size / 4.0)
+
     def _visible(self, candidates: np.ndarray) -> np.ndarray:
         """The dots of ``candidates`` (dots in the x window) that are in the
         row window and whose colour the legend shows."""
@@ -402,12 +412,7 @@ class DottedChart(QWidget):
         rect = self.plot_rect()
         self._paint_axes(painter, rect, t, s.grid_lines)
 
-        row_h = rect.height() / max(self.vy1 - self.vy0, 1e-9)
-        # The dot size the rows allow (4 px when they are tall, down to 1.6 px
-        # when a row is a hairline), scaled by the Dot size setting (4 is 1×):
-        # the slider always does something, and a dense chart stays readable.
-        fitting = max(1.6, min(4.0, row_h * 0.45))
-        radius = max(1.0, fitting * s.dot_size / 4.0)
+        radius = self.dot_radius(rect)
         # A ring in the surface colour sets a dot apart from its neighbours;
         # drawn on every dot it erases overlapping ones into slivers, so it is
         # kept for the selected case alone, which sits on top.
@@ -423,6 +428,13 @@ class DottedChart(QWidget):
             self._paint_dense(painter, rect, colours, faded, radius, visible)
             on_top = visible[d.case[visible] == selected] if selected >= 0 else []
         else:
+            if selected < 0:
+                # Dots a little translucent, so a stack of events drawn on
+                # the same spot shows darker than a single one.  The dense
+                # picture sets each pixel once, so it stays opaque; the
+                # selected case is opaque to stand out.
+                for colour in colours:
+                    colour.setAlphaF(STACK_ALPHA)
             if s.connect:
                 self._paint_connections(painter, rect, visible, t)
             # Unselected first, the selected case last so it sits on top.
@@ -634,6 +646,16 @@ class DottedChart(QWidget):
         nearest = int(distance.argmin())
         return int(near[nearest]) if distance[nearest] <= tolerance else None
 
+    def stacked_with(self, i: int) -> np.ndarray:
+        """The shown dots drawn over dot ``i``: those on its row whose centre
+        is within a dot's width of it on screen, ``i`` itself first."""
+        d = self.data
+        rect = self.plot_rect()
+        reach = 2 * self.dot_radius(rect) / rect.width() * (self.vx1 - self.vx0)
+        near = d.between(d.xs[i] - reach, d.xs[i] + reach)
+        near = near[(d.rows[near] == d.rows[i]) & d.shown(self.hidden_colours)[d.colour[near]]]
+        return np.concatenate(([i], near[near != i]))
+
     def describe_dot(self, i: int) -> str:
         d = self.data
         event = d.event(i)
@@ -646,6 +668,19 @@ class DottedChart(QWidget):
             if key not in ("concept:name", "time:timestamp"):
                 text = str(value)
                 lines.append(f"{key}: {text[:60] + '…' if len(text) > 60 else text}")
+        stack = self.stacked_with(i)
+        if len(stack) > 1:
+            # A pile of dots looks like one: say how many, and over what span.
+            cases = len(set(d.case[stack].tolist()))
+            text = f"<i>{len(stack) - 1} more event{'s' if len(stack) > 2 else ''} under this dot"
+            if cases > 1:
+                text += f" ({cases} cases)"
+            stamps = [d.event(int(j)).timestamp for j in stack]
+            if all(stamps):
+                first, last = min(stamps), max(stamps)
+                if last > first:
+                    text += f", spanning {format_duration((last - first).total_seconds())}"
+            lines.append(text + ". Drag to zoom in.</i>")
         return "<br>".join(lines)
 
     # -- interaction ------------------------------------------------------------------

{openprocess-0.16.0 → openprocess-0.16.1/openprocess.egg-info}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.4
 Name: openprocess
-Version: 0.16.0
+Version: 0.16.1
 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

{openprocess-0.16.0 → openprocess-0.16.1}/tests/test_dotted_chart.py

@@ -107,3 +107,28 @@ def test_the_pointer_finds_the_nearest_shown_dot(app, monkeypatch):
     assert found is not None and d.rows[found] == 0 and d.xs[found] == 1.0
     chart.hidden_colours = set(range(len(d.colour_values)))
     assert chart.dot_at(point) is None
+
+
+def test_the_hover_counts_the_dots_drawn_under_one(app, monkeypatch):
+    from openprocess.gui.studio import dotted_chart
+    from openprocess.gui.studio.documents import LogDocument
+    chart = _chart(app, monkeypatch, batch_from=10_000)
+    # Rows by activity, x by position in case (from 0): the 10 <b,a> cases
+    # put 10 dots on one spot.
+    chart.set_data(dotted_chart.DotData(LogDocument(LOG), DotSettings(x_mode=4, rows="Activity")))
+    chart.show()
+    app.processEvents()
+    chart.repaint()
+    d = chart.data
+    a_row = d.rows[next(j for j in range(len(d.xs)) if d.event(j).activity == "a" and d.xs[j] == 1.0)]
+    pile = np.flatnonzero((d.rows == a_row) & (d.xs == 1.0))
+    assert len(pile) == 10
+    i = int(pile[0])
+    stack = chart.stacked_with(i)
+    assert stack[0] == i and len(stack) == len(pile)
+    text = chart.describe_dot(i)
+    assert f"{len(pile) - 1} more events under this dot" in text
+    # Hidden colours are not counted, and a lone dot says nothing.
+    chart.hidden_colours = set(range(len(d.colour_values)))
+    assert len(chart.stacked_with(i)) == 1
+    assert "under this dot" not in chart.describe_dot(i)

{openprocess-0.16.0 → openprocess-0.16.1}/tests/test_studio_gui.py

@@ -2847,6 +2847,37 @@ def test_a_workflow_opened_from_another_folder_reads_its_files_from_there(app, t
     assert page.run is not None and all(page.run.status(n) == "done" for n in page.workflow.nodes.values())
 
 
+def test_an_open_workflow_changed_on_disk_is_reloaded(app, tmp_path):
+    """A .analysis written elsewhere (by Claude through the MCP server) while it is
+    open: the page shows the new boxes, and a later save does not put the old ones back."""
+    from openprocess.flow import Workflow, save
+    from openprocess.flow.record import load_all
+    from openprocess.gui.studio.app import StudioWindow
+    from openprocess.gui.studio.documents import WorkflowDocument
+    week = _week(tmp_path)
+    (week / "log.txt").write_text("[<a,b,c>^3, <a,c,b>]")
+    path = week / "Orders.analysis"
+    wf = Workflow("Orders")
+    wf.connect(wf.add("open_log", {"file": "log.txt"}), wf.add("alpha_miner"))
+    save(wf, path, folder=week)
+    window = StudioWindow()
+    window.show()
+    window.open_workspace(str(week))
+    window.open_path(str(path))
+    document = next(d for d in window.documents if isinstance(d, WorkflowDocument))
+    before = window.pages[document.id]
+    _pump(app, 0.5)
+
+    wf.add("inductive_miner")
+    save(wf, path, folder=week)
+    assert _wait_for(app, lambda: len(document.workflow.nodes) == 3)
+    assert window.pages[document.id] is not before
+    assert "changed on disk — reloaded" in window.statusBar().currentMessage()
+    window.pages[document.id].save()
+    assert len(load_all(path)[0].nodes) == 3
+    window.close()
+
+
 def test_not_terminating_is_shown_as_info():
     from openprocess.gui.studio.widgets import property_status
     assert property_status("Terminating", False) == "info"