anchor.diff:              pvc_are_keys_stale(SelfPartition, Keys, PrepareVC, CommittedTx)
       end.
   
  --spec pvc_store_key_commitvc(partition_id(), cache_id(), list(), vectorclock_partition:partition_vc()) -> ok.
  -pvc_store_key_commitvc(SelfPartition, CommittedTx, WriteSet, CommitVC) ->
  -    Keys = pvc_get_partition_keys(SelfPartition, WriteSet),
  -    Objects = [{Key, CommitVC} || Key <- Keys],
  +-spec pvc_store_key_commitvc(cache_id(), list(), vectorclock_partition:partition_vc()) -> ok.
  +pvc_store_key_commitvc(CommittedTx, WriteSet, CommitVC) ->
  +    Objects = [{Key, CommitVC} || {Key, _, _} <- WriteSet],
       true = ets:insert(CommittedTx, Objects),
       ok.
   
  
positive.code:         .time#pvc_time
          .vcdep,
  
      PartitionKeys = pvc_get_partition_keys(Partition, WriteSet),
      StaleTx = pvc_are_keys_stale(Partition, PartitionKeys, PrepareVC, CommittedTransactions),
  
      {Vote, Seq, NewState} = case WriteSetDisputed orelse StaleTx of
  
negative.code:                 ok = pvc_append_commits(Partition, Id, WS, VC, MRVC),
  
                  %% Cache last commit time for the WS keys (for stale VC check)
                  ok = pvc_store_key_commitvc(CommittedTx, WS, VC)
              end, Entries)
      end,
      {noreply, State#state{pvc_commitqueue = NewQueue}};
  