Hey Dan,
I can confirm this. For a lead to be a member of any program (including engagement programs) they must have a program status within that Program.
Adding a lead to a nested program will not automatically give them a program status within the parent engagement program. Thus, they will not be a member of the engagement program just because they are a member of the nested program.
Will