| 术语 | 一句话 | 在哪儿被强制 / 怎么查 |
| 内容根 | 一版站点的名字,等于它的内容哈希 | /verify.html 浏览器内重算 ✓ |
| 载体(reveal) | 把数据放进 tapscript 见证的一笔交易,一箱约 9 KB | container_anchor verify --carrier=da ✓ |
| 持有 | 一个 UTXO;类别、数量、所有者都写在它的叶字节里 | hold check;移动需所有者签名(矿工强制 ✓) |
| 规则叶 | AUTH ‖ SIGHASH ‖ ownerPub ‖ OP_CHECKSIGVERIFY ‖ 身份标签 | tapeout_check(叶布局被钉住 ✓) |
| ePrefix | 31 字节;sighash 的第 32 字节被 grind 成 0x01,叶强制为 0x02 | hold self-test ✓ |
| 持有日志 | 追加式记录;顺序就是历史(排序会把转移排到出生之前) | holdingsFromLog · tapeout_check ✓ |
| 承诺 / 揭示 / 判决 | 先密封、后揭示、再判;说不清就记 undecidable | msg_check ✓ |
| 服务清单 | /.well-known/bringup-service.json:身份、方法、错误码、expires | 直接打开 ✓ · cf_check ✓ |
| floor(水位) | 记住见过的最高 expires,更旧或相等的清单一律拒 | floorVerdict · msg_check ✓ |
| expires | 单调计数器,不是时间锁:本链无 CLTV,过不了期就停不了 | 清单里自己写明 ✓ |
| 版本表 | 追加式版本清单;可核对,但不可自发现(需要外部指针) | versions.mjs · cf_check ✓ |
| PoD 抽签 | H(epoch‖startPoint‖miner‖nonce) < target;起点绑定 prevTxid | isEarnedBound · token_check ✓ |
| 成本门槛 | 中签并且销毁 ≥ burnFloor,才算一次发行 | isEarnedWithBurn · token_check ✓ |
| 门禁 / gate | 一个能让某个主张变红的离线检查;断言数被 ci 锁定 | node tools/ci.mjs ✓ |
| no gate | 一条无法被测试的声明,必须明写并说明原因 | docs/REVIEW.md §4 ✓ |