Examples

示例库

每个示例都可直接载入 Playground 编译验证。示例的「已验证」标记说明它是否在真实编译器上运行过。

RCL 0.94.0-alpha.1

Docs 0.94.0-alpha.1 (Draft)

共 10 个示例

RNCS Provider Bridge

高级

在 Playground 打开

把 RCL 规格桥接到 RNCS 运行时的 Provider 能力集合。

预期结果

build --target rncs 生成 Reality IR；submit 前由 Commit Gate 再次校验 4R。

main.rcl

world rncs_bridge {
  object cluster { state replicas: Int = 3 }

  provider rncs "rncs://local" {
    capability [scale, snapshot, revert]
    timeout 60s
    on_failure abort
  }

  subject operator "human:role/platform"
  accountable operator for transaction scale_out

  transaction scale_out by operator {
    provider rncs capability [scale, snapshot, revert]
    robust {
      predictable  variable expected_qps
      controllable provider rncs
      reversible   rollback scale_in
      stable       invariant field capacity_field
    }
    accept when cluster.replicas == 5
    abort when rncs.unavailable
    rollback to snapshot pre_scale
  }

  variable expected_qps: Int {
    range 100 .. 20000
    uncertainty normal(mean = 4000, sd = 900)
    source "provider:metrics"
  }

  invariant field capacity_field {
    when expected_qps < 8000 keep cluster.replicas <= 5
    when expected_qps >= 8000 keep cluster.replicas <= 9
  }
}

rncs.yaml

runtime: rncs
commitGate:
  requires4R: true
  rejectOnPartial: false
providers:
  - name: rncs
    endpoint: rncs://local
    capabilities: [scale, snapshot, revert]

尚未在真实编译器验证：需要本地 RNCS 运行时，Web Playground 无法执行 submit。

Hello Reality

入门

最小可运行结构：一个世界、一个对象、一个主体、一个变换。

world

object

subject

transform

尚未在真实编译器验证

打开查看源码

Typed Reality Variables

入门

把未知量写成带范围与不确定性的类型化现实变量。

variable

uncertainty

R_pred

尚未在真实编译器验证

打开查看源码

Constraint Guard

入门

用约束阻止账户余额进入非法状态。

constraint

guard

非法状态

尚未在真实编译器验证

打开查看源码

Adaptive Invariant

进阶

在负载波动环境下使用自适应不变量场，而不是硬编码阈值。

invariant field

R_stab

尚未在真实编译器验证

打开查看源码

4R Validation

进阶

完整声明四维鲁棒证书，观察缺项如何导致提交被拒。

robust

R_pred

R_ctrl

R_irr

R_stab

尚未在真实编译器验证

打开查看源码

Reality Transaction

进阶

把一次软件修改描述为一个整体提交或整体中止的现实事务。

transaction

allow/deny

abort

尚未在真实编译器验证

打开查看源码

Commit / Abort / Rollback

进阶

三种终态的显式声明与回滚边界。

commit

abort

rollback

snapshot

尚未在真实编译器验证

打开查看源码

Evidence Trace

进阶

声明证据要求并读取 Evidence Receipt。

evidence

trace

receipt

尚未在真实编译器验证

打开查看源码

Multi-Subject Task

高级

Agent 执行、人类审批的双主体任务规格。

subject

authority

accountable

关系

尚未在真实编译器验证

打开查看源码

RNCS Provider Bridge

高级

把 RCL 规格桥接到 RNCS 运行时的 Provider 能力集合。

provider

capability

RNCS

Commit Gate

尚未在真实编译器验证

打开查看源码