NAV38 isolated hosted-port preservation proof