@@ -2100,26 +2100,26 @@ instance MetaTrace (TraceGsmEvent selection) where
2100
2100
\ case
2101
2101
GsmEventEnterCaughtUp {} -> Namespace [] [" EnterCaughtUp" ]
2102
2102
GsmEventLeaveCaughtUp {} -> Namespace [] [" LeaveCaughtUp" ]
2103
- GsmEventPreSyncingToSyncing {} -> Namespace [] [" GsmEventPreSyncingToSyncing " ]
2104
- GsmEventSyncingToPreSyncing {} -> Namespace [] [" GsmEventSyncingToPreSyncing " ]
2103
+ GsmEventPreSyncingToSyncing {} -> Namespace [] [" PreSyncingToSyncing " ]
2104
+ GsmEventSyncingToPreSyncing {} -> Namespace [] [" SyncingToPreSyncing " ]
2105
2105
2106
2106
severityFor ns _ =
2107
2107
case ns of
2108
- Namespace _ [" EnterCaughtUp" ] -> Just Info
2109
- Namespace _ [" LeaveCaughtUp" ] -> Just Info
2110
- Namespace _ [" GsmEventPreSyncingToSyncing " ] -> Just Info
2111
- Namespace _ [" GsmEventSyncingToPreSyncing " ] -> Just Info
2112
- Namespace _ _ -> Nothing
2108
+ Namespace _ [" EnterCaughtUp" ] -> Just Info
2109
+ Namespace _ [" LeaveCaughtUp" ] -> Just Info
2110
+ Namespace _ [" PreSyncingToSyncing " ] -> Just Info
2111
+ Namespace _ [" SyncingToPreSyncing " ] -> Just Info
2112
+ Namespace _ _ -> Nothing
2113
2113
2114
2114
documentFor = \ case
2115
2115
Namespace _ [" EnterCaughtUp" ] ->
2116
2116
Just " Node is caught up"
2117
2117
Namespace _ [" LeaveCaughtUp" ] ->
2118
2118
Just " Node is not caught up"
2119
2119
2120
- Namespace _ [" GsmEventPreSyncingToSyncing " ] ->
2120
+ Namespace _ [" PreSyncingToSyncing " ] ->
2121
2121
Just " The Honest Availability Assumption is now satisfied"
2122
- Namespace _ [" GsmEventSyncingToPreSyncing " ] ->
2122
+ Namespace _ [" SyncingToPreSyncing " ] ->
2123
2123
Just " The Honest Availability Assumption is no longer satisfied"
2124
2124
2125
2125
Namespace _ _ ->
@@ -2128,8 +2128,8 @@ instance MetaTrace (TraceGsmEvent selection) where
2128
2128
allNamespaces =
2129
2129
[ Namespace [] [" EnterCaughtUp" ]
2130
2130
, Namespace [] [" LeaveCaughtUp" ]
2131
- , Namespace [] [" GsmEventPreSyncingToSyncing " ]
2132
- , Namespace [] [" GsmEventSyncingToPreSyncing " ]
2131
+ , Namespace [] [" PreSyncingToSyncing " ]
2132
+ , Namespace [] [" SyncingToPreSyncing " ]
2133
2133
]
2134
2134
2135
2135
--------------------------------------------------------------------------------
0 commit comments