As a last note I am open to being proven wrong, in particular I think there could be some way to use a tree structure to encode “backtrack” transactions into the solution provided by xhliu, making it practical at scale even if theoretically constrained.