refactor(layout): relocate proof guest and host build inputs
feat(isolation): refine shared storage to private byte memories