The Identity Kernel Registry

A constraint is something you test. An identity is something you cannot violate.
There is no state in which an identity is false — so there is nothing to check at runtime, nothing to invalidate, and nothing to fix. You do not fix these kernels. You reuse them. The verification below runs once, as a courtesy to a sceptic.