That is generally correct.
If you are using a merged header element, then the static navigation color should be set within the header element:
https://docs.generatepress.com/article/header-element-overview/#navigation-colors
Then the sticky navigation color would inherit the primary navigation colors in the customizer.
If you aren’t using a merged header element and still want to change the sticky navigation color, we would need to use CSS.
Let me know π