In that case, you'd have unit tests that confirm behaviors like compatibility or failure of some operations between types and integrations tests which pull an u

In that case, you'd have unit tests that confirm behaviors like compatibility or failure of some operations between types and integrations tests which pull an up to date DB of rules and tests against that.