# 一致性测试与发布门槛 本页是计划中的产品测试矩阵。仓库当前的文档检查并不实现这些运行时测试。 | 领域 | 必测案例 | | --- | --- | | 文件完整性 | 有效签名、载荷篡改、错误密钥、不支持算法、重复字段 | | 上下文绑定 | 操作、策略、网络、代币、接收方、金额或调用方错误 | | 重放与时间 | 重复操作、过期证据、权限失效、模糊时钟 | | 链证据 | 交易失败、链重组、最终性不足、来源不一致 | | DMT | 支持和不支持的字段、正则语义一致性、激活／版本不匹配、无效引用 | | 选择 | 候选集合变化、重抽、迟到输入、重复条目、偏置映射、来源回退 | | 可用性 | 证据缺失、超时、损坏响应、索引器落后于请求高度 | | 获取 | 私有地址 SSRF、重定向逃逸、大载荷、嵌套数据、恶意工具文本 | | 隐私 | 脱敏、保留期限、报告和日志不泄露原始秘密 | | 接收方行为 | 有效文件配 FAIL；本地策略拒绝 PASS；从不自动接纳 INDETERMINATE | ## 可复现性 发布受支持配置版本和正／反样例。第二种实现或独立进程应能复现成功结果及恰当拒绝。基准测试记录所用精确输入和实现版本。 ## 发布门槛 产品发布需要经测试行为、依赖审查、安全联系渠道、明确范围、准确文档和由运营方控制的试点证据。高风险功能在经济用途前需独立安全审查。文档 CI 绿灯不代表验证器安全。 托管服务需测试停机、重复收费、恢复、队列限制、来源中断及重组失效。安装器需测试固定版本完整性，以及是否发生意料外的钱包或凭证访问。 ## 新增数据源与支付一致性测试 测试重复名称与重复字段/模式签名、不支持的字段或正则语义、错误铭文内容、源哈希不匹配、不完整注册历史、错误网络及源区块重组。测试仅 nonce 或已知数据源的保证声明、事后承诺、顺序或权重变更、请求 ID 或上下文反复尝试、重试及隐瞒结果。 原生 NAT 测试覆盖错误部署、代码、网络、收款方，仅转移 UNAT，已创建但未执行的转账铭文，少付、逾期、多付，陈旧或滞后的观测，索引冲突，确认不足，重复事件入账，并发预留，调用者不符，退款重放，以及额度使用后的重组。通过 USDC 通道独立运行同一请求。合成策略测试不是实际资金结算测试。 [1] https://digital-matter-theory.gitbook.io/digital-matter-theory/introduction/digital-elements/.element-registry [2] https://github.com/Trac-Systems/ord-tap/blob/b8f6ea35cf6b9d405d4db7c58555e3c8ab33e8cd/src/index/updater/inscription_updater/tap/ops/dmt_element.rs [3] https://digital-matter-theory.gitbook.io/digital-matter-theory/introduction/nat-use-cases/usdnat-method-1-live [4] https://digital-matter-theory.gitbook.io/digital-matter-theory/introduction/non-arbitrary-tokens-nats/nat-token-transfer [5] https://docs.x402.org/core-concepts/network-and-token-support [6] https://github.com/Trac-Systems/ord-tap/blob/b8f6ea35cf6b9d405d4db7c58555e3c8ab33e8cd/README.md [7] https://arxiv.org/abs/1605.04559 ## 执行与对手方责任测试 生产对抗使用前必须测试：action digest 替换；错误 request/policy/network/asset/recipient/amount；授权过期和 nonce 重放；评估到签名之间状态过期；智能体尝试备用签名路径；策略在承诺后改变；确定性 PASS 后仍签署 REJECT；私有策略输入导致 `UNRESOLVED`；同一上下文的两份冲突有效决策；接收方拒绝后 settlement 仍保持确认；以及 P21 FAIL 后阈值 policy signer 拒签。TAP 配置还要覆盖 2-of-2 签名、阈值重放/过期/nonce、锁/HTLC/escrow 退款和激活版本不匹配。