Source video - video mode - export settings?

You are mixing concepts a little bit in your question.

prores is an export format. Which is different than the thing you really care about:

If your video mode is HD, and your source clip is 4k, the SPR filter will operate on the source video resolution in order to maintain the best resolution.

Have a look at this: