#![no_std]

//! Bounded address-space identities and ASID lifetimes. The backend retains
//! actual, nonclone page-table ownership and completes hardware retirement.
//! Host tests establish preparation only; hardware activation is a guest gate.

pub mod spaces;