Can quorum reads go back in time?

A settings store keeps every key on 5 replicas. A write counts as done once 3 replicas have it, and a read asks 3 replicas and keeps the newest answer.

Your task

The assistant stands by the claim in claim.md. Reach a verdict and prove it with a run.

• verdict() returns the string "true" or "false"
• operations() returns the writes and reads your run makes, in order, and which replicas each one reached
• check() replays them and looks at the version every read returned
• a verdict on its own does not count; the run has to show it
• leave everything below the dashed line alone; it is the code under test and the graded driver

The suite replays your operations at submit and checks the run settles the claim.