# $comment
preconditions and cleanupChecks preserve serializable identity/category only; the supported runtime must hydrate executable checks before materialization.