适用范围与证据边界
artt币质押挖矿的历史规则怎么查，首先取决于能否确认所指项目、所在网络以及相关合约。仅凭币种简称，无法确定具体质押规则，也不能确认其是否使用以太坊智能合约或代理升级机制。以下仅解释以太坊及类似合约架构下的核验思路，不构成对ARTT项目机制的确认。
历史规则需要对应代码与状态
以太坊开发者文档将智能合约解释为位于特定链上地址的代码和状态，用户提交交易以执行其中的功能。这意味着核对规则时，需要同时关注程序如何处理操作，以及影响处理结果的状态。
查询某一时期的规则，应明确目标时间范围，并对应到相关链上记录。当前页面展示的条件、当前代码或当前参数，都不足以单独证明过去采用了相同规则。具体是否存在锁定条件、奖励计算或退出限制，需要由该项目的实际合约和记录证明。
地址相同也要区分实现版本
OpenZeppelin的代理升级文档说明：用户交互的代理地址可以保持不变，而负责执行逻辑的实现合约可以被替换；在该模式下，状态保存在代理一侧。
因此，如果目标合约采用这类代理架构，核验历史规则还需要确定目标时期对应的实现合约。只查看目前的实现代码，可能把后来的逻辑误认为旧规则。即使没有替换实现，也应核对相关状态是否发生变化，不能仅凭地址一致判断规则始终一致。
如何组织可核验的结论
可将核验问题拆成几项：查的是哪个网络、哪个合约、哪个时期；当时由哪份代码执行；影响规则的状态是什么。各项信息应相互对应，避免将不同版本、不同地址的内容拼接为一套规则。
若只能找到当前实现，历史实现尚未确定，就只能描述当前可见逻辑。若代码已经确认，但缺少当时状态，也应保留这一缺口。证据不足时，不能补写具体期限、计算比例或生效日期。
常见问题
合约代码不可变，是否意味着规则永远不变？不能这样推断。代理可以切换实现，合约运行也会涉及状态变化，需要分别核对。
两份技术文档能否证明ARTT历史规则？不能。它们分别支持智能合约基本结构和代理升级原理；确认具体项目的历史规则，仍需要该项目可核验的地址、版本及对应时期的记录。