O(log n) when the invariants hold. The color bit lets the tree stay balanced with fewer rigid constraints than AVL trees, so updates use a small number of rotations plus recoloring.
Each frame explains what the current recolor, rotation, splice, or search comparison is doing.