Prisma db pull vs db push vs migrate dev vs migrate deploy

A practical Prisma 7 guide to db pull, db push, migrate dev, and migrate deploy: which direction data flows, whether migrations are created, where drift is checked, and which command belongs in production.