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

test(pager): check recycling preserves isolation after remapping

feat(checker): check guest observations against exported pager semantics