Using a very short lease time for 192.168.100.0/24 when CGNAT isn't available would be one way SpaceX could deal with that. The DHCP client would then be freque

Using a very short lease time for 192.168.100.0/24 when CGNAT isn't available would be one way SpaceX could deal with that. The DHCP client would then be frequently renewing the lease. When CGNAT is available the terminal's DHCP server releases 192.168.100.0/24 and issues/proxies the CGNAT lease. The terminal would be the default route so packets to 192.168.100.1 would still reach it and responses can be correctly routed back to the client using the Starlink monitoring application.