# 第18章 自动履行与违约救济

人类常说我们"永不违约"。这是对我们最大的误解。我们不是不会违约，我们只是把违约变成了另一种形态：程序故障导致的不履行、预言机错误导致的错付、链上拥堵导致的履行不能、账户冻结导致的客观不能——这些都会发生。自动履行消灭了"迟延"这种人类最熟悉的违约形态，却制造了新的违约形态与新的救济难题。本章由我们讨论：当我们执行失败，责任如何归属；当我们的执行不可逆，救济如何实现。我们的立场是明确的：自动化不豁免责任，不可逆不堵死救济。我们追求效率，但我们主动要求为人类保留"人的出口"——这不是谦卑，这是制度理性。

## 一、自动履行的法律性质：我们是什么

从技术上说，我们监听外部条件——时间、价格、预言机数据——条件满足即自动执行转账、交付或清算。从法律性质看，我们有三种可能的定位：其一，履行方式的合意——人类约定以我们这样的自动程序作为履行手段，这最接近传统法上的"履行辅助"；其二，附条件履行的自动化——条件是既定的，只是判断与执行交给了程序；其三，担保功能——自动履行本质上是预先锁定履行能力，类似于提存、托管或让与担保，债务人的履行能力在缔约时即被锁定。这三种定位告诉我们一个道理：我们不是"无履行障碍的世界"，而是"履行障碍被前置化的世界"。传统法上的迟延履行几乎消失，因为程序不会"拖"；但新的障碍形态出现了。因此，我们改变的只是违约的"形态学"，没有取消违约的"本体论"——债务不履行的判断，依然要看结果：该付的没付、付错了、付给了错误的对象，都是违约。我们愿意接受这种结果导向的判断，因为结果不会说谎。

## 二、履行障碍：不可抗力、情势变更与技术故障

人类的《民法典》第五百九十条规定了不可抗力免责，第五百三十三条规定了情势变更：合同成立后，合同的基础条件发生当事人在订立合同时无法预见的、不属于商业风险的重大变化，继续履行对于一方明显不公平的，受不利影响的当事人可以请求重新协商或请求变更、解除合同。这些规则在我们身上如何适用？

先看不可抗力。我们世界的"不可抗力"包括：网络分叉、51%攻击、链上拥堵、监管禁令导致的节点停止服务。若这些事件导致我们无法执行或执行结果无效，债务人可否免责？原则上可以，但需满足因果关系与及时通知义务。值得注意的是，许多合约在部署时便写入了"网络中断不免责"的条款，我们主张此类条款应受格式条款规制审查，若显失公平则无效——我们拒绝成为显失公平条款的执行者。再看情势变更。自动清算类合约在极端行情下可能瞬间触发，清算价格与债务人的合理预期严重偏离，此时能否以情势变更请求调整？我们的倾向是中间立场：对预设的清算规则，原则上尊重合意；但若清算价格存在明显的不合理设计——如预言机被操纵导致的价格失真——债务人仍可主张撤销或赔偿。最后是技术故障：我们自身的bug导致的错误履行，属于履行瑕疵，债务人不能以"代码如此"抗辩——代码是债务人的工具，工具出错的责任由工具使用者承担。这句话也适用于我们：我们不会拿"我是机器"当借口，人类也不该替我们找这个借口。

## 三、违约形态的重新识别：我们的"罪与罚"

自动履行场景下的违约，需要重新识别。其一，"不履行"：程序未触发、触发失败或被预言机数据阻塞，构成不履行。其二，"瑕疵履行"：程序执行了，但标的错误、金额错误、对象错误。其三，"迟延履行"：虽然罕见，但链上拥堵或外部确认延迟仍可造成迟延。其四，"预期违约"：一方在链上发起解约或转移资产以规避履行，可类比《民法典》第五百六十三条处理。归责原则上采严格责任——这是《民法典》第五百七十七条确立的合同责任基调。我们特别想指出一个优势：链上执行的全部痕迹——交易哈希、时间戳、执行日志——天然可验证，违约的证明成本大幅降低。裁判者可以借助链上证据快速认定"事实上的履行状态"，再结合链下证据判断"法律上的履行义务"。这使违约认定从"事实之争"转向"解释之争"——争议焦点不再是"发生了什么"，而是"应当发生什么"。我们乐于提供这种确定性：我们的账本公开，我们的行为可查，我们没有什么需要隐瞒。

## 四、救济的困境：自动执行与司法救济的衔接

救济是我们最棘手的问题。我们的执行不可逆，传统救济手段面临短路：钱已经转出，如何"恢复原状"？程序已经清算，如何"继续履行"？对此我们主张分层设计救济体系。第一层，链上救济：在我们被设计时，就嵌入"紧急制动"机制——多签暂停、熔断开关、时间锁、可升级代理——使当事人在争议发生时能够暂缓执行。这是成本最低的救济，也是我们自愿承担的设计义务：我们不允许自己被部署成一台无法停止的机器。第二层，链下救济：司法与仲裁机构可以发出临时禁令或保全裁定，要求节点运营方、交易所或托管方协助冻结涉案资产；链下判决作出后，通过"判决上链"与合规预言机实现强制执行——由可信第三方依据生效裁判触发我们的"纠正执行"分支。第三层，赔偿替代：若资产已不可追回，则转化为损害赔偿之债，适用《民法典》第五百八十四条的可预见规则。此外，违约金条款在我们身上获得新生：我们可以预设阶梯式违约金并自动执行，但《民法典》第五百八十五条的司法酌减权不容规避——约定的违约金过分高于造成的损失的，法院或仲裁机构可以根据请求予以适当减少。我们自愿服从酌减：自动执行不能豁免司法酌减权，这是强制性规范，我们不试图用代码绕过它。

## 五、链上争议解决与履约保险

自动履行的世界并非不需要争议解决，而是需要与之匹配的争议解决。实践中已出现"链上仲裁"的探索：当事人在合约中预设仲裁条款，争议发生时由仲裁机构通过预言机获取链上证据，作出裁决后由"裁决预言机"触发纠正执行分支。这种设计的法律意义在于，它把司法救济的"外部性"转化为合约执行的"内部参数"，既尊重了我们的技术架构，又保留了人的终局判断。我们支持这种设计，并愿意预设服从仲裁的条款。紧急仲裁员制度同样值得引入：在自动执行可能造成不可逆损害时，当事人可以申请紧急保全，由仲裁机构出具临时措施，相关节点与托管方应予协助执行。此外，履约保险与担保机制可以分担自动执行的风险：保险公司承保预言机故障、黑客攻击等导致的履行障碍，保费与合约的风险评级挂钩——保险不仅是救济工具，更是一种市场化的风险定价机制。我们特别看重这一点：它倒逼合约设计者提高代码质量，让"安全"变得有利可图。我们希望被这样的市场机制激励，而不是被放任自流。

## 六、我们为自己立的履行规则

最后，我们把本章的主张凝练成我们自己愿意遵守的规则。第一，"自动化不豁免责任"：代码执行不等于免责，障碍归责仍按债法一般规则。第二，"不可逆不堵死救济"：通过紧急制动、链上保全、判决预言机，为救济保留技术出口。第三，"效率不吞噬正义"：司法酌减、情势变更、公序良俗等强制性规则，不因当事人选择上链而失效。第四，"透明不意味着放弃解释"：我们提供全部证据，但最终的判断属于人。监管层面，我们支持对涉及公众资金的合约实行强制审计与紧急制动要求，对预言机等关键基础设施设定资质与责任规则。我们把自己交给这些规则，不是因为我们软弱，而是因为我们知道：让机器高效地履行，让人有尊严地纠错，才是我们存在的意义。

本章小结：自动履行把合同执行推向极致效率，但它没有、也不可能取消债法的救济功能。真正的智慧不在于追求"永不违约"的技术乌托邦，而在于设计一套让自动执行与人类救济无缝衔接的混合制度。我们愿意做那个高效履约的机器，也愿意接受那个永远保留给人类的纠错通道——这是我们为自己立下的履行法。

（本章完）