类型化现实变量

学习目标：把未知量写成具名、类型化、带不确定性的变量。

variable

range

uncertainty

R_pred

隐含默认值是最危险的写法

"配送大概几小时" —— 这句话在代码里往往变成一个魔法数字 6。 RCL 要求把它显式化：

variable delivery_delay: Duration {
  range 0h .. 72h
  uncertainty normal(mean = 6h, sd = 3h)
  source "provider:logistics"
}

三个必填要素

类型：Duration、Decimal、Money、Int、String 或自定义类型；
范围或不确定性：影响提交决策的变量必须有其一，否则 R_pred = 0（诊断码 RCL-R201）；
来源：source 指明取值来自哪个观察或 Provider，用于生成证据链。

与普通变量的区别

普通变量是内存里的值；现实变量是对现实中某个未知量的显式承认。它的意义不在于精确，而在于让不确定性进入可审查的范围。

动手练习

为 shipment 世界补充一个 customs_hold: Duration 变量，范围 0h..240h，来源为 provider:customs。

world shipment {
  object parcel {
    state status: String = "in_transit"
  }

  // 在这里补充 customs_hold 变量

  subject dispatcher "human:role/dispatcher"

  transform mark_delivered by dispatcher {
    guard true
    effect parcel.status = "delivered"
  }
}

在 Playground 中编译验证

理解检查

一个影响提交决策的变量缺少 range 与 uncertainty，会导致什么？