build logic image in persistent store, without private_dir;

--- a/src/Pure/Tools/process_theories.scala	Mon Aug 11 20:34:38 2025 +0200
+++ b/src/Pure/Tools/process_theories.scala	Mon Aug 11 20:42:52 2025 +0200
@@ -90,7 +90,10 @@
           } yield session).toList
 
 
-      /* build adhoc session */
+      /* build session */
+
+      Build.build_logic(options, logic, dirs = dirs, progress = progress,
+        build_heap = true, strict = true)
 
       val session_entry =
         Sessions.Session_Entry(