src/Pure/PIDE/command.scala

     exports: Exports = Exports.empty,
     markups: Markups = Markups.empty)
   {
     def initialized: Boolean = status.exists(markup => markup.name == Markup.INITIALIZED)
     def consolidated: Boolean = status.exists(markup => markup.name == Markup.CONSOLIDATED)
+
+    lazy val maybe_consolidated: Boolean = Protocol.maybe_consolidated(status)
 
     lazy val protocol_status: Protocol.Status =
     {
       val warnings =
         if (results.iterator.exists(p => Protocol.is_warning(p._2) || Protocol.is_legacy(p._2)))