synodic-client 0.0.1.dev75__tar.gz → 0.0.1.dev77__tar.gz

{synodic_client-0.0.1.dev75 → synodic_client-0.0.1.dev77}/PKG-INFO

@@ -1,6 +1,6 @@
 Metadata-Version: 2.1
 Name: synodic_client
-Version: 0.0.1.dev75
+Version: 0.0.1.dev77
 Author-Email: Synodic Software <contact@synodic.software>
 License: LGPL-3.0-or-later
 Project-URL: homepage, https://github.com/synodic/synodic-client
@@ -8,9 +8,9 @@ Project-URL: repository, https://github.com/synodic/synodic-client
 Requires-Python: <3.15,>=3.14
 Requires-Dist: pyside6>=6.10.2
 Requires-Dist: packaging>=26.0
-Requires-Dist: porringer>=0.2.1.dev85
+Requires-Dist: porringer>=0.2.1.dev86
 Requires-Dist: qasync>=0.28.0
-Requires-Dist: velopack>=0.0.1444.dev49733
+Requires-Dist: velopack>=0.0.1521.dev61717
 Requires-Dist: typer>=0.24.1
 Description-Content-Type: text/markdown
 

{synodic_client-0.0.1.dev75 → synodic_client-0.0.1.dev77}/pyproject.toml

@@ -10,12 +10,12 @@ requires-python = ">=3.14, <3.15"
 dependencies = [
     "pyside6>=6.10.2",
     "packaging>=26.0",
-    "porringer>=0.2.1.dev85",
+    "porringer>=0.2.1.dev86",
     "qasync>=0.28.0",
-    "velopack>=0.0.1444.dev49733",
+    "velopack>=0.0.1521.dev61717",
     "typer>=0.24.1",
 ]
-version = "0.0.1.dev75"
+version = "0.0.1.dev77"
 
 [project.license]
 text = "LGPL-3.0-or-later"
@@ -36,7 +36,7 @@ build = [
 ]
 lint = [
     "ruff>=0.15.6",
-    "pyrefly>=0.56.0",
+    "pyrefly>=0.57.0",
 ]
 test = [
     "pytest>=9.0.2",

{synodic_client-0.0.1.dev75 → synodic_client-0.0.1.dev77}/synodic_client/application/bootstrap.py

@@ -55,6 +55,7 @@ def bootstrap() -> None:
         run_startup_preamble(sys.executable)
 
     # Heavy imports happen here — PySide6, porringer, etc.
+
     from synodic_client.application.qt import application
 
     application(uri=extract_uri_from_args(), dev_mode=dev_mode, debug=debug)

{synodic_client-0.0.1.dev75 → synodic_client-0.0.1.dev77}/synodic_client/application/config_store.py

@@ -10,7 +10,8 @@ from __future__ import annotations
 
 from PySide6.QtCore import QObject, Signal
 
-from synodic_client.resolution import ResolvedConfig, resolve_config, update_user_config
+from synodic_client.operations.config import get_config, update_config
+from synodic_client.schema import ResolvedConfig
 
 
 class ConfigStore(QObject):
@@ -33,7 +34,7 @@ class ConfigStore(QObject):
     def __init__(self, config: ResolvedConfig | None = None, parent: QObject | None = None) -> None:
         """Create a new store, optionally seeded with *config*."""
         super().__init__(parent)
-        self._config = config if config is not None else resolve_config()
+        self._config = config if config is not None else get_config()
 
     @property
     def config(self) -> ResolvedConfig:
@@ -52,7 +53,7 @@ class ConfigStore(QObject):
         Returns:
             The fresh :class:`ResolvedConfig`.
         """
-        self._config = update_user_config(**changes)
+        self._config = update_config(**changes)
         self.changed.emit(self._config)
         return self._config
 

{synodic_client-0.0.1.dev75 → synodic_client-0.0.1.dev77}/synodic_client/application/debug.py

@@ -227,7 +227,7 @@ class DebugHandler:
         needed = sum(1 for s in model.action_states if classify_status(s.status) == 'needed')
         satisfied = sum(1 for s in model.action_states if classify_status(s.status) == 'satisfied')
         pending = sum(1 for s in model.action_states if classify_status(s.status) == 'pending')
-        upgradable = len(model.upgradable_keys)
+        upgradable = sum(1 for s in model.action_states if s.status == 'Update available')
 
         return json.dumps({
             'path': str(target),

{synodic_client-0.0.1.dev75 → synodic_client-0.0.1.dev77}/synodic_client/application/package_state.py

@@ -123,3 +123,26 @@ class PackageStateStore(QObject):
     def clear(self) -> None:
         """Remove all recorded state."""
         self._data.clear()
+
+    def record_updates_completed(
+        self,
+        signal_key: str,
+        version_map: dict[str, tuple[str, str]],
+    ) -> None:
+        """Mark packages as updated, clearing stale ``has_update`` flags.
+
+        Called after a successful tool update run.  For each entry in
+        *version_map* (``{package_name: (old_version, new_version)}``),
+        the corresponding :class:`PackageState` is updated to reflect
+        the new installed version and ``has_update`` is cleared.
+        """
+        changed = False
+        bucket = self._data.get(signal_key, {})
+        for pkg_name, (_, new_ver) in version_map.items():
+            existing = bucket.get(pkg_name)
+            if existing is not None:
+                existing.installed_version = new_ver
+                existing.has_update = False
+                changed = True
+        if changed:
+            self.state_changed.emit()

{synodic_client-0.0.1.dev75 → synodic_client-0.0.1.dev77}/synodic_client/application/screen/action_card.py

@@ -17,11 +17,12 @@ from porringer.backend.command.core.action_builder import PHASE_ORDER
 from porringer.schema import SetupAction, SetupActionResult
 from porringer.schema.plugin import PluginKind
 from PySide6.QtCore import Qt, QTimer, Signal
-from PySide6.QtGui import QColor
+from PySide6.QtGui import QColor, QCursor, QMouseEvent
 from PySide6.QtWidgets import (
     QApplication,
     QCheckBox,
     QFrame,
+    QGraphicsOpacityEffect,
     QHBoxLayout,
     QLabel,
     QToolButton,
@@ -57,6 +58,7 @@ from synodic_client.application.theme import (
     ACTION_CARD_STATUS_UPDATE,
     ACTION_CARD_STYLE,
     ACTION_CARD_TYPE_BADGE_STYLE,
+    ACTION_CARD_UPDATE_AVAILABLE_STYLE,
     ACTION_CARD_VERSION_STYLE,
     COPY_BTN_SIZE,
     COPY_BTN_STYLE,
@@ -119,6 +121,10 @@ class ActionCard(QFrame):
     """Emitted with ``(package_name, checked)`` when the user toggles the
     per-row pre-release checkbox."""
 
+    navigate_to_tool = Signal(str, str)
+    """Emitted with ``(installer, package_name)`` when the user clicks an
+    'Update available' card to navigate to the Tools view."""
+
     def __init__(
         self,
         parent: QWidget | None = None,
@@ -491,6 +497,10 @@ class ActionCard(QFrame):
         else:
             self._status_label.setToolTip('')
 
+        # "Update available" — fade the card and make it clickable
+        if status == 'Update available':
+            self._apply_update_available_style()
+
         # CLI command — update with resolved cli_command from result
         assert self._action is not None
         cmd_text = format_cli_command(self._action, result=result, suppress_description=True)
@@ -524,6 +534,15 @@ class ActionCard(QFrame):
             self._version_label.setText(f'\u2192 {result.available_version}')
             self._version_label.setStyleSheet(ACTION_CARD_VERSION_STYLE + ' color: grey;')
 
+    def _apply_update_available_style(self) -> None:
+        """Fade the card and make it clickable for 'Update available' status."""
+        self.setStyleSheet(ACTION_CARD_UPDATE_AVAILABLE_STYLE)
+        opacity = QGraphicsOpacityEffect(self)
+        opacity.setOpacity(0.55)
+        self.setGraphicsEffect(opacity)
+        self.setCursor(QCursor(Qt.CursorShape.PointingHandCursor))
+        self.setToolTip('Manage this update in the Tools view')
+
     def finalize_checking(self) -> None:
         """Resolve a still-pending 'Checking\u2026' status to 'Needed'.
 
@@ -605,6 +624,16 @@ class ActionCard(QFrame):
         """Return whether the card shows an 'Update available' status."""
         return self.status_text() == 'Update available'
 
+    def mousePressEvent(self, event: QMouseEvent) -> None:
+        """Navigate to Tools view when clicking an 'Update available' card."""
+        if self.is_update_available() and self._action is not None:
+            installer = self._action.installer or ''
+            package = str(self._action.package.name) if self._action.package else ''
+            if installer and package:
+                self.navigate_to_tool.emit(installer, package)
+                return
+        super().mousePressEvent(event)
+
 
 # ---------------------------------------------------------------------------
 # ActionCardList — card container
@@ -621,6 +650,13 @@ class ActionCardList(QWidget):
     prerelease_toggled = Signal(str, bool)
     """Forwarded from child :class:`ActionCard` widgets."""
 
+    navigate_to_tool = Signal(str, str)
+    """Forwarded from child :class:`ActionCard` widgets.
+
+    Emitted with ``(installer, package_name)`` when the user clicks an
+    'Update available' card.
+    """
+
     def __init__(self, parent: QWidget | None = None) -> None:
         """Initialise the card list."""
         super().__init__(parent)
@@ -632,6 +668,7 @@ class ActionCardList(QWidget):
 
         self._cards: list[ActionCard] = []
         self._action_map: dict[SetupAction, ActionCard] = {}
+        self._index_map: dict[int, ActionCard] = {}
 
     # ------------------------------------------------------------------
     # Skeleton loading
@@ -679,10 +716,19 @@ class ActionCardList(QWidget):
                 prerelease_overrides=prerelease_overrides,
             )
             card.prerelease_toggled.connect(self.prerelease_toggled.emit)
+            card.navigate_to_tool.connect(self.navigate_to_tool.emit)
             self._layout.insertWidget(self._layout.count() - 1, card)
             self._cards.append(card)
             self._action_map[act] = card
 
+        # Build original-index → card mapping so callers can look up by
+        # the action index porringer emits, which is independent of the
+        # display sort order.
+        for original_index, act in enumerate(actions):
+            card = self._action_map.get(act)
+            if card is not None:
+                self._index_map[original_index] = card
+
     # ------------------------------------------------------------------
     # Card lookup
     # ------------------------------------------------------------------
@@ -697,6 +743,15 @@ class ActionCardList(QWidget):
         """Return the number of cards (including skeletons)."""
         return len(self._cards)
 
+    def card_for_action_index(self, action_index: int) -> ActionCard | None:
+        """Return the card for the given original action index.
+
+        The index corresponds to the action's position in the unsorted
+        list passed to :meth:`populate`, matching the indices emitted
+        by porringer's ``ActionCompletedEvent``.
+        """
+        return self._index_map.get(action_index)
+
     def get_card(self, action: SetupAction) -> ActionCard | None:
         """Look up the card for a given action.
 
@@ -727,3 +782,4 @@ class ActionCardList(QWidget):
             card.deleteLater()
         self._cards.clear()
         self._action_map.clear()
+        self._index_map.clear()

{synodic_client-0.0.1.dev75 → synodic_client-0.0.1.dev77}/synodic_client/application/screen/install.py

@@ -23,9 +23,7 @@ from porringer.schema import (
     SetupAction,
     SetupActionResult,
     SetupResults,
-    SkipReason,
     SubActionProgress,
-    SyncStrategy,
 )
 from PySide6.QtCore import Qt, QTimer, Signal
 from PySide6.QtGui import QShowEvent
@@ -46,7 +44,7 @@ from PySide6.QtWidgets import (
 from synodic_client.application.package_state import PackageStateStore
 from synodic_client.application.screen.action_card import ActionCardList
 from synodic_client.application.screen.card import CardFrame
-from synodic_client.application.screen.install_workers import run_install, run_preview
+from synodic_client.application.screen.install_workers import run_install, run_post_sync, run_preview
 from synodic_client.application.screen.log_panel import ExecutionLogPanel
 from synodic_client.application.screen.schema import (
     ActionState,
@@ -106,6 +104,10 @@ class SetupPreviewWidget(QWidget):
     #: Emitted whenever the lifecycle phase changes.
     phase_changed = Signal(object)  # PreviewPhase
 
+    #: Emitted with ``(installer, package_name)`` when the user clicks an
+    #: 'Update available' card to navigate to the Tools view.
+    navigate_to_tool_requested = Signal(str, str)
+
     def __init__(
         self,
         porringer: API,
@@ -134,6 +136,7 @@ class SetupPreviewWidget(QWidget):
 
         self._model = PreviewModel()
         self._task: asyncio.Task[None] | None = None
+        self._install_results: SetupResults | None = None
 
         # Debounce timer for per-row pre-release checkbox changes
         self._prerelease_debounce = QTimer(self)
@@ -183,6 +186,7 @@ class SetupPreviewWidget(QWidget):
 
         self._card_list = ActionCardList()
         self._card_list.prerelease_toggled.connect(self._on_prerelease_row_toggled)
+        self._card_list.navigate_to_tool.connect(self.navigate_to_tool_requested.emit)
         scroll_layout.addWidget(self._card_list)
 
         self._log_panel = ExecutionLogPanel()
@@ -249,6 +253,13 @@ class SetupPreviewWidget(QWidget):
         button_bar = QHBoxLayout()
         button_bar.addStretch()
 
+        self._run_commands_btn = QPushButton('Run Commands')
+        self._run_commands_btn.setToolTip('Execute post-sync commands from the manifest')
+        self._run_commands_btn.setEnabled(False)
+        self._run_commands_btn.hide()
+        self._run_commands_btn.clicked.connect(self._on_run_commands)
+        button_bar.addWidget(self._run_commands_btn)
+
         self._install_btn = QPushButton('Install')
         self._install_btn.setEnabled(False)
         self._install_btn.clicked.connect(self._on_install)
@@ -370,6 +381,9 @@ class SetupPreviewWidget(QWidget):
         self._status_label.setText('')
         self._status_label.setStyleSheet('')
         self._install_btn.setEnabled(False)
+        self._run_commands_btn.setEnabled(False)
+        self._run_commands_btn.hide()
+        self._install_results = None
         self._log_panel.clear()
         self._log_panel.hide()
 
@@ -517,6 +531,7 @@ class SetupPreviewWidget(QWidget):
                     on_progress=self._on_action_progress,
                 ),
                 plugins=self._discovered_plugins,
+                exclude_post_sync=self._model.has_post_sync,
             )
             self._on_install_finished(results)
         except asyncio.CancelledError:
@@ -614,20 +629,24 @@ class SetupPreviewWidget(QWidget):
             self.metadata_ready.emit(preview)
 
     def _on_action_checked(self, row: int, result: SetupActionResult, status: str) -> None:
-        """Update the model and action card with a dry-run result."""
-        m = self._model
-        label = status
+        """Update the model and action card with a dry-run result.
+
+        This callback performs only two things:
+        1. Update the ``ActionState.status`` in the model.
+        2. Update the ``ActionCard`` widget visually.
 
-        if result.skipped and result.skip_reason == SkipReason.UPDATE_AVAILABLE and 0 <= row < len(m.action_states):
-            m.upgradable_keys.add(m.action_states[row].action)
+        Cross-component side effects (PackageStateStore writes) are
+        deferred to :meth:`_on_preview_finished` for one-way data flow.
+        """
+        m = self._model
 
         if 0 <= row < len(m.action_states):
-            m.action_states[row].status = label
+            m.action_states[row].status = status
 
         logger.debug(
             'Action checked [%d]: status=%s success=%s skipped=%s skip_reason=%s installed=%s available=%s',
             row,
-            label,
+            status,
             result.success,
             result.skipped,
             result.skip_reason,
@@ -637,21 +656,10 @@ class SetupPreviewWidget(QWidget):
 
         # Update the card widget
         if m.preview and 0 <= row < len(m.preview.actions):
-            action = m.preview.actions[row]
-            card = self._card_list.get_card(action)
+            card = self._card_list.card_for_action_index(row)
             if card is not None:
                 card.set_check_result(result, status)
 
-            # Record in shared store so ToolsView can reflect the update
-            if self._package_store is not None and action.installer and action.package:
-                self._package_store.record_action_result(
-                    action.installer,
-                    str(action.package.name),
-                    installed_version=result.installed_version or '',
-                    available_version=result.available_version or '',
-                    has_update=result.skip_reason == SkipReason.UPDATE_AVAILABLE,
-                )
-
         # Update phase text
         m.checked_count += 1
         total = len(m.action_states)
@@ -660,7 +668,15 @@ class SetupPreviewWidget(QWidget):
         )
 
     def _on_preview_finished(self) -> None:
-        """Finalize the preview after the dry-run check completes."""
+        """Finalize the preview after the dry-run check completes.
+
+        Computes the :class:`InstallPlan` via the operations layer,
+        batch-writes to :class:`PackageStateStore`, and updates all
+        button states.  This is the single point where preview results
+        are materialised into actionable decisions.
+        """
+        from synodic_client.operations.schema import ActionCheckResult, compute_install_plan
+
         m = self._model
         if not m.action_states:
             return
@@ -679,50 +695,60 @@ class SetupPreviewWidget(QWidget):
                 finalized,
             )
 
-        # Compute summary
-        total = len(m.action_states)
-        needed = sum(1 for s in m.action_states if s.status == 'Needed')
-        upgradable = len(m.upgradable_keys)
-        unavailable = sum(1 for s in m.action_states if s.status == 'Not installed')
-        failed = sum(1 for s in m.action_states if s.status == 'Failed')
-        pending = sum(1 for s in m.action_states if s.status == 'Pending')
-        ready = sum(1 for s in m.action_states if s.status == 'Ready')
-        satisfied = total - needed - upgradable - unavailable - failed - pending - ready
-
-        parts: list[str] = []
-        _counts: list[tuple[int, str]] = [
-            (needed, 'needed'),
-            (upgradable, 'upgradable'),
-            (satisfied, 'already satisfied'),
-            (ready, 'ready'),
-            (pending, 'pending'),
-            (unavailable, 'unavailable (plugin not installed)'),
-            (failed, 'failed'),
-        ]
-        for count, label in _counts:
-            if count:
-                parts.append(f'{count} {label}')
-
-        actionable = needed + upgradable
-        if actionable == 0 and unavailable == 0 and failed == 0:
-            self._status_label.setText(f'{total} action(s) \u2014 all already satisfied.')
-            self._install_btn.setEnabled(False)
+        # Build check results for the plan computation
+        check_results: list[ActionCheckResult] = []
+        for i, state in enumerate(m.action_states):
+            # We need the dry-run result — reconstruct a minimal one from the status
+            # The actual result was already applied to the card; here we use the
+            # status string which is the canonical output of resolve_action_status.
+            check_results.append(
+                ActionCheckResult(
+                    index=i,
+                    action=state.action,
+                    result=SetupActionResult(action=state.action, success=True),
+                    status=state.status,
+                ),
+            )
+
+        plan = compute_install_plan(check_results)
+        m.install_plan = plan
+
+        # Batch-write to PackageStateStore (one-way, after plan is computed)
+        if self._package_store is not None and m.preview is not None:
+            for state in m.action_states:
+                action = state.action
+                if action.installer and action.package:
+                    self._package_store.record_action_result(
+                        action.installer,
+                        str(action.package.name),
+                        installed_version='',
+                        available_version='',
+                        has_update=state.status == 'Update available',
+                    )
+
+        # Update UI from the plan
+        self._status_label.setText(plan.summary)
+        self._install_btn.setEnabled(plan.install_enabled)
+        if not plan.install_enabled:
+            self._install_btn.setToolTip('No packages to install')
         else:
-            self._status_label.setText(f'{total} action(s): {", ".join(parts)}.')
+            self._install_btn.setToolTip('')
+
+        # Show/enable the Run Commands button if post-sync exists
+        if plan.has_post_sync:
+            self._run_commands_btn.show()
+            self._run_commands_btn.setEnabled(True)
 
         self._set_phase(PreviewPhase.READY)
 
         logger.info(
-            'Preview complete: %d total, %d needed, %d upgradable, %d satisfied, '
-            '%d ready, %d pending, %d unavailable, %d failed',
-            total,
-            needed,
-            upgradable,
-            satisfied,
-            ready,
-            pending,
-            unavailable,
-            failed,
+            'Preview complete: %d total, %d to install, %d satisfied, %d upgradable, %d post-sync, install_enabled=%s',
+            len(m.action_states),
+            len(plan.install_indices),
+            len(plan.satisfied_indices),
+            len(plan.upgradable_indices),
+            len(plan.post_sync_indices),
+            plan.install_enabled,
         )
 
     def _on_preview_error(self, message: str) -> None:
@@ -769,14 +795,20 @@ class SetupPreviewWidget(QWidget):
     # --- Install execution ---
 
     def _on_install(self) -> None:
-        """Handle the Install button click."""
+        """Handle the Install button click.
+
+        Uses the pre-computed :class:`InstallPlan` to determine the
+        sync strategy.  Post-sync commands are excluded from this
+        execution — they are handled by :meth:`_on_run_commands`.
+        """
         m = self._model
-        if m.manifest_path is None:
+        if m.manifest_path is None or m.install_plan is None:
             return
 
         self._prerelease_debounce.stop()
         self._set_phase(PreviewPhase.INSTALLING)
         self._install_btn.setEnabled(False)
+        self._run_commands_btn.setEnabled(False)
         self._close_btn.setEnabled(False)
         m.completed_count = 0
 
@@ -786,9 +818,8 @@ class SetupPreviewWidget(QWidget):
         self._log_panel.clear()
         self._log_panel.show()
 
-        # Choose LATEST strategy when there are upgradable actions so
-        # porringer actually upgrades the already-installed packages.
-        strategy = SyncStrategy.LATEST if m.upgradable_keys else SyncStrategy.MINIMAL
+        # Strategy and post-sync exclusion come from the plan
+        strategy = m.install_plan.strategy
 
         self._task = asyncio.create_task(
             self._run_install_task(
@@ -847,25 +878,39 @@ class SetupPreviewWidget(QWidget):
             self._task.cancel()
 
     def _on_install_finished(self, results: SetupResults) -> None:
-        """Handle install completion."""
-        self._set_phase(PreviewPhase.DONE)
+        """Handle install completion.
 
-        succeeded = sum(1 for r in results.results if r.success and not r.skipped)
-        skipped = sum(1 for r in results.results if r.skipped)
+        If the plan includes post-sync commands and no actions failed,
+        automatically triggers :meth:`_on_run_commands`.
+        """
+        from synodic_client.operations.schema import format_install_summary
+
+        m = self._model
+        pre_skipped = len(m.install_plan.satisfied_indices) if m.install_plan else 0
         failed = sum(1 for r in results.results if not r.success)
 
-        parts = []
-        if succeeded:
-            parts.append(f'{succeeded} succeeded')
-        if skipped:
-            parts.append(f'{skipped} skipped')
-        if failed:
-            parts.append(f'{failed} failed')
+        # Auto-run post-sync if install succeeded and post-sync exists
+        if m.has_post_sync and failed == 0:
+            summary = format_install_summary(
+                install_results=list(results.results),
+                pre_skipped_count=pre_skipped,
+            )
+            self._status_label.setText(f'{summary}. Running post-sync commands\u2026')
+            self._run_commands_btn.setEnabled(False)
+            self._task = asyncio.create_task(self._run_post_sync_task())
+            self._install_results = results  # Stash for final summary
+            return
 
-        summary = ', '.join(parts) if parts else 'No actions executed.'
-        self._status_label.setText(f'Done \u2014 {summary}')
+        self._set_phase(PreviewPhase.DONE)
+        summary = format_install_summary(
+            install_results=list(results.results),
+            pre_skipped_count=pre_skipped,
+        )
+        self._status_label.setText(summary)
         self._install_btn.setEnabled(False)
         self._close_btn.setEnabled(True)
+        if m.has_post_sync:
+            self._run_commands_btn.setEnabled(True)
         self.install_finished.emit(results)
 
     def _on_install_error(self, message: str) -> None:
@@ -875,6 +920,76 @@ class SetupPreviewWidget(QWidget):
         self._install_btn.setEnabled(True)
         self._close_btn.setEnabled(True)
 
+    # --- Post-sync execution ---
+
+    def _on_run_commands(self) -> None:
+        """Handle the Run Commands button click."""
+        m = self._model
+        if m.manifest_path is None:
+            return
+
+        self._run_commands_btn.setEnabled(False)
+        self._install_btn.setEnabled(False)
+        self._close_btn.setEnabled(False)
+
+        self._status_label.setText('Running post-sync commands\u2026')
+
+        if not self._log_panel.isVisible():
+            self._log_panel.clear()
+            self._log_panel.show()
+
+        self._install_results = None
+        self._task = asyncio.create_task(self._run_post_sync_task())
+
+    async def _run_post_sync_task(self) -> None:
+        """Run the post-sync coroutine and route completion/errors."""
+        assert self._model.manifest_path is not None
+        try:
+            results = await run_post_sync(
+                self._porringer,
+                self._model.manifest_path,
+                project_directory=self._model.project_directory,
+                callbacks=InstallCallbacks(
+                    on_action_started=self._on_action_started,
+                    on_sub_progress=self._on_sub_progress,
+                    on_progress=self._on_action_progress,
+                ),
+                plugins=self._discovered_plugins,
+            )
+            self._on_post_sync_finished(results)
+        except asyncio.CancelledError:
+            self._on_post_sync_finished(SetupResults(actions=[]))
+        except Exception as exc:
+            logger.exception('Post-sync execution failed')
+            self._on_install_error(f'Post-sync failed: {exc}')
+
+    def _on_post_sync_finished(self, results: SetupResults) -> None:
+        """Handle post-sync completion."""
+        from synodic_client.operations.schema import format_install_summary
+
+        m = self._model
+        m.post_sync_completed = True
+        m.post_sync_results = list(results.results)
+
+        self._set_phase(PreviewPhase.DONE)
+
+        pre_skipped = len(m.install_plan.satisfied_indices) if m.install_plan else 0
+
+        # If we have stashed install results (auto-run path), use combined summary
+        install_results = (
+            list(self._install_results.results) if hasattr(self, '_install_results') and self._install_results else None
+        )
+        summary = format_install_summary(
+            install_results=install_results,
+            post_sync_results=m.post_sync_results,
+            pre_skipped_count=pre_skipped,
+        )
+        self._status_label.setText(summary)
+        self._install_btn.setEnabled(False)
+        self._run_commands_btn.setEnabled(False)
+        self._close_btn.setEnabled(True)
+        self.install_finished.emit(results)
+
 
 # ---------------------------------------------------------------------------
 # InstallPreviewWindow — standalone URI-based install window