适用范围与证据基础
“双币通缩挖矿”涉及两种代币及奖励分配安排，其具体规则需要逐项定义。以下适用于采用ERC-20类代币的机制核对，不构成对任何具体项目的验证结论。
OpenZeppelin的ERC-20文档说明，基础实现并不预设发行方案，铸造与销毁会改变总供应量。Ethereum.org的智能合约介绍则说明，合约通过函数处理调用，以状态变量保存数据，并通过事件记录活动。这两类技术依据分别帮助核对供应变化和规则执行。
先拆开两种代币的假设
分别记录两种代币的链、合约地址、用途和数量单位，明确哪一种用于投入、哪一种作为奖励，以及通缩声明针对哪一种。名称或符号不足以确定核对对象。
两种代币应各自核算供应变化。销毁一种代币、发放另一种代币，只能说明两项操作之间存在机制联系，不能直接推出两者都在通缩，也不能把不同代币的数量相加得出整体通缩结论。
核对净供应与奖励来源
在仅通过铸造和销毁改变总量的机制下，同一统计区间内，期末总供应量等于期初总供应量加铸造量再减销毁量。只有销毁量超过铸造量，才能支持该区间净通缩的判断；存在销毁入口本身并不充分。
奖励需要区分新增铸造与已有库存分配。前者增加供应，后者通常只改变持有地址。锁仓影响可转移数量，不能直接当作总供应减少；转入被称为“黑洞”的地址，也需要确认是否真正降低totalSupply。
核对执行条件与修改权限
将每项声明对应到函数：谁能触发奖励或销毁，需要满足哪些条件，数量如何计算，失败时是否回退。时间条件得到满足，不代表相关操作已经执行，还应核对实际调用记录。
再检查谁能铸造、调整奖励比例或改变销毁规则，以及这些权限当前由谁持有。如果规则可修改，核对结论就需要注明所依据的合约版本、参数和观察区间，不能把当前设置解释为永久约束。
常见疑问与结论边界
看到销毁事件是否足够？还应与同一区间的铸造记录、总供应变化及实际执行逻辑交叉核对。事件描述的是活动，净通缩判断需要完整的数量关系。
有供应上限是否意味着通缩？上限约束发行边界，净通缩描述一定期间的供应下降，两者回答不同问题。历史区间符合净通缩，也不能证明未来持续成立，尤其当销毁依赖活动量、奖励依赖可调整参数时。
核对结果可分别写为“规则支持”“区间数据支持”或“证据不足”，并列明成立条件。这样能够区分机制设计、实际发生的结果与尚未验证的假设。