Entail – checks that what an LLM's model files declare is what the engine runs (github.com)