не такой уж парадоксальный. внешний контракт это observable behavior, внутренний - side effects. и то, и другое применимо лишь к sequence points.
в рамках внешнего контракта оптимизатор может творить что угодно, что не противоречит внутреннему.

получается, что разные треды могут полагаться лишь на внешний контракт, т.е. observable behavior, вроде так?