Say that a stack frame only contains total functions: could the maximum stack size be statically determined?
No. That would allow you to determine the runtime of any given (recursive) program (assuming it always terminates), but that is not a computable problem.