(This post was intended for the Feedback category which is currently readonly; please feel free to move it.)
The minimap for three cells b, c and a renders as follows:
When a has an error, c is no longer clearly marked as transitive downstream cell. The only way to tell it apart is by taking note of the label color:
I suspect that the old minimap won’t receive any updates, but this might be worth keeping in mind in case the new map uses a similar design.