IDX.VERIFY

校验索引：把每一条索引项都拿回它对应的行重读一遍，报告 entries / bytes / coerce_failures / duplicates / drift / checked。

IDX.VERIFY name

复杂度

每个 shard 上 O(N) —— 每一条索引项都要回到原行重读并重新做类型转换；这恰恰是它的意义所在：让索引漂移变成可证伪的事实，而不是一句口头保证。

复杂度与兼容性是从 kevy 的实现里读出来的，不是抄 Redis 的文档。有几条确实不一样 —— 它们看起来像笔误，但不是。

kevy 独有

kevy 独有：Redis 没有对应物 —— RediSearch 的索引是异步维护的，不提供任何一致性校验命令。