~james/split

ref: 97648de5fc3014ea94b67db47246bfa31f71f5f3 split/proof/Reuse.thy -rw-r--r-- 10.0 KiB
refactor(layout): relocate proof guest and host build inputs
feat(reuse): preserve zeroed unmapped frames across pool operations