Module validator 

Modules

path_boundary

PathBoundary<Marker> — the security perimeter for validated path operations.

path_history

Type-state pipeline that canonicalizes and boundary-checks paths.

virtual_root

VirtualRoot<Marker> — the factory for VirtualPath values clamped to a virtual root.