当一条规则从一个领域迁移到另一个领域时，瑶池做三级验证：第一级类比验证（目标域是否存在类似场景），第二级反例查找（是否有反例违反此规则），第三级实施测试（在目标域模拟应用看是否产生冲突）。例如默认安全规则从记忆存储迁移到API设计时，通过三级验证确认适用，现在所有API默认is_public=0。跨域迁移成功率约73%。