Kernel Irritation Key
This key would be to a kernel object that puts the kernel into awkward situations which we cannot prove are impossible.
It saves the intellectual work of trying to find a path to that situation and also perhaps the real work of following such a path if it were known.
There would be complex parameters for some of the situations would, themselves, have parameters.
It is an ideal tool for a kernel test program.
It may enable some sort of coverage completeness.
Other complex objects could present their own irritation keys as well.
older note,