diff -r 1576fd83f1fe -r 37b61794a93a src/Pure/Build/build.scala
--- a/src/Pure/Build/build.scala	Wed Sep 24 16:53:36 2025 +0200
+++ b/src/Pure/Build/build.scala	Wed Sep 24 17:41:36 2025 +0200
@@ -795,7 +795,7 @@
             yield i -> elem)
 
       val command =
-        Command.unparsed(thy_source, theory = true, id = id,
+        Command.unparsed(thy_source, theory_commands = Some(0), id = id,
           node_name = Document.Node.Name(thy_file, theory = theory_context.theory),
           blobs_info = Command.Blobs_Info.make(blobs),
           markups = markups, results = results)