de-emphasize internal publisher algos

Author: yaacovCR

spec/Section 6 -- Execution.md

@@ -529,6 +529,11 @@ newDeferUsages, path, deferMap, incrementalDataRecord):
 - Return {newDeferredFragmentRecords}, {newDeferMap}, and
   {newDeferredGroupedFieldSetRecords}.
 
+IntroduceSubsequentResult(publisherRecord, subsequentResult):
+
+- Let {pending} be the corresponding entry on {publisherRecord}.
+- Add {subsequentResult} to {pending}.
+
 GetParentTarget(deferUsage, deferMap):
 
 - Let {ancestors} be the corresponding entry on {deferUsage}.
@@ -615,6 +620,13 @@ CompleteEmptyDeferredFragmentRecords(publisherRecord, deferredFragmentRecord):
   - Set {isCompleted} on {deferredFragmentRecord} to {true}.
   - Call {ReleaseSubsequentResult(publisherRecord, deferredFragmentRecord)}.
 
+ReleaseSubsequentResult(publisherRecord, subsequentResult):
+
+- Let {released} and {pending} be the corresponding entries on
+  {publisherRecord}.
+- If {subsequentResult} is not within {pending}, return.
+- Add {subsequentResult} to {released}.
+
 #### Complete Deferred Grouped Field Set Record
 
 CompleteDeferredGroupedFieldSet(publisherRecord, deferredGroupedFieldSetRecord,
@@ -669,35 +681,6 @@ MarkErroredStreamItemsRecord(publisherRecord, streamItemsRecord, errors):
 - Set {isCompleted} on {streamItemsRecord} to {true}.
 - Call {ReleaseSubsequentResult(publisherRecord, streamItemsRecord)}.
 
-#### Introduce Subsequent Result
-
-IntroduceSubsequentResult(publisherRecord, subsequentResult):
-
-- Let {pending} be the corresponding entry on {publisherRecord}.
-- Add {subsequentResult} to {pending}.
-
-#### Release Subsequent Result
-
-ReleaseSubsequentResult(publisherRecord, subsequentResult):
-
-- Let {released} and {pending} be the corresponding entries on
-  {publisherRecord}.
-- If {subsequentResult} is not within {pending}, return.
-- Add {subsequentResult} to {released}.
-
-#### Publish Subsequent Result
-
-PublishSubsequentResult(publisherRecord, subsequentResult):
-
-- Let {isCompleted} be the corresponding entry on {subsequentResult}.
-- If {isCompleted} is {true}:
-  - Let {released}, {pending}, and {signal} be the corresponding entries on
-    {publisherRecord}.
-  - Add {subsequentResult} to both {released} and {pending}.
-  - Trigger {signal}.
-- Otherwise:
-  - Call {IntroduceSubsequentResult(publisherRecord, subsequentResult)}.
-
 #### Yield Results
 
 If an operation contains subsequent result records resulting from `@stream` or
@@ -812,6 +795,17 @@ GenerateSubsequentResponse(publisherRecord, current):
   - Set the corresponding entry on {subsequentResult} to {completed}.
 - Return {subsequentResult}.
 
+PublishSubsequentResult(publisherRecord, subsequentResult):
+
+- Let {isCompleted} be the corresponding entry on {subsequentResult}.
+- If {isCompleted} is {true}:
+  - Let {released}, {pending}, and {signal} be the corresponding entries on
+    {publisherRecord}.
+  - Add {subsequentResult} to both {released} and {pending}.
+  - Trigger {signal}.
+- Otherwise:
+  - Call {IntroduceSubsequentResult(publisherRecord, subsequentResult)}.
+
 PendingRecordsToResults(records):
 
 - Initialize {pendingResults} to an empty list.