先明确可以核验的范围
“贝壳”这一名称不足以唯一确定项目或活动。没有明确的平台主体、活动名称、时间范围及对应公告，无法确认其曾采用何种持币条件、奖励计算方式或退出规则。以下内容适用于理解历史规则的核验方法，不代表对“贝壳”具体机制的认定。
持币挖矿不一定是权益证明
以太坊的权益证明文档说明，验证者需要质押资产并参与区块验证等共识工作，失职或违规可能受到惩罚。这是一种网络共识机制，并不等同于单纯持有代币即可获得奖励。
因此，核验时应先区分活动属于余额统计、锁定资产后的奖励分配，还是实际参与网络验证。这些是需要确认的机制类别，不能仅凭“持币挖矿”四个字判定。以太坊的规则也不能直接套用到其他项目。
历史规则要对应具体时间
历史规则核验的关键是将原始条款、适用期间和变更记录对应起来。需要核对的内容包括参与资格、余额认定方式、统计时点、奖励计算口径、发放条件，以及暂停或终止条款；这里列出的是核验项目，并不表示相关活动必然包含这些安排。
公告发布时间不一定等于生效时间，现行页面也未必保留旧版条款。若存在补充说明或修订公告，应分别记录其适用范围。转载或截图缺少页面地址、上下文和时间信息时，不足以独立确定当时的完整规则。
涉及链上合约时，还要识别版本
OpenZeppelin的代理合约文档说明，部分代理结构可以通过改变实现合约来更新逻辑；信标代理则从信标取得实现地址。因此，代理地址相同，不一定意味着不同时期执行的逻辑相同。
这一点仅适用于确实采用相关结构的活动，不能据此推断“贝壳”存在可升级合约。如果活动规则由链上合约执行，核验目标时期时还需对应当时的实现版本及参数状态。只看当前代码，不能直接还原历史规则；仅查看一次奖励转账，也不能证明完整计算公式。
常见疑问与结论边界
技术文档能否证明某个活动的历史条款？不能。以太坊文档解释共识机制，OpenZeppelin文档解释代理结构，两者均不是“贝壳”活动公告。
没有旧公告，能否只靠链上记录还原？链上记录可以辅助核对实际发生的操作，但平台内部资格审核、链下余额统计等内容未必上链。证据不足时，应明确标注无法确认的条款，而不是用一般技术原理补成项目事实。