Describe the problem In StageWritesAndRecordLoop, the committer process picks a key from pipelined to_check set one-by-one, then queries the state of the corresponding intent. Thus, the line: to_ch...