convex-migrate 是一个帮 AI 在已部署的 Convex 应用里修改数据结构、补齐旧数据的 Skill。要给记录增加新字段时，它先让旧记录还能通过检查，再完成迁移。
假设原来的用户记录没有某个字段，而新代码准备要求每条记录都必须有，这个要求一上线，旧数据就可能被拒绝。这是解释性例子，关键在新规则与已有记录是否相容。
它安排的顺序是：新字段先设为可选；接入 @convex-dev/migrations，写迁移逻辑填充或转换已有记录；运行后检查记录是否合法，并核对前后行数；全部补齐后，再把字段校验改成必填。
你要提供当前结构、目标字段和怎样补值的规则。原文没有通用补值公式，也没有自动回退的完整方案；真正的迁移逻辑仍要根据应用确定。不要先收紧校验，再指望后面的补数据来挽救部署。