// registry

plugins

teach kern new server types. each plugin is a .kern file with a manifest, a config schema, lifecycle commands, and an isolated ui bundle.