概要

rtt=1 | coherence=declared | drift=bounded | paradox=structural

Updated