官方宣传页那句区块批准即终结，我抄下来先圈了四个字，正常运作，这就是真相的入口。圈完才敢往下读，这种承诺句里藏着的限定词，比主句本身更值钱，这是第一课。读多了宣传材料，我养成一个习惯，先找限定词，再读主句。顺序反了，判断就跟着反了。
先翻正常运作划掉的情形，逐条列，答案就在被划掉的部分里。验证者缺席是1条，消息延迟是1条，迭代超时又是1条，数下来至少3条例外。这才是隐藏的账本。这3条之外还有没有，文档没写，但光这3条，已够把承诺拆成两半。@Dusk_Foundation
我查了这3条路径，走了一遍，一条条代入。验证者缺席时，迭代不会停，重试机制接着跑。一轮最多50次迭代，烧完这一轮就得从头再来。消息延迟超过阈值，回退逻辑接管。走查到第3条，我犹豫了一下，把转账的去向在流程图上标了又改。
对照机制层的承诺，转账没有消失，它被排进重试队列，等下一次迭代。我把这套回退路径跑了一遍，3条例外逐条走通，结果和我画的一致。异常情形下它会被重排，而不是丢失。重排不是丢失，这个区别对结算用户来说，就是账还能不能对平。$DUSK
宣传句里的终结，和机制层的终结，从来不是同一句承诺，这才是差距所在。一个说的是结果，一个说的是兜底。常态之外的路径，官方并没有藏，只是写在没人细读的位置。数到这里我才回过味来，说白了，确定性终结承诺的是常态，不是全部情形。异常时承诺被暂停，不是被打破。
承诺的边界一直写在限定词里，不过它不会替你把例外念出来。看一条终结性承诺，关键是先找它划掉的那部分。边界的清晰程度，才决定这笔钱等得值不值。异常时承诺被暂停，不会失效，这就是答案。看懂限定词，才算看懂后半句。#dusk
先翻正常运作划掉的情形，逐条列，答案就在被划掉的部分里。验证者缺席是1条，消息延迟是1条，迭代超时又是1条，数下来至少3条例外。这才是隐藏的账本。这3条之外还有没有，文档没写，但光这3条，已够把承诺拆成两半。@Dusk_Foundation
我查了这3条路径，走了一遍，一条条代入。验证者缺席时，迭代不会停，重试机制接着跑。一轮最多50次迭代，烧完这一轮就得从头再来。消息延迟超过阈值，回退逻辑接管。走查到第3条，我犹豫了一下，把转账的去向在流程图上标了又改。
对照机制层的承诺，转账没有消失，它被排进重试队列，等下一次迭代。我把这套回退路径跑了一遍，3条例外逐条走通，结果和我画的一致。异常情形下它会被重排，而不是丢失。重排不是丢失，这个区别对结算用户来说，就是账还能不能对平。$DUSK
宣传句里的终结，和机制层的终结，从来不是同一句承诺，这才是差距所在。一个说的是结果，一个说的是兜底。常态之外的路径，官方并没有藏，只是写在没人细读的位置。数到这里我才回过味来，说白了，确定性终结承诺的是常态，不是全部情形。异常时承诺被暂停，不是被打破。
承诺的边界一直写在限定词里，不过它不会替你把例外念出来。看一条终结性承诺，关键是先找它划掉的那部分。边界的清晰程度，才决定这笔钱等得值不值。异常时承诺被暂停，不会失效，这就是答案。看懂限定词，才算看懂后半句。#dusk