refactor(layout): relocate proof guest and host build inputs
feat(reuse): preserve zeroed unmapped frames across pool operations