Emetgate is a verification kernel that sits between language models and source code, ensuring only verified changes reach disk. It applies theorem-prover discipline to LLM-generated code by having the model propose changes while a small deterministic kernel verifies them structurally and through testing before atomic commit or rejection.