OK, so rounding it up to 200 ISO (instead of 160) so the math is easier, you underexposed 3 stops, then pushed it 2 stops in the developer. And from what I see you got awesome results.

Do I comprehend this correctly?

Mine are box speed. I'm talking about the 400 pushed to 1600.

Hence: '(even the portra 400 does pushed to 1600)'