anchor.diff:  
   -spec on_init_TP({tx_state:tx_id(),
                     [comm:mypid()], comm:mypid(),
  -                  any(),
  +                  tx_tlog:tlog_entry(),
                     tx_item_state:tx_item_id(),
                     tx_item_state:paxos_id()},
                     dht_node_state:state()) -> dht_node_state:state().
  
positive.code:     %% need Acceptors (given via RTMs), Learner,
      %% validate locally via callback
      DB = dht_node_state:get(DHT_Node_State, db),
      {NewDB, Proposal} = apply(element(1, RTLogEntry),
                                validate,
                                [DB, RTLogEntry]),
  
  
negative.code:     %% (optimized: embed the proposer's accept message in registerTP message)
      dht_node_state:set_db(DHT_Node_State, NewDB).
  
  -spec on_tx_commitreply({tx_item_state:paxos_id(), tx_tlog:tlog_entry()},
                          commit | abort, dht_node_state:state())
                         -> dht_node_state:state().
  on_tx_commitreply({PaxosId, RTLogEntry}, Result, DHT_Node_State) ->
      ?TRACE("tx_tp:on_tx_commitreply({, ...})~n", []),
  