anchor.diff:      #projection_v1{author_server=Author_latest} = P_latest,
       {Epoch_latest,_} = EpochID_latest = machi_projection:get_epoch_id(P_latest),
       Trigger = if CMode == cp_mode, EpochID_latest /= EpochID_current ->
  -                    ?REACT({a29, ?LINE,
  -                            [{epoch_id_latest,EpochID_latest},
  -                             {epoch_id_current,EpochID_current}]}),
                         true;
                    true ->
  -                      ?REACT({a29, ?LINE, []}),
                         false
                 end,
       if Trigger ->
               ?REACT({a29, ?LINE,
  -                    [{old_current, machi_projection:make_summary(P_current)}]}),
  +                    [{epoch_id_latest,EpochID_latest},
  +                     {epoch_id_current,EpochID_current},
  +                     {old_current, machi_projection:make_summary(P_current)}]}),
               if Epoch_latest >= Epoch_current orelse Epoch_latest == 0 orelse
                  P_current#projection_v1.upi == [] ->
                       ok;                                 % sanity check
  
positive.code:                                                                ?RETURN2(true))
              end;
          Else ->
              ?RETURN2(Else)
      end.
  
  projection_transition_is_sane_final_review(
  
negative.code: projection_transition_is_sane(P1, P2, RelativeToServer, RetrospectiveP) ->
      put(myname, RelativeToServer),
      put(why2, []),
      HasInner1 = inner_projection_exists(P1),
      HasInner2 = inner_projection_exists(P2),
      Inner1 = inner_projection_or_self(P1),
      Inner2 = inner_projection_or_self(P2),
      case projection_transition_is_sane_with_si_epoch(
             P1, P2, RelativeToServer, RetrospectiveP) of
          true ->
              if HasInner1 orelse HasInner2 ->
                      if HasInner1 orelse HasInner2 ->
                         %% In case of transition with inner projections, we
                         %% must allow the epoch number to remain constant.
  