Fantastic write up of a complex bug, really nice to see the amount of work that went into making the interplay of the various innocent components result in unexpected behavior.