Remote server does not read `WP_HOME` from wp-config.php when local server does

This appears to be resolved if I add a home value to the wp_options table. For example, I added https://www.productionurl.com to this dev server’s options table, even though that URL does not have a WordPress installation, and this dev installation began loading the proper config item from wp-config.php.