diff -r 851f3f9440ef -r 9f3f723938fc src/Pure/PIDE/document.scala
--- a/src/Pure/PIDE/document.scala	Tue Sep 16 11:23:50 2025 +0200
+++ b/src/Pure/PIDE/document.scala	Tue Sep 16 11:58:46 2025 +0200
@@ -1312,13 +1312,6 @@
       else Nil
     }
 
-    def node_initialized(version: Version, name: Node.Name): Boolean =
-      name.is_theory &&
-      (version.nodes(name).commands.iterator.find(_.potentially_initialized) match {
-        case None => false
-        case Some(command) => command_states(version, command).headOption.exists(_.initialized)
-      })
-
     def node_maybe_consolidated(version: Version, name: Node.Name): Boolean =
       name.is_theory &&
       version.nodes(name).commands.reverse.iterator.forall(command_maybe_consolidated(version, _))