完成第一个 RCL 项目

学习目标：独立完成毕业项目「软件修改现实事务」。

毕业项目

Reality IR

4R 报告

Evidence Receipt

毕业项目：软件修改现实事务

用 RCL 描述一次"由 Agent 执行、由人类审批的软件修改"，必须覆盖以下十项：

修改目标（target）
受影响对象（affects）
允许修改的文件（allow paths）
禁止修改区域（deny paths）
执行主体（by / subject）
Provider 能力（provider ... capability）
验收条件（accept when）
证据要求（evidence require）
中止条件（abort when）
回滚条件（rollback）

完成后你将得到

RCL 源文件
Reality IR 预览
4R 检查报告
Trace
Evidence Receipt
完成记录

当前 Playground 使用教学 Demo 适配器，上述产物为教学演示结果，不代表真实 RCL 编译器执行。

动手练习

补全下面事务缺失的 deny paths、evidence require 与 rollback 三项。

world software_change {
  object auth_service { state timeout: Duration = 30s }

  subject agent "agent:code-writer"
  subject reviewer "human:role/reviewer"
  accountable reviewer for transaction fix_login_timeout

  provider vcs "git" {
    capability [read, write, revert]
    on_failure abort
  }

  transaction fix_login_timeout by agent {
    target "修复登录超时问题"
    affects object auth_service
    allow paths ["src/auth/**"]
    // 1. 补全 deny paths

    provider vcs capability [read, write, revert]

    // 2. 补全 evidence require

    accept when ci.tests_passed
    abort when deny_paths.touched
    // 3. 补全 rollback
  }
}

在 Playground 中编译验证

理解检查

毕业项目在 Demo 适配器下产出的 Evidence Receipt 意味着什么？

项目任务

在 Playground 中打开「Reality Transaction」示例，改写为你自己的修改场景，运行检查直到四项鲁棒证书全部通过，然后导出结果。