refactor(layout): relocate proof guest and host build inputs
feat(execution): enforce access bounds and allocation capacity