Document spec for supporting external stacks

Assumptions