fix(CIP-145): updates from forum discussion

CIPs/cip-145.md

@@ -37,9 +37,14 @@ below, and would result in pruning of Data Events coinciding with Time Events.
 * A `fork point` is the last common ancestor of two events `A` and `B`.
 * A `merge point` is the first common descendant of two events `A` and `B`.
 * `A` is a `covered event` if another event `B` has `A`'s CID in its `prev` field.
+    * Said differently, if event `B` has event `A`'s CID in its `prev` field, then event `B` "covers" event `A`. By
+      transitivity, event `B` also covers every event covered by event `A`.
 * `A` is an `uncovered event` if there is no event with `A`'s CID in its `prev` field.
-* A `diverged stream` has more than one uncovered event.
-* A `converged stream` has a single uncovered event.
+* A `dominant Data Event` is one that is not covered by another Data Event.
+* A `non-dominant Data Event` is one that is covered by another Data Event. This applies transitively through Time
+  Events.
+* A `diverged stream` has more than one dominant Data Event.
+* A `converged stream` has a single dominant Data Event.
 * An `invalid Data Event` is one that has either an invalid signature or an expired CACAO.
 * A `valid Data Event` is one that has a valid signature and a valid CACAO (if applicable).
 
@@ -51,17 +56,15 @@ branches are pruned. Since pruning branches that contain Data Events would resul
 a Data Event to contain multiple ancestor events in its `prev` field so that a new merge point Data Event can cover
 multiple events.
 
-1. If a stream is in a diverged state (see events `A` and `B` in fig. 5), we only consider branches that contain valid,
-   uncovered Data Events.
-2. For branches that contain valid, uncovered Data Events, we only consider the first Data Event on a branch after the
-   fork.
-3. The Data Event that is covered by the earliest Time Event wins (see event `A` in fig. 5). 
-4. If two uncovered Data Events are covered by Time Events at the same block height, the Data Event with the lower CID
-   wins.
-
-Using multi-prev Data Events allows us to reduce the number of uncovered events and converge the stream so that there is
-only a single uncovered event, without any data abandoned on pruned branches. The stream's converged/diverged state can
-be determined by looking at the `prev` fields of all the Data Events for that stream.
+1. If a stream is in a diverged state (see events `A` and `B` in fig. 5), we consider branches that contain dominant
+   Data Events. Branches containing only Time Events will get pruned.
+2. For branches that contain dominant Data Events, consider the first Data Event on a branch after the fork.
+3. The Data Event that is covered by the earliest Time Event wins (see event `A` in fig. 5).
+4. If two Data Events share the earliest timestamp, then the branch of the Data Event with the lower CID wins.
+
+Using multi-prev Data Events allows us to reduce the number of dominant Data Events and converge the stream so that
+there is only a single dominant Data Event, without any data abandoned on pruned branches. The stream's
+converged/diverged state can be determined by looking at the `prev` fields of all the Data Events for that stream.
 
 Events that have invalid signatures cannot be tips, even if uncovered. This has important implications for Data Events
 with expired CACAOs. In figures 5 and 6, if we assume event `A` has an expired CACAO, the aggregation layer can choose