Arguably, you could the fix OP's issue by improving/changing the domain model. In this example, issue of state arises because the Order relies on the inherent p

Arguably, you could the fix OP's issue by improving/changing the domain model. In this example, issue of state arises because the Order relies on the inherent possibility of changes to the attributes of a Product. Adding line items(quantity,price,product_id,etc) instead of direct product associations would provide a more stable representation that's easy to reason about without the additional complexity of REVAT.