diff -r b1e04ffb4b08 -r 989304e45ad7 src/Pure/PIDE/headless.scala
--- a/src/Pure/PIDE/headless.scala	Tue Nov 04 21:49:24 2025 +0100
+++ b/src/Pure/PIDE/headless.scala	Tue Nov 04 22:09:26 2025 +0100
@@ -354,8 +354,9 @@
         val delay_nodes_status =
           Delay.first(nodes_status_delay max Time.zero) {
             val st = use_theories_state.value
+            val now = progress.now()
             progress.nodes_status(
-              Progress.Nodes_Status(st.dep_graph.topological_order, st.nodes_status))
+              Progress.Nodes_Status(now, st.dep_graph.topological_order, st.nodes_status))
           }
 
         val delay_commit_clean =