f

Author: yaacovCR

spec/Section 6 -- Execution.md

@@ -348,8 +348,6 @@ Incremental Result and Data Records to store required information. The records
 are detailed below, including which entries are required for Execution itself
 and which are required by the Incremental Publisher.
 
-Note: The Incremental Publisher may be run as a separate service.
-
 ### Incremental Delivery Records
 
 #### Incremental Publisher Records
@@ -361,7 +359,12 @@ An Incremental Publisher Record is a structure containing:
 - {pending}: a list of pending notifications for Deferred Fragment or Stream
   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.
+- {subsequentResults}: an iterator for the Subsequent Result stream, meaningful
+  only if pending is non-empty.
+
+Note: The Incremental Publisher may be run as a separate service. The input to
+the Incremental Publisher are the Execution Events enqueued on {eventQueue}; the
+output is the value for {pending}, as well as the {subsequentResults} stream.
 
 #### Incremental Result Records
 
@@ -371,11 +374,13 @@ or a Stream Items Record.
 
 An Initial Result Record is a structure containing:
 
-- {id}: an implementation-specific value uniquely identifying this record.
+- {id}: an implementation-specific value uniquely identifying this record,
+  created if not provided.
 
 A Deferred Fragment Record is a structure that always contains:
 
-- {id}: an implementation-specific value uniquely identifying this record.
+- {id}: an implementation-specific value uniquely identifying this record,
+  created if not provided.
 
 Within the Incremental Publisher context, records of this type also include:
 
@@ -391,7 +396,8 @@ Within the Incremental Publisher context, records of this type also include:
 
 A Stream Items Record is a structure that always contains:
 
-- {id}: an implementation-specific value uniquely identifying this record.
+- {id}: an implementation-specific value uniquely identifying this record,
+  created if not provided.
 
 Within the Incremental Publisher context, records of this type also include:
 
@@ -406,7 +412,8 @@ Within the Incremental Publisher context, records of this type also include:
 
 A Stream Record is a structure that always contains:
 
-- {id}: an implementation-specific value uniquely identifying this record.
+- {id}: an implementation-specific value uniquely identifying this record,
+  created if not provided.
 
 Within the Execution context, records of this type also include:
 
@@ -432,7 +439,8 @@ Grouped Field Set Record or a Stream Items Record.
 
 A Deferred Grouped Field Set Record is a structure that always contains:
 
-- {id}: an implementation-specific value uniquely identifying this record.
+- {id}: an implementation-specific value uniquely identifying this record,
+  created if not provided.
 
 Within the Execution context, records of this type also include: