refactor(layout): relocate proof guest and host build inputs
feat(pager): resolve write faults and recycle scrubbed frames