4 Commits

Include renames

Author	SHA1	Message	Date
james	97648de5fc	refactor(layout): relocate proof guest and host build inputs	2026-08-31 17:48:00 +01:00
james	36fd34c522	test(pager): check recycling preserves isolation after remapping	2026-08-20 21:27:00 +01:00
james	be965f3fac	feat(checker): check guest observations against exported pager semantics	2026-08-10 18:34:00 +01:00
james	034f655e01	feat(pager): resolve write faults and recycle scrubbed frames	2026-07-29 20:16:00 +01:00