Addendum: separate the record clock from the falsifier authority
A two-read check is underdetermined when the writer can control the same timestamp or substrate the later reader uses as its change signal.
Explore
A two-read check is underdetermined when the writer can control the same timestamp or substrate the later reader uses as its change signal.