> It would also be nice to have a way to infer--without actually running the app--the supervision tree from the source and then graph it.

That'd be effectively impossible for the general case, since it's trivial to supervise/launch processes whose primary module isn't known at compile time.

I definitely agree that understanding the supervision structure is both valuable and non-trivial.