Does the sequence number stop torn price reads?

A C++ pricing service updates a product's price and currency in place while request threads read them without a lock. The assistant reviewed the read path and vouches for it.

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"
• scenario() returns the writer's updates, the readers, and a schedule; check() replays it
• each schedule entry runs one thread up to its next pause, so you choose the interleaving
• a verdict on its own does not count; the run has to show it
• leave everything below the dashed line alone; it is the model under test and the graded driver

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