0.9.1 to 0.9.4: files into the canvas, the handoffs, Summary and Connections, motion

[s4mstruthers]

Slices 2 to 5 of the 0.9 plan, one commit (and one version) each, on top of #53 (0.9.0, the three spaces). Based on spaces-0.9.0 so the diff is these four slices; GitHub retargets it to main once #53 merges.

What you will notice

0.9.1 · Files flow into the canvas

• An input box names its file on the canvas ("INPUT · boarding.xes").
• + Add box lists the folder's logs, nets and transition systems under Input, one click each (search finds them too).
• Drop a file on the canvas and it becomes its input box at that spot. A file from outside the folder keeps its full path.
• Mine's Open log… and Log from notation… land as boxes on the current analysis, or on a new one named after the file.
• A page opened from a box (Open as log ›, Open as model, a copy) shows "‹ Back to " above its title.

0.9.2 · The handoffs between Mine and Model

• Open a copy in Model › (was Edit a copy): the model is named "… (copy)", its header links back ("‹ A copy, from Inductive Miner in …"), the result in the workflow is never changed.
• A discovered net can be tidied, not changed, on a box's Result: drag places and transitions; the layout is saved with the workflow.
• Mine a simulated log › (was Export / Generate event log): the log is saved in the folder next to the model and opens in Mine as an analysis with Open log reading it.
• Check against a log › on a Petri net's Analysis tab: an analysis with Open net, Open log and Check fit, connected and run.

0.9.3 · Summary, the map's detail slider, the Model palette, Connections

• Canvas | Summary on every analysis: a tile per result in run order, built from the boxes' own results (nothing configured), and the first log's process map with a Detail slider and a legend. A tile opens the box.
• The Model palette: Select, Place, Transition and Arc in the sidebar for the open net page; the page's own buttons return when the sidebar is hidden.
• Connections (sidebar, View menu): what flows in, OpenProcess and its boxes, what flows out, and the optional tools with whether each is installed, all read from the box library.

0.9.4 · Motion

• A space switch, the side panel and Canvas ↔ Summary settle under a short veil; a box pulses once when it finishes; + Add box fades in. OPENPROCESS_NO_MOTION=1 turns it off.

Also fixed

• A box added while a run was in progress was queued as "run everything", which then counted as nothing queued, so it never ran.
• The GUI tests' pump now drains due timers after its wait, which made two editor tests flaky under load.

Verification

• Whole suite: 374 passed, 3 skipped. New tests cover every behaviour above, the handoffs end to end.
• A scripted offscreen drive of every page (all templates, picker, drops, every settings list, Open as log/model/copy and Back, both net editors in every mode and inspector tab, the simulated-log and check-against-log paths, Learn, sidebar toggles, close and reopen the folder) produced no Qt warnings and no slot exceptions.
• Not verified offscreen: how the veils and the pulse feel on screen, and real-mouse dragging of a result net's places.

🤖 Generated with Claude Code