If for some reason, there is no DB row for the Program service in my project, the Program service should still appear in Project administration so that Project admin can enable it.
On the technical side, ProgramService should implement ServiceForCreation. program_managementPlugin uses PluginAddMissingServiceTrait, but it is ineffective because it requires the service to implement ServiceForCreation interface.