Documentation

文档中心

文档按 RCL 版本隔离。切换顶部版本选择器即切换整套文档,页面不会混合不同版本的语法说明。

RCL 0.94.0-alpha.1
Docs 0.94.0-alpha.1 (Draft)
16 篇 · 更新于 2026-07-30
证据与账本
evidence-and-trace
草稿
更新于 2026-07-30|来源:RCL-main / docs (0.94.0-alpha.1)

Evidence 与 Trace

声明证据要求

evidence require {
  test_report from provider "ci"
  diff_summary from provider "vcs"
  reviewer_approval from subject reviewer
}

提交成功后生成 Evidence Receipt,包含证据 ID、主体、主张、时间与哈希。 Trace 记录 parse → resolve → guard → 4R → execute → commit/abort 的每一步及其状态。

Evidence 不是日志:日志描述发生了什么,证据使主张可被第三方复核。