证据与限制

权威顺序

规则裁决按以下顺序取舍：

1. docs/rules.md；
2. 当前源码与可复现行为测试；
3. 带哈希、路径和置信度的逆向证据；
4. 恢复进度、覆盖率与设计文档；
5. 辅助知识库。

文档与源码冲突时不能静默任选一边。应先指出差异，再用规则修订与回归测试固化结果。

定义证据不等于行为证据

官方卡面 JSON 可以证明名称、卡文、费用、攻防和部分标记，但通常不能证明：

• 同时效果的内部结算顺序；
• 多个合法实例之间的服务器选取策略；
• 候选失效时是否重抽；
• 批量转换按实例还是按批次触发；
• 少数服务端下发或隐藏脚本细节。

因此行为账本把定义来源与运行时消费点分开。仅有卡面定义不会自动提升行为置信度。

项目裁决

证据不足但必须保持确定性的地方，会登记明确的 server policy，例如：

• 同批死亡先完成整批结构离场；
• 同批成员不能被更早亡计救回；
• 若静态证据无法恢复精确服务端排序，则使用稳定 play_seq；
• 无法证实的 Suppress 边界保持 bounded_partial。

这些裁决必须有测试，但测试只证明项目行为稳定，不伪称已得到官方确认。

当前明确边界

• 不启动官方完整客户端，不做 UI 自动化、进程注入、网络伪服或状态注入；
• 不以空壳 Script、未知 token 或静默跳过清理覆盖率；
• 通用 TargetRef::Insert 数据形状存在，但没有卡数据命中时不发明额外协议；
• 通用多选、反制多目标和敌方牌库复制只在有卡面与协议依据后扩展；
• 快照与回放没有跨版本自动迁移；
• DIY Pack v1 只允许 additive 内容，不允许覆盖官方卡。

如何报告未知

无法闭环时应给出：对象、已检查来源、来源哈希、已证范围、未知问题和当前项目裁决。 unknown 与 blocked 是有效结果；伪造数值或用更宽断言掩盖未触发不是。