As this is not supported by current SHACL standard versions, I assume you are open to discussing some SHACL extension?

This is what we support now in our product, for pretty much exactly your use case: https://datashapes.org/dynamic.html#example-state