refactor(layout): relocate proof guest and host build inputs