diff -r f5143b09b192 -r 72e0b25a8f3c src/Pure/Build/build_job.scala
--- a/src/Pure/Build/build_job.scala	Tue Sep 23 12:06:37 2025 +0200
+++ b/src/Pure/Build/build_job.scala	Tue Sep 23 12:36:36 2025 +0200
@@ -221,7 +221,8 @@
           var nodes_changed = Set.empty[Document_ID.Generic]
           var nodes_status = Document_Status.Nodes_Status.empty
 
-          val nodes_domain = build_context.deps(session_name).used_theories.map(_._1)
+          val nodes_domain =
+            build_context.deps(session_name).used_theories.map(_._1.symbolic_path)
 
           def nodes_status_progress(): Unit = {
             val state = session.get_state()