From 433fe695dbbaafa48cbd34ce943ed0029b5baf28 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@janware.com>
Date: Wed, 9 Sep 2026 21:14:25 +0200
Subject: [PATCH 1/2] App.is_installed(): Add method

The installed state of a project is judged by the proofs of installation,
which differ per subpackage: make/project.conf in the dev tree or /opt
proves the -devel package or a buildable checkout, a VERSION file in the
project directory or /usr/share/doc/packages the -run package.

Add is_installed(), which answers the proof question for a given subpackage
by searching the per-subpackage locations.

Signed-off-by: Jan Lindemann <jan@janware.com>
Assisted-by: unsloth/Qwen3.8-27B-GGUF:Q4_K_M with pi.dev v0.84.2
---
 src/python/jw/pkg/App.py | 35 +++++++++++++++++++++++++++++++++++
 1 file changed, 35 insertions(+)

diff --git a/src/python/jw/pkg/App.py b/src/python/jw/pkg/App.py
index a9ab6eb6..d5480a7a 100644
--- a/src/python/jw/pkg/App.py
+++ b/src/python/jw/pkg/App.py
@@ -98,6 +98,29 @@ class App(Base):
             return None
         raise Exception('No project path found for module "{}"'.format(name))
 
+    @cache
+    def __is_installed(self, name: str, devel: bool) -> bool:
+        # devel: the project is in the dev tree or the -devel
+        # package is installed: make/project.conf is present.
+        # run: the -run package is installed: a VERSION file is
+        # present in the project directory or
+        # /usr/share/doc/packages.
+        if devel and name == self.__top_name:
+            # the topdir is the project's own buildable checkout
+            if os.path.exists(f'{self.__topdir}/make/project.conf'):
+                return True
+        search, file = (
+            (self.__projs_root, self.___opt_root),
+            '/make/project.conf'
+        ) if devel else (
+            (self.__projs_root, '/usr/share/doc/packages'),
+            '/VERSION'
+        )
+        for root in search:
+            if root is not None and os.path.exists(f'{root}/{name}{file}'):
+                return True
+        return False
+
     def __find_dir(
         self,
         name: str,
@@ -404,6 +427,18 @@ class App(Base):
             raise Exception('No distro object')
         return self.__distro
 
+    def is_installed(
+        self,
+        name: str,
+        devel: bool = False,
+    ) -> bool:
+        """True if the project is installed: for devel,
+        make/project.conf is present in the dev tree or /opt; for
+        run, a VERSION file is present in the project directory
+        or /usr/share/doc/packages.
+        """
+        return self.__is_installed(name, devel)
+
     def find_dir(
         self,
         name: str,

From 2ae101d93b338f653685e2ab3bef0020a06de0f1 Mon Sep 17 00:00:00 2001
From: Jan Lindemann <jan@janware.com>
Date: Wed, 9 Sep 2026 21:15:39 +0200
Subject: [PATCH 2/2] App.__get_project_refs(): Fix recursion stop conditions

App.__get_project_refs() recurses into the package dependency graph, but
the recursion end conditions only work well if all required packages are
present. Whether a required package is installed or not is decided upon a
wrong condition, however - existence of the project's project directory,
which may or may not be misleading for both the -devel and the -run
requirements. This can lead to various unwanted outcomes: Missing packages
happily inserted into the recursion buffer, process termination instead of
recursion stop, path lookup errors instead of a clearer "unmet dependency"
message (No project path found for module xyz, Failed to find directory of
project foo).

This commit cleanly detects if -run or -devel are installed and makes the
walk stop or raise under the appropriate conditions:

1. -run missing but required, raises unmet dependency
2. -devel missing but required, raises unmet dependency
3. -run present, no -devel required, stop recursing

Signed-off-by: Jan Lindemann <jan@janware.com>
Assisted-by: unsloth/Qwen3.8-27B-GGUF:Q4_K_M with pi.dev v0.85.1
---
 src/python/jw/pkg/App.py | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/src/python/jw/pkg/App.py b/src/python/jw/pkg/App.py
index d5480a7a..af9b9311 100644
--- a/src/python/jw/pkg/App.py
+++ b/src/python/jw/pkg/App.py
@@ -210,6 +210,7 @@ class App(Base):
         names_only: bool,
     ) -> None:
         name = self.strip_module_from_spec(spec)
+        mod = re.split('([=><]+)', spec)[0].strip()
         if names_only:
             spec = name
         if spec in buf:
@@ -219,6 +220,15 @@ class App(Base):
                 buf.append(spec)
             return
         visited.add(spec)
+        needed_subpackage = 'devel' if mod.endswith(('-dev', '-devel')) else 'run'
+        if not self.is_installed(name, devel = True):
+            if not mod.endswith(('-dev', '-devel')):
+                if self.is_installed(name, devel = False):
+                    return
+            raise Exception(
+                f'Unmet dependency on {mod}: the -{needed_subpackage} package '
+                f'of project {name} is not installed'
+            )
         vals = self.get_value(name, section, key)
         log(
             DEBUG,