The audit #8 explanation no longer needs to name core.images as the example case — the invariant holds for any submodule, and core.images is about to be removed entirely as dead code.
The audit #8 explanation no longer needs to name core.images as the example case — the invariant holds for any submodule, and core.images is about to be removed entirely as dead code.