提交与回滚
commit-abort-rollback
草稿
更新于 2026-07-30｜来源：RCL-main / docs (0.94.0-alpha.1)Commit / Abort / Rollback
| 终态 | 含义 | 证据 |
|---|---|---|
| Commit | 候选现实成为正式现实 | Evidence Receipt（必需） |
| Abort | 候选现实被拒绝，无正式现实产生 | Abort Reason（必需） |
| Rollback | 已提交现实按既定边界撤回 | Rollback Receipt + 原 Commit 引用 |
Rollback 不等于"撤销一切"。RCL 要求你在提交前就声明可回滚边界；边界之外的后果属于不可逆部分，必须在 R_irr 中显式承认。