f

Author: yaacovCR

spec/Section 6 -- Execution.md

@@ -359,7 +359,8 @@ An Incremental Publisher Record is a structure containing:
 - {eventQueue}: a queue to which events can be pushed from multiple sources,
   perhaps concurrently.
 - {pending}: a list of pending notifications for Deferred Fragment or Stream
-  Records whose parent is the initial result.
+  Records whose parent is the initial result, set after the Completed Initial
+  Result Event has been processed.
 - {subsequentResults}: an iterator for the Subsequent Result stream.
 
 #### Incremental Result Records
@@ -1039,6 +1040,7 @@ serial):
 - Set {data} on {initialResult} to {data}.
 - Enqueue a Completed Initial Result Event on {eventQueue} with {id}.
 - Let {pending} be the corresponding entry on {incrementalPublisher}.
+- Wait for {pending} to be set.
 - If {pending} is empty, return {initialResult}.
 - Let {hasNext} be {true}.
 - Set the corresponding entries on {initialResult} to {pending} and {hasNext}.