Reality Transaction

结构

transaction modify_software by agent {
  target "修复登录超时问题"
  affects object auth_service, object session_store
  allow paths ["src/auth/**"]
  deny paths ["infra/**", "src/billing/**"]

  provider vcs capability [read, write, revert]

  robust {
    predictable  variable regression_risk
    controllable provider vcs
    reversible   rollback revert_commit
    stable       invariant field latency_budget
  }

  accept when tests.passed and reviewer_approval.present
  abort when tests.failed or deny_paths.touched
  rollback to snapshot pre_change
}

事务提交是原子的：accept 条件未全部满足时，不产生部分现实。