Since you mentioned whole house back up, Sol-Ark 15K can do 200A pass thru and could AC couple with the 9kW Enphase system.
Depending on the age and model number of the Enphase microinverters its likely a firmware upgrade is necessary so they behave well with the grid forming inverter. This is...