适用范围：通用原理不能代替项目证据
“玲珑猫”所指项目的合约地址、育猫算法和研究报告尚无法从现有证据确认。以下方法适用于采用以太坊或兼容EVM合约、以非同质化代币表示数字猫的系统，不构成对该项目技术真实性的认定。核验首先需要明确网络、合约地址与版本，避免把同名项目或示例代码当作研究对象。
源码验证能证明什么
以太坊开发者文档介绍，源码验证通过重新编译并比对字节码，检查公开源码与部署代码是否对应；结合元数据哈希的完整匹配，还能加强对源文件及编译信息一致性的确认。源码验证与形式化验证不同，前者不能直接证明程序符合预期。
对应到育猫研究，证据应能串联公开源码、编译条件、部署地址和验证结果。如果研究只展示代码片段，却没有说明它对应哪个链上合约，就无法据此确认实际运行的育猫规则。
ERC-721能证明什么
OpenZeppelin的ERC-721文档说明，该标准可表示独特代币的所有权，并通过元数据描述对象属性。元数据可能位于链外，其内容也可能被修改。符合标准并不自动证明对象属性固定，更不证明育猫算法成立。
因此，核验应区分所有权记录、属性描述和属性生成规则。数字猫具有独立编号，或页面展示了亲代、外观等字段，都不足以证明这些信息由合约计算并保存；还需要确认字段来源，以及是否能被更新。
让研究结论与证据逐项对应
可以把每项主张整理为“声称实现的功能、对应代码、输入条件、输出记录、复核结果”。例如，声称子代属性由亲代属性决定，就应提供可定位的计算逻辑及可复核样例，并说明是否依赖链外数据。这里列出的是核验要求，并非已经确认该项目具备这些机制。
如果结论涉及算法正确性，还需说明检验的规则、前提和覆盖范围。代码一致性、功能正确性与数据真实性是不同问题，一个层面的证据不能直接替代另一个层面的证据。
常见问题：验证标识是否足够
合约显示已验证，仍应查看具体匹配范围；完整匹配也不等于没有漏洞。属性写在元数据中，可以帮助理解展示内容，但不能单独证明其生成过程。若缺少项目地址、对应源码或可复核记录，合理结论应是“证据不足以确认”，不能据此认定技术已经证实，也不能直接判定其虚假。