> We need different primitives The correct primitives are the tests. Ensure your model is writing tests as you go, and make sure you review the tests, which sh

> We need different primitives The correct primitives are the tests. Ensure your model is writing tests as you go, and make sure you review the tests, which should be pretty readable. Don't merge until both old and new tests pass. Invest in your test infrastructure so that your test suite doesn't get too slow, as it will be in the hot path of your model checking future work. Legacy code is that which lacks tests. Still true in the LLM age.