>PMFJI. Is it reasonable to assume that since the application started and therefore the main.prg executed successfully, then any function/procedure defined in the main.prg is always loaded?

Unless you employ tricks with timers to delete main.prg functions from the stack, yes - assumption being that main prg is the startup program and stays at stack level 1.