So if we start with that, a question is what option to set on a column that is unused by the underlying implementation, but needed for the primary key

My "goal" (hehe) was to make the answer to your question clear in the bullets above.

It’s not clear to me.

The answer is

index

. I'm curious why this is not clear. Do you have a suggestion to make it clearer?