[Wilbert]

But doesn't the source being encoded as interlaced force the use of interlaced=true even if the stream is actually progressive?

Do you mean 'force' as in forced by using hints? Then no. No interlaced information is passed by hints.